直和

線形代数の直和(Direct Sum) というのは、２つの部分空間の関係と２つの部分空間から新しい部分空間を作るための演算の両方を表しています。

直和の演算が可能なのは、２つのベクトル空間で共通の要素がゼロベクトルのみである場合だけです。この時２つのベクトル空間の和空間を直和といいます。

和空間とは、ベクトル空間V, W に対して、 ${\bf x} = {\bf v} + {\bf w} (v \in V, w \in W) $　を満たすすべての要素 からなるベクトル空間です。 一般に ${\bf x}$に対して${\bf v}$, ${\bf w}$は一意には定まりませんが、和空間が直和の場合、一意に定まります。この時 ${\bf x}$ に対して ${\bf v}$と${\bf w}$をを直和分解といいます。