第18章 18.26

W1∩W2W_1 \cap W_2 について

[12100110]→[10−100110]\begin{bmatrix} 1 & 2 & 1 & 0 \\ 0 & 1 & 1 & 0 \end{bmatrix} \to \begin{bmatrix} 1 & 0 & -1 & 0 \\ 0 & 1 & 1 & 0 \end{bmatrix}

(xyz)=k(1−11)\begin{pmatrix} x \\ y \\ z \end{pmatrix} = k \begin{pmatrix} 1 \\ -1 \\ 1 \end{pmatrix}

よって次元は1である

2つの部分空間 W1,W2W_1, W_2 に対してそれぞれ

(xyz)=k(10−1)\begin{pmatrix} x \\ y \\ z \end{pmatrix} = k \begin{pmatrix} 1 \\ 0 \\ -1 \end{pmatrix}

(xyz)=k(100)\begin{pmatrix} x \\ y \\ z \end{pmatrix} = k \begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix}

が考えられる

ここで dim⁡(W1+W2)=dim⁡W1+dim⁡W2−dim⁡(W1∩W2)\dim(W_1 + W_2) = \dim W_1 + \dim W_2 - \dim(W_1 \cap W_2) であるので

dim⁡(W1+W2)=2+2−1=3\dim(W_1 + W_2) = 2 + 2 - 1 = 3

よって次元は3である

このとき基底は (10−1)\begin{pmatrix} 1 \\ 0 \\ -1 \end{pmatrix}、(1−11)\begin{pmatrix} 1 \\ -1 \\ 1 \end{pmatrix}、(100)\begin{pmatrix} 1 \\ 0 \\ 0 \end{pmatrix} が求められる

解説: r31bn1z