Problem: Let $V$ be an inner product space (need not be of finite dimension) and $W \subseteq V$ be a subspace. Let $W^\perp = \{ v \in V : \left\langle v,w \right\rangle = 0,\ \ \forall\ w \in W \} $.
-
Show that $W \subseteq \left( W^\perp \right)^\perp .$
-
Show that the equality need not hold in (A).
-
Show that if $V$ is finite dimensional, then $\left( W^\perp \right)^\perp = W.$