転置行列の性質
転置行列の性質
転置行列\(A^{T}\)について次が成り立つ。
転置行列\(A^{T}\)について次が成り立つ。
(1)スカラー倍
\[ \left(aA\right)^{T}=aA^{T} \](2)和
\[ \left(A+B\right)^{T}=A^{T}+B^{T} \](3)転置の転置
\[ A^{TT}=A \](4)積
\[ \left(AB\right)^{T}=B^{T}A^{T} \](5)
直交行列\(A\)の転置\(A^{T}\)は元の行列の逆行列\(A^{-1}\)に等しい、すなわち、\(A^{T}=A^{-1}\)となる。(6)
対角行列\(A\)の転置\(A^{T}\)は元の行列\(A\)に等しい、すなわち、\(A^{T}=A\)となる。その他次が成り立ちます。
すなわち、
\[ \det\left(\lambda I-A^{T}\right)=\det\left(\lambda I-A\right) \] となる。
(1)逆行列
\[ \left(A^{-1}\right)^{T}=\left(A^{T}\right)^{-1} \](2)行列式
\[ \det\left(A^{T}\right)=\det\left(A\right) \](3)トレース
\[ \tr\left(A^{T}\right)=\tr\left(A\right) \](4)固有値
転置行列の固有値は元の行列の固有値に等しい。すなわち、
\[ \det\left(\lambda I-A^{T}\right)=\det\left(\lambda I-A\right) \] となる。
(5)階数
\[ \rank\left(A^{T}\right)=\rank\left(A\right) \](6)
エルミート行列\(H\)の転置\(H^{T}\)は元の行列の複素共役\(\overline{H}\)に等しい、すなわち、\(H^{T}=\overline{H}\)となる。(7)
反エルミート行列\(A\)の転置\(A^{T}\)は元の行列の複素共役のマイナス\(-\overline{A}\)に等しい、すなわち\(A^{T}=-\overline{A}\)となる。(8)
対称行列\(S\)の転置\(S^{T}\)は元の行列\(S\)に等しい、すなわち、\(S^{T}=S\)となる。(9)
反対称行列\(T\)の転置\(T^{T}\)は元の行列のマイナス\(-T\)に等しい、すなわち\(T^{T}=-T\)となる。(1)
\begin{align*} \left(\left(aA\right)^{T}\right)_{i,j} & =\left(aA\right)_{j,i}\\ & =a\left(A\right)_{j,i}\\ & =a\left(A^{T}\right)_{i,j} \end{align*} となるので\[ \left(aA\right)^{T}=aA^{T} \] となり与式は成り立つ。
(2)
\begin{align*} \left(\left(A+B\right)^{T}\right)_{i,j} & =\left(A+B\right)_{j,i}\\ & =A_{j,i}+B_{j,i}\\ & =\left(A^{T}\right)_{i,j}+\left(B^{T}\right)_{i,j} \end{align*} となるので\[ \left(A+B\right)^{T}=A^{T}+B^{T} \] となり与式は成り立つ。
(3)
\begin{align*} \left(A^{TT}\right)_{i,j} & =\left(A^{T}\right)_{j,i}\\ & =\left(A\right)_{i,j} \end{align*} となるので\[ A^{TT}=A \] となり与式は成り立つ。
(4)
\(A\)を\(m\times n\)行列、\(B\)を\(n\times k\)行列とする。\begin{align*} \left(\left(AB\right)^{T}\right)_{i,j} & =\left(AB\right)_{j,i}\\ & =\sum_{l=1}^{n}\left(A\right)_{j,l}\left(B\right)_{l,i}\\ & =\sum_{l=1}^{n}\left(B^{T}\right)_{i,l}\left(A^{T}\right)_{l,j}\\ & =\left(B^{T}A^{T}\right)_{i,j} \end{align*} となるので
\[ \left(AB\right)^{T}=B^{T}A^{T} \] となり与式は成り立つ。
(5)
直交行列の定義より\(A^{T}=A^{-1}\)なので明らかに成り立つ。(6)
対角行列は対称行列なので\(A^{T}=A\)となる。(6)-2
\begin{align*} \left(A^{T}\right)_{i,j} & =\left(A\right)_{j,i}\\ & =\left(A\right)_{j,i}\delta_{j,i}\\ & =\left(A\right)_{i,j}\delta_{j,i}\\ & =\left(A\right)_{i,j} \end{align*} となるので、\(A^{T}=A\)となる。従って題意は成り立つ。
ページ情報
| タイトル | 転置行列の性質 |
| URL | https://www.nomuramath.com/c9ej1bkx/ |
| SNSボタン |
行列を挟んでいる場合の解
\[
XAX=B\Rightarrow X=A^{-\frac{1}{2}}\left(A^{\frac{1}{2}}BA^{\frac{1}{2}}\right)^{\frac{1}{2}}A^{-\frac{1}{2}}
\]
Woodburyの恒等式
\[
\left(A+BCD\right)^{-1}=A^{-1}-A^{-1}B\left(C^{-1}+DA^{-1}B\right)^{-1}DA^{-1}
\]
同時対角化可能と可換性
行列$A,B$が共に対角化可能であるとき、$AB=BA$であることと、$A$と$B$が同時対角化可能であることは同値である。
巡回行列の定義と性質
\[
C=\left(\begin{array}{cccccc}
x_{0} & x_{1} & x_{2} & \cdots & x_{n-2} & x_{n-1}\\
x_{n-1} & x_{0} & x_{1} & \cdots & x_{n-3} & x_{n-2}\\
x_{n-2} & x_{n-1} & x_{0} & \cdots & x_{n-4} & x_{n-3}\\
\vdots & \vdots & \vdots & \ddots & \vdots & \vdots\\
x_{2} & x_{3} & x_{4} & \cdots & x_{0} & x_{1}\\
x_{1} & x_{2} & x_{3} & \cdots & x_{n-1} & x_{0}
\end{array}\right)
\]

