Space of continuous functions

The set of all real-valued continuous functions on a given topological space.
Space of continuous functions

The space of continuous functions on a XX is

C(X)={f:XRf is continuous}, C(X)=\{f:X\to\mathbb{R} \mid f \text{ is continuous}\},

where continuity is in the sense of a . It is naturally a vector space under pointwise addition and scalar multiplication.

On domains where continuous functions are bounded (for example, on a compact interval), C(X)C(X) can be equipped with the and the associated , linking function-space topology to . Theorems such as and are statements about subsets of C(X)C(X).

Examples:

  • On [0,1][0,1], every function belongs to C([0,1])C([0,1]).
  • On [1,1][-1,1], the function f(x)=xf(x)=|x| belongs to C([1,1])C([-1,1]).