Question Statement
Determine whether the function f ( x ) = x 2 − 9 is continuous on the following intervals:
(a) [ − 3 , 3 ]
(b) [ 3 , ∞ )
Background and Explanation
For a function to be continuous on an interval, it must first be defined at every point within that interval. The square root function u is only defined for non-negative real numbers (u ≥ 0 ), and compositions of continuous functions remain continuous on their domains.
Solution
To analyze continuity, we first determine where f ( x ) is defined. The expression under the square root must satisfy:
x 2 − 9 ≥ 0
x 2 ≥ 9
∣ x ∣ ≥ 3
This means the domain of f ( x ) is ( − ∞ , − 3 ] ∪ [ 3 , ∞ ) .
Now consider the open subinterval ( − 3 , 3 ) ⊂ [ − 3 , 3 ] . For any x ∈ ( − 3 , 3 ) :
We have x 2 < 9
Therefore x 2 − 9 < 0
When x 2 − 9 < 0 , the value x 2 − 9 is imaginary (undefined in the real number system). Thus, f ( x ) is not defined for any x ∈ ( − 3 , 3 ) .
Since f ( x ) is undefined throughout the interior of the interval [ − 3 , 3 ] , it cannot be continuous on [ − 3 , 3 ] .
Conclusion: f ( x ) is discontinuous on [ − 3 , 3 ] .
For all x ≥ 3 :
We have x 2 ≥ 9
Therefore x 2 − 9 ≥ 0
This ensures that f ( x ) = x 2 − 9 is defined for every x ∈ [ 3 , ∞ ) .
Furthermore, f ( x ) is a composition of two continuous functions:
The polynomial g ( x ) = x 2 − 9 , which is continuous for all real x
The square root function h ( u ) = u , which is continuous for all u ≥ 0
Since x 2 − 9 ≥ 0 for all x ∈ [ 3 , ∞ ) , the composition f ( x ) = h ( g ( x )) is continuous on [ 3 , ∞ ) .
Conclusion: f ( x ) is continuous on [ 3 , ∞ ) .
Domain of square root function: u is defined only for u ≥ 0 (in real analysis)
Continuity requirement: A function must be defined at every point in an interval to be continuous on that interval
Composition of continuous functions: If g is continuous at x and h is continuous at g ( x ) , then h ∘ g is continuous at x
Summary of Steps
Determine the domain: Solve x 2 − 9 ≥ 0 to find where f ( x ) is defined, yielding x ≤ − 3 or x ≥ 3 .
Analyze interval [ − 3 , 3 ] : Identify that f ( x ) is undefined (imaginary) for x ∈ ( − 3 , 3 ) because x 2 − 9 < 0 , making the function discontinuous on this interval.
Analyze interval [ 3 , ∞ ) : Verify that x 2 − 9 ≥ 0 for all x ≥ 3 , so f ( x ) is defined everywhere on this interval.
Confirm continuity: Recognize f ( x ) as a composition of continuous functions, ensuring continuity on [ 3 , ∞ ) .