- (limits of sequences of points in a metric space)
$\limu{ n }{ \infty } x^{(n)} $ - (limiting values of functions at a point)
$\limd{ x }{ x_0 }{ x \in E } f(x) $ - (pointwise limits of sequences of functions)
$f^{(n)}$ - (uniform limits of functions)
$f^{(n)} $
Notice that (4) can be viewed as a special case of (1).
Suppose $(X, d_X) $ and $(Y, d_Y) $ are metric spaces. We let $B(X \to Y) $ denote the space of bounded functions from $X$ to $Y$:
$$B(X \to Y) \triangleq \set{ f | f: X \to Y\text{ is a bounded function}} $$
We define a metric $d_ \infty : B(X \to Y) \times B(X \to Y) \to \R^+$ as
$$d_ \infty (f, g) \triangleq \supr_{x \in X}{ d_Y(f(x), g(x))}$$
for all $f, g \in B(X \to Y)$.
The metric is known as the sup norm metric or the $L^ \infty $ metric.
We will also use $d_{B(X \to Y)} $ as a synonym for $d_ \infty $.
The distance $d_\infty(f,g)$ is always finite in $B(X \to Y) $.
</span>
</span>
<span class="proof__expand"><a>[expand]</a></span>
$(X, d_X), (Y, d_Y)$. Let $(f^{(n)})_{n =1}^ \infty \subseteq B(X \to Y) $, and let $f$ be another function in $B(X \to Y)$. Then,
$(f^{(n)})^\infty_{ n =1}$ converges to $f$ in the metric $d_{B(X \to Y)}$ if and only if $(f^{(n)})^\infty_{n =1}$ converges uniformly to $f$.
$(X, d_X), (Y, d_Y)$. $(Y, d_Y)$ complete. The space $(C(X \to Y), d_{B(X \to Y)}|_{C(X \to Y) \times (X \to Y)})$ is a complete subspace of $(B(X \to Y), d_{B(X \to Y)}) $. In other words, every Cauchy sequence of functions in $C(X \to Y) $ converges to a function in $C(X \to Y) $.