Union of Subspaces of V: Proving Containment

  • Level: Graduate 
  • Thread starter Thread starter Awatarn
  • Start date Start date
  • Tags Tags
    Vector
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
7 replies · 3K views
Awatarn
Messages
23
Reaction score
0
Prove that the union of two subspaces of [tex]V[/tex] is a subspace of [tex]V[/tex] if and only if one of the subspaces is contained in the other. :approve:
 
Physics news on Phys.org
Yep, what have you done to try and figure out the answer? Have you tried both directions? The 'if' part is straightfoward. You might want to try contradiction for the 'only if' part.
 
I. The straight forward part:
1. for [tex]U_2, U_1[/tex] are subspaces of [tex]V[/tex]
2. let [tex]U_1[/tex] is contained in [tex]U_2[/tex].
[tex]\therefore U_1 \cup U_2 = U_2[/tex]
[tex]\therefore U_1 \cup U_2 = U_2[/tex]is also subspaces of[tex]V[/tex]

II. the 'only if' part:
1. For any [tex]U_1, U_2[/tex] are subspace of [tex]V[/tex], they must contain [tex]U_1 \oplus U_2[/tex] which is the smallest subspaces containing in [tex]U_1, U_2[/tex]
2. therefore if there is [tex]w_1 \notin U_1 ; w_1 \in U_1 \cup U_2[/tex], it will contradict to the statement 1.
3. the only way of existing of [tex]w_1[/tex] is that [tex]U_2 \cup U_1 = U_1[/tex] or [tex]U_2[/tex] is contained in [tex]U_1[/tex]

The proove finished. Is there sufficeintly complete? :rolleyes:
 
Last edited:
note the union of two distinct lines is not closed under forming poarallelograms
 
The second part is not correct. Just show that the union of subspaces does not give a subspace; think about mathwonk's hint. What must a subspace satisfy? Closure under addition.
 
I edit the second statement of the seconde part to:
2. Give [tex]w_1 \notin U_1 ; w_1\in U_1 \cup U_2[/tex]. If they will form subspace, it must write their linear combination in form of
[tex]au_1 + bw_1[/tex] where [tex]u_1 \in U_1 and w_1 \in W[/tex].
This linear combination have not closure under addition, if [tex]w_1[/tex] is not contain in [tex]U_1[/tex]

Is it OK?
 
No, not in my opinion- you've just asserted the result is true without explaining why. Now, I understand why it is true, but it does not convince me that you understand why it is true, which is what you're really attempting to show.
 
Last edited:
Awatarn said:
2. Give [tex]w_1 \notin U_1 ; w_1\in U_1 \cup U_2[/tex]. If they will form subspace, it must write their linear combination in form of
[tex]au_1 + bw_1[/tex] where [tex]u_1 \in U_1 and w_1 \in W[/tex].
This linear combination have not closure under addition, if [tex]w_1[/tex] is not contain in [tex]U_1[/tex]

According to mathwonk's idea, [tex]u_1 \in U[/tex] where it is the line in 3D and [tex]w_1 \in W[/tex] where it is the line in 2D. [tex]U[/tex] and [tex]W[/tex] is not the same line in 2D. [tex]U[/tex] may be the line of [tex]y=1[/tex] and [tex]W[/tex] is the line of y=2 When we write the linear combination of [tex]au_1 + bw_1[/tex], it will form a new line.[tex]U[/tex] may be the line of [tex]y=1[/tex] and [tex]W[/tex] is the line of y=2. Their linear combination will form line of [tex]y=3[/tex] . therefore the linear combination have not closure under addition.