If F And G Are Continuous On A B Then

If f and g are continuous on [a,b] then

Here's something that trips up a lot of students early in analysis: you can add, subtract, multiply, and compose continuous functions, and the result stays continuous. That seems obvious when you see it written down, but working through why it's true reveals just how continuity behaves under basic operations.

The statement itself is straightforward: if f and g are continuous on [a,b], then f+g, f-g, fg, and f∘g are also continuous on [a,b]. But there's more beneath the surface. Continuity isn't just a property that happens to survive arithmetic—it's dependable in ways that make it surprisingly well-behaved.

What Does It Mean for Functions to Be Continuous on [a,b]?

Before we dive into the operations, let's be clear about what we're working with. Consider this: a function is continuous on a closed interval [a,b] if it's continuous at every point in that interval, including the endpoints. At interior points, this means the limit equals the function value. At the endpoints, we use one-sided limits.

Think of it this way: if you can draw the graph of f from a to b without lifting your pencil, that's continuity. Now, same for g. Now what happens when we combine them?

Why This Matters: Building New Functions from Old

This property is incredibly practical. You're usually manipulating them, combining them, or using them as building blocks. On top of that, in real analysis, you rarely work with functions in isolation. Knowing that continuity is preserved under basic operations means you can construct new continuous functions without having to re-prove continuity from scratch every time.

It's like having a toolbox. If you know your hammer and screwdriver are both reliable tools, you can build almost anything with them. Continuity behaves similarly—these operations preserve the essential quality.

How Addition and Subtraction Preserve Continuity

Let's start with f+g. For this to be continuous at any point c in [a,b], we need:

lim(x→c) [f(x) + g(x)] = f(c) + g(c)

The key insight is that limits distribute over addition. Since f and g are both continuous at c:

lim(x→c) f(x) = f(c) and lim(x→c) g(x) = g(c)

Therefore:

lim(x→c) [f(x) + g(x)] = lim(x→c) f(x) + lim(x→c) g(x) = f(c) + g(c)

Subtraction works identically. The limit laws do the heavy lifting here—we're not really using anything deep about continuity itself, just that it connects limits to function values.

Multiplication: Why fg Stays Continuous

For multiplication, we need:

lim(x→c) [f(x)·g(x)] = f(c)·g(c)

Again, this follows from limit laws. The product rule tells us:

lim(x→c) [f(x)·g(x)] = lim(x→c) f(x) · lim(x→c) g(x) = f(c)·g(c)

This works whether we're talking about ordinary multiplication or scalar multiplication. The continuity of both factors guarantees the product remains continuous.

Function Composition: The Chain Rule for Continuity

Composition is where things get interesting. We want f∘g to be continuous, meaning f(g(x)) is continuous wherever g(x) stays in the domain where f is continuous.

Here's the subtle part: if g is continuous at c and f is continuous at g(c), then f∘g is continuous at c. This requires a bit more care than addition or multiplication because we're dealing with nested limits.

The proof uses the sequential criterion for continuity or the epsilon-delta definition directly. The idea is that small changes in x near c produce small changes in g(x) near g(c), which in turn produce small changes in f(g(x)) near f(g(c)).

What About Division?

Division deserves special attention because it introduces a restriction. If f and g are continuous on [a,b] and g(x) ≠ 0 for all x in [a,b], then f/g is continuous on [a,b].

The non-zero condition is crucial. So you can't divide by zero, and even if g is continuous, it might cross zero somewhere in the interval. At those points, f/g would be undefined, breaking continuity.

This is why we need that extra hypothesis. It's a good reminder that continuity alone doesn't guarantee all operations work—sometimes you need additional constraints.

Common Mistakes People Make

Assuming All Operations Work Without Restrictions

The most frequent error is forgetting that division requires the denominator to be non-zero. Students often write "f/g is continuous" without checking whether g vanishes anywhere in the interval.

Overlooking Endpoint Behavior

On a closed interval [a,b], you need one-sided continuity at the endpoints. It's not enough to check interior points. The proofs for addition, multiplication, and composition all work at endpoints, but you have to be careful about which limits you're using.

Confusing Pointwise vs Uniform Continuity

These results hold for pointwise continuity on [a,b]. They also happen to work for uniform continuity, but that's a stronger result. Don't conflate the two when writing proofs.

Misapplying to Open Intervals

The same logic applies to open intervals (a,b), but the behavior at endpoints changes. If you're working on an open interval, you don't need to worry about one-sided continuity.

Continue exploring with our guides on what is life's basic unit of structure and function and how many electrons can go in each shell.

Practical Applications

Building Continuous Extensions

Suppose you have a function defined piecewise on different intervals, and each piece is continuous. If the pieces match up at the boundaries, you can often extend the function continuously across the whole domain.

Approximations and Numerical Methods

Many numerical algorithms rely on combining continuous functions. Interpolation schemes, spline constructions, and approximation theorems all use these closure properties. Knowing that operations preserve continuity helps justify why certain numerical methods work.

Real-World Modeling

In physics and engineering, you rarely measure or model quantities directly. Instead, you combine measurable quantities through formulas. If each component is continuous (which they usually are), the final model inherits continuity automatically.

What Actually Works in Practice

Check Domain Restrictions First

Before claiming a combination is continuous, verify the domain makes sense. Even so, for division, ensure the denominator never vanishes. For composition, make sure the range of the inner function stays within the domain of the outer function.

Use Known Continuous Functions as Building Blocks

Polynomials, sine, cosine, exponential, and rational functions (where defined) are all continuous. You can combine these to construct more complex continuous functions without re-proving basic continuity properties.

make use of the Algebra of Limits

When in doubt, fall back on the algebra of limits. If you can express your combination in terms of limits you can evaluate, continuity follows automatically.

A Concrete Example

Consider f(x) = x² and g(x) = sin(x) on [0, π]. Both are continuous everywhere. Then:

• f+g = x² + sin(x) is continuous on [0, π]
• fg = x²sin(x) is continuous on [0, π]
• f∘g = (sin(x))² is continuous on [0, π]
• g∘f = sin(x²) is continuous on [0, π]

Each combination inherits continuity from the components. No additional work needed.

FAQ

Q: Does this work on open intervals too? Yes. The same proofs apply to (a,b). You just don't need to check endpoint behavior.

Q: What about infinite sums or products? For infinite series or products, you need uniform convergence in addition to pointwise continuity. These aren't automatic.

Q: Can I apply this to complex-valued functions? Absolutely. The same limit laws hold for complex-valued functions of a real variable.

Q: What if the functions are only continuous at a single point? Then the combinations are only guaranteed to be continuous at that point. The full interval result requires continuity on the entire interval.

Q: Does differentiability play a role here? Not directly. These results are purely about continuity. Differentiable functions are automatically continuous, so the combinations will be differentiable too, but that's a separate theory.

The Bigger Picture

This property—that continuous functions form an algebra under addition, multiplication, and composition—is foundational. It appears everywhere in analysis, from Fourier series to functional equations to differential equations.

Understanding why it works helps demystify continuity. It

…helps one see that continuity is not an isolated, fragile property but a structural feature that survives the basic algebraic operations we use to build models. This robustness is why, in practice, analysts can treat continuity as a “black‑box” assumption: once a few elementary functions are known to be continuous, any expression built from them with the usual operations inherits the same regularity without re‑examining each step.

Beyond the algebraic closure, the same idea extends to other notions of regularity. , boundedness of one factor for products). g.If the constituent functions are uniformly continuous, Lipschitz, or Hölder continuous, then sums, products, and compositions preserve those stronger properties under mild additional hypotheses (e.In metric‑space settings, the proof relies only on the triangle inequality and the fact that the metric induces a topology; thus the continuity‑preserving algebra holds for maps between any topological spaces, not just ℝ→ℝ.

In applied work, this principle underpins the reliability of numerical schemes. So naturally, when a discretization replaces a continuous function by a piecewise polynomial or trigonometric interpolant, the interpolant remains continuous because it is a finite linear combination of continuous basis functions. As a result, error analyses that hinge on the continuity of the exact solution can be carried over to the approximate solution without extra justification.

When all is said and done, the fact that continuous functions form an algebra under addition, multiplication, and composition is more than a convenient shortcut; it reflects the deep compatibility between the limit structure of ℝ and the algebraic structure we use to describe physical laws. Recognizing this compatibility lets us move confidently from simple building blocks to sophisticated models, knowing that the essential qualitative feature—continuity—will survive the construction. This insight is a cornerstone of both pure analysis and its myriad applications.