Algebra of Continuous Functions
When you add two continuous functions together, is the result still continuous? What about multiplying them, dividing them, or composing one inside the other? The answer — with one important exception — is yes. The algebra of continuous functions is a set of theorems that tell us exactly how continuity is preserved (or potentially broken) when we combine functions using the standard algebraic operations: addition, subtraction, multiplication, division, and composition. These results are enormously powerful in practice. Rather than returning to the formal epsilon-delta definition of continuity every time we encounter a new function, we can instead recognise that most functions encountered in high-school calculus — polynomials, rational functions, trigonometric functions, exponentials, and logarithms — are built by combining simpler, known-continuous pieces. Once we know the pieces are continuous, the algebra theorems guarantee the whole structure is continuous on the appropriate domain. Understanding this topic also deepens your intuition about where functions can fail to be continuous. Division by zero is the single most common source of discontinuity in algebraic combinations, and composition can 'inherit' discontinuities from the inner function. By learning the precise statements of these theorems, you develop both a practical toolkit for analysing functions and a rigorous logical framework that prepares you for further study in analysis and beyond.
- Setting Up the Framework
- Sum and Difference Rule
- Product and Scalar Multiple Rule
- Quotient Rule — Watch Out for Zero!
- Composition Rule
- Consequence: Continuity of Common Function Families
Setting Up the Framework
Let f and g be functions that are both continuous at a point x = a. This means that lim_{x→a} f(x) = f(a) and lim_{x→a} g(x) = g(a). Using the algebra of limits — which states that limits distribute over sums, differences, products, and (non-zero) quotients — we can immediately derive corresponding rules for continuity.
Sum and Difference Rule
If f and g are continuous at x = a, then f + g and f − g are also continuous at x = a. Proof sketch: lim_{x→a}[f(x) ± g(x)] = lim_{x→a} f(x) ± lim_{x→a} g(x) = f(a) ± g(a) = (f ± g)(a). The limit equals the function value, so f ± g is continuous at a. For example, since sin(x) and cos(x) are each continuous everywhere, so is sin(x) + cos(x).
Product and Scalar Multiple Rule
If f and g are continuous at x = a, then the product f · g is continuous at x = a. Proof sketch: lim_{x→a}[f(x)·g(x)] = lim_{x→a} f(x) · lim_{x→a} g(x) = f(a)·g(a). A special case is the scalar multiple: if c is any constant and f is continuous at a, then c·f is continuous at a (since a constant function is continuous everywhere). For instance, 3x²·sin(x) is continuous on ℝ because 3x² and sin(x) are both continuous on ℝ.
Quotient Rule — Watch Out for Zero!
If f and g are continuous at x = a AND g(a) ≠ 0, then the quotient f/g is continuous at x = a. The condition g(a) ≠ 0 is essential. When g(a) = 0, the quotient may have a removable discontinuity, a jump, or a vertical asymptote. Example: f(x) = (x² − 1)/(x − 1) is not continuous at x = 1 because the denominator equals zero there, even though both numerator and denominator are continuous. (The discontinuity is removable: the limit is 2 as x → 1.) Always state the domain when applying this rule.
Composition Rule
If g is continuous at x = a and f is continuous at g(a), then the composite function (f ∘ g)(x) = f(g(x)) is continuous at x = a. Intuitively, a small change in x produces a small change in g(x) (by continuity of g), which in turn produces a small change in f(g(x)) (by continuity of f). Example: h(x) = sin(x²). Here g(x) = x² is continuous everywhere and f(t) = sin(t) is continuous everywhere, so h(x) = sin(x²) is continuous everywhere. Similarly, e^{cos(x)} is continuous on ℝ.
Consequence: Continuity of Common Function Families
Using these five rules together, we can classify entire families: (1) Every polynomial p(x) = a_n x^n + … + a_0 is continuous on ℝ — it is built from continuous constants and the identity function x by repeated addition and multiplication. (2) Every rational function p(x)/q(x) is continuous at every point where q(x) ≠ 0. (3) Compositions such as √(1 + x²), ln(sin(x)) for sin(x) > 0, and e^{x²} are continuous on their natural domains.
The Key Equation
- f — Outer function (dimensionless): The function applied after g; must be continuous at the value g(a).
- g — Inner function (dimensionless): The function applied first; must be continuous at the point x = a.
- a — Point of continuity (dimensionless): The x-value at which the continuity of the composite is being assessed.
- f \circ g — Composite function (dimensionless): The function defined by (f ∘ g)(x) = f(g(x)), continuous at a under the stated conditions.
Worked Example
Problem. Let f(x) = (x² + 3x) / (x² − 4). State all points where f is continuous, justify using the algebra of continuous functions, and identify the type of discontinuity at each point where f is not continuous.
Answer. f is continuous on all real numbers except x = 2 and x = −2, where it has vertical asymptotes (infinite discontinuities).
Origins · 1 minAugustin-Louis Cauchy and how this was discovered
Cauchy was the first mathematician to give a precise, rigorous definition of continuity (around 1821 in his Cours d'analyse), replacing the informal intuition of 'drawing without lifting the pen' with a formal statement about limits. He also proved the first systematic versions of the theorems on sums and products of continuous functions, laying the groundwork for the algebra of continuous functions that students study today. Cauchy was extraordinarily prolific, publishing nearly 800 mathematical papers and books. The Cauchy collected works fill 27 volumes — more output than almost any other mathematician in history.
Related Concepts
- Definition of a Limit — The algebra of continuous functions relies directly on the algebra of limits; understanding how limits combine under addition, multiplication, and composition is the logical foundation for all the continuity rules.
- Definition of Continuity at a Point — Before applying the algebra rules, you must understand what it means for a single function to be continuous at a point, including the three-part definition: the function is defined, the limit exists, and they are equal.
- Types of Discontinuity — Knowing when algebraic combinations fail — especially the quotient rule when the denominator is zero — requires being able to classify the resulting discontinuities as removable, jump, or infinite.
- The Chain Rule — The composition rule for continuity is the continuity counterpart of the chain rule for differentiation; the two results share the same structural idea about composing functions.