We have that the supremum metric on $A \times A$ is defined as: :$\displaystyle \forall f, g \in A: d \left({f, g}\right) := \sup_{\substack {x \mathop \in \left[{a \,.\,.\, b}\right] \\ i \in \left\{ {0, 1, 2, \ldots, r}\right\} } } \left\vert{f^{\left({i}\right)} \left({x}\right) - g^{\left({i}\right)} \left({x}\right)}\right\vert$ where $f$ and $g$ are continuous functions on $\left[{a \,.\,.\, b}\right]$ which are of differentiability class $r$. === Proof of $M1$ === {{begin-eqn}} {{eqn | l = d \left({f, f}\right)       | r = \sup_{\substack {x \mathop \in \left[{a \,.\,.\, b}\right] \\ i \in \left\{ {0, 1, 2, \ldots, r}\right\} } } \left\vert{f^{\left({i}\right)} \left({x}\right) - f^{\left({i}\right)} \left({x}\right)}\right\vert       | c = Definition of $d$ }} {{eqn | r = \sup_{\substack {x \mathop \in \left[{a \,.\,.\, b}\right] \\ i \in \left\{ {0, 1, 2, \ldots, r}\right\} } } \left\vert{0}\right\vert       | c =  }} {{eqn | r = 0       | c =  }} {{end-eqn}} So axiom $M1$ holds for $d$. {{qed|lemma}} === Proof of $M2$ === Let $f, g, h \in A$. Let $c \in \left[{a \,.\,.\, b}\right]$. {{begin-eqn}} {{eqn | l = c       | o = \in       | r = \left[{a \,.\,.\, b}\right]       | c =  }} {{eqn | ll= \implies       | l = \sup_{i \in \left\{ {0, 1, 2, \ldots, r}\right\} } \left\vert{f^{\left({i}\right)} \left({c}\right) - h^{\left({i}\right)} \left({c}\right)}\right\vert       | o = \le       | r = \sup_{i \in \left\{ {0, 1, 2, \ldots, r}\right\} } \left\vert{f^{\left({i}\right)} \left({c}\right) - g^{\left({i}\right)} \left({c}\right)}\right\vert + \sup_{i \in \left\{ {0, 1, 2, \ldots, r}\right\} } \left\vert{g^{\left({i}\right)} \left({c}\right) - h^{\left({i}\right)} \left({c}\right)}\right\vert       | c = Triangle Inequality for Real Numbers }} {{eqn | o = \le       | r = \sup_{\substack {x \mathop \in \left[{a \,.\,.\, b}\right] \\ i \in \left\{ {0, 1, 2, \ldots, r}\right\} } } \left\vert{f^{\left({i}\right)} \left({x}\right) - g^{\left({i}\right)} \left({x}\right)}\right\vert + \sup_{\substack {x \mathop \in \left[{a \,.\,.\, b}\right] \\ i \in \left\{ {0, 1, 2, \ldots, r}\right\} } } \left\vert{g^{\left({i}\right)} \left({x}\right) - h^{\left({i}\right)} \left({x}\right)}\right\vert       | c = Definition of Supremum }} {{eqn | r = d \left({f, g}\right) + d \left({g, h}\right)       | c = Definition of $d$ }} {{end-eqn}} Thus $d \left({f, g}\right) + d \left({g, h}\right)$ is an upper bound for: :$S := \left\{ {\sup_{i \in \left\{ {0, 1, 2, \ldots, r}\right\} } \left\vert{f^{\left({i}\right)} \left({c}\right) - g^{\left({i}\right)} \left({c}\right)}\right\vert: c \in \left[{a \,.\,.\, b}\right]}\right\}$ So: :$d \left({f, g}\right) + d \left({g, h}\right) \ge \sup S = d \left({f, h}\right)$ So axiom $M2$ holds for $d$. {{qed|lemma}} === Proof of $M3$ === {{begin-eqn}} {{eqn | l = d \left({f, g}\right)       | r = \sup_{\substack {x \mathop \in \left[{a \,.\,.\, b}\right] \\ i \in \left\{ {0, 1, 2, \ldots, r}\right\} } } \left\vert{f^{\left({i}\right)} \left({x}\right) - g^{\left({i}\right)} \left({x}\right)}\right\vert       | c = Definition of $d$ }} {{eqn | r = \sup_{\substack {x \mathop \in \left[{a \,.\,.\, b}\right] \\ i \in \left\{ {0, 1, 2, \ldots, r}\right\} } } \left\vert{g^{\left({i}\right)} \left({x}\right) - f^{\left({i}\right)} \left({x}\right)}\right\vert       | c = Definition of Absolute Value }} {{eqn | r = d \left({g, f}\right)       | c = Definition of $d$ }} {{end-eqn}} So axiom $M3$ holds for $d$. {{qed|lemma}} === Proof of $M4$ === As $d$ is the supremum of the absolute value of the image of the pointwise sum of $f$ and $g$: :$\forall f, g \in A: d \left({f, g}\right) \ge 0$ Suppose $f, g \in A: d \left({f, g}\right) = 0$. Then: {{begin-eqn}} {{eqn | l = d \left({f, g}\right)       | r = 0       | c =  }} {{eqn | ll= \implies       | l = \sup_{\substack {x \mathop \in \left[{a \,.\,.\, b}\right] \\ i \in \left\{ {0, 1, 2, \ldots, r}\right\} } } \left\vert{f^{\left({i}\right)} \left({x}\right) - f^{\left({i}\right)} \left({x}\right)}\right\vert       | r = 0       | c = Definition of $d$ }} {{eqn | ll= \implies       | lo= \forall x \in \left[{a \,.\,.\, b}\right]:       | l = f \left({x}\right)        | r = g \left({x}\right)       | c = {{Defof|Absolute Value}} }} {{eqn | ll= \implies       | l = f       | r = g       | c = Equality of Mappings }} {{end-eqn}} So axiom $M4$ holds for $d$. {{qed}}