# Thread: Subspaces and Orthogonal Complements

1. ## Subspaces and Orthogonal Complements

If a subspace S is contained in a subspace V, prove that the orthogonal complement of S contains the orthogonal complement of V.

I'm really not sure how to go about this. I think that if V contains S, then S must have a smaller dimension than V, and since one orthogonal complement should also be contained by the other, it would make sense that S(perp) contains V(perp) else there would be too many dimensions in them, but I don't know how to explicitly prove this (sorry if that explanation was confusing, I'm not really even sure of it).

2. Originally Posted by uberbandgeek6
If a subspace S is contained in a subspace V, prove that the orthogonal complement of S contains the orthogonal complement of V.

I'm really not sure how to go about this. I think that if V contains S, then S must have a smaller dimension than V, and since one orthogonal complement should also be contained by the other, it would make sense that S(perp) contains V(perp) else there would be too many dimensions in them, but I don't know how to explicitly prove this (sorry if that explanation was confusing, I'm not really even sure of it).
Let $v\in V^{\perp}$ then given any $v'\in V$ we have that $\langle v,v'\rangle =0$. But, since $S\subseteq V$ we see in particular that $\langle s,v\rangle =0$ for every $s\in S$ . Thus $V^{\perp}\subseteq S^{\perp}$