Proving that the Union of Two Non-Intersecting Subspaces is Not a Subspace

Join the discussion
Registration is free. Start your own thread to ask a follow-up.
8 replies · 2K views
lom
Messages
29
Reaction score
0
V is a vectoric space.

[tex]W_1,W_2\subseteq V\\[/tex]
[tex]W_1\nsubseteq W_2\\[/tex]
[tex]W_2\nsubseteq W_1\\[/tex]
prove that [tex]W_1 \cup W_2[/tex] is not a vectoric subspace of V.
i don't ave the shread of idea on how to tackle it

i only know to prove that some stuff is subspace

but constant mutiplication

and by sum of two coppies
this question here differs a lot
 
Last edited:
Physics news on Phys.org
lom said:
V is a vectoric space.

[tex]W_1,W_2\subseteq V\\[/tex]
[tex]W_1\nsubseteq W_2\\[/tex]
[tex]W_2\nsubseteq W_1\\[/tex]
prove that [tex]W_1 \cdown W_2[/tex] is not a vectoric subspace of V.



i don't ave the shread of idea on how to tackle it

i only know to prove that some stuff is subspace

but constant mutiplication

and by sum of two coppies



this question here differs a lot
Differs a lot from what? Is there any other information given in your problem? For example, you have that
[tex]W_1\nsubseteq W_2[/tex]
and
[tex]W_2\nsubseteq W_1[/tex]

but are you given anything about
[tex]W_1 \bigcap W_2[/tex]
?

BTW, the term is "vector space" not vectoric space. No such word as vectoric.
 
it differs by its pure theoretic way

i am used to prove that f(x)=0 is a subspace
by the constant multiplication and sum of two copies law
i only know that
[tex] W_1,W_2\subseteq V\\[/tex]

i have written all the given stuff
 
Since you are only given conditions on two subspaces, the only thing you can do next is look at the individual elements. The two conditions [itex]W_1 \not\subseteq W_2[/itex] and [itex]W_2 \not\subseteq W_1[/itex] imply the existence of what elements in these sets?
 
W1 and W2 are foreign to each other
there is no intersection between them
 
Are you sure that there is no intersection between them? Let's take a step back. What is the actual condition that [itex]W_1 \not\subseteq W_2[/itex]?
 
its not only
[itex] W_1 \not\subseteq W_2[/itex]
its both
[itex] W_1 \not\subseteq W_2[/itex]
and [itex] W_2 \not\subseteq W_1[/itex]as for what you say:
[itex] W_1 \not\subseteq W_2[/itex]
means that all the members of W1 are not a part W2 group
 
No, it does not mean that all the members of W1 are not in W2. It means that there exists a member of W1 that is not in W2. Does that make sense? If so, where can you go from there?
 
lom said:
W1 and W2 are foreign to each other
there is no intersection between them

You can't conclude that from these two statements:
[tex]W_1\nsubseteq W_2\\[/tex]
[tex]W_2\nsubseteq W_1\\[/tex]

It's very possible that W1 contains some elements that are in W2, but other elements that aren't in W2. Same thing for the other statement. That's why I asked if you were given that these two sets are disjoint. You said you weren't given that information, and now here you're saying that they are.