Mapping whose Graph is Closed in Chebyshev Product is not necessarily Continuous

Theorem
Let $M_1 = \struct {A_1, d_1}$ and $M_2 = \struct {A_2, d_2}$ be metric spaces.

Let $\AA = A_1 \times A_2$ be the cartesian product of $A_1$ and $A_2$.

Let $d_\infty: \AA \times \AA \to \R$ be the Chebyshev distance on $\AA$:
 * $\ds \map {d_\infty} {x, y} = \max \set {\map {d_1} {x_1, y_1}, \map {d_2} {x_2, y_2} }$

where $x = \tuple {x_1, x_2}, y = \tuple {y_1, y_2} \in \AA$.

Let $\Gamma_f$ be the graph of $f$.

Let $f: M_1 \to M_2$ be a mapping such that the $\Gamma_f$ is a closed set of $\struct {A_1 \times A_2, d}$.

Then it is not necessarily the case that $f$ is a continuous mapping.

Proof
Consider the mapping $f: \R \to \R$ defined as:


 * $\map f x = \begin {cases} \dfrac 1 x : & x > 0 \\ 0 : & x \le 0 \end {cases}$

It is seen that $\map f x$ is continuous everywhere except at $x = 0$.

Hence from Graph of Continuous Mapping between Metric Spaces is Closed in Chebyshev Product, $\Gamma_f$ contains all its limit points except perhaps at $x = 0$.

We have that:
 * $\tuple {0, 0} \in \Gamma_f$

For a bounded, non-continuous real function, the limit point at one of the discontinuities would not lie in the graph.

However, this is not the case here.

The sequence $\sequence {x_n, \map f {x_n} }$ for which $\ds \lim_{n \mathop \to \infty} = 0$ has only one limit point, that is: $\tuple {0, 0}$.

But $\tuple {0, 0}$ lies in $\Gamma_f$.

there exists another limit point.

This would imply that:
 * $\forall \epsilon > 0: \exists N \in \N: n > N \implies \map d {\map f x, \map f {x_n} } < \epsilon$

But $\map f x$ is not bounded.

So for some $x < x_n$ we have $\map f {\map f x, \map f {x_n} } > \epsilon$ if $x, x_n > 0$.

This contradicts what was deduced earlier.

So any limit point $\tuple {x, \map f x}$ for which $x = 0$ is $\tuple {0, 0}$ which is in $\Gamma_f$.

Hence $\Gamma_f$ contains all its limit points.

Hence the result by definition of closed set.