線形代数を学んでいると、「正規行列はユニタリー行列で対角化可能」というスペクトル定理に出会います。しかしその後、「では対角化可能だが正規ではない行列は、どのように理解すればよいのか？」という疑問を持つ人は少なくありません。
特に、非正規行列なのに対角化可能な例を見ると、「ユニタリー対角化との違いは何か」「その構造は体系的に研究されているのか」が気になってきます。
この記事では、対角化可能な非正規行列の位置づけや、関連する代表的な文献・理論を、できるだけわかりやすく整理します。
正規行列とユニタリー対角化の関係
複素正方行列Aについて、
Aが正規行列 ⇔ Aはユニタリー行列で対角化可能
が成り立ちます。
これはスペクトル定理として知られています。
つまり、あるユニタリー行列Uを用いて
U*AU = D
（Dは対角行列）
と書けるとき、Aは正規行列です。
ここで重要なのは、「ユニタリー対角化」は非常に強い条件だという点です。
対角化可能でも正規とは限らない
一方で、通常の意味での対角化
P⁻¹AP = D
では、Pがユニタリーである必要はありません。
そのため、対角化可能だが非正規な行列は大量に存在します。
例えば、
A = [[1,1],[0,2]]
は固有値1,2を持つため対角化可能ですが、正規行列ではありません。
この場合、対角化行列Pはユニタリーにはなりません。
なぜユニタリー対角化できないのか
本質的な理由は、固有ベクトルが直交しないためです。
正規行列では、異なる固有値に属する固有ベクトルが互いに直交します。
そのため、正規直交基底を作ることができ、ユニタリー行列で対角化できます。
しかし非正規行列では、固有ベクトル同士が斜め方向を向いていることがあり、直交基底が作れません。
この違いが、「通常の対角化」と「ユニタリー対角化」を分けています。
この分野は体系化されているのか
はい。かなり体系的に研究されています。
特に次の分野が関係します。
- 行列解析（Matrix Analysis）
- 作用素論（Operator Theory）
- 数値線形代数
- スペクトル理論
非正規行列は、数値計算や量子力学、流体力学でも重要な対象です。
代表的な文献
Matrix Analysis（Horn & Johnson）
非正規行列を含む行列論の代表的教科書です。
正規行列・ユニタリー対角化・Schur分解・ジョルダン標準形などが体系的に整理されています。
特に、「ユニタリー対角化できないが対角化可能な行列」の位置づけを理解するには非常に有名な文献です。
Linear Algebra Done Right（Axler）
固有値論を抽象的かつ概念的に説明する本です。
「なぜ内積構造が重要なのか」という観点から、正規作用素が詳しく説明されています。
有限次元線形代数の理解を深めたい人に人気があります。
Trefethen & Embree『Spectra and Pseudospectra』
非正規行列の振る舞いを現代的に扱った有名書です。
非正規行列では、固有値だけでは挙動を理解できないことが詳しく解説されています。
数値解析や応用数学寄りですが、「非正規性そのもの」を深く知りたい人には非常に面白い内容です。
Schur分解との関係
非正規行列を学ぶ際、重要になるのがSchur分解です。
任意の複素行列Aは、あるユニタリー行列Uを用いて
U*AU = T
（Tは上三角行列）
とできます。
つまり、ユニタリーで「完全対角化」はできなくても、「上三角化」までは必ずできるのです。
ここに、正規行列との大きな違いがあります。
ジョルダン標準形との違い
対角化可能かどうかは、ジョルダン標準形でも理解できます。
ジョルダンブロックが1×1だけなら対角化可能です。
しかし、そのことと正規性は別問題です。
つまり、
- 対角化可能
- 正規
- ユニタリー対角化可能
は似ているようで異なる概念です。
まとめ
対角化可能だが非正規な行列は、ユニタリー行列では対角化できません。
これは固有ベクトルが直交しないことと深く関係しています。
また、このテーマは行列解析・作用素論・数値線形代数などで体系的に研究されており、Horn & Johnson の『Matrix Analysis』や Trefethen の『Spectra and Pseudospectra』などが代表的文献として知られています。
特に「正規性が失われると何が起こるのか」を学ぶと、スペクトル理論への理解が大きく深まります。
コメント