Schauder basis

In mathematics, a Schauder basis or countable basis is a special way to build up elements of certain spaces. Think of it like using numbers 1, 2, 3, and so on to count, but for more complex mathematical spaces. Unlike a regular basis called a Hamel basis, Schauder bases let us use infinite sums. This is helpful when we work with spaces that have infinitely many dimensions.

Schauder bases were first described by a mathematician named Juliusz Schauder in 1927. Ideas related to them were talked about even earlier. For example, in 1909, someone named Haar basis was introduced, and in 1910, Georg Faber studied a special set of functions on an interval, called the Faber–Schauder system. These bases help us understand and work with continuous functions and other complex mathematical objects in topological vector spaces, especially in important spaces known as Banach spaces.

Definitions

A Schauder basis is a special way to build elements in some kinds of mathematical spaces. It uses an infinite list of numbers and vectors.

Unlike a usual basis, where you add just a few vectors together, a Schauder basis lets you add up infinitely many vectors. This is useful for studying spaces with infinitely many dimensions.

Simply put, a Schauder basis is a sequence of vectors. Any vector in that space can be written as an infinite sum of these basis vectors, each multiplied by a number. This idea was introduced by Juliusz Schauder in 1927. It helps mathematicians understand complex spaces better.

Properties

A Schauder basis is a special way to build vectors in a type of mathematical space called a Banach space, using an infinite sum. This helps when working with spaces that have infinitely many dimensions.

Important facts include:

• Every Banach space with a Schauder basis is separable, meaning it has a countable dense subset.
• Not every separable Banach space has a Schauder basis; this was shown by Per Enflo.
• Every infinite-dimensional Banach space contains a basic sequence, meaning a part of it has a Schauder basis.

Main article: Basis projections
Main articles: Separable, Reflexive, Bounded approximation property

Examples

The standard unit vector bases are simple examples of Schauder bases. In spaces like c₀ and ℓ^p for 1 ≤ p < ∞, the vector eⁿ is a sequence where all elements are zero except for the _n_th element, which is one. This creates a basis that helps describe vectors in these spaces.

Every orthonormal basis in a separable Hilbert space is also a Schauder basis. This means that these bases can represent vectors using infinite sums, which is useful for studying spaces of functions and other complex mathematical structures.

Unconditionality

A Schauder basis is unconditional if, whenever a certain kind of sum comes together, it does so no matter what order the terms are in. This makes calculations easier because you can shuffle the terms in any way you like.

Some famous bases, like those used in special sequence spaces, are unconditional. But not all spaces have such bases. In 1992, mathematicians Timothy Gowers and Bernard Maurey proved that some very large spaces do not have smaller spaces inside them with unconditional bases.

Schauder bases and duality

A basis in a special mathematical space called a Banach space is boundedly complete if certain sums of the basis elements stay limited and come together to a single point. In one common space, these sums stay limited but do not always come together.

A space with a boundedly complete basis is closely related to another space called a "dual space."

A basis is shrinking if, for any rule that changes elements in the space in a limited way, a certain value gets smaller and smaller as we look further out in the basis. Some well-known bases are shrinking, while others are not, depending on the space they are used in.

Related concepts

A Hamel basis is a special group of vectors. It helps you write any vector as a mix of a few of these basis vectors. This works well in spaces with a limited number of directions.

But for more complex spaces with infinitely many directions, Hamel bases become hard to use. They need an uncountable number of vectors. This makes them less useful for studying some mathematical spaces.