エマルションは局所的に埋め込まれます。
📂幾何学エマルションは局所的に埋め込まれます。
3173) イマージョンは局所的に埋め込まれる。
定理
証明
ϕをイマージョンと仮定すると、dϕpは単射である。埋め込みを示すには、ϕ∣Vと(ϕ∣V)−1が全単射でなければならないため、最大でRmの座標まで考慮される ∂x1∂y1∂x1∂y2⋮∂x1∂ym∂x2∂y1∂x2∂y2⋮∂x2∂ym……⋱…∂xn∂y1∂xn∂y2⋮∂xn∂ym
逆関数定理を適用するために、次のマッピングを考えよう。
φ:(U1×Rm−n=k)⊂Rm→Rm
= φ(x1,…,xn,t1,…,tk) (y1(x1,…,xn),…,yn(x1,…,xn),yn+1(x1,…,xn)+t1,…,yn+k(x1,…,xn)+tk)
det(dφq)=== ∂(x1,…,xn,t1,…,tk)∂(y1,…,yn,yn+1,…,yn+k) ∂x1∂y1∂x1∂y2⋮∂x1∂ym∂x2∂y1∂x2∂y2⋮∂x2∂ym……⋱…∂xn∂y1∂xn∂y2⋮∂xn∂ym