2次正方行列 A, B に対して以下の等式が成り立つことを示す問題です。 (1) $\text{tr}(AB) = \text{tr}(BA)$ (2) 正則行列 P に対して $\text{tr}(P^{-1}AP) = \text{tr}(A)$ (ヒント:(1)を利用) (3) $(AB)^T = B^T A^T$

代数学線形代数行列トレース転置行列
2025/6/22

1. 問題の内容

2次正方行列 A, B に対して以下の等式が成り立つことを示す問題です。
(1) tr(AB)=tr(BA)\text{tr}(AB) = \text{tr}(BA)
(2) 正則行列 P に対して tr(P1AP)=tr(A)\text{tr}(P^{-1}AP) = \text{tr}(A) (ヒント:(1)を利用)
(3) (AB)T=BTAT(AB)^T = B^T A^T

2. 解き方の手順

(1)
A, B をそれぞれ以下の2次正方行列とします。
A=(abcd),B=(efgh)A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}, B = \begin{pmatrix} e & f \\ g & h \end{pmatrix}
このとき、ABAB および BABA は以下のようになります。
AB=(ae+bgaf+bhce+dgcf+dh)AB = \begin{pmatrix} ae + bg & af + bh \\ ce + dg & cf + dh \end{pmatrix}
BA=(ea+fceb+fdga+hcgb+hd)BA = \begin{pmatrix} ea + fc & eb + fd \\ ga + hc & gb + hd \end{pmatrix}
トレース(対角成分の和)を計算すると、
tr(AB)=ae+bg+cf+dh\text{tr}(AB) = ae + bg + cf + dh
tr(BA)=ea+fc+gb+hd\text{tr}(BA) = ea + fc + gb + hd
ae=ea,bg=gb,cf=fc,dh=hdae = ea, bg = gb, cf = fc, dh = hd なので、tr(AB)=tr(BA)\text{tr}(AB) = \text{tr}(BA) が成立します。
(2)
(1) の結果を利用します。
tr(P1AP)=tr(APP1)\text{tr}(P^{-1}AP) = \text{tr}(A P P^{-1})
=tr(A(PP1))= \text{tr}(A (P P^{-1}))
=tr(AI)= \text{tr}(A I)
=tr(A)= \text{tr}(A)
(3)
A, B をそれぞれ以下の2次正方行列とします。
A=(abcd),B=(efgh)A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}, B = \begin{pmatrix} e & f \\ g & h \end{pmatrix}
このとき、ABAB は以下のようになります。
AB=(ae+bgaf+bhce+dgcf+dh)AB = \begin{pmatrix} ae + bg & af + bh \\ ce + dg & cf + dh \end{pmatrix}
転置行列を計算すると
(AB)T=(ae+bgce+dgaf+bhcf+dh)(AB)^T = \begin{pmatrix} ae + bg & ce + dg \\ af + bh & cf + dh \end{pmatrix}
ATA^T および BTB^T は以下のようになります。
AT=(acbd),BT=(egfh)A^T = \begin{pmatrix} a & c \\ b & d \end{pmatrix}, B^T = \begin{pmatrix} e & g \\ f & h \end{pmatrix}
BTATB^T A^Tを計算すると、
BTAT=(egfh)(acbd)=(ea+gbec+gdfa+hbfc+hd)=(ae+bgce+dgaf+bhcf+dh)B^T A^T = \begin{pmatrix} e & g \\ f & h \end{pmatrix} \begin{pmatrix} a & c \\ b & d \end{pmatrix} = \begin{pmatrix} ea+gb & ec+gd \\ fa+hb & fc+hd \end{pmatrix} = \begin{pmatrix} ae + bg & ce + dg \\ af + bh & cf + dh \end{pmatrix}
したがって、 (AB)T=BTAT(AB)^T = B^T A^T が成立します。

3. 最終的な答え

(1) tr(AB)=tr(BA)\text{tr}(AB) = \text{tr}(BA)
(2) tr(P1AP)=tr(A)\text{tr}(P^{-1}AP) = \text{tr}(A)
(3) (AB)T=BTAT(AB)^T = B^T A^T

「代数学」の関連問題

与えられた2つの命題の対偶を求める問題です。 (1) $x = 6 \Rightarrow x^2 = 36$ (2) $n$は4の倍数 $ \Rightarrow n$は2の倍数

命題対偶論理
2025/6/22

与えられた条件が、別の条件を満たすための十分条件、必要条件、必要十分条件のいずれであるかを判断する問題です。具体的には、以下の4つの問いに答えます。 (1) $x=4$ は $x^2 = 16$ であ...

論理条件必要十分条件不等式方程式
2025/6/22

与えられた条件の否定を求め、空欄を埋める問題です。具体的には、 (1) $x > 1$ の否定 (2) $x \le -2$ の否定 (3) 実数 $n$ は無理数である、の否定 (4) 自然数 $n...

論理否定不等式数の範囲
2025/6/22

$(a^{-\frac{3}{2}}b^{\frac{2}{5}})^{\frac{1}{4}}$ を計算し、選択肢の中から正しいものを選ぶ問題。ただし、$a, b$ は正の実数。

指数計算対数対数の性質
2025/6/22

与えられた命題が真であるか偽であるかを判断し、偽の場合は反例を答える問題です。 (1) $x = -2 \Rightarrow 3x = -6$ (2) $3x = -6 \Rightarrow x ...

命題論理条件文真偽反例
2025/6/22

$a$ を定数とする。関数 $f(x) = x^2 - 4ax + 4a$ ($0 \le x \le 2$)について、次の問いに答えよ。 (1) 最小値とそのときの $x$ の値を求めよ。 (2) ...

二次関数最大値最小値平方完成場合分け
2025/6/22

集合Aと集合Bが与えられたとき、それぞれの問題について、$A \cap B$ (AとBの共通部分)と $A \cup B$ (AとBの和集合)を求める問題です。

集合集合演算共通部分和集合
2025/6/22

自然公園が川によって東西のエリアに分かれており、鹿が生息している。毎年、東エリアの鹿の1/5が西エリアに移動し、西エリアの鹿の1/3が東エリアに移動する。長期間が経過した後、鹿の分布がどのようになるか...

線形代数連立方程式定常状態
2025/6/22

二次正方行列 $A$ の固有値を $\lambda_1, \lambda_2$ とする。以下の命題をケーリー・ハミルトンの定理 $A^2 - (tr A)A + (det A)I = O$ を用いて証...

線形代数行列固有値固有ベクトルケーリー・ハミルトンの定理対角化
2025/6/22

A地点から14km離れたB地点へ自転車で行く。A地点からP地点までは時速12km, P地点からB地点までは時速15kmで走り、全体で1時間かかった。A,P間の道のりを $x$ km, P,B間の道のり...

連立方程式距離速さ時間
2025/6/22