Do Orthogonal Subsets Spanning the Same Subspace Prove Equality?

  • Context: Graduate 
  • Thread starter Thread starter NATURE.M
  • Start date Start date
  • Tags Tags
    Subspaces
Join the discussion
Ask a follow-up here, or get your own question answered by working scientists, mathematicians and engineers — people, not an autocomplete.
Real named experts · corrections over time · the nuance an AI answer skips
4 replies · 2K views
NATURE.M
Messages
298
Reaction score
0
If I want to show two orthogonal subsets S[itex]_{1}[/itex] and S[itex]_{2}[/itex] of ℝ[itex]^{n}[/itex] both span the same subspace W of ℝ[itex]^{n}[/itex] does it suffice to show that
S[itex]_{1}[/itex][itex]\subset[/itex]S[itex]_{2}[/itex] and that S[itex]_{2}[/itex][itex]\subset[/itex]S[itex]_{1}[/itex], thus showing S[itex]_{1}[/itex] = S[itex]_{2}[/itex]
[itex]\Rightarrow[/itex] they span the same space.

If there's a better method, I'd like to know.
Thanks!
 
Physics news on Phys.org
Yes, that method would work if the two sets are equal but that will almost never be the case. Typically you would want to show that
[tex]S_1 \subset span(S_2)[/tex]
which immediately implies
[tex]span(S_1) \subset span(S_2)[/tex]
at which point since they both have the same size (if they don't then you didn't need to do any work) the two spans must be equal.
 
Office_Shredder said:
Yes, that method would work if the two sets are equal but that will almost never be the case. Typically you would want to show that
[tex]S_1 \subset span(S_2)[/tex]
which immediately implies
[tex]span(S_1) \subset span(S_2)[/tex]
at which point since they both have the same size (if they don't then you didn't need to do any work) the two spans must be equal.

After looking back at my post, I realize I should of wrote span(S[itex]_{1}[/itex]) [itex]\subset[/itex] span(S[itex]_{2}[/itex]) and vice versa. But anyways thanks.
 
OK then yeah you are doing more work than required. If they're orthogonal sets you know their spans have dimension equal to the number of elements. As soon as you have one span is contained in the other you are done, and you don't need to check the other direction.
 
okay that makes sense. thanks!