Uniformly Continuous Function to Complete Metric Space has Unique Continuous Extension to Closure of Domain/Lemma 2
Theorem
Let $\struct {X, d}$ be a metric space.
Let $\struct {Y, d'}$ be a complete metric space.
Let $A \subseteq X$.
Let $f : A \to Y$ be a uniformly continuous function.
Let $\sequence {a_n}$ be a convergent sequence in $A$.
Then the limit of $\sequence {\map f {a_n} }$ is dependent only on the limit of $\sequence {a_n}$.
That is, there exists a function $L : A^- \to Y$ such that:
- $\ds \lim_{n \mathop \to \infty} \map f {a_n} = \map L {\lim_{n \mathop \to \infty} a_n}$
for every convergent sequence $\sequence {a_n}$.
Proof
Let $\sequence {a_n}$ and $\sequence {b_n}$ be sequences in $A$ such that $a_n \to a$ and $b_n \to a$, with:
- $\map f {a_n} \to L_1$
and:
- $\map f {b_n} \to L_2$
We have, by the Triangle Inequality:
- $\map {d'} {\map f {a_n}, L_2} \le \map {d'} {\map f {a_n}, \map f {b_n} } + \map {d'} {\map f {b_n}, L_2}$
We want to show that we can find $K$ such that:
- $\map {d'} {\map f {a_n}, L_2} < \epsilon$
for $n > K$.
Note that since $f$ is uniformly continuous, we can find $\delta_1$ such that for:
- $\map d {a_n, b_n} < \delta_1$
we have:
- $\map {d'} {\map f {a_n}, \map f {b_n} } < \dfrac \epsilon 2$
By the Triangle Inequality, we can write:
- $\map d {a_n, b_n} \le \map d {a_n, a} + \map d {a, b_n}$
Since $a_n \to a$ and $b_n \to a$, we can find $K_1, K_2$ such that for $n > K_1$ we have:
- $\map d {a_n, a} < \dfrac {\delta_1} 2$
and for $n > K_2$ we have:
- $\map d {b_n, a} < \dfrac {\delta_1} 2$
So, for $n > \max \set {K_1, K_2}$, we have:
- $\map d {a_n, b_n} < \delta$
and so:
- $\map {d'} {\map f {a_n}, \map f {b_n} } < \dfrac \epsilon 2$
for $n > \max \set {K_1, K_2}$.
Since $\map f {b_n} \to L_2$, we can pick $K_3$ such that:
- $\map {d'} {\map f {b_n}, L_2} < \dfrac \epsilon 2$
for $n > K_3$.
So, setting $K = \max \set {K_1, K_2, K_3}$, we have:
- $\map {d'} {\map f {b_n}, L_2} < \dfrac \epsilon 2$
for $n > K$.
So:
- $\map {d'} {\map f {a_n}, L_2} < \epsilon$
for $n > K$.
So $\map f {a_n} \to L_2$.
From Convergent Sequence in Metric Space has Unique Limit, we have:
- $L_1 = L_2$
So, if $a_n \to a$, the sequence $\sequence {\map f {a_n} }$ converges to some limit $\map L a$ dependent only on $a$.
$\blacksquare$