Example 19: is continuous: a composite of continuous functions
Show that the function defined by is a continuous function.
Let and . Then
is a polynomial, so it is continuous, and (the sine function) is continuous at every real number.
A composite of continuous functions is continuous, so is continuous at every real number.
is a continuous function. Hence proved.
Want the reason behind every step, the basics and the checks?
To compute we do two things in turn: first square, then take the sine. So is a composite of two functions we already know are continuous. Theorem 2 says a composite is continuous at when the inner function is continuous at and the outer function is continuous at the inner value. Here both are continuous everywhere, so is continuous everywhere.
- Given
- for real .
- To show
- is continuous at every point of its domain.
- Plan
- Domain. Write with inner and outer , checking the order. Show is continuous at and at . Apply Theorem 2.
Basics you need
: apply first, then to the result. The function applied first is the inner one. Basics: composite functions
If is defined at , is continuous at , and is continuous at , then is continuous at . The book states it without proof. Lesson: algebra of continuous functions
is a polynomial, continuous at every real number (Example 14); is continuous at every real number (Example 17).
A function is continuous if it is continuous at every point of its domain. Lesson: continuity at a point
Solution
The domain is all of
For every real , is a real number, and sine is defined for every real number. So is defined for every real : the domain is .
Theorem 2 needs the composite to be defined at the point , and Definition 2 needs continuity at every point of the domain. Both are settled by knowing the domain is all of .Split into inner and outer functions
Let (inner) and (outer). Then
So . The order matters: the other composite is different,
For example at : , but .
To find the inner function, ask "what is done to first?" In we square first, so squaring is inner and sine is outer. Getting this backwards would describe , a different function.The inner function is continuous at
Fix any real . is a polynomial, so by Example 14
Theorem 2's first condition: the inner function must be continuous at the point itself.The outer function is continuous at
is a real number, and is continuous at every real number (Example 17), so in particular at :
Theorem 2's second condition is about the outer function at the point , not at . Here this costs nothing, because sine is continuous everywhere, but in other problems this is where care is needed.Example 17: the sine function is continuous.Apply Theorem 2
is defined at , is continuous at , and is continuous at . By Theorem 2, is continuous at :
Since was any real number, is continuous at every point of its domain , and by Definition 2 is a continuous function.
The idea behind Theorem 2: as , the inner output approaches (Step 3); and as , the outer output approaches (Step 4). Chaining the two approaches gives .Theorem 2, Section 5.2.1. Lesson: algebra of continuous functions
with and , both continuous everywhere, so by Theorem 2 for every real . Hence is a continuous function. This agrees with the textbook's solution.
At : and . Nearby,
both within of : small changes in give small changes in , which give small changes in .
- Mixing up the order. , not , which is .
- Checking the outer function at the wrong point. Theorem 2 needs continuous at , not at .
- Using Theorem 1 instead. is not a sum, product or quotient of and ; it is a composite, so Theorem 2 is the right tool.
- A composite of continuous functions is continuous (Theorem 2): find the inner and outer functions, then check each where it is needed.
- Inner function = the operation done to first.
- The same method handles in Example 20, and in Section 5.3 the chain rule differentiates such composites.
Every fact used, and where it comes from
| Fact | Used in | Source |
|---|---|---|
| Step 2 | Composition of functions, Chapter 1 (Basics: composite functions) | |
| is continuous (a polynomial) | Step 3 | Example 14, Section 5.2 |
| is continuous | Step 4 | Example 17, Section 5.2.1 |
| Composite of continuous functions is continuous | Step 5 | Theorem 2, Section 5.2.1 (Lesson: algebra of continuous functions) |
| Continuous function | Step 5 | Definition 2, Section 5.2 (Lesson: continuity at a point) |
Tell us if something on this page is wrong or unclear, or if you would like a fuller explanation, another method or a new feature. Send feedback on this problem →