問題は、与えられた連立一次方程式の解空間 $W$ の次元と基底を求めるというものです。$W$ は $\mathbb{R}^5$ の部分空間であり、 (1) $\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 1 & -1 & 1 & 0 & 2 \\ 2 & 1 & 2 & -1 & 5 \end{bmatrix} x = 0$ (2) $\begin{bmatrix} 2 & 0 & -1 & 3 & 4 \\ 1 & 2 & 3 & 1 & -5 \\ 3 & 1 & 4 & -7 & 10 \end{bmatrix} x = 0$ の解空間として定義されています。

代数学線形代数連立一次方程式解空間次元基底行列の簡約化
2025/6/23

1. 問題の内容

問題は、与えられた連立一次方程式の解空間 WW の次元と基底を求めるというものです。WWR5\mathbb{R}^5 の部分空間であり、
(1) [111111110221215]x=0\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 1 & -1 & 1 & 0 & 2 \\ 2 & 1 & 2 & -1 & 5 \end{bmatrix} x = 0
(2) [2013412315314710]x=0\begin{bmatrix} 2 & 0 & -1 & 3 & 4 \\ 1 & 2 & 3 & 1 & -5 \\ 3 & 1 & 4 & -7 & 10 \end{bmatrix} x = 0
の解空間として定義されています。

2. 解き方の手順

(1)
与えられた行列を簡約化します。
[111111110221215]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 1 & -1 & 1 & 0 & 2 \\ 2 & 1 & 2 & -1 & 5 \end{bmatrix}
まず2行目から1行目を引きます。また3行目から1行目の2倍を引きます。
[111110201101033]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & -2 & 0 & -1 & 1 \\ 0 & -1 & 0 & -3 & 3 \end{bmatrix}
次に3行目を2倍して、2行目を引きます。
[111110201100055]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & -2 & 0 & -1 & 1 \\ 0 & 0 & 0 & -5 & 5 \end{bmatrix}
3行目を-5で割ります。
[111110201100011]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & -2 & 0 & -1 & 1 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
2行目に3行目を足します。
[111110200000011]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & -2 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
2行目を-2で割ります。
[111110100000011]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
1行目から2行目を引きます。
[101110100000011]\begin{bmatrix} 1 & 0 & 1 & 1 & 1 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
1行目から3行目を引きます。
[101020100000011]\begin{bmatrix} 1 & 0 & 1 & 0 & 2 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
簡約化された行列は
[101020100000011]\begin{bmatrix} 1 & 0 & 1 & 0 & 2 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
です。
x1+x3+2x5=0x_1 + x_3 + 2x_5 = 0,
x2=0x_2 = 0,
x4x5=0x_4 - x_5 = 0.
x1=x32x5x_1 = -x_3 - 2x_5, x2=0x_2 = 0, x4=x5x_4 = x_5.
x=[x1x2x3x4x5]=x3[10100]+x5[20011]x = \begin{bmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \\ x_5 \end{bmatrix} = x_3 \begin{bmatrix} -1 \\ 0 \\ 1 \\ 0 \\ 0 \end{bmatrix} + x_5 \begin{bmatrix} -2 \\ 0 \\ 0 \\ 1 \\ 1 \end{bmatrix}.
よって、基底は [10100],[20011]\begin{bmatrix} -1 \\ 0 \\ 1 \\ 0 \\ 0 \end{bmatrix}, \begin{bmatrix} -2 \\ 0 \\ 0 \\ 1 \\ 1 \end{bmatrix} であり、次元は 2 です。
(2)
[2013412315314710]\begin{bmatrix} 2 & 0 & -1 & 3 & 4 \\ 1 & 2 & 3 & 1 & -5 \\ 3 & 1 & 4 & -7 & 10 \end{bmatrix}
1行目と2行目を入れ替えます。
[1231520134314710]\begin{bmatrix} 1 & 2 & 3 & 1 & -5 \\ 2 & 0 & -1 & 3 & 4 \\ 3 & 1 & 4 & -7 & 10 \end{bmatrix}
2行目から1行目の2倍を引きます。また3行目から1行目の3倍を引きます。
[123150471140551025]\begin{bmatrix} 1 & 2 & 3 & 1 & -5 \\ 0 & -4 & -7 & 1 & 14 \\ 0 & -5 & -5 & -10 & 25 \end{bmatrix}
2行目を-4で割ります。
[12315017414720551025]\begin{bmatrix} 1 & 2 & 3 & 1 & -5 \\ 0 & 1 & \frac{7}{4} & -\frac{1}{4} & -\frac{7}{2} \\ 0 & -5 & -5 & -10 & 25 \end{bmatrix}
3行目に2行目の5倍を足します。
[123150174147200154454152]\begin{bmatrix} 1 & 2 & 3 & 1 & -5 \\ 0 & 1 & \frac{7}{4} & -\frac{1}{4} & -\frac{7}{2} \\ 0 & 0 & \frac{15}{4} & -\frac{45}{4} & -\frac{15}{2} \end{bmatrix}
3行目を154\frac{15}{4}で割ります。
[123150174147200132]\begin{bmatrix} 1 & 2 & 3 & 1 & -5 \\ 0 & 1 & \frac{7}{4} & -\frac{1}{4} & -\frac{7}{2} \\ 0 & 0 & 1 & -3 & -2 \end{bmatrix}
2行目から3行目の74\frac{7}{4}倍を引きます。
[1231501052000132]\begin{bmatrix} 1 & 2 & 3 & 1 & -5 \\ 0 & 1 & 0 & \frac{5}{2} & 0 \\ 0 & 0 & 1 & -3 & -2 \end{bmatrix}
1行目から3行目の3倍を引きます。
[12010101052000132]\begin{bmatrix} 1 & 2 & 0 & 10 & 1 \\ 0 & 1 & 0 & \frac{5}{2} & 0 \\ 0 & 0 & 1 & -3 & -2 \end{bmatrix}
1行目から2行目の2倍を引きます。
[1005101052000132]\begin{bmatrix} 1 & 0 & 0 & 5 & 1 \\ 0 & 1 & 0 & \frac{5}{2} & 0 \\ 0 & 0 & 1 & -3 & -2 \end{bmatrix}
簡約化された行列は
[1005101052000132]\begin{bmatrix} 1 & 0 & 0 & 5 & 1 \\ 0 & 1 & 0 & \frac{5}{2} & 0 \\ 0 & 0 & 1 & -3 & -2 \end{bmatrix}
です。
x1+5x4+x5=0x_1 + 5x_4 + x_5 = 0,
x2+52x4=0x_2 + \frac{5}{2}x_4 = 0,
x33x42x5=0x_3 - 3x_4 - 2x_5 = 0.
x1=5x4x5x_1 = -5x_4 - x_5, x2=52x4x_2 = -\frac{5}{2}x_4, x3=3x4+2x5x_3 = 3x_4 + 2x_5.
x=[x1x2x3x4x5]=x4[552310]+x5[10201]x = \begin{bmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \\ x_5 \end{bmatrix} = x_4 \begin{bmatrix} -5 \\ -\frac{5}{2} \\ 3 \\ 1 \\ 0 \end{bmatrix} + x_5 \begin{bmatrix} -1 \\ 0 \\ 2 \\ 0 \\ 1 \end{bmatrix}.
よって、基底は [552310],[10201]\begin{bmatrix} -5 \\ -\frac{5}{2} \\ 3 \\ 1 \\ 0 \end{bmatrix}, \begin{bmatrix} -1 \\ 0 \\ 2 \\ 0 \\ 1 \end{bmatrix} であり、次元は 2 です。

3. 最終的な答え

(1) 次元: 2, 基底: [10100],[20011]\begin{bmatrix} -1 \\ 0 \\ 1 \\ 0 \\ 0 \end{bmatrix}, \begin{bmatrix} -2 \\ 0 \\ 0 \\ 1 \\ 1 \end{bmatrix}
(2) 次元: 2, 基底: [552310],[10201]\begin{bmatrix} -5 \\ -\frac{5}{2} \\ 3 \\ 1 \\ 0 \end{bmatrix}, \begin{bmatrix} -1 \\ 0 \\ 2 \\ 0 \\ 1 \end{bmatrix}

「代数学」の関連問題

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

因数分解立方和多項式
2025/6/23

二次関数 $y = -2x^2 - 4x + 1$ の $-2 \le x < 1$ の範囲における最大値と最小値を求める。

二次関数最大値最小値平方完成定義域
2025/6/23

$x = \sqrt{5} + \sqrt{2}$、 $y = \sqrt{5} - \sqrt{2}$ のとき、以下の値を求めます。 (1) $xy$ (2) $x^2 - y^2$ (3) $x^...

式の計算因数分解平方根展開
2025/6/23

与えられた2次関数 $y = -x^2 + 2x - 3$ について、x軸との共有点の有無を2つの方法で調べ、空欄ア~エに適切な数や言葉を記入する。

二次関数二次方程式判別式平方完成グラフ
2025/6/23

$\sum_{k=1}^{n-1} 2k$ を計算せよ。

シグマ数列等差数列公式
2025/6/23

以下の3つの2次不等式を解く問題です。 (5) $x^2 - 3x + 4 > 0$ (6) $x^2 + 4x + 6 < 0$ (7) $-x^2 - x + 2 \le 0$

二次不等式判別式不等式
2025/6/23

与えられた6つの2次関数について、最大値または最小値があれば、それらを求める問題です。

二次関数平方完成最大値最小値グラフ
2025/6/23

(3) $x^2 + 10x + 25 \leq 0$ (4) $x^2 - 16x + 64 < 0$ 上記2つの不等式を解きます。

二次不等式因数分解不等式
2025/6/23

次の8つの式を因数分解します。 (1) $3x^2 - 10xy - 8y^2$ (2) $(x+2y)^2 - 5(x+2y)z + 6z^2$ (3) $x^4 - 13x^2 + 36$ (4)...

因数分解多項式二次式三次式
2025/6/23

二次不等式 $x^2 - 6x + 9 \geq 0$ を解いてください。

二次不等式因数分解不等式実数
2025/6/23