対称行列

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

を満たすとき対称であるという。相等しい行列の型（次元、サイズ）は相等しいから、対称になれるのは正方行列に限られる。

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

<math>\begin{pmatrix}

1 & 7 & 3\\ 7 & 4 & -5\\ 3 & -5 & 6 \end{pmatrix}</math> は対称である。任意の正方対角行列は、その非対角成分がテンプレート:Math であるから、対称である。同様に、歪対称行列の各対角成分は、自身と符号を変えたものと等しいから、すべてテンプレート:Math でなければならない。

線型代数学において、実対称行列は実内積空間上の自己随伴作用素^[1]を表す。これと、複素内積空間の場合に対応する概念は、複素数を成分に持つエルミート行列（自身の共軛転置行列と一致するような複素行列）である。故に、複素数体上の線型代数学においては、対称行列という言葉は行列が実数に成分をとる場合に限って使うことがしばしばある。対称行列は様々な応用の場面に現れ、典型的な数値線型代数ソフトウェアではこれらに特別な便宜をさいている。

性質

スペクトル論

有限次元のスペクトル定理によれば、任意の実対称行列は直交行列によって対角化可能である。即ち、各実対称行列 A に対し、実直交行列 Q が存在して、テンプレート:Math が対角行列となるようにすることができる。従って、任意の対称行列は適当な正規直交基底に関する（同値の違いを除いて）対角行列である。言い換えれば、テンプレート:Math 実行列 A が対称となる必要十分条件は、A の固有ベクトルの全体がテンプレート:Math の正規直交基底となることである。

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

複素対称行列はユニタリ行列によって対角化される。即ち、複素対称行列 A に対しユニタリ行列 U が存在してテンプレート:Math が対角行列となるようにすることができる。このことは「オートン高木分解」とも呼ばれ、もとはレオン・オートンテンプレート:Harv と高木貞治テンプレート:Harv がそれぞれ証明し、その後さまざまな数学者によって異なる証明を以って再発見された^[2]^[3]。実は行列 B = A^∗ A はエルミートかつ非負であり、ユニタリ行列 V によって非負実数を成分とする対角行列テンプレート:Math が得られる。従って、テンプレート:Math は C^∗ C が実であるような複素対角行列になる。実対称行列 X, Y を用いて C = X + iY と置けばテンプレート:Math となるから、テンプレート:Math を得る。X と Y が可換ゆえ、実直交行列 W が存在してテンプレート:Math がともに対角行列となるようにすることができる。そこでテンプレート:Math と置けば、行列 UAU^T は対角行列になる。U に右から対角行列を掛けることにより対角成分を正にすることができる。各対角成分の平方はテンプレート:Math の固有値であり、A の特異値と一致する。

行列演算と対称性

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

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

対称成分

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

<math> \mbox{Mat}_n = \mbox{Sym}_n \oplus \mbox{Skew}_n</math>

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

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

自己随伴性

テンプレート:Math の標準内積をテンプレート:Math と書けば、テンプレート:Math 実行列 A が対称となる必要十分条件は

<math>\langle Ax,y \rangle = \langle x, Ay\rangle \quad (\forall x,y\in\mathbb{R}^n)</math>

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

その他

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

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

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

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

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

任意の複素対称行列 A は対角化可能、さらに言えばテンプレート:仮リンクが、ユニタリ行列 Q を用いた簡単な形

<math>A = Q \Lambda Q^{\top}</math>

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

<math>\lambda_1 \langle x,y \rangle = \langle Ax, y \rangle = \langle x, Ay \rangle = \lambda_2 \langle x, y \rangle</math>

ゆえ、テンプレート:Math ならばテンプレート:Math となり矛盾するからテンプレート:Math である。

二次形式とヘッセ行列

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

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

<math>q(x_1,\ldots,x_n)=\sum_{i=1}^n \lambda_i x_i^2</math>

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

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

<math>f(\mathbf{x}+\Delta\mathbf{x})\approx f(\mathbf{x}) + J(\mathbf{x})\Delta \mathbf{x} +\frac{1}{2} \Delta\mathbf{x}^\mathrm{T} H(\mathbf{x}) \Delta\mathbf{x}</math>

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

対称化可能行列

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

<math>a_{ij} = 0 \implies a_{ji}=0\qquad (1 \le \forall i \le \forall j \le n)</math>
<math>a_{i_1i_2} a_{i_2i_3}\dots a_{i_ki_1} = a_{i_2i_1} a_{i_3i_2}\dots a_{i_1i_k}\qquad \forall(i_1, i_2, \dots, i_k)</math>

をともに満たすことである。

注記

テンプレート:Reflist

参考文献

テンプレート:Citation

外部リンク

↑ テンプレート:Cite book

↑ テンプレート:Harvnb

↑ See:

↑ テンプレート:Cite journal