Bounded Function Spaces

A function f:S→X is bounded if there are c∈R and x0∈X such that, for any z∈S $$ d(f(z), x_0)\le c $$We denote

B(S,X):={f:S→X∣f is bounded}

and we define $$ d_\infty(f,g) = \sup_{z \in S}d(f(z), g(z)) $$d∞ is a metric on B(S,X). This metric is called the uniform metric.

Prop: If X is a complete metric space, then B(S,X) is also complete with the uniform metric.

If V is a vector space, the set of all function from S to V is a vector space with the operations $$ (f+g)(z) := f(z)+g(z) \qquad (\lambda f)(z) := \lambda f(z) $$
If V is a normed space with norm ∥⋅∥, then B(S,V) is a vector space and$$ |f|\infty := \sup{z \in S}|f(z)| $$is a norm in B(S,V). This norm is called the uniform norm.