Schauder basis


In mathematics, a Schauder basis or countable basis is similar to the usual basis of a vector space; the difference is that Hamel bases use linear combinations that are finite sums, while for Schauder bases they may be infinite sums. This makes Schauder bases more suitable for the analysis of infinite-dimensional topological vector spaces including Banach spaces.
Schauder bases were described by Juliusz Schauder in 1927, although such bases were discussed earlier. For example, the Haar basis was given in 1909, and Georg Faber discussed in 1910 a basis for continuous functions on an interval, sometimes called a Faber–Schauder system.

Definitions

Let V denote a Banach space over the field F. A Schauder basis is a sequence of elements of V such that for every element there exists a unique sequence of scalars in F so that
where the convergence is understood with respect to the norm topology, i.e.,
Schauder bases can also be defined analogously in a general topological vector space. As opposed to a Hamel basis, the elements of the basis must be ordered since the series may not converge unconditionally.
A Schauder basis is said to be normalized when all the basis vectors have norm 1 in the Banach space V.
A sequence in V is a basic sequence if it is a Schauder basis of its closed linear span.
Two Schauder bases, in V and in W, are said to be equivalent if there exist two constants and C such that for every natural number and all sequences of scalars,
A family of vectors in V is total if its linear span is dense in V. If V is a Hilbert space, an orthogonal basis is a total subset B of V such that elements in B are nonzero and pairwise orthogonal. Further, when each element in B has norm 1, then B is an orthonormal basis of V.

Properties

Let be a Schauder basis of a Banach space V over F = R or C. It is a subtle consequence of the open mapping theorem that the linear mappings defined by
are uniformly bounded by some constant C. When, the basis is called a monotone basis. The maps are the basis projections.
Let denote the coordinate functionals, where b*n assigns to every vector v in V the coordinate αn of v in the above expansion. Each b*n is a bounded linear functional on V. Indeed, for every vector v in V,
These functionals are called biorthogonal functionals associated to the basis. When the basis is normalized, the coordinate functionals have norm ≤ 2C in the continuous dual of V.
A Banach space with a Schauder basis is necessarily separable, but the converse is false. Since every vector v in a Banach space V with a Schauder basis is the limit of Pn, with Pn of finite rank and uniformly bounded, such a space V satisfies the bounded approximation property.
A theorem attributed to Mazur asserts that every infinite-dimensional Banach space V contains a basic sequence, i.e., there is an infinite-dimensional subspace of V that has a Schauder basis. The basis problem is the question asked by Banach, whether every separable Banach space has a Schauder basis. This was negatively answered by Per Enflo who constructed a separable Banach space failing the approximation property, thus a space without a Schauder basis.

Examples

The standard unit vector bases of c0, and of ℓp for 1 ≤ p < ∞, are monotone Schauder bases. In this unit vector basis, the vector bn in or in is the scalar sequence where all coordinates bn, j are 0, except the nth coordinate:
where δn, j is the Kronecker delta. The space ℓ is not separable, and therefore has no Schauder basis.
Every orthonormal basis in a separable Hilbert space is a Schauder basis. Every countable orthonormal basis is equivalent to the standard unit vector basis in ℓ2.
The Haar system is an example of a basis for Lp space|Lp, when 1 ≤ p < ∞.
When, another example is the trigonometric system defined below. The Banach space C of continuous functions on the interval , with the supremum norm, admits a Schauder basis. The Faber-Schauder system is the most commonly used Schauder basis for C.
Several bases for classical spaces were discovered before Banach's book appeared, but some other cases remained open for a long time. For example, the question of whether the disk algebra A has a Schauder basis remained open for more than forty years, until Bočkarev showed in 1974 that a basis constructed from the Franklin system exists in A. One can also prove that the periodic Franklin system is a basis for a Banach space Ar isomorphic to A.
This space Ar consists of all complex continuous functions on the unit circle T whose conjugate function is also continuous. The Franklin system is another Schauder basis for C,
and it is a Schauder basis in Lp when.
Systems derived from the Franklin system give bases in the space C1 of differentiable functions on the unit square. The existence of a Schauder basis in C1 was a question from Banach's book.

Relation to Fourier series

Let be, in the real case, the sequence of functions
or, in the complex case,
The sequence is called the trigonometric system. It is a Schauder basis for the space Lp space|Lp for any p such that. For p = 2, this is the content of the Riesz–Fischer theorem, and for p ≠ 2, it is a consequence of the boundedness on the space Lp of the Hilbert transform on the circle. It follows from this boundedness that the projections PN defined by
are uniformly bounded on Lp when. This family of maps is equicontinuous and tends to the identity on the dense subset consisting of trigonometric polynomials. It follows that PNf tends to f in Lp-norm for every. In other words, is a Schauder basis of Lp.
However, the set is not a Schauder basis for L1. This means that there are functions in L1 whose Fourier series does not converge in the L1 norm, or equivalently, that the projections PN are not uniformly bounded in L1-norm. Also, the set is not a Schauder basis for C.

Bases for spaces of operators

The space K of compact operators on the Hilbert space ℓ2 has a Schauder basis. For every x, y in ℓ2, let denote the rank one operator. If is the standard orthonormal basis of ℓ2, a basis for K is given by the sequence
For every n, the sequence consisting of the n2 first vectors in this basis is a suitable ordering of the family, for.
The preceding result can be generalized: a Banach space X with a basis has the approximation property, so the space K of compact operators on X is isometrically isomorphic to the injective tensor product
If X is a Banach space with a Schauder basis such that the biorthogonal functionals are a basis of the dual, that is to say, a Banach space with a shrinking basis, then the space K admits a basis formed by the rank one operators, with the same ordering as before. This applies in particular to every reflexive Banach space X with a Schauder basis
On the other hand, the space B has no basis, since it is non-separable. Moreover, B does not have the approximation property.

Unconditionality

A Schauder basis is unconditional if whenever the series converges, it converges
unconditionally. For a Schauder basis , this is equivalent to the existence of a constant C such that
for all natural numbers n, all scalar coefficients and all signs.
Unconditionality is an important property since it allows one to forget about the order of summation. A Schauder basis is symmetric if it is unconditional and uniformly equivalent to all its permutations: there exists a constant C such that for every natural number n, every permutation π of the set, all scalar coefficients and all signs ,
The standard bases of the sequence spaces c0 and ℓp for 1 ≤ p < ∞, as well as every orthonormal basis in a Hilbert space, are unconditional. These bases are also symmetric.
The trigonometric system is not an unconditional basis in Lp, except for p = 2.
The Haar system is an unconditional basis in Lp for any 1 < p < ∞. The space L1 has no unconditional basis.
A natural question is whether every infinite-dimensional Banach space has an infinite-dimensional subspace with an unconditional basis. This was solved negatively by Timothy Gowers and Bernard Maurey in 1992.

Schauder bases and duality

A basis n≥0 of a Banach space X is boundedly complete if for every sequence n≥0 of scalars such that the partial sums
are bounded in X, the sequence converges in X. The unit vector basis for ℓp,, is boundedly complete. However, the unit vector basis is not boundedly complete in c0. Indeed, if an = 1 for every n, then
for every n, but the sequence is not convergent in c0, since ||Vn+1Vn|| = 1 for every n.
A space X with a boundedly complete basis n≥0 is isomorphic to a dual space, namely, the space X is isomorphic to the dual of the closed linear span in the dual of the biorthogonal functionals associated to the basis.
A basis n≥0 of X is shrinking if for every bounded linear functional f on X, the sequence of non-negative numbers
tends to 0 when, where Fn is the linear span of the basis vectors em for mn. The unit vector basis for ℓp, 1 < p < ∞, or for c0, is shrinking. It is not shrinking in ℓ1: if f is the bounded linear functional on ℓ1 given by
then for every n.
A basis of X is shrinking if and only if the biorthogonal functionals form a basis of the dual.
Robert C. James characterized reflexivity in Banach spaces with basis: the space X with a Schauder basis is reflexive if and only if the basis is both shrinking and boundedly complete.
James also proved that a space with an unconditional basis is non-reflexive if and only if it contains a subspace isomorphic to c0 or ℓ1.

Related concepts

A Hamel basis is a subset B of a vector space V such that every element v ∈ V can uniquely be written as
with αbF, with the extra condition that the set
is finite. This property makes the Hamel basis unwieldy for infinite-dimensional Banach spaces; as a Hamel basis for an infinite-dimensional Banach space has to be uncountable.