複素共役行列の性質
複素共役行列の性質
複素共役行列\(\overline{A}\)について次が成り立つ。
複素共役行列\(\overline{A}\)について次が成り立つ。
(1)和
\[ \overline{A+B}=\overline{A}+\overline{B} \](2)複素共役の複素共役
\[ \overline{\overline{A}}=A \](3)積
\[ \overline{AB}=\overline{A}\overline{B} \]その他次が成り立つ。
すなわち、
\[ \det\left(\lambda I-\overline{A}\right)=\det\left(\overline{\lambda}I-A\right) \] となる。
(1)逆行列
\[ \overline{A^{-1}}=\left(\overline{A}\right)^{-1} \](2)行列式
\[ \det\left(\overline{A}\right)=\overline{\det\left(A\right)} \](3)トレース
\[ \tr\left(\overline{A}\right)=\overline{\tr\left(A\right)} \](4)固有値
複素共役行列の固有値は元の行列の固有値の複素共役に等しい。すなわち、
\[ \det\left(\lambda I-\overline{A}\right)=\det\left(\overline{\lambda}I-A\right) \] となる。
(5)階数
\[ \rank\left(\overline{A}\right)=\rank\left(A\right) \](1)
\begin{align*} \left(\overline{A+B}\right)_{i,j} & =\overline{\left(A+B\right)_{i,j}}\\ & =\overline{\left(A\right)_{i,j}+\left(B\right)_{i,j}}\\ & =\overline{\left(A\right)_{i,j}}+\overline{\left(B\right)_{i,j}}\\ & =\left(\overline{A}\right)_{i,j}+\left(\overline{B}\right)_{i,j}\\ & =\left(\overline{A}+\overline{B}\right)_{i,j} \end{align*} となるので、\[ \overline{A+B}=\overline{A}+\overline{B} \] となり、与式は成り立つ。
(2)
\begin{align*} \left(\overline{\overline{A}}\right)_{i,j} & =\overline{\left(\overline{A}\right)_{i,j}}\\ & =\overline{\overline{\left(A\right)_{i,j}}}\\ & =\left(A\right)_{i,j} \end{align*} となるので、\[ \overline{\overline{A}}=A \] となり、与式は成り立つ。
(3)
\(A\)を\(l\times m\)行列、\(B\)を\(m\times n\)行列とする。\begin{align*} \left(\overline{AB}\right)_{i,j} & =\overline{\left(AB\right)_{i,j}}\\ \\ & =\overline{\sum_{k=1}^{m}\left(A\right)_{i,k}\left(B\right)_{k,j}}\\ & =\sum_{k=1}^{m}\overline{\left(A\right)_{i,k}}\overline{\left(B\right)_{k,j}}\\ & =\sum_{k=1}^{m}\overline{\left(A\right)_{i,k}}\overline{\left(B\right)_{k,j}}\\ & =\sum_{k=1}^{m}\left(\overline{A}\right)_{i,k}\left(\overline{B}\right)_{k,j}\\ & =\left(\overline{A}\overline{B}\right)_{i,j} \end{align*} となるので
\[ \overline{AB}=\overline{A}\overline{B} \] となり、与式は成り立つ。
ページ情報
| タイトル | 複素共役行列の性質 |
| URL | https://www.nomuramath.com/z4cspsq9/ |
| SNSボタン |
4元数のパウリ表示
\[
e_{k}=-i\sigma_{k}
\]
パウリ行列によるガンマ行列のディラック表示
\[
\begin{cases}
\gamma^{0}=\sigma_{3}\otimes I_{2}\\
\gamma^{j}=i\sigma_{2}\otimes\sigma_{j}
\end{cases}
\]
パウリ行列の定義と性質
\[
\sigma_{j}\sigma_{k}=I\delta_{jk}+i\sum_{l=1}^{3}\epsilon_{jkl}\sigma_{l}
\]
エルミート形式・2次形式
\[
f\left(\boldsymbol{x}\right)=\boldsymbol{x}^{*}A\boldsymbol{x}
\]