与えられた行列 $A$, $B$, $X$, $Y$ に対して、以下の問題を解きます。 (1) $AB$, $BA$, $ABAB$, $BABA$ を計算する。 (2) $^t\!B \, ^t\!A$ および $^t\!A \, ^t\!B$ を計算する。 (3) $AX = E$ および $YB = E$ を満たす $X$, $Y$ を求める。ただし、$E$ は単位行列である。
2025/6/4
1. 問題の内容
与えられた行列 , , , に対して、以下の問題を解きます。
(1) , , , を計算する。
(2) ^t\!B \, ^t\!A および ^t\!A \, ^t\!B を計算する。
(3) および を満たす , を求める。ただし、 は単位行列である。
2. 解き方の手順
(1) , , , の計算
まず、 と を計算します。
A = \begin{pmatrix} 1 & 0 & -1 \\ 2 & 1 & 2 \end{pmatrix}, \quad B = \begin{pmatrix} 1 & 1 \\ 1 & -1 \\ -1 & 2 \end{pmatrix}
AB = \begin{pmatrix} 1 & 0 & -1 \\ 2 & 1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 1 \\ 1 & -1 \\ -1 & 2 \end{pmatrix} = \begin{pmatrix} 2 & -1 \\ 1 & 5 \end{pmatrix}
BA = \begin{pmatrix} 1 & 1 \\ 1 & -1 \\ -1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 0 & -1 \\ 2 & 1 & 2 \end{pmatrix} = \begin{pmatrix} 3 & 1 & 1 \\ -1 & -1 & -3 \\ 3 & 2 & 5 \end{pmatrix}
次に、 と を計算します。
ABAB = AB \cdot AB = \begin{pmatrix} 2 & -1 \\ 1 & 5 \end{pmatrix} \begin{pmatrix} 2 & -1 \\ 1 & 5 \end{pmatrix} = \begin{pmatrix} 3 & -7 \\ 7 & 24 \end{pmatrix}
BABA = BA \cdot BA = \begin{pmatrix} 3 & 1 & 1 \\ -1 & -1 & -3 \\ 3 & 2 & 5 \end{pmatrix} \begin{pmatrix} 3 & 1 & 1 \\ -1 & -1 & -3 \\ 3 & 2 & 5 \end{pmatrix} = \begin{pmatrix} 11 & 5 & 5 \\ -11 & -6 & -13 \\ 24 & 11 & 22 \end{pmatrix}
(2) ^t\!B \, ^t\!A および ^t\!A \, ^t\!B の計算
と の転置行列を求めます。
^t\!A = \begin{pmatrix} 1 & 2 \\ 0 & 1 \\ -1 & 2 \end{pmatrix}, \quad ^t\!B = \begin{pmatrix} 1 & 1 & -1 \\ 1 & -1 & 2 \end{pmatrix}
^t\!B \, ^t\!A と ^t\!A \, ^t\!B を計算します。
^t\!B \, ^t\!A = \begin{pmatrix} 1 & 1 & -1 \\ 1 & -1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 2 \\ 0 & 1 \\ -1 & 2 \end{pmatrix} = \begin{pmatrix} 2 & 1 \\ -1 & 5 \end{pmatrix}
^t\!A \, ^t\!B = \begin{pmatrix} 1 & 2 \\ 0 & 1 \\ -1 & 2 \end{pmatrix} \begin{pmatrix} 1 & 1 & -1 \\ 1 & -1 & 2 \end{pmatrix} = \begin{pmatrix} 3 & -1 & 3 \\ 1 & -1 & 2 \\ 1 & -3 & 5 \end{pmatrix}
(3) および を満たす , の計算
と を満たす , を求めます。 は単位行列です。しかし、 は正方行列ではないため、厳密な意味での逆行列は存在しません。ここでは、一般逆行列を求めることにします。同様に、も正方行列ではないため、を満たすYも一意には定まりません。
まず、 を考えますが、は2x3行列であり、は3x2行列であるため、は2x2の単位行列となります。とすると、は
となります。これにより、
, , ,
という連立方程式が得られます。
これを解くためには、自由度があるため一意の解は得られません。
次に、 を考えますが、は3x2行列であり、は3x2行列であるため、積は定義されません。とした場合、は定義できません。問題に誤りがある可能性があります。ここでは、を2x3の行列とし、とします。この場合、は2x2の単位行列となります。
より、
, , ,
という連立方程式が得られます。これを解くと、
, より、, .
, より、, .
したがって、
3. 最終的な答え
(1)
(2)
^t\!B \, ^t\!A = \begin{pmatrix} 2 & 1 \\ -1 & 5 \end{pmatrix}
^t\!A \, ^t\!B = \begin{pmatrix} 3 & -1 & 3 \\ 1 & -1 & 2 \\ 1 & -3 & 5 \end{pmatrix}
(3)
を満たすは不定。
を満たす は