◀ Back to Note

Tony's Intertwingled Memex • Reference Manual

Continuity

Formulas & Definitions
Core Definition

A function f(x)f(x)f(x) is continuous at a specific point x=cx = cx=c if and only if all three of the following conditions are satisfied without exception:

  1. f(c)f(c)f(c) is defined: ccc sits within the domain of fff, producing a real, finite value.
  2. lim⁡x→cf(x)\lim_{x \to c} f(x)limx→c​f(x) exists: The left-hand and right-hand paths converge to the identical real number:
    lim⁡x→c−f(x)=lim⁡x→c+f(x)=L\lim_{x \to c^-} f(x) = \lim_{x \to c^+} f(x) = Lx→c−lim​f(x)=x→c+lim​f(x)=L
  3. lim⁡x→cf(x)=f(c)\lim_{x \to c} f(x) = f(c)limx→c​f(x)=f(c): The approached limit equals the exact evaluated point value.

A function is continuous on an interval if it is continuous at every interior point and continuous from the appropriate side at any endpoints.

Concept Explanation

The Three-Part Continuity Rubric

The three conditions form a hierarchical testing procedure:

  1. Condition 1 (Existence of Target Point): Checks whether the function is physically defined at ccc. If ccc causes division by zero, a negative inside an even root, or logarithm of zero/negative, Condition 1 fails immediately.
  2. Condition 2 (Existence of Trajectory): Checks whether the graph approaches a unified destination from both directions. If the paths separate (a jump) or shoot to infinity (a vertical asymptote), Condition 2 fails.
  3. Condition 3 (Agreement of Trajectory and Target): Checks whether the trajectory actually meets the plotted point. If there is a hole at the curve with the dot plotted elsewhere, Condition 3 fails.

Properties of Continuous Functions

If fff and ggg are continuous at x=cx = cx=c, then:

  • f±gf \pm gf±g, c⋅fc \cdot fc⋅f, and f⋅gf \cdot gf⋅g are continuous at ccc.
  • fg\frac{f}{g}gf​ is continuous at ccc provided g(c)≠0g(c) \neq 0g(c)=0.
  • Composition of Continuous Functions: If ggg is continuous at ccc and fff is continuous at g(c)g(c)g(c), then the composite function (f∘g)(x)=f(g(x))(f \circ g)(x) = f(g(x))(f∘g)(x)=f(g(x)) is continuous at ccc (see Limits of Composite Functions).

Engineering Applications

  • Structural Integrity & Stress Fields (Civil & Mechanical Engineering): Stress fields across welded structural joints must be continuous. A discontinuity in shear or bending moment indicates an unmodeled concentrated crack or sudden material interface failure.
  • Microcontroller Signal Smoothing (Computer & Electrical Engineering): Analog sensor inputs passing into digital feedback control loops are tested for continuity to prevent abrupt actuator chatter or sudden motor torque surges.
  • Thermodynamic Phase Boundaries (Chemical & Materials Engineering): Thermal and chemical phase changes (such as solid-to-liquid transitions) produce discontinuities in enthalpy and heat capacity, requiring piecewise modeling to program automated reactor cooling systems safely.

Example Problems

Example 1: Piecewise Continuity Verification

Determine whether f(x)f(x)f(x) is continuous at x=1x = 1x=1:

f(x)={2x+3:x<15:x=1x2+4:x>1f(x) = \begin{cases} 2x + 3 & : x < 1 \\ 5 & : x = 1 \\ x^2 + 4 & : x > 1 \end{cases}f(x)=⎩⎨⎧​2x+35x2+4​:x<1:x=1:x>1​

Solution

Condition 1: Check f(1)f(1)f(1): Using the explicit point definition at x=1x = 1x=1:

f(1)=5(Defined)f(1) = 5 \quad \text{(Defined)}f(1)=5(Defined)

Condition 2: Check lim⁡x→1f(x)\lim_{x \to 1} f(x)limx→1​f(x):

  • Left-hand limit: lim⁡x→1−(2x+3)=2(1)+3=5\lim_{x \to 1^-} (2x + 3) = 2(1) + 3 = 5limx→1−​(2x+3)=2(1)+3=5
  • Right-hand limit: lim⁡x→1+(x2+4)=12+4=5\lim_{x \to 1^+} (x^2 + 4) = 1^2 + 4 = 5limx→1+​(x2+4)=12+4=5

Since lim⁡x→1−f(x)=lim⁡x→1+f(x)=5\lim_{x \to 1^-} f(x) = \lim_{x \to 1^+} f(x) = 5limx→1−​f(x)=limx→1+​f(x)=5, the overall limit exists:

lim⁡x→1f(x)=5\lim_{x \to 1} f(x) = 5x→1lim​f(x)=5

Condition 3: Check agreement:

lim⁡x→1f(x)=5=f(1)\lim_{x \to 1} f(x) = 5 = f(1)x→1lim​f(x)=5=f(1)

Conclusion: All three criteria are satisfied, so f(x)f(x)f(x) is continuous at x=1x = 1x=1.

Example 2: Solving for a Continuity Parameter

Find the value of kkk that makes g(x)g(x)g(x) continuous everywhere:

g(x)={x2−9x−3:x≠3kx−4:x=3g(x) = \begin{cases} \frac{x^2 - 9}{x - 3} & : x \neq 3 \\ kx - 4 & : x = 3 \end{cases}g(x)={x−3x2−9​kx−4​:x=3:x=3​

Solution

Step 1: Compute the limit as x→3x \to 3x→3: Direct substitution gives 00\frac{0}{0}00​. Factoring the numerator via Factor and Cancel:

lim⁡x→3(x−3)(x+3)x−3=lim⁡x→3(x+3)=3+3=6\lim_{x \to 3} \frac{(x - 3)(x + 3)}{x - 3} = \lim_{x \to 3} (x + 3) = 3 + 3 = 6x→3lim​x−3(x−3)(x+3)​=x→3lim​(x+3)=3+3=6

Step 2: Evaluate the function value at x=3x = 3x=3:

g(3)=k(3)−4=3k−4g(3) = k(3) - 4 = 3k - 4g(3)=k(3)−4=3k−4

Step 3: Force Condition 3 (lim⁡x→3g(x)=g(3)\lim_{x \to 3} g(x) = g(3)limx→3​g(x)=g(3)):

6=3k−4  ⟹  3k=10  ⟹  k=1036 = 3k - 4 \implies 3k = 10 \implies k = \frac{10}{3}6=3k−4⟹3k=10⟹k=310​

Conclusion: Setting k=103k = \frac{10}{3}k=310​ eliminates the removable discontinuity and makes g(x)g(x)g(x) continuous everywhere.


Connections & References

  • Parent Concepts: Limits, Existence Theorem for Two-Sided Limits
  • Direct Theoretical Extensions: Discontinuities, Limits of Composite Functions, Squeeze Theorem, Solving Inequalities
  • Course Links: Calc-1 Session 02 | Calc-1 Session 03 | Calc-1 Session 05