『アフィン変換全体をなす群と同型な ax+b群
G = { (a b/0 1) ; a,b∈K }
について、その2次元の恒等表現(gにgを対応させる表現)を考える。
これは可約であるが、2つの表現の直和分解できない。』
という文章について、
可約である、というのはGが恒等変換によって明らかに不変部分空間を持つ、ということでいいのでしょうが
2つの表現の直和に分解できない、というのが証明できません。というか、イメージを持つこともできません。
そもそも、Gが行列の積演算によって群をなしている以上、これを部分空間の直和に分解できないのではないでしょうか?
それとも、そういうことをいっているのでしょうか…。アドバイスお願いします。
数学の独学は厳しいです…先代の数学者、尊敬いたします。
No.3ベストアンサー
- 回答日時:
遅くなりましたm(__)m
>ρ(g)=(a b/0 1)によって不変な部分空間{λ(1 0)}{λ(b a-1)}について
『表現』の不変部分空間の定義は分かってます?
貴方がここで言っているのは、表現ρの不変部分空間ではなく、行列ρ(g)の不変部分空間にしか見えませんが。
>このそれぞれと直交する部分空間{λ(0 1)}{λ(1-a b)}は不変に保たれないので、この表現は直和に分解できない。
"直交補空間"が不変でない事と、直和に分解できない事の関係は?
そもそも、表現空間に内積が定義されている事は仮定していないので、普通は
直交(内積がゼロ)という概念を定義する事すらできませんよ。
さじをなげたあともどってきました。
(x,y)にρ(g)を作用させると第二成分は不変である(可約性)が第一成分は不変でない(直和にならない)ということですね。
No.2
- 回答日時:
特に表現に関しては定義って言うか、イメージの説明みたいに見えますが。
ベクトル空間Vと群Gがあって
ρ:G→GL(V)
が(群としての)準同型写像である時、ρを(Gの)表現、Vを(ρの)表現空間と言います。
※GL(V)はVの線形変換の全体です。
この定義をふまえて表現空間が何なのか考えてみては。ヒントとしては
・ρ(g)自体はV(表現空間)の元ではなくてV上の線形変換
・表現空間はVであって、Gではない
もとのご質問の可約と直和分解に関する事しては
可約な表現が2つの表現の直和に分解できるためには、
(非自明な)不変部分空間の「残り」も不変部分空間でなりません。
「残り」をきちんと定義していませんが、「可約」だからと言って「直和に分解できる」とは限らない事はイメージできると思います。
この回答への補足
ん、ん。
ρ(g)=(a b/0 1)によって不変な部分空間{λ(1 0)}{λ(b a-1)}について、このそれぞれと直交する部分空間{λ(0 1)}{λ(1-a b)}は不変に保たれないので、この表現は直和に分解できない。
こんな感じでしょうか。
No.1
- 回答日時:
表現の定義
(表現が)可約であることの定義
(表現の)直和分解の定義
この辺りはきちんと説明できますか?
何となく、そこを理解できていないように見えますが。
この回答への補足
おっしゃる通り、漠然とした理解にとどまっています。(;^^)
表現 …ある操作からなる群の元を線形写像や行列に対応づけること
可約性 …表現空間に自明でない不変部分空間が存在する
直和分解…表現空間が不変部分空間の直和で表せたときの、それぞれに対する作用に表現を分解すること
あらためて、この問題の表現空間とはなんでしょうか?
Gそのものだと思い質問したのですが。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・人生のプチ美学を教えてください!!
- ・10秒目をつむったら…
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・【大喜利】【投稿~9/18】 おとぎ話『桃太郎』の知られざるエピソード
- ・街中で見かけて「グッときた人」の思い出
- ・「一気に最後まで読んだ」本、教えて下さい!
- ・幼稚園時代「何組」でしたか?
- ・激凹みから立ち直る方法
- ・1つだけ過去を変えられるとしたら?
- ・【あるあるbot連動企画】あるあるbotに投稿したけど採用されなかったあるある募集
- ・【あるあるbot連動企画】フォロワー20万人のアカウントであなたのあるあるを披露してみませんか?
- ・映画のエンドロール観る派?観ない派?
- ・海外旅行から帰ってきたら、まず何を食べる?
- ・誕生日にもらった意外なもの
- ・天使と悪魔選手権
- ・ちょっと先の未来クイズ第2問
- ・【大喜利】【投稿~9/7】 ロボットの住む世界で流行ってる罰ゲームとは?
- ・推しミネラルウォーターはありますか?
- ・都道府県穴埋めゲーム
- ・この人頭いいなと思ったエピソード
- ・準・究極の選択
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
1未満と1以下の違い
-
無限から無限を引いたら何にな...
-
「互いに素」の定義…「1と2は互...
-
複雑な家庭とは
-
べき乗
-
日本語 ことば ひとまわり ふた...
-
「logx^2=2logx」が間違って...
-
なぜ、直角三角形ではないのにs...
-
p⇒q=(¬p)∨qについて
-
最大元と極大元の定義の違いが...
-
ACCESS IIF関数 複数条件の設...
-
1wordとは、何文字ですか?
-
ノートンのウイルス定義のバー...
-
0を無限個足すと・・・
-
2進数の符号ビットの入った数...
-
Excelで関数ウィザードの説明欄...
-
5桁の整数nにおいて,万の位,...
-
エクセルで「”」インチの表示形...
-
「比」の正確な定義
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
複雑な家庭とは
-
「互いに素」の定義…「1と2は互...
-
べき乗
-
日本語 ことば ひとまわり ふた...
-
1未満と1以下の違い
-
最大元と極大元の定義の違いが...
-
p⇒q=(¬p)∨qについて
-
「logx^2=2logx」が間違って...
-
eの0乗は1ってどういう原理です...
-
ACCESS VBAでインポート定義の場所
-
ヘシアンが0の場合どうやって極...
-
ACCESS IIF関数 複数条件の設...
-
画像の説明で一番最後の閉包作...
-
5桁の整数nにおいて,万の位,...
-
“半日”って何時間のことなんで...
-
0^1(0の1乗)はいくつでしょ...
-
√6=√(-2)(-3)=√(-...
-
lim n→0 =n=0となりますが lim ...
おすすめ情報