純粋・応用数学・数学隣接分野（含むガロア理論）19

[過去ﾛｸﾞ] 純粋・応用数学・数学隣接分野（含むガロア理論）19 (1002ﾚｽ)
上下前次1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

741: 現代数学の系譜 雑談 ◆yH25M02vWFhP  [] 2025/04/04(金) 10:54:22.62 ID:nFnX0O4C

>>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 が正規行列であることが必要十分である。
正規行列の中で応用上重要なクラスとして、対称行列とエルミート行列がある。

http://rio2016.5ch.net/test/read.cgi/math/1725190538/741

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.042s