n次元微分可能多様体とは、第二可算公理を満たすfunctionally structuredハウスドルフ空間(Mn,F)で、局所的に(Rn,C∞)とisomorphic、すなわち、Mの各点が(U,FU)≈(Rn,C∞)となるような近傍Uを持っているようなもののことである。 (Bredon: Geometry and Topolog…