직합(direct sum)

벡터공간 $V$의 부분공간 $W_{1}$, $W_{2}$에 대하여

(1) $W_{1}\cap W_{2}=\left\{ 0\right\}$

(2) $V=W_{1}+W_{2}$

를 만족할 때, $V$는 $W_{1}$, $W_{2}$의 직합(direct sum)이라 하고 $V=W_{1}\oplus W_{2}$으로 표현한다.