エルミート行列(対称行列)と反エルミート行列(反対称行列)に分解
エルミート行列(対称行列)と反エルミート行列(反対称行列)に分解
すなわち、
\[ A=S+T \] とできる。
表し方は一意的である。
すなわち、
\[ A=S+T \] とできる。
表し方は一意的である。
(1)対称行列・反対称行列
正方行列\(A\)は対称行列\(S\)と反対称行列\(T\)の和で表すことができる。すなわち、
\[ A=S+T \] とできる。
表し方は一意的である。
(2)エルミート行列・反エルミート行列
正方行列\(A\)はエルミート行列\(S\)と反エルミート行列\(T\)の和で表すことができる。すなわち、
\[ A=S+T \] とできる。
表し方は一意的である。
(1)
対称行列と反対称行列に分解\begin{align*} \left(\begin{array}{cc} 1 & 2\\ 4 & 3 \end{array}\right) & =\frac{1}{2}\left(\left(\begin{array}{cc} 1 & 2\\ 4 & 3 \end{array}\right)+\left(\begin{array}{cc} 1 & 2\\ 4 & 3 \end{array}\right)^{T}\right)+\frac{1}{2}\left(\left(\begin{array}{cc} 1 & 2\\ 4 & 3 \end{array}\right)-\left(\begin{array}{cc} 1 & 2\\ 4 & 3 \end{array}\right)^{T}\right)\\ & =\frac{1}{2}\left(\left(\begin{array}{cc} 1 & 2\\ 4 & 3 \end{array}\right)+\left(\begin{array}{cc} 1 & 4\\ 2 & 3 \end{array}\right)\right)+\frac{1}{2}\left(\left(\begin{array}{cc} 1 & 2\\ 4 & 3 \end{array}\right)-\left(\begin{array}{cc} 1 & 4\\ 2 & 3 \end{array}\right)\right)\\ & =\left(\begin{array}{cc} 1 & 3\\ 3 & 3 \end{array}\right)+\left(\begin{array}{cc} 0 & -2\\ 2 & 0 \end{array}\right) \end{align*} 第1項が対称行列で第2項が反対称行列である。
(2)
エルミート行列と反エルミート行列に分解\begin{align*} \left(\begin{array}{cc} 1+i & 2+i\\ 4+3i & 3 \end{array}\right) & =\frac{1}{2}\left(\left(\begin{array}{cc} 1+i & 2+i\\ 4+3i & 3 \end{array}\right)+\left(\begin{array}{cc} 1+i & 2+i\\ 4+3i & 3 \end{array}\right)^{*}\right)+\frac{1}{2}\left(\left(\begin{array}{cc} 1+i & 2+i\\ 4+3i & 3 \end{array}\right)-\left(\begin{array}{cc} 1+i & 2+i\\ 4+3i & 3 \end{array}\right)^{*}\right)\\ & =\frac{1}{2}\left(\left(\begin{array}{cc} 1+i & 2+i\\ 4+3i & 3 \end{array}\right)+\left(\begin{array}{cc} 1-i & 4-3i\\ 2-i & 3 \end{array}\right)\right)+\frac{1}{2}\left(\left(\begin{array}{cc} 1+i & 2+i\\ 4+3i & 3 \end{array}\right)-\left(\begin{array}{cc} 1-i & 4-3i\\ 2-i & 3 \end{array}\right)\right)\\ & =\left(\begin{array}{cc} 1 & 3-i\\ 3+i & 3 \end{array}\right)+\left(\begin{array}{cc} i & -1+2i\\ 1+2i & 0 \end{array}\right) \end{align*} 第1項がエルミート行列で第2項が反エルミート行列である。
(1)
\[ A=\frac{1}{2}\left(A+A^{T}\right)+\frac{1}{2}\left(A-A^{T}\right) \] となり、\[ S=\frac{1}{2}\left(A+A^{T}\right) \] \[ T=\frac{1}{2}\left(A-A^{T}\right) \] とおくと、
\[ A=S+T \] となる。
このとき、\(S\)は対称行列で\(T\)は反対称行列なので題意は成り立つ。
一意的
\(S_{1}\ne S_{2}\)として\(S_{1},S_{2}\)を対称行列、\(T_{1}\ne T_{2}\)として\(T_{1},T_{2}\)を反対称行列として\(A=S_{1}+T_{1}=S_{2}+T_{2}\)と2通りの表し方があると仮定する。このとき、移項すると、\(S_{1}-S_{2}=T_{2}-T_{1}\)となり、左辺は対称行列で右辺は反対称行列となる。
これが成り立つには左辺と右辺が零行列になるときのみなので、\(S_{1}=S_{2},T_{1}=T_{2}\)となり2通りの表し方があるこという仮定に矛盾。
従って、表し方は一意的となる。
(2)
\[ A=\frac{1}{2}\left(A+A^{*}\right)+\frac{1}{2}\left(A-A^{*}\right) \] となり、\[ S=\frac{1}{2}\left(A+A^{*}\right) \] \[ T=\frac{1}{2}\left(A-A^{*}\right) \] とおくと、
\[ A=S+T \] となる。
このとき、\(S\)はエルミート行列で\(T\)は反エルミート行列なので題意は成り立つ。
一意的
\(S_{1}\ne S_{2}\)として\(S_{1},S_{2}\)をエルミート行列、\(T_{1}\ne T_{2}\)として\(T_{1},T_{2}\)を反エルミート行列として\(A=S_{1}+T_{1}=S_{2}+T_{2}\)と2通りの表し方があると仮定する。このとき、移項すると、\(S_{1}-S_{2}=T_{2}-T_{1}\)となり、左辺はエルミート行列で右辺は反エルミート行列となる。
これが成り立つには左辺と右辺が零行列になるときのみなので、\(S_{1}=S_{2},T_{1}=T_{2}\)となり2通りの表し方があるこという仮定に矛盾。
従って、表し方は一意的となる。
ページ情報
| タイトル | エルミート行列(対称行列)と反エルミート行列(反対称行列)に分解 |
| URL | https://www.nomuramath.com/e6bqjg1a/ |
| SNSボタン |
ケーリー・ハミルトンの定理
\[
p_{A}\left(A\right)=O
\]
正方行列は3角行列と相似
正規行列の性質
正規行列であることと、ユニタリ行列で対角化できることは同値である。
直交行列の性質
直交行列$A$の逆行列$A^{-1}$も直交行列になる。