Definition and Properties of Function Limits

Introduction

Function limits are a foundational concept in calculus and real analysis, serving as the basis for understanding continuity, derivatives, and the behavior of functions near specific points. A limit describes the value that a function approaches as the input (or independent variable) approaches a particular value. This concept is essential for analyzing the behavior of functions in the vicinity of critical points, even when the function is not defined at those points. The rigorous definition of a limit involves quantifying the relationship between the input and output values, ensuring precision and generality.

Formal Definition of Function Limits

A function $ f: D \to \mathbb{R} $ has a limit $ L $ as $ x $ approaches $ a $, denoted $ \lim_{x \to a} f(x) = L $, if for every $ \varepsilon > 0 $, there exists a $ \delta > 0 $ such that for all $ x \in D $ satisfying $ 0 < |x - a| < \delta $, it follows that $ |f(x) - L| < \varepsilon $. This definition, known as the epsilon-delta definition, ensures that the limit is both precise and universally applicable.

The concept of limits extends to one-sided limits, where $ x $ approaches $ a $ from the left ($ x \to a^- $) or the right ($ x \to a^+ $). For example, $ \lim_{x \to 0^-} f(x) $ and $ \lim_{x \to 0^+} f(x) $ capture the behavior of the function near $ a $ from specific directions. Additionally, the limit at a point may not exist if the left and right limits differ, or if the function is undefined in the neighborhood of $ a $.

Properties of Function Limits

  1. Existence and Uniqueness:
    A limit exists if the function approaches a single value as $ x $ approaches $ a $. If the limit exists, it is unique. This property ensures that the behavior of the function near $ a $ is well-defined and consistent.

  2. One-Sided Limits:
    One-sided limits describe the behavior of the function as $ x $ approaches $ a $ from only one direction. For instance, $ \lim_{x \to a^-} f(x) $ and $ \lim_{x \to a^+} f(x) $ may differ, indicating that the function may have different behaviors from the left and right.

  3. Relationship with Continuity:
    A function $ f $ is continuous at $ a $ if $ \lim_{x \to a} f(x) = f(a) $. This connection highlights that continuity is a direct consequence of the existence and equality of the limit and the function's value at $ a $.

  4. Sandwich Theorem (Squeeze Theorem):
    The sandwich theorem states that if $ f(x) \leq g(x) \leq h(x) $ for all $ x $ near $ a $ (but not equal to $ a $), and $ \lim_{x \to a} f(x) = \lim_{x \to a} h(x) = L $, then $ \lim_{x \to a} g(x) = L $. This theorem is particularly useful for evaluating limits of complex functions by bounding them with simpler functions that have known limits.

  5. Limits of Polynomials and Trigonometric Functions:
    For polynomial functions, the limit at any point $ a $ is simply the value of the function at $ a $, as polynomials are continuous everywhere. For example, $ \lim_{x \to 2} (x^2 + 3x - 4) = 2^2 + 3(2) - 4 = 8 $. Trigonometric functions, however, may require more careful analysis. For instance, $ \lim_{