一般線型群GL(n,R)の連結性について
多様体入門[松島]のp166の例題で分からないところがあるので教えてください。
行列式が正である行列の集合をGL_{+}(n,R)とします。
これが連結であることを示したいです。
帰納法で考え、GL(1,R)は正の実数の集合に普通の積を群演算としたものなので連結。
GL(n-1,R)が連結であるとし, GL_{+}(n,R)の正規部分群Hを
(1,1)成分が1で(k,1), (k≧2)成分が0であるようなGL_{+}(n,R)の部分群とします。
HはR^{n-1}×GL_{+}(n-1,R)と同相なので帰納法の仮定から連結。
商群GL_{+}(n,R)/Hは第1列の成分が全て等しいGL(n,R)の元を同値類とする集合になります。
GL_{+}(n,R)/Hには商位相をいれます。
ここで質問したいのですが
GL_{+}(n,R)/HとR^{n}\{0}が位相同型になると書いてあるのですがどうやって示したらよいでしょうか?
これがいえると部分群Hと商空間GL_{+}(n,R)/Hが連結なので、GL_{+}(n,R)が連結だということが言えます。
よろしくお願いします。
A 回答 (1件)
- 最新から表示
- 回答順に表示
No.1
- 回答日時:
>GL(1,R)は正の実数の集合に普通の積を群演算としたものなので連結
GL(1,R)={x<0}∪{x>0}だから連結ではありません.
GL^{+}(1,R)なら連結.typoですね.
帰納法の仮定もtypo.
>商群GL_{+}(n,R)/Hは第1列の成分が全て等しいGL(n,R)の元を同値類とする集合になります。
というのであれば実際に写像を作ればいいでしょう.
GL^{+}(n,R)/H の元 [A] の第一列を a とすれば
写像 f:GL^{+}(n,R)/H -> R^[n}-{0}
f([A]) = a
とすればaは0ベクトルではなく,
同値類のとり方にも依存せず well-defined.
fは明らかに同相でしょう.
むしろ,
>商群GL_{+}(n,R)/Hは第1列の成分が全て等しいGL(n,R)の元を同値類とする集合になります。
これの証明はどうするんだろうかなあ.計算しんどそうだし。。。
松島本は押入れに眠ってるからすぐだせない(苦笑)
この回答への補足
間違いのご指摘ありがとうございます。冷静に考えたら分かった気がします。
GL_{+}(n,R)の行列の第1列のベクトルに対応させる写像gを考えると連続開写像だから
fも連続開写像になりfは同相写像になるということですね。
剰余類AHの元をBとすると
B=AC,Cの第1列は第1成分が1で残りが0の行列で両辺の第1列の成分を比べればAとBの第一列は
一致します。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
∈と⊂の違いは何ですか?
-
部分が全体に等しいのが無限で...
-
集合論のカップ(∪)と普遍集合...
-
集合の基数について
-
有理数÷有理数は絶対有理数なん...
-
R\\{0} って、0を除く実数って...
-
集合について。
-
数学でのセミコロンについて
-
保育園・幼稚園で集合写真を購...
-
ACCESSのSQL
-
整数係数n次正方行列全体のなす...
-
1から100までの自然数で、3,4,5...
-
ボレル集合体に含まれないRの部...
-
どなたかこの問題わかりません...
-
問題の解説と回答をお願いしま...
-
定義の意味
-
ブール代数の問題の計算過程を...
-
集合のφ
-
この黄線で、囲んだ部分の縦線...
-
部分集合になる、ならない
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
おすすめ情報