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)がハウスドルフ空間であること、ハウスドルフ空間の部分空間もまたハウスドルフ空間であるという知識は既知として使っていただいてかまいません。(はずかしながら、座標近傍の存在を示すプロセスが思いつかないのです。)
No.3ベストアンサー
- 回答日時:
ん?こぼれる点ありや?
あ,座標の添え字,いっこ足りない(^^;
xをS^nの点とする.
x=(x1,...xn+1)
x1,...,xn+1のすべてが0になることはないので
すくなくともひとつは0ではない.
それをxiとする
xi>0またはxi<0である
つまり,xiはU_i^+かU_i^-の要素である.
絵をかけばわかるとおもう
S^1の場合,
上半分(端点のぞく)
下半分(端点のぞく)
右半分(端点のぞく)
左半分(端点のぞく)
の四枚.
S^2でもほぼ同様.
赤道から少し膨らませると
単純な射影だと同相にはできない.
そうなると座標変換の計算がしんどくなりそう.
なにはともあれ松本先生の本は基礎の基礎としてお勧め.
アドバイスをありがとうございます。
おかげさまで、
n次元球面の全体が
U_i^+ = {x_1,x_2,・・・,x_n+1 | x_i > 0 } ( i=1,2,・・・,n+1 )
そして
U_i^- = {x_1,x_2,・・・,x_n+1 | x_i < 0 } ( i=1,2,・・・,n+1 )
という、全部で2(n+1)個の開集合によって被覆されることがわかりました。
さらに
φ_i^+ : U_i^+ → R^n を
(x_1,x_2,・・・,x_n+1) → (x_1,x_2,・・・,x_i-1,x_i+1,・・・,x_n+1)のように構成して、
φ_i^- : U_i^- → R^n を
(x_1,x_2,・・・,x_n+1) → (x_1,x_2,・・・,x_i-1,x_i+1,・・・,x_n+1)のように構成すると、
どちらの写像も開集合から開集合へのマッピングなので、連続性が言えるのですね。
なおかつ球面の半径が1であると指定されているので、これを利用して逆写像も構成できますね。
ゆえに、逆写像が存在し、かつ写像と逆写像の両方が連続なので、φ_i^+ と φ_i^- は同相写像であると言えるのですね。
そういうわけで、n次元球面S^nは2(n+1)個の座標近傍によって被覆されるので、(S^nがハウスドルフ空間であることも合わせて)S^nはn次元多様体であるという解釈をしました。
まだ座標近傍を(回答者さまのように見事に)構成する要領がつかめておりませんので、またご迷惑をおかけすることがあるかもしれませんが、そのときはご助力をお願いいたします。
No.2
- 回答日時:
A No.1 の構成だと、被覆されない点ができる。
各地図をも少し広げて赤道を越えるようにするか、
枚数を増やしてこぼれた点を覆うかしないとね。
No.1
- 回答日時:
射影すればいい
p_i:S^n -> R^n
(x1,x2,...,xn)|->(x1,x2,...,x_{i-1}, x_{i+1},..,xn)
S^nの座標近傍U_i^{+}, U_i^{-}
U_i^+={xi>0}
U_i^-={xi<0}
わからなかったら,最初はS^1で計算する.
次はS^2,その次はS^3.
S^3くらいまでやれば一般化はできる.
S^1のばあい
四つの座標近傍
U_x^+={(x,y)|x>0, x^2+y^2=1}
U_x^-={(x,y)|x<0, x^2+y^2=1}
U_y^+={(x,y)|y>0, x^2+y^2=1}
U_y^-={(x,y)|y<0, x^2+y^2=1}
をとればいい
p_x^+:U_x^+ -> (-1,1)
(x,y)->x
これの逆写像と座標変換はひたすら計算すればいい
ついでにいうと
東大出版「多様体の基礎」(松本幸夫)
この本はきっとあなたにちょうどいい.
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- 数学 「次元が高くなると、単位球は単位立方体に比較して小さくなっていく。」を、易しく解説して下さい。 6 2023/08/21 12:53
- 物理学 どうして、三次元にいられるのですか。 4 2023/02/10 20:58
- 宇宙科学・天文学・天気 四次元空間について 1 2022/07/01 17:11
- アニメ 四次元空間について 1 2022/07/01 16:06
- 宇宙科学・天文学・天気 無の空間におけるビッグバン 3 2023/07/01 20:53
- 超常現象・オカルト パラレルワールドと 並行空間。 おなじ空間に別の空間。 アベンジャーズのような それぞれ 別の空間に 3 2023/01/21 12:55
- 物理学 どうして、スピードを出しても3次元にいられるのですか。 3 2023/05/30 21:12
- 宇宙科学・天文学・天気 自分達が生きてる世界は4次元座標なのですか? 3次元空間に時間軸を足したものが4次元だと習ったのです 5 2022/07/26 14:03
- 声優 どうして仮面ライダーの信者は、仮面ライダーを過大評価してまで全創作物最強と持ち上げるのでしょうか? 1 2022/06/04 00:14
- 数学 代数学 環 1 2022/10/11 00:04
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
座標空間について、点Pの座標を...
-
右下の小さい数字について
-
2点を通る半径rの円の中心の座標
-
「原点に返る」と「原点に戻る...
-
AB=2である2定点A、Bに対して...
-
写真の問題の(2)の別解について...
-
座標のS/I方向について
-
生データーからのグラフから関...
-
この解説の(5)が分かりません...
-
Excelで、任意の座標が属するセ...
-
楕円の角度とは?
-
二次関数の平行移動のマイナス...
-
座標(x,y)間(=2点)の...
-
高校数学 <ベクトルと空間図形>
-
数学の質問です 原点0から出発...
-
数3の曲線の媒介変数って結局何...
-
4次元、5、6、7、8、9次...
-
重分積分の極座標変換について
-
多角形の中心点の座標の求め方
-
数学の問題がわかりません。(球...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
座標(x,y)間(=2点)の...
-
「原点に返る」と「原点に戻る...
-
距離と方向角から座標を求める...
-
右下の小さい数字について
-
なぜベクトルの外積の向きが右...
-
距離、方位角から座標を求める方法
-
重分積分の極座標変換について
-
測量座標と算数座標の違い
-
2022年 東京理科大 難易度判定
-
楕円の円周上の座標を求める計...
-
2次関数y=ax^2のグラフは点A(4,...
-
エクセルでグラフの作り方 軌...
-
N点間の中心と重心の求め方
-
複素数平面と座標平面の対応に...
-
楕円の角度とは?
-
等角螺旋(らせん)の3次元的...
-
「0でない2つのVのベクトルu,v...
-
【数学】 解説の下から4行目が...
-
座標値 世界測地系と日本測地系...
-
座標を入力すると角度を得られ...
おすすめ情報