Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

According to the definition, the union of two subspaces is not a subspace. That is easily proved to be true. For instance,

Let $U$ contain the general vector $(x,0)$, and $W$ contain the general vector $(0,y).$
Clearly, the union of these two subspaces would not be in either of the subspaces as it will violate closure axioms.

As for the intersection of the two subspaces, I believe I understand the concept. However, I want to be sure of that, and I believe it comes down to the difference between union and intersection as applied to vector/subspaces.

Basically, union - in this context - is being used to indicate that vectors can be taken from both subspaces, but when operated upon they have to be in one or the other subspace. Intersection, on the other hand, also means that vectors from both subspaces can be taken. But, a new subspace is formed by combining both subspaces into one.

To explain, I'll use the same subspaces as above. Let $U$ contain the general vector $(x,0)$, and $W$ contain the general vector $(0,y).$

So, the intersection of $U$ and $V$ would contain the general vector $(x,y)$ (I should say based on what I said above). Therefore, the closure axioms are fulfilled.

Am I correct in my reasoning?

Any feedback is appreciated.

share|improve this question
1  
Your reasoning is wishy-washy, to put it nicely. What does "combining both subspaces into one" actually mean? If $(x,0)\in U$ and $(0,y)\in W$, it still doesn't follow that $(x,y)\in U\cap V$. You may be confusing the intersection with the span or sum of subspaces, $\langle V,W\rangle=V+W$, which is incidentally the subspace spanned by their set-theoretic union. If you want to know why the intersection of subspaces is itself a subspace, you need to get your hands dirty with the actual vector space axioms. Ultimately it boils down to logical and operations and implications. –  anon Oct 11 '12 at 20:53
add comment

3 Answers 3

up vote 1 down vote accepted

No, the intersection is the set of all vectors that are in both subspaces. In your example, that would only be the vector $(0,0)$ For a less trivial example, in $\mathbb R^3$ let $U$ be all vectors of the form $(x,y,0)$ and $V$ be all vectors of the form $(0,y,z)$. Then $U \cap V$ is all vectors of the form $(0,y,0)$.

share|improve this answer
    
Thanks, that's what I wanted to know. –  Mlagma Oct 11 '12 at 20:58
add comment

No. The intersection of two sets is the set of elements that are in both of them. In your example the intersection is $\{(0,0)\}$. The union is the set of elements that are in one, or the other, or both.

share|improve this answer
add comment

The intersection $A \cap B$ of two sets $A$ and $B$ contains only elements which are in both subsets. To verify that the intersection $W := U \cap V$ of two subspaces $U,V$ is a subspace, you need to check if for any two elements $a,b \in W$ you also have $a+b \in W$, and similarly that for any element $a \in W$ and every scalar $\lambda \in K$ you have $\lambda a \in W$.

You do that by observing that if $a,b \in W$ then $a,b \in U$ and $a,b \in V$ because the intersection contains only elements that are in both sets. Now, since $a,b \in U$ you get $a+b \in U$ because $U$ is a subspace, and simiarly $a+b \in V$ because $V$ is also a subspace. Which then of course means $a+b \in W$, since $a+b$ lies in both of the intersected sets. The same line of reasoning works for the $\lambda a$ case.

Note that this a a very general principle - a lot of mathematical structures have the property that if $A$ and $B$ fulfill the structure's axioms then $A \cap B$ does too. And the proof very often basically works as in the case of subspaces above.

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.