$W_1$と$W_2$を$\mathbb{R}^4$の部分空間とするとき、$W_1 \cap W_2$の基底と$W_1 + W_2$の次元を求める。 $W_1 = \langle \begin{bmatrix} 2 \\ 1 \\ 1 \\ 0 \end{bmatrix}, \begin{bmatrix} 2 \\ -1 \\ -3 \\ 2 \end{bmatrix} \rangle$ $W_2 = \langle \begin{bmatrix} 2 \\ 1 \\ -2 \\ 3 \end{bmatrix}, \begin{bmatrix} 1 \\ 1 \\ 0 \\ 1 \end{bmatrix} \rangle$

代数学線形代数部分空間基底次元
2025/7/15

1. 問題の内容

W1W_1W2W_2R4\mathbb{R}^4の部分空間とするとき、W1W2W_1 \cap W_2の基底とW1+W2W_1 + W_2の次元を求める。
W1=[2110],[2132]W_1 = \langle \begin{bmatrix} 2 \\ 1 \\ 1 \\ 0 \end{bmatrix}, \begin{bmatrix} 2 \\ -1 \\ -3 \\ 2 \end{bmatrix} \rangle
W2=[2123],[1101]W_2 = \langle \begin{bmatrix} 2 \\ 1 \\ -2 \\ 3 \end{bmatrix}, \begin{bmatrix} 1 \\ 1 \\ 0 \\ 1 \end{bmatrix} \rangle

2. 解き方の手順

まず、W1W2W_1 \cap W_2 の基底を求める。
W1W2W_1 \cap W_2 に属する任意のベクトルは、ある実数 a,b,c,da, b, c, d を用いて、
a[2110]+b[2132]=c[2123]+d[1101]a \begin{bmatrix} 2 \\ 1 \\ 1 \\ 0 \end{bmatrix} + b \begin{bmatrix} 2 \\ -1 \\ -3 \\ 2 \end{bmatrix} = c \begin{bmatrix} 2 \\ 1 \\ -2 \\ 3 \end{bmatrix} + d \begin{bmatrix} 1 \\ 1 \\ 0 \\ 1 \end{bmatrix}
と表せる。これを成分ごとに書くと、
2a+2b=2c+d2a + 2b = 2c + d
ab=c+da - b = c + d
a3b=2ca - 3b = -2c
2b=3c+d2b = 3c + d
これらの式を行列で表すと
[2221111113200231][abcd]=[0000]\begin{bmatrix} 2 & 2 & -2 & -1 \\ 1 & -1 & -1 & -1 \\ 1 & -3 & 2 & 0 \\ 0 & 2 & -3 & -1 \end{bmatrix} \begin{bmatrix} a \\ b \\ c \\ d \end{bmatrix} = \begin{bmatrix} 0 \\ 0 \\ 0 \\ 0 \end{bmatrix}
この連立一次方程式を解く。
[1111222113200231][1111040102310231][1111040100630063][111104010021]\begin{bmatrix} 1 & -1 & -1 & -1 \\ 2 & 2 & -2 & -1 \\ 1 & -3 & 2 & 0 \\ 0 & 2 & -3 & -1 \end{bmatrix} \rightarrow \begin{bmatrix} 1 & -1 & -1 & -1 \\ 0 & 4 & 0 & 1 \\ 0 & -2 & 3 & 1 \\ 0 & 2 & -3 & -1 \end{bmatrix} \rightarrow \begin{bmatrix} 1 & -1 & -1 & -1 \\ 0 & 4 & 0 & 1 \\ 0 & 0 & 6 & 3 \\ 0 & 0 & -6 & -3 \end{bmatrix} \rightarrow \begin{bmatrix} 1 & -1 & -1 & -1 \\ 0 & 4 & 0 & 1 \\ 0 & 0 & 2 & 1 \end{bmatrix}
よって、2c=d2c = -d, 4b=d4b = -d なので、d=2cd = -2c, b=14d=12cb = -\frac{1}{4} d = \frac{1}{2} c.
abcd=0a - b - c - d = 0 より a=b+c+d=12c+c2c=12ca = b + c + d = \frac{1}{2}c + c -2c = -\frac{1}{2} c.
a=12ca = -\frac{1}{2}c, b=12cb = \frac{1}{2}c, d=2cd = -2c
a[2110]+b[2132]=12c[2110]+12c[2132]=c[0121]a \begin{bmatrix} 2 \\ 1 \\ 1 \\ 0 \end{bmatrix} + b \begin{bmatrix} 2 \\ -1 \\ -3 \\ 2 \end{bmatrix} = -\frac{1}{2}c \begin{bmatrix} 2 \\ 1 \\ 1 \\ 0 \end{bmatrix} + \frac{1}{2} c \begin{bmatrix} 2 \\ -1 \\ -3 \\ 2 \end{bmatrix} = c \begin{bmatrix} 0 \\ -1 \\ -2 \\ 1 \end{bmatrix}
したがって、W1W2=[0121]W_1 \cap W_2 = \langle \begin{bmatrix} 0 \\ -1 \\ -2 \\ 1 \end{bmatrix} \rangle であり、その基底は[0121]\begin{bmatrix} 0 \\ -1 \\ -2 \\ 1 \end{bmatrix} である。よって、dim(W1W2)=1\dim(W_1 \cap W_2) = 1
次に、W1+W2W_1 + W_2 の次元を求める。
dim(W1+W2)=dim(W1)+dim(W2)dim(W1W2)\dim(W_1 + W_2) = \dim(W_1) + \dim(W_2) - \dim(W_1 \cap W_2)
dim(W1)=2\dim(W_1) = 2W1W_1 の基底は [2110]\begin{bmatrix} 2 \\ 1 \\ 1 \\ 0 \end{bmatrix}, [2132]\begin{bmatrix} 2 \\ -1 \\ -3 \\ 2 \end{bmatrix}
dim(W2)=2\dim(W_2) = 2W2W_2 の基底は [2123]\begin{bmatrix} 2 \\ 1 \\ -2 \\ 3 \end{bmatrix}, [1101]\begin{bmatrix} 1 \\ 1 \\ 0 \\ 1 \end{bmatrix}
dim(W1W2)=1\dim(W_1 \cap W_2) = 1
よって、dim(W1+W2)=2+21=3\dim(W_1 + W_2) = 2 + 2 - 1 = 3

3. 最終的な答え

W1W2W_1 \cap W_2 の基底: [0121]\begin{bmatrix} 0 \\ -1 \\ -2 \\ 1 \end{bmatrix}
W1+W2W_1 + W_2 の次元: 3

「代数学」の関連問題

(i) アには64の平方根として当てはまるものを、イには$\sqrt{(-8)^2}$として当てはまるものを選択肢①〜③から選びます。 (ii) $\frac{\sqrt{7}-\sqrt{18}}{...

平方根根号の計算有理化
2025/7/17

次の方程式を解きます。 $|x-3| = 2x$

絶対値方程式一次方程式不等式
2025/7/17

3次方程式 $x^3 - 12x - a = 0$ が異なる3つの実数解を持つような定数 $a$ の値の範囲と、異なる2つの負の解と1つの正の解を持つような定数 $a$ の値の範囲を求めます。

三次方程式実数解微分極値
2025/7/17

平面の標準基底 $\{e_1, e_2\}$ に関して、一次変換 $f$ が $f(2e_1 + 3e_2) = 10e_1 + 9e_2$、 $f(-3e_1 - 5e_2) = -14e_1 - ...

線形代数一次変換表現行列固有値固有ベクトル
2025/7/17

問題は $\sqrt{10 - \sqrt{5}}$ の値を求めることです。

根号二重根号式の計算平方根
2025/7/17

方程式 $(\log_2 x)^2 + 2\log_2 x - 8 = 0$ を解く問題です。

対数方程式二次方程式解の公式対数関数
2025/7/17

(i) $a < b$ のとき、$-\frac{1}{2}a + 4$ と $-\frac{1}{2}b + 1$ の大小関係を不等号で表す。 (ii) 不等式 $-3x + 2 \geq \frac...

不等式一次不等式大小関係
2025/7/17

(7) $xy - 2x + 3y - 1 = 0$ を満たす整数 $x, y$ の組を全て求めよ。 (8) $x^2 - y^2 = 24$ を満たす自然数 $x, y$ の組を全て求めよ。 (9)...

整数問題因数分解方程式
2025/7/17

3. (1) $x^2 - 9xy + 14y^2$ を因数分解する。 3. (2) $a^2 - ab - 72b^2$ を因数分解する。 3. (3) $49x^2 + 14x + 1$ を因数分...

因数分解多項式
2025/7/17

与えられた2つの行列について、それぞれの固有値と固有ベクトルを求める問題です。 (1) $\begin{pmatrix} 7 & -6 \\ 3 & -2 \end{pmatrix}$ (2) $\b...

線形代数固有値固有ベクトル行列
2025/7/17