首先,对所有x属于W,x垂直于所有W⊥中的元素,所以x属于(W⊥)⊥,所以W⊂(W⊥)⊥.
然后,因为是有限维度,所以dim(W⊥) + dim((W⊥)⊥) = dim(X),而且dim(W) + dim(W⊥) = dim(X).(X是整个空间)
所以dim((W⊥)⊥)=dim(W)