Math AA HL: Limits and Continuity Proofs

Understanding the formal definition of a limit is the gateway to calculus. Without it, the derivative is merely an intuitive slope and the integral an informal area. For IB Math AA HL, mastering epsilon-delta proofs and the criteria for continuity transforms your approach from calculation to rigorous justification, providing the logical bedrock upon which all higher analysis is built. This knowledge is not just exam-critical; it's fundamental to thinking like a mathematician.

The Epsilon-Delta ($ϵ$-$\delta$) Definition of a Limit

The informal idea that $f(x)$ approaches a limit $L$ as $x$ approaches $a$ is made precise by a logical statement about distances. Formally, we say:

$$\underset{x\to a}{\lim }f(x)=L$$

if for every number $ϵ>0$ (no matter how small), there exists a number $\delta >0$ such that if $0<|x-a|<\delta$, then $|f(x)-L|<ϵ$.

Let's unpack this. The value $ϵ$ (epsilon) represents the allowable error in the output $f(x)$. The value $\delta$ (delta) represents the corresponding tolerance in the input $x$. The definition asserts: you can force $f(x)$ to be as close as you want to $L$ (within $ϵ$) by restricting $x$ to be sufficiently close to $a$ (within $\delta$, but not equal to $a$). The goal of a proof is to find a relationship $\delta =\text{something involving }ϵ$ that makes the logical implication hold true.

Example Proof: Prove ${\lim }_{x\to 3}(2x+1)=7$.

1. Scratch Work: We need $|(2x+1)-7|<ϵ$. Simplify: $|2x-6|=2|x-3|<ϵ$. So, $|x-3|<ϵ/2$.
2. Formal Proof:

*Let $ϵ>0$ be given. Choose $\delta =ϵ/2$. Suppose $0<|x-3|<\delta$. Then:* $$|(2x+1)-7|=|2x-6|=2|x-3|<2\delta =2(ϵ/2)=ϵ.$$ *Therefore, by definition, ${\lim }_{x\to 3}(2x+1)=7$.*

This process—performing scratch work to find $\delta$, then presenting the clean logical argument—is the model for all $ϵ$-$\delta$ proofs. For non-linear functions, the algebra becomes more intricate, often requiring clever bounding of terms.

Evaluating Limits with Algebraic Techniques and the Squeeze Theorem

Before embarking on a formal proof, you must often find the limit. Algebraic techniques like factoring, rationalizing, and simplifying are essential tools, especially for resolving indeterminate forms like $0/0$.

Example (Factoring): Find ${\lim }_{x\to 2}\frac{x^2-4}{x-2}$. Direct substitution gives $0/0$. Factoring the numerator: $\frac{(x-2)(x+2)}{x-2}=x+2$ for $x\ne 2$. Thus, ${\lim }_{x\to 2}(x+2)=4$.

When algebraic manipulation is insufficient, the Squeeze (or Sandwich) Theorem is a powerful tool. It states: If $g(x)\le f(x)\le h(x)$ for all $x$ near $a$ (except possibly at $a$), and ${\lim }_{x\to a}g(x)={\lim }_{x\to a}h(x)=L$, then ${\lim }_{x\to a}f(x)=L$.

Classic Application: Prove ${\lim }_{x\to 0}{x}^2\sin (1/x)=0$. We know $-1\le \sin (1/x)\le 1$. Multiplying through by $x^2$ (non-negative near 0) gives $-x^2\le x^2\sin (1/x)\le x^2$. Since ${\lim }_{x\to 0}(-x^2)=0$ and ${\lim }_{x\to 0}{x}^2=0$, by the Squeeze Theorem, the limit of our function is also 0. This theorem is particularly useful for limits involving oscillating functions like sine or cosine.

Continuity at a Point

A function $f$ is continuous at a point $x=a$ if three conditions are met:

1. $f(a)$ is defined.
2. ${\lim }_{x\to a}f(x)$ exists.
3. ${\lim }_{x\to a}f(x)=f(a)$.

Continuity means the graph has no holes, jumps, or vertical asymptotes at $a$. The epsilon-delta definition provides the most rigorous test: $f$ is continuous at $a$ if for every $ϵ>0$, there exists a $\delta >0$ such that if $|x-a|<\delta$, then $|f(x)-f(a)|<ϵ$. Notice the key difference from the limit definition: here we include the case $x=a$ ($|x-a|<\delta$ instead of $0<|x-a|<\delta$), because $f(a)$ must be defined and equal to the limit.

Analyzing piecewise functions for continuity is a common exam task. You check the limit from the left, the limit from the right, and the function value at the boundary point. All three must be equal for continuity. Discontinuities are classified as removable (hole), jump, or infinite.

Indeterminate Forms and L'Hôpital's Rule (A Glimpse Ahead)

An indeterminate form indicates that limit behavior cannot be determined by direct substitution alone; further analysis is required. Common forms are $0/0$, $\infty /\infty$, $0\cdot \infty$, $\infty -\infty$, $0^0$, $1^{\infty }$, and ${\infty }^0$.

While algebraic manipulation and the Squeeze Theorem resolve many, the IB AA HL syllabus introduces L'Hôpital's Rule as a powerful method for $0/0$ and $\infty /\infty$ forms. It states: If ${\lim }_{x\to a}f(x)=0$ and ${\lim }_{x\to a}g(x)=0$ (or both approach $\pm \infty$), and the derivatives exist near $a$, then: $$\underset{x\to a}{\lim }\frac{f(x)}{g(x)}=\underset{x\to a}{\lim }\frac{f^{\prime }(x)}{g^{\prime }(x)},$$ provided the limit on the right exists or is infinite. This rule directly connects the theory of limits to differentiation, showcasing how the derivative is itself defined by a limit.

The Foundational Role in Calculus

The rigorous definition of a limit is the cornerstone of calculus. The derivative, $f^{\prime }(a)={\lim }_{h\to 0}\frac{f(a+h)-f(a)}{h}$, is defined as a specific limit. The existence of this limit is what defines differentiability, and differentiability implies continuity (but not vice versa). Similarly, the definite integral is defined as the limit of a Riemann sum. Without a firm grasp of what a limit means, these definitions are just symbols. Your ability to prove a limit using epsilon-delta or the Squeeze Theorem validates the entire analytical process that follows.

Common Pitfalls

1. Assuming the Limit Exists Before Proving It: When asked to "find the limit," students often apply limit laws (e.g., $\lim (f/g)=(\lim f)/(\lim g)$) without first checking that the limit of the denominator is not zero. This can lead to incorrect manipulation of indeterminate forms. Always verify the conditions for each limit law before applying it.

1. Misunderstanding the Order in Epsilon-Delta Proofs: The logical sequence is crucial. You do not start by assuming $|f(x)-L|<ϵ$. You start with a given $ϵ>0$, then your job is to find a $\delta$ that works. The scratch work happens on the side to discover this $\delta$; the final proof presents it cleanly.

1. Confusing Continuity with Differentiability: A function can be continuous at a point but not differentiable there (e.g., $f(x)=|x|$ at $x=0$). Continuity is a prerequisite for differentiability, but it is not enough. Conversely, if a function is differentiable at a point, it must be continuous there. Keep this hierarchy clear.

1. Incorrect Application of the Squeeze Theorem: The bounding functions $g(x)$ and $h(x)$ must have the same limit $L$. If you incorrectly bound $f(x)$ between two functions with different limits, the theorem tells you nothing. Always verify the limits of your bounding functions.

Summary

• The epsilon-delta definition ($\forall ϵ>0,\exists \delta >0\text{ such that }...$) provides the rigorous, formal meaning of a limit. Mastering this definition is essential for proving limit statements.
• Algebraic techniques (factoring, rationalizing) and the Squeeze Theorem are primary tools for evaluating limits, especially for resolving indeterminate forms and handling oscillating behaviors.
• A function is continuous at $x=a$ if ${\lim }_{x\to a}f(x)=f(a)$. This requires the limit to exist and equal the function's value at that point.
• Indeterminate forms like $0/0$ signal the need for further analysis, often via algebra, the Squeeze Theorem, or (in the HL curriculum) L'Hôpital's Rule.
• The entire framework of differential and integral calculus is built upon the precise concept of a limit. The derivative and the integral are themselves defined by specific limiting processes.