ℓ^p

ℓ^p
Name	ℓ^p
Caption	Sequence space
Type	Normed vector space, Banach space
Related	L^p spaces, c_0, ℓ^2, Hilbert space

ℓ^p

ℓ^p is the family of sequence spaces consisting of all real or complex sequences whose pth powers are summable, forming central examples in functional analysis, measure theory, and operator theory. These spaces connect with classical results by Banach, Riesz, and Hahn and play roles in harmonic analysis, probability theory, and partial differential equations. ℓ^p spaces exhibit differing geometry and duality according to the exponent p, linking topics across topology, spectral theory, and approximation theory.

Definition

For 1 ≤ p < ∞, the space consists of all sequences (x_n) of scalars such that the series Σ_n |x_n|^p converges, equipped with the norm ||x||_p = (Σ_n |x_n|^p)^{1/p}. For p = ∞, the corresponding space consists of bounded sequences with the supremum norm. These definitions parallel the construction of Lebesgue L^p spaces on counting measure and mirror constructions in Banach space theory, with canonical bases analogous to those in Hilbert space theory.

Basic Properties

ℓ^p is complete for 1 ≤ p ≤ ∞, making each an instance of a Banach space. For p = 2, ℓ^2 carries an inner product structure yielding a separable Hilbert space extensively used in Fourier analysis, quantum mechanics, and signal processing. The standard unit vectors form a Schauder basis, and separability holds for 1 ≤ p < ∞ but fails for ℓ^∞. The spaces admit isometric embeddings and nontrivial isomorphisms studied in the work of Banach, Mazur, and Pelczynski; the geometry varies with p, affecting notions like uniform convexity (established by Milman and Clarkson), strict convexity, and smoothness investigated by James.

Duality and Reflexivity

For 1 < p < ∞, the dual space (continuous linear functionals) of ℓ^p is isometrically isomorphic to ℓ^q where 1/p + 1/q = 1, a manifestation of the Hölder's inequality principle and the Riesz representation theorem in sequence form; this duality connects to classical results by Hahn–Banach theorem in functional analysis. ℓ^p is reflexive when 1 < p < ∞, while ℓ^1 has dual ℓ^∞ and is non-reflexive, and ℓ^∞ is nonseparable with a dual larger than classical sequence spaces, relating to investigations by Grothendieck and results like the Banach–Alaoglu theorem. Duality considerations influence operator theory studied by Wiener, Schauder, and Gelfand.

Examples and Special Cases

Special cases include ℓ^1, ℓ^2, and ℓ^∞, each linked to major developments: ℓ^1 appears in Fourier series coefficient spaces and summability methods studied by Dirichlet and Cesàro, ℓ^2 underpins Plancherel theorem applications in harmonic analysis and Schrödinger equation formulations by Schrödinger, and ℓ^∞ relates to bounded scalar sequences central to uniform boundedness principles exemplified by Banach–Steinhaus theorem. Classical sequence spaces like c_0 (sequences vanishing at infinity) embed into ℓ^p for p < ∞. Concrete examples include geometric sequences in ℓ^p for p > 0, alternating series related to Leibniz-type convergence, and probabilistic sequences tied to Kolmogorov's three-series theorem and laws studied by Bernoulli and Kolmogorov.

Operators and Applications

Bounded linear operators on ℓ^p, including shift operators, diagonal operators, and compact operators, form prototypical classes in operator theory explored by Weyl, Fredholm, and Hilbert. The unilateral and bilateral shift operators relate to models in Hardy space theory and invariant subspace problems studied by Beurling, Von Neumann, and Beurling–Lax theorem contexts. ℓ^p spaces serve in numerical analysis for discretizations of partial differential equations and in frame theory and sparse representations relevant to Mallat and Daubechies wavelet constructions; they also appear in signal recovery problems studied by Tikhonov and Donaho (Donoho). In probability and ergodic theory, sequences in ℓ^p interface with ergodic averages in the work of Birkhoff and von Neumann.

History and Notation

The systematic study of sequence spaces like ℓ^p originated in early 20th-century functional analysis, with foundational contributions from Steinhaus, Banach, and Riesz and later refinements by Kolmogorov, Mazur, and Orlicz. Notation ℓ^p stems from German-language influences in the period of Banach space development; alternate notations emerged in works by Lebesgue and in measure-theoretic treatments by Fréchet and Dieudonné. Over subsequent decades, ℓ^p spaces have been central to developments by Grothendieck, Pettis, Pelczynski, and Enflo in topics ranging from basis theory to isomorphic classification and the solution of the invariant subspace problem in specific settings.

Category:Functional analysis