• ベストアンサー

多様体の問題です。

多様体の問題です。 M:m次元C^r級多様体 N:n次元C^r級多様体 とすると 積空間 M×Nは(m+n)次元C^r級多様体になることを証明せよ。 わかる方いましたらよろしくお願いいたします <(_ _)>

質問者が選んだベストアンサー

  • ベストアンサー
  • askaaska
  • ベストアンサー率35% (1455/4149)
回答No.1

基礎中の基礎じゃない(汗 http://ja.wikipedia.org/wiki/%E5%A4%9A%E6%A7%98%E4%BD%93 書くの大変なのでここを参照して。

関連するQ&A

  • 多様体の問題です。

    C^r級写像 f:M→N とする。ここで F:M→M×N M×N:積多様体 F(p)=(p,f(p)) ならば Fが埋め込みであることを示せ。 という問題です。 わかる方いましたら解答を教えて頂けると幸いです。

  • n次元球面はn次元位相多様体であることを示せ。

    S^n={x∈R^(n+1)│∥x∥=1} はn次元位相多様体となることを示せ。 S^nはn次元球面 R^(n+1)は(n+1)次元数空間 多様体の勉強をしています。「位相空間Mがハウスドルフ空間であり、なおかつMの任意の点pについて、pを含むm次元座標近傍(U,φ)が存在するとき、Mはm次元位相多様体である」という定義はわかっているのですが、証明ができません。 R^(n+1)がハウスドルフ空間であること、ハウスドルフ空間の部分空間もまたハウスドルフ空間であるという知識は既知として使っていただいてかまいません。(はずかしながら、座標近傍の存在を示すプロセスが思いつかないのです。)

  • 大学・線形代数の問題です

    以下の問題が分かりません(;_;) n次の行列に対するトレースは、M(n,n;R)からRへの線形写像であることを示せ.次に、この写像の像空間,核空間の次元を求めよ. 大変困っています.お優しい方どうか助けてください(>_<)

  • 2つの位相多様体の直積空間は位相多様体になる。

    Mをm次元位相多様体とする。Nをn次元位相多様体とする。このとき、直積空間M×Nは(m+n)次元位相多様体であることを示せ。 ハウスドルフ空間の直積空間もまたハウスドルフ空間であるという事実は、既知として利用して下さって差し支えありません。ご助力お願いいたします。

  • 多様体

    大学の三回生です。 多様体に関する質問なのですが、下記の問題がわかりません。 4 次元ユークリッド空間R^4 の部分集合M を次で定める. M = {(a, b, c, d) ∈ R^4 | a^2−b^2+c^2−d^2 = 1, ab+cd = 0}. M は,C∞ 級微分可能多様体R4 のC∞ 級部分多様体であることを示せ. という問題です。 微分可能多様体の定義はわかるのですが、どのように示せばよいかわかりません。 どなたか解答もしくは解説お願いします。

  • 多様体の問題です。

    多様体の問題です。 C^r級写像f:M→Nにおいて dim M =dim N =m また任意のMの元pに対してrank(f,p)=n (階数:rank)が成り立つなら次の2つの条件が成立する事を示せ (1)f(M)はNの開集合 (2)fが1―1のとき f:M→f(M):C^r級微分同相 わかる方いましたら解答を教えていただけると幸いです。

  • 多様体の質問です。

    多様体の質問です。 n次元多様体Mの境界はn-1次元多様体であることを示すのはどうすればいいでしょうか。

  • 線形部分空間の次元と基底

    K=R or C V=M(n,n;K):n次正方行列 W={X∈M(n,n,K) | Tr(X)=0} となる線形空間Vとその部分集合Wがあります。 1)Wが線形部分空間になることを示す. 2)Wの基底と次元を求める. 上記の1),2)を示したいのですが、1)は示せたのですが 2)の基底と次元の求め方がわかりません。 列ベクトルの基底等は連立などを用いて解くことができるのですが、 このような空間の基底を求めるのはどのように解放を進めればよいのでしょうか?

  • 数学的帰納法の証明問題

    代数学の問題で数学的帰納法を使った証明問題で躓いてしまいました。 問題の最初でわからないため、その後の問題も同じく解くことができません。 どなたかアドバイスをしていただけないでしょうか。 問1:自然数mに対して 5^2^m≡1 (mod 2^(m+2) ), /≡1 (mod 2^(m+3) )   (後者 /≡は「合同ではない」ってことです) であることをmに関する数学的帰納法で示せ。 問2:1の結果を利用して 5^2^(n-2) ≡ 1 (mod 2^n) (n≧2), 5^2^(n-3) /≡1 (mod 2^n) (n≧3) であることを示せ 問3 5^2^(m-1) ≡ -1(mod 2) (m≧1), 5^2^(m-1) /≡-1(mod 2^n) (m≧1,n≧2) を示せ。 現在問1の解き方として m=1で成り立つことを証明する。 m=r とし 5^2^r≡1 (mod 2^(r+2) ), /≡1 (mod 2^(r+3) ) が成立すると仮定し、 両辺にある数を加えたりかけたりして m=r+1 つまり 5^2^(r+1)≡1 (mod 2^(r+3) ), /≡1 (mod 2^(r+4) )になることを証明できれば すべての自然数mに対して成立することが証明できると思います。 ただ、m=rからどうやればm=r+1につなげられるかわかりません。 どなたかご指導のほどよろしくお願いします。

  • 線形代数 ベクトル空間と行列(ランク)の証明

    証明のやり方がよくわからなかったので次の2つの証明のやり方を わかる方どうか教えてください。 1、 Aを(m、n)行列 Bをn次の正則行列  Cをm次の正則行列とするとき   rank(CAB)=rank(AB)=rank(A) を示す。 2、 UをK上の有限次元ベクトル空間、WをUの部分ベクトル空間とする。 a1,a2,,,,,arをWの基底とするとWの次元がrということを示す。 この2つです。どちらか片方だけでもいいのでもし分かるかたがいたら よろしくお願いします。