22
$\begingroup$

Assuming the Axiom of Choice, every vector space has a basis, though it can be troublesome to show one explicitly. Is there any constructive way to exhibit a basis for $\mathbb{R}^\mathbb{N}$, the vector space of real sequences?

  • 0
    Would the use of "find" instead of "show" be more appropriate?2012-03-20
  • 1
    I hope this isn't a super-dumb question, but wouldn't $b_i = \{ \delta^i_n \}$, where $\delta^i_n$ is the delta function, be such a basis? Or are you looking for a basis where every element is a combination of a finite number of basis elements?2012-03-20
  • 13
    @Mark: No, because the span of those vectors consists only of vectors that have at most finitely many nonzero entries. The vector $(1,1,1,\ldots)$ is not in their span.2012-03-20
  • 0
    @Ilya: Maybe, English isn't my first language so I'll let the rest of you decide.2012-03-20
  • 0
    @Arturo: I thought that restriction was what distinguishes a Hamel basis from a generic basis; am I misunderstanding?2012-03-20
  • 7
    @Mark: Hamel basis means "basis of a vector space" in the usual sense: linearly independent, and spanning (and the span is the collection of all linear combinations of elements of the set, and by definition linear combinations have only finitely many nonzero coefficients). Hamel bases are distinguished from **Hilbert Bases** (not from "generic basis"; I'm not sure what you mean by a "generic basis"). A Hilbert Basis (of a complete inner product space) is a maximal orthonormal subset; its span is *dense* in the space, but not necessarily equal to it.2012-03-20
  • 0
    @arturo: Thanks.2012-03-20
  • 0
    @ilya: I think "exhibit" is often used in this context.2012-03-20
  • 1
    I'd be extremely surprised if the answer to this question is “yes”, but I don't know how to prove a “no” answer, other than in the most general sense.2012-03-20
  • 0
    Relevant: http://en.wikipedia.org/wiki/Basis_(linear_algebra)#Related_notions2012-03-20
  • 0
    @ArturoMagidin: +1. I like your words about "Hamel basis" and "Hilbert basis".2012-03-20
  • 0
    @Harald: What's the most general sense?2012-03-20
  • 0
    @joriki: The idea is to exhibit a set of consistent axioms of set theory, including ZF but excluding the axiom of choice, in which $\mathbb{R}^{\mathbb{N}}$ has no basis.2012-03-20
  • 0
    @Harald: I see -- "in the most general sense" referred to "know" -- I thought it referred to "prove" :-)2012-03-20

3 Answers 3

5

This seems extremely unlikely, because if you could do this "constructively" enough to (obviously not countably) enumerate each member of the basis, you could use that enumeration to construct a well-ordering of $\mathbb{R}$ from this because we could then identify each $x \in \mathbb{R}$ with its unique final rational representation in terms of this basis.

While being able to well-order $\mathbb{R}$ is obviously a consequence of AoC, it is widely considered impossible to "constructively" give such a well-ordering.

All this is a consequence of the finiteness of our language and thus the inherent countability of everything we can describe precisely enough to "separate" each element of a set.

So the best you can get really is describing the basis as some structured collection of uncountable sets.

Edit to add that the second argument still holds if you're looking for an $\mathbb{R}$-basis, because this basis would need to be uncountable as well.

An easy way to see this is considering $\{(n^x)_{n \in \mathbb{N}}:x \in \mathbb{R}^+\}$ - this is an uncountable and $\mathbb{R}$-linearly independant set in $\mathbb{R}^\mathbb{N}$.

  • 1
    It is easy to see that a basis cannot be countable since $\mathbb R^\mathbb N$ is the dual of all eventually-zero sequences (or if you will $\mathbb R[x]$), which has a countable basis. In particular this means that if there was a basis it could not be countable as it would have to contain continuum many elements.2012-03-20
  • 0
    Ah, excellent, thanks. Editing that in.2012-03-21
  • 2
    One minor (read: major) nitpick: Uncountable need not imply of size continuum. It is perfectly reasonable that there are uncountable sets whose cardinality is unspeakable and can be embedded into $\mathbb R$ (from the Dedekind-finite set introduced by Cohen to the set which disproves the continuum hypothesis in the Feferman-Levy model).2012-03-21
  • 0
    I'm aware of this, but I don't really see where I implied this. The argument that whatever we can define is countable means that we cannot describe any uncountable set in a way that allows us to distinguish all its elements - not just the continuum, but also, should we chose to accept them, sets with cardinality in between, as long as they're not countable.2012-03-21
  • 1
    Well, my point is that assuming that the continuum is $\aleph_2$ (for example) saying just that a basis would have to be uncountable might imply that it can be of size $\aleph_1$. Without choice it can get worse. Assume that the continuum is singular (in the sense that it is a union of countably many countable sets; or $\aleph_1$ many sets of size $\aleph_1$ but still greater than $\aleph_1$ in size...) these models have even stranger sets which are uncountable. However it will not help, a basis for $\mathbb R^\mathbb N$ has to have size continuum, not just "uncountable" size.2012-03-21
10

Assume that every set of real numbers has the Baire property, as well the axiom of dependent choice (it is true if we assume AD, or live in Solovay's model but we can get away with less than large cardinals too):

Since every set of $\mathbb R^\mathbb N$ has the Baire property, and $\mathbb R^\mathbb N$ is a Polish group, every homomorphism of it into itself is continuous [1, Th. 9.10].

Given a Hamel basis has to have cardinality $\frak c$, it defines $2^\frak c$ many endomorphisms of $\mathbb R^\mathbb N$.

Now, given that $\mathbb R^\mathbb N$ is a separable space (by rational sequences which are eventually zero) this means that a continuous function is defined uniquely on the countable dense set, in particular this implies that we can only have $\frak c$ many continuous functions from $\mathbb R^\mathbb N$ to itself.

Contradiction.


Bibliography:

  1. Kechris, A. Classical Descriptive Set Theory. Springer-Verlag, 1994.
  • 1
    Unfortunately, $\mathbb R^{\mathbb N}$ is not a Banach space. Solovay has another model where every set (in a Polish space) has the property of Baire. Then your method works for $\mathbb R^{\mathbb N}$.2012-03-21
  • 0
    @GEdgar: Thanks for the comment. I think that in Solovay's model every set has BP to begin with. I always recalled it extends to all Polish spaces, no?2012-03-21
8

"Constructively" "exhibiting" a basis for $\mathbb R^{\mathbb N}$ means "constructively" "exhibiting" a lot of linear functionals on $\mathbb R^{\mathbb N}$; one coordinate functional for each element of the basis. So, in particular, it would mean "constructively" "exhibiting" a linear functional on $\mathbb R^{\mathbb N}$ that is linearly independent of the point-evaluations. Can you "constructively" "exhibit" even one such functional? I think not.

  • 1
    Ha! Excellent point.2012-03-20
  • 0
    f(x)=c if x=c(1,1,1,1..), 0 otherwise.2012-03-20
  • 1
    @Nick: That's not linear; for instance, add $(2,0,1,1,\dotsc)$ and $(0,2,1,1,\dotsc)$.2012-03-20
  • 0
    ah ha good point joriki, thanks.2012-03-20
  • 1
    Just out of curiosity, is it still open that the statement 'each **real** vector space has a basis' implies the Axiom of Choice?2012-04-05
  • 0
    What does "linearly independent of the point evaluations" mean?2017-01-23
  • 0
    @mike4ty4... A "point-evaluation" at the point $k$ is the linear functional that maps $f \in \mathbb R^{\mathbb N}$ to the scalar $f(k)$. There are thus countably many "point-evaluations". They are linear functionals on $\mathbb R^{\mathbb N}$. But (given a basis for $\mathbb R^{\mathbb N}$) there are linear functionals not in the linear span of the set of point-evaluations. These would be linear functionals linearly independent of the point-evaluations.2017-01-23
  • 0
    @GEdgar: So the point evaluation is a functional returning the $k$th element of the sequence?2017-01-24