正規行列

数学の特に線型代数学において正規行列（せいきぎょうれつ、テンプレート:Lang-en-short）は、複素数に成分をとる正方行列であって、自身のエルミート共軛と可換となるような行列を言う。式で書けば、複素正方行列 テンプレート:Math が正規であるとは、

$A^{*}A=A{A}^{*}$

が成り立つことを言う。ただし、テンプレート:Math の共軛転置を テンプレート:Math で表した。

成分が実数の行列 テンプレート:Math に対しては テンプレート:Math が成り立つから、それが正規であるのは テンプレート:Math が成り立つときである。

正規性に対しては、対角化可能性を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが対角行列とユニタリ行列に関して相似となることである。即ち、テンプレート:Math を満たす任意の行列 テンプレート:Math は対角化可能である。

正規行列の概念は無限次元ヒルベルト空間上の正規作用素の概念、および C^∗-環における正規元の概念に拡張することができる。行列の場合には正規性は可換性を保つが、非可換な状況に置いても拡張は可能である。これにより、正規作用素や C^∗-環の正規元は、より解析学と馴染む。

特別な場合

複素行列の中でもユニタリ行列、エルミート行列、歪エルミート行列はすべて正規であり、実行列の場合に直交行列、対称行列、歪対称行列はいずれも正規である。しかし全ての正規行列がこれらのうちの何れかに分類されるというわけではない。例えば行列

$A=\left[\begin{array}{ccc}1& 1& 0\\ 0& 1& 1\\ 1& 0& 1\end{array}\right]$

は正規だが、ユニタリでもエルミートでも歪エルミートでもない。

二つの正規行列の和や積は必ずしも正規ではないが、その二つが可換であるときには正規になる。

A が三角行列でも正規行列でもあるならば、テンプレート:Math は対角行列である。これは A が三角でも正規でもあるときの テンプレート:Math および テンプレート:Math の対角成分をみればわかる。具体的に テンプレート:Math を上半三角として、テンプレート:Math および テンプレート:Math は任意の対角成分が等しいから、第 1-行のノルムと第 1-列のノルムは等しく

$||A{e}_1|{|}^2=||A^{*}{e}_1|{|}^2$

が成り立つ。故に第 1-行と第 1-列の成分は等しく、第 1-列の 2 番目から n 番目までの項は（上半三角だから）0 であり、従って第 1-行もそうである。同じことを 2 番目から n 番目までの行と列の組に対して行えば A が対角行列となることがわかる。

スペクトル論

正規性の概念の重要性は、正規行列がスペクトル定理にはっきりとかかっている行列であるということにある。

スペクトル定理

行列 テンプレート:Math が正規であるための必要十分条件は、それが対角行列 テンプレート:Math とユニタリ行列 テンプレート:Math により、

$𝐀=𝐔\mathrm{\Lambda }{𝐔}^{*}$

なる形に書けることである。ただし、対角行列 テンプレート:Math の各成分 テンプレート:Math は テンプレート:Math の固有値であり、テンプレート:Math の各列は テンプレート:Math の固有ベクトルで与えられ、テンプレート:Math の対角線上に並ぶ固有値の順番と テンプレート:Math の列に並ぶ固有ベクトルの順番は対応する。

スペクトル定理を別な形で述べれば、正規行列は テンプレート:Math の適当な正規直交基底に関して対角行列として表されるような行列である。あるいは、行列が正規となる必要十分条件は、その固有空間が テンプレート:Math を生成し、かつ各固有空間はどの二つも テンプレート:Math の標準内積に関して直交することである。

正規行列に対するスペクトル定理は、より一般の任意の正方行列に対する結果であるシューア分解の特別な場合と見ることができる。実は、テンプレート:Math が正方行列ならば、シューア分解により上半三角行列 テンプレート:Math にユニタリ相似となる。テンプレート:Math が正規の場合には、先に述べたように正規な上半三角行列は対角行列ゆえ、テンプレート:Math は対角行列でなければならない。

スペクトル定理により、正規行列をそのスペクトルによって分類するということができる。例えば、正規行列がユニタリであるための必要十分条件は、そのスペクトルがガウス平面上の単位円に含まれることである。あるいは、正規行列が自己随伴であるための必要十分条件は、そのスペクトルが実数直線上にあることである。

一般に二つの正規行列の和や積は必ずしも正規でないが、テンプレート:Math および テンプレート:Math が正規で テンプレート:Math を満たす特別の場合には テンプレート:Math も テンプレート:Math も正規である。さらに言えば、この二つの行列はテンプレート:仮リンク、すなわち テンプレート:Math と テンプレート:Math は同じユニタリ行列 テンプレート:Math によって テンプレート:Math および テンプレート:Math がともに対角行列となるようにすることができる。この特別の場合において、テンプレート:Math の列ベクトルは テンプレート:Math と テンプレート:Math に共通の固有ベクトルで テンプレート:Math の正規直交基底をなすものからなる。このことは、代数閉体上でテンプレート:仮リンクな行列がテンプレート:仮リンクであることと、正規行列が対角化可能なことを組み合わせれば従う。

同値な定義

正規行列を定義する条件には互いに同値な命題が非常にたくさん知られている。テンプレート:Math を テンプレート:Math 複素行列とすると、以下は何れも同値である。

1. A は正規である。
2. A はユニタリ行列で対角化可能。
3. A の固有ベクトルからなる正規直交系により全体空間が生成される。テンプレート:Citation needed
4. 任意の テンプレート:Math に対して テンプレート:Math が成り立つ。
5. $\mathrm{tr}(A^{*}A)=\sum _j^n|{\lambda }_j{|}^2$ (つまり テンプレート:Math のフロベニウスノルムは テンプレート:Math の固有値から計算できる。)
6. テンプレート:Math のエルミート成分 テンプレート:Math と歪エルミート成分 テンプレート:Math は交換可能。
7. テンプレート:Math は テンプレート:Math の（テンプレート:Math の）多項式に書ける
8. 適当なユニタリ行列 テンプレート:Math を用いて テンプレート:Math と書ける。
9. ユニタリ行列 テンプレート:Math と正定値行列 テンプレート:Math を用いてテンプレート:仮リンク テンプレート:Math を考えたとき、テンプレート:Math と テンプレート:Math は交換可能である。
10. テンプレート:Math は相異なる固有値を持つ適当な正規行列 テンプレート:Math と交換可能である。
11. テンプレート:Math が テンプレート:Math なる特異値 テンプレート:Math と テンプレート:Math なる固有値 テンプレート:Math を持つとき、各 テンプレート:Math に対して テンプレート:Mathが成り立つ。

上記の全てではないがいくつかは無限次元ヒルベルト空間上の正規作用素に対しても一般化される。例えば、上記の極分解に関する条件を満足する有界作用素は準正規作用素であることまでしか言えない。

正規行列 テンプレート:Math の作用素ノルムは テンプレート:Math のテンプレート:仮リンクおよびスペクトル半径に等しい（この事実は正規作用素に対して一般化できる）。これを明示的に書けば、

$\underset{\Vert x\Vert =1}{\sup }\Vert Nx\Vert =\underset{\Vert x\Vert =1}{\sup }|⟨Nx,x⟩|=\max \{|\lambda |:\lambda \in \sigma (N)\}$

が成り立つということである。

類似対応

各種の正規行列の間の関係性を各種の複素数の間の関係性との類似として考えることは、折々有用（だがたまに誤解を生む）である。

• 正則行列は非零複素数の類似である。
• エルミート共軛は複素共軛の類似である。
• ユニタリ行列は絶対値 テンプレート:Math の複素数の類似である。
• エルミート行列は実数の類似である。
• エルミートな正定値行列は正実数の類似である。
• 歪エルミート行列は純虚数の類似である。

特別の場合として、複素数の全体は テンプレート:Math 実正規行列の環に

$a+bi\mapsto \left[\begin{array}{cc}a& b\\ -b& a\end{array}\right]$

で加法と乗法を保って埋め込むことができる。この埋め込みによって上記の類似性の全てが実現されることを見るのは難しくない。

参考文献

• テンプレート:Citation.

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath