Proving the subspaces are equal

  • Thread starter NATURE.M
  • Start date
  • #1
301
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 theres a better method, I'd like to know.
Thanks!
 

Answers and Replies

  • #2
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
4,105
276
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.
 
  • #3
301
0
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.
 
  • #4
Office_Shredder
Staff Emeritus
Science Advisor
Gold Member
4,105
276
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.
 
  • #5
301
0
okay that makes sense. thanks!
 

Related Threads on Proving the subspaces are equal

Replies
3
Views
905
Replies
6
Views
6K
  • Last Post
Replies
2
Views
4K
Replies
7
Views
1K
Replies
3
Views
2K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
2
Views
2K
Replies
1
Views
851
Replies
1
Views
2K
Top