No.2ベストアンサー
- 回答日時:
・・・いやあ,「接バンドル」っていった段階で
「素人にも理解できるよう」ってのはかなり厳しいでしょう.
というか・・・森田先生レベルだから
日本評論社や亀書房の出すような
「専門家ちょっと手前の人向け啓蒙書・啓蒙雑誌」に書けるのでしょう.
曲面Sの接バンドルってのは,大雑把にいって,
曲面の上の点pとそこでの接平面Tpをセットにして
(p.Tp)というペアを考えます.
このペアを曲面の点全部対して集めて
TS = ∪(p.Tp)
というように集合TSを作ります.
この集合TSにSから位相やら微分構造を導入して,
TSは実は多様体になります.
このTSを「接バンドル」(tangent bundle)というのですが,
SがトーラスT^2である場合,TS = T^2 x R^2 という風に
本来TSがもっているであろうめんどそうな構造が消えて
単なる直積になってしまうんです.
#このことの証明は・・・それなりに厄介
で,この「ねじれ」というのは何か?ですけども,
接バンドルってのは,イメージとしては
点とそこでの接線のペアを寄せ集めたもので,
いわば「はりぼて」のようなものなんです.
元の曲面そのものを考えるよりもはりぼての方が扱いやすく,
更にもとの曲面の性質を反映していることが期待できます.
#気持ちとしては「関数を級数展開して,
#一次の項をもって」きて近似式を作るのに似てる.
#幾何の場合は,近似式だけじゃなくって,
#もとの曲面から微分構造を移植するので
#「高次の項」も「一次の近似式」でありながら
#高次の項も移植しているような雰囲気がある・・・私見ですけどね.
で,「はりぼての構造」が「単純」であれば
もとの曲面の構造も「簡単」であることが期待できます.
このもとの曲面が持ってて,「ほりぼてに遺伝している」であろう
何かをさして「ねじれ」のように表現して,
「はりぼてが単純」だからもとの曲面が「ねじれていない」という
ような感じでしょうか.
#いや・・・実際に「ねじれ」なんですけども・・
#それは私にはまったく説明できないのでパス.
#(一般次元の)球面ってのは簡単な図形なのに,
#むちゃくちゃな構造があるものなんです.
#ファイバーバンドルとか,特性類,基本群,ホモトピー,被覆,
#(コ)ホモロジーとか勉強すると見えてきますが,
#圧巻なのはその最果ての頂点にいる
#Bottの周期性定理とかその近辺の諸結果
無茶な要求ですみません。。。
> 本来TSがもっているであろうめんどそうな構造が消えて
> 単なる直積になってしまうんです.
球面S = S^2のときも集合的には
TS = S^2 x R^2
になっちゃうような気がするのですが、直積にならないのは位相構造や可微分構造の部分でしょうか?
それとも、集合的にすら直積にはならないのでしょうか?
なんにもわかってなくて、すみません
> #(一般次元の)球面ってのは簡単な図形なのに,
> #むちゃくちゃな構造があるものなんです.
幾何学の素人から見ると、トーラスよりも球面のほうが素直でお行儀がよさそうに見えるのですが、視点を変えると全然違うんですね
とても不思議です。。。
丁寧に解説をしてくれて、ありがとうございました
No.4
- 回答日時:
おはようございます。
直感的には理解していただける力はありませんが、
n次元球面でS^nで、タンジェントバンドルT(S^n)が自明なバンドル(S^n)×(R^n)と同型に
なるのは、n=1,3,7のときだけという事実が
あります。T(S^1)がトリビアルなのは、
複素数全体Cの中で考えて、S^1の元(x,y)=x+yiと考えiを翔けるとi(x+iy)=-y+ix=(-y,x)となり、
S^1のどんな元(x,y)に対しても
これに接するベクトル(-y,x)がとれるので、
ベクターバンドルの対応f:S^1×R^1→T(S^1) が、
{(x,y),α)}→ {(x,y),α(-y,x)}とできるからです。ここに、
αはR^1に含まれる任意の元とします。各点(x,y)での接線を90度上に
回転してその点でS^1に垂直に立てて一周すれば、
円筒形 S^1×R^1ができます。
ただし、接ベクトルαδ/(δx)など(ラウンドの記号がでないので)に
αが対応するとしてです。S^3のときは四元数体H=R+Ri+Rj+Rkを使って
できます。S^3の元(x,y,z,w)=x+yi+zj+wkにi,j,kを順に掛けたものから
i(x,y,z,w)=(-y,x,-w,z)とj(x,y,z,w)=(-z,w,x,-y),
k(x,y,z,w)=(-w,-z,y,x)と(x,y,z,w)の4つは互いに垂直で長さが1なので
同様にできます。S^7の場合はCayley数を使います。
これ以外の次元の球面がダメなことは
確かAdamsか、Ademの公式があるはずですが
忘れました。トーラスはT^2はS^1×S^1と同相で、
一般に
T(M×N)とT(M)+T(N) (「+」はベクターバンドルの「Whiteny sum」を
表します。)とは同型になりますから、
T(S^1×S^1)はT(S^1)+T(S^1)に同型だから結局
T(S^1×S^1)は(S^1×S^1)×R^2と同型になります。
T(S^n)が自明になるのがn=1,3,7のときだけという事実は不思議ですね
それなら、なんとなく15,31,...とかのときもなっちゃいそうな感じがするのですが、違うんですね
16元数なんていうのもあるらしいのですが、代数構造が複雑だからT(S^15)は自明にならないのでしょうか。。。
有限個のある特定の値のときしか成り立たないのは、とても不思議に思えます
ありがとうございました
No.3
- 回答日時:
ちょっと高度すぎて、手も足もでませんでした。
ちょっとまえに、「トポロジカル宇宙」という根上生也さんの本を読んだので、「トーラス」という単語に反応してしまいました。
数学の抽象よりも、宇宙の仕組みに関心が移ってしまいました。
3次元ユークリッド空間(地球表面は、2次元ユークリッド平面?)に住んでいて、時間というものと共存している地球人が、四次元空間以上の複雑な空間を想像するのは、大変困難です。訓練がいります。
本当は、「相対性理論」「ポアンカレ予想」の展開図でも見れればと思っています。
http://www2.neweb.ne.jp/wc/morikawa/sya.html
位相空間、多様体が、視覚的に認識できるとおもしろそうですが。
本を見つけて読んでくれたんですね
わざわざありがとうございます
No.2さんの回答にもあるように無茶な質問でした。。。
やっぱり地道に計算しながら、幾何学の感覚を養っていく以外に、理解する方法はないようですね。。。
No royal road to geometry!
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
似たような質問が見つかりました
- その他(職業・資格) 仕事の面接でたまにある筆記試験。仕事には関係なさそうな漢字の読み書き。簡単な計算。図形問題など。 そ 7 2022/03/28 14:32
- 哲学 説得力を修辞の巧みさまたは論理の強さの2つに分析するにはどうすると良いでしょうか? 0 2022/07/20 05:46
- 就職 採用面接で面接官を説得させられる人 2 2023/08/19 19:11
- 日本語 「名詞+的」で「形容動詞」? 9 2023/01/26 18:30
- 日本語 「~人」と「~名」の使い分け 2 2022/06/02 11:59
- 電気工事士 内線規程 電線と機具端子との接続について教えてください。 3 2022/10/10 10:15
- 発達障害・ダウン症・自閉症 いわゆる発達障害の人と普通に人の気持ちが分からなかったり場の空気が読めない人との違いって分かるんです 1 2022/07/22 01:44
- 日本語 【「名詞+的」で「形容動詞」?】その4 7 2023/02/23 20:10
- 数学 半径6の円Kを底面とする半球がある。半球の底面に平行な平面が半球と交わっており、交わりの円Lの半径は 6 2022/06/24 06:34
- その他(教育・科学・学問) 交流の実際の電圧は正確な平均値0.637が正しいですよね? 21 2022/06/21 13:22
おすすめ情報
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
2つに直交する単位ベクトル
-
「ノルム、絶対値、長さ」の違...
-
n次元ベクトルの外積の定義
-
微積分の記号δ、d、Δ、∂の違い
-
平面の交線の方程式
-
行列とベクトルの表記の仕方に...
-
ナブラ ラプラシアン
-
行列式が1とはどういう意味です...
-
座標系の奥(手前)方向の書き方
-
3つのベクトルで生成される部分...
-
複素数の絶対値の性質について
-
Aはn次正方行列とする。零行列...
-
位置ベクトルの成分とは。
-
ベクトルの大きさの書き方が||x↑||
-
「任意」ってどういう意味?
-
正規直交基底であることの確認
-
両方に垂直な単位ベクトルを求...
-
複素数平面でのベクトルの扱い...
-
球面と直線の交点
-
内積の二乗
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報