[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
741(1): 現代数学の系譜 雑談 ◆yH25M02vWFhP [] 04/04(金)10:54 ID:nFnX0O4C(3/4)
>>739 ついでに補足
”対角化可能であるための必要十分条件”
結論：やっぱ 固有値は大事だ！ｗ ；ｐ）
https://ja.wikipedia.org/wiki/%E5%AF%BE%E8%A7%92%E5%8C%96
対角化（たいかくか、diagonalization[1]）とは、正方行列を適当な線形変換によりもとの行列と相似な対角行列に変形することを言う。
対角化により変換において本質的には無駄な計算を省くことで計算量を大幅に減らすことができる。
対角化可能であるための必要十分条件
略
行列Aの固有ベクトルだけで n 次元ベクトル空間の基底が構成できるならば、それら縦ベクトルを横に並べた行列 P は正則行列となり、
P^{-1}AP=D が成り立ち、D の対角成分には A の固有値が並ぶ。
以上が行列が対角化できるための必要十分条件である。またこれは、実際に対角化を行うための手順にもなっている。
他にも同値な条件がいくつか知られている。
・（ここでは固有方程式が（重解を持つ場合も許容して）1次式の積に分解できることを前提とする。固有値・固有ベクトルが複素数でもよいのならこれはいつでも正しい（代数学の基本定理）が、実数だけで考えている場合は固有方程式の左辺が因数分解できないこともあり得る。）
A の固有値を
λ _{i},i=1,・・・ ,r, とするとき、A が対角化可能であるための必要十分条件は、次の等式が成り立つことである：
Σ_{i=1}〜{r} dim ker (λ_{i} I_{n}-A)=n,
ここで、In は n 次単位行列を表す。
ker(λ_{i}I_{n}-A)} は固有値 λi
の固有空間であるから、この条件はベクトル空間の基底として A の固有ベクトルが取れることを意味している。
・上の条件は、
Σ {i=1}〜{r} dim ker(λ _{i}I_{n}-A)} の各項が
λ_{i}} の重複度と一致する、とも言い換えられる。一致しない場合はその固有空間の次元は
λi を下回り、総計が n には成り得ないからである。詳しくは固有空間の次元を参照。
・行列 A の最小多項式が重根をもたないことも対角化可能であるための必要十分条件である[2]。
A が実対称行列のとき、A は常に対角化可能であり、P として直交行列を取ることができる。
また A がユニタリー行列 U を用いて対角化できるためには、A が正規行列であることが必要十分である。
正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。
742(1): １３２人目の素数さん [sage] 04/04(金)13:00 ID:AIbgk7Iz(1/2)
>>741
> ”対角化可能であるための必要十分条件”
> 結論：やっぱ 固有値は大事だ！
大事なのは固有多項式と最小多項式じゃね？
現代数学の系譜 雑談 ◆yH25M02vWFhP こと set A への問
Q1.正規行列の定義を書け
Q2.ユニタリUを1つ選ぶ Uで対角化可能な行列の全体は乗法で群を為すか？ yes/no
Q3.正規行列の全体は乗法で群を為すか？ yes/no
理系の大学２年生以上の諸君には、ハナクソのような易問でスマン
（もしそうでないなら、線型代数の教科書を読み直したほうがいい）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.034s