The space C_0(X) of continuous scalar-valued functions on a locally compact Hausdorff space X that vanish at infinity, meaning for every ε>0 there exists a compact K ⊂ X with |f(x)| < ε for x outside K; typically equipped with the supremum norm when X is noncompact.

Principle

Vanishing at infinity identifies functions approximable by compactly supported continuous functions and encodes decay: elements become arbitrarily small off large compact sets, which is stable under uniform limits and relevant to duality with Radon measures.

Demonstration

On X = R, C_0(R) is the space of continuous functions that tend to 0 as |x| → ∞; compactly supported continuous functions are dense in C_0(R) under the sup norm, demonstrating approximation by functions with literal compact support.

Misapplication

Confusing vanishing at infinity with having compact support (they differ: vanishing allows nonzero tails that decay), or using C_0(X) when the underlying space is not locally compact Hausdorff, which breaks standard duality statements.

Consequence

As a Banach space under the sup norm, C_0(X) provides a setting for functional calculus and duality: its continuous dual can be identified with certain Radon measures when X is locally compact Hausdorff, enabling measure-theoretic representations of linear functionals.

Reversal

Reverse by considering C_b(X), the space of all bounded continuous functions: boundedness replaces decay at infinity, so elements need not vanish and duality properties change accordingly.

Boundary

Defined for locally compact Hausdorff spaces; on a compact space X one has C_0(X) = C(X); non-locally-compact domains require different spaces and can invalidate density and duality results stated for C_0.

Semantic Tension

Tension is between vanishing at infinity and compact support, and between decay conditions and mere boundedness; there is also tension with distributional or Lp decay notions that quantify decay differently.

Synthesis

C_0(X) is the Banach space of continuous functions on a locally compact Hausdorff space that vanish at infinity, capturing decay in a uniform sense, admitting approximation by compactly supported functions and a concrete dual description via measures.