Proof involving subsets of a vector space

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
2 replies · 2K views
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.