c_0

c_0

c_0 is the Banach space of real or complex sequences that converge to zero, equipped with the supremum norm. It arises in Functional analysis, Banach space theory, and Sequence spaces as a canonical example illustrating separability, non-reflexivity, and duality phenomena. c_0 plays a central role in construction of counterexamples involving complemented subspaces, Schauder bases, and operator ideals, and it appears in classical texts by authors connected to Stefan Banach, Israel Gelfand, and John von Neumann.

Definition and basic properties

The space is defined as the set of all sequences x = (x_n)_{n=1}^\infty with x_n → 0 as n → ∞; it is equipped with the sup norm ||x||∞ = sup_n |x_n|. As a closed subspace of the Banach space ℓ^∞ of bounded sequences, c_0 is itself a Banach space and contains the dense subspace of finitely supported sequences often denoted c_00. The canonical unit vectors (e_n) form a normalized monotone Schauder basis for c_0, and the space is separable, contrasting with ℓ^∞ which is non-separable. c_0 is not reflexive, a fact tied to classical results by Robert C. James and examples related to the Hahn–Banach theorem and the Banach–Alaoglu theorem.

Topology and normed space structure

Topologically, c_0 inherits the subspace topology from ℓ^∞ with the sup norm; the topology is metrizable and induced by the complete metric d(x,y)=||x−y||∞. The unit ball of c_0 is compact in the weak topology if and only if one restricts to finite-dimensional subspaces, reflecting non-reflexivity tied to the Eberlein–Šmulian theorem and the Krein–Milman theorem contexts. As a classical AM-space with unit in lattice theory, c_0 exhibits order properties studied in connection with C*-algebras where sequence algebras and ℓ^∞/c_0 quotients occur, linking to constructions used by Gelfand–Naimark and in the theory of corona algebras associated to Calkin algebra phenomena.

Dual space and sequence space relations

The dual space c_0* is isometrically isomorphic to ℓ^1 via the pairing ⟨x, a⟩ = ∑_{n=1}^\infty x_n a_n for a ∈ ℓ^1, giving a concrete representation of continuous linear functionals. This duality places c_0 within the family of classical sequence spaces with the hierarchy c_00 ⊂ c_0 ⊂ ℓ^∞ and ℓ^1 as dual to c_0, while ℓ^∞* is strictly larger and involves finitely additive measures studied in work related to Banach limits and the Stone–Čech compactification βℕ. The bidual c_0** can be identified with ℓ^∞, and the canonical embedding of c_0 into its bidual is not surjective, illustrating non-reflexivity and connecting to studies by Schauder and Grothendieck on weak-* topologies and tensor product characterizations.

Subspaces, bases, and complementedness

Finite-dimensional subspaces and spaces isomorphic to c_0 play a key role in structure theory. c_0 contains complemented copies of finite-dimensional ℝ^n and admits the canonical basis (e_n) which is a shrinking basis with coordinate functionals in ℓ^1. Not every closed subspace of c_0 is complemented; classical results by Pelczynski and Lindenstrauss investigate conditions for complemented subspaces, including Pelczynski’s decomposition method and the presence of complemented copies of c_0 in certain Banach spaces like C(K) spaces associated to compact Hausdorff spaces such as Stonean space examples. Complementedness questions for c_0 connect to the Sobczyk theorem which asserts that every separable subspace of ℓ^∞ that is isomorphic to c_0 is complemented in every superspace isomorphic to ℓ^∞ under separability hypotheses, and to modern results on operators by Enflo and Johnson.

Applications and examples in functional analysis

c_0 serves as a testbed for operator theory, perturbation theory, and examples in C(K) spaces where convergence-to-zero sequences model vanishing boundary conditions. It appears in the study of compact operators, since operators from ℓ^1 into c_0 and from c_0 into ℓ^1 illustrate compactness criteria linked to the Arzelà–Ascoli theorem analogues and to eigenvalue distribution studied by Weyl and Krein. In approximation theory, c_0 models spaces where uniform approximation by finitely supported sequences is possible, impacting the theory of bases and greedy algorithms explored by Temlyakov and DeVore. In sequence space constructions, c_0 features in direct sum decompositions, tensor products, and as the kernel of quotient maps from ℓ^∞ to sequence algebras, appearing in discussions related to Corona problem analogues and the structure of quotient C*-algebras in the lineage of Brown-Douglas-Fillmore theory.

Category:Banach spaces