임의의 v∈V에 대해 v=w1+w2를 만족하는 각각 유일한 원소  w1∈W1,  w2∈W2 가 각각 유일하게 존재할 때 V=W1⊕W2라 하자.


Inner prodect space V와 V의 유한차원인 subspace인 W에 대해서 V=W⊕(W perp) ( W perp는 W의 orthogonal complement)라고 하던데

여기서  W가 무한차원일 때도 성립함?