M, N をそれぞれ 級微分可能多様体で、 とする。 を 級写像とする。 が同型ならば、 p の開近傍 U と f(p) の開近傍 V があり、 で は級diffeomorphism である。 すなわち の逆写像 が存在する。M, N の座標近傍を適当にとると、対応する の基底に関して は…