Analysis Proof without Axiom of Choice

Question

Lemma: Given any function $f:M\to N$ where $M$ and $N$ are both metric spaces, $\lim_{x\to a}f(x)$ converges to $L$ only if given any function $\gamma:\mathbb{I}\to M$ (where $\mathbb{I}$ is the unit interval) such that $\lim_{t\to1}\gamma(t)=a$, $\lim_{t\to1}f(\gamma(t))=L$.

I've seen the above lemma used implicitly in various analysis proofs without acknowledgement several times. My attempt to prove it goes as follows:

Assume that the lemma was false. Then all possible $\lim_{t\to1}f(\gamma(t))$ converge to $L$, but $\lim_{x\to a}f(x)$ does not. Then, by the definition of limits, there is an $\epsilon>0$ such that for all $\delta$ there exists an $x$ such that $d(x, a)<\delta$ and $d(f(x), L)\ge\epsilon$. Denote the set of all such $x$ as $C_\delta$. Define $\gamma:\mathbb{I}\to M$, $\gamma(x)=$ some element in $C_{1-x}$. By the axiom of choice such a function exists. Obviously $\lim_{t\to1}\gamma(t)=a$, but $\lim_{t\to1}f(\gamma(t))\not=L$. This contradictions our assumptions. Thus, by contradiction, $\lim_{x\to a}f(x)=L. \square$

This proof uses the axiom of choice, which is quite unsatisfactory. Does anyone know if this theorem can be proven without using the axiom of choice? I'm fine with assuming that M and N are complete, although not much more than that.

Answer 1

Your lemma is equivalent to the assertion that $f:M\to N$ is continuous iff it is sequentially continuous, i.e., iff whenever $\langle x_k:k\in\Bbb N\rangle$ is a convergent sequence in $M$ with limit $x$, then $\langle f(x_k):k\in\Bbb N\rangle$ is a convergent sequence in $N$ with limit $f(x)$. This result requires the axiom of countable choice: for each sequence $\langle X_k:k\in\Bbb N\rangle$ of non-empty sets, $\prod_{k\in\Bbb N}X_k\ne\varnothing$.

No choice is required to prove that a function from $\Bbb R$ to $\Bbb R$ is continuous iff it is sequentially continuous. However, the following two statements are equivalent to the axiom of countable choice restricted to subsets of $\Bbb R$:

1. A function $f:\Bbb R\to\Bbb R$ is continuous at a point $x\in\Bbb R$ iff it is sequentially continuous at $x$.

2. A function $f:X\to\Bbb R$ defined on some subspace of $\Bbb R$ is continuous iff it is sequentially continuous.

For more on this see Horst Herrlich, Axiom of Choice, Lecture Notes in Mathematics 1876, Springer, 2006.