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