与えられた$W$がベクトル空間$R[x]_3$の部分空間であるかどうかを判定する問題です。ここで、$R[x]_3$は次数が3以下の実数係数多項式全体からなるベクトル空間を表します。 (a) $W = \{f(x) \in R[x]_3 \mid f(0) = 0, f(1) = 0\}$ (b) $W = \{f(x) \in R[x]_3 \mid f(0) = 1, f(1) = 0\}$ (c) $W = \{f(x) \in R[x]_3 \mid f(3) = 0, f(2) = 0\}$ (d) $W = \{f(x) \in R[x]_3 \mid f(1) \le 0, f(2) = 0\}$ (e) $W = \{f(x) \in R[x]_3 \mid f(3) = 0, f(1) = 0\}$ (f) $W = \{f(x) \in R[x]_3 \mid f''(x) - 2xf'(x) = 0\}$
2025/6/13
1. 問題の内容
与えられたがベクトル空間の部分空間であるかどうかを判定する問題です。ここで、は次数が3以下の実数係数多項式全体からなるベクトル空間を表します。
(a)
(b)
(c)
(d)
(e)
(f)
2. 解き方の手順
部分空間であるためには、以下の3つの条件を満たす必要があります。
1. ゼロベクトルが含まれる。
2. スカラー倍について閉じている。
3. 和について閉じている。
以下、それぞれの場合について検証します。
(a)
* ゼロベクトル:ゼロ多項式 は かつ を満たすので、 に含まれます。
* スカラー倍: ならば かつ です。任意のスカラー に対して、 かつ なので、 です。
* 和: ならば かつ です。このとき、 かつ なので、 です。
したがって、 は部分空間です。
(b)
* ゼロベクトル:ゼロ多項式 は なので、 です。
したがって、 は部分空間ではありません。
(c)
* ゼロベクトル:ゼロ多項式 は かつ を満たすので、 に含まれます。
* スカラー倍: ならば かつ です。任意のスカラー に対して、 かつ なので、 です。
* 和: ならば かつ です。このとき、 かつ なので、 です。
したがって、 は部分空間です。
(d)
* ゼロベクトル:ゼロ多項式 は かつ を満たすので、 に含まれます。
* スカラー倍: ならば かつ です。 とすると、 となる可能性があります。したがって、 は必ずしも に含まれません。
例えば、 は ではないので条件を満たさない。仮に, となる を考えると、. が正の数だと条件を満たさない。
したがって、 は部分空間ではありません。
(e)
* ゼロベクトル:ゼロ多項式 は かつ を満たすので、 に含まれます。
* スカラー倍: ならば かつ です。任意のスカラー に対して、 かつ なので、 です。
* 和: ならば かつ です。このとき、 かつ なので、 です。
したがって、 は部分空間です。
(f)
* ゼロベクトル:ゼロ多項式 ならば、 かつ なので、 を満たします。したがって、 に含まれます。
* スカラー倍: ならば です。任意のスカラー に対して、 なので、 です。
* 和: ならば かつ です。このとき、 なので、 です。
したがって、 は部分空間です。
3. 最終的な答え
(a) 部分空間である。
(b) 部分空間ではない。
(c) 部分空間である。
(d) 部分空間ではない。
(e) 部分空間である。
(f) 部分空間である。