Finding a basis of an infinite-dimensional vector space?

It's known that the statement that every vector space has a basis is equivalent to the axiom of choice, which is independent of the other axioms of set theory. This is generally taken to mean that it is in some sense impossible to write down an "explicit" basis of an arbitrary infinite-dimensional vector space. On the other hand,

  • Some infinite-dimensional vector spaces do have easily describable bases; for example, we are often interested in the subspace spanned by a countable sequence $v_1, v_2, ...$ of linearly independent vectors in some vector space $V$, and this subspace has basis $\{ v_1, v_2, ... \}$ by design.
  • For many infinite-dimensional vector spaces of interest we don't care about describing a basis anyway; they often come with a topology and we can therefore get a lot out of studying dense subspaces, some of which, again, have easily describable bases. In Hilbert spaces, for example, we care more about orthonormal bases (which are not Hamel bases in the infinite-dimensional case); these span dense subspaces in a particularly nice way.

The "hard case" is essentially equivalent to this one:

Find a basis for the real numbers $\mathbb{R}$ over the field of the rational numbers $\mathbb{Q}$.

The reals are obviously an extension field of the rationals, so they form a vector space over $\mathbb{Q}$. It should be clear that such a basis has to be uncountable (for if it were countable, the reals would likewise also be countable).

It should also be clear that such a basis is a subset of $\{1\} \cup \mathbb{R} \setminus \mathbb{Q}$. The trouble is, that the power set of the reals is "so big" that it's not even clear how to name the sets we need to apply the axiom of choice TO. Linearly independent subsets however, DO satisfy the requirements for Zorn's Lemma, a form of the Axiom of Choice.

A relatively easy-to-follow proof of the existence of a basis for any vector space using Zorn's Lemma can be found here: http://planetmath.org/encyclopedia/EveryVectorSpaceHasABasis.html

Tags:

Linear Algebra

Hamel Basis

Related

Limit of $1/x^2$ - Apostol 3.2, Example 4 What is the fastest growing total computable function you can describe in a few lines? Determinant of a specially structured matrix ($a$'s on the diagonal, all other entries equal to $b$) What interview of G. H. Hardy by P. Erdős does Wikipedia refer to? Explaining the method of characteristics Prove: $\binom{n}{k}^{-1}=(n+1)\int_{0}^{1}x^{k}(1-x)^{n-k}dx$ for $0 \leq k \leq n$ Reference for "It is enough to specify a sheaf on a basis"? Proving $\frac{n^n}{3^n} < n! < \frac{n^n}{2^n}$ holds by induction Regularization and $\int_{0}^{\infty}\sin x \;\mathrm{d}x$ Is this matrix obviously positive definite? Steinhaus theorem (sums version) Is there a polynomial $p(x)$ with integer coefficients, such that $p(a)=p(b)=p(c)=p(d)=4$ and $p(e) = 10$?

Recent Posts