# Homework Help: Span and Subspace Question

1. Oct 13, 2008

### kbartlett

I got a small test tomorrow and i have been working throu exercises but i can't seem to solve this question:

Let V be a vector space over a field F, and let $$S\subset S'$$ be subsets of V.

a) Show that span(S) is a subspace of V.

b) Show that span(S) is a subset of Span(S').

c) Take $$V = R^3$$ and give an example to show that it is possible that Span(S) = Span (S') even though $$S \subset S'$$ and $$S \neq S'$$.

d) Let U,W be subspaces of V. Prove that U+W is also a subspace of V.

Last edited: Oct 14, 2008
2. Oct 13, 2008

### Tac-Tics

Go back to your definitions of subspace and span. These problems become pretty easy when you do.

A subspace is a subset of a vector space which is still closed under addition and scalar multiplication. Stated another way, any linear combination of vectors in S will be in S (or of S' in S').

The span is simply the set of linear combinations of a set of vectors. That is, you can take any finite number of vectors from S, make them as long or as short as you want, and add them together and the result is always in Span(S).

For the proof of (d), I'm not sure of your use of + in U+W. U and W are sets, which we don't usually have an addition operation for. Maybe you meant U union W or maybe you're using a notation I'm just not familiar with or something.

(Also, use the [tex ] tag, not [math ] on these boards. The latter doesn't work.

3. Oct 13, 2008

### CompuChip

Welcome to PF kbartlett. Instead of "math", you may want to try "tex"

It seems to me that a) and b) are the same question, if you replace S by V and S' by S in b).
Try writing down an element from span(S) which is not in V, and use the axioms of a vector space to derive a contradiction.

For c: try to make S a set that spans the plane $$\mathbb R^2$$. Do you see how to construct S'?

For d: check the axioms of a vector space.

4. Oct 13, 2008

### CompuChip

As U and W are subspaces of a vector space (which has an addition $+_V$), I think it is not unreasonable to assume that
$$U + W = \{ u +_V w \mid u \in U, w \in W \}$$

5. Oct 14, 2008

### kbartlett

Thanks i think ive got the answer to part d), but im still stuck on the rest.

6. Oct 14, 2008

### CompuChip

Suppose that I tell you that some vector, v, is in Span(S). What does this mean?