線形代数 において、欠陥行列とは、固有ベクトルの完全な基底を持たない正方行列であり、したがって対角化できない行列である。特に、マトリックスが欠陥を持つのは、それが線形独立な固有ベクトル。[ 1 ]完全基底は、欠陥のある常微分方程式系やその他の問題を解くために必要な一般化固有ベクトルで固有ベクトルを拡張することによって形成されます。
1欠陥マトリックスは常に以下異なる固有値は常に線形独立な固有ベクトルを持つため、異なる固有値は異なる固有値を持つ。特に、欠陥行列は 1 つ以上の固有値を持つ。代数的重複度を持つ(つまり、特性多項式の多重根である)が、より少ない。線形独立な固有ベクトル代数的重複度が幾何学的多重度(つまり、線形独立な固有ベクトルの数)を超える)、 それからは欠陥固有値であると言われている。[ 1 ]しかし、代数的重複度を持つすべての固有値はいつもそうだった線形独立な一般化固有ベクトル。
実対称行列、より一般的にはエルミート行列、およびユニタリ行列は決して欠陥行列ではありません。より一般的には、正規行列(エルミート行列とユニタリ行列を特殊な場合として含む)は決して欠陥行列ではありません。
任意の非自明なジョーダンブロックまたはそれ以上(つまり、完全に対角ではない)は欠陥がある。(対角行列は、すべての自明なジョルダンブロックがサイズであるジョルダン標準形の特殊なケースである。)(欠陥がない。)例えば、ジョーダンブロック
固有値を持つ、代数的重複度を持つ(または、同じ固有値を持つ他のジョルダンブロックが存在する場合はそれ以上)だが、固有ベクトルは1つだけである。、 どこその他の正準基底ベクトル次のような一般化固有ベクトルの連鎖を形成する。のために。
欠陥のあるマトリックスの簡単な例は次のとおりです。
固有値は3が2つあるが、固有ベクトルは1つだけである。
(およびその定数倍)。