# (Elementary) Vector Spaces

1. Oct 31, 2011

### Highway

1. The problem statement, all variables and given/known data

2. Relevant equations

addition / multiplication -- showing that the vectors (in this case) aren't closed under addition and scalar multiplication. . .

3. The attempt at a solution

I really get stuck with proofs: how to begin / where to go / etc.

I know that I am supposed to show that this isn't a vector space by it not being closed under addition and/or scalar multiplication -- but I don't know how to do that.

The examples in the book are of polynomials -- so they take u = a2x2+ a1x + a0 and add it to v = b2x2+ b1x + b0 then separate like terms, and show that it is closed under addition. I don't know how to do something like this here.

Also, I don't know if the scalar multiplication (for part a) is a typo or not). . .

2. Oct 31, 2011

### Highway

Other thoughts:

for part a), is it possible that the vector addition holds, but due to the ku = (ku1, u2) not following the law of scalar multiplication, i.e. ku = (ku1, ku2, ... , kun) that it isn't closed?

for part b), there are no v elements in the final solution, implying that v is the 0 (zero vector), and due to part of the definition, that does not allow it to be closed under these previous properties?

I know the concepts of what we are learning / supposed to be showing|doing, but I don't know how to do it :P

3. Oct 31, 2011

### murmillo

Well, you probably have a list of axioms that have to be satisfied in order for a set of vectors to be a vector space. So, in order to show that V is not a vector space with the given addition and multiplication, you have to find at least one of the axioms that isn't satisfied. It seems that you are a bit confused about what they're asking, because you're assuming that you have a specific way of defining addition and scalar multiplication. In other words, based on your second post, it sounds like you're assuming that when you have two vectors, that there is only one way to add them and there is only one way that scalar multiplication can work.

But for this exercise, they're defining addition and scalar multiplication for you, and they're asking you to find which vector space axiom(s) are not satisfied with these definitions of addition and multiplication. It might help to try to pretend that you've never learned how to add vectors or do scalar multiplication. Verify each of the axioms until you come across a problem. For instance, is it true that for all x and y, x+y = y+x under the definition of vector addition in part a? And so on.

4. Nov 1, 2011

### Highway

I understand what you're saying, but I still don't have the first clue of how to go about doing this. . . sorry :\

5. Nov 1, 2011

### HallsofIvy

While not an "axiom" itself, it can be shown from the axioms that 0v= 0. That is, that the scalar, 0, times any vector gives the 0 (additive identity) vector. Is that true here?

Last edited by a moderator: Nov 2, 2011
6. Nov 1, 2011

### Fredrik

Staff Emeritus
$\mathbb R^2$ is clearly closed under these operations. To say that it's not, is to say that the right-hand side of at least one of the equalities in the picture is not a member of $\mathbb R^2$.

What you need to do is to check which ones of the vector space axioms are satisfied. For example, is it true that for all $\vec u,\vec v\in\mathbb R^2$, $\vec u+\vec v=\vec v+\vec u$? This is how you check that in part a:

Let $\vec u,\vec v\in\mathbb R^2$ be arbitrary. We have $$\vec u+\vec v=(u_1,u_2)+(v_1,v_2)=(u_1+v_1,u_2+v_2)=(v_1+u_1,v_2+u_2)=\vec v+\vec u.$$ So the answer is "yes", that axiom is satisfied in problem a. Now keep checking axioms until you find one that isn't satisfied.

7. Nov 1, 2011

### Highway

thanks guys! this all helped a lot, i think i got the first one (it doesnt pass distributivity), so i will keep you posted about the second one!!

8. Nov 1, 2011

### murmillo

Hmmm... don't want to disappoint you, Highway, but I think the first one does satisfy distributivity (I could be wrong, though). Could you explain how you got that it does satisfy distributivity?

9. Nov 1, 2011

### Deveno

there are 2 distributive laws:

k(u+v) = ku + kv

and:

(k+m)u = ku + mu.

one of these is not satisfied.

10. Nov 1, 2011

### Highway

thanks for double checking this for me, i really appreciate it!

11. Nov 1, 2011

### murmillo

Ah, looks good! I think I was wrong. The way I approached it was like this: I think one of the axioms is that 0 times x has to be the zero vector for all x. But if x is not the zero vector, then 0x turns out to be (0, x_2), which is not the zero vector. I'm not sure if that was one of the axioms. But I think the way you did it is right.

12. Nov 1, 2011

### Highway

that is def one of the axioms, but this is for part 5a) not 5b) -- you might want to look over each of them, because i think the zero vector axiom you're talking about applies for 5b.

13. Nov 1, 2011

### murmillo

i don't get what you're saying...that axiom must be satisfied in order for you to have a vector space for 5a) and since it isn't satisfied, the V in 5a) isn't a vector space.

14. Nov 1, 2011

### Highway

do i have to show that as well, or can i "stop here" since i already found one axiom that isn't satisified? (for 5a)

15. Nov 1, 2011

### murmillo

you can stop once you've found one axiom that doesn't work (which you did). i was just giving another way of looking at it...

16. Nov 1, 2011

### Highway

ok thanks. . .

is this ok so far for 5b? im kinda stuck at this point and dont know where to go from here -- assuming that it is correct. . .

17. Nov 1, 2011

### murmillo

part 5b):
When you do these calculations, you have to do addition the way they defined it.
The way they defined addition is
(u1, u2) + (v1, v2) = (u1, u2).
But when you did addition, you did
(u1, u2) + (v1, v2) = (u1 + v1, u2+v2), which you are not allowed to do.
So, what is (0, 0) + (x1, x2) when (x1, x2) is any vector in V?

18. Nov 1, 2011

### Highway

im not following where this is going though, i guess i dont see why your way is correct, even though i do now understand that i have to do the addition in the way that it is defined. . .

19. Nov 1, 2011

### Highway

hmm, is it ok to say that v = (0,0) or does it already say that in the definition of the problem statement?

sorry for being so new at this. . .

20. Nov 1, 2011

### murmillo

I see the problem. So, the way they defined addition in 5b is: the sum of any two vectors is the first vector. Always. That's the important part that I think you are not getting.