Definition of functional limits
Plan
Let \(\epsilon > 0\), then we want to show that there exists a \(\delta > 0\) such that when
then we have
Same as before. We can choose \(\delta\) to control how close \(x\) is to \(2\). We want to choose it such that it ensures that \(f(x)\) is close to \(4\). To do so, we want to work backward. That it, what would we need to set delta to in order to have \(|x^2 - 4| < \epsilon\). So we can start from the conclusion and work our way backwards.
We want to bound \(|x-2|\). So what do we do with \(|x+2|\)? We know we can control the gap between \(x\) and \(2\) with \(\delta\). That is in fact \(\delta\)’s definition. Okay, so if we assume that \(\delta < 1\), meaning that \(|x - 2| < \delta < 1\). Then
So if we set this arbitrarily chosen limit on \(\delta\), then it implies that \(|x| < 3\). But this means that
So now
so as long as we bound \(|x-2|\) by \(\delta = \frac{\epsilon}{5}\), then we can bound the functional limit.
Proof
Let \(\epsilon > 0\) be arbitrary. Let \(\delta = \min\{1,\frac{\epsilon}{5}\}\). Now, suppose that
Then since \(|x-2| < 1\), then \(x \in (1,3)\) and so this means that
Observe now that
Thus, \(|x^2 - 4| < \epsilon\) as desired. \(\blacksquare\)
References
- Problem Statement Source: Aleph 0