CONTINUITY

Tags: #◇Computer Science #◇CSMATH1 #◇Conceptual #◇Continuity

---

◇Overview

Continuity is a foundational concept in calculus that mathematically formalizes the idea of an unbroken, continuous curve. In the context of computer science, continuous functions are essential when modeling physical systems, processing signals, and evaluating algorithms that operate over continuous domains (like machine learning loss functions). A function is considered continuous if there are no abrupt jumps, gaps, or undefined points in its trajectory. When analyzing continuous functions, we look at the behavior of limits as values approach a specific point, ensuring the path smoothly connects from one side to the other.

◇Key Definitions

• Continuity at a point: A function is unbroken at a specific input value.
• Removable Discontinuity: A "hole" in the function where the limit exists, but the function value is either undefined or defined differently.
• Essential Discontinuity: A point where the limit does not exist, often due to a vertical asymptote (infinite discontinuity) or a sudden jump (jump discontinuity).
• Left-Hand/Right-Hand Continuity: Continuity achieved when approaching a point strictly from values less than or greater than the point, respectively.

◇Theoretical Framework / Core Concepts

A function $f(x)$ is continuous at a number $c$ if it seamlessly connects at that point. Mathematically, this requires three strict conditions to be met simultaneously:

1. The function must be defined at $c$, meaning $c$ is within the domain of $f$ ($f(c)$ exists).
2. The limit of the function as $x$ approaches $c$ must exist ($\lim_{x \to c} f(x)$ exists).
3. The limit as $x$ approaches $c$ must exactly equal the function's actual value at $c$ ($\lim_{x \to c} f(x) = f(c)$).

Failure to meet any of these conditions results in a discontinuity. We categorize these discontinuities to better understand the function's behavior. A removable discontinuity allows us to "patch" the hole by redefining the function at that single point. An essential discontinuity, however, represents a fundamental break in the function's path, such as an infinite vertical drop or a sudden shift in y-values.

When dealing with more complex systems, we often combine functions. The Composite Function Theorem provides a powerful tool: if a function $g$ is continuous at a point $c$, and another function $f$ is continuous at the output $g(c)$, then their composition $(f \circ g)(x) = f(g(x))$ is also continuous at $c$. This theorem guarantees that smooth functions nested within smooth functions produce a smooth result.

Furthermore, we evaluate continuity over intervals. A function is continuous on an open interval $(a, b)$ if it is continuous at every point within. For a closed interval $[a, b]$, we additionally require right-hand continuity at the starting point $a$ and left-hand continuity at the endpoint $b$.

◇Worked Examples / Protocol Walkthroughs / Calculations

Example 1: Identifying and Removing a Discontinuity
Consider the function $f(x) = \frac{x^2 - 4}{x - 2}$.
Step 1: Observe that at $x = 2$, the denominator becomes zero. Thus, $f(2)$ is undefined, and the function is discontinuous at $x = 2$.
Step 2: Evaluate the limit as $x \to 2$ to determine the type of discontinuity.
$\lim_{x \to 2} \frac{x^2 - 4}{x - 2} = \lim_{x \to 2} \frac{(x - 2)(x + 2)}{x - 2} = \lim_{x \to 2} (x + 2) = 4$
Step 3: Since the limit exists (it equals 4) but the function is undefined at that point, this is a removable discontinuity. We could redefine $f(2) = 4$ to make the function continuous.

Example 2: Applying the Composite Function Theorem
Let's evaluate the limit of a nested trigonometric function: $\lim_{x \to \frac{\pi}{2}} \cos\left(x - \frac{\pi}{2}\right)$.
Step 1: Identify the inner function $g(x) = x - \frac{\pi}{2}$ and the outer function $f(x) = \cos(x)$.
Step 2: Evaluate the limit of the inner function: $\lim_{x \to \frac{\pi}{2}} \left(x - \frac{\pi}{2}\right) = 0$.
Step 3: Because the outer function $\cos(x)$ is continuous at the resulting limit value (0), we can directly substitute:
$\cos(0) = 1$
The limit evaluates to 1, demonstrating continuous behavior at this composite junction.

◇Summary & Key Takeaways

• Continuity guarantees that a function's graph has no breaks or holes at a given point or interval.
• Three conditions must be met for continuity at a point: the function is defined, the limit exists, and they are equal.
• Discontinuities are classified as removable (can be patched) or essential (cannot be patched, like jumps or asymptotes).
• The Composite Function Theorem states that the composition of continuous functions yields a continuous function.

◇References & Navigation

• Previous Topic: ◇Limit at Infinity
• Next Topic: ◇The Tangent Line and the Derivative
• Related Notes: ◇Differentiability and Continuity, ◇Definition of the Limit and Limit Theorems