Proving the subspaces are equal

  • Thread starter NATURE.M
  • Start date
  • Tags
    Subspaces
In summary, to show that two orthogonal subsets S_{1} and S_{2} of ℝ^{n} both span the same subspace W of ℝ^{n}, it suffices to show that one is a subset of the other, which then implies that their spans are equal. This method may involve more work than necessary, as if the sets are equal, then their spans are automatically equal. A more efficient method would be to show that one span is contained in the other, which is enough to prove that they span the same space.
  • #1
NATURE.M
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 there's a better method, I'd like to know.
Thanks!
 
Physics news on Phys.org
  • #2
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
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.
 
  • #4
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
okay that makes sense. thanks!
 

Related to Proving the subspaces are equal

What is the definition of a subspace?

A subspace is a subset of a vector space that satisfies the three properties of closure under addition, closure under scalar multiplication, and contains the zero vector.

How do you prove two subspaces are equal?

To prove two subspaces are equal, you need to show that they have the same elements and satisfy the same properties. This can be done by showing that one subspace is contained within the other and vice versa.

What is the importance of proving subspaces are equal?

Proving subspaces are equal is important because it ensures that the two subspaces have the same properties and can be used interchangeably in calculations. It also helps to establish relationships between different subspaces.

What are some common methods of proving subspaces are equal?

Some common methods of proving subspaces are equal include using the subspace criterion (showing that the subset satisfies the three properties of a subspace), using set notation to show that the two subspaces have the same elements, and using algebraic manipulation to show that the two subspaces are equivalent.

What are some potential challenges when proving subspaces are equal?

Some potential challenges when proving subspaces are equal include identifying the correct properties to show, handling complex vector spaces with multiple dimensions, and ensuring that the proof is rigorous and clear.

Similar threads

  • Linear and Abstract Algebra
Replies
9
Views
911
  • Linear and Abstract Algebra
Replies
1
Views
2K
  • Linear and Abstract Algebra
Replies
3
Views
1K
Replies
2
Views
213
  • Introductory Physics Homework Help
Replies
25
Views
2K
  • Linear and Abstract Algebra
Replies
19
Views
4K
Replies
0
Views
476
Replies
10
Views
1K
  • Linear and Abstract Algebra
Replies
10
Views
2K
  • Linear and Abstract Algebra
Replies
3
Views
2K
Back
Top