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

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

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.

-

## 9 Answers

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|≥n by doing the first step and then applying the affine bound.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Let $V$ be the union $\cup_{i=1}^n V_i$, where the $V_i$ are proper subspaces and the ground field $k$ is infinite. Pick a non-zero vector $x\in V_1$. Pick $y\in V-V_1$, and note that there are infinitely many vectors of the form $x+\alpha y$, with $\alpha\in k^{*}$. Now $x+\alpha y$ is never in $V_1$, and so there is some $V_j$, $j\neq 1$, with infinitely many of these vectors, so it contains $y$, and thus contains $x$. Since $x$ was arbitrary, we see $V_1$ is contained in $\cup_{i=2}^n V_i$; clearly this process can be repeated to find a contradiction.

Steve

-

1
+1. Short and self-contained. I really liked it! – unknown (google) Feb 5 2010 at 10:50
best proof and shortest one – Koushik Jan 21 at 11:55

Here's a reduction to the finite dimensional case. Let F be a finite set of subspaces of X. For each finite dimensional subspace Y of X, let u(Y) be the set of elements Z of F such that Y is contained in Z. By assumption, u(Y) is non-empty for every Y. Since any two finite dimensional subspaces are contained in a third, the intersection of the sets u(Y), as Y runs among all finite dimensional subspaces of X, is non-empty. Hence there is at least one set in F that contains every finite dimensional subspace of X, hence contains X.

For the finite dimensional case, let F be a finite set of subspaces of X. By induction, every codimension 1 subspace of X is contained in some Y from F. But there are infinitely many codimension 1 subspaces, so some Y in F contains more than one such subspace. Any two distinct codimension 1 subspaces span X (if dim X > 1) so Y = X.

-

Very nice. For any future reader who gets confused in the same way I did, the assumption in the sentence "By assumption, u(Y) is non-empty for every Y" is the finite-dimensional case. – Anton Geraschenko♦ Oct 1 2009 at 4:12

I recently completed a short expository note on this subject, Covering Numbers in Linear Algebra. See:

http://math.uga.edu/~pete/coveringnumbersv2.pdf

-

Anton Geraschenko's comment prompted me to write a new version of this short answer. I'm leaving the old version to make Anton's comment clearer (and also to increase the probability of having at least one correct answer).

NEW VERSION. Let $A$ be an affine space over an infinite field $K$, and let $f_1,\dots,f_n$ be nonzero $K$-valued functions on $A$ which are polynomial on each (affine) line. Then the product of the $f_i$ is nonzero. In particular the $f_i^{-1}(0)$ do not cover $A$.

Indeed, as pointed out by Anton, the $K$-valued functions on $A$ which are polynomial on each line form obviously a ring $R$. This ring is a domain, because if $f$ and $g$ are nonzero elements of $R$, then there is a line on which none of them is zero, and their product is nonzero on this line.

OLD VERSION. Let $A$ be an affine space over an infinite field $K$, and let $f_1,\dots,f_n$ be nonzero $K$-valued functions on $A$ which are polynomial on each finite dimensional affine subspace. Then the product of the $f_i$ is nonzero. In particular the $f_i^{-1}(0)$ do not cover $A$.

Indeed, we can assume that $A$ is finite dimensional, in which case the result is easy and well known.

-

1
Ahhh +1. It took me a while to understand what's going on here. The confusing statement was "the product of the $f_i$ is nonzero". Here's my expansion of that statement. (1) The set of functions which are polynomial on each finite-dimensional subspace is clearly a ring. (2) Given two non-zero functions of this form, there is a finite-dimensional subspace on which they are both non-zero (a 2-dimensional subspace spanned by two points witnessing the non-zero-ness of the two functions will do). (3) By (2) and the finite-dimensional case, the ring is an integral domain. – Anton Geraschenko♦ Jul 1 2011 at 16:21
@Anton Geraschenko - Thanks for your vote and your comment, so much clearer than my answer! – Pierre-Yves Gaillard Jul 1 2011 at 16:29

For a slightly worse answer for the fin dim case - prove the following - if k is an infinite field then if f is a polynomial in n variables over k there exists a point of k^n x such that f(x) is non zero (proving this really isn't much easier than the actual problem though - I told you it was a worse answer.) Each subspace is mapped to zero by some poly over k, multiplying the polys gives a contradiction.

-

I needed this result for a paper I wrote with David Leep ten years ago. Bruce Reznick came up with a nice proof which we included in the paper (Marriage, Magic, and Solitaire, published in the American Math Monthly). I don't think the proof was any better than the ones already given here, and I seriously doubt this was the first time a proof had ever appeared in print, but I wonder if anyone knows an earlier citation.

-

2
Well, this is Thm 1.2 in Roman's book Advanced Linear Algebra. I have the 3rd edition from 2008. The 1st edition is from 1993; I don't know if it was in there. He doesn't cite anything. – Mike Benfield Feb 5 2010 at 12:31

2
I believe it is one of those problems that turns up again and again over the years. I have seen it posed at least once as a problem in the American Mathematical Monthly (unfortunately I don't remember when, even up to a decade, and I don't know of a good way to search for it), but my guess is that its provenance dates back from well before 1993. – Pete L. Clark Feb 5 2010 at 18:20

This is a late response to the post, but I noticed that the question was not answered in general.

No vector space is the finite union of proper subspaces.

EDIT: In response to my false solution, Phil Hartwig pointed out that $\mathbb{F}$$_{2}^2$ is a vector space that is the union of three proper spaces. Indeed, the "routine" induction was less routine and more nonsensical. I had fixed my proof, only to realize that my solution was much less elegant than Halmos' solution found in his Linear Algebra Problem Book. You can view the page here.

In the class of Banach spaces there is a stronger result:

If $B$ is a Banach space, then $B$ is not the countable union of proper subspaces.

This relies on the fact that a proper subspace of a topological vector space has empty interior. To appeal to your intuition in $\mathbb{R}^3$, every proper subspace (a plane or line through the origin) cannot completely contain an open ball (an open set in the usual norm topology).

Since $B$ is complete (by definition), by Baire's Theorem it is not the countable union of nowhere dense sets. Since proper subspaces are nowhere dense, $B$ is not the countable union of proper subspaces.

-

5
The "routine induction" doesn't work. As Anton already noted in his initial post $(\mathbb{F}_2)^2=\{(0,0),(1,0)\}\cup \{(0,0),(0,1)\}\cup \{(0,0),(1,1)\}$. – Philipp Hartwig Jun 29 2011 at 6:18
@Philipp: Under the assumption the OP gave that the field is infinite, your counterexample does not hold. – Asaf Karagila Jun 29 2011 at 13:35
Where is the assumption that the field is infinite used? – Pierre-Yves Gaillard Jun 29 2011 at 13:43

1
A vector space $V$ of dimension infinite is always union of a countable set of proper subspaces. Take a Hamel basis $e_\alpha$ . Each vector can be written $v = \sum_\alpha x_\alpha e_\alpha$. Let $V_\alpha$ the subspace of those vectors for which $x_\alpha = 0$ It is clear that $V$ is the union of any sequence $V_{\alpha_n}$ for $n\in \N$ with $\alpha_n$ differents. – juan May 22 at 21:21

1
@Adam: proper subspaces of a Banach space can be dense. – George Lowther May 22 at 22:39
show 8 more comments

The finite dimensional case cannot happen by dimension counting (just view everything as affine spaces).

-

This argument certainly doesn't suffice by itself; it doesn't explain where the infinitude of the field comes into play.  – Qiaochu Yuan May 22 at 20:01
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 58, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9420955181121826, "perplexity_flag": "head"}