直和空間

体 $K$ 上のベクトル空間である $W_{1} , W_{2}$ において,\[W_{1} \cap W_{2}\] かつ,$W_{1}$ と $W_{2}$ の任意の元が直交する和空間のこと.
直和空間は,\[W_{1} \oplus W_{2}\]と表される.