直線は実数 R と同相です。
円周は実射影直線 RP(1) = { R^2 - {(0, 0)} } / ~ (比が同じものを同一視) と同相です。
また、円周は実数に無限遠点を付け加えた R∪{∞} とも同相です。
また、円周は実数体 R を有理整数環 Z で割った剰余環 R / Z とも同相です。
線分は、実数に無限遠点を2個付け加えた R∪{+∞, -∞} とも同相です。
平面は実数の組 R^2 や複素数 C と同相です。
球面は複素射影直線 CP(1) = { C^2 - {(0, 0)} } / ~ (比が同じものを同一視) と同相です。
また、球面は複素数に無限遠点を付け加えた C∪{∞} とも同相です。
実射影平面は RP(2) = { R^3 - {(0, 0, 0)} } / ~ (比が同じものを同一視) と同相です。
トーラスは R/Z × R/Z と同相です。
では、円板(境界を含む)はどのような代数的存在と同相と考えることができるのでしょうか?
クラインの壷はどのような代数的存在と同相と考えることができるのでしょうか?
その他、上記のような幾何学的存在と代数的存在の関係に、なにか別のいいアイデアがありましたらいただけないでしょうか?
No.3ベストアンサー
- 回答日時:
無限遠点を付け加えたり、一点(原点)を引いたりするのは抵抗ないみたいなので連結和もOKかと思いましたが、ダメでしたか・・・。
連結和に代数的イメージを結びつけるのは難しいですね。うまい具合に代数的に意味のある場所でディスクを切り取れて、なおかつ代数的に意味のある方法で貼り付ける必要がありますね、
等質空間ほど綺麗な構成方法ではありませんが、代数的に意味のある方法でメビウスの帯やクライン管を作る方法を考えてみました。
【メビウスの帯】
まず実数R={x:実数}と1次元トーラスS1={θ:0≦θ<2π}の直積R×S1を作ります。
このR×S1の元の同値類~を次のように定義します。
(x,θ)~(-x,θ+π)
すると商空間M=(R×S1)/~ は境界を含まないメビウスの帯になります。
これは球面の北極と南極を除いたものに実射影平面RP(2)を作る同一視と同じ操作を行ったもので、従って実射影平面RP(2)からディスクを取り除いたもの(=メビウスの帯)が得られます。
境界を含みたかったらRをR∪{+∞, -∞} などで置き換えてください。
【クラインの壷】
R×S1の同値類を次のように定義します。
(x,θ)~(-x,θ+π)~(x+1,θ)
この同値類による商空間KL=(R×S1)/~ はクラインの壷になります。
この操作を元の空間R×S1内の矩形[0,1]×[0,π]に制限してみると、上下の辺を逆向きに、左右の辺を順向きに貼り合せるクラインの壷の構成方法に一致することが判ります。
こんなんでいかがでしょうか?
No.2
- 回答日時:
>幾何学的存在と代数的存在の関係
というと、両者の関係の深い順に
1.Lie群 (微分多様体でもあり、かつ群でもあるもの。主な例は古典群)
2.等質空間 (Lie群を部分群で割った商空間。トーラスや射影空間、球面など)
3.代数多様体 (代数方程式の零点を張り合わせたもの)
が思いつきますね。
クライン管は向き付けられないのでLie群にはならないし、曲率を考えると等質空間にもならなそうな気がします。
一方、クライン管は2個の実射影空間の連結和と同相なので、代数多様体になるんじゃないでしょうか。
式で書くと
クライン管=RP(1)#RP(1)
です。
ありがとうございます。
幾何学的存在(イメージの世界)と代数的存在(論理の世界)の関係には、かんたんな感覚として、
直線⇔実数
2つの直線を直交させると平面ができる⇔2つの実数を並べて書くと実数の組ができる
などと思っています。
で、連結和というのは、幾何学的存在(イメージの世界)のものと思うのですが、それに対応する代数的存在(論理の世界)のものはなんなのかなあと疑問に思っています。
クラインの壷は、
[0,1] × [0,1] の境界を次のように同一視したものでもあります。
(0,y) ~ (1,y) ただし 0 ≦ y ≦ 1 :対辺を同じ向きに張りあわせる
(x,0) ~ (1-x,1) ただし 0 ≦ x ≦ 1:対辺を反対向きに張りあわせる
[0,1] × [0,1] を正方形折り紙として、一組の対辺を同じ向きに張りあわせるということは、円柱にするということ。
さらにいえば、[0,1] × R という無限に長い帯を、トイレットペーパーのごとく巻きつけて、円柱、[0,1] × R/Z にするということ。
同様に、
[0,1] × [0,1] を正方形折り紙として、一組の対辺を反対向きに張りあわせるということは、メビウスの帯にするということ。
さらにいえば、R × [0,1] という無限に長い帯を、次々ひねりながら巻きつけて、メビウスの帯 にするということ。
その無限に長い帯をメビウスの帯にするという操作が、代数的にどういえばよいのか疑問に思っています。
No.1
- 回答日時:
回答がないようなので、ほんの参考程度に・・・
円板は[0,1]×R/Zと同相と言えるでしょうか。
クラインの壷は2つの射影平面に穴を開けて縁に沿って張り合わせた
もので、射影平面に穴を開けた図形はメビウスの帯と同相なので、
クラインの壷はメビウスの帯を縁に沿って張り合わせたものとも考え
られます。
代数的な存在というとちょっとわかりませんが。
向き付け不能なので、想像しずらい。
基本群なら<x,y|x^2y^2=e>となりますが・・・
この回答への補足
クラインの壷は長方形の紙(のび縮みできる)の辺を、ある向きにそって張り合わせたものですが、
捩って張り合わせるということが、代数的にどう表されるかを知りたいと考えています。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
円弧とはどんな形ですか? 画像...
-
中心角を求める計算方法を教え...
-
弧ABとは?
-
一周が360度で2π=360度...
-
三角形の周りを転がる円 中学校...
-
円周率をルートすると(平方根)、
-
数学 立体の母線について 母線...
-
π=6.28・・・のほうが美し...
-
この図形の名前は...扇形?...
-
エクセルで、重力加速度
-
数II軌跡の問題
-
楕円柱の側面積
-
円の中心の求め方
-
円周から半径を求める
-
円錐を表す陰関数を教えて下さい。
-
弧度法でいう所のπ(パイ)は円...
-
円周×半径の半分=円の面積って...
-
円錐の展開図面を描きたい
-
円周率の定義と歴史
-
基礎問題精講 数学61番の(2)の...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
円弧とはどんな形ですか? 画像...
-
エクセルで、重力加速度
-
円周から半径を求める
-
中心角を求める計算方法を教え...
-
この図形の名前は...扇形?...
-
円周率は何割る何で求まりますか?
-
円周率をルートすると(平方根)、
-
円錐の展開図面を描きたい
-
π=6.28・・・のほうが美し...
-
コップの体積(容積?)が知り...
-
三角形の周りを転がる円 中学校...
-
弧ABとは?
-
下図のように、半径aの3つの円...
-
扇形の作図の計算方法を教えて...
-
円周の長さが21.98cmの半径の長...
-
円の中心の求め方
-
円柱の内容積の求め方
-
一周が360度で2π=360度...
-
円の半径が2倍になると面積と...
-
円錐の表面積について(半径と...
おすすめ情報