対称行列

線型代数学における対称行列（たいしょうぎょうれつ、テンプレート:Lang-en-short）は、自身の転置行列と一致するような正方行列を言うテンプレート:Sfn。記号で書けば、行列 A は

$A=A^{\mathrm{\top }}$

を満たすとき対称であるという。任意の正方行列は対称行列と相似であるテンプレート:Sfn。

定義により、対称行列の成分は主対角線に関して対称である。即ち、成分に関して行列 テンプレート:Math は任意の添字 テンプレート:Math に関して テンプレート:Math を満たす。例えば、次の テンプレート:Math 次正方行列

$\left[\begin{array}{ccc}1& 7& 3\\ 7& 4& -5\\ 3& -5& 6\end{array}\right]$

は対称である。任意の正方対角行列は、その非対角成分が テンプレート:Math であるから、対称である。同様に、歪対称行列（テンプレート:Math なる行列）の各対角成分は、自身と符号を変えたものと等しいから、すべて テンプレート:Math でなければならない。

実対称行列が実内積空間上の適当な正規直交基底に対して定める線形作用素は対称作用素（自己随伴作用素）であるテンプレート:Sfn。複素内積空間の場合に対応する概念は、複素数を成分に持つエルミート行列（自身の共役転置行列と一致するような複素行列）である。故に、複素数体上の線型代数学においては、対称行列という言葉は行列が実数に成分をとる場合に限って使うことがしばしばある。対称行列は様々な応用の場面に現れ、典型的な数値線型代数ソフトウェアではこれらに特別な便宜をさいている。

性質

実対称行列の対角化

有限次元のスペクトル定理によれば、任意の実対称行列は直交行列によって対角化可能である。更に、実正方行列 テンプレート:Mvar が対称であるのは

$D=Q^{T}AQ$

が実対角行列となる実直交行列 テンプレート:Mvar が存在するとき、かつそのときに限ることが知られているテンプレート:Sfn。従って、任意の対称行列は適当な正規直交基底に関する（同値の違いを除いて）対角行列である。言い換えれば、テンプレート:Mvar 次実正方行列 テンプレート:Mvar が対称となる必要十分条件は、テンプレート:Mvar の固有ベクトルの全体が テンプレート:Math の正規直交基底となることである。

任意の実対称行列は、複素行列と見てエルミートであり、従ってその全ての固有値は実数である（コーシー 1829）。実はこれら固有値は、その行列の対角化（上で述べた テンプレート:Mvar）の成分であり、従って テンプレート:Mvar は テンプレート:Mvar によって（成分を並べる順番を除いて）一意に決定される。本質的に、実行列が対称であるという性質は複素行列がエルミートであるという性質に対応する。

複素対称行列のオートン高木分解

複素対称行列テンプレート:Mathのジョルダン標準形は一般には対角行列にならず、それゆえテンプレート:Mathは対角化可能であるとは限らない。しかし複素対称行列はユニタリ行列によって「対角化」される。即ち、複素対称行列 テンプレート:Mvar に対しユニタリ行列 テンプレート:Mvar が存在して テンプレート:Math が非負の実対角行列となるようにできる。このことは「オートン高木分解」とも呼ばれ、もとはレオン・オートン テンプレート:Harv と高木貞治 テンプレート:Harv がそれぞれ証明し、その後さまざまな数学者によって異なる証明によって再発見されたテンプレート:Sfn。

実際、行列 テンプレート:Math はエルミートかつ半正定値であり、ユニタリ行列 テンプレート:Mvar によって非負実数を成分とする対角行列 テンプレート:Math が得られる。従って、テンプレート:Math は テンプレート:Math が実行列であるような複素対称行列になる。実対称行列 テンプレート:Mvar, テンプレート:Mvar を用いて テンプレート:Math と置けば テンプレート:Math となるから、テンプレート:Math を得る。テンプレート:Mvar と テンプレート:Mvar が可換ゆえ、実直交行列 テンプレート:Mvar が存在して テンプレート:Math がともに対角行列となるようにすることができる（同時対角化）。そこで テンプレート:Math （これはユニタリ行列）と置けば、行列 テンプレート:Math は複素対角行列になる。テンプレート:Mvar に左から適当な対角かつユニタリな行列を掛けることにより（これは テンプレート:Math のユニタリ性を保存する）対角成分を非負実数にすることができる。複素対角行列は $UA{U}^{\mathrm{T}}=\mathrm{diag}(r_1{e}^{i{\theta }_1},r_2{e}^{i{\theta }_2},\dots ,r_n{e}^{i{\theta }_n})$ と表すことができ、適した行列は $D=\mathrm{diag}(e^{-i{\theta }_1/2},e^{-i{\theta }_2/2},\dots ,e^{-i{\theta }_n/2})$ で与えられる。明らかに $DUA{U}^{\mathrm{T}}D=\mathrm{diag}(r_1,r_2,\dots ,r_n)$は求める行列で、よって $U^{\prime }=DU$ と置きなおせばいい。

各対角成分の平方は テンプレート:Math の固有値であり、テンプレート:Mvar の特異値に一致する。

行列演算と対称性

二つの対称行列の和と差はやはり対称となるが、積は必ずしもそうではない。対称行列 A, B の積 AB が対称となるのは A と B とが可換 (テンプレート:Math) となるときであり、かつそのときに限る。故に任意の整数 n に対し冪 Aⁿ は A が対称のとき対称である。A, B が可換な テンプレート:Mvar 次実対称行列ならば A, B 双方の固有ベクトルとなるようなベクトルからなる テンプレート:Math の基底が存在する。

逆行列 A⁻¹ が存在するとき、それが対称となることと、A が対称であることとは同値である。

対称成分

テンプレート:Mvar 次正方行列全体の成す空間を テンプレート:Math と書くことにする。テンプレート:Mvar 次対称行列は主対角線およびそれよりも上側にある テンプレート:Math 個のスカラーで決まり、同様に歪対称行列も主対角線よりも上にある テンプレート:Math 個のスカラーで決定される。テンプレート:Mvar 次対称行列全体の成す空間 テンプレート:Math およびテンプレート:Mvar 次歪対称行列全体の成す空間 テンプレート:Math に対して テンプレート:Math および テンプレート:Math が成り立つから、すなわち直和分解

${\text{Mat}}_n={\text{Sym}}_n\oplus {\text{Skew}}_n$

が成立する。実際、テンプレート:Math に対して

$X=\frac{1}{2}(X+X^{\mathrm{\top }})+\frac{1}{2}(X-X^{\mathrm{\top }})$

と書けば、テンプレート:Math かつ テンプレート:Math は一意に定まる。このことは標数が テンプレート:Math でない任意の体に成分をとる任意の正方行列 X について成立する。

自己随伴性

テンプレート:Math の標準内積を テンプレート:Math と書けば、テンプレート:Mvar 次実正方行列 A が対称となる必要十分条件は行列 A の定める双線型形式が対称であること、つまり

$⟨Ax,y⟩=⟨x,Ay⟩(\mathrm{\forall }x,y\in {𝐑}^n)$

が成り立つことである。この条件は基底の取り方とは無関係であるから、行列の対称性は A の定める線型作用素と内積のみによって決まる性質である。この特徴付けは有用で、例えば微分幾何学において可微分多様体の各接空間の内積からくる計量を持つリーマン多様体においても対称性を考えることができる。あるいはヒルベルト空間においても同様の定式化は利用できる。

その他

• 対称行列に合同な任意の行列はそれ自身対称である。すなわち、X が対称ならば任意の正方行列 A に対して AXA^T は対称である。
• 対称行列は正規行列である。

対称行列に関連する行列の各種分解

テンプレート:Main ジョルダン標準形を用いると、任意の実正方行列が二つの実対称行列の積として書けることや任意の複素正方行列が二つの複素対称行列の積に書けることが証明できる。なお、任意のジョルダン標準形に対してそれをジョルダン標準形に持つ複素対称行列が存在する。

任意の実正則行列は、直交行列と対称正定値行列の積として一意に分解することができ、テンプレート:仮リンクと呼ばれる。特異行列も同様の分解を持つが一意ではない。

コレスキー分解は任意の実正定値対称行列 A が下半三角行列 L とその転置である上半三角行列との積 テンプレート:Math に書けることを述べる。行列が不定符号でも（テンプレート:仮リンクから生じる）置換行列 P を用いて テンプレート:Math なる形に分解することができる（ただし、T は対称三重対角行列である）テンプレート:Sfn。

任意の複素対称行列 A は対角化が可能で、さらに言うと固有分解が、ユニタリ行列 Q を用いた簡単な形

$A=Q\mathrm{\Lambda }{Q}^{\mathrm{\top }}$

で成立する。ここで A が実行列ならば Q は（A の固有ベクトルを列ベクトルとする）実直交行列で、Λ は（対角線に A の固有値が並ぶ）実対角行列になる。直交性を見るために、x, y がそれぞれ相異なる固有値 テンプレート:Math に属する固有ベクトルとすれば

${\lambda }_1⟨x,y⟩=⟨Ax,y⟩=⟨x,Ay⟩={\lambda }_2⟨x,y⟩$

ゆえに、テンプレート:Math ならば テンプレート:Math である。

二次形式とヘッセ行列

テンプレート:Main テンプレート:Mvar 次実対称行列は、例えば実 n 変数の二回連続的微分可能な函数のヘッセ行列として現れるテンプレート:Sfn。

Rⁿ 上の任意の二次形式 q は テンプレート:Mvar 次対称行列 A を用いて テンプレート:Math の形に一意的に表される。上述のスペクトル論から、任意の二次形式は Rⁿ の適当な正規直交基底を選べば、適当な実数 λ_i に対して

$q(x_1,\dots ,x_n)=\sum _{i=1}^n{\lambda }_i{x}_i^2$

なる形に書くことができる（ラグランジュ 1759）。これにより二次形式の、あるいは円錐曲線の一般化としての等位集合 {x : q(x) = 1} の研究は大幅に簡素化される。

任意の多変数可微分函数の二階の振舞いは、テイラーの定理の帰結

$f(𝐱+\mathrm{\Delta }𝐱)\approx f(𝐱)+J(𝐱)\mathrm{\Delta }𝐱+\frac{1}{2}\mathrm{\Delta }{𝐱}^{\mathrm{T}}H(𝐱)\mathrm{\Delta }𝐱$

として、その函数のヘッセ行列に付随する二次形式によって記述されるから、二次形式のスペクトル論はこの場合においてもそれなりに重要である。

対称化可能行列

テンプレート:See also テンプレート:Mvar 次正方行列 A が対称化可能 (symmetrizable) とは、正則対角行列 D および対称行列 S で テンプレート:Nowrap となるものが存在するときに言うテンプレート:Sfn。対称化可能行列の転置も対称化可能であることは、テンプレート:Nowrap からわかるテンプレート:Sfn。行列 テンプレート:Nowrap が対称化可能となる必要十分条件は、以下の条件

• $a_{ij}=0⟹a_{ji}=0(1\le \mathrm{\forall }i\le \mathrm{\forall }j\le n)$
• $a_{i_1{i}_2}{a}_{i_2{i}_3}\dots a_{i_k{i}_1}=a_{i_2{i}_1}{a}_{i_3{i}_2}\dots a_{i_1{i}_k}\mathrm{\forall }(i_1,i_2,\dots ,i_k)$

を共に満たすことであるテンプレート:Sfn。

関連項目

種々の対称行列および別の種類の対称性を持つ行列

• 分散共分散行列
• コクセター行列
• ハンケル行列
• ヒルベルト行列
• 交代行列（歪対称行列、反対称行列）
• 巡回行列
• テンプレート:仮リンク
• テンプレート:仮リンク
• テープリッツ行列

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book

外部リンク

• テンプレート:MathWorld
• テンプレート:PlanetMath
• テンプレート:SpringerEOM
• A brief introduction and proof of eigenvalue properties of the real symmetric matrix