固有値と固有ベクトルにおける定理

このエントリーをはてなブックマークに追加
Pocket

定理 12. エルミート行列（または実対称行列）の固有値は実数です．歪エルミート行列（または歪対称実行列）の固有値はゼロまたは純虚数です．ユニタリ行列（または実直交行列）の固有値はすべて絶対値は 1 に等しくなります．

定理 13. エルミート行列（または実対称行列）の異なる固有ベクトルに属する固有ベクトルは直交します．

定理 14. （ケーリー・ハミルトン） ある行列は自身の特性方程式を満たします．

定理 15. （対角形への行列の縮約） ある正則行列 A に明確な固有値 \lambda_1,\ \lambda_2,\ \cdots があって対応する固有ベクトルが行列の中で列として記述されるなら

\displaystyle B = \left( \begin{array}{cccc} b_{11} & b_{12} & b_{13} & \cdots \\ b_{21} & b_{22} & b_{23} & \cdots \\ \cdots & \cdots & \cdots & \cdots \end{array} \right)

すると

B^{-1}AB = \left( \begin{array}{cccc} \lambda_1 & 0 & 0 & \cdots \\ 0 & \lambda_2 & 0 & \cdots \\ 0 & 0 & \lambda_3 & \cdots \\ \cdots & \cdots & \cdots & \cdots \end{array} \right)

すなわち B^{-1}AB は B による A の 変換 と呼び， A の固有値を主対角線上に持ち，他はすべてゼロの対角行列です． A は 変換された または 対角形に縮約された といいます．

定理 16. （二次形式の標準形への縮約） A を対称行列とします．例えば

\displaystyle A = \left( \begin{array}{ccc} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{array} \right),\ a_{12} = a_{21},\ a_{13} = a_{11},\ a_{23} = a_{32}

　すると仮に \displaystyle X = \left( \begin{array}{c} x_1 \\ x_2 \\ x_3 \end{array} \right) ならば 二次形式 が得られます．

X^TAX = a_{11}x_1^2 + a_{22}x_2^2 + a_{33}x_3^2 + 2a_{12}x_1x_2 + 2a_{13}x_1x_3 + 2a_{23}x_2x_3

　この二次形式の外積の項は X = BU と置くことで除去されますが，ここで U は u_1,\ u_2,\ u_3 の要素を持つ列ベクトルです．また B は直交行列で A を直交化したものです． u_1,\ u_2,\ u_3 における新しい二次形式には外積の項がなく 標準形 と呼びます．一般化はエルミート二次形式によりなされます．

このエントリーをはてなブックマークに追加
Pocket

投稿者: admin

趣味：写真撮影とデータベース． カメラ：TOYO FIELD, Hasselblad 500C/M, Leica M6． SQL Server 2008 R2, MySQL, Microsoft Access．

コメントを残す

メールアドレスが公開されることはありません。 ※ が付いている欄は必須項目です