M, N をそれぞれ 級微分可能多様体で、 とする。 を 級写像とする。 が同型ならば、 p の開近傍 U と f(p) の開近傍 V があり、 で は級diffeomorphism である。 すなわち の逆写像 が存在する。M, N の座標近傍を適当にとると、対応する の基底に関して は…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。