>>171

M と N が微分同相であるとき、M と N は位相空間として同相である。
このとき位相幾何におけるホモロジー論より dim M = dim N となる。