# Prove that every real vector space has infinitely many vectors

I can't seem to wrap my brain around this one, so I figured someone here could point out the connection I'm not making. I've been asked to prove that every real vector space other than the trivial one (V = {0}) has infinitely many vectors. This is intuitively true, but I haven't a clue how to prove it.

At the moment, I'm supposed to base my proof on the eight axioms of a vector space, so any help that remains within that limited field of knowledge would be apprectiated. Thanks much!

-
take a vector $e\neq 0$ and show that $ne\neq me$ provided $n\neq m$ for all $n,m\in \mathbb{N}$. –  AnonymousCoward Jun 4 '12 at 18:20
interestingly, there are finite non-trivial vector spaces. specifically, any finite field would be a candidate for such a vector space. –  akkkk Jun 4 '12 at 18:26

If $V$ is not the trivial vector space let $v \in V$, $v\neq 0$. Then show that the vectors $\lambda v$ ($\lambda \in \mathbb R$) are all distinct.

-
Thanks for that—one of those moments of momentary idiocy if I've ever had one. –  Kyle R. Jun 4 '12 at 18:34
Specifically, since $v\neq0$, $v$ surely has a nonzero coordinate, and assume its value is $v_i$. Say there are $\lambda,\lambda'$ with $\lambda\neq\lambda'$ and assume $\lambda v=\lambda' v$. Then it follows that the $i$th coordinate is equal to $\lambda v_i=\lambda' v_i$, such that $\lambda=\lambda'$ which is a contradiction. –  akkkk Jun 4 '12 at 18:35
@Auke: When speaking of coordinates you assume that $V$ is $\mathbb R^n$ for some $n$. However, it is possible to show $\lambda v = \mu v \Rightarrow \lambda = \mu$ using only the axioms from the definition of a vector space. –  marlu Jun 4 '12 at 18:40
@marlu: all vector spaces have one or more coordinate mappings. –  akkkk Jun 5 '12 at 13:23
@Auke: It is absolutely non-trivial that every vector space has a basis. Actually, this is equivalent to the axiom of choice; I wouldn't count that as following from the axioms of a vector space. –  marlu Jun 6 '12 at 10:20

Suppose that you know that the vector space contains some vector $a$. Do you know anything about vector spaces that would let you find other vectors that might be different from $a$? Perhaps many other vectors?

Do you know any way to make new vectors out of old vectors?

-
For every vector space, $V$, over $\mathbb{R}$ it follows that if $dim(V)\neq 0$ then if it is not finite the claim is clear and if it is finite then $V$ is isomorphic to $\mathbb{R}^{dim(V)}$ hence the number of elements in $V$ is the same as in $\mathbb{R}^{dim(V)}$ (i.e. there is a bijection) and in particular it is not finite.
Hint $\,$ If subgroup $\rm\:v\:\!\mathbb Z\:$ has finite order $\rm\:n\:$ then $\rm\:n\:\!v = 0\:\Rightarrow\:v = 0\:$ by scaling by $\rm\:n^{-1}\!\in\mathbb Q\subset \mathbb R.$