Schauder Bases — Mathematics Knowledge System

Overview

A Schauder basis of a Banach space X is a sequence (e_n) such that every x in X has a unique representation as a convergent series x = sum a_n e_n. Schauder bases are the infinite-dimensional analogue of a vector space basis, but crucially require convergence of the series rather than finite sums. They provide a coordinate system for infinite-dimensional spaces and are essential tools for constructing operators and proving approximation results.

Intuition

In finite dimensions, a basis allows every vector to be written uniquely as a finite linear combination of basis vectors. In infinite dimensions, we need infinite series instead. The key difference from an algebraic (Hamel) basis is that we demand convergence in the norm — so the 'coordinates' are determined by a limiting process. The standard sequence (e_n) in l^p is the prototypical Schauder basis: every sequence (a_n) in l^p is recovered as the norm-convergent sum sum a_n e_n.

Formal Definition

Definition

A sequence (e_n)_{n=1}^inf in a Banach space X is a Schauder basis if for every x in X there exist unique scalars (a_n(x)) such that x = sum_{n=1}^inf a_n(x) e_n, where the series converges in norm. The coefficient functionals f_n: X -> F defined by f_n(x) = a_n(x) are bounded linear functionals called the biorthogonal functionals. The partial sum operators S_N(x) = sum_{n=1}^N a_n(x) e_n are bounded projections with sup_N ||S_N|| < infinity.

x = \sum_{n=1}^{\infty} a_n(x)\, e_n,\quad \text{unique convergent series in } X

Schauder basis expansion

\langle e_n, f_m \rangle = f_m(e_n) = \delta_{nm}

Biorthogonality

K = \sup_{N \ge 1} \|S_N\| < \infty,\quad S_N x = \sum_{n=1}^N f_n(x)\, e_n

Basis constant

Notation

Notation	Meaning
$(e_n)_{n=1}^\infty$	Schauder basis sequence
$S_N$	N-th partial sum projection
$K$	Basis constant = sup_N \|\|S_N\|\|
$f_n$	n-th biorthogonal (coordinate) functional

Theorems

Theorem 2.1: Theorem 2.1 (Uniqueness and Continuity of Coefficients)

If (e_n) is a Schauder basis of X then the coefficient functionals f_n are bounded: ||f_n|| <= 2K/||e_n|| where K is the basis constant. In particular, each f_n is in X*.

Theorem 2.2: Theorem 2.2 (Separability)

Any Banach space with a Schauder basis is separable. (The rational linear combinations of finite subsets of {e_n} are dense.)

Theorem 2.3: Theorem 2.3 (Unconditional basis)

A Schauder basis (e_n) is unconditional if the series sum a_n(x) e_n converges for every permutation of {n}. Equivalently, sum epsilon_n a_n(x) e_n converges for all choices of signs epsilon_n in {-1,+1}, uniformly in x.

Worked Examples

1
Let x = (x_1, x_2, ...) in l^p so that sum |x_n|^p < infinity.
2
The partial sums S_N x = (x_1, ..., x_N, 0, 0, ...) satisfy:
$\|x - S_N x\|_p^p = \sum_{n=N+1}^\infty |x_n|^p \to 0 \text{ as } N \to \infty$
3
This follows because the tail of a convergent series tends to 0. Hence x = sum_{n=1}^inf x_n e_n in l^p.
4
Uniqueness: if sum a_n e_n = 0 then applying the m-th coordinate functional gives a_m = 0 for all m.

✓ Answer

The standard vectors form a Schauder basis for l^p (1 <= p < inf) with basis constant K = 1.

Practice Problems

Mediumproof writing

Show that if (e_n) is a Schauder basis for X, then span{e_n : n >= 1} is dense in X.

Mediumfree response

Explain why c_0 has a Schauder basis but l^inf does not (hint: consider separability).

Quiz

Summary

A Schauder basis (e_n) allows every x in a Banach space to be written uniquely as a norm-convergent series sum a_n(x) e_n.
The coefficient functionals f_n(x) = a_n(x) are bounded linear functionals (elements of X*).
The basis constant K = sup_N ||S_N|| is finite and controls the stability of the expansion.
Every space with a Schauder basis is separable; the converse fails (Enflo 1973).
Standard examples: unit vectors in l^p (1 <= p < inf), Haar system in L^p[0,1].

References

BookLindenstrauss, J. & Tzafriri, L. — Classical Banach Spaces I, Springer, 1977
BookAlbiac, F. & Kalton, N. — Topics in Banach Space Theory (2nd ed.), Chapter 1
Websiteen.wikipedia.org