Article: Continuous Functions Directory: Begin Tutorial On
Article: Continuous Functions Directory: Begin Tutorial On
Directory
• Table of Contents
• Begin tutorial on Continuous Functions
or, more precisely, for each > 0, there is a δ > 0 such that
x ∈ Dom(f ) and |x − a| < δ implies |f (x) − f (a)| < . (2)
Now this is a rather artificial example but it serves the point. Look
at the limit of f at x = 2 and x = 0:
|x − a| < δ,
then,
|f (x) − f (a)| = |(mx + b) − (ma + b)|
= |mx − ma| = |m(x − a)|
= |m||x − a|
≤ |m|
1 + |m|
|m|
=
1 + |m|
< . (3)
Section 2: What is a Continuous Function?
Proof.
Proof.
One can think of Theorem 3.1 as a building block result. There are
many building block results in mathematics; you have seen several of
them already, even though I didn’t tell you. Theorem 3.1 enables us
to take functions that are known to be continuous, and use them to
build more complex continuous functions.
What functions do we know are continuous? Answer: Linear Functions
are continuous everywhere. This was very easy to prove. (See the
proof of Theorem 2.3.) A linear function is a function of the form:
Section 3: The Algebra of Continuous Functions
p = 3f 4 − 7f 3 + 9f − 10g.
You can see that p is the sum and product of the functions f and g.
Since f and g are continuous on R, and in light of Corollary 3.2, we
conclude that p is continuous on R as well.
Section 3: The Algebra of Continuous Functions
Do you see the building block of effect. The blocks are the functions
f (x) = x and g(x) = 1, and Corollary 3.2 supplies the “mortar” to
stack the blocks. Thus, we have argued, informally, . . .
Continuity of Polynomials
Let p be a polynomial function, then p is continuous on R.
Now we have new building blocks! Polynomials. Let N (x) and D(x)
be two polynomials, and define
N (x)
r(x) = .
D(x)
You will recall that r is a rational function. The domain of r is given
by
Dom(r) = { x ∈ R | D(x) 6= 0 }.
Now applying Corollary 3.2 again, we conclude that r is continuous
on its domain Dom(r). Let’s highlight this observation.
Section 3: The Algebra of Continuous Functions
The pair of equations (1) implies the sine and cosine functions are
everywhere continuous!
Section 4: Continuity of the Trigonometric Functions
This identity and (1) is all we need — oh yes, there is one more
profound fact we need: x = a + (x − a).
lim sin(x) = lim sin(a + (x − a))
x→a x→a
= lim (sin(a) cos(x − a) + cos(a) sin(x − a))
x→a
= sin(a) lim cos(x − a) + cos(a) lim sin(x − a)
x→a x→a
= sin(a)(1) + cos(a)(0) by (1)
= sin(a)
We have shown,
lim sin(x) = sin(a).
x→a
This is what we wanted to prove.
Proof.
Proof.
Section 6: Discontinuities
6. Discontinuities
Let f be a function and a ∈ Dom(f ). We say that f is discontinuous at
x = a if f is not continuous at x = a. Functions can be discontinuous
in a number of different ways. In this section is briefly survey these
different ways and introduce some terminology.
Thus, the limit must exist but not be equal to what it’s supposed to
be equal if it were continuous.
As the name suggests, these kind of discontinuities can be removed.
See the section Remove them Discontinuities
A useful criteria for testing for a removable discontinuity is to bring in
one-sided limits: f has a removable discontinuity at x = a provided,
lim f (x) = lim f (x) 6= f (a). (2)
x→a− x→a+
That is, the left-hand and the right-hand limits exist and are equal to
each other (hence, the two-sided limit exists), but does not equal to
f (a) — what it’s supposed to equal if it is going to be continuous.
In the article on Limits, we say many examples of functions having
removable discontinuities.
Section 6: Discontinuities
That is, the left-hand and the right-hand limits exist but are not equal
to each other (hence, the two-sided limit exists), does not equal exist.
The amount of the jump is
jmp = | lim f (x) − lim f (x)|.
x→a+ x→a−
lim f (x) = ±∞
x→a−
or,
lim f (x) = ±∞
x→a+
Section 6: Discontinuities
7. One-Sided Continuity
I will not devote very many electronic pages to this topic. It has been
discussed rather extensively already. See the sections: Left-Hand Lim-
its, Right-Hand Limits, and Two-Sided and One-Sided Limits Related.
When trying to argue that a function of a more pathological type
is or is not continuous, it is sometimes useful to consider one-sided
limits. The pivotal result from the article Two-Sided and One-Sided
Limits Related is reproduced below — modified to reflect the topic
of continuity.
During the time interval [ 0, 30 ], the bird must surely attain all heights
between 10 feet and 18 feet.
That is, the bird must go from a height of 10 feet to an height of 18
feet (off the ground), in the process, the bird must surely attain all
altitudes in between, for otherwise, the graph of f would be broken.
This rather long-winded discussion, ending in a statement of the obvi-
ous, was a way of introducing the Intermediate Value Theorem. This
theorem is a formal statement that all continuous function have the
property of the bird: they must take on all values between two alti-
tudes on their graph.
Proof.
Section 8: The Intermediate Value Theorem
The last point can be rephrased slightly, to argue that f has a root,
we need to find in interval within the domain of f such that the value
of f at the two endpoints of this interval are opposite (one positive
and one negative).
Section 8: The Intermediate Value Theorem
Solutions to Exercises
2.1. Let > 0, choose δ = 1/2. Now suppose x ∈ Dom(f ), and
|x − 2| < δ = 1/2. We want to argue that |f (x) − f (2)| < . Indeed, if
x ∈ Dom(f ), and |x − 2| < 1/2, then it must be true that x = 2; thus
|f (x) − f (2)| = |f (2) − f (2)| = 0 < . Thus, f is continuous at x = a.
Think about the sudden deduction of the previous paragraph. Why
does x ∈ Dom(f ) and |x − 2| < 1/2 imply x = 2?
In this example, x = 2 is not an accumulation point of Dom(f ). The
condition (2) does not require 0 < |x − a| < δ, but only requires
|x − a| < δ. Because we were not required to satisfy x 6= a that
enabled us to prove that this function was continuous at x = 2.
Exercise 2.1.
Solutions to Exercises (continued)
4.2. I’ll start you off, tan(x) is continuous at all points except,
x 6= ±π/2, ±3π/2, ±5π/2, ±7π/2, . . . ,
or, in a more tersely,
π
x 6= (2n − 1) n ∈ Z.
2
Construct a nice table showing all the trig functions and listing their
continuity properties. I’ll check on your work later. Exercise 4.2.
Solutions to Exercises (continued)
That is, the bird’s altitude at time t0 is different form the altitude
determined by its past history (A-1), or, the bird’s altitude is different
from the altitude determined by its future flight (A-2).
Exercise 8.1.
Solutions to Exercises (continued)
8.2. The statement of the problem is longer than its solution. The
function r(θ) is a continuous function of θ.
Let α ≤ θ ≤ β. Sweep a circular arc of radius r(θ) across the triangle
4OAB. The area of that triangle is
1
A(θ) = (θ − α)(r(θ))2 .
2
(Why?)
The function A(θ), α ≤ θ ≤ β, is a continuous function of θ. (Why?)
I am assuming A and B are different distances from the origin; for
definiteness, assume A is closer to the origin than B. This assumption
this implies
A(α) ≤ A ≤ A(β)
where A is the area of the triangle 4OAB. (Why?)
Solutions to Exercises (continued)
6.2. First note that f (1) = 2. Now, calculate, in the usual way, the
one-sided limits.
The left-hand limit does not equal the right-hand limit, therefore from
(3), this function has a jump discontinuity of x = 3. The amount of
the jump is
jmp = | lim f (x) − lim f (x)| = |27 − 3| = 24.
+
x→3 − x→3
Now look at the bxc for x a little larger than n. Let n < x < n + 1,
then bxc = n, since n is the greatest integer less then or equal to x.
This implies,
lim bxc = n. (S-2)
x→n+
We have shown that the left-hand limit, (S-1), is not equal to the right-
hand limit, (S-2). Thus, the function bxc has a jump discontinuity at
x = n. The amount of the jump is 1.
We made the argument for n a positive integer. We leave the other
case of n ≤ 0 to you.
Notes: Otherwise, i.e. for n ∈
/ Z, the function bxc is continuous. (Z =
the set of all integers.)
Example 6.4.
Solutions to Examples (continued)
6.5. The major point I wanted to make in offering up the two func-
tions ( 1
1 x 6= 0
f (x) = x 6= 0, and g(x) = x
x 0 x=0
was it doesn’t really matter whether the function is defined at a par-
ticular point or not. What determines the infinite discontinuity is how
the function behaves as you approach the point of interest.
1
lim f (x) = lim g(x) = lim = +∞
x→0+ x→0+ x→0+ x
This is enough to argue that f and g both have an infinite disconti-
nuity at x = 0.
For completeness, we include,
1
lim f (x) = lim g(x) = lim = −∞
x→0− x→0− x→0− x
Example 6.5.
Solutions to Examples (continued)
7.1. This is a job for Theorem 7.1. First note that f (2) = 8. We
reason as follows.
Calculate the left-hand limit.
lim f (x) = lim x3
x→2− x→2−
3
=2 =8
= f (2) (S-3)