与えられた5つのベクトル $\vec{a_1}, \vec{a_2}, \vec{a_3}, \vec{a_4}, \vec{a_5}$ に対して、1次独立なベクトルの最大個数 $r$ を求め、1次独立なベクトルを $r$ 個選び、残りのベクトルをそれらの1次結合で表す。 ベクトルは以下の通りです。 $\vec{a_1} = \begin{bmatrix} 1 \\ 1 \\ 3 \\ 0 \end{bmatrix}$, $\vec{a_2} = \begin{bmatrix} 1 \\ 2 \\ 0 \\ -1 \end{bmatrix}$, $\vec{a_3} = \begin{bmatrix} 1 \\ 3 \\ -3 \\ -2 \end{bmatrix}$, $\vec{a_4} = \begin{bmatrix} -2 \\ -4 \\ 1 \\ -1 \end{bmatrix}$, $\vec{a_5} = \begin{bmatrix} -1 \\ -4 \\ 7 \\ 0 \end{bmatrix}$

代数学線形代数ベクトル1次独立線形結合行基本変形簡約化
2025/8/10

1. 問題の内容

与えられた5つのベクトル a1,a2,a3,a4,a5\vec{a_1}, \vec{a_2}, \vec{a_3}, \vec{a_4}, \vec{a_5} に対して、1次独立なベクトルの最大個数 rr を求め、1次独立なベクトルを rr 個選び、残りのベクトルをそれらの1次結合で表す。
ベクトルは以下の通りです。
a1=[1130]\vec{a_1} = \begin{bmatrix} 1 \\ 1 \\ 3 \\ 0 \end{bmatrix}, a2=[1201]\vec{a_2} = \begin{bmatrix} 1 \\ 2 \\ 0 \\ -1 \end{bmatrix}, a3=[1332]\vec{a_3} = \begin{bmatrix} 1 \\ 3 \\ -3 \\ -2 \end{bmatrix}, a4=[2411]\vec{a_4} = \begin{bmatrix} -2 \\ -4 \\ 1 \\ -1 \end{bmatrix}, a5=[1470]\vec{a_5} = \begin{bmatrix} -1 \\ -4 \\ 7 \\ 0 \end{bmatrix}

2. 解き方の手順

与えられたベクトルを列ベクトルとして持つ行列を作り、行基本変形を用いて簡約化します。簡約化された行列において、ピボット(leading 1)がある列に対応する元のベクトルが1次独立なベクトルになります。ピボットがない列に対応するベクトルは、1次独立なベクトルの線形結合として表すことができます。
行列 AA を次のように定義します。
A=[11121123443031701210]A = \begin{bmatrix} 1 & 1 & 1 & -2 & -1 \\ 1 & 2 & 3 & -4 & -4 \\ 3 & 0 & -3 & 1 & 7 \\ 0 & -1 & -2 & -1 & 0 \end{bmatrix}
行基本変形を行います。

1. 2行目から1行目を引く: $R_2 \leftarrow R_2 - R_1$

2. 3行目から1行目の3倍を引く: $R_3 \leftarrow R_3 - 3R_1$

[111210122303671001210]\begin{bmatrix} 1 & 1 & 1 & -2 & -1 \\ 0 & 1 & 2 & -2 & -3 \\ 0 & -3 & -6 & 7 & 10 \\ 0 & -1 & -2 & -1 & 0 \end{bmatrix}

3. 3行目に2行目の3倍を足す: $R_3 \leftarrow R_3 + 3R_2$

4. 4行目に2行目を足す: $R_4 \leftarrow R_4 + R_2$

[11121012230001100033]\begin{bmatrix} 1 & 1 & 1 & -2 & -1 \\ 0 & 1 & 2 & -2 & -3 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & -3 & -3 \end{bmatrix}

5. 4行目に3行目の3倍を足す: $R_4 \leftarrow R_4 + 3R_3$

[11121012230001100000]\begin{bmatrix} 1 & 1 & 1 & -2 & -1 \\ 0 & 1 & 2 & -2 & -3 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0 \end{bmatrix}

6. 1行目から2行目を引く: $R_1 \leftarrow R_1 - R_2$

[10102012230001100000]\begin{bmatrix} 1 & 0 & -1 & 0 & 2 \\ 0 & 1 & 2 & -2 & -3 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0 \end{bmatrix}

7. 2行目に3行目の2倍を足す: $R_2 \leftarrow R_2 + 2R_3$

[10102012010001100000]\begin{bmatrix} 1 & 0 & -1 & 0 & 2 \\ 0 & 1 & 2 & 0 & -1 \\ 0 & 0 & 0 & 1 & 1 \\ 0 & 0 & 0 & 0 & 0 \end{bmatrix}
簡約化された行列から、1, 2, 4列に対応するベクトルが1次独立であることがわかります。したがって、r=3r=3 であり、1次独立なベクトルの組として {a1,a2,a4}\{\vec{a_1}, \vec{a_2}, \vec{a_4}\} が選べます。
a3\vec{a_3}a5\vec{a_5}{a1,a2,a4}\{\vec{a_1}, \vec{a_2}, \vec{a_4}\} の線形結合で表します。簡約化された行列から、
a3=a1+2a2\vec{a_3} = -\vec{a_1} + 2\vec{a_2}
a5=2a1a2+a4\vec{a_5} = 2\vec{a_1} - \vec{a_2} + \vec{a_4}

3. 最終的な答え

1次独立なベクトルの最大個数: r=3r = 3
1次独立なベクトルの組: {a1,a2,a4}\{\vec{a_1}, \vec{a_2}, \vec{a_4}\} (または他の組)
a3=a1+2a2\vec{a_3} = -\vec{a_1} + 2\vec{a_2}
a5=2a1a2+a4\vec{a_5} = 2\vec{a_1} - \vec{a_2} + \vec{a_4}