Definition:Supremum Metric/Bounded Real Functions on Interval

Definition
Let $\closedint a b \subseteq \R$ be a closed real interval.

Let $A$ be the set of all bounded real functions $f: \closedint a b \to \R$.

Let $d: A \times A \to \R$ be the function defined as:
 * $\ds \forall f, g \in A: \map d {f, g} := \sup_{x \mathop \in \closedint a b} \size {\map f x - \map g x}$

where $\sup$ denotes the supremum.

$d$ is known as the supremum metric on $A$.

Also known as
This metric is also known as the sup metric or the uniform metric.

The metric space $\struct {A, d}$ is denoted in some sources as:
 * $\map {\mathscr B} {\closedint a b, \R}$

while some give it as:
 * $\map {\mathscr C} {\closedint a b}$

There appears to be no standard notation for it.

Also see

 * Supremum Metric on Bounded Real Functions on Closed Interval is Metric
 * Open Balls of Supremum Metric on Bounded Real Functions on Closed Interval