交代行列

出典: フリー百科事典『ウィキペディア(Wikipedia)』
移動: 案内検索

線型代数学において、交代行列(こうたいぎょうれつ、: alternative matrix)、歪対称行列(わいたいしょうぎょうれつ、: skew-symmetric matrix)または反対称行列(はんたいしょうぎょうれつ、: antisymmetric matrix, antimetric matrix[1])は、正方行列 A であってその転置 AT が自身の −1 倍となるものをいう。すなわち、転置に対して反対称性を持つ行列は交代行列である。交代行列とは逆に、転置に対して対称な行列は対称行列と呼ばれる。

交代行列と類似の反対称性を持つ行列として、歪エルミート行列がある。これはエルミート共役(転置複素共役)に対して反対称である。また、エルミート共役に対して対称な行列はエルミート行列と呼ばれる。実数の行列に対してはエルミート共役も転置も同じ操作になるので、実交代行列は実歪エルミート行列でもある。

交代行列は自身の転置が行列の加法における逆元になるものをいうが、自身の転置が乗法の逆元、すなわち逆行列になる行列を直交行列という。また、エルミート共役が逆行列になる行列をユニタリー行列という。

定義[編集]

交代行列 A は次の関係を満たす。

A^\mathrm{T}=-A.

成分を用いて表せば、交代行列 A = (aij) は以下のように表される。

a_{ij}=-a_{ji} \mbox{ for all } i,j.

行列が上述の性質を持つとき、その行列は歪対称的skew-symmetric)あるいは交代的 (alternative) であるという。

[編集]

例えば次の行列

\begin{pmatrix}
0 & 2 & -1 \\
-2 & 0 & -4+i \\
1 & 4-i & 0\end{pmatrix}

は交代的である。

性質[編集]

交代行列の和およびスカラー倍は再び交代的である。したがって、交代行列の全体はベクトル空間を成す。n-次交代行列全体の成すベクトル空間の次元は n(n − 1)/2 であり、通常の位相を備えた Rn2 あるいは線型代数群 GLn の閉部分空間を成す。

任意の正方行列 M に対し、

  • その交代成分あるいは歪対称成分 (skew-symmetric component) とは
A = \frac{1}{2}(M-M^\mathrm{T})

で与えられる交代行列のことである (AT = 1/2(MTM) = −A)。

  • 同様に対称成分 (symmetric component)
S = \frac{1}{2}(M+M^\mathrm{T})

で与えられる対称行列をいう (ST = 1/2(MT + M) = S)。

  • 行列 M はその対称成分と交代成分の和に表すことができる。
M = S + A.

これらの成分は一般に基底の直交変換の違いを除いて一意的に定まる。

A が交代的ならば、任意の実ベクトル x に対して xTAx = 0 が成り立つ。実際、xTAx はスカラー値ゆえ転置と自身とが一致するが、同時に積の転置法則と A の交代性から

x^\mathrm{T}Ax = (x^\mathrm{T}Ax)^\mathrm{T} = x^\mathrm{T}A^\mathrm{T}x = -x^\mathrm{T}Ax

が成り立つ。またこの逆も成り立つ。実際、A が交代的でないならばその対称成分が 0 でない固有値 λ を持ち、λ に属する正規化された固有ベクトルを v とすれば vTAv = λ が成立する。

交代行列の対角成分は全て 0 であり、したがって0 となる。

交代行列の行列式[編集]

An × n 交代行列とすると、A行列式

\det(A) = \det(A^\mathrm{T}) = \det(-A) = (-1)^n\det(A)

を満足する。特に n が奇数ならばこれは 0 に等しい。この結果はカール・グスタフ・ヤコビに因んでヤコビの定理と呼ばれる[2]

偶数次元の場合はもっと興味深い結果がある。次数 n が偶数であるときの A の行列式は A の成分に関する多項式の完全平方式

\det(A) = \operatorname{Pf}(A)^2

として書くことができる(トーマス・ミューア英語版による)。ここで現われた多項式 Pf(A)Aパフ多項式あるいはパフィアン (Pfaffian) と呼ばれる。ゆえに、実交代行列の行列式は常に非負である。

スペクトル論[編集]

交代行列の固有値は常に ± λ のような対として得られる(奇数次の場合に、0 を固有値に加えて考えることもあるが、ここでは除いている)。実交代行列の非零固有値はすべて純虚数であり、それらを ± 1, ± 2, …(各 λk は実数)の形に書くことができる。

実交代行列は正規行列(つまり、自身の随伴可換)であり、それゆえスペクトル論の対象として任意の実交代行列がユニタリ行列によって対角化可能であることを述べることができる。実交代行列の固有値は複素数となるから実行列によって対角化することはできないが、それでも適当な直交変換によって区分対角化することができる。特に、任意の 2n-次交代行列は直交行列 Q と行列

\Sigma = \begin{bmatrix}
\begin{matrix}0 & \lambda_1\\ -\lambda_1 & 0\end{matrix} &  0 & \cdots & 0 \\
0 & \begin{matrix}0 & \lambda_2\\ -\lambda_2 & 0\end{matrix} &  & 0 \\
\vdots &  & \ddots & \vdots \\
0 & 0 & \cdots & \begin{matrix}0 & \lambda_r\\ -\lambda_r & 0\end{matrix} \\
& & & & \begin{matrix}0 \\ & \ddots \\ & & 0 \end{matrix}
\end{bmatrix}

(ただし、λk は実数)を用いて A = QΣQT の形に書くことができる。ここで直交行列とは QT = Q−1 を満たす行列 Q のことである。行列 Σ の非零固有値は ± k である。奇数次の場合には、Σ は必ず少なくとも一つの行か列が全て 0 になる。

交代形式[編集]

標数2 でない) K 上のベクトル空間 V 上の交代形式(こうたいけいしき、alternating formφ とは、双線型形式

\phi : V \times V \to K

であって、交代性

\phi(v, w) = -\phi(w, v)

を満たすものをいう。交代形式 φ は交代行列 A を用いて φ(v, w) = vTAw の形に書くことができる。V基底をひとつ固定すれば、逆に Kn 上の n-次交代行列 AxxTAx に写す交代形式を定める。

無限小回転[編集]

交代行列の全体は、直交群英語版 O(n)単位元における接空間を成す。この意味で、交代行列を無限小回転 (infinitesimal rotations) と考えることができる。別な言い方をすれば、交代行列全体の成すベクトル空間はリー群 O(n) に付随するリー環 o(n) に一致する。この空間におけるリー括弧積は交換子

[A,B] = AB - BA

で与えられる。二つの交代行列から得られる交換子がふたたび交代行列となることを確かめるのは難しくない。

交代行列 A行列指数函数

R=\exp(A)=\sum_{n=0}^\infty \frac{A^n}{n!}

直交行列である。リー環の指数写像英語版の像は常に対応するリー群の単位元を含む連結成分に含まれる。リー群 O(n) の場合にはこの連結成分は行列式が 1 の直交群全体の成す特殊直交群 SO(n) である。ゆえに R = exp(A) の行列式は +1 であり、行列式が 1 の直交行列はすべて交代行列の指数函数として書けることがわかる。

関連項目[編集]

脚注[編集]

参考文献[編集]

外部リンク[編集]