Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Can a vector space over an infinite field be a finite union of proper subspaces ?

share|cite|improve this question

marked as duplicate by Asaf Karagila, Claude Leibovici, mau, Git Gud, Gerry Myerson Feb 27 '14 at 10:08

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

See here. The result is stated there for characteristic zero, but it can be adapted so only infinitude of the field is used. – Andrés Caicedo Feb 27 '14 at 7:14
up vote 5 down vote accepted

Short answer: No.

Long answer: No. Assume that our vectorspace $V$ is a finite union of proper subspaces, hence $$V=\bigcup_{i=1}^n U_i.$$

Now, pick a non-zero vector $x\in U_1$, and pick another vector $y\in V\,\backslash U_1$.

There are infinitely many vectors $x+ky$, where $k\in K^*$ ($K$ is our infinite field). Note that $x+ky$ is not in $U_1$, hence must be contained in some $U_j$ where $j\neq 1$.

Then since $k\in K^*$, we can have $x+k_1y,x+k_2y\in U_j$, which implies that it also contains $y$ and hence also $x$, hence $U_1\subset U_j$. Hence $$V=\bigcup_{i=2}^n U_i.$$ Evidently, this can be continued, hence a contradiction arises.

share|cite|improve this answer

Denote by $K$ the field over which $V$ is a vector space. Suppose the answer is true and consider write $V=\bigcup\limits_{i=1}^{n} V_i$, where $V_i$ are proper subspaces of $V$ and $n \in \mathbb{N}$ is minimal.

Because $n$ is minimal, there exists an element $v_n \in V_n \setminus \bigcup\limits_{i=1}^{n-1}V_i $. There exists also an element $v \in \bigcup\limits_{i=1}^{n-1}V_i \setminus V_n$.

Now if we look at the infinite set $M=\{ v_n+k \cdot v : k \in K \}$, using Pigeonhole Principle we can see that there exists $i \in \{ 1, \dots, n\}$ such that $|M \cap V_i|\geq 2$ (we can actually say that the cardinal is infinite, but we don't need that for the rest of the proof).

If $V_n \cap M$ contains some element other than $v_n$, then there exists $k \in K \setminus \{ 0 \}$ such that $k \cdot v \in V_n$, which contradicts the choice of $v$.

If $V_i \cap M$ has more than two elements for some $i \in \{1,\dots, n-1\}$ then, looking at their difference, we obtain that $v_n \in V_i$ which contradicts the choice of $v_n$.

Therefore, $V$ is never a finite union of proper subspaces.

Edit: Repetition was not intended, I was posting while BlackAdder posted.

share|cite|improve this answer

A union of two vector spaces is a vector space only if one is contained in the other, so my intuition would say that the answer is no. Still working on an actual answer though.

share|cite|improve this answer
This is not enough. Why is the union of three subspaces not a subspace unless they form a chain? You cannot use an inductive argument, as the union of any two of them is not a subspace. – Andrés Caicedo Feb 27 '14 at 7:27
Plus, there are finite fields, and so there are finite vector spaces, that obviously are a finite union of lines. The argument that you suggest would indicate this is impossible. – Andrés Caicedo Feb 27 '14 at 7:28
You are correct, my answer was too quick. – 5xum Feb 27 '14 at 7:28