正規行列

数学の特に線型代数学において正規行列（せいきぎょうれつ、）は、複素数に成分をとる正方行列であって、自身のエルミート共軛と可換となるような行列を言う。式で書けば、複素正方行列 が正規であるとは、
が成り立つことを言う。ただし、 の共軛転置を で表した。
成分が実数の行列 に対しては が成り立つから、それが正規であるのは が成り立つときである。
正規性に対しては、対角化可能性を調べるのが便利である。すなわち、行列が正規であるための必要十分条件は、それが対角行列とユニタリ行列に関して相似となることである。即ち、 を満たす任意の行列 は対角化可能である。
正規行列の概念は無限次元ヒルベルト空間上の正規作用素の概念、および"C"∗-環における正規元の概念に拡張することができる。行列の場合には正規性は可換性を保つが、非可換な状況に置いても拡張は可能である。これにより、正規作用素や "C"∗-環の正規元は、より解析学と馴染む。
特別な場合.
複素行列の中でもユニタリ行列、エルミート行列、歪エルミート行列はすべて正規であり、実行列の場合に直交行列、対称行列、歪対称行列はいずれも正規である。しかし全ての正規行列がこれらのうちの何れかに分類されるというわけではない。例えば行列
は正規だが、ユニタリでもエルミートでも歪エルミートでもない。
二つの正規行列の和や積は必ずしも正規ではないが、その二つが可換であるときには正規になる。
"A" が三角行列でも正規行列でもあるならば、 は対角行列である。これは "A" が三角でも正規でもあるときの および の対角成分をみればわかる。具体的に を上半三角として、 および は任意の対角成分が等しいから、第 1-行のノルムと第 1-列のノルムは等しく
が成り立つ。故に第 1-行と第 1-列の成分は等しく、第 1-列の 2 番目から "n" 番目までの項は（上半三角だから）0 であり、従って第 1-行もそうである。同じことを 2 番目から "n" 番目までの行と列の組に対して行えば "A" が対角行列となることがわかる。
スペクトル論.
正規性の概念の重要性は、正規行列がスペクトル定理にはっきりとかかっている行列であるということにある。
スペクトル定理を別な形で述べれば、正規行列は の適当な正規直交基底に関して対角行列として表されるような行列である。あるいは、行列が正規となる必要十分条件は、その固有空間が を生成し、かつ各固有空間はどの二つも の標準内積に関して直交することである。
正規行列に対するスペクトル定理は、より一般の任意の正方行列に対する結果であるシューア分解の特別な場合と見ることができる。実は、 が正方行列ならば、シューア分解により上半三角行列 にユニタリ相似となる。 が正規の場合には、先に述べたように正規な上半三角行列は対角行列ゆえ、 は対角行列でなければならない。
スペクトル定理により、正規行列をそのスペクトルによって分類するということができる。例えば、正規行列がユニタリであるための必要十分条件は、そのスペクトルがガウス平面上の単位円に含まれることである。あるいは、正規行列が自己随伴であるための必要十分条件は、そのスペクトルが実数直線上にあることである。
一般に二つの正規行列の和や積は必ずしも正規でないが、 および が正規で を満たす特別の場合には も も正規である。さらに言えば、この二つの行列は、すなわち と は同じユニタリ行列 によって および がともに対角行列となるようにすることができる。この特別の場合において、 の列ベクトルは と に共通の固有ベクトルで の正規直交基底をなすものからなる。このことは、代数閉体上でな行列がであることと、正規行列が対角化可能なことを組み合わせれば従う。
同値な定義.
正規行列を定義する条件には互いに同値な命題が非常にたくさん知られている。 を 複素行列とすると、以下は何れも同値である。
上記の全てではないがいくつかは無限次元ヒルベルト空間上の正規作用素に対しても一般化される。例えば、上記の極分解に関する条件を満足する有界作用素は準正規作用素であることまでしか言えない。
正規行列 の作用素ノルムは のおよびスペクトル半径に等しい（この事実は正規作用素に対して一般化できる）。これを明示的に書けば、
が成り立つということである。
類似対応.
各種の正規行列の間の関係性を各種の複素数の間の関係性との類似として考えることは、折々有用（だがたまに誤解を生む）である。
特別の場合として、複素数の全体は 実正規行列の環に
で加法と乗法を保って埋め込むことができる。この埋め込みによって上記の類似性の全てが実現されることを見るのは難しくない。