Schauder basis

In mathematics, a Schauder basis or countable basis is similar to the usual (Hamel) 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,^[1]^[2] although such bases were discussed earlier. For example, the Haar basis was given in 1909, and G. Faber discussed in 1910 a basis for continuous functions on an interval, sometimes called a Faber–Schauder system.^[3]

Definitions

Let V denote a Banach space over the field F. A Schauder basis is a sequence {b_n} of elements of V such that for every element v ∈ V there exists a unique sequence {α_n} of scalars in F so that

v=\sum _{{n=0}}^{\infty }\alpha _{n}b_{n},

where the convergence is understood with respect to the norm topology, i.e.,

\lim _{{n\to \infty }}\left\|v-\sum _{{k=0}}^{n}\alpha _{k}b_{k}\right\|_{V}=0.

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 {b_n}_n ≥ 0 is said to be normalized when all the basis vectors have norm 1 in the Banach space V.

A sequence {x_n}_n ≥ 0 in V is a basic sequence if it is a Schauder basis of its closed linear span.

Two Schauder bases, {b_n} in V and {c_n} in W, are said to be equivalent if there exist two constants c > 0 and C such that for every integer N ≥ 0 and all sequences {α_n} of scalars,

c\left\|\sum _{{k=0}}^{N}\alpha _{k}b_{k}\right\|_{V}\leq \left\|\sum _{{k=0}}^{N}\alpha _{k}c_{k}\right\|_{W}\leq C\left\|\sum _{{k=0}}^{N}\alpha _{k}b_{k}\right\|_{V}.

A family of vectors in V is total if its linear span (the set of finite linear combinations) 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 {b_n} be a Schauder basis of a Banach space V over F = R or C. It follows from the Banach–Steinhaus theorem that the linear mappings {P_n} defined by

v=\sum _{{k=0}}^{\infty }\alpha _{k}b_{k}\ \ {\overset {\textstyle P_{n}}{\longrightarrow }}\ \ P_{n}(v)=\sum _{{k=0}}^{n}\alpha _{k}b_{k}

are uniformly bounded by some constant C. When C = 1, the basis is called a monotone basis. The maps {P_n} are the basis projections.

Let {b*_n} 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,

|b_{n}^{*}(v)|\;\|b_{n}\|_{V}=|\alpha _{n}|\;\|b_{n}\|_{V}=\|\alpha _{n}b_{n}\|_{V}=\|P_{n}(v)-P_{{n-1}}(v)\|_{V}\leq 2C\|v\|_{V}.

These functionals {b*_n} are called biorthogonal functionals associated to the basis {b_n}. When the basis {b_n} is normalized, the coordinate functionals {b*_n} have norm ≤ 2C in the continuous dual V ′ of V.

A Banach space with a Schauder basis is necessarily separable, but the converse is false, as described below. Since every vector v in a Banach space V with a Schauder basis is the limit of P_n(v), with P_n of finite rank and uniformly bounded, such a space V satisfies the bounded approximation property.

A theorem attributed to Mazur^[4] 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.^[5]

Examples

The standard unit vector bases of c₀, and of ℓ^p for 1 ≤ p < ∞, are monotone Schauder bases. In this unit vector basis {b_n}, the vector b_n in V = c₀ or in V = ℓ^p is the scalar sequence {b_n, j}_j where all coordinates b_{n, j} are 0, except the nth coordinate:

b_{n}=\{b_{{n,j}}\}_{{j=0}}^{\infty }\in V,\ \ b_{{n,j}}=\delta _{{n,j}},

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 ℓ².

The Haar system is an example of a basis for L^p([0, 1]), when 1 ≤ p < ∞.^[2] When 1 < p < ∞, another example is the trigonometric system defined below. The Banach space C([0, 1]) of continuous functions on the interval [0, 1], with the supremum norm, admits a Schauder basis. The Faber–Schauder system is the most commonly used Schauder basis for C([0, 1]).^[3]^[6]

Several bases for classical spaces were discovered before Banach's book appeared (Banach (1932)), but some other cases remained open for a long time. For example, the question of whether the disk algebra A(D) 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(D).^[7] One can also prove that the periodic Franklin system^[8] is a basis for a Banach space A_r isomorphic to A(D).^[9] This space A_r 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([0, 1]),^[10] and it is a Schauder basis in L^p([0, 1]) when 1 ≤ p < ∞.^[11] Systems derived from the Franklin system give bases in the space C¹([0, 1]²) of differentiable functions on the unit square.^[12] The existence of a Schauder basis in C¹([0, 1]²) was a question from Banach's book.^[13]

Relation to Fourier series

Let {x_n} be, in the real case, the sequence of functions

\{1,\cos(x),\sin(x),\cos(2x),\sin(2x),\cos(3x),\sin(3x),\ldots \}

or, in the complex case,

\left\{1,e^{{ix}},e^{{-ix}},e^{{2ix}},e^{{-2ix}},e^{{3ix}},e^{{-3ix}},\ldots \right\}.

The sequence {x_n} is called the trigonometric system. It is a Schauder basis for the space L^p([0, 2π]) for any p such that 1 < p < ∞. 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 L^p([0, 2π]) of the Hilbert transform on the circle. It follows from this boundedness that the projections P_N defined by

\left\{f:x\to \sum _{{k=-\infty }}^{{+\infty }}c_{k}e^{{ikx}}\right\}\ {\overset {P_{N}}{\longrightarrow }}\ \left\{P_{N}f:x\to \sum _{{k=-N}}^{{N}}c_{k}e^{{ikx}}\right\}

are uniformly bounded on L^p([0, 2π]) when 1 < p < ∞. This family of maps {P_N} is equicontinuous and tends to the identity on the dense subset consisting of trigonometric polynomials. It follows that P_N f tends to f in L^p-norm for every f ∈ L^p([0, 2π]). In other words, {x_n} is a Schauder basis of L^p([0, 2π]).^[14]

However, the set {x_n} is not a Schauder basis for L¹([0, 2π]). This means that there are functions in L¹ whose Fourier series does not converge in the L¹ norm, or equivalently, that the projections P_N are not uniformly bounded in L¹-norm. Also, the set {x_n} is not a Schauder basis for C([0, 2π]).

Bases for spaces of operators

The space K(ℓ²) of compact operators on the Hilbert space ℓ² has a Schauder basis. For every x, y in ℓ², let x ⊗ y denote the rank one operator v ∈ ℓ² → <v, x> y. If {e_n}_n ≥ 1 is the standard orthonormal basis of ℓ², a basis for K(ℓ²) is given by the sequence^[15]

{\begin{aligned}&e_{1}\otimes e_{1},\ \ e_{1}\otimes e_{2},\;e_{2}\otimes e_{2},\;e_{2}\otimes e_{1},\ldots ,\\&e_{1}\otimes e_{n},e_{2}\otimes e_{n},\ldots ,e_{n}\otimes e_{n},e_{n}\otimes e_{{n-1}},\ldots ,e_{n}\otimes e_{1},\ldots \end{aligned}}

For every n, the sequence consisting of the n² first vectors in this basis is a suitable ordering of the family {e_j ⊗ e_k}, for 1 ≤ j, k ≤ n.

The preceding result can be generalized: a Banach space X with a basis has the approximation property, so the space K(X) of compact operators on X is isometrically isomorphic^[16] to the injective tensor product

X'\widehat \otimes _{\varepsilon }X\simeq {\mathcal {K}}(X).

If X is a Banach space with a Schauder basis {e_n}_n ≥ 1 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(X) admits a basis formed by the rank one operators e *_j ⊗ e_k : v → e *_j(v) e_k, with the same ordering as before.^[15] 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.^[17]

Unconditionality

A Schauder basis {b_n} is unconditional if whenever the series $\sum \alpha _{n}b_{n}$ converges, it converges unconditionally. For a Schauder basis {b_n}, this is equivalent to the existence of a constant C such that

{\Bigl \|}\sum _{{k=0}}^{n}\varepsilon _{k}\alpha _{k}b_{k}{\Bigr \|}_{V}\leq C{\Bigl \|}\sum _{{k=0}}^{n}\alpha _{k}b_{k}{\Bigr \|}_{V}

for all integers n, all scalar coefficients {α_k} and all signs ε_k = ± 1. 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 integer n, every permutation π of the integers {0, 1, …, n} , all scalar coefficients {α_k} and all signs {ε_k},

{\Bigl \|}\sum _{{k=0}}^{n}\varepsilon _{k}\alpha _{k}b_{{\pi (k)}}{\Bigr \|}_{V}\leq C{\Bigl \|}\sum _{{k=0}}^{n}\alpha _{k}b_{k}{\Bigr \|}_{V}.

The standard bases of the sequence spaces c₀ 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 L^p, except for p = 2.

The Haar system is an unconditional basis in L^p for any 1 < p < ∞. The space L¹([0, 1]) has no unconditional basis.^[18]

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.^[19]

Schauder bases and duality

A basis {e_n}_n≥0 of a Banach space X is boundedly complete if for every sequence {a_n}_n≥0 of scalars such that the partial sums

V_{n}=\sum _{{k=0}}^{n}a_{k}e_{k}

are bounded in X, the sequence {V_n} converges in X. The unit vector basis for ℓ^p, 1 ≤ p < ∞, is boundedly complete. However, the unit vector basis is not boundedly complete in c₀. Indeed, if a_n = 1 for every n, then

\|V_{n}\|_{{c_{0}}}=\max _{{0\leq k\leq n}}|a_{k}|=1

for every n, but the sequence {V_n} is not convergent in c₀, since ||V_n+1 − V_n|| = 1 for every n.

A space X with a boundedly complete basis {e_n}_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 X ′ of the biorthogonal functionals associated to the basis {e_n}.^[20]

A basis {e_n}_n≥0 of X is shrinking if for every bounded linear functional f on X, the sequence of non-negative numbers

\varphi _{n}=\sup\{|f(x)|:x\in F_{n},\;\|x\|\leq 1\}

tends to 0 when n → ∞, where F_n is the linear span of the basis vectors e_m for m ≥ n. The unit vector basis for ℓ^p, 1 < p < ∞, or for c₀, is shrinking. It is not shrinking in ℓ¹: if f is the bounded linear functional on ℓ¹ given by

f:x=\{x_{n}\}\in \ell ^{1}\ \rightarrow \ \sum _{{n=0}}^{{\infty }}x_{n},

then φ_n ≥ f(e_n) = 1 for every n.

A basis {e_n}_n ≥ 0 of X is shrinking if and only if the biorthogonal functionals {e*_n}_n ≥ 0 form a basis of the dual X ′.^[21]

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.^[22] James also proved that a space with an unconditional basis is non-reflexive if and only if it contains a subspace isomorphic to c₀ or ℓ¹.^[23]

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

v=\sum _{{b\in B}}\alpha _{b}b

with α_b ∈ F, with the extra condition that the set

\{b\in B\mid \alpha _{b}\neq 0\}

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. (Every finite-dimensional subspace of an infinite-dimensional Banach space X has empty interior, and is no-where dense in X. It then follows from the Baire category theorem that a countable union of these finite-dimensional subspaces cannot serve as a basis.^[24])

Notes

↑ see Schauder (1927).
1 2 Schauder, Juliusz (1928), "Eine Eigenschaft des Haarschen Orthogonalsystems", Mathematische Zeitschrift 28: 317–320.
1 2 Faber, Georg (1910), "Über die Orthogonalfunktionen des Herrn Haar", Deutsche Math.-Ver (in German) 19: 104–112. ISSN 0012-0456; http://www-gdz.sub.uni-goettingen.de/cgi-bin/digbib.cgi?PPN37721857X ; http://resolver.sub.uni-goettingen.de/purl?GDZPPN002122553
↑ for an early published proof, see p. 157, C.3 in Bessaga, C. and Pełczyński, A. (1958), "On bases and unconditional convergence of series in Banach spaces", Studia Math. 17: 151–164. In the first lines of this article, Bessaga and Pełczyński write that Mazur's result appears without proof in Banach's book —to be precise, on p. 238— but they do not provide a reference containing a proof.
↑ Enflo, Per (July 1973). "A counterexample to the approximation problem in Banach spaces". Acta Mathematica. 130 (1): 309–317. doi:10.1007/BF02392270.
↑ see pp. 48–49 in Schauder (1927). Schauder defines there a general model for this system, of which the Faber–Schauder system used today is a special case.
↑ see Bočkarev, S. V. (1974), "Existence of a basis in the space of functions analytic in the disc, and some properties of Franklin's system", (in Russian) Mat. Sb. (N.S.) 95(137): 3–18, 159. Translated in Math. USSR-Sb. 24 (1974), 1–16. The question is in Banach's book, Banach (1932) p. 238, §3.
↑ See p. 161, III.D.20 in Wojtaszczyk (1991).
↑ See p. 192, III.E.17 in Wojtaszczyk (1991).
↑ Franklin, Philip (1928), "A set of continuous orthogonal functions", Math. Ann. 100: 522–529.
↑ see p. 164, III.D.26 in Wojtaszczyk (1991).
↑ see Ciesielski, Z. (1969), "A construction of basis in C¹(I²)", Studia Math. 33: 243–247, and Schonefeld, Steven (1969), "Schauder bases in spaces of differentiable functions", Bull. Amer. Math. Soc. 75: 586–590.
↑ see p. 238, §3 in Banach (1932).
↑ see p. 40, II.B.11 in Wojtaszczyk (1991).
1 2 see Proposition 4.25, p. 88 in Ryan (2002).
↑ see Corollary 4.13, p. 80 in Ryan (2002).
↑ see Szankowski, Andrzej (1981), "B(H) does not have the approximation property", Acta Math. 147: 89–108.
↑ see p. 24 in Lindenstrauss & Tzafriri (1977).
↑ Gowers, W. Timothy; Maurey, Bernard (6 May 1992). "The unconditional basic sequence problem". arXiv:math/9205204.
↑ see p. 9 in Lindenstrauss & Tzafriri (1977).
↑ see p. 8 in Lindenstrauss & Tzafriri (1977).
↑ see James, Robert. C. (1950), "Bases and reflexivity of Banach spaces", Ann. of Math. (2) 52: 518–527. See also Lindenstrauss & Tzafriri (1977) p. 9.
↑ see James, Robert C. (1950), "Bases and reflexivity of Banach spaces", Ann. of Math. (2) 52: 518–527. See also p. 23 in Lindenstrauss & Tzafriri (1977).
↑ Carothers, N. L. (2005), A short course on Banach space theory, Cambridge University Press ISBN 0-521-60372-2

This article incorporates material from Countable basis on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.

References

Schauder, Juliusz (1927), "Zur Theorie stetiger Abbildungen in Funktionalraumen", Mathematische Zeitschrift (in German), 26: 47–65, doi:10.1007/BF01475440 .
Banach, Stefan (1932), Théorie des opérations linéaires, Monografie Matematyczne, 1, Warszawa: Subwencji Funduszu Kultury Narodowej, Zbl 0005.20901 .
Lindenstrauss, Joram; Tzafriri, Lior (1977), Classical Banach Spaces I, Sequence Spaces, Ergebnisse der Mathematik und ihrer Grenzgebiete, 92, Berlin: Springer-Verlag, ISBN 3-540-08072-4 .
Ryan, Raymond A. (2002), Introduction to Tensor Products of Banach Spaces, Springer Monographs in Mathematics, London: Springer-Verlag, pp. xiv+225, ISBN 1-85233-437-1 .
Schaefer, Helmut H. (1971), Topological vector spaces, Graduate Texts in Mathematics, 3, New York: Springer-Verlag, pp. xi+294, ISBN 0-387-98726-6 .
Wojtaszczyk, Przemysław (1991), Banach spaces for analysts, Cambridge Studies in Advanced Mathematics, 25, Cambridge: Cambridge University Press, pp. xiv+382, ISBN 0-521-35618-0 .
Golubov, B.I. (2001), "Faber–Schauder system", in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 .
Heil, Christopher E. (1997). "A basis theory primer" (PDF). .
Franklin system. B.I. Golubov (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Franklin_system&oldid=16655

Functional analysis

Set / subset types	Absolutely convex Absorbing Balanced Bounded Convex Radial Star-shaped Symmetric Linear cone (subset) Convex cone (subset)

TVS types	Banach Barrelled Bornological Brauner F-space Finite-dimensional Fréchet (tame) Hilbert LF-space Locally convex Mackey Montel Nuclear Normed (norm) Quasinormed Reflexive Riesz Smith Stereotype Webbed Topological tensor product (of Hilbert spaces)

Mapping topologies	Dual Dual space Operator Ultraweak Weak (operator) Mackey Strong (polar operator) Ultrastrong Uniform convergence

Linear operators	Adjoint Bilinear (form) Bounded / Unbounded Closed Continuous / Discontinuous Compact Fredholm Hilbert–Schmidt Functionals (positive) Normal Nuclear Self-adjoint Strictly singular Trace class Transpose Unitary

Set operations	Algebraic interior (core) Interior Minkowski addition Polar

Operator theory	Banach algebras C-algebras Spectrum (C-algebra radius) Spectral theory (of ODEs Spectral theorem) Polar decomposition Singular value decomposition

Theorems	Banach–Alaoglu Banach–Saks Banach–Mazur Bessel's inequality Cauchy–Schwarz inequality Closed range Closed graph Eberlein–Šmulian Freudenthal spectral Gelfand–Mazur Goldstine Hahn–Banach (hyperplane separation) Kakutani fixed-point Lomonosov's invariant subspace Mackey–Arens Mazur's lemma M. Riesz extension Open mapping Parseval's identity Schauder fixed-point

Analysis	Bochner space Differentiation in Fréchet spaces Derivatives (Fréchet Gâteaux functional holomorphic) Integrals (Bochner Dunford Gelfand–Pettis regulated weak) Functional calculus (Borel continuous holomorphic) Inverse function theorem (Nash–Moser theorem) Vector measure Weakly measurable function