転置行列の性質

転置行列の性質
転置行列\(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\)となる。
その他次が成り立ちます。

(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ボタン