## 1. 問題の内容

代数学線形代数ベクトル空間次元基底零空間行列の簡約化連立一次方程式多項式
2025/6/27
##

1. 問題の内容

与えられたベクトル空間 WW について、その次元と基底を求める問題です。具体的には、(a)から(f)までの6つの部分問題があります。
(a) W={xR5Ax=0}W = \{x \in \mathbb{R}^5 \mid Ax = 0 \} で、AA は与えられた行列。
(b) W={xR5Ax=0}W = \{x \in \mathbb{R}^5 \mid Ax = 0 \} で、AA は与えられた行列。
(c) W={xR3x1+2x2x3=0,3x13x2+2x3=0}W = \{x \in \mathbb{R}^3 \mid x_1 + 2x_2 - x_3 = 0, 3x_1 - 3x_2 + 2x_3 = 0 \}
(d) W={xR4x1+x2x3+x4=0,3x1+x2+2x3x4=0}W = \{x \in \mathbb{R}^4 \mid x_1 + x_2 - x_3 + x_4 = 0, 3x_1 + x_2 + 2x_3 - x_4 = 0 \}
(e) W={f(x)R[x]3f(1)=0,f(1)=0}W = \{f(x) \in \mathbb{R}[x]_3 \mid f(1) = 0, f'(1) = 0 \}
(f) W={f(x)R[x]3f(1)=0,f(1)=0}W = \{f(x) \in \mathbb{R}[x]_3 \mid f(1) = 0, f(-1) = 0 \}
##

2. 解き方の手順

(a) と (b) は、行列 AA の零空間を求める問題です。行列を簡約化し、自由変数の数を数えることで次元がわかります。基底は、自由変数を1つずつ1に、残りを0にして得られる解を並べたものです。
(c) と (d) は、連立一次方程式の解空間を求める問題です。連立一次方程式を解き、自由変数の数を数えることで次元がわかります。基底は、自由変数を1つずつ1に、残りを0にして得られる解を並べたものです。
(e) と (f) は、多項式空間の部分空間を求める問題です。条件を満たす多項式の一般形を求め、それを基に基底を構成します。
以下、(a), (c), (e) について詳細に解答します。
**(a)**
与えられた行列は、
A=[111111110221215]A = \begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 1 & -1 & 1 & 0 & 2 \\ 2 & 1 & 2 & -1 & 5 \end{bmatrix}
この行列を簡約化します。
まず2行目から1行目を引きます。
[111110201121215]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & -2 & 0 & -1 & 1 \\ 2 & 1 & 2 & -1 & 5 \end{bmatrix}
次に3行目から1行目の2倍を引きます。
[111110201101033]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & -2 & 0 & -1 & 1 \\ 0 & -1 & 0 & -3 & 3 \end{bmatrix}
2行目と3行目を入れ替えます。
[111110103302011]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & -1 & 0 & -3 & 3 \\ 0 & -2 & 0 & -1 & 1 \end{bmatrix}
2行目に-1をかけます。
[111110103302011]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & 1 & 0 & 3 & -3 \\ 0 & -2 & 0 & -1 & 1 \end{bmatrix}
3行目に2行目の2倍を加えます。
[111110103300055]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & 1 & 0 & 3 & -3 \\ 0 & 0 & 0 & 5 & -5 \end{bmatrix}
3行目を5で割ります。
[111110103300011]\begin{bmatrix} 1 & 1 & 1 & 1 & 1 \\ 0 & 1 & 0 & 3 & -3 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
1行目から2行目を引きます。
[101240103300011]\begin{bmatrix} 1 & 0 & 1 & -2 & 4 \\ 0 & 1 & 0 & 3 & -3 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
1行目に3行目の2倍を加えます。
[101020103300011]\begin{bmatrix} 1 & 0 & 1 & 0 & 2 \\ 0 & 1 & 0 & 3 & -3 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
2行目から3行目の3倍を引きます。
[101020100000011]\begin{bmatrix} 1 & 0 & 1 & 0 & 2 \\ 0 & 1 & 0 & 0 & 0 \\ 0 & 0 & 0 & 1 & -1 \end{bmatrix}
ランクは3なので、自由変数は2つです。次元は2です。
基底を求めるには、x3=sx_3 = sx5=tx_5 = t と置きます。すると、x1=s2tx_1 = -s - 2t, x2=0x_2 = 0, x4=tx_4 = t となります。
従って、
[x1x2x3x4x5]=s[10100]+t[20011]\begin{bmatrix} x_1 \\ x_2 \\ x_3 \\ x_4 \\ x_5 \end{bmatrix} = s \begin{bmatrix} -1 \\ 0 \\ 1 \\ 0 \\ 0 \end{bmatrix} + t \begin{bmatrix} -2 \\ 0 \\ 0 \\ 1 \\ 1 \end{bmatrix}
**(c)**
x1+2x2x3=0x_1 + 2x_2 - x_3 = 0
3x13x2+2x3=03x_1 - 3x_2 + 2x_3 = 0
この連立一次方程式を解きます。1つ目の式を3倍して2つ目の式から引きます。
9x2+5x3=0-9x_2 + 5x_3 = 0, つまり 9x2=5x39x_2 = 5x_3.
x2=59x3x_2 = \frac{5}{9}x_3.
x1=x32x2=x3109x3=19x3x_1 = x_3 - 2x_2 = x_3 - \frac{10}{9}x_3 = -\frac{1}{9}x_3.
したがって、
[x1x2x3]=x3[19591]\begin{bmatrix} x_1 \\ x_2 \\ x_3 \end{bmatrix} = x_3 \begin{bmatrix} -\frac{1}{9} \\ \frac{5}{9} \\ 1 \end{bmatrix}
次元は1です。
基底は [159]\begin{bmatrix} -1 \\ 5 \\ 9 \end{bmatrix} など。
**(e)**
f(x)=ax3+bx2+cx+df(x) = ax^3 + bx^2 + cx + d
f(1)=a+b+c+d=0f(1) = a + b + c + d = 0
f(x)=3ax2+2bx+cf'(x) = 3ax^2 + 2bx + c
f(1)=3a+2b+c=0f'(1) = 3a + 2b + c = 0
a+b+c+d=0a + b + c + d = 0 から d=abcd = -a - b - c
3a+2b+c=03a + 2b + c = 0 から c=3a2bc = -3a - 2b
d=ab(3a2b)=2a+bd = -a - b - (-3a - 2b) = 2a + b
f(x)=ax3+bx2+(3a2b)x+(2a+b)=a(x33x+2)+b(x22x+1)=a(x1)2(x+2)+b(x1)2f(x) = ax^3 + bx^2 + (-3a - 2b)x + (2a + b) = a(x^3 - 3x + 2) + b(x^2 - 2x + 1) = a(x-1)^2(x+2) + b(x-1)^2
次元は2です。
基底は (x1)2(x+2)(x-1)^2(x+2), (x1)2(x-1)^2
##

3. 最終的な答え

(a) 次元: 2, 基底: [10100]\begin{bmatrix} -1 \\ 0 \\ 1 \\ 0 \\ 0 \end{bmatrix}, [20011]\begin{bmatrix} -2 \\ 0 \\ 0 \\ 1 \\ 1 \end{bmatrix}
(c) 次元: 1, 基底: [159]\begin{bmatrix} -1 \\ 5 \\ 9 \end{bmatrix}
(e) 次元: 2, 基底: (x1)2(x+2)(x-1)^2(x+2), (x1)2(x-1)^2

「代数学」の関連問題

$a+b+c=0$ のとき、$a^2+ca=b^2+bc$ を証明する。

式の証明因数分解式の展開等式の証明
2025/6/27

$a+b+c=0$のとき、次の等式を証明します。 $ab(a+b)+bc(b+c)+ca(c+a)+3abc = 0$

等式の証明式の展開因数分解対称式
2025/6/27

与えられた3つの行列の逆行列を求める問題です。 (1) $A = \begin{pmatrix} 2 & 5 \\ 4 & 9 \end{pmatrix}$ (2) $B = \begin{pmatr...

行列逆行列線形代数
2025/6/27

与えられた3つの行列の逆行列を求める問題です。 (1) $A = \begin{pmatrix} 2 & 5 \\ 4 & 9 \end{pmatrix}$ (2) $B = \begin{pmatr...

行列逆行列線形代数
2025/6/27

行列 $A = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}$ を対角化せよ。

線形代数行列対角化固有値固有ベクトル複素数
2025/6/27

与えられた3つの行列の逆行列を求める問題です。 (1) $A = \begin{pmatrix} 2 & 5 \\ 4 & 9 \end{pmatrix}$ (2) $B = \begin{pmatr...

行列逆行列線形代数
2025/6/27

与えられた置換 $ \begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 & 7 & 8 & 9 \\ 3 & 4 & 1 & 9 & 8 & 6 & 5 & 7 & 2 \en...

置換巡回置換置換の符号置換群
2025/6/27

与えられた置換の積を計算し、結果を互換の積で表す問題です。具体的には、以下の2つの問題があります。 (1) $\begin{pmatrix} 1 & 2 & 3 \\ 3 & 1 & 2 \end{p...

置換置換の積互換
2025/6/27

次の3つの等式を証明します。 (1) $a^3 - b^3 = (a-b)^3 + 3ab(a-b)$ (2) $a^2 + ab + b^2 = (a + \frac{b}{2})^2 + \fra...

式の展開等式の証明因数分解代数
2025/6/27

与えられた数列の和を求める問題です。具体的には、$\sum_{k=1}^{n} (4k^2 + 1)$ を計算します。

数列シグマ級数計算
2025/6/27