# Homework Help: Othogonal complement of a span

1. Aug 28, 2007

### jOc3

1. The problem statement, all variables and given/known data
Show that <S>$$^{\bot}$$=S$$^{\bot}$$

2. Relevant equations

3. The attempt at a solution
I manage to show S$$^{\bot}$$$$\subseteq$$<S>$$^{\bot}$$.
What about the other way round? Any way of proving without using the concept of basis?

Last edited: Aug 28, 2007
2. Aug 28, 2007

### siddharth

You need to prove that $$span(S)^{\bot}$$ is a subset of $$S^{\bot}$$. However, you know that $$S \subseteq span(S)$$. So, given the latter, try to prove the former.

Last edited: Aug 28, 2007
3. Aug 28, 2007

### jOc3

This is what I come out with:

Let y$$\in$$<S>$$^{\bot}$$, then <y,w>=0, for all w$$\in$$<S>.
But S$$\subseteq$$<S>.
Hence for y$$\in$$<S>$$^{\bot}$$, then <y,w>=0, for all w$$\in$$S.
Hence y$$\in$$S$$^{\bot}$$.
Hence <S>$$^{\bot}$$$$\subseteq$$S$$^{\bot}$$.

Is it correct? Or should I say "for some w"?