Why Sums and Products of Continuous Functions Stay Continuous

Why Combine Continuous Functions?

Many functions are built by combining simpler ones. If two functions behave without a break near a point, it is natural to ask whether adding, subtracting, or multiplying them can create a discontinuity there. The answer is no: each of these operations preserves continuity at that point.

This fact is useful because it lets us establish continuity of complicated expressions from the continuity of their parts. The key is to connect the pointwise definition of continuity with the limit laws for sums, differences, and products.

Continuity at a Point

Let \(D\) be a subset of \(\mathbb{R}\), let \(a\) be a point of \(D\) that is approached by other points of \(D\), and let \(f:D\to\mathbb{R}\). The function \(f\) is continuous at \(a\) when the limit of \(f(x)\), as \(x\) approaches \(a\) through \(D\), exists and equals the value \(f(a)\).

Thus continuity at \(a\) has two essential features: the nearby values of the function approach a limit, and that limit agrees with the value assigned at \(a\). In this tutorial, assume the functions being combined are defined on a common domain containing \(a\), and that the limits in question are taken within that domain.

Suppose \(f\) and \(g\) are continuous at \(a\). Then both limits exist, and continuity gives:

The limit laws say that when these limits are finite, the limit of a sum is the sum of the limits, the limit of a difference is the difference of the limits, and the limit of a product is the product of the limits. These conditions apply here because continuity at \(a\) provides finite real values \(f(a)\) and \(g(a)\) as the respective limits.

The Closure Theorem

The theorem follows by checking that the limit of each combined function agrees with its value at \(a\). For the sum, the sum law gives:

For the difference, the difference law gives:

For the product, the product law gives:

In each case, the limit exists and equals the combined function’s value at \(a\). That is exactly the definition of continuity at \(a\). Notice that the conclusion is local: the theorem establishes continuity at this point, based on continuity of the two functions at this point.

Why the Product Law Works

The product law can be understood by examining how far \(f(x)g(x)\) is from the proposed limit \(LM\), where \(\lim_{x\to a}f(x)=L\) and \(\lim_{x\to a}g(x)=M\). Add and subtract \(f(x)M\) to split that difference into two manageable parts:

Taking absolute values and using the triangle inequality gives:

Since \(f(x)\to L\), we can restrict \(x\) to be close enough to \(a\) that \(|f(x)-L|<1\). Then \(|f(x)|\leq |L|+1\), so the factor \(|f(x)|\) is bounded near \(a\). Given any \(\varepsilon>0\), choose \(x\) sufficiently close to \(a\) that both

These bounds can be required together because each limit condition holds whenever \(x\) is sufficiently close to \(a\); we take the closer of the two required neighborhoods, also requiring \(|f(x)-L|<1\). It follows that:

This proves that \(f(x)g(x)\to LM\). The argument shows why the product law requires finite limits: the values of \(f\) near \(a\) must be bounded, and convergence to a finite \(L\) supplies that bound.

Worked Examples

A Common Mistake

A frequent error is to use the sum law when finding the limit of a product. For example, take \(f(x)=x\), \(g(x)=x+1\), and \(a=0\). A mistaken calculation might say:

The equality on the first line is wrong: a product must be handled by the product law, not the sum law. The correct calculation is:

Checking the function value confirms the result: \(f(0)g(0)=0\cdot1=0\). The product is continuous at \(0\), as the theorem predicts.

Why This Result Matters

The closure theorem turns a pointwise fact about simple functions into a way to handle larger expressions. If several functions are continuous at the same point, sums and differences built from them are continuous there; repeated applications of the product result show the same for finite products. Each application depends on its inputs being continuous at the point in question.

The pointwise condition matters. Knowing that \(f\) is continuous at \(a\) does not by itself establish that it is continuous everywhere, nor does it establish continuity of a combination at other points. To make a claim on an interval, the component functions must be continuous at every point of that interval. The central check remains the same: the limit of the combined expression must equal its value at the point.