Othogonal complement of a span

  • Thread starter Thread starter jOc3
  • Start date Start date
  • Tags Tags
    Span
jOc3
Messages
6
Reaction score
0

Homework Statement


Show that <S>^{\bot}=S^{\bot}

Homework Equations





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:
Physics news on Phys.org
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:
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\inS.
Hence y\inS^{\bot}.
Hence <S>^{\bot}\subseteqS^{\bot}.

Is it correct? Or should I say "for some w"?
 
Thread 'Use greedy vertex coloring algorithm to prove the upper bound of χ'
Hi! I am struggling with the exercise I mentioned under "Homework statement". The exercise is about a specific "greedy vertex coloring algorithm". One definition (which matches what my book uses) can be found here: https://people.cs.uchicago.edu/~laci/HANDOUTS/greedycoloring.pdf Here is also a screenshot of the relevant parts of the linked PDF, i.e. the def. of the algorithm: Sadly I don't have much to show as far as a solution attempt goes, as I am stuck on how to proceed. I thought...
Back
Top