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, 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. Let V denote a topological vector space over the field F. A Schauder basis is a sequence {bn} of elements of V such that for every element v ∈ V there exists a unique sequence {αn} of scalars in F so that The convergence of the infinite sum is implicitly that of the ambient topology, i.e., but can be reduced to only weak convergence in a normed vector space (such as a Banach space). Unlike a Hamel basis, the elements of the basis must be ordered since the series may not converge unconditionally. Note that some authors define Schauder bases to be countable (as above), while others use the term to include uncountable bases. In either case, the sums themselves always are countable. An uncountable Schauder basis is a linearly ordered set rather than a sequence, and each sum inherits the order of its terms from this linear ordering. They can and do arise in practice. As an example, a separable Hilbert space can only have a countable Schauder basis but a non-separable Hilbert space may have an uncountable one. Though the definition above technically does not require a normed space, a norm is necessary to say almost anything useful about Schauder bases. The results below assume the existence of a norm. A Schauder basis {bn}n ≥ 0 is said to be normalized when all the basis vectors have norm 1 in the Banach space V. A sequence {xn}n ≥ 0 in V is a basic sequence if it is a Schauder basis of its closed linear span.