正規行列のソースを表示

[[数学]]の特に[[線型代数学]]において'''正規行列'''（せいきぎょうれつ、{{lang-en-short|''normal matrix''}}）は、[[複素数]]に成分をとる[[正方行列]]であって、自身の[[随伴行列|エルミート共軛]]と可換となるような行列を言う。式で書けば、複素正方行列 {{math|''A''}} が'''正規'''であるとは、
: <math>A^*A=AA^*</math>
が成り立つことを言う。ただし、{{math|''A''}} の[[随伴行列|共軛転置]]を {{math|''A''<sup>∗</sup>}} で表した。

成分が[[実数]]の行列 {{math|''A''}} に対しては {{math|''A''<sup>∗</sup> {{=}}''A''<sup>T</sup>}} が成り立つから、それが正規であるのは {{math|''A''<sup>T</sup>''A'' {{=}} ''AA''<sup>T</sup>}} が成り立つときである。

正規性に対しては、[[対角化|対角化可能性]]を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが[[対角行列]]と[[行列の相似|ユニタリ行列に関して相似]]となることである。即ち、{{math|''A''<sup>∗</sup>''A'' {{=}} ''AA''<sup>∗</sup>}} を満たす任意の行列 {{math|''A''}} は対角化可能である。

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

== 特別な場合 ==
複素行列の中でも[[ユニタリ行列]]、[[エルミート行列]]、[[歪エルミート行列]]はすべて正規であり、実行列の場合に[[直交行列]]、[[対称行列]]、[[歪対称行列]]はいずれも正規である。しかし全ての正規行列がこれらのうちの何れかに分類されるというわけではない。例えば行列
: <math>A = \begin{bmatrix} 1 & 1 & 0 \\ 0 & 1 & 1 \\ 1 & 0 & 1 \end{bmatrix}</math>
は正規だが、ユニタリでもエルミートでも歪エルミートでもない。

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

''A'' が[[三角行列]]でも正規行列でもあるならば、{{math|''A''}} は[[対角行列]]である。これは ''A'' が三角でも正規でもあるときの {{math|''A''<sup>∗</sup>''A''}} および {{math|''AA''<sup>∗</sup>}} の対角成分をみればわかる。具体的に {{math|''A''}} を上半三角として、{{math|''A''<sup>∗</sup>''A''}} および {{math|''AA''<sup>∗</sup>}} は任意の対角成分が等しいから、第 1-行のノルムと第 1-列のノルムは等しく
:<math>||A e_1||^2 = ||A^* e_1||^2</math>
が成り立つ。故に第 1-行と第 1-列の成分は等しく、第 1-列の 2 番目から ''n'' 番目までの項は（上半三角だから）0 であり、従って第 1-行もそうである。同じことを 2 番目から ''n'' 番目までの行と列の組に対して行えば ''A'' が対角行列となることがわかる。

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

; スペクトル定理 : 行列 {{math|''A''}} が正規であるための必要十分条件は、それが対角行列 {{math|&Lambda;}} と[[ユニタリ行列]] {{math|''U''}} により、<div style="margin: 1ex 2em"><math>
 \mathbf{A} = \mathbf{U} \mathbf{\Lambda} \mathbf{U}^* 
</math></div>なる形に書けることである。ただし、対角行列 {{math|&Lambda;}} の各成分 {{math|&lambda;}} は {{math|''A''}} の固有値であり、{{math|''U''}} の各列は {{math|''A''}} の固有ベクトルで与えられ、{{math|&Lambda;}} の対角線上に並ぶ固有値の順番と {{math|''U''}} の列に並ぶ固有ベクトルの順番は対応する。

スペクトル定理を別な形で述べれば、正規行列は {{math|'''C'''<sup>''n''</sup>}} の適当な[[正規直交基底]]に関して対角行列として表されるような行列である。あるいは、行列が正規となる必要十分条件は、その固有空間が {{math|'''C'''<sup>''n''</sup>}} を生成し、かつ各固有空間はどの二つも {{math|'''C'''<sup>''n''</sup>}} の標準内積に関して直交することである。

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

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

一般に二つの正規行列の和や積は必ずしも正規でないが、{{math|''A''}} および {{math|''B''}} が正規で {{math|''AB'' {{=}} ''BA''}} を満たす特別の場合には {{math|''AB''}} も {{math|''A'' + ''B''}} も正規である。さらに言えば、この二つの行列は{{仮リンク|同時対角化可能|en|simultaneously diagonalizable}}、すなわち  {{math|''A''}} と {{math|''B''}} は同じユニタリ行列 {{math|''U''}} によって {{math|''UAU''<sup>∗</sup>}} および {{math|''UBU''<sup>∗</sup>}} がともに対角行列となるようにすることができる。この特別の場合において、{{math|''U''<sup>∗</sup>}} の列ベクトルは {{math|''A''}} と {{math|''B''}} に共通の固有ベクトルで {{math|'''C'''<sup>''n''</sup>}} の正規直交基底をなすものからなる。このことは、代数閉体上で{{仮リンク|行列の交換性|en|commuting matrices|label=交換可能}}な行列が{{仮リンク|同時三角化可能|en|simultaneously triangularizable}}であることと、正規行列が対角化可能なことを組み合わせれば従う。

== 同値な定義 ==
正規行列を定義する条件には互いに同値な命題が非常にたくさん知られている。{{math|''A''}} を {{math|''n''&times;''n''}} 複素行列とすると、以下は何れも同値である。
# ''A'' は正規である。
# ''A'' はユニタリ行列で対角化可能。
# ''A'' の固有ベクトルからなる正規直交系により全体空間が生成される。{{citation needed|date=January 2013}}
# 任意の {{math|''x''}} に対して {{math|ǁ''Tx''ǁ {{=}} ǁ''T''<sup>∗</sup>''x''ǁ}} が成り立つ。
# <math>\operatorname{tr} (A^* A) = \sum_j^n |\lambda_j|^2 </math> (つまり {{math|''A''}} の[[フロベニウスノルム]]は {{math|''A''}} の固有値から計算できる。)
# {{math|''A''}} の[[エルミート行列|エルミート]]成分 {{math|(1/2)(''A'' + ''A''<sup>∗</sup>)}} と[[歪エルミート行列|歪エルミート]]成分 {{math|(1/2)(''A'' &minus; ''A''<sup>∗</sup>)}} は交換可能。
# {{math|''A''<sup>∗</sup>}} は {{math|''A''}} の（{{math|次数 ≤ ''n'' − 1}} の）多項式に書ける<ref group="注釈">証明: 
{{math|''A''}} が正規のとき、{{math|''A''}} の固有値 {{math|&lambda;<sub>''j''</sub>}} に対して {{math|{{overline|&lambda;}}<sub>''j''</sub> {{=}} ''P''(&lambda;<sub>''j''</sub>)}} を満たす多項式 {{math|''P''}} を[[ラグランジュ補間|ラグランジュ補間多項式]]を用いて構築すればよい。</ref>
# 適当なユニタリ行列 {{math|''U''}} を用いて {{math|''A''<sup>∗</sup> {{=}} ''AU''}} と書ける<ref>Horn, pp. 109</ref>。
# ユニタリ行列 {{math|''U''}} と[[正定値行列]] {{math|''P''}} を用いて{{仮リンク|極分解|en|polar decomposition}} {{math|''A'' {{=}} ''UP''}} を考えたとき、{{math|''U''}} と {{math|''P''}} は交換可能である。
# {{math|''A''}} は相異なる固有値を持つ適当な正規行列 {{math|''N''}} と交換可能である。
# {{math|''A''}} が {{math|&sigma;<sub>1</sub>(''A'') &ge; … &ge; &sigma;<sub>''n''</sub>(''A'')}} なる[[特異値]] {{math|&sigma;<sub>''i''</sub>}} と {{math|{{!}}&lambda;<sub>1</sub>(''A''){{!}} &ge; … &ge; {{!}}&lambda;<sub>''n''</sub>(''A''){{!}}}} なる固有値 {{math|&lambda;<sub>''i''</sub>}} を持つとき、各 {{math|''i'' {{=}} 1, …, ''n''}} に対して {{math|&sigma;<sub>''i''</sub>(''A'') {{=}} {{!}}&lambda;<sub>''i''</sub>(''A''){{!}}}}が成り立つ<ref name=book>{{Cite book|title=Topics in Matrix Analysis|first1=Roger A.|last1=Horn|first2=Charles R.|last2=Johnson|publisher=Cambridge University Press|year=1991|isbn=978-0-521-30587-7|page=157}}</ref>。

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

正規行列 {{math|''N''}} の作用素ノルムは {{math|''N''}} の{{仮リンク|数域半径|en|numerical radius}}および[[スペクトル半径]]に等しい（この事実は[[正規作用素]]に対して一般化できる）。これを明示的に書けば、
:<math>\sup_{ \|x\|=1 } \|Nx\| =  \sup_{ \|x\|=1 } |\langle Nx, x \rangle| = \max \{ |\lambda| : \lambda \in \sigma(N) \}</math>
が成り立つということである。

== 類似対応 ==
各種の正規行列の間の関係性を各種の複素数の間の関係性との類似として考えることは、折々有用（だがたまに誤解を生む）である。
* [[正則行列]]は非零[[複素数]]の類似である。
* [[随伴行列|エルミート共軛]]は[[複素共軛]]の類似である。
* [[ユニタリ行列]]は[[絶対値]] {{math|1}} の複素数の類似である。
* [[エルミート行列]]は[[実数]]の類似である。
* エルミートな[[正定値行列]]は正実数の類似である。
* [[歪エルミート行列]]は[[純虚数]]の類似である。

特別の場合として、複素数の全体は {{math|2&times;2}} 実正規行列の環に
: <math>a+bi \mapsto \begin{bmatrix}a&b\\-b&a\end{bmatrix}</math>
で加法と乗法を保って埋め込むことができる。この埋め込みによって上記の類似性の全てが実現されることを見るのは難しくない。

== 脚注 ==
{{脚注ヘルプ}}
=== 注釈 ===
{{Notelist}}
=== 出典 ===
{{reflist}}

== 参考文献 ==
* {{Citation | last1=Horn | first1=Roger A. | last2=Johnson | first2=Charles R. | title=Matrix Analysis | publisher=[[Cambridge University Press]] | isbn=978-0-521-38632-6 | year=1985}}.

== 外部リンク ==
* {{MathWorld|urlname=NormalMatrix|title=Normal Matrix}}
* {{PlanetMath|urlname=NormalMatrix|title=normal matrix}}

{{Linear algebra}}

{{DEFAULTSORT:せいききようれつ}}
[[Category:行列]]
[[Category:数学に関する記事]]