[Math] Epsilon-Delta Proof of Limits Being Equal

calculuslimitsreal-analysis

How would I go about proving that two limits are equal to each other using the Epsilon-Delta definition?

Moreover how can I prove that: $$\lim_{x\to0}f(x) = \lim_{x\to a}f(x-a)$$ using the Epsilon-Delta definition? The intuition for this seem clear. However, I have do not know how a formal proof can be developed.

Best Answer

To show at least the second problem, assume that $\lim_{x\to 0} f(x) = L$. We will prove that $\lim_{x \to a}f(x-a) = L$.

By definition, we are to show : for all $\epsilon > 0$, there exists $\delta > 0$ such that \begin{equation} |y - a |< \delta \implies |f(y-a) - L| < \epsilon \tag{1} \end{equation}

Fix one such $\epsilon$, say $\epsilon_0$.

We know that $\lim_{x \to 0} f(x) = L$. This means, that for the above $\epsilon_0$, there exists some $\delta_0 > 0$ such that \begin{equation}|x - 0|( = |x|) < \delta_0 \implies |f(x) - L| < \epsilon_0 \tag{2}\end{equation}

By taking $\delta = \delta_0$, we see that substituting $y-a = x$ in $(2)$ gives: \begin{equation} |y-a| < \delta_0 \implies |f(y-a) - L |< \epsilon_0 \end{equation}

which is seen to be equivalent to statement $(1)$. Hence, $\lim_{x \to 0} f(x) = \lim_{x \to a} f(x-a)$ is true.

I urge you to prove that if one of these limits does not exist, then the other also doesn't. This involves negation of the definition of limit i.e. what does it mean for $\lim_{x \to a} f(x) \neq L$ for some constant $L$.