No.2ベストアンサー
- 回答日時:
有限次元で複素数体上の話と仮定していいですよね?トレースの定義などがあるので以下そのように仮定して話を進めます。
問題は自明ではないですが線形空間を固有空間に分解すると上手く示せます。
証明は大体次のようになります。
まずhが可換ではない、すなわちある元I,H∈hが存在して[I,H]≠0とします。対角化可能という条件からhはad(H)の固有空間の直和で表されます。Iをその固有空間の和に分解すると仮定から0でないある固有値λに対応する成分は消えません。それをI_λとします。取り方から
ad(H) (I_λ) = [H,I_λ] = λI_λ --------------(1)
です。
次にI_λも対角化可能ですからI_λに関してhを固有分解出来ます。その各々の固有値kに対応する固有空間をh(I_λ;μ)とします。
まず交換子の定義より
I_λ ∈ h(I_λ;0) -----------(2)
です。Hをh(I_λ;μ)に関して固有分解したものをH=Σ_μ H_μ, H_μ∈h(I_λ;μ)としたとき、
ad(I_λ) (H) = Σ_μ μH_μ ----------(3)
となります。(1)と(3)から
Σ_μ μH_μ = -λI_λ
であり、(2)によってΣ_μ μH_μ ∈ h(I_λ;0)が分かります。固有分解は直和ですから0以外のμに対してH_μ=0であり結局I_λ=0でなければなりません。これは矛盾です。
この回答へのお礼
お礼日時:2011/03/16 11:51
大変丁寧にお教え頂き、有り難うございました。
自分でも、行間を埋めながら、もう一度考えてみたいと思います。
本当に有り難うございました。
お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!
おすすめ情報
- ・漫画をレンタルでお得に読める!
- ・14歳の自分に衝撃の事実を告げてください
- ・架空の映画のネタバレレビュー
- ・「お昼の放送」の思い出
- ・昨日見た夢を教えて下さい
- ・ちょっと先の未来クイズ第4問
- ・【大喜利】【投稿~10/21(月)】買ったばかりの自転車を分解してひと言
- ・メモのコツを教えてください!
- ・CDの保有枚数を教えてください
- ・ホテルを選ぶとき、これだけは譲れない条件TOP3は?
- ・家・車以外で、人生で一番奮発した買い物
- ・人生最悪の忘れ物
- ・【コナン30周年】嘘でしょ!?と思った○○周年を教えて【ハルヒ20周年】
- ・ハマっている「お菓子」を教えて!
- ・最近、いつ泣きましたか?
- ・夏が終わったと感じる瞬間って、どんな時?
- ・10秒目をつむったら…
- ・人生のプチ美学を教えてください!!
- ・あなたの習慣について教えてください!!
- ・牛、豚、鶏、どれか一つ食べられなくなるとしたら?
- ・都道府県穴埋めゲーム
デイリーランキングこのカテゴリの人気デイリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
複雑な家庭とは
-
無限から無限を引いたら何にな...
-
日本語 ことば ひとまわり ふた...
-
1未満と1以下の違い
-
なぜ、直角三角形ではないのにs...
-
べき乗
-
√6=√(-2)(-3)=√(-...
-
「logx^2=2logx」が間違って...
-
p⇒q=(¬p)∨qについて
-
「互いに素」の定義…「1と2は互...
-
位相、開集合の定義について
-
最大公約数は必ず正の整数にな...
-
eの0乗は1ってどういう原理です...
-
2変数関数の極値について
-
自分の存在意義は、誰が、どの...
-
内積の分配法則を成分を使わず...
-
直和分解とは? 同値関係、同値類
-
0^1(0の1乗)はいくつでしょ...
-
excel vba 名前付きセルが存在...
マンスリーランキングこのカテゴリの人気マンスリーQ&Aランキング
-
皆さん定義を教えてください 「...
-
無限から無限を引いたら何にな...
-
複雑な家庭とは
-
「互いに素」の定義…「1と2は互...
-
1未満と1以下の違い
-
べき乗
-
eの0乗は1ってどういう原理です...
-
「logx^2=2logx」が間違って...
-
日本語 ことば ひとまわり ふた...
-
ACCESS IIF関数 複数条件の設...
-
ACCESS VBAでインポート定義の場所
-
p⇒q=(¬p)∨qについて
-
なぜ、直角三角形ではないのにs...
-
数字の1とは何なのか?
-
1wordとは、何文字ですか?
-
ヘシアンが0の場合どうやって極...
-
P(A∩B)=PA(B)×P(A) に何故なる...
-
エクセルで「”」インチの表示形...
-
変数の宣言の名称を教えてくだ...
-
最大元と極大元の定義の違いが...
おすすめ情報