和空間・直和空間・補空間

  $V_{1}$ と $V_{2}$ を ベクトル空間 $V$ の部分空間とするとき、$V_{1}$ のベクトルと $V_{2}$ のベクトルの和の全体から成る集合 もまた $V$ の部分空間となる。 これを和空間 $V_{1}+V_{2}$ という。 $V_{1}$ を $$ \tag{2.1} $$ を基底とするベクトル空間とする。 また、 $V_{2}$ を $$ \tag{2.2} $$ を基底とするベクトル空間とする。 このとき和空間 $V_{1} + V_{2}$ は、 $(2.1)$ と $(2.2)$ の線形結合の全体から成るベクトル空間である。 従って、 $V_{1} + V_{2}$ の任意のベクトル $\mathbf{v}$ は、 と表される。 ここで $C_{1a}$ と $C_{1b}$ と $C_{2a}$ は線形結合の係数である。   和空間 $V_{1}+V_{2}$ の任意のベクトル $\mathbf{v}$ が、 $V_{1}$ のベクトル $\mathbf{v}_{1}$ と $V_{2}$ のベクトル $\mathbf{v}_{1}$ の和によって、 一意に表されるおき、 すなわち、 $$ \tag{3.1} $$ であるとき、 和空間 $V_{1}+V_{2}$ が直和空間であるという。 ここで $\exists!$ は唯一つ存在することを表す記号である。 直和空間は、 と表わされる ($\oplus$ は直和を表す記号)。   部分空間 $V_{1}$ と $V_{2}$ から成る直和空間 $V_{1} \oplus V_{2}$ があるとき、 $V_{2}$ を $V_{1}$ の補空間という。 逆に $V_{1}$ を $V_{2}$ の補空間という。   二つベクトル $$ \tag{5.1} $$ を基底とする $2$ 次元ベクトル空間を $V$ とする。

• $ \mathbf{e}_{1} $ を基底とするベクトル空間を $V_{1}$ とする。 $V_{1}$ は $V$ の部分空間である。
• $ \mathbf{e}_{2} $ を基底とするベクトル空間を $V_{2}$ とする。 $V_{2}$ は $V$ の部分空間である。

定義より和空間 $V_{1}+V_{2}$ の任意のベクトル $\mathbf{v}$ は、 $V_{1}$ のベクトルと $V_{2}$ のベクトルの和で表される。すなわち、 と表される。また、 $\mathbf{v}_{1} \in V_{1}$ と $\mathbf{v}_{2} \in V_{2}$ であるから、 と表せる。 ここで $C_{1}$ と $C_{2}$ は係数である。 以上から、 $$ \tag{5.2} $$ と表される。 この表し方は一意である。それを見るために、$\mathbf{v}$ に他の表し方 $$ \tag{5.3} $$ があると仮定する。 $(5.2)$ と $(5.3)$ が別の表し方であると仮定したので、 $$ \tag{5.4} $$ である。 $(5.2)$ と $(5.3)$ の差をとると、 となるが、 $\mathbf{e}_{1} $ と $\mathbf{e}_{2} $ が線形独立であるので、 が成り立つ (なお線形独立性を証明する一つの方法は $2 \times 2$ 行列 $[\mathbf{e}_{1} \hspace{1mm} \mathbf{e}_{2}]$ の行列式が $0$ でないことを示せばよい)。 これは $(5.4)$ と矛盾する。 したがって、 $\mathbf{v}$ に $(5.2)$ 以外の別の表し方は存在しない。 すなわち、 $\mathbf{v}$ の表し方は一意である。
  以上から、 和空間 $V_{1} + V_{2}$ の任意のベクトルが、 $V_{1}$ と $V_{2}$ に属するベクトルの和によって一意に表されることが示されたので、 和空間 $V_{1} + V_{2}$ は、直和空間 である。 このとき、 $V_{2}$ は $V_{1}$ の補空間であり、 逆に $V_{1}$ は $V_{2}$ の補空間である。   三つのベクトル $$ \tag{6.1} $$ を基底とする $3$ 次元ベクトル空間を $V$ とする (いわゆる $xyz$ の $3$ 次元空間)。

• $ \mathbf{e}_{x} $ と $ \mathbf{e}_{y} $ を基底とするベクトル空間を $V_{1}$ とする。 $V_{1}$ は $V$ の部分空間であり、$xy$ 平面を構成する。
• $ \mathbf{e}_{y} $ と $ \mathbf{e}_{z} $ を基底とするベクトル空間を $V_{2}$ とする。 $V_{2}$ は $V$ の部分空間であり、 $yz$ 平面を構成する。

定義より和空間 $V_{1}+V_{2}$ の任意のベクトル $\mathbf{v}$ は、 $V_{1}$ のベクトルと $V_{2}$ のベクトルの和で表される。すなわち、 $$ \tag{6.2} $$ と表される。また、 $\mathbf{v}_{1} \in V_{1}$ と $\mathbf{v}_{2} \in V_{2}$ であるから、 $\mathbf{v}_{1}$ は $ \mathbf{e}_{x} $ と $ \mathbf{e}_{y} $ の線形結合で表すことができ、 $\mathbf{v}_{2}$ は $ \mathbf{e}_{y} $ と $ \mathbf{e}_{z} $ の線形結合で表すことができる。 すなわち、 と表せる。 ここで $\alpha_{x}$, $\alpha_{y}$, $\beta_{y}$, $\beta_{z}$ は線形結合の係数である。 これらを用いると、 $\mathbf{v}$ は $$ \tag{6.3} $$ と表される。
  一方で、 $ V_{1}$ のベクトル $\tilde{\mathbf{v}}_{1}$ を と定義し ($\gamma_{y}\neq 0$ とする) 、 $ V_{2}$ のベクトル $\tilde{\mathbf{v}}_{2}$ を と定義すると、 であり、 $(6.3)$ より、 $$ \tag{6.4} $$ である。 したがって、 $\mathbf{v}$ には $(6.2)$ と $(6.4)$ の異なる二通りに表し方がある。 すなわち、 和空間 $V_{1} + V_{2}$ のベクトル $\mathbf{v}$ の $V_{1}$ と $V_{2}$ のベクトルの和による表し方が一意ではないので、 $V_{1} + V_{2}$ は直和空間ではない。   $V_{1}$ と $V_{2}$ をベクトル空間 $V$ の部分空間とするとき、 $V_{1}$ の任意のベクトルと $V_{2}$ の任意のベクトルが線形独立であるならば、 和空間 $V_{1}+V_{2}$ は、 直和空間 $ V_{1} \oplus V_{2} $ である。

---

---