Can a (possibly infinite-dimensional) vector space ever be a finite union of proper subspaces?


If the ground field is finite, then any finite-dimensional vector space is finite as a set, so there are a finite number of 1-dimensional subspaces, and it is the union of those. So let's assume the ground field is infinite.



Can a vector space over an infinite field be a finite union of proper subspaces?
You can prove by induction on n that:


An affine space over an infinite field $F$ is not the union of $n$ proper *affine* subspaces.


The inductive step goes like this: Pick one of the affine subspaces $V$. Pick an affine subspace of codimension one which contains it, $W$. Look at all the translates of $W$. Since $F$ is infinite, some translate $W'$ of $W$ is not on your list. Now restrict all other subspaces down to $W'$ and apply the inductive hypothesis.


This gives the tight bound that an $F$ affine space is not the union of $n$ proper subspaces if $|F|>n$. For vector spaces, one can get the tight bound $|F|\geq n$ by doing the first step and then applying the affine bound.


