雑多だが大事だと思うことを順不同で。 多様体とアトラス Mが多様体だとは、M = (UM, AM) と書ける。UMはMの台位相空間〈underlying topological space〉で、AMはMのアトラス集合。次のようにも書く。 M = (X, Atlas(M)) Xは次のような性質が要求される。 ハ…