Classification theorem for vector spaces As I was going over the classification theorem for closed surfaces today, the text I'm reading gave another example of a classification theorem: finite dimensional vector spaces are classified by their dimension.  As a point of fact, I think that this is slightly wrong -- if I understand what the author was trying to say I think that finite dimensional vector spaces are classified by their dimension and their base field.  Then he's just talking about that theorem that says that any $\Bbb F$-vector space with dimension $n$ is isomorphic to $\Bbb F^n$.
His use of the word "finite" though has me wondering, does the same thing hold for infinite dimensional vector spaces?  Can we "classify" infinite dimensional vector spaces by their dimensions (meaning $\aleph_0$, $\aleph_1$, etc) and base fields?  Or is there something more complex that happens for infinite dimensional spaces?
 A: Yes, vector spaces are always classified by their dimension, and the argument is as you would expect: if $\text{dim }V=\text{dim }W$, then we can choose a bijection between a basis of $V$ and a basis of $W$, and this bijection induces an isomorphism $V\cong W$. (Note, however, that the existence of a basis for every (infinite-dimensional) vector space requires the use of the Axiom of Choice/Zorn's Lemma.)
An interesting application of this fact is that the additive group of $\mathbb{C}$ is isomorphic to the additive group of $\mathbb{R}$ - indeed, both are $\mathfrak{c}$-dimensional $\mathbb{Q}$-vector spaces, where $\mathfrak{c}$ denotes the cardinality of the continuum.
As @Tryss points out in the comments, there are different notions of isomorphism for infinite-dimensional vector spaces decorated with additional mathematical structure, e.g., normed linear spaces (vector spaces equipped with a norm), Banach spaces (complete normed linear spaces), inner product spaces (vector spaces equipped with an inner product), Hilbert spaces (complete inner product spaces) etc. Hilbert spaces are completely classified up to isomorphism by their dimension (which is at most countable assuming separability) but Banach spaces are not. However, this is a separate mathematical theory, so I won't comment further unless you would like me to (and in the meantime, would direct you to the relevant Wikipedia articles).
Hope that helps!
