(*)行列の相似の性質
行列の相似の性質
相似\(A\sim B\)について次が成り立つ。
\[ A^{n}\sim B^{n} \] が成り立つ。
相似\(A\sim B\)について次が成り立つ。
(1)
行列\(A,B\)が相似\(A\sim B\)のとき、任意の\(n\in\mathbb{N}_{0}\)に対し、\[ A^{n}\sim B^{n} \] が成り立つ。
(2)
行列\(A,B\)が相似\(A\sim B\)のとき、\(A\)と\(B\)の単因子は一致する。その他次が成り立つ。
何故なら任意の正方行列はある正則行列によって3角行列にできるからである。
何故なら正規行列であることと、ユニタリ行列で対角化できることは同値であるからである。
\[ \rank\left(A\right)=\rank\left(B\right) \] が成り立つ。
\[ \det\left(A\right)=\det\left(B\right) \] が成り立つ。
\[ \tr\left(A\right)=\tr\left(B\right) \] が成り立つ。
(1)
任意の正方行列はある3角行列と相似である。何故なら任意の正方行列はある正則行列によって3角行列にできるからである。
(2)
任意の正規行列はある対角行列と相似である。何故なら正規行列であることと、ユニタリ行列で対角化できることは同値であるからである。
(3)
行列\(A,B\)が相似\(A\sim B\)のとき、\[ \rank\left(A\right)=\rank\left(B\right) \] が成り立つ。
(4)
行列\(A,B\)が相似\(A\sim B\)のとき、\[ \det\left(A\right)=\det\left(B\right) \] が成り立つ。
(5)
行列\(A,B\)が相似\(A\sim B\)のとき、\[ \tr\left(A\right)=\tr\left(B\right) \] が成り立つ。
(6)
行列\(A,B\)が相似\(A\sim B\)のとき、\(A,B\)の固有値は等しい。(7)
行列\(A,B\)が相似\(A\sim B\)のとき、\(A\)と\(B\)の固有多項式は一致する。(8)
行列\(A,B\)が相似\(A\sim B\)のとき、\(A\)と\(B\)の最小多項式は一致する。(1)
\(A\sim B\)より、ある正則行列\(P\)が存在し\(B=P^{-1}AP\)となる。従って、
\begin{align*} B^{n} & =\left(P^{-1}AP\right)^{n}\\ & =P^{-1}A^{n}P \end{align*} となるので\(A\)と\(B\)は相似になり題意は成り立つ。
(2)
(略)
ページ情報
| タイトル | (*)行列の相似の性質 |
| URL | https://www.nomuramath.com/ayknjsww/ |
| 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}
\]