- ベストアンサー
多様体の問題です。
C^r級写像 f:M→N とする。ここで F:M→M×N M×N:積多様体 F(p)=(p,f(p)) ならば Fが埋め込みであることを示せ。 という問題です。 わかる方いましたら解答を教えて頂けると幸いです。
- mathsawamura
- お礼率25% (28/111)
- 数学・算数
- 回答数1
- ありがとう数0
- みんなの回答 (1)
- 専門家の回答
質問者が選んだベストアンサー
多様体、積多様体、埋め込み、連続写像、… 各用語の定義を確認するだけの問題です。 証明は一本道で、定義をキチンと書き出せば、 考える部分はほとんどありません。 M, N を位相空間 T 上の多様体とし、 M, N, T の開集合族に Om, On, Ot と名前を付けます。 M, N の地図帳にも { Uk | k∈Λm }, { Vk | k∈Λn } と名前を付けましょう。それらの記号を使って、 頭記の各用語の定義を形式的に書き出してみて下さい。 F が単に集合の埋め込みであることを示すのは、 (p,f(p))=(q,f(q)) ⇒ p=q を言うだけですが、 多様体の埋め込みであることを示すには、 埋め込み写像が多様体の準同型であることを 添える必要があります。
関連するQ&A
- 多様体の問題です。
多様体の問題です。 X,Y:リーマン面 f:X→Y:正則写像(定値でない) P:Xの点 f(P)=Q とする。 fの座標表示が s = t^n (n∈N)となるP,Qでの局所座標表示 t: U_P → ΔP s: V_Q → ΔQ (ΔP,ΔQ:単位開円板) がある。 つまり、リーマン面からリーマン面への正則写像は 局所的には単位開円板の n重写像Δ→Δ: z→z^n と同じ形をしている。 特にfは開写像。 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ これの証明を勉強していて、 分からないところがあって質問させてもらいました。 以下の(*)(**)(***)がその箇所です。 (*): 仮定のどの部分を使っているのでしょうか? (**): テイラー展開したのですが、 これはT^nの項でくくれといっているのでしょうか? (***): ここはさっぱり分かりません…。 「C内の半平面」というのは リーマン面Yの局所座標近傍C_zのことですか? この部分から前に進めなくて唸っているので、 どなたかよろしくお願いします。 ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ 【証明】 P,Qでの局所座標T,Sをとる。 fはPの近傍で S=f_T(T), f_T(0)=0 と正則関数表示される。 仮定と正則写像の一致の定理より、 f_T(0)は恒等的に0ではないことが分かる。 (*) f_T(T)をテイラー級数展開し、 係数が零でない最初の項でくくる。 この操作により、SはTの関数として、 S=f_T(T)=T^n*U(T)、 U(0)≠0 (**) の形にかける。 『|T|が十分小さければ、 U(T)の値は全てU(0)を含み、0を含まない (***) C内の適当な半平面に含まれる。 従って、U(T)のn乗根の偏角を一価かつ連続に指定することができる。 こうして、U(T)^(1/n)の1つを正則かつ一価に定めることができる』
- ベストアンサー
- 数学・算数
- 線形代数の問題
こんにちは、お世話になります。以下の2問についてですが 1. π_nをn次多項式空間とし、f:π_n→π_nとする,f(p)=p-∫p(0→1)は一次写像ならば、fの核と像を求めよ。また、fは同型写像であるか。基底{1,x^2,x^3,…,x^n}に対して、fを表す行列A_fを求めよ。 核は、定数とすぐにわかるのですが、像の求め方、また同型写像であるか否かと行列の求め方がわかりません。 2.Aが(m,n)行列、b∈R^m∩Im(A)のとき、Ax=bの解全体 がアフィン部分空間を成すことを示せ。 2については何をどうすればいいのか、検討もつきません。 どなたかわかりやすくご指導いただけると幸いです。 よろしくお願いします。m(__)m
- 締切済み
- 数学・算数
- 線形代数学の問題です。
問題は次の通りです。 R^nからR^mへの線形写像fが全単射ならばn=mであることを示せ。 時間をかけて考えたのですが分からなかったので、 できるだけ詳しく教えてください、お願いします。
- 締切済み
- 数学・算数