与えられた各 $W$ が、ベクトル空間 $\mathbb{R}[x]_3$ の部分空間であるかどうかを判定します。ここで、$\mathbb{R}[x]_3$ は実数係数の3次以下の多項式全体のなすベクトル空間を表します。部分空間であるための条件は、(1) 零ベクトルを含む、(2) スカラー倍で閉じる、(3) 和で閉じる、の3つです。
2025/6/17
1. 問題の内容
与えられた各 が、ベクトル空間 の部分空間であるかどうかを判定します。ここで、 は実数係数の3次以下の多項式全体のなすベクトル空間を表します。部分空間であるための条件は、(1) 零ベクトルを含む、(2) スカラー倍で閉じる、(3) 和で閉じる、の3つです。
2. 解き方の手順
(a)
* 零ベクトル: は を満たすので、 に含まれます。
* スカラー倍: ならば、 かつ です。任意のスカラー に対して、 かつ となるので、 です。
* 和: ならば、 かつ です。したがって、 かつ となるので、 です。
結論: は部分空間です。
(b)
* 零ベクトル: は を満たさないので、 に含まれません。
結論: は部分空間ではありません。
(c)
* 零ベクトル: は を満たすので、 に含まれます。
* スカラー倍: ならば、 かつ です。任意のスカラー に対して、 かつ となるので、 です。
* 和: ならば、 かつ です。したがって、 かつ となるので、 です。
結論: は部分空間です。
(d)
* 零ベクトル: は を満たすので、 に含まれます。
* スカラー倍: ならば、 かつ です。 とすると、 となり、 に含まれない場合があります。
結論: は部分空間ではありません。
(e)
* 零ベクトル: は を満たすので、 に含まれます。
* スカラー倍: ならば、 かつ です。任意のスカラー に対して、 かつ となるので、 です。
* 和: ならば、 かつ です。したがって、 かつ となるので、 です。
結論: は部分空間です。
(f)
* 零ベクトル: とすると、 より、 を満たすので、 に含まれます。
* スカラー倍: ならば、 です。任意のスカラー に対して、 となるので、 です。
* 和: ならば、 かつ です。したがって、 となるので、 です。
結論: は部分空間です。
3. 最終的な答え
(a) 部分空間である
(b) 部分空間ではない
(c) 部分空間である
(d) 部分空間ではない
(e) 部分空間である
(f) 部分空間である