3次正方行列 $A$ が、すべての3次正方行列 $X$ に対して $AX = XA$ を満たすとき、$A = \alpha I$ (ここで $\alpha$ はスカラー、$I$ は3次の単位行列) であることを証明する。

代数学線形代数行列証明
2025/5/7

1. 問題の内容

3次正方行列 AA が、すべての3次正方行列 XX に対して AX=XAAX = XA を満たすとき、A=αIA = \alpha I (ここで α\alpha はスカラー、II は3次の単位行列) であることを証明する。

2. 解き方の手順

AA を3次正方行列、EijE_{ij}(i,j)(i,j) 成分が1で、それ以外の成分がすべて0である3次正方行列とする。仮定より、任意の3次正方行列 XX に対して AX=XAAX = XA が成立する。特に X=EijX = E_{ij} に対して、AEij=EijAAE_{ij} = E_{ij}A が成り立つ。
A=(a11a12a13a21a22a23a31a32a33)A = \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} とおく。
(1) X=E11X = E_{11} の場合:
AE11=(a11a12a13a21a22a23a31a32a33)(100000000)=(a1100a2100a3100)AE_{11} = \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} = \begin{pmatrix} a_{11} & 0 & 0 \\ a_{21} & 0 & 0 \\ a_{31} & 0 & 0 \end{pmatrix}
E11A=(100000000)(a11a12a13a21a22a23a31a32a33)=(a11a12a13000000)E_{11}A = \begin{pmatrix} 1 & 0 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ a_{21} & a_{22} & a_{23} \\ a_{31} & a_{32} & a_{33} \end{pmatrix} = \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}
AE11=E11AAE_{11} = E_{11}A より、
(a1100a2100a3100)=(a11a12a13000000)\begin{pmatrix} a_{11} & 0 & 0 \\ a_{21} & 0 & 0 \\ a_{31} & 0 & 0 \end{pmatrix} = \begin{pmatrix} a_{11} & a_{12} & a_{13} \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}
したがって、a12=a13=a21=a31=0a_{12} = a_{13} = a_{21} = a_{31} = 0
(2) X=E22X = E_{22} の場合:
同様に、AE22=E22AAE_{22} = E_{22}A より、a12=a21=a32=a23=0a_{12}=a_{21} = a_{32}=a_{23} = 0
(3) X=E33X = E_{33} の場合:
同様に、AE33=E33AAE_{33} = E_{33}A より、a13=a31=a23=a32=0a_{13}=a_{31}= a_{23} = a_{32} = 0
よって、AA は対角行列であり、A=(a11000a22000a33)A = \begin{pmatrix} a_{11} & 0 & 0 \\ 0 & a_{22} & 0 \\ 0 & 0 & a_{33} \end{pmatrix} となる。
次に、X=E12X = E_{12} の場合:
AE12=(a11000a22000a33)(010000000)=(0a110000000)AE_{12} = \begin{pmatrix} a_{11} & 0 & 0 \\ 0 & a_{22} & 0 \\ 0 & 0 & a_{33} \end{pmatrix} \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & a_{11} & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}
E12A=(010000000)(a11000a22000a33)=(0a220000000)E_{12}A = \begin{pmatrix} 0 & 1 & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} \begin{pmatrix} a_{11} & 0 & 0 \\ 0 & a_{22} & 0 \\ 0 & 0 & a_{33} \end{pmatrix} = \begin{pmatrix} 0 & a_{22} & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}
AE12=E12AAE_{12} = E_{12}A より、
(0a110000000)=(0a220000000)\begin{pmatrix} 0 & a_{11} & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix} = \begin{pmatrix} 0 & a_{22} & 0 \\ 0 & 0 & 0 \\ 0 & 0 & 0 \end{pmatrix}
したがって、a11=a22a_{11} = a_{22}
同様に、X=E23X = E_{23} とすると、a22=a33a_{22} = a_{33} が得られる。
したがって、a11=a22=a33=αa_{11} = a_{22} = a_{33} = \alpha とおくと、
A=(α000α000α)=αIA = \begin{pmatrix} \alpha & 0 & 0 \\ 0 & \alpha & 0 \\ 0 & 0 & \alpha \end{pmatrix} = \alpha I

3. 最終的な答え

A=αIA = \alpha I

「代数学」の関連問題

与えられた式 $x^3 + y^3 + z^3 - 3xyz$ を因数分解します。

因数分解多項式三次式
2025/5/8

問題は、$x^3 + z^3$ と $z^3 - 3xyz$ が与えられたときに何をするか、あるいはこれらが何かを表しているのかを問うているように見えます。ただし、問題文が不完全であるため、どのような...

因数分解多項式恒等式和の3乗代数式
2025/5/8

与えられた式 $(a-b)^3 + (b-c)^3 + (c-a)^3$ を計算する問題です。

式の展開因数分解恒等式
2025/5/8

問題は、$x^3 + 27$ を因数分解することです。

因数分解立方和多項式
2025/5/8

$(-2n^3)^5$ を計算して簡単にします。

指数法則式の計算べき乗
2025/5/7

aは正の定数とする。関数 $y = -x^2 + 2x + 1$ ($0 \le x \le a$)の最大値を求めよ。

二次関数最大値平方完成場合分け
2025/5/7

2次関数 $y = ax^2 + bx + c$ のグラフが与えられたとき、次の値の符号を判定する。 (1) $a$ (2) $b$ (3) $c$ (4) $a + b + c$ (5) $4a +...

二次関数グラフ符号判別式
2025/5/7

$x = -1 + \sqrt{2}i$ のとき、以下の2つの問題に答える。 (1) $x^2 + 2x + 3 = 0$ であることを示す。 (2) (1)の結果を用いて、$x^3 + 6x^2 +...

複素数二次方程式式の計算多項式の除法
2025/5/7

$x = -1 + \sqrt{2}i$ のとき、次の問いに答える。 (1) $x^2 + 2x + 3 = 0$ であることを示す。

複素数二次方程式式の計算
2025/5/7

2次方程式 $x^2 - 2(m-1)x + m + 5 = 0$ が異なる2つの解を持ち、その解がともに1より大きいとき、定数 $m$ の値の範囲を求めよ。

二次方程式解の範囲判別式二次関数
2025/5/7