Suppose That F And G Are Continuous And That

Suppose that f and g are continuous functions on a domain D and that their composition f ∘ g is also continuous. This seemingly simple premise opens a gateway to a rich set of concepts in real analysis, topology, and applied mathematics. In this article we will explore why continuity behaves so nicely under composition, how it interacts with limits, what extra conditions guarantee continuity of more complex expressions, and how these ideas appear in everyday problem solving. By the end, you will have a clear mental map of the logical landscape surrounding continuous functions f and g, and you will be equipped to tackle advanced exercises with confidence.

Why Continuity MattersContinuity is the mathematical formalization of “no sudden jumps.” A function h is continuous at a point a if the limit of h(x) as x approaches a equals h(a). Symbolically,

[ \lim_{x\to a} h(x)=h(a). ]

When this holds for every point in the domain, we say h is continuous on that domain. Continuity is crucial because it preserves the intuitive notion of “small changes in input produce small changes in output,” a property that underlies stability in physics, economics, and engineering.

Fundamental Properties of Continuous Functions

1. Algebraic Operations – If f and g are continuous at a, then f + g, f − g, f·g, and f/g (provided g(a)≠0) are also continuous at a.
2. Polynomials and Rational Functions – Polynomials are continuous everywhere; rational functions are continuous wherever the denominator does not vanish. 3. Composition Rule – If g is continuous at a and f is continuous at g(a), then the composition f ∘ g is continuous at a.

These properties are not merely academic; they allow us to build intricate continuous models from simpler building blocks.

The Core Theorem: Continuity of a Composition

Theorem. Suppose that f and g are continuous on a set D. Then the composition f ∘ g is continuous on D.

Proof Sketch. Take any point a in D. Because g is continuous at a, for every ε>0 there exists δ>0 such that |x−a|<δ implies |g(x)−g(a)|<ε. Since f is continuous at g(a), for the same ε there exists η>0 such that |y−g(a)|<η implies |f(y)−f(g(a))|<ε. By chaining the two δ‑choices, we obtain a δ that works for f ∘ g at a. Hence f ∘ g is continuous at a. ∎

The theorem tells us that whenever we have two continuous functions, their composition automatically inherits continuity. This is why many “nested” expressions—such as (\sqrt{\sin x}) or (\exp(\ln x))—are continuous on their natural domains.

Extending the Idea: Continuity of Inverses and Limits

While composition preserves continuity forward, the inverse function does not always retain it. If f is continuous and bijective with a continuous inverse f⁻¹, we say f is a homeomorphism. Not every continuous bijection has a continuous inverse; consider the map (f:[0,2\pi)\to S^1) defined by (f(t)=(\cos t,\sin t)). It is continuous and onto, but its inverse is not continuous at the point ((1,0)).

A related concept is the limit of a composition. If (\lim_{x\to a} g(x)=L) and f is continuous at L, then

[ \lim_{x\to a} f(g(x)) = f!\left(\lim_{x\to a} g(x)\right)=f(L). ]

Thus continuity at the limit point guarantees that we may “pass the limit through” the outer function.

Practical Examples

Example 1: Trigonometric NestingConsider (h(x)=\sin(\sqrt{x})). The inner function (g(x)=\sqrt{x}) is continuous for (x\ge0). The outer function (f(u)=\sin u) is continuous everywhere. By the composition theorem, (h) is continuous on ([0,\infty)).

Example 2: Exponential of a Logarithm

Let (k(x)=e^{\ln x}) for (x>0). Here (g(x)=\ln x) is continuous on ((0,\infty)) and (f(u)=e^{u}) is continuous everywhere. Their composition yields (k(x)=x), which is trivially continuous. This illustrates how composition can simplify expressions while preserving continuity.

Example 3: Piecewise Functions

Define[ p(x)=\begin{cases} x^2 & \text{if } x\le 1,\[4pt] 2x-1 & \text{if } x>1. \end{cases} ]

Both pieces are polynomials, hence continuous on their respective intervals. At (x=1), the left‑hand limit is (1) and the right‑hand limit is also (1); the function value is (1). Therefore (p) is continuous on all of (\mathbb{R}). This example shows that continuity can be verified piecewise by checking the glue points.

Common Misconceptions

• Misconception: “If f and g are continuous, then f/g is always continuous.”
  Reality: f/g is continuous only where g does not vanish. At points where g(x)=0, the quotient may be undefined or may have a discontinuity.

• Misconception: “Continuity of f ∘ g implies continuity of g.”
  Reality: The continuity of the composition does not guarantee continuity of the inner function. For instance, let g be the Dirichlet function (which is nowhere continuous) and f be a constant function. Their composition is constant, hence continuous, yet g is not.

• Misconception: “If f is continuous at a, then f is continuous everywhere.”
  Reality: Continuity is a local property. A function may be continuous at one point and discontinuous elsewhere.

Frequently Asked Questions (FAQ)

Q1. Does the composition theorem require the functions to be defined on the same domain? A: Not necessarily. The theorem requires