Proof involving subsets of a vector space

Click For Summary
SUMMARY

The discussion centers on proving that the union of two subspaces, W1 and W2, of a vector space V is a subspace if and only if one subspace is contained within the other (W1 ⊆ W2 or W2 ⊆ W1). The proof provided confirms that if W1 is a subset of W2, then W1 ∪ W2 equals W2, establishing it as a subspace. The discussion also emphasizes the necessity of proving the converse, which states that if W1 ∪ W2 is a subspace, then one must show that either W1 is contained in W2 or vice versa.

PREREQUISITES
  • Understanding of vector spaces and subspaces
  • Familiarity with the concept of union of sets
  • Knowledge of logical proofs and equivalences
  • Basic principles of linear algebra as outlined in "Linear Algebra" by F/I/S
NEXT STEPS
  • Study the properties of vector space subspaces in detail
  • Learn about logical equivalences in mathematical proofs
  • Explore examples of unions of subspaces in linear algebra
  • Review theorems related to vector space containment
USEFUL FOR

Students self-studying linear algebra, educators teaching vector space concepts, and anyone interested in understanding the properties of subspaces in vector spaces.

zapz
Messages
49
Reaction score
0

Homework Statement



This is a problem from chapter 1.3 of Linear Algebra by F/I/S.

Let [itex]W_{1}[/itex] and [itex]W_{2}[/itex] be subspaces of a vector space V. Prove that [itex]W_{1}[/itex] [itex]\cup[/itex] [itex]W_{2}[/itex] is a subspace of V iff [itex]W_{1}[/itex][itex]\subseteq[/itex][itex]W_{2}[/itex] or [itex]W_{2}[/itex] [itex]\subseteq[/itex] [itex]W_{1}[/itex].

Homework Equations



See attempt at solution.

The Attempt at a Solution



My proof goes as such:

If [itex]W_{1}[/itex][itex]\subseteq[/itex][itex]W_{2}[/itex] then the union of those subspaces is [itex]W_{2}[/itex], therefore, by the given, it the union is a subspace of V.
The same logic is used to argue the other subset.

I'm not sure if this is correct, and additionally, I'm not sure if its a logical proof. I feel it is a little cyclical maybe. Thanks for all the help, I'm having a tough time with this text.
 
Physics news on Phys.org
Yeah that's half of the solution right there.

Then you need to also show (it's iff = if and only if), given that [itex]W_1 \cup W_2[/itex] is a subspace, either [itex]W_1 \subset W_2[/itex] or [itex]W_2 \subset W_1[/itex]
 
Okay cool. Thanks. I'm self studying this book as a first exposure to linear algebra so I'm sure I'll be posting some more questions.
 

Similar threads

Replies
8
Views
2K
  • · Replies 6 ·
Replies
6
Views
4K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 8 ·
Replies
8
Views
3K