Supplement For Measure, Integration & Real Analysis: Sheldon Axler
Supplement For Measure, Integration & Real Analysis: Sheldon Axler
Supplement For Measure, Integration & Real Analysis: Sheldon Axler
This supplement for Measure, Integration & Real Analysis should refresh your
understanding of standard definitions, notation, and results from undergraduate real
analysis. You will then be ready to read Measure, Integration & Real Analysis.
The set R of real numbers, with the usual operations of addition and multiplication
and the usual ordering, is a complete ordered field. This supplement begins by
explaining the meaning of the last three words of the previous sentence. Because you
have used the ordered field properties of R since childhood, in this supplement we
emphasize the deep properties that follow from completeness.
Section B of this supplement presents a construction of the real numbers using
Dedekind cuts (this is the only section of this supplement not used in Measure,
Integration & Real Analysis, so you can choose to skip this section).
Section C focuses on the crucial concepts of supremum and infimum. The basic
properties of open and closed subsets of Rn are discussed in Section D.
In Section E of this supplement we prove the Bolzano–Weierstrass Theorem,
which is then used as a key tool for results concerning uniform continuity and
maxima/minima of continuous functions on closed bounded subsets of Rn.
The set Q of rational numbers, with the usual operations of addition and multi-
plication, is a field. As another example, the set {0, 1}, with the usual operations of
addition and multiplication except that 1 + 1 is defined to be 0, is a field.
Because 0 is the additive identity in a field, the result below connects addition and
multiplication. The only field property that connects addition and multiplication is
the distributive property. Thus the proof of the result below must use the distributive
property. With that hint, the main idea of the proof (writing 0 as 0 + 0 and then using
the distributive property) becomes easier to discover.
0.2 a0 = 0
The familiar properties of arithmetic all follow easily from the field properties
listed in the definition of a field. For example, here are a few properties of the additive
inverse.
You should be able to write down analogous properties for the multiplicative
inverse in a field. The proofs of the easy and familiar field properties are not provided
here because we need to get to other topics. However, you may benefit by finding
your own proof of the result above and other basic results about the arithmetic of
fields.
Subtraction and division are defined in a field using the appropriate inverse, as
follows.
a − b = a + (−b).
a
• If b 6= 0, then the quotient b (which is also denoted by a/b and by a ÷ b) is
defined by the equation
a
= ab−1 .
b
Ordered Fields
The usual arithmetic properties that we expect of the real numbers follow from the
definition of a field. However, more structure is needed to generate meaning for the
the order relationship a < b that we expect of the real numbers. The easiest way to
get at order properties in a field comes from designating a subset to be thought of as
the positive numbers. Then the ordering a < b can be defined to mean that b − a is
positive.
As motivation for the following definition, think of the properties we expect of the
positive numbers as a subset of the real numbers: every real number is either positive
or 0 or its additive inverse is positive; a real number and its additive inverse cannot
both be positive; the sum and product of two positive numbers are both positive
numbers.
4 The Real Numbers and Rn
In the following definition, the symbol P should remind you of the positive
numbers.
An ordered field is a field F along with a subset P of F, called the positive subset,
with the following properties:
• if a ∈ F, then a ∈ P or a = 0 or − a ∈ P;
• if a ∈ P, then − a ∈
/ P;
• if a, b ∈ P, then a + b ∈ P and ab ∈ P.
For example, the field Q of rational numbers, with the usual operations of addition
and multiplication and with P denoting the usual set of positive rational numbers, is
an ordered field.
Because you are already familiar with the properties of the positive numbers, the
statements and easy proofs of results concerning the positive subset are left to you as
exercises. The following result and its proof give an example of how to work with
the definition of an ordered field.
(a) 1 ∈ P;
(b) a−1 ∈ P for every a ∈ P.
Proof To prove (a), note that the definition of an ordered field implies that either
1 ∈ P or −1 ∈ P. If 1 ∈ P, then we are done. If −1 ∈ P, then 1 = (−1)(−1) ∈ P
(because P is closed under multiplication). Either way, we conclude that 1 ∈ P.
To prove (b), suppose a ∈ P. If we had − a−1 ∈ P, then we would have
−1 = (− a−1 ) a ∈ P (because P is closed under multiplication), which contradicts
the first bullet point. Thus a−1 ∈ P, as desired.
Now we use the positive subset of an ordered field to define the order relations.
0.8 transitivity
c − a = (c − b) + (b − a) ∈ P.
The observation that b ≤ |b| and −b ≤ |b| for every b in an ordered field F
provides the key to the proof of our next result.
0.10 | a + b| ≤ | a| + |b|
| a + b | ≤ | a | + | b |.
| a + b | = a + b ≤ | a | + | b |.
| a + b| = −( a + b) = (− a) + (−b) ≤ | a| + |b|,
The next result allows us to think of Q, the ordered field of rational numbers
with the usual operations of addition and multiplication and the usual ordering, as
contained in each ordered field.
ϕ( m
n ) = (1 + · · · + 1)(1 + · · · + 1)−1
| {z } | {z }
m times n times
and let
ϕ(− m · · + 1})−1 ,
(−1) + · · · + (−1) (1| + ·{z
n) = | {z }
m times n times
Proof
The properties of an ordered field
To show that ϕ is a one-to-one func-
imply that 1 + · · · + 1 > 0. In
tion, suppose first that | {z }
n times
ϕ( m
p particular, 1 + · · · + 1 6= 0, and
n ) = ϕ ( q ), | {z }
n times
where m, n, p, q are positive integers and thus the multiplicative inverses
both fractions are in reduced form. The above make sense in F.
equality above implies that
(1| + ·{z
· · + 1})(1| + ·{z
· · + 1}) = (1| + ·{z
· · + 1})(1| + ·{z
· · + 1}).
m times q times p times n times
Repeated applications of the distributive property show that both sides of the equation
above are a sum, with 1 appearing mq times on the left side and pn times on the right
side. Thus
mq = pn
(because otherwise, after adding the additive inverse of the shorter side to both sides
of the equation above, we would have a sum of 1’s equaling 0, which would violate
p
the order properties). Thus m n = q , which shows that the restriction of ϕ to the
positive rational numbers is a one-to-one function.
Using the ideas of the paragraph above, the reader should be able to show that ϕ
is a one-to-one function on all of Q. The reader should also be able to verify that ϕ
preserves all the ordered field properties. In other words, ϕ( a + b) = ϕ( a) + ϕ(b),
ϕ( ab) = ϕ( a) ϕ(b), ϕ(− a) = − ϕ( a), ϕ( a−1 ) = ϕ( a)−1 , and ϕ( a) > 0 if and
only if a > 0 for all a, b ∈ Q (with a 6= 0 for the multiplicative inverse condition).
The result above means that we can identify a ∈ Q with ϕ( a) ∈ F. Thus from
now on we think of Q as a subset of each ordered field.
Section A Complete Ordered Fields 7
Completeness
The Pythagorean Theorem implies that a right trian-
gle with two legs of length 1 has a hypotenuse whose
length c satisfies the equation c2 = 2. The ancient
Greeks discovered that the rational numbers are not
rich enough to have such a number, as shown by the
next result.
An isoceles right triangle,
with c2 = 2.
Intuitively, we expect that the length of any line segment (including the hypotenuse
of a right triangle with two legs of length 1) should√ be a real number. Thus the result
above tells us that there should be a real number 2 that is not rational. The rational
numbers Q, with the usual operations of addition and multiplication, form an ordered
field. Hence we see that we need more than the properties of an ordered field to
describe our notion of the real numbers.
8 The Real Numbers and Rn
Experience has shown that the best way to capture the expected properties of the
real numbers comes through consideration of upper bounds.
In other words, a least upper bound of a set is an upper bound that is less than or
equal to all the other upper bounds of the set.
If b and d are both least upper bounds of a subset A of an ordered field F, then
b ≤ d and d ≤ b (by the second bullet point above), and hence b = d. In other
words, a least upper bound of a set, if it exists, is unique.
then 3 is the least upper bound of A1 and 3 is the least upper bound of A2 . Note that
the least upper bound 3 of A1 is an element of A1 , but the least upper bound 3 of A2
is not an element of A2 .
Section A Complete Ordered Fields 9
The next example shows that a nonempty subset of an ordered field can have an
upper bound without having a least upper bound.
2 − b2
δ= .
5
Because b < 2 and 0 < δ < 1, we have 2b + δ < 5 and
The last example indicates that the absence of a least upper bound prevents the field
of rational numbers from having a square root of 2, motivating the next definition.
Example 0.18 shows that Q is not a complete ordered field. Our intuitive notion
of the real line as having no holes indicates that the field of real numbers should be a
complete ordered field. Thus we want to add completeness to the list of properties
that the field of real numbers should possess.
Experience shows that no additional properties beyond being a complete ordered
field are needed to prove all known properties of the real numbers. Thus we define
the real numbers (which we have not previously defined) to be a complete ordered
field.
Here is the formal definition, which is followed by a discussion of philosophical
issues that this definition raises.
The definition of R that we have just given raises the following three philosophical
issues:
EXERCISES A
1 Prove 0.3.
2 State and prove properties for the multiplicative inverse in a field that are
analogous to the properties in 0.3.
3 Suppose F is a field and a, b ∈ F. Prove that (− a)(−b) = ab.
4 Suppose F is a field and a, b, c ∈ F, with b 6= 0 and c 6= 0. Prove that
ac a
= .
bc b
5 Suppose F is a field and a, b, c, d ∈ F, with b 6= 0 and d 6= 0. Prove that
a c ad − bc
− = .
b d bd
6 Suppose F is a field and a, b, c, d ∈ F, with b 6= 0, c 6= 0, and d 6= 0. Prove that
a c ad
÷ = .
b d bc
7 Suppose F is an ordered field and a, b, c, d ∈ F. Prove that if a < b and c ≤ d,
then a + c < b + d.
8 Suppose F is an ordered field and a, b, c, d ∈ F. Prove that if 0 ≤ a < b and
0 < c ≤ d, then ac < bd.
9 Suppose F is an ordered field and a, b ∈ F. Prove that if a < b and ab > 0, then
a −1 > b −1 .
10 Prove that if a and b are elements of an ordered field, then | ab| = | a||b|.
11 Prove that if a and b are elements of an ordered field, then | a| − |b| ≤ | a − b|.
12 Prove that every ordered field has at most one positive element whose square
equals 2 (where 2 is defined to be 1 + 1).
13 Suppose F is an ordered field. Prove that there does not exist i ∈ F such
that i2 = −1. (Thus the set of complex numbers, with its usual operation of
multiplication, cannot be made into an ordered field.)
14 Suppose F is the field of rational functions with coefficients in R. This means
p
that an element of F has the form q , where p and q are polynomials with real
p
coefficients and q is not the 0 polynomial. Rational functions q and rs are
declared to be equal if ps = rq, and addition and multiplication are defined in F
as you would naturally assume.
(a) Let P denote the subset F consisting of rational functions that can be written
p
in the form q , where the highest order terms of p and q both have positive
coefficients. Show that F is an ordered field with this definition of P.
(b) Show that F, with P defined as above, is not a complete ordered field.
12 The Real Numbers and Rn
C + D = {c + d : c ∈ C, d ∈ D }.
0̃ = { a ∈ Q : a < 0}.
The next result states that addition is well defined, that addition is commutative,
that addition is associative, that 0̃ is the additive identity, and that − D is that additive
inverse of D for each Dedekind cut D. These properties are part of what is needed to
make D into a field.
with similarly appropriate definitions for the other three cases concerning C and D.
For details, see the instruction before Exercise 4 in this section. That exercise ends
with the conclusion that D (with the operations of addition and multiplication as
defined) is a field.
Now that we have made D into a field, we want to make it into an ordered
field. Thus we must define the positive subset of D , which is done in the next
definition. To motivate this definition, think of the intuitive notion of a Dedekind cut
as corresponding to what should be its right endpoint.
Exercise 5 asks you to verify that the definition above satisfies the requirements
for the positive subset of a field (see 0.5). In other words, the definition above makes
D into an ordered field.
Now that D is an ordered field, the positive subset of D defines the meaning of
inequalities in the usual way (see 0.7). For example, C ≤ D means that D + (−C )
is positive or C = D. The next result shows that this ordering of D has a particularly
nice interpretation. Again, the proof is left as an exercise.
Now we are ready to prove the main point about what we have been doing with
Dedekind cuts. Specifically, we will prove that the ordered field D of Dedekind cuts
is complete. The clean, easy proof of this result should be attributed to the cleverness
of the definition of Dedekind cuts.
0.27 completeness of D
EXERCISES B
1 Prove 0.24 (the addition properties on the set of Dedekind cuts).
2 Prove that a Dedekind cut D is positive if and only if 0 ∈ D.
3 Prove 0.26. In other words, show that if C and D are Dedekind cuts, then
C ≤ D if and only if C is a subset of D.
Z+ ⊂ Z ⊂ Q ⊂ R,
Proof Suppose there does not exist a positive integer n such that t < n. This implies
that t is an upper bound of Z+. Because R is complete, this implies that Z+ has a
least upper bound, which we will call b.
Now b − 1 is not an upper bound of Z+ (because b is the least upper bound of
Z+ ). Thus there exists m ∈ Z+ such that b − 1 < m. Thus b < m + 1. Because
m + 1 ∈ Z+, this contradicts the property that b is an upper bound of Z+. This
contradiction completes the proof.
1
Suppose ε ∈ R and ε > 0. Then there is a positive integer n such that n < ε.
Suppose a, b ∈ R, with a < b. Then there exists a rational number c such that
a < c < b.
If a subset of R has a greatest lower bound, then the subset has a unique greatest
lower bound. The uniqueness follows from the same reasoning as for the uniqueness
of the least upper bound (see the comment after 0.17).
Section C Supremum and Infimum 19
The completeness property of the real numbers tells us that every nonempty
subset of R with an upper bound has a least upper bound. The result below is the
corresponding statement for lower bounds. Note that the upper bound property is
part of the definition of R, but the lower bound property below is a theorem.
Every nonempty subset of R that has a lower bound has a greatest lower bound.
The terminology defined below has wide usage in many areas of mathematics.
The term supremum, which comes from the same Latin root as the word superior,
should help remind you that sup A is trying to be the largest number in A (if
sup A ∈ A, then sup A is the largest number in A). Similarly, the term infimum,
which comes from the same Latin root as the word inferior, should help remind you
that inf A is trying to be the smallest number in A (if inf A ∈ A, then inf A is the
smallest number in A).
20 The Real Numbers and Rn
1
• If A = {1 − n : n ∈ Z+} = {0, 12 , 23 , 34 , . . . }, then inf A = 0 and sup A = 1.
The symbols ∞ and −∞ that appear in the definitions of supremum and infimum
do not represent real numbers. The equation sup A = ∞ is simply an abbreviation for
the statement A does not have an upper bound. Similarly, the equation inf A = −∞
is an abbreviation for the statement A does not have a lower bound.
Irrational Numbers
The completeness property of the real numbers implies the existence of a real number
whose square is 2.
√
0.37 existence of 2
Proof Let
b = sup{ a ∈ R : a2 < 2}.
The set { a ∈ R : a2 < 2} has an upper bound (for example, 2 is an upper bound)
and thus b as defined above is a real number.
If b2 < 2, then we can find a number slightly bigger than b in { a ∈ R : a2 < 2}
(see the second paragraph of Example 0.18 for this calculation), which contradicts
the property that b is an upper bound of { a ∈ R : a2 < 2}.
If b2 > 2, then we can find a number slightly smaller than b that is an upper bound
of { a ∈ R : a2 < 2} (see the third paragraph of Example 0.18 for this calculation),
which contradicts the property that b is the least upper bound of { a ∈ R : a2 < 2}.
The two previous paragraphs imply that b2 = 2, as desired.
Suppose a, b ∈ R, with a < b. Then there exists an irrational number c such that
a < c < b.
Intervals
We will find it useful sometimes to consider a set (not a field) consisting of R and
two additional elements called ∞ and −∞. We define an ordering on R ∪ {∞, −∞}
to behave exactly as you expect from the names of the two additional symbols.
If a > b, then all four of the sets listed above are the empty set. If a = b, then
[ a, b] is the set { a} containing only one element and the other three sets listed above
are the empty set.
The definition above implies that (−∞, ∞) equals R and that (0, ∞) is the set
of positive numbers. Also note that [−∞, ∞] = R ∪ {∞, −∞} and that [0, ∞] =
[0, ∞) ∪ {∞}; thus neither [−∞, ∞] nor [0, ∞] is a subset of R.
The next result gives a complete description of all intervals of [−∞, ∞].
Suppose I ⊂ [−∞, ∞] is an interval. Then I is one of the following sets for some
a, b ∈ [−∞, ∞]:
( a, b), [ a, b], ( a, b], [ a, b).
EXERCISES C
1
1 Suppose b ∈ R and |b| < n for every positive integer n. Prove that b = 0.
3 Explain why it makes no sense to inquire about whether your current height as
measured in meters is a rational number or an irrational number.
Section C Supremum and Infimum 23
A + B = { a + b : a ∈ A, b ∈ B}.
Define arithmetic with ∞ and −∞ as you would expect. For example, s + ∞ = ∞
for all s ∈ (−∞, ∞] and −∞ + t = −∞ for all t ∈ [−∞, ∞). Note, however,
that ∞ + (−∞) should remain undefined.
6 Prove that if A and B are nonempty subsets of R, then
and
inf( A + B) = inf A + inf B.
(b) Give an example to show that the inequality above can be a strict inequality.
(b) Give an example to show that the inequality above can be a strict inequality.
9 Prove that the ordered field of rational functions with coefficients in R (see
Exercise 14 in Section A for the definition of this ordered field) does not satisfy
the Archimedean Property.
24 The Real Numbers and Rn
0.44 Definition Rn
Rn = {( x1 , . . . , xn ) : x1 , . . . , xn ∈ R}.
For ( x1 , . . . , xn ) ∈ Rn , let
p
k( x1 , . . . , xn )k = x1 2 + · · · + x n 2
and
k( x1 , . . . , xn )k∞ = max{| x1 |, . . . , | xn |}.
The reason for using the subscript ∞ here will become clear when you get to
L p -spaces in Chapter 7 of Measure, Integration & Real Analysis. For now, note that
the triangle inequality
is an easy consequence of the definition of k·k∞ . The triangle inequality also holds
for k·k but its proof when n ≥ 3 is far from obvious; Measure, Integration & Real
Analysis contains two nice proofs of the triangle inequality for k·k (see 7.14 with
p = 2 and 8.15). Meanwhile, here we will use k·k∞ for simpler proofs. Note that if
n = 1, then k·k and k·k∞ both equal the absolute value |·|.
Now we are ready to define what it means for a sequence of elements of Rn to
have a limit. The intuition concerning limits is that if we go far enough out in a
sequence, then all the terms beyond that will be as close as we wish to the limit. You
should have seen limits in previous courses. Thus some key properties of limits are
left as exercises.
26 The Real Numbers and Rn
k ak − Lk∞ < ε
Because √
k x k∞ ≤ k x k ≤ nk x k∞ for all x ∈ Rn ,
we see that
lim ak = L if and only if lim k ak − Lk = 0.
k→∞ k→∞
We will need the following useful terminology.
The next result states that a sequence of elements of Rn converges if and only if it
converges coordinatewise. Thus questions about convergence of sequences in Rn can
often be reduced to questions about convergence of sequences in R. The proof of this
next result is left to the reader.
( ak,1 , . . . , ak,n ) = ak ,
lim ak,j = L j
k→∞
You should show that each sequence in Rn has at most one limit. Thus the phrase
a limit in 0.46 can be replaced by the limit.
Section D Open and Closed Subsets of Rn 27
Open Subsets of Rn
If n = 3, then the open cube B( x, δ) defined below is the usual cube in R3 centered
at x with sides of length 2δ.
B( x, δ) = {y ∈ Rn : ky − x k∞ < δ}.
As a test that you are comfortable with these concepts, be sure that you can verify
the following implication:
Make sure you take the time to understand why the definitions given by the two bullet
points above are equivalent (you will need to use 0.50).
Open sets could have been defined using the open balls {y ∈ Rn : ky − x k < δ}
instead of the open cubes B( x, δ). These two possible approaches are equivalent
because every open cube contains an open ball with the same center, and every open
ball contains an open cube with the same center. Specifically, if x ∈ Rn and δ > 0
then
√
{y ∈ Rn : ky − x k < δ} ⊂ B( x, δ) ⊂ {y ∈ Rn : ky − x k < nδ},
The union ∞
S
k=1 Ek of a sequence E1 , E2 , . . . of subsets of T
a set S is the set of
elements of S that are in at least one of the Ek . The intersection ∞ k=1 Ek is the set of
elements of S that are in all the Ek .
More generally, we can consider unions and intersections that are not indexed by
the positive integers.
\
• The intersection of the collection A, denoted E, is defined by
E∈A
\
E = { x ∈ S : x ∈ E for every E ∈ A}.
E∈A
(a) The union of every collection of open subsets of Rn is an open subset of Rn.
δ = min{δ1 , . . . , δm }.
The next definition helps us distinguish some sets as having the same number of
elements as Z+.
The following two points follow easily from the definition of a countable set.
• Every finite set is countable. This holds because if C = {c1 , c2 , . . . , cn }, then
C = {c1 , c2 , . . . , cn , cn , cn , . . . } (repetitions do not matter for sets).
• If C is an infinite countable set, then C can be written in the form {b1 , b2 , . . .}
where b1 , b2 , . . . are all distinct. This holds because we can delete any terms in
the sequence c1 , c2 , . . . that appear earlier in the sequence.
We will use the next result to prove our description of open subsets of R (0.59).
0.57 Q is countable
Proof At step 1, start with the list −1, 0, 1. At step n, adjoin to the list in increasing
order the rational numbers in the interval [−n, n] that can be written in the form m n
for some integer m. Thus halfway through step 3, the list is as follows:
−1, 0, 1, −2, − 32 , −1, − 12 , 0, 21 , 1, 32 , 2, −3, − 83 , − 37 , −2, − 53 , − 34 , −1, − 23 , − 13 , 0.
Continue in this fashion to produce a sequence that contains each rational number,
completing the proof.
Deleting the entries in the list that already appear earlier in the list (shown above
in red) produces a sequence that contains each rational number exactly once.
As you probably know, R is uncountable (see 2.17 in Measure, Integration & Real
Analysis for a proof that may be new to you). Similarly, the set of irrational numbers
is uncountable. Thus there are more irrational numbers than rational numbers.
The following terminology will be useful.
In the result below, some (perhaps infinitely many) of the open intervals may be
the empty set.
Proof One direction of this result is easy: The union of every sequence (disjoint or
not) of open intervals is open [by 0.55(a)].
To prove the other direction, suppose G is an open subset of R. For each t ∈ G,
let Gt be the union of all the open intervals contained in G that contain t. A moment’s
thought shows that Gt is the largest open interval contained in G that contains t.
If s, t ∈ G and Gs ∩ Gt 6= ∅, then Gs = Gt (because otherwise Gs ∪ Gt would
be an open interval strictly larger than at least one of Gs and Gt and containing both
s and t). In other words, any two intervals in the collection of intervals { Gt : t ∈ G }
are either disjoint or equal to each other.
Because t ∈ Gt for each t ∈ G, we see that the union of the collection of intervals
{ Gt : t ∈ G } is G.
Let r1 , r2 , . . . be a sequence of rational numbers that includes every rational
number (such a sequence exists by 0.57). Define a sequence of open intervals
I1 , I2 , . . . as follows:
∅
if rk ∈/ G,
Ik = ∅ if rk ∈ Ij for some j < k,
Grk if rk ∈ G and rk ∈ / Ij for all j < k.
If t ∈ G, then the open interval Gt contains a rational number (by 0.30) and thus
Gt = Ik for some positive integer k. Thus G is the union of the disjoint sequence of
open intervals I1 , I2 , . . . .
Closed Subsets of Rn
• If S and A are sets, then the set difference S \ A is defined to be the set of
elements of S that are not in A. In other words, S \ A = {s ∈ S : s ∈ / A }.
• If A ⊂ S, then S \ A is called the complement of A in S.
For example, the interval [1, 4] is a closed subset of R because its complement in
R is the open set (−∞, 1) ∪ (4, ∞).
Unlike doors, a subset of Rn need not be either open or closed. For example, the
interval (3, 7] is neither an open nor a closed subset of R.
Closed sets can be more complicated than open sets. There exist closed subsets of
R that are not the union of a sequence of intervals (an example follows from 2.76
and 2.80 of Measure, Integration & Real Analysis).
The following characterization of closed sets will frequently be useful.
B( L, δ) 6⊂ Rn \ A
for every δ > 0. Hence Rn \ A is not an open subset of Rn. Thus A is not a closed
subset of Rn, completing the proof in one direction.
To prove the other direction, now suppose A is a subset of Rn that is not closed.
Thus Rn \ A is not open. Hence there exists L ∈ Rn \ A such that
B( L, 1k ) 6⊂ Rn \ A
for every k ∈ Z+. Thus for each k ∈ Z+, there exists ak ∈ A such that
k L − ak k∞ < 1k .
The inequality above implies that the sequence a1 , a2 , . . . of elements of A has limit
L. Thus there exists a convergent sequence of elements of A whose limit is not in A,
completing the proof in the other direction.
Proof This result follows immediately from De Morgan’s Laws (0.63), the definition
of a closed set, and 0.55.
The only subsets of Rn that are both open and closed are ∅ and Rn.
EXERCISES D
1 Suppose a1 , a2 , . . . and c1 , c2 , . . . are convergent sequences in Rn. Prove that
lim ak
ak
lim = k→∞ .
k→∞ ck lim ck
k→∞
{ a ∈ Rn : k a − bk∞ ≤ δ} and { a ∈ Rn : k a − bk ≤ δ}
To test that you are comfortable with this terminology, make sure that you can
show that a set A ⊂ R is bounded if and only if A has an upper bound and A has a
lower bound.
As you should verify, if a sequence
Note the crucial role that the
of real numbers converges, then it is
completeness of the field of real
bounded. The next result states that the
numbers plays in the next proof.
converse is true for monotone sequences.
36 The Real Numbers and Rn
The next result is called a characterization of closed bounded sets because the
converse, although less important, is also true (see Exercise 3 in this section).
In the first bullet point above, continuity is defined at an element of the domain.
The second bullet point above establishes the convention that simply calling a function
continuous means that the function is continuous at every element of its domain.
The next result, whose proof is left as an exercise, allows us to think about
continuity in terms of limits of sequences.
k f ( a) − f (b)k∞ < ε
Clearly every uniformly continuous function is continuous, but the converse is not
true, as shown by the following example.
The following remarkable result states that for functions whose domain is a closed
bounded subset of Rm, continuity implies uniform continuity. This result plays a
crucial role in showing that continuous functions are Riemann integrable (see 1.11 in
Measure, Integration & Real Analysis).
Thus
lim g( ak j ) − g(bk j ) = 0.
j→∞
The equation above contradicts the inequality k g( ak ) − g(bk )k∞ ≥ ε, which holds
for all k ∈ Z+. This contradiction means that our assumption that g is not uniformly
continuous is false, completing the proof.
40 The Real Numbers and Rn
lim g( ak ) = sup{ g( x ) : x ∈ F }.
k→∞
g ( A ) = { g ( x ) : x ∈ A }.
Section E Sequences and Continuity 41
EXERCISES E
1 Prove that every convergent sequence of elements of Rn is bounded.
2 Prove that a sequence of elements of Rn converges if and only if every subse-
quence of the sequence converges.
3 Prove the converse of 0.74. Specifically, prove that if F is a subset of Rn with the
property that every sequence of elements of F has a subsequence that converges
to an element of F, then F is closed and bounded.
4 Define f : R → R as follows:
0 if a is irrational,
f ( a) = 1 if a is rational and n is the smallest positive integer
n
such that a = m
n for some integer m.
23 Prove that every continuous real-valued function on each closed subset of R can
be extended to a continuous real-valued function on R. More precisely, prove
that if F is a closed subset of R and g : F → R is continuous, then there exists a
continuous function h : R → R such that g( x ) = h( x ) for all x ∈ F.
Section E Sequences and Continuity 43
• page 1: painting by Paul Barbotti in 1853; public domain image from Wikipedia;
verified on 10 July 2019 at
https://commons.wikimedia.org/wiki/File:Cicero_discovering_tomb_of_Archimedes_(_Paolo_Barbotti_).jpeg
• page 7: The School of Athens (detail) by Raphael; public domain image from
Wikipedia; verified on 10 July 2019 at
https://commons.wikimedia.org/wiki/File:%22The_School_of_Athens%22_by_Raffaello_Sanzio_da_Urbino.jpg
• page 17: painting by Salvator Rosa (1615–1673); public domain image from
Wikipedia; verified on 10 July 2019 at
https://commons.wikimedia.org/wiki/File:Morte_di_Archimede.JPG
• page 37: photo by Matěj Bat’ha; Creative Commons Attribution-Share Alike 2.5
Generic license; verified on 10 July 2019 at
https://commons.wikimedia.org/wiki/File:Pametni_cedule_Bernard_Bolzano.jpg
This Supplement (except for the images) is licensed under the terms of the
Creative Commons Attribution-NonCommercial 4.0 International License
(http://creativecommons.org/licenses/by-nc/4.0/), which permits any non-
commercial use, sharing, adaptation, distribution and reproduction in any
medium or format, as long as you give appropriate credit to the original
author and the source, provide a link to the Creative Commons license, and
indicate if changes were made.
The copyright status of the each image in this Supplement is indicated in
the corresponding photo credit entry above.
44