Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Problem

Let $V$ be a real inner product space and $U \subset V$. Show that $(U^{\perp})^{\perp}=U$.

Progress

Clearly for $x\in U$ we have that $\langle x,v \rangle=0$ for all $v \in U^{\perp}$. This immediately yields that $x \in (U^{\perp})^{\perp}$ and so $U \subset (U^{\perp})^{\perp}$.

Taking $x \in (U^{\perp})^{\perp}$, we have that $\langle x,v \rangle=0$ for all $v \in U^{\perp}$. Not sure how to move it on from here though; any assistance would be much appreciated. Regards.

share|improve this question
    
The answers below assume $V$ is finite dimensional; which is ok, since that's what your question seems to be assuming. –  David Mitra Dec 16 '11 at 12:37
1  
Indeed it is false for e.g. an infinite dimensional Hilbert space $V$ with a proper dense subspace $W$. This is because the orthogonal complement of a subset in a Hilbert space is always closed, so we have that $W^{\perp\perp} = \overline{W}$. –  kahen Dec 16 '11 at 13:34
add comment

3 Answers

up vote 3 down vote accepted

Since you already know that $U\subseteq U^{\perp\perp}$, it will suffice that these two spaces have the same dimension. Since $$\dim(U^{\perp\perp})=\dim(V)-\dim(U^\perp)=\dim(V)-\dim(V)+\dim(U)=\dim(U),$$ you are done.

share|improve this answer
add comment

If $\dim V = n$ and $\dim U = k$, then $\dim U^\perp = n-k$. Then argue using orthonormal basis.

share|improve this answer
add comment

Hint: use the orthogonal decomposition $V=U\oplus U^\perp$.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.