Intersection of disjoint SETS is empty

[Oxymoron]

The question is:
Suppose $$W$$ and $$X$$ are subspaces of $$R^8$$.
Show that if dim$$W=3$$, dim$$X=5$$, and $$W+X = R^8$$, then $$W \cap X = \{0\}$$.

I can see this is obvious iff W and X are disjoint sets. If we add members of $$W$$ to $$X$$ in the usual way, and we get the new set $$W+X$$ whose dimension is now 8 (given), then the only way the dimension can be 8 is if each member of $$W$$ and $$X$$ is 'different', implying that $$W$$ and $$X$$ are disjoint and their intersection is zero.


Here is how I have tried to prove it...

1. We are given that $$R^8 = W + X$$
2. I have assumed $${W,X}$$ are independent - how would I prove this?
3. If (1) and (2) hold, then $$R^8$$ is also the direct sum of the two subspaces, $$R^8 = W \oplus X$$.
4. Let $$\textbf{v}$$ be a vector from $$W \cap X$$ and consider the equation $$\textbf{v} = \textbf{v}$$.
5. The left side of that equation is a member of $$W$$ and the right side is a linear combination of only one member of $$X$$. But the independence of the spaces then implies that $$\textbf{v} = \textbf{0}$$.
6. Hence the intersection of $$W$$ and $$X$$ is trivial.

 

[Oxymoron]

For (2)

$$W,X$$ are independent because their sum $$W+X$$ is an eight member subset of an eight member vector space, namely $$R^8$$.

 

[matt grime]

You are confusing issues here.

The intersection of disjoint SETS is empty, not zero. For some reason you seem to focus on the fact that vector spaces are sets, this is neither here nor there in this question, it is the fact that they are vector spaces, and as such the intersection of them is also a vector space, albeit the zero vector space in this case. The y are certainly not disjoint sets, in fact they cannot be disjoint sets.

You should have proven that WnX is a vector space. You should have proven that

dim(W+X) = dimW + dimX -dim(WnX)

from which the answer to your question follows easily.

W is not an 8 member vector space. Ok, I'm guessing here as I've never heard of such a thing as an "n member" vector space in this context.

You seem to be confusing a Vector space with its spanning set. They aren't the same thing.

You can provre all these things, if you've not seen how, by an argument that goes a little like:

WnX is a subvector space of W and X, let a,b,..,c be a basis of it, complete to two bases, one of X and one of W a,b,..,c,d,..,e and a,b,c,f,..,g respectively. The combined sets clearly span, and are also clearly linearly independent. (Note set here refers to the set of vectors in the basis, not the vector space). By counting we see that

dim(W+X) = dimW + dimX -dim(WnX)

your answer is now a corollary.

 

[Oxymoron]

Thanks Matt, I knew that would be the way to do it.

One query though...

complete to two bases, one of X and one of W a,b,..,c,d,..,e and a,b,c,f,..,g respectively

..what exactly are you doing here?

 

[matt grime]

The standard way of working with bases.

we know WnX < X < V
and WnX<W<V

you may choose a basis of a subspace, then, by adding more vectors get a basis of the containing space. I was just writing that out. Would it be clearer if I wrote

let $$u_1, u_2, \ldots, u_s$$ be a basis of WnX, by the standard theorems of (finite) dimensional vector spaces you may add more vectors to it $$x_{s+1},\ldots,x_r$$ to get a basis of X, and vectors $$w_{s+1},\ldots,w_{t}$$ to get a basis of W

then by counting t+r-s is the dimension of W+X

 

[matt grime]

It occurs to me that you might not have seen some of the ideas I'm assuming you have. So here's a recap.

We know what a vector space is, take that as read, generically denote a vector space as V.

Given a set of vectors in V, S={s_1,s_2,.., s_r} we can form a vector space called the span of S, and written <S>. It is the smallest vector subspace of V containing all the elements in S. We say that S spans V if <S>=V.

Given any set of vectors, S as above, Sylvester's law of replacement allows us to find anothe set of linearly independent vectors S', which have the same span as S. A linearly independent spanning set is a basis.

Given a vector space V and a subspace W, there is the quotient space V/W, whose elements are equivalence classes of vectors in V. The relation is x~y iff x-y lies in W.

So, given W<V and a basis of W we can complete to a basis of V by the following method:
Let x_1,..,x_r be a basis of W
we pick some basis of V/W, say [x_{r+1}],..., [x_{n}] recalling that elements in the quotient space are equivalence classes of elements in V, and we use [y] to denote the equivalence class of y.

then the set x_1,..,x_n is a basis of of V.