微分可能多様体の定義について 位相多様体とは 位相空間が次元位相多様体であるとは、 次の三つの性質をすべて満たしていることである。 すなわち、 Hausdorffの分離公理が成り立つ。 第二可算公理が成り立つ。 任意の点に対して、の局所座標系が存在する。 …