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

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

2009-09-29T14:22:21Z

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.

Answer by David Zureick-Brown for Can a vector space over an infinite field be a finite union of proper subspaces?

2009-09-29T18:40:10Z

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

Answer by Richard Dore for Can a vector space over an infinite field be a finite union of proper subspaces?

2009-09-29T18:50:40Z

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.

Answer by Jonathan Wise for Can a vector space over an infinite field be a finite union of proper subspaces?

2009-10-01T04:03:42Z

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.

Answer by Emile Bouaziz for Can a vector space over an infinite field be a finite union of proper subspaces?

2009-10-15T21:38:46Z

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.

Answer by Pete L. Clark for Can a vector space over an infinite field be a finite union of proper subspaces?

2010-02-05T06:11:31Z

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

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

Answer by Steve D for Can a vector space over an infinite field be a finite union of proper subspaces?

2010-02-05T07:00:55Z

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

Answer by Gerry Myerson for Can a vector space over an infinite field be a finite union of proper subspaces?

2010-02-05T11:40:25Z

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.

Answer by Adam Azzam for Can a vector space over an infinite field be a finite union of proper subspaces?

2011-06-29T05:51:12Z

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.

Answer by Pierre-Yves Gaillard for Can a vector space over an infinite field be a finite union of proper subspaces?

2011-07-01T03:44:57Z

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.