転置行列の性質
転置行列の性質
転置行列\(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ボタン |
固有ベクトルの性質
異なる固有値に属する固有ベクトルは1次独立である。
固有値の性質
\[
\tr\left(A\right)=\sum_{k=1}^{n}\lambda_{k}
\]
行列の対角化可能性
\[
\text{対角化可能}\Leftrightarrow\sum_{k=1}^{r}\dim\left(W\left(\lambda_{k}\right)\right)=n
\]
固有空間の次元と幾何学的重複度
\[
\dim W\left(\lambda_{0}\right)=n-\rank\left(\lambda_{0}I-A\right)
\]

