Functions, Limits, and Continuity

Differential calculus begins with a rigorous understanding of functions and their behavior as inputs approach specific values. This topic covers the essential building blocks: function properties, limits, the Squeeze Theorem, and continuity, which are prerequisites for understanding the derivative.

Basic Function Properties

Before exploring limits, it is crucial to understand the foundational properties of functions, which often simplify calculus operations and graphing. Two of the most important concepts are the domain and range.

Domain and Range

  • Domain: The set of all possible input values (usually xx) for which the function is defined and produces a valid real number. Common restrictions include avoiding division by zero and preventing even roots of negative numbers.
  • Range: The set of all possible output values (usually yy or f(x)f(x)) that the function can produce given its domain.

Special Types of Functions

  • Absolute Value Function: f(x)=xf(x) = |x|. It represents the distance from zero. It is defined piecewise as f(x)=xf(x) = x if x0x \ge 0, and f(x)=xf(x) = -x if x<0x < 0. Its graph is V-shaped, with a sharp corner at the origin.
  • Piecewise Functions: Functions defined by multiple sub-functions, each applying to a certain interval of the main function's domain. Limits and continuity must be carefully checked at the boundaries where the rules change.

Even, Odd, and Periodic Functions

  • Even Functions: A function f(x)f(x) is even if f(x)=f(x)f(-x) = f(x) for all xx in its domain. Its graph is symmetric with respect to the y-axis. (e.g., f(x)=x2,cosxf(x) = x^2, \cos x).
  • Odd Functions: A function f(x)f(x) is odd if f(x)=f(x)f(-x) = -f(x) for all xx in its domain. Its graph is symmetric with respect to the origin. (e.g., f(x)=x3,sinxf(x) = x^3, \sin x).
  • Periodic Functions: A function is periodic if there exists a positive constant PP such that f(x+P)=f(x)f(x + P) = f(x) for all xx. The smallest such PP is the fundamental period.

The Limit Concept

Limit of a Function

The limit of a function f(x)f(x) as xx approaches a value cc, denoted as limxcf(x)=L\lim_{x \to c} f(x) = L, means that as xx gets arbitrarily close to cc (but not equal to cc), the value of f(x)f(x) gets arbitrarily close to LL.

Key Properties of Limits

  • Independence from Function Value: The value of f(c)f(c) does not affect limxcf(x)\lim_{x \to c} f(x). The function doesn't even need to be defined at cc.
  • Left-hand limit: limxcf(x)\lim_{x \to c^-} f(x) (approaching cc from values smaller than cc).
  • Right-hand limit: limxc+f(x)\lim_{x \to c^+} f(x) (approaching cc from values larger than cc).
  • Existence: For the general limit limxcf(x)\lim_{x \to c} f(x) to exist, the left-hand and right-hand limits must be equal.

Limit Explorer

-13
x0.5000
f(x)1.5000
Target (L)2

Notice how f(x) gets closer to L as x approaches c, even if f(c) is undefined.

Formal Epsilon-Delta Definition

While the intuitive definition serves for most engineering applications, the formal definition of a limit ensures mathematical rigor. It states that limxcf(x)=L\lim_{x \to c} f(x) = L if for every number \epsilon &gt; 0 (no matter how small), there exists a corresponding number \delta &gt; 0 such that if 0 &lt; |x - c| &lt; \delta, then |f(x) - L| &lt; \epsilon.

Epsilon-Delta Visualization

Adjust the output tolerance (ϵ\epsilon) to see the required input window (δ\delta). The function is f(x)=2x+1f(x) = 2x + 1 with a limit of L=5L=5 at c=2c=2. Notice that δ=ϵ/2\delta = \epsilon / 2.

Values:
Limit L=5L = 5
L+ϵ=(L+epsilon).toFixed(2)L + \epsilon = {(L + epsilon).toFixed(2)}
Lϵ=(Lepsilon).toFixed(2)L - \epsilon = {(L - epsilon).toFixed(2)}
Input c=2c = 2
Required δ=delta.toFixed(2)\delta = {delta.toFixed(2)}
c+δ=(c+delta).toFixed(2)c + \delta = {(c + delta).toFixed(2)}
cδ=(cdelta).toFixed(2)c - \delta = {(c - delta).toFixed(2)}
Loading chart...

Limit Laws

Assuming limxcf(x)=L\lim_{x \to c} f(x) = L and limxcg(x)=M\lim_{x \to c} g(x) = M exist, the following laws allow us to compute limits algebraically.

Fundamental Limit Laws

  1. Sum/Difference: limxc[f(x)±g(x)]=L±M\lim_{x \to c} [f(x) \pm g(x)] = L \pm M
  2. Product: limxc[f(x)g(x)]=LM\lim_{x \to c} [f(x) \cdot g(x)] = L \cdot M
  3. Quotient: limxcf(x)g(x)=LM\lim_{x \to c} \frac{f(x)}{g(x)} = \frac{L}{M} (provided M0M \neq 0)
  4. Power: limxc[f(x)]n=Ln\lim_{x \to c} [f(x)]^n = L^n
  5. Root: limxcf(x)n=Ln\lim_{x \to c} \sqrt[n]{f(x)} = \sqrt[n]{L} (if nn is even, L &gt; 0)

The Squeeze (Sandwich) Theorem

The Squeeze Theorem is a powerful tool for evaluating the limits of functions that are difficult or impossible to evaluate directly, by "squeezing" them between two simpler functions whose limits are known.

Squeeze Theorem

If f(x)g(x)h(x)f(x) \leq g(x) \leq h(x) for all xx in an open interval containing cc (except possibly at cc itself), and if:
limxcf(x)=limxch(x)=L \lim_{x \to c} f(x) = \lim_{x \to c} h(x) = L
Then it must be true that limxcg(x)=L\lim_{x \to c} g(x) = L. This theorem is crucial for proving that limx0sinxx=1\lim_{x \to 0} \frac{\sin x}{x} = 1.

Evaluating Limits

1. Direct Substitution

For continuous functions (polynomials, rational functions where denominator is not 0, trigonometric functions), we can often find the limit by simply plugging in the value.

2. Factoring Method (Indeterminate Forms)

When direct substitution results in 00\frac{0}{0}, we have an indeterminate form. This suggests a hole in the graph. We often need to factor and cancel common terms.

3. Conjugate Method

When dealing with radicals resulting in 00\frac{0}{0}, multiplying by the conjugate often helps to rationalize the numerator or denominator.

Continuity

Continuity is a central concept in calculus. Intuitively, a function is continuous if you can draw its graph without lifting your pen.

Continuity at a Point

A function f(x)f(x) is continuous at a point x=cx = c if three conditions are met:
  • Defined: f(c)f(c) is defined.
  • Limit Exists: limxcf(x)\lim_{x \to c} f(x) exists.
  • Matches: limxcf(x)=f(c)\lim_{x \to c} f(x) = f(c).

Discontinuity

If any of these three conditions fail, the function is discontinuous at x=cx=c.

Types of Discontinuity

  • Removable Discontinuity: The limit exists, but f(c)f(c) is either undefined or not equal to the limit. (e.g., a hole in the graph).
  • Jump Discontinuity: The left-hand and right-hand limits exist but are not equal. (e.g., piecewise functions like step functions).
  • Infinite Discontinuity: One or both of the one-sided limits go to infinity. (e.g., vertical asymptotes).

Continuity & Discontinuity Explorer

Analysis at x = 2

The function is continuous at x = 2. The limit as x approaches 2 exists and is equal to the function value f(2) = 4.

f(x)=x2f(x) = x^2
Loading chart...

The Intermediate Value Theorem (IVT)

The Intermediate Value Theorem is a fundamental property of continuous functions, guaranteeing that a continuous curve must pass through every intermediate y-value between two endpoints.

Intermediate Value Theorem

If a function ff is continuous on a closed interval [a,b][a, b], and NN is any number strictly between f(a)f(a) and f(b)f(b), then there exists at least one number cc in the open interval (a,b)(a, b) such that f(c)=Nf(c) = N.

Application of IVT

A primary application of the IVT is proving the existence of roots (zeros). If ff is continuous on [a,b][a, b], and f(a)f(a) and f(b)f(b) have opposite signs, the IVT guarantees there is at least one point cc in (a,b)(a, b) where f(c)=0f(c) = 0.

Infinite Limits and Limits at Infinity

Types of Limits at Infinity

  • Infinite Limits: If f(x)f(x) increases or decreases without bound as xcx \to c, we say the limit is \infty or -\infty. This indicates a vertical asymptote at x=cx = c.
  • Limits at Infinity: We analyze the behavior of f(x)f(x) as xx \to \infty or xx \to -\infty. This relates to horizontal asymptotes.

Asymptotes

Types of Asymptotes

  • Vertical Asymptote (VA): Occurs at x=cx = c if limxc+f(x)=±\lim_{x \to c^+} f(x) = \pm\infty or limxcf(x)=±\lim_{x \to c^-} f(x) = \pm\infty. Typically found where the denominator of a rational function is zero and the numerator is non-zero.
  • Horizontal Asymptote (HA): Occurs at y=Ly = L if limxf(x)=L\lim_{x \to \infty} f(x) = L or limxf(x)=L\lim_{x \to -\infty} f(x) = L. Describes the end behavior of the function.
  • Oblique (Slant) Asymptote (OA): Occurs when the degree of the numerator is exactly one greater than the degree of the denominator. Found using polynomial long division. The quotient forms the equation of the slant asymptote y=mx+by = mx + b.
Key Takeaways
  • A limit describes the behavior of a function near a point, requiring both one-sided limits to be equal for existence.
  • The Squeeze Theorem evaluates difficult limits by sandwiching them between functions with known limits.
  • Continuity guarantees that the limit equals the function value. Discontinuities can be removable, jump, or infinite.
  • The Intermediate Value Theorem (IVT) ensures that a continuous function assumes every value between its endpoints, useful for proving the existence of roots.
  • Limits at infinity and infinite limits define the horizontal and vertical asymptotes of a function, respectively.