Professional Documents
Culture Documents
Colin Clark
Copyright 1972 by
WADSWORTH PUBLISHING COMPANY, INC.
Transferred to Colin Clark, 1977
Reprinted by Arrangement
)
Chapter 1 Sequences, Limits, and Real Numbers
1.1 Sequences 1
2.1 Introduction 54
2.4 Continuity 71
2.5 Differentiability 81
3.1 Introduction 91
Appendix I Logic
The Greek scholars were the first to consider seriously problems of con-.
tinuity and infinity. These problems depend in turn on the basic concept of
"number." Being excellent geometers, the Greeks attempted to include the
concept of number in their geometry. Every line segment had a length (relative
to a given unit length), which was expressed by a number; conversely every
number was thought to be the length of some line segment. In this way, opera-
tions between numbers could be realized by means of geometrical "ruler and
compass" constructions.
The construction of a line segment of rational length mfn (where m, n are
integers, n =!= 0) is an easy matter. The hope that all numbers were rational was
destroyed by the discovery, around 400 B.c., that .J2 is irrational, even though it
corresponds to a constructible line segment, the diagonal of a unit square. It is
said that the Pythagorean mathematicians were so embarrased by the irration-
ality of .J2 that they "classified" this infor~ation, and the first scholar to "leak"
it to the public was poorly treated by his colleagues.
Three famous classical problems, those of"trisecting the angle," "doubling
the cube," and "squaring the circle," were closely related to the question of
realizing all numbers as lengths of constructible line segments. In modern terms
these problems are equivalent to constructing, by ruler and compass, line
segments of length cos 20 (for example), ~. and 1r, respectively. In the
nineteenth century all three constructions were shown to be impossible.t Thus
terminating or not, represents a real number, and conversely. This shows how
to locate any real number, at least to any desired degree of accuracy, as a: point
on the "real line." Thus the Greek quest of identifying numbers with lil\,.e
segments was realized at last. Only the desire to obtain every number by (finite)
construction turned out to be unrealizable.
Questions of continuity and infinity seem to have represented a complete
mystery to the Greek scholars. The difficulties were clearly indicated by the
famous paradoxes of Zeno (ca. 450 B.c.), of which we quote the following:
(a) The paradox of Achilles: In a race between Achilles and. a tortoise, the
latter has been given a head start. In order to catch up with the tortoise,
'Achilles must first cover half the distance separating them. Then he
must cover half the remaining distance and so on. Hence, at any
time, Achilles still has at least half the distance to go, and consequently
is never able to pass the tortoise.
(b) The paradox of the arrow: Consider an arrow in flight. At any instant,
the space occupied by the arrow is equal to the length of the arrow.
Hence the arrow cannot undergo motion at any instant. Since time is
composed of instants, no motion of the arrow is possible.
The paradox of Achilles seems to indicate that a continuous model of
physical motion is self-contradictory, whereas the paradox of the arrow seems
to show that a discrete model is equally self-contradictory. Speculation on
matters of this sort later became a trademark of medieval theologism.
Historical Introduction xiii
The modern era in mathematics and physics begins with one of the greatest
geniuses of all time, Isaac Newton (1642-1727). In a period ofless than two years,
1665-1666, there occurred the most cataclysmic intellectual revolution of all
history. Working alone at his country home in order to escape the plague,
Newton
(i) invented the differential and integral calculus, based on a study of
infinite series;
(ii) established the basic laws of motion and of gravitation;
(iii) using the results of (i) and (ii), solved completely the ancient problem
of the motion of the planets; and
(iv) discovered the nature of light.
Except for the work on light, Newton's discoveries went unpublished for over
20 years. Meanwhile G. Leibniz (1646-1716) discovered the calculus independ-
ently and published his theory. A stupid argument over priority arose between
the followers of Newton and those of Leibniz. That Leibniz himself recognized
Newton's accomplishment is obvious from his remark, "taking mathematics
from the beginning of the world until the time of Newton, what he has done is
much the better half."
In spite of the great success of their theories, neither Newton nor Leibniz
was able to give a convincing explanation of the logical principles underlying
the calculus. Both men struggled in vain with the concept of "infinitesimal";
Leibniz, in particular, committed several errors in questions relating to in-
finitesimals. The ensuing two centuries saw rapid and far-reaching developments
in science and mathematics, and among practical-minded men the feeling grew
that logical speculations were best avoided. In view of the tremendous success
with which calculus could be applied to numerous physical phenomena, this
viewpoint was clearly justified.
It is perhaps surprising, therefore, that any mathematicians remained
sufficiently stubborn to insist on trying to understand the basic principles of
their subject. But by the early nineteenth century certain developments in
mathematical physics forced mathematicians to consider once more the basic
problems of number, continuity, and infinity. During his work on the theory of
heat, J. B. J. Fourier (1768-1830) emphasized the importance of trigonometric
series,
b0 +a 1 sin x +b
1 cos x +a 2 sin 2x +b 2 cos 2x + .
It soon became evident that such series behave quite differently from "pgwer
series,"
which were extensively used by Newton and his successors. We know now that
if a power series converges, then the sum always represents a continuous (in
fact, infinitely smooth) function . Fourier himself realized, on the other hand,
xiv Hlatorlcallntroductlon
r--"'1
I I
I I
I I I
I I I
L-...J L....
that such graphs do not represent actual "functions," that Fourier's concept of
"convergence" was faulty, and so on. To settle these controversies, unambiguous
definitions of such concepts as "function," "convergence," and "continuity"
were needed. This brought mathematicians back to the problems of Zeno
and to the necessity of developing calculus on a rigorous logical basis.
Among the earliest and most significant contributors to rigor in calculus
was A. Cauchy (1789-1857). In his text Le~ons sur le calcul differentiel (1829),
Cauchy defined the derivative as the limit of a quotient:
Even this definition seems excessively vague by modern standards: the phrases
"successive values," "variable," "approach indefinitely," "as little as one
wishes," are all suggestive rather than precise.
Finally in 1872, H. E. Heine (1821-1881) presented the following formula-
tion of the definition of the limit of a function f (x) at x 0 :
"If, given any e, there is an fJo such that for 0 < 1J < fJo the differ-
ence f(x 0 1}) - L is less in absolute value than e, then L is the
limit ofj(x) for x = x 0 ."
This statement, which is now the accepted definition of limit, is absolutely un-
ambiguous. With minor modifications, it applies to many other kinds of
limiting processes, including sequences and series of numbers and functions,
functions of several variables, complex functions, and so on. The paradoxes of
Zeno regarding time and motion disappear once the definition of continuity
based on Heine's definition of limit is understood. There is probably no other
Historical Introduction xv
instance in human intellectual history in which so much time and effort was
spent merely to reach a satisfactory definition!
Given clear definitions of number, limit, continuity, and derivative,
nineteenth-century mathematicians were able to provide a logically precise
development of the calculus. The trigonometric series of Fourier became
acceptable, thanks to studies by P. G. L. Dirichlet (1805-1859) and others. Of
particular significance was the proof, by Weierstrass and B. Bolzano ( 1781-
1848), that any continuous function f(x) defined on a finite closed interval
a ::::;: x s b must assume finite extreme values.t It is clearly important to be able
to deduce such "obvious" facts from given axioms and definitions.
In the twentieth century great developments in both pure and applied
mathematics have been built on the foundations laid in the previous century.
Although these developments are; beyond the scope of this book, let us mention
one particularly interesting example, the study of spaces of infinite dimension,
initiated primarily by D. Hilbert (1862-1943). These spaces, whose properties
obviously cannot be deduced by "geometrical" intuition, play an important role
in modern physics, especially quantum mechanics.
By and large, the mathematics of this century is characterized by an un-
limited capacity for generalization and abstraction. As in previous eras, much
contemporary mathematical research seems to have little to do with practical
affairs. Yet modern civilization is experiencing a rapidly increasing level of
"mathematization," accelerated especially by the development of electronic
computers. The major technical problems of the future (including the critical
problems of environmental distress) are certain to require highly sophisticated
modern mathematical techniques. People who clearly understand both the
potentialities and the limitations of mathematical models will continue to be as
rare as they are valuable.
(For further information on the history of calculus, see Carl B. Boyer,
A History of Mathematics, Wiley (1968).)
t It should be pointed out that a certain amount of controversy is still attached to the
meaning of theorems such as this, on the grounds that no constructive methods are possible for
determining extreme points in general. See Appendix I.
J Sequences, Limits, and Real Numbers
1.1 Sequences
-I -2 -3 n
2'3'4'"""'n+1'
Sequences are frequently specified by simply giving a formula for the nth
term. For example if Xn = ( -l)n, the sequence {xn} is
1
1 Chapter One Sequences, Limits, and Real Numbers
1, 3, 6, 10, ?, ?, ....
(Such "sequences" used to occur on intelligence tests.) The terms given satisfy
the following conditions:
x 1 = 1,
x 1 = 1,
x2 = 1 + 2,
x3 = 1 + 2 + 3,
X8 = 1+2 + 3 + + n
= in(n + 1).
Exercises
n+1
(c) x,.+l = x 1 + x 2 + + x,., (d) Xn+l = - - x,.,
n
x=x - -2.2
+ (1.3)
2x
Equation (1.3) is of the form
x =f(x). (1.4)
(1.5) 2 + 2
= 1.417,
Xa = 2(1.5)
X
4
= (1.417)2 + 2 = 1.4142
2(1.417) '
and so on.
It is a fact (which I hope you find amazing at this point) that the sequence
{xn} constructed in this manner "converges" to .J2 as n becomes large. It can
even be shown that Xn+l is a better approximation to .J2 than xn is, by at least
two decimal places. We will return to this question later. At the present time
let us prove that ~, ;
Xn ?:. .J2 (for n ?:. ,2): >- (1.7)
!
Exercises
1. Find a recursion formula for calculating .J~ (a > 0). Try it on .Ji
~~
Let {xn} be the sequence of Equation (1.6). Using (1.7), show that {x..}
(?) is a nonincreasing sequence, in the sense xn+l :s:; Xn (for n ?:. 2).
3. Let {xn} be the above sequence. Prove that, actually, Xn > .J2 (n ?:. 2).
(Use mathematical induction, plus the fact that a 2 + b 2 > 2ab unless
a= b.)
4. Let x = .J2; then x = 2/x. Investigate the usefulness of the recursion
formula xn+l = 2/x.. for calculating .J2.
1.3 Properties of the Real-Number System 5
*5. Let a> -./2. Define a' (Figure 1.1) to be the intersection with the x-axis
of the line tangent to the curve y = x 2 - 2 at the point (a, a 2 - - 2). Find
a'. What does this have to do with Formula (1.6)? (This construction is an
example of "Newton's method," described in most calculus texts.)
Figure 1.1
*6. Use Newton's method to find a recursion formula for calculating iY2.
Proof Suppose to the contrary that x 2 = 2 for some rational number x = pfq.
Certainly we can assume that p and q have no common factors. The proof will
be completed by "reductio ad absurdum." Namely, we will show that if
(p/q) 2 == 2, then both p and q must necessarily be even integers, that is, p and q
have a common factor of 2. or(c{: ( r''' r ,. 1 -, -::: UH v i I :: o d ci
First note that p 2 = 2q 2 HenJ p 2 is an even integer. Since the square of an
odd integer is always odd (why?j, this shows that p itself is even. Let p = 2k.
Then we have 4k 2 = p 2 = 2q 2 , so that q2 = 2k 2 But, as before, this implies
that q must also be even~ This completes the proof. I
The existence of irrational numbers was one of the most confusing facts
facing early mathematicians. Only in the nineteenth century was a successful
theory developed, in which the entire real-number system could be defined in
terms of the system of positive integers.t Since this theory is quite complicated,
it is not convenient to present it in an elementary book. Instead, we will treat
the properties of the real-number system as axioms, referring any interested
reader to more advanced treatises which prove these "axioms" as theorems.t
As far as calculus is concerned, the whole theory may be derived logically from
these properties of the real-number system.
Henceforth, we use the symbol fJl to denote the set of all real numbers.
The notation x E fJl means that xis a member of fJl, that is, xis a real number.
The symbol=> means "implies."
P_roperties of fJl
t The famous remark "God made the integers; all the rest is the work of man," is at-
tributed to L. Kronecker (1823-1891).
t See, for example, W. Rudin, Principles of Mathematical Analysis, 2d ed;, McGraw-Hill
(1964).
1.3 Properties of the Real-Number System 7
10. Order:
(a) Given x, y E &1, then x = y, x < y, or y < x; no two can hold
simultaneously.
(b) Ifx < y andy< z, then x < z.
(c) Ifx < y, then x + z < y + zfor every z.
(d) Ifx < y, then xz < yzfor every z > 0.
11. Completeness: (See Section 1.8).
We suppose that you are quite familiar with Properties 1 through 10, and
these properties will be used without comment. Notice that Properties 1 through
10 cannot possibly describe &I completely, because the system _1 of all rational
numbers also satisfies Properties 1 through 10. The same holds for certain other, 1(1 ~ u
number systems (see Exercise 4 below). It is therefore interesting that a single \\alfl
additional property, called completeness, is sufficient to describe &I precisely. ~<0...
This property is somewhat subtle, and we will discuss it in detail in Section 1.8. '
If x E &11 then lxl (the absolute value of x) is defined by
X if X;:;::: 0,
lxl = max (x, -:X) = {
-x ifx < 0.
The following simple properties of the absolute value are easily checked:
x :s;; lxl,
(1.8)
lxl = JXI,
lxyl = lxllyl.
Proof Since both sides of the required inequality are nonnegative, it is sufficient
to prove that
lx + Yl 2 :-:::;: (lxl + lyl) 2
lx + yl 2 = (x + y) 2
=x2 +2xy+y2
:-: :;: lxl 2 + 2lxyl
+ lyl 2
= (lxl + lyl) I 2
Exercises
a+ bJ2,
VI The Limit of a Sequence (Introduction) 9
where a and b are rational numbers. Show that .fF has all the algebraic
properties 1-10. (Properties 3, 4, 5, 6, 8, and 10 are obvious; concentrate
on Properties I, 2, 7, 9.)
5. Show that the following inequality is valid for all real numbers a, b:
*8. Let .fF be the set of numbers given in Exercise 4. It is obvious that .fF is
larger than the set f2 of rational numbers, since .J2 E .fF but .J2 2.
Show in turn that the set ~is larger than .?F. (Show that .J3 is not in .?F.)
Iimxn =a,
n-+oo
or, alternatively,
Xn __.. a as n __.. oo;
this last line is read: "xn approaches (or converges to) a as n approaches infinity."
Example 1
and it is easy to guess that lim xn = I. This can be made even more transparent
by writing n-oo
Xn = n :
1
= 1 -- C~ 1
) --.. 1 - 0 = 1 as n --.. oo.
Example 2
It should be clear that this sequence has no limit. (Some students may con-
jecture that the sequence has two limits, +I and -I. But neither a = +I nor
a = -1 satisfies the requirement that "( -l)n becomes arbitrarily close to a as
n becomes large." We will prove in Section 1.6 that a given sequence can have
at most one limit)_
~ Example 3
7}\,
Let Xn = -\Yn. A few terms of this sequence can be calculated approximately:
1.0, 1.41, 1.44, 1.41, 1.38, 1.34, .. . .
At this stage it is far from obvious whether limn-co xn exists, and if so, what its
value is. We will return to this example also in Section 1.6.
The limits of a large class of sequences like that of Example I can be found
by using a simple device:
Example 4
2-i2
n 2-0
x = -----..-- = 2 (as n--.. oo),
n 1+,1 1+0
n
1.4 The Limit of a Sequence (Introduction) 11
Example 5
Let Xn = n2 /2n. It is not at first obvious, but we can show that limn-oo Xn = 0.
By the binomial theorem,
2n = (1 + 1)n
= 1 + n + n(n - 1) + n(n - 1)(n - 2) + ... + 1
2 6
t Example 6
Let xn = C: f. --') ;~ 1
Exercises
1. Decide which of the following sequences have limits, and find them by
inspection when appropriate.
{~sin ~ },
11
(e)
2. Calculate.
na 2n
(c) lim-, (d) lim-,
n-+oo 2n n-oo nn
. 2n
(e) I1m
+ n2 .
n-+oo 3n + n2
3. If Xn = 0.99 ... 9 (n decimal places), what is limn-oo Xn?
4. Concerning Problem 3, students sometimes ask the following question:
"Supposing xn---+ a as n---+ oo, what happens when n = oo ?" How does
one answer this? Is it reasonable to say that a is the "last term of the
sequence"?
6. Find
Example I
Jxn- 1J = n-n + 1- 1 I
I 1
=ln:11
2
n +1
Now 2/(n + 1) < 0.01 = 1/100 is valid if n + 1 > 200. Let N = 200. We have
shown that
Jxn- lJ < 0.01, provided n ;;:::: N.
Example 2
In 3
-
1
3n +1
I< 10- '3
provided n ;;:::: N.
14 Chapter One Sequences, Limits, and Real Numbers
n3 - 3n + 1> n 3
- 3n
= 6n.
Therefore,
In 3
-
1
3n + 1 I< ..!.
6n
if n ~ 3.
/0 ;/t? J
Since 1/6n ~ I0-3 is valid if n ~ 103 /6 : which in turn is valid if n ~ 200, say,
we can takeN= 200. M VI -::;/ / 01
C"l ]1 ')
Example 2 is worthy of careful study. Notice that we do not usually ask for
the smallest possible value of N when dealing with limits. Keeping this in mind
often allows much simplification in calculations. The following lemma is often
useful in this respect.
(i) n + b ~ 2n if n > b,
Example 3
lim
n-oo
(-f!---
n - 7
+ 5n + 1) = 5.
n+5
1.5 The Limit of a Sequence (Numerical Examples) 15
I 71 ~ n~2
1 "' - / -
if n2 2 14 or if n 2 4, Z-
n2 :_
2 1
=-<- provided n 2 401 = N 1 /
n 200
Next
5n + 1 _ 5 1 = _1!_
1 n+5 n+5
24 1
<- ~- provided n 2 4800 = N 2
n 200
_n
l ~+7
+~-5~~~-n
n+5 ~+7
1+1~-5~
n+5
1 1 1
< 200 + 200 = 100 .
Example 4
I~
n+3
- 21 < e whenever n 2 N .
1 ~-21--6
n+3 n+3
Hence , if we let N be any integer> 6/e, we are through. (Notice that the smaller
e is, the larger N must be. This is typical of limits of sequences.)
16 Chapter One Sequences, Limits, and Real Numbers
Exercises
I. For each of the following sequences {xn}, find the limit a by inspection.
Then determine some integer N such that
1
lxn - al < - - for every n > N .
1000 -
(b) Xn = -n+6
2
--,
n -6
104
(h) Xn = o1 6
n -10
2. Let e > 0 be an arbitrary (unspecified) tolerance. For each example (a)- (d)
of Exercise 1, determine an integer N, depending one, such that
3. Use the known fact that sin x < x for x > 0 to find an integer N such that
7r 1
I cos- - 1I< -- for all n 2 N.
n 1000
We come now to the heart of the subject matter of Chapter I. First we will
give the exact definition of the limit of a sequence. Then we will check, by means
of simple examples, that the definition agrees with our intuitive understanding
of limits. In the next section we will derive as theorems some important con-
sequences of this definition.
1.6 The Limit of a Sequence 17
lim Xn =a
n-+oo
means that:
for any given c 2: 0, there is a corresponding integer N (which may depend
on c) such that
;(// ////;'//;{/////;'/;'/;( ..
a-e a
Figure 1.2
means that whatever intervalt (a - e, a e) is taken (with e > 0), all the
terms of the sequence {x.. } except possibly the first N - 1 (depending on e)
lie within this interval.
Example 1
lim .! = 0.
n-+ 00 n
To show that this is the case, we consider a given e > 0. We must deter-
mine N (depending on e) so that
-(
I;- 0 I = ~< e for every n 2 N. - t_
Now 1/n < e, provided n > 1/e. Let N be any integer larger than 1/e. Then,
indeed,
-1 ::;: -1 < e if n 2 N.
n N
Example 2
1
lim - - = 0.
n-+oo Jii
To see this, we note that 1/Jfz < e, provided n 2 N > 1/e2
It is worth pausing to examine the form of the proof adopted in Exa:mples
1 and 2. In order to prove, in any specific case, that Iimn=tro x, = a, the follow-
ing steps must be taken:
(i) An arbitrary e > 0 is considered;
(ii) An integer N is determined, by some form of mathematically logical
reasoning, such that Condition (1.11) is satisfied.
The degree of difficulty in any particular example will depend on how compli-
cated the determination of N is. The next example is considerably more difficult
than the previous two.
Example 3
lim \Yn = 1.
n-+ oo
t By the interval (h, k) we mean the set of all numbers lying between hand k exr.bsively,
that is, the set of all x E fit satisfying h < x < k.
.. .,._ - ..
1.6 The Limit of a Sequence 19
_{ - ~ t
As befoJe-;-len~t~ 0 be given. Let us write Yn = \Y'n- I; then we must
show tha(t-"IYnl < e fo n::::..: N. ~ 5. _~
By th~i theorem (Appendix II), we have, since Yn:;:::.,: 0, r~ 1 1 ZI
7r <
~ \ \ j I
~VI~/ -::.)
n(n - 1) 2 n
vrh // /1(1 :
= 1 + nyn + _ 2 Yn + + Yn ~) ~h::. ~;, .; .J
n(n- 1)
I cun '1
(.y'))f,r. ~()tor ~-(l i{)
> 2
Yn (If n :;: :. : 2). ~ 2 'L
2 'f.-\
> l.f7) ~ 0
Therefore
-- /,{
_
0 ::::;: Yn <
~~
J_2_ . L
n -1
,
i0';\Wt.;
., )
). ~
""~
-;;-. !'l
But ../2/(n- 1) ~ ../4jn if n:;:::.,: 2:and this will be less than e if n > 4/e 2
Hence, if N is any int~ger greater than 4/e 2 (and N :;: :. : 2), we have, as desired,
We will now prove that the limit o(a sequence is unique, if it exists at all.
You may object that this is obvious because if Iimn~ao Xn = a and Iimn~ao Xn =
b, then a and bare equal to the same quantity, and consequently a= b. We
challenge you to find the flaw in this argument. It may not be obvious; see
Exercise 5. - ~vv-'":1~-e;.
"~""': (' vL
.. / 1
, , "' :) - ~ 0I -: 1
- CN.; J vlvr c-.:~ J2Jc \ r I..ern C( I
Theorem Jt a given sequence {x.,} converges, then its limit is unique. (In
other words, a sequence cannot have more than one limit.)
Proof Suppose {xn} converges to both a and b. Then, given any e > 0, there
must exist an integer N 1 such that
Ia - hi = Ia - Xn + Xn - hi
~ Ia - xnl + lxn - bl < 2e, if n 2 max (N1 , N 2 ).
Example 4
for all sufficiently large n. Taki!lg a (large) even value of n, we conclude that
II- al <e.
But this inequality must be valid for every e > 0, and therefore a = 1. On the
other hand, the same reasoning using an odd value of n leads to the conclusion
a = -I. This contradicts uniqueness oflimits, and shows that {( -l)n} diverges.
The proofs just given for the theorem on uniqueness and for Example 4,
although very simple, contain some subtle logical points. In both proofs, for
example, we used the logical principle that if a .statement Sn is true for every
value of n in some range (such as n 2 N), then it is true for any particular value
of n in this range.
We also used, in each proof, the mathematical principle that if lxl < e
for every positive e, then x = 0. This intuitively obvious fact can easily be
derived from the axioms for f!J; see Exercise 6.
Exercises
1
lim - - =0.
n-+co 2n - 9
1.7 Elementary Theory of Limits 21
2. Prove that
. 2n 5 +
(a) It m - - - - 2 (b) lim (;l)n = 0,
n-+oo n + 2 - ' n-+oo n + 3
(c) limj(1 -
n-+oo
_n!) = 1,
n2
(d) lim - = 0 (cf. Example 5 of Section 1.4),
n-+oo 2n
2
1 1 2n
(e) lim n / (f) lim -;; = 0,
n-+oo 2n - 5 2' n-+oo 3
(g) lim 2n 3n = 0. +
n-+oo 3n- 2n
4. Does a constant sequence (xn = b for all n) converge? Prove your answer.
n 7 / I ---'-"') I -x ., - 6 I -=-- o c.. [: v
5. Read the paragraph preceding the Theorem of this section, and criticize
the argument suggested there for proving uniqueness of limits.
6. Prove that if Jxl < e for every positive e, then x = 0. (Hint: if x =I= 0, let
e = tJxJ and derive a contradiction.) 1)( i < . 1 !?L 1 -:::.) 1 <. ~ :f
~ 1 '
You will probably agree that the definition of limit given in the previous
section is rather unwieldy. Consider, for example, the intuitively obvious formula
(1.13)
principles which can be used in dealing with limits. The most important such
principle is the following theorem, which can be summarized by saying that all
algebraic operations are preserved by the limit operation.
Before proving this theorem, let us show (in awesome detail) how it is
used in practice on the exampfe (1.13) given above:
6
2+6 1+-;
lim n =lim _ _n_ (by algebra)
2
n-+oo 2n + 1 n-+oo 1
2+-
n2
6
lim (1 + 2)
= n-+oo n (by (iii))
lim ( 2 +
n-+ 00
..!..)
n2
(the limit in the denominator is not zero, as we shall see below). But now
6 6
lim (1 + ) =lim 1 +lim (by (i))
n-+oo n2 n-+oo n-+oo n2
= i + 6(lim
n-+oo
!)n 2
(by (ii) and
Exercise 4, Section 1.6)
Define M = max (la1 l, la 2 1, ... , laN- 1 1, I + lal).t Then we have lxnl :::;; M
for every n. I ('L ti 1-x c.\ -:~ N -1 1
We now pass to the proof of part (ii) of Theorem I, and ask you to try to
prove parts (i) (which is a little easier) and (iii) (a little harder) yourself. Before
writing out the formal "e-N" proof, we try to see why (ii) must hold. From the
hypothesis (l.I4) we know that xn -+ a andy n -+ b, or, in other words,
I. lxn - al is small if n is large, and
2. IYn - bl is small if n is large.
We have to prove that XnYn-+ ab; in other words,
Proof of Theorem 1 (ii) First, by the Lemma {y11 } is bounded; in other words,
there is a positive number M such that
Now let e > 0 be given. By the definition of limit, there is an integer N 1 such
that t
e
lxn- al < - for all n 2 N 1 (1.16)
2M
Also, if a i= 0, there is an integer N 2 such that
e
IYn- bl < - for all n 2 N 2 (1.17)
2lal
Let N =max (N1 , N 2) if a i= 0, and let N = N 1 if a= 0. Then by (1.15) we
have, for all n 2 N,
e" e
<-M+Iai-
2M 21al
=e
(the term lal e/2 lal is omitted in case a = 0). This completes the proof of
Theorem l (ii). I
Constructing "e-N" proofs like this is rather difficult at first, but such
proofs occur frequently in mathematical analysis.
Another important fact is that order ( s) is preserved by the limit operation.
Theorem 2 Let {x11 } and {y11} be convergent sequenfes, and suppose X 11 < Yn
(or every n. Then
lim X 11 slim Yn-
n-toco n-+oo
t It is important to understand the logic at this point. The symbol "e," which has already
been specified in this proof, does not now represent the same quantity as the "e" used in
(1.11) of the definition. Rather the "e" of Equation (1.11) is now replaced by the quantity
ef2M (which is a positive number). The same remark applies also to (1.17). Note also, however,
that the integer N referred to by (1.11) depends one in general, and hence is not necessarily the
same in (1.16) and (1.17). We have taken care of this possibility by using the notation N, and
N 2 respectively.
1.7 Elementary Theory of Limits 25
where a and bare the limits of {xn} and {yn}, respectively. This implies that
0 /)\-~ <( :X t~ t 1 rt~ < b" (
( a- Xn < e and - Yn- b < e for n ~ N
It should be noted that strict inequality (xn & n) is not necessarily pre-
served by the limit operation: see Exercise 10.
Next we calculate two especially important limits.
Theorem l
(
lim_!_= 0. / \
)
) <;
n-+oo nf) /
(ii) If Ia! < 1, then
----+--- -f) __
lima"= 0. (1.18)
n-+co
-\ 0\ 0 l
Proof The proof of (i) is easy, and is left to the reader. To prove (ii) we note
1- an+l
1 + a + a + + an =
2
1-a
(a =F 1) (1.19)
1
lim(1 +a+ a 2 + +an)= - - (iflal < 1). (1.20)
n-+oo 1- a
Formula (1.20) is usually expressed in the notation of infinite series (see Section
1.12) as:
00 1
_Lan = -- iflal < 1.
n=O 1-a
Exercises
1. This exercise is designed to provide you with some practice in the use of the
logical phrases "for every (all, each)" and "for some" (or "there exists").
A more detailed treatment of these logical quantifiers, as they are called,
is to be found in Appendix I.
Sequences
(1) Xn = n -18- n!; a= -8.
(2) Xn = 1 + (-l)n ; a = 1.
n
(3) Xn = (-l)n + ! ; a = 1.
n
(4) Xn = 3; a = 3.
(5) Xn = (1 + ~r; a = 2.
(6)xn=n-18-n!; a=8.
(7) Xn = 2nfn 2 ; a = 1.
2. Prove that if limn-+oo Xn =a, then limn-+oo lxnl = Ia!. (Hint: llxnl - !all
~ lxn -a! by the triangle inequality.)
3. Suppose limn-+oo xn =a and xn > 0 for all n, and a> 0. Prove that
limn---oo ~ = J a.
4. Prove that limn-+oo cxn = c limn-+oo Xn, (Prove this directly, but note that
it is a special case of Theorem 1(ii).)
5. Prove Theorem l(i). (Hint: lxn + Yn- (a+ b)!~ lxn- a! + IYn - b!.)
6.Prove the following Lemma: If limn---ooYn = b =I= 0, then IYnl :?:: ! lbl
for large n (i.e. for all n :?:: N 0 for some integer N 0 ).
7. Suppose that limn-+ooYn = b =I= 0, and no Yn = 0. Use the lemma of
Exercise 6 to show that limn-+oo 1/yn = 1/b.
. 11Yn - b11 =
(Hmt: IYn - bl )
IYnllbl .
to calculate some otherwise unknown number. The question then arises whether
the sequence obtained does converge, and if so, whether it converges to the
desired number. (Also often of practical interest is the question : How fast does
the sequence approach the desired number?)
Example 1
(1.21)
We can show now that if this sequence converges, then it must converge to .J2.
To see this, suppose
lim Xn =a.
n->oo
. . x;.
+2 2 +2
a =hmxn+I =hm - - = - - -
a
n->oo n->oo 2xn 2a
Solving for a, we find a = ../2. Since xn ~ ../2 for all n (see (1.7)), it must be
the case that a= ../2, as asserted.
To complete the discussion of the sequence (1.21) we only have to see why
it must converge. First we recall from Section 1.2 the following facts:
11111111111 I I
X,
Figure .1.3
1.8 The Completeness Property 29
A basic property of the real-number system &I, which completes our list
given in Section 1.3, is:
11. Completeness Property of &/. Every non increasing sequence of real numbers
that is bounded below converges to some real number. Likewise, {!Very non-
decreasing sequence of real numbers that is bounded above conuerges to mme
real number Ill n
'VV
i' "'""' ,, ''
J,.l fVV
.
Example 2
1 1
k! 2. 3 . . . . . k /
{ r' "'' [ t -:. r
1 1 - z_- /..} ; 2-
.
:::;: 2 2 2 =k1
_2- r " r'
,- f- ;C+ '
. {J 1,- O~) 1- { ;_) _ 1- (; .S - -
we have \ -t- 1.__;-< --r-I
__
4 ,._.
_
...-- -;::-:::--
1
., !-;f__
z <
1 - 1 1 r
1 +- +- + ... +- = 2 - - < 2
..
n - 2 22 2n-l 2n- l ' 2 .., 4
1-t-'1'+ 2--.."'-+t"~ :r~:l-'"'
-2.;::: 2 -f::. -;,-I
that is, th,e sequence {zn} is bounded above by 2. Therefore limn_,.oo zn = a
2
X
exists, as a consequence of the completeness property. In the next section we will
show that a= e - I ~ 1.718.
Another important example of an increasing, bounded sequence is
so that
Iimxn+I = 1 +a.
n-+oo
If this property seems trivial to you, try to prove it using only Properties 1
through 10 of Bl.
Next we present a brief discussion of decimals. By definition a decimal
expansion is an expression of the form
9 9 9
zn ::;;m+-+-+
10 102
.. +-<m+1
10n '
Conversely it can be shown that eyecy positive real number bas a decimal
expansion. For example, given z, we define m to be the greatest integer :s;;;z.
Then a 1 is defined to be the greatest integer :s;;; 10 (z - m), and so on. Except for
the possibility of repeating 9's [0.3I999 = 0.32000 ], the decimal ex-
pansion is unique.
It is an interesting observation that the decimal expansion of any rational
number must eyentualJy repeat.t whereas the decimal expansion of any irra-
tional number is nonrepeating It may amuse you to try proving these assertions.
It would be difficult to overstress the importance of the completeness
property in the study of analysis. This property will be used again and again in
this book; in Chapter 3 we study the property itself with some care. I hope that
you feel that.the completeness property is intuitively reasonable. Actually if one
begins with a clear definition of real number, it is possible to prove the complete-
ness property. t However, since we have chosen to take fJ1l and its properties
as a starting point, we accept the completeness property as an axiom.
Exercises
x~+ b
Xn+l = - - (n :2: 1),
2x ..
(a) Prove by induction that {a..} is nondecreasing and that a.. < 2 for ali n.
(b) Show that limn-.> a .. exists, and find it.
2
W n+l = 2 if n :2: 1.
w..
t A decimal expansion is called repeating if the digits, from some point on, occur in a
repeating group. For example, 2.7142142142 is a repeating decimal, which therefore is the
decimal expansion of some rational number.
t cf. W. Rudin, Principles of Mathematical Analysis, 2d ed., McGraw-Hill (1964).
32 Chapter One Sequences, Limits, and Real Numbers
Show first that iflimn~"' wn = w exists, then w3 = 2. But then show that the
sequence {wn} does not approach any limit. (This shows that one shouldn't
jump to conclusions!)
1
1+2
2
+ 231 + + 2n1 L
::;: 2 - - (n = 1, 2, 3, ...).
n
*6. Expanding on the ideas of Exercises 4 and 5, show how to calculate the limit
4(b) to within a given error.
1 3 5 (2n - 1)
7. Let xn = . Show that
2 4 6 2n
8. Show that the Archimedean order property implies Condition (A) and
conversely,
9. Detect the use of (A) in proving that limH"' 1/n = 0 (see Example 1,
Section 1.6).
10. Show that if a = pfq is a rational number, then there exists an integer
N >a; show this without using the completeness or Archimedean order
properties of &1.
1- x.,
Xn+l = - - -
2
1.9 The Base of Natural Logarithms 33
Calculate the first few terms; then discuss convergence of the sequence.
(Hint: Consider the "alternate" subsequences {x2,._1 } and {x2,.}.)
We are going to prove that {x,.} is a bounded, increasing sequence, which con-
sequently must converge, according to the completeness property. Hence we
can make the following statement.
Definition lim
n_.co
(1 + ~)"
n
=e. The number e is called the base of natural
logarithms.
d ~)( 1
-log x = - '
dX X
1 1 1)
<1+ (1+-+-++-
- 2 22 2"-1
(here we used the simple inequality 1/k! ~ 1/2Tc-l). Thus x,. < 3 for every n;
that is, {x,.} is a bounded sequence. N&)we show that {x,.} is an increasing
34 Chapter One Sequences, Limits, and Real Numbers
Xn = (1 + ;r
= 1 + 1 + n(n - 1) . ..!. + n(n - l)(n - 2) . ..!. + ... + n! . .!._
2 n2 3! n3 n! nn
In the analogous formula for Xn+l every term on the right-hand side increases \ -~1 r 1--t_
in value and an additional term appears on the right. Therefore, xn+l > Xn-
We have now shown that the sequen'Z {xn} is both bounded and increasing;
consequently e = limn__..oo xn exists. V"'
@
(!;)we now derive another formula fore, which will be useful for calculating
e numerically. Consider the sequence {yn} defined by
1 1 1
y =1+-+-+ .. +-.
n 1! 2! n!
f=limyn ~
n->oo
exists. We now want to prove that
Xn > 2 + ..!. (1 -
2!
!)n + ..!.3! (1 - !)n (1 - ~)
n
+ "
e!2::J
L', 2 1 1
+-+-+ + -1= y .
U 2! 3! m! m
(1.26)
(1.27)
(In Section 1.12 we will write formulas like (1.27) in terms of "infinite series,"
iti this case e =I;;> 1/n!)
{r?J Formula (1.27) leads to an efficient scheme for numerical calculation of e
~,_"'ito any desired degree of accuracy. /(X)
Let us show first that for n :;:::: 1,
(::7
' 1
Yn < e :S:: Yn + - - (1.28)
n n!
If n is a given integer, let m'> n. Then
1 1
Ym = 'Y n \+
1
(n + 1) .1 + ' + -m.I
/
< Yn
1 [ 1 1
+ (n + 1)! 1 + n + 1 + (n + 1) + ... + (n + l)m -f.~:-1.:
2
1 J L__
,,r f';lr
, of\~p-
"') f
lv.r
1 1 1 _.,_,;:
1
n+1
wbere we have again used Formula (1.19) for the sum of a geometric progres-
sion. Since Ym < Yn +
1/(n n!) for every m, we see that
. 1
e= ltmym :S::Yn+--,
(""... "' n n!
which proves (1.28).
36 Chapter One Sequences, Limits, and Real Numbers
~ \ \
( J Jv On the basis of formula (1.28) we can devise an "automatic" scheme for
computing e to any prescribed accuracy. Define two sequences {y,.} and {",.}
recursively as follows:
)
/
" = b,_l .
" n + 1
It is easy to check that b,. = I/(n + 1)!, and therefore
y,. = 1
1
+ 1 +- + ... +-'1\
2! n! <
') Y" \
Table I shows a sample calculation of e, with an error :::;:; I0- 5 , using the above
_formulas to calculate y,., b,., and e,. in order. The result at stage 8 is: y 8 < e <
y 8 + e7 ; that is,
2.718 278 7 < e< 2.718 282 7.
Exercises
1. Calculate e to within 10- 6 (Use Table I. What about using Table I for an
error ~ 10-7 ?)
2. (a) Show by induction that
2" 1
- <- ifn ~4.
n! 2"- 4
3. Prove that
lim
n-+oo
(1 + ~)"=lim
n
(1 +
n-+oo
2+
22
2!
+ +
2
n!
").
t This does not take into account the possibility of accumulated roundotr errors, which
however cannot exceed 8 x t0- 7 Therefore, we are certain that the computed value of e is
correct to within 10-.
38 Chapter One Sequences, Limits, and Real Numbers
The sequences {n2 } and {211 } are obvious examples of sequences diverging
to + oo.
lim x .. =
n-+oo
+ oo if and only if lim _.!_ = 0.
Proof Suppose X 11-+ + oo. Then for any e > 0 we can determine an integer
N such that x .. > I/e when n ~ N. Therefore, Ifx .. < e for n ~ N, which im-
plies (since Ifx.. > 0) that I/x.. -+ 0. The converse is similar. I
an
lim-= +oo. (1.29)
n-+oo n"
Proof Since a > I, we have a = I + q for some q > 0. Let k be any integer
such that k > p. Consider values of n ~ 2k. Then we will surely have
n
n>n-1>>n-k+l>n-k~-.
2
n
a =
(l + q)n > n(n - 1) (n - k
k!
+ 1) q,.
Therefore,
1.10 Growth Properties of Certain Sequences 39
where the expression "const" represents some real number (here, qkf2k k!)
which does not depend on the variable n. Since k - p > 0, it follows that
anfnP-+ + oo as n-+ oo. I
Another useful limit is expressed in the following theorem.
an
lim-= 0. (1.30)
n-+co n!
J
Proof Choose any integer M 2 JaJ. Now if n 22M, we can write
~ lj v-IJ"'
''J.~- L (~
I I : ; Mnn!
an
f.
tl\ J
n!
--,,
MMfl-i)
L
// MMM~
?.1L. I
--------~-- .
MMM
------- ~
=...___,_1 2 ;_ M
1)n-2M
7
....___ ___________ --
(M + 1)(M + 2) 02M)) (2M+ 1)(2M + 2) n J
---~----- '
<MM1M (2
Exercises
(c) xn = GT
nn
2. Show that lim - = + oo.
n-+co n!
3. Assume a> 0. Determine limn..... co {(a+ I)n -an}; give reasons for your
conclusion. (Hint: Consider the cases a< 1 and a 2 1 separately.)
40 Chapter One Sequences, Limits, and Real Numbers
5. Suppose that lim,._"" x,. = + oo and lim,._ coy,. = a > 0. Prov_e that
. m-
It x,.- - =1.
1 +X,.
n-+oo
Also prove the converse under the additional assumption that x,. > 0 for
all n.
lim (nk
n-+oo
+ a1nk-l + a 2nk-2 + + ak) = + oo.
have been able to develop virtually complete mastery over the concept of the
infinite.
Cantor's brilliant contribution to mathematics begins with the following
definition, which tells us under what conditions two sets (finite or infinite) have
the "same number" of elements. Since "number" already had a fairly definite
meaning in mathematics, Cantor introduced the term "equivalent" sets.
Obviously two finite sets A and Bare equivalent if and only if they have the
same number of elements, in the usual sense. Cantor's definition is most in-
teresting, however, when applied to infinite <;ets.
For example, if .;V = {I, 2, 3, ... } is the set of positive integers, let
% 2 = {2, 4, 6, ... } be the set of all even positive integers. These sets are
equivalent, since the corespondence n~ 2n is a one-to-one corn;spondence
between the elements of JV and JV 2
Note that % 2 is a proper subset of .IV. Thus an infinite set may be equivalent
to a proper subset of itself; in fact, this property is characteristic of infinite sets
(see Exercise 4).
Any set which is equivalent to the set JV of positive integers is said to be
countable, or countably infinite (or, sometimes, enumerable). Thus the set % 2
of even integers is countable; it is easy to show (Exercise I) that the set f!l' of all
integers, positive and negative, is also countable. The question immediately
arises whether all infinite sets are countable, and in particular, what about the
sets !2 and &I?
Theorem I (Cantor) The set !2 of all rational numbers is countable, but the
set &I of all real numbers i$ uncountable.
where the kth group contains all positive and negative rational numbers in
lowest terms, whose numerator and denominator add up to k. Clearly every
rational number pfq occurs exactly once in this sequence.
(b) fJI is uncountable: Suppose to the contrary that fJI is countable, and
let {xn} be a sequence containing all real numbers. Let us write out the decimal t
expansions of each X : ';, v I nUn vw I
n I Nl} JA) r) '. ' /1; "'' otJ.-P--
Xt = nt. auat2ats. . 1"" 1 , {/'
9' ~
(1.31)
and so forth . Here the numbers a;; are digits (0 to 9). According to our assump-
tion, every real number appears on this list somewhere.
Now for each i = I, 2, 3, ... , let bi be any digit except aii, 0, or 9. Con- ..;;-{ .
sider the real number r.f!' ll!v'(J)
Since the decimal expansion of xis different from every decimal in the se~~ence ~ I (1
(1.31) (and since x did not arise tl)rough the ambiguity of repeating 9's), we
reach the contradiction that xis not on the list (1.31). This completes the proof.
This method of proving (b) is sometimes called "Cantor's diagonalization
process." I
Theorem 2 Let a < b be two arbitrary real numbers. Then the set of all
rational numbers lying between a and b is (infinite and) countable, whereas the set
of all irrational numbers lying between a and b is (infinite and) uncountable.
Definition 2 Any set S with the property that every open interval (a, b),
a < b, contains at least one point of S, is said to be a dense subset of fJI (see
Figure 1.4).
/ An element of S
a b
Figure 1.4
Theorem 3 If S is a dense subset of &1, then every real number r is the limit
of some sequence {x,.} of members of S.
Proof For each positive integer n, consider the open interval (r- 1/n, r + 1/n).
By hypothesis, there is a member x,. of Sin this interval. Thus lx,. - rl < 1/n,
and therefore, Iim,...... co x,. = r. I
Exercises
I. Show that the set fl' = {0, 1, 2, ...} of all integers is countable.
2. Let W denote the set of all ordered pairs (n, m) of positive integers. Show
that W is countable.
3. LetS and T be countable sets. Show that the unionS u T (consisting of all
members of S together with all members of T) is also countable.
*4. Let A be an infinite set, and let Bbe obtained by deleting one element of A.
Show that A and B are equivalent.
5. Show that any interval (a, b), a < b, is equivalent to the interval ( ....:.1, +1).
Hence, all nonempty, open intervals are equivalent.
-I
Figure 1.5_
7. Prove Theorem 2.
Sn = zn
k~ 1
ak = a1 + a + + an.
2 (1.32)
If it happens that the new sequence {sn} converges to the limit S (limn--+oo sn =
S), we write
00
zan=
n~1
s, (1.33)
and we call S the sum of the infinite series z~- 1 an. The sum sn of (1.32) ~
called the nth partial sum of the series~:::' , an. ,
In other words, by definition
oo n
zan =lim zak, (1.34)
n=l n-+ oo k=l
provided this limit exists. If the limit does exist, we say that the infinite series
L~~t an converges (to S). If limn_,oo Sn does not exist, we say that !~~ 1 an
diverges. In the special case that limn--+oo sn = +
oo we say that !~~ 1 an ar-
verges to + oo.
Example I
oo I
2- =
n=12n
I. To verify this we calculate the partial sums:
hH
Sn
n 1
= k~l 2k =
1
l
1
+ 22 + + 2n
1 t (~) -=-
1
\ - :2--
1
=1--
2n'
Example 2
s1 = -I,
s2 =-I+ 1 = 0,
s 3 = -1 + 1- 1 = -1,
Example 3 \ Y\
't n
~ \
oo n 1(\11 \
2 - - diverges to + oo. -; 1 If\>;
n=l n + 1 ~Y\
To check this we notice first that _n_, ::;::: l (by algebra) for all n; there-
n +I
fore,
1 2 n 1
sn =-+-++-->n-
2 3 n+1 2'
so Sn - + oo as n - oo.
46 Chapter One Sequences, Limits, and Real Numbers
Proof Suppose first that !f an converges. Then limn-c.o sn = s exists. Note that
It follows that
lim an+l = lim Sn+l - lim Sn = S - S = 0.
n-+c.o n-+co
Example 4
We can establish this by using some simp!e calculus. Consider the curve
1
Y =f(x) = - (x > 0).
X
Area Y<l
X
2 3 4 5
Figure 1.6
1.12 Infinite Series 47
Smce f(x) = Ifx is decreasing, it is fairly obvious from Figure 1.6 that we have
1 1 1 rn+l 1
sn = 1 + - + - + + - > J,1 - dx = log (n + 1).
2 3 n x
The simple method above is a special case of the "integral test" usually
discussed in calcul~s texts. The same method .can also be used to prove that
certain series converge.
Example 5
00 1
!
n~1
2 converges.
n
2 3 4 5
Figure 1.7
w~ see that
Sn =! n
-1 J,n dx
< 1 + 1 -2 = 2 -
1
- < 2.t (1.36)
k~1 k 2
x n
00 1
! -; <
n=l n
oo if and only if p > 1. (1.37)
We next present two simple but important theorems regarding the con-
vergence of series. When combined, for example, with Theorem 2, these
theorems permit one to test many given series for convergence-see Example 6
below.
Proof By definition !r' a.. converges if and only if the sequence {s..} con-
verges. But a,. ;;::: 0 implies s,. ;;::: s,._1 , or, in other words, {s,.} is nondecreasing.
By the completeness property, such a sequence converges if and only if it is
bounded. I
Proof The hypotheses clearly imply that the partial sums s .. = ~= 1 ak are
bounded and nondecreasing. Ht:nce !r' a .. converges. I
00 1 7T2
t It can be shown by methods of advanced calculus that ~
2n =- ::::::: 1.64.
1 6
1.12 Infinite Series 49
Theproofia
Example 6
!"" - 6n converges.
4
--
n=l n + 3 ---
bY. -
VI
L/
To see this, note that 6n/(n 4 + 3) < 6fn 3 Since the hyperharmonic series
!f l/n 3 converges, the given series mu~t also converge.
Another simple series which is often used for comparison is the following:
I
The series diverges if Ia! > I.
1 - an+l 1
sn = 1+a + a + + an =
2
-+ - - if Ia I < 1,
1-a 1-a
and this is the same as (1.38) above. Suppose on the other hand that lal ~ I.
Then limn-roan i=- 0, so that the series !~an must diverge. I
,.' 'Wrf"'"
Corollary Let I an and L bn be series of positive terms.~ Assume that
limn-+"' anfbn ;;; L eXi$tS. Then
Proof Part (a) is obvious from Theorem 6. For (b), note that if L > 0, then
On> fL > 0
bn
for large n. Hence, I an must diverge if Ibn does. I
(\ P"' (~~~~~ { ,J ~
Example 7
The series
diverges, because the nth term behaves approximately like 1/3n (why?), and the
series I 1/3n is known to diverge. This can be proved rigorously by using the
corollary to Theorem 6.
1.12 Infinite Series 51
~!
js called alternating provided that an> a;;:;;>.__O for all n,
n- oo. An example is the alternating-harmonic se\ ies
00 ( 1)"+1
I-n
1
=1-!+!-l+
Proof Let s,. denote as usual the nth partial sum, ~~I, ( \ {) \ n , \
(i\ A/ 0 ' "'; -- VI} I
~
I-
--
From (1.40) it can be shownecfumte easilv,that ]
-f
~~i'l
e.~><
I'+'
S
!Jf#t) 1'1
~") J~"' /).,_..;:- )., - 'OihH
: l>ut A.= _(!~~~)
IL>,.. ,-.6,.1- G\ ,-, l.v...s+L 11 .f~
~-~~ ir-t-\:('r'JA 'f
52 Chopter One Sequences, Limits, and Real Numbers
in other words, the nth partial sum of an alternating series differs in absolute
value from the full sum, by at most an+ 1 ~~
s;:.
, ....
2~(--1 )"""'o.K I PI'\';;. L',.., [- ~ {""~ 1<. _::-; /J,_ = 1\-tt ( - \ ) D\~ s- z:-
~ 'f\ ~ PPh) -:) 'M:' ~ ~ S -4,., =- - 01"'~ + 'i;o.-tt-- Cl n -t-'l-+ '
I
t
r c..J
,,,.-J~
I c:. t
-a'~~"'
A- 01 -
~tl. 111 !'l-t'l-+
I Ifxercise'l
~ j-lil -1-0f \+ 1-V! +" It < "'
AJ....., ~t \ '1\t-'L '1\t'l ~ ~'f " 1/!i')-\1
~ fl\(~'f
1. , Decide whether or not each of the following series converges. Use the
corollary to Theorem 6 when convenient.
2. Suppose that 2;:' a.. and!;:" bn both converge, and prove that
00 00 00
! 1
(ota,. + {3b,.) = oc 21 a .. + {3!1 b...
(You must use the definition of convergence, plus a certain theorem about
sequences.)
00 't
3. Show that 2 -n 1og- n diverges to + oo. Follow the method of Example 4;
n=2
2
" 1 1 1 1 n
I-=1+-+-++->-.
k=l k 2 3 2n 2
1
1 - -2
2
+ -31 - -41 -f- -51 -
2
....
2.1 Introduction
Example 1
lx2 - 91 < 1
10 00 provided lx- 31 < <5.
Solution We write
54
2.1 Introduction 55
lx-3 1<1"
-3 0 3
Figure 2.1
Therefore, we have
<_1_ 1
if IX - 31 < - - .
1000 7000
(a) lx - bl < ib - al +h
and (2.1)
(b) lx- bl ~ ib -al-h.
The proof is immediate from the triangle inequality and is left to the reader
(see Exercise 1). Both inequalities of (2.1) are also quite obvious from an
examination of Figure 2.2.
,
xis here
l b-a l -h
a-h a b
~------~-------_J
l b-a l +h
Figure 2.2
56 Chapter Two Limits, Continuity, and Differentiability
Example 2
x+ 2_ (-.!)I = ~ lx + 11.
By (2.I)(b) we have
Ix- 3 4 41x- 31
l xx+2+.!1=~1x+11
- 3 4lx- 4 31
1
<Six+ l iflx+11:::;:;1,
- 12 '
1 12 3
< lOOO, if lx + 11 < SOOO = 2A X 10-
Example 3
Let
1/x
f(x) = 1
+ 1/x (x =F 0).
2.1 Introduction 57
1 -
lf(x)- a/ < 4 if /xi< b (x # 0).
1/x 1
f(x) = 1 + (1/x) - x-+-1 (x # O),
lf(x)-11 = 1-+--11
x
1
1
=_lx_l_ (x#O)
/x + 11
lxl 1
<- if/xl<-,
1/2' 2
Example 4
Let f (x) = xf lx l, and let L be a given real number. Show that no positive num-
ber b exists such that
Solution Suppose that the inequality 1/(x) - Ll < 0.5 does hold for
0 < lxl < <5. Then, by the triangle inequality,
k - k(- ~) - I
~ (~) Ll + L
+It-------
------------,_------------~X
-------t-1
X
Figure 2.3 f(x) = lxl .
Therefore,
Exercises
(a) lim (x + 1) 3
= 1, (b) lim _1_ = 16'
a:-+0 o:-+1/4 x
2
2 +
33
2.2 The Limit of a Function 59
(c) lim
.,_.5
(! - 2x) = -
X
49
5
, (d) lim x
z->2
2
X+ 2
+ 4 = 2,
(e) lim
1
=~
.,_._1 .j + 1
x2 ../2
113
(f) lim x = 2 (Hint: By algebra we have
.,_.s
x - 8 = (x 113 - 2)(x 213 + 2x 113 + 4).),
x2 - 1 1 -x-1
(g) lim-- = 2, (h) lim = -1.
.,_.1 X - 1 .,_.o 1 x-1+
3. Find the foUowing limits (if they exist) by inspection:
x 2 -1 1-x
(a) lim - 3- - (Factor!), (b) lim ,
.,_.1 X - 1 1
.,_.11-vx
xa 1
(c) lim-, (d) lim e-11"'
., .... o lxl ...... o
lf(x)- Ll < 6 (or all x satisfying lx- al < <5, x =I= a. (2.2)
Notice in the definition that we do not assume thatf(a) is defined (but it
may be!); therefore, in (2.2) the point x =a is excluded from consideration.
This is an important observation, particularly when it comes time to define
derivatives in terms of limits. Also we do not suppose that 6 (or <5) is "small."
To do so would complicate the definition unnecessarily, and anyway we would
then have to define "small." LogicaUy speaking, if Condition (2.2) holds for aU
"smaU" 6 > 0, it automaticaUy holds for all 6 > 0, and conversely. Of course
60 Chapter Two Limits, Continuity, and Differentiability
Example 1
Example 2
xz
Find lim - I , and prove it.
:c-o 1x
t You may have noticed that in many of our examples we have lim- f(x) equal to [(a).
As we shall see in Section 2.4, this situation is characteristic of continuous functions f(x).
2.2 The Limit of a Function 61
Example 3
X
-I \14 3/s
t We use the convention, in sketching graphs, that a small circle on the graph indicates
that the point encircled is not on the graph of f(x).
62 Clulpter Two Limits, Continuity, and DifferentlabUity
Solution (a) lima:--.818 g(x) = 0. To prove this, let e > 0 be given. Choose
15=1-!=-h
(in this case 15 does not depend one!). Then the interval ((3/8) - 15, (3/8) + 15)
contains none of the numbers 1, 1/2, 1/3, ... , so that
Proof Suppose 4 and L 2 are both limits of f(x) as x-. a. Then, given any
e > 0, there must exist a number <5 > 0 such that both
Then
We leave the proofs of (i) and (ii) as exercises. To prove (iii) we first estab-
lish the following lemma.
Lemma Suppose that lim.,.....a g(x) = M "# 0. Then there is some number
do > 0 such that
lg(x)l > ! IMI for 0 < lx - al < d0
lg(x)l = IM - (M - g(x))l
::=:: IMI - IM- g(x)l
1 1 I= lg(x) - Ml
Ig(x)- M IMIIg(x)l
21g(x)- Ml
< M2 if 0 < Ix - aI < <5 0 ,
where <5 0 > 0 is determined by the lemma. If e > 0, let <5 1 > 0 be chosen so that
eM 2
lg(x)- Ml < - for 0 < lx- al <<51
2 . .
1
- - - _!_ I < e for 0 < Ix - aI < o.
1 g(x) M
1 1
limf(x) = limf(x) - - = limf(x) lim - - =.f._ . I
x-+a g(x) x-+a g(x) x-+a x-+a g(x) M
ThenL < M.
The proof, similar to the case of sequential limits, is left as an exercise.
Note that ifj(x) < g(x) for every x in some neighborhood of x =a, we cannot
necessarily conclude that L < M.
Exercises
t The notation f(x) == 1 (''[(x) is identically equal to 1") means that f(x) = 1 for all x.
2.2 Tlie Limit of a Function 65
--~--------~~-------------+X
a "'A 8-neighborhood of a
2. Prove the following "obvious" limit formulas by the e-15 method (cf.
Exercise 1 of Section 2.1).
2
(a) lim (x + 1)3 = 1, (b) lim x +4= 2,
x-+0 x-+2 X+ 2
= ~- .
2
1
(c) lim
x-+-I../x 2 +1 y
1
4. Show by the e-15 method that lim --- = 0. (The inequalities needed may
, _o 1og lx 1
be confusing. Remember that log lxl < 0 if 0 < lxl < 1.)
5. Give an e-15 proof of the fact that lim ~ does not exist.
x~ox
Sometimes one wishes to find the limit of a given function f(x) as x ap-
proaches a from one side. For example,letf(x) = e-1 '"' Then, as we show below,
f(x)-+ 0 as x-+ 0 with x > 0, whereas lim.,....0 f(x) does not exist. See Figure
2.7.
y
_L_
Figure 2.7 f(x) = e-lla:;
Iimf(x) =L
11:--+a+
Example 1
lim..,_. 0 + e-1 f:e = 0. To prove this, let e > 0 be given. If e < 1, then the
required inequality
Definition Let f(x) be a function defined for all x > x 0 for some x 0 We
write
limf(x) = L
:e-++ao
Example 2
Example 3
=lim eu = +oo.
u-++c:o
lim f(x)
:x:-+0+
or lim f
t-++oo t
(!)
exists, or if either limit is + oo or - oo, then both limits have the same value.
To write out a complete proof of the next theorem would be most tedious.
By now you should be confident that you could prove any part of this theorem if
necessary.
and assume lim ((x) and lim g(x) exist and are finite. Then, under the usual
hypotheses, all algebraic and order properties are preserved by taking this limit.
Exercises
I. Find the following limits by inspection. Omit proofs. (Some limits may be
infinite.)
3. Write down the formal definition for each of the following limits. L and a
always denote finite numbers.
6. Give the complete proof of the statement: Iff (x) ::;; g(x) for all x, then
assuming these limits exist and are finite. Do the limits have to be finite?
lim
z-++oo i "'
0 X
1
- dt = iQ() 0 dt = 0.
0
2.4 Conti1111ity 71
2.4 Continuity
From early times man has pondered the question of the continuous.
Mathematicians still refer to the real-number system as the "continuum";
physicists talk about the "space-time continuum." The question of the con-
tinuous versus the discrete nature of matter was hotly argued by scientists and
philosophers for centuries. These arguments carried over into pure mathe-
matics, and led to such confusing notions as "infinitesimal," "instantaneous,"
and so on. One of the principal causes of confusion was the failure to separate the
mathematical abstractions from physical reality. A completely satisfactory
definition and theory of continuity was finally developed by nineteenth-century
mathematicians, particularly K. Weierstrass (1815-1897) and J. Dedekind
(1831-1916).
The first step in reaching the definition seems to have been the realization
that continuity should refer always to functions 1 rather than to vaguely defined
objects such as curves or surfaces. (In fact, nowadays, curves and surfaces are
themselves defined in terms of continuous functions.) Most people have an
intuitive idea of what a continuous graph is-a graph is continuous if it is
"unbroken." As in Figure 2.8, this property seems to refer to the whole graph.
y y
~I
I
I
Figure 2.8
t It is interesting to note that the Russian word for continuous is nye'prerivni, which
means, literally, un'broken.
72 Chapter Two Limits, Continuity, and Differentiability
limf(x) = f(a).
x->a
The function f(x) is said to be continuous an a given interval (oc, {1) if it is con-
tinuous at each paint of this interval
lim x =a.
Example I
Let f(x) = lxl (Figure 2.9). Since lim.,~a lxl = lal for any number a (even
including a= 0), it follows that f(x) is continuous everywhere.t
t However, note that f(x) = Ixi is not smooth at x = 0; that is, it does not have a deriva-
tive at x = 0.
2.4 Continuity 73
Example 2
f(x) = ( + ~1)-1
x- 1 1 (x op 0, - 1),
exists, but L =I= f(a). In this case the definition off(x) can be modified to obtain
a function continuous at x = a, by (re)definingf(a) = L.
Example 3
. sin x
Itm-- = 1.
a:-+0 X
1:1gure
E" 211 f(x) -- sin x .
X
Example 4
X
Figure 2.12 f(x) = lxl
Let f(x) = sin 1/x (x =I= 0). This funtion has an oscillating discontinuity at
x = 0. In this case the oscillations are bounded.
Example 6
The functions shown in Figure 2.14 illustrate various kinds of infinite discon-
tinuities at x = 0. The reader can provide formal definitions of these sorts of
discontinuities if desired.
In all of the above examples, the functions f(x) have only finitely many
points of discontinuity. We next give two much more complicated examples,
in which there are infinitely many points of discontinuity in a finite interval.
y y y
Example 7
Since any interval (a- e, a+ e), e > 0, contains points at which f(x) = 0
and points at whichf(x) = l, it is clear that lim.,_af(x) does not exist. Hence
f(x) is not continuous at any point x = a.
Example 8
and so on. It is easy to see that the total number of points x, 0 < x < 1, at
whichf(x);;;::: 1/q is at most (1 /2)q(q- 1). See Figure 2.15. Let us show that for
y
. . . .
"..... . =. .... .. :: ... : ...,
----~------~~--~----~----~x
0
Figure 2.15 Dirichlet's function.
lim.,-.af(x) =0 (2.3)
for every a. Since f(a) = 0 if and only if a is irrational, this will prove that
. . irrational number and discontinuous at
Dirichlet's function is continuous at everv
.
everv rational number .
To prove (2.3), let e > 0 be given . Choose a positive integer q such that
1/q < e. Then we can find some positive number~ such that the interval (a -- ~.
a+~) contains none of the finitely many points x at whichf(x);;;::: 1/q, except
possibly the point a itself. (Can you show how to determine~?) This means that
1
lf(x)l = f(x) <- < e
q
for all x with lx- al < ~. x -:f= a, since for such values of x, eitherf(x) = 0 or
f(x )= 1/r with r > q. This completes the proof of (2.3). ~
78 Chapter Two Limits, Continuity, and Differentiability
Let us return to the study of functions that are continuous. Since continuity
is defined in terms of limits, and since sums, products, and quotients are pre-
served by the limit operation, we obtain the next result.
Theorem 2 Suppose that f(x) and g(x) are continuous at x =a. Then the
functions
Let e > 0 be given. Since f(t) is continuous at t = g(a), there exists <51 > 0
such that
lf(t) - f(g(a))l < e if It - g(a)l < b1. (2.5)
e.;
2.4 Continuity 79
But since g(x) is continuous at x = a, there exists <5 2 > 0 such that if lx - al <
<5 2 , then
lg(x) - g(a)l < <51.
Example 9
The proof of Theorem 4 will not be given here. Later, in Chapter 4, we will
define the exponential, logarithmic, and trigonometric functions carefully and
prove that they are continuous. Meanwhile, although we will not hesitate to
use these functions in examples and exercises, we will avoid using them in the
logical development of the theory, thereby avoiding the danger of logical
"circularity."
Exercises
1. Each of the following expressions defines a function f(x) for all x E fJI
with finitely many exceptions. Determine all these exceptional points and
investigate the type of discontinuity thatf(x) possesses at each exceptional
point. For removable discontinuities, calculate lim.,_af(x). For jumps,
calculate Ja(f).
1 x-1
(a) lxl- 1' (b) lxl- 1'
2. Let '(T) denote the amount of heat which must be applied to raise a given
block of ice at 0F to a temperature of TF. For which values ofT is '(T)
discontinuous, and what is the physical significance of the discontinuity?
4. Sketch carefully the-graph ofj(x) = x 2 ' 3 near the origin. Does this function
appear to be continuous at the origin? Is it?
5. Let 0 < x1 < x2 < < xn < I be finitely many points. Define functions
2.5 Differentiability 81
6. Ifj(x) is a function defined for a :::;:; x :::;:; a+ {J (some lJ> 0), we say that
f(x) is right-continuous at x = a if
(a) [x],
(b) the function of Exercise 5.
2.5 Differentiability
y y
-1 -1
Figure 2.17
(a) f(x) = x 2 ,
We know that both f(x) and g(x) are continuous at x = 0. To see how the
graphs look in a "small" neighborhood of x = 0, let. us magnify each graph
ten times; see Figure 2.18. Note that "n~ar" x = 0, the graph of f(x) is
y y
- 1 1 - 1 1
lo lo lo lo
f(x) =x' g(x) = lxl
Figure 2.18
approximately a straight line, but g(x) has the same sharp corner at x = 0, no
matter how close one is to x = 0. In factf(x) = x 2 is differentiable at x = 0,
but g(x) = lxl is not. Differentiable functions are sometimes said t> have
"smooth" graphs. We now transpose the foregoing description into mathe- natical
terms.
2.5 Differentiability 83
provided this limit exists lf the limit does exist, we say that f (x) is differentiable
at x =a.
f(a) I ~ M = const
lf(x)-
x-a
(0 < lx- al <!5o)
If e > Q is given, let !51 = efM. Then if 0 < lx- al < <5 =min (!5 0 , !51 ),
we have
lf(x) - f(a)l ~ M lx - al < e.
for any given e > 0 there exists <5 > 0 such that
lf(x)l ~ e lxl whenever lxl < <5. (2.6)
Example 1
Letf(x) = x 2 Then
lf(x)l = lx2 1= lxl lxl ~ e lxl
provided that lxl < e. Hence, we may choose <5 = e in order to satisfy (2.6),
so we conclude that x 2 is of smaller order than x as x ~ 0.
84 Chapter Two Limits, Continuity, and Differentiability
Example 2
cannot hold except for x = 0. This means that lxl is not of smaller order than
x as x~o.
Graphically, Condition (2.6) simply means that the curve y = j(x) lies
between the lines y = ex when lxl < !5 (see Figure 2.19). If [(x) is a function
of smaller order than x as x ~ 0, we say that the curve y - f(x) is tangent to
the x-axis at the origin. This definition of tangent can be generalized easily as
follows.
t Definition 3 can be generalized in a very simple and obvious way to define tangent
plan_!:s to surfaces z = f(x, y), and even to more general situations in n dimensions.
2.5 Differentiability 85
lf(a) - bl ~ 0,
so thatf(a) =b. Using the inequality (2.8) once again, we now have, for each
e > 0, a ~ > 0 such that
limf(x)- f(a) = m.
o:-+a X- a
Example 3
Definition 4 Let f(x) be defined on an open interval (a, b). We say that ill)_
is continuously differentiable on (a, b) i(f'(x) is defined and continuous on (a, b).
Plate 1 (Courtesy of The Vancouver Public Library, Historic Photograph Section.)
2.5 Differentiability 87
y y
f(x) f'(x)
(a) (b)
Figure 2.20
Example 4
so that f' (x) is a continuous function, but not a differentiable function. See
Figure 2.20.
Example 5
(level) highway. It is certain thatf(x) must be continuous, and the most elemen-
tary dynamical considerations show that f(x) must also be differentiable-
see Figure 2.2l(a). A little more reflection on the dynamics of an automobile
leads to the conclusion that the curvef(x) should be at least twice differentiable.
Highway engineers construct twice differentiable curves by fitting t.:>gether
cubic curves (j(x) = ax 3 + bx2 +ex+ d) . They may be unaware of the
possibility of designing infinitely differentiable highways by utilizing the principle
of the following example.
A continuous highway
~
A differentiable highway
(a) (b)
Example 6
Letf(x) be defined by
e-l/z, if X > 0,
f(x) = {0, if X :o;;: 0.
Then f(x) is infinitely differentiable for all x; that is, j<k>(x) exists for every
positive integer k.
To see this, note first that, from calculus,J<k>(x) exists for any kif x ;;/= 0.
We can show that
j<k>(O) = 0 (k = 1, 2, 3, .. .),
The limit from the left is again obviously zero; since f' (x) = x- 2e-1 '"' for x > 0,
we find that
Therefore, f" (0) = 0. It is fairly easy to extend this argument, and prove by
induction thatj<k>(O) = 0 for all k.
The function of Example 6 may seem an idle curiosity. But the existence of
such functions is an absolutely essential ingredient of a vast amount of con-
temporary mathematical analysis, including mathematical physics.t
Exercises
2
(c) sin 2 x, (d) _x_.
x+1
1
(a) lxl +1;
(c) !sin xi; (d) lxl + lx- 21.
3. Give an example of a function which is k, but not k + I, times continuously
differentiable.
Find the right- and left-hand derivatives of each of the functions (a)-(d)
of Exercise 2, at each of its points of nondifferentiability.
6. Explain why the curve of Figure 2.21 (b) is not suitable for a high-speed
highway. (How would you steer an automobile through such a curve?)
7. Complete the proof by induction, that f'kl(O) = 0 for all k, where f(x)
is the function of Example 6.
*8. Find a functionf(x) on ( - oo, oo) satisfying the following conditions (see
Figure 2.22).
Figure 2.22
*9. Do there exist differentiable functions which are not continuously differ-
entiable? Explain.
3 Properties of Continuous Functions
3.1 Introduction
91
92 Chapter Three Properties of Continuous Functions
Example
What is the error in this "proof"? The moral of this example is that if we
refer to nonexistent objects as if they existed, we may be led into foolish errors.
Mathematicians seem to have learned this moral; politicians probably never
will.
Exercises
1 +X~
1. Let x 1 = 2 and Xn+l = -- - , for n >- 1. Let limn-co Xn = a. Then
2
2a = 1 + a2 , so that a = 1. What is wrong with this?
M = supA, m = inf A;
Example I
t The notation { y J } stands for the set of ally such that ....
94 Chapter Three Properties of Continuous Functions
Example 2
Let B = {x+11
-x- x IS . a positive
.. mteger
. }. The reader can easily verify that
sup B = 2 and inf B = 1.
Notice in this example that sup B is a member of the set B, but inf B is not.
inf A- min A
in case inf A belongs to A.
In most applications in this text, the set A will be the set of values of some
I
function: A= {f(x) x E B}, where B is some subset of the domain off In this
case we use the notation
Example 3
1
Ifj(x) = - -2 , find
1+x
1 1
sup--=
2
max--= 1
o:eiilt1+x2 o:eiilt1+x
and
1
inf-- =0
o:eiilt 1 + x 2 '
3.2 Supremum and Infimum 95
but this is not assumed, so that minxe9l __ I_ does not exist. See Figure 3.I.
I + x2
We remark that in general M- max.,.,n [(x) if and only if (i)f(x) < M
for all x E Band (ii) there exists a point x 0 E B such that f(x 0 ) = M.
Example 3 shows that a function may be bounded and still not have both
a maximum and a minimum value. It seems reasonable however that for any
\inf f(x)
bounded function f(x) both supxeB f(x) and inf.,EB f(x) will exist. This is
indeed the case, and the completeness property of f!ll is required in the proof.
z1 = Hx1 + Y1),
so that z1 is halfway between x1 and y 1. Determine x 2 and y 2 as follows. If z1 is an
upper bound of A, let x 2 = x 1 and Y2 = Z 1 If z 1 is not an upper bound of A,
let x 2 be some point of A with x 2 > z1 , and let y 2 = y 1 In either case we have:
(a) x 2 E A and y 2 is an upper bound of A;
(b) x1:::;;: x2 :S::y2 :S::y1;
(c) Y2 - X2 :S:: HY1 - x1).
Having determined x 2 and y 2 , we can repeat the process to obtain points x 3 , y 3
Repeating the process indefinitely (by induction), we obtain two sequences:
a bounded, nondecreasing sequence {xn} of points of A and a bounded, non-
increasing sequence {yn} of upper bounds of A. By the completeness property,
both of these sequences must converge. Since clearly
as n ~ oo, the sequences must have the same limit A. This proves Equation (3.1).
We show finally that A = sup A. First set x EA. Then Yn ;;::::: x for all n
because each y n is an upper bound for A. Therefore A = limy n ;;::::: x. This shows
that A is an upper bound for A. Next, if p, < A, then xn > p, for large n since
lim xn = A. Since xn E A, this shows that pis not an upper bound for A. There-
fore A is the least upper bound of A: A = sup A. I
Corollarr. Let f(x) be a function defined for all x E B. Then sup.,en f(x)
+
always makes sense,either as a finite number, or as oo. Similarly, infxeB f(x)
.
is either finite or - oo .
Exercises
I. Find sup A and inf A for each of the following sets A. Determine whether
max A and min A exist.
(a) A = {x2 1 X E R}.
3.2 Supremum and Infimum 97
2. (a) Let 0 denote the empty set, that is, the set that has no elements. What
numbers are upper bounds for 0? Does sup 0 exist?
(b) Show that every subset of fJe has a supremum and an infimum, provided
that the "values" oo are permitted.
3. Find the following sups and infs. State which are maxs and which mins.
(Use calculus if necessary; a sketch of the function may also help.)
1 1
(a) sup--, (b) inf - - ,
z>O 1 +X x>O 1 +X
(c) inf
z>O
(x + .!) ,X
(g) inf sin x (You may not be able to solve this exactly!).
z*O X
6. Let A = I
{nll" n is a positive integer}. Find sup A and inf A.
9. Prove that
sup [f(x) + g(x)] :::;; sup f(x) + sup g(x). (3.2)
o:eA xeA xeA
(Hint: Let M = supxeAf(x) and N = SUPxeA g(x). Then f(x) :::;;; M and
g(x) :::;;; N for every x EA. Complete this argument.)
sup [f(x)
o;e[O,l)
+ g(x)] < sup f(x)
o;e[O,l)
+ sup g(x);
o:e[O,l)
11. State and prove the analogous inequality to (3.2) for the case of the
infimum.
*12. Assume that f!ll satisfies conditions 1-10 of Section 1.3, as well as
11 '. Every nonempty subset A of f!ll that has an upper bound has a least
upper bound.
Prove that f!ll has the completeness property. (Hint: If {x..} is a non-
decreasing bounded sequence, then A.= sup.. ;:: 1 x .. exists. Show that
A = limn-.oo x,..)
~ (see Exercise 4). You should verify the following simple examples:
~ A finite set has no accumulation points.
JQl_ If S = (0, 1), then the set of all accumulation points of Sis the closed
interval [0, 1].
() If S = !2 (the rationals), then eve:.y real number is an accumulation
point of S.
Proof Let S be a given bounded, infinite set; then there is some interval
[at> b1 ] containing S. Let
Since Sis an infinite set, at least one of the intervals [a1 , c1 ] or [c1 , b1 ] contains
infinitely many points of S. Let [a2 , b2 ] denote such an interval. Note that
and
(3.4)
Since [an, bn] contains infinitely many points of S according to the construction,
the interval (a - e, a+ e) must surely contain some point of S not equal to a.
This completes the proof. I
Notice that the proof of the Bolzano-Weier<;;trass theorem once again used
the completeness property of !Jl. Conversely, it is possible to prove the com-
plet~ness property of fJl if one assumes the validity of the Bolzano-Weierstrass
theorem; see Exercise 5.
100 Clwpter Three Properties of Continuous Functions
Proof Let S denote the set of all values Xno n = I, 2, 3, .... There are two
cases to consider: either S is a finite set or S is an infinite set.
In case S is a finite set, there must be infinitely many values of n, say
n1 , n2 , n3 , , such that xnk = x where x is one of the members of S. Hence,
{xn} has a convergent subsequence.
If Sis an infinite set, we apply the Bolzano-Weierstrass theorem to obtain
an accumulation point a of S. It follows (cf. Exercise 4) that some subsequence of
{xn} must converge to a. I
Exercises
1. Find the set of all accumulation points for each of the following sets
I
(a) S = {x E &l' 0 < lxl < 1}.
(b) Sis the set of all integers.
(c) Sis the set of all numbers m/2n, where m, n are integers.
(d) Sis the set of all rational numbers p/q in which lpl < 10.
2. Let S be a bounded infinite set in &l'. Show that either sup S = max S or
sup S is an accumulation point of S. Give examples for both possibilities.
5. Assuming that the real-number system &l' has Properties l-10 of Section
3.1, and that the Bolzano-Weierstrass theorem is valid, prove that the
completeness property holds in &l'.
3.4 Cauchy Sequences 101
Proof The proof of necessity is very easy and will be given first. Suppose that
Iimn~coxn = L exists. Let e > 0 be given, and choose an integer N such that
lxn - Ll < e/2 if n :::0: N. Then, for both n, m :::0: N, we have
Given e > 0 we can find an integer N such that lx, - xml < ef2 for all n, m 2
N, and also lx,k - Ll < e/2 for k 2 N. Therefore, if n 2 N, we can choose a
term x,k such that
The condition (3.5) is often called the Cauchy criterion for conyergen~e;
it is sometimes written as
lim (x, - Xm) = 0. (3.6)
n,m-tco
.
Corol/arv An infinite series !f a, converges if and only if
m
lim ---! ak = 0.
n,m-+co k=n
Exercises
1. Show that if {x,} converges, then lim,__,. 00 (x,+I - x,) = 0, but not con-
versely.
1
2. Suppose that lx,+ 1 - x,l :::;: , for all n. Prove that {x,} converges.
2
3. Let f(x) be defined for x > 0. Show that lim.,__,. 00 f(x) exists (finitely) if
and only if for every given e > 0 there exists a number M such that
5. Give an example of an infinite series which converges, but does not con-
verge absolutely.
Example
,.
Theorem I (Intermediate value theorem) Let f be defined and continuous on
the closed finite interval [a, b] . Suppose that
Then there exists a point c jn the open interval f.fhl22 such that ((c) = 0 (see
Figure 3.2).
t Henceforth we adopt the modern notation for functions. A single symbol (f,g, 'Y, etc.)
will denote a function; the notation f(x) will be used to denote the value of the function fat the
point ;c. (Nevertheless we will also continue to use expressions such as "the function f(x) = x"
rather than the pedantic form "the functionfwhose value at xis x 2 ."}
104 Chllpter Three Properties of Continuous Functions
Proof The idea of the proof is to define c as the "largest" value of x for which
f(x) ::::;; O,'namely, --
c =sup {x E [a, b] lf(x) ::::;; 0}.
That such a number c exists follows from Section 3.2: the set {x E [a, b] If(x) ::::;;
0} is nonempty (because f(a) < 0) and bounded above by b. We 'wish to show
thatf(c) = 0. Suppose thatf(c) < 0. By continuity ofjat c there exists {J > 0
such thatf(c +b)< 0. But this contradicts the definition of c.
Similarly if f(c) > 0, then there exists {J > 0 such that f(x) > 0 for all
x > c - {J (note that f(x) > 0 for all x > c by the choice of c). This again
contradicts the definition of c. Thereforef(c) = 0. Finally, sincef(a) < 0 and
f(b) > 0, we cannot have c = a orb, so that c E (a, b). I
In general, ifjis continuous on [a, b], thenf(x) must assume every value
betweenf(a) andf(b) at some point x between a and b. This is easily proved
from Theorem 1 (see Exercise 2).
CorollarY. Any polynomial o{odd degree has at least one real root.
Hence, we can choose some interval [a, b] such that p(a) < 0 < p(b), and there-
fore p(x) = 0 for some point x. I
The proof is a simple e-b argument, which we leave to you to carry out.
The converse of this lemma is also valid: if I (x,)---+ I (x 0 ) for every sequence
{x,} which converges to x 0 , then lis continuous at x0 ; see Exercise 8.
Theorem 2 Let fbe defined and continuous on the closed finite interval [a, b]
Ihenfis bounded on [a, b], that is~ . -
limf(xnk) = f(xo).
k-+oo
Iimf(x,k)
k-+oo
= + oo.
Theorem 4 Let f be defined and continuous on the closed interval [a, b], and
suppose ((x) ::F 0 (or all x E [g. bl. Then, either f(x) > 0 for all x E [a. b] Q!.
[(x) < 0 (or all x E [a, b].
In case f(x) > 0 for all x in [a, b ], there exists a positive number t5 such that
f(x) ;;;:=:: t5 > 0 for all x in [a, b].
Exercises
I. Letf(x) = x - [x], where [x] denotes the greatest integer in x . Show that
althoughfis bounded, max[ 0 , 21 f(x) does not exist.
6. Letfbe continuous on [a, b], a< b. Supposefis also one-to-one, that is,
x 1 =f=. x 2 implies f(x 1 ) =f=. f(x 2 ) . Prove that f must be a monotone function.
*7. Letfbe a strictly increasing, continuous function on [a, b]. Then there is a
uniquely defined inverse function g defined on the interval [f(a), f(b)]
(that is, g(f(x)) = x for all x in [a, b]). Prove thatg is continuous.
Example 1
Solution First let b :::;; 1. Then ix' - xi < b will imply that
<e (iflx'-xi< e)
1 + 2l xi
Hence, we may choose
(3.8)
108 Chapter Three Properties of Contillllous Functions
Notice that this value of <5 depends on x; as ixi increases, the value of <5 given
by (3.8) decreases. Consideration of the graph y = x 2 (see Figure 3.3) makes it
clear that (for a given e) the value of <5 required in (3. 7) necessarily decreases as
ixi increases. Moreover no fixed value of <5 > 0 will work for all x in ( - oo, oo).
Example 2
Iff(x) = x 2 is considered only on the bounded interval 0 :::;:; x :::;:; 3, then a value
~independent of x can be found so that (3.7) holds.
To see this, we simply note that if 0 :::;:; x :::;:; 3, then I + 2 ixi :::;:; 7. Hence,
by the same calculations as in Example I,
:::;:; 7ix' - xi
Hence we may choose <5 = min (I, e/7), and this is independent of x.
We will apply this statement to the values (J = 1, 1/2, 1/3, ... , 1/n, .... For
fJ = 1 we obtain points x 1 , y 1 E I such that
(3.10)
lim f(xn)
k
= f(x 0 ) =lim f(Y 11k ) .
k-+co k-+ co
110 Clulpter Three Properties of Continuous Functions
e e
<-+-=e.
2 2
This contradicts (3;10), and the proof is complete. I
Exercises
3. The functionf(x) = Ifx is continuous on the open interval (0, I). Show that
it is not uniformly continuous there.
On the basis of the theorems of Chapter 3 we can now give rigorous proofs
of certain basic theorems of elementary calculus.
The proof of the mean value theorem (for derivatives) begins with the
following special case.
Lemma (Rolle's theorem) Let f be defined on [a, b,] where a < b. Assume that
a ~
Now let g(x) = j(x) - l(x); it is easily seen that g(x) satisfies all three hypoth-
e
eses of Rolle's theorem. Consequently there is some point E (a, b) such that
,Theorem (The mean value theorem) Let f be defined on [a, bJ, where a <b
Assume that
I(i) f is continuous on [a, b],
t ii) fis differentiable on (a, b).
Then there exists some point eE (a, b) such that
f(b)- f(a)
f'(e) (4.2)
b-a
The mean value theorem has the foliowing two corollaries, which calculus
students usually consider to be "obvious."t
Corollarv I Suppose that f is defined on (a, b) and that f'(x) = 0 (that is,
f'(x) = 0 for every x in (a, b)). Then [(x) is con.~tant on (a, b).
Corollarv 2 Suppose that f is defined on (a, b) and thatJ.1& > 0 (or all x in
(a, b). Then (is strictly increasing on (a, b).
The proofs are fairly "obvious" consequences of the mean value theorem,
and are left for the exercises.
We will use the mean value theorem and its corollaries in studying integra-
tion in Section 4.3. Before leaving this theorem, let us comment briefly on its
hypotheses. Notice that f is required to be continuous on the closed interval
[a, b] and differentiable on the opgn i nter~L(g~}. If either of these hypotheses
is violated. the conclusion fails (see Exercises 6 and 7).
Exercises
I. Letf(x) = ..;--;;, 0 ::;:: X ::;:: a. Find all points eE (0, a) for which the mean
value formula,
f'(e) = f(a) - f(O) = f(a) ,
a -0 a
2. Prove Corollary I. (Hint: If a< x 0 < x 1 < b, prove that j(x0) = f(x 1).
This proves the corollary; why?)
3. Prove Corollary 2.
5. State analogues to Corollary 2 and to Exercise 4, for the cases f' (x) < 0,
f'(x) ::;:: 0, respectively. Give one-line proofs of these analogues, without
using the word "similarly."
6. Let j(x) = I - lxl be defined on [-I, I]. Show that f satisfies neither the
hypotheses nor the conclusion of Rolle's theorem.
10. Show that if a > 0 and b is an arbitrary real number, then the equation
x 3 + ax + b = 0 has exactly one real solution.
I2. Prove that iff' (x) = g' (x) on (a, b), then j(x) = g(x) + con st. on (a, b).
(Give a very short proof!) j
cn.J
X 14. Letfbe defined on ( -oo, oo) and suppose
J:J(x) dx
should represent the "area under the curve" y = f(x) for a ::;; x ::;; b.
1
A second partition 7T of [a, b] is said to be finer than 7T if 7T 1
contains all the points
of 7T. In this case, we write 7T > 7T.
1
(4.3)
(4.4)
116 Cluzpter Four Some Theorems of Calculus
This statement cannot be proved as a theorem, for the simple reason that
we do not as yet have a definition for the word"area." In fact, we are going to use
the inequalities (4.5) to define area.
Figure 4.3
A =t a
f(x) dx (4.6)
and call A the area under the curve y = f(x) for a :::;; x :::;; h. In this case we say
that f is integrable over [a, b] and A = S! f(x) dx is called the (definite) integral of
f over [a, b].
We will see shortly that numbers A satisfying (4.5) always exist; it is im-
portant to realize that A must be unique in order for us to define J! f(x) dx = A.
4.2 The Riemann Integral 117
Example 1
Letf(x) = x, 0 :c:;; x :c:;; I. It is "obvious" that A= 1/2. Let us just check that
this value A = 1/2 is the only possible value of A for which (4.5) can hold for
every partition 7T (Figure 4.4).
n
Suppose 7T = I 2
{0,-n , -n , ... , -n = I }.. Then ~xk = 1/n. Also
r-
1 I
-- _ _J
I I I
I I I
.-- ----l I
I I I I
I I I I
.-- --i I I
I I I I I
I I I I I
- -~ I I I
I I I I I
Figure 4.4
Similarly,
L,(f) = i
k=l
k- 1
n2
= n-
2n
1.
n-1:c:;;A:c:;;n+1.
2n 2n
Example 2
Let
1 if x is rational,
f(x) = { . . . .
0 1f x 1s urahonal,
n
U,,(f) = !1 (xk- X~c-J = 1,
k=l
n
L,(f) =!
k=l
0 (xk - xk-t) = 0.
Thus the inequalities (4.5) are satisfied for any number A with 0 ~A ~ 1.
This means that f is not integrable over [0, 1].
Proof We prove (ii) first. Suppose to begin with that 1r 2 contains just one more
point x' than 1r1 , and let xk-l < x' < xk, where X~c- 1 , xk are points of 1r1 Then
we have (see Figure 4.5)
Since the other terms makin1! up U, 1 (j) and U, 2 ( / ) are identical, it follows that
U, 2 (j) ~ U,Jf).
r---T----
1 I I
L---- ____ _J
I I I
I I I
I I I
I
---, I
I
I
I
-+--~----~----~---x
x' x,
Figure 4.5
In case 1r2 contains several points more than 1r1 , the desired inequality
follows by repeated application of the above argument. Similarly we see that
L,t (f) ~ L,2(j).
To prove (i) we consider the partition
which consists of all the points of 1r1 and of 1r2 , in order. Then, since 1r1 < 7T
and 1r 2 < 1r, it follows from (ii) and the obvious inequality L 11 (f) ~ U,(f) that
120 Chapter Four Some Theorems of Calculus
Theorem 1 Let
where the supremum and infimum are taken over all possible partitions 7T of
[a, b]. Then
(i) A_(j) ::;: A+(j) for every functionf;
(ii) A_ (f) = A+ (f) if and only iff is integrable over [a, b ].
In the latter case we have
Proof Since L 711( / ) ::;: Uu 2( / ) for all partitions TT1 , TT2 , it follows that
If A_(j) -=F A+(j), then (4.5) is satisfied for more than one value of A, and this
means that f is not integrable over [a, b].
Conversely suppose A_(f) = A+(f), and let A satisfy (4.5). Then
so that A = A_(f) = A+ (f). This proves that f is integrable over [a, b] and
A = f! f(x) dx = A_ (f) = A+(j). I
Theorem 2 The given function f is integrable over [a, b] if and only if, for any
given e > 0, there exists a partition 1T of [a, b] such that
(4.8)
Proof Suppose f is integrable over [a, b]. Then A_(f) = A+(f). If e > 0 is
given, let 1r1 be a partition such that
e e
< - + A+(f) + - - A_(f) = e.
2 2
..1
> u..(f)- e
a=x~~ xt b=x.
b-a
xk - xk-1 = -- (k = 1, 2, ... , n).
n
Therefore
b-a
= - [f(b) - f(a)].
n
(See Figure 4.7.) By choosing n large we can therefore make U11 (f) - Lrr(f)
arbitrarily small. Hence f is integrable. I
1.2 The Riemann Integral 123
X
a b b-a
n
Proof Let e > 0 be given. Since f is uniformly continuous on [a, b], there exists
b > 0 such that
8
lx - Yl < b implies 1/{x) - f(y)l <- -
b-a
Let 7T be any partition of [a, b] such that xk - xk_1 < b (k = I, 2, ... , n).
Then
8
sup f(x) - inf f(x) = max f(x) - min f(x) <- - ,
[O:k-l"'k] [O:k-l .,kl [O:k-loO:k] ["'k-l"'kl b- a
so that
Example 3
To show that f is integrable over [0, I], consider a given e > 0. Let Q be an
integer with 1/Q < e/2 and let y 1 , y 2 , , Yn denote all rational numbers in
[0, 1] having denominators <Q. Surround each pointy; by an interval I; of
length s ef2n, and let TT be the partition consisting of the end points of all these
intervals I; . The intervals of TT then consist of (a) the intervals I; (which can be
assumed nonoverlapping), and (b) complementary intervals 1;. For the first we
have
n e e
! supf(x) (length of li) :::;; ! 1 - =-.
; It ;=1 2n 2
For the remaining intervals J1 we havef(x) :::;; 1/Q < e/2 for x in J1, so that
~ e e
~ supf(x) (length of J 1) <-!(length of J 1) :::;; - .
i JJ 2 i 2
Therefore U 11 (f) <e. On the other hand, obviously L 11 (f) = 0; this shows that
fis integrable over [0, 1].
The basic properties of the Riemann integral are listed in the following
theorem.
(iv) If/(x)::;;: g(x) on [a, b], then f f(x) dx ::;;: f g(x) dx;
We give here only the proof of part (ii); the remaining parts are outlined in
the exercises.
Proof ofpart (ii) First we use the fact that (cf. Formula (3.2), page 98)
Therefore,
n
U,(f + g)=! sup
k=l >:k-1:-:;.,:-:;.,k
[f(x) + g(x)](xk- xk_ 1)
~ U 71 ( / ) + U,(g).
Similarly,
L,(f + g) 2 L 11 ( / ) + L,(g).
To complete the proof we must use an e-argument. If e > 0 is given, there
exist partitions 1r1 and 1r2 of [a, b] such that
U,1{ / ) < r
a
j(x) dx + 2~ and U71 ,(g) < r
a
g(x) dx + 2~.
: ; : f /(x) dx +f g(x) + e.
Similarly,
~
1
( 1/(t)l dt
So far we ha~e only defined the integral J! f(x) dx when a <b. It is often
\}seful to consider the opposite case.
provided this limit exists, and is independent of the points xk and Ek, X~c- 1 ::;;: Ek ::;;:
xk. Precisely, the limit on the right is defined to equal A if, given any e > 0, there
exists <5 > 0 such that for every partition 7T = {x0 , x 1 , , Xn} with max Axk < <5,
and for any points E1 , E2 , , En with X~c- 1 s Ek s xk, we have
Exercises
4. Discuss the role of the symbol "x" in the expression J!J(x) dx.
(a) Suppose ot -:::; 0. Then U,(ot/) = otU11 (f), and so on. This implies
(b) Therefore A+(f; [a, c))= A_(f ; [a, c)) and the result follows .
11. Derive Theorem 3(iii) from the other parts already proved, by means of the
lemma of Exercise 10.
4.3 Integrals and Derivatives 129
(A) -~(r
dx a
J(t) at) = J(x);
Theorem 1 Suppose f is defined and continuous on [a, b], and let x E (a, b).
Then
f(x) = h1 Jx+h
x f(x) dt,
and therefore
.!!.._
I dx a
r f(t) dt - f(x) 1 = 1lim.!
h-+O h
r+h
x
[f(t) - f(x)] dt 1
1
~lim- IJx+h lf(t)- f(x)l dt I. (4.10)
h-+olhl x
Sincefis assumed continuous on [a, b], there exists b > 0 such that
-1
ihi
II"'"'+h if(t)- f(x)i dt I :S:-
1 e ihi =e.
ihi
This shows that the limit on the right side of (4.10) is zero, and (4.9) therefore
follows. I
Example
. h(x) =
GIVen J."'' sin
- t dt, find h'(x).
0 t
Solution We apply Theorem I together with the chain rule. Thus let
u sin t
u = x 2 ; then h(x) =
0 i
- dt. Hence,
t
2
h'(x) = dh du = sin u lx = 2 sin x
du dx u x
= f f(x) dx + F(a+),
and this is the same as (4.12). I
Exercises
1. Calculate g'(x) if
i J
2"' 2"'
(a) g(x) = e-t dt, (b) g(x) = "' e-t dt.
0
-d fb f(t) dt = -f(x).
dx "'
3. Let f(x) = [x] + I and define G(x) = f~ f(t) dt. Determine G(x) ex-
plicitly for 0 ~ x ~ 2 and verify that G'(I) =I= f(I). This shows that the
hypothesis of continuity cannot be omitted from Theorem 1.
4. Iff is continuous on [a, b] and G(x) = J: f(t) dt, show (as in the proof of
Theorem I) that
n+G(a) = f(a),
. G(x)- G(a)
where n+G(a) = hm.,_a-t denotes the right-hand derivative
of G at x = a. x - a
(a) .E._
dx
Jf(x) dx = f(x), (b) Jf'(x) dx = f(x) + c.
7. On the basis of Theorem I explain why the notion of indefinite integral is
unnecessary. Why is this notion nevertheless convenient?
The definition of the Riemann integral given in Section 4.2 applies only to
bounded functions f defined on bounded intervals [a, b]. There are numerous
applications, however, in which either the function or the interval becomes un-
bounded. In such cases we use the concept of an "improper integral."
Example I
t dx
Find J.
0
...;~ (See Figure 4.9).
y .
. 4.9
Fzgure J.1 dx
.J~
0
134 Chapter Fo11r Some Theorems of Calcllllls
lim
e-+0+
rd;
yX
= lim 2(1 - .je) = 2.
-+0+
Notice that the area represented by the foregoing integral is the area of an
unbounded region. Clearly the only reasonable way to define the area of such a
region is to take the limit of the areas of regions "approaching" the given
region.
Example 2
dx
ll..,(x
eo
- = +oo.
t dx
lim
t-++co
l --=
1
.Jx = +oo,
provided this limit exists. If the limit does exist (finitely) we say that the improper
integral converges.
f:
An analogous definition applies to improper integrals of the form f (x) dx.
(You should supply this definition.)
Improper integrals have a theory of convergence that is very similar to the
theory of infinite series. For example, we have the following "comparison test"
for improper integrals.
4.4 Improper Integrals 135
Theorem I Suppose f and g are defined on [a, oo) and integrable on [a, b]for
every b > a. Suppose also that
Proof We can use the simple observation that if his a nondecreasing function
defined on [a, oo ), then Iim.,__.CX> h(x) exists (finitely) if and only if his bounded on
[a, oo).
Now, fort ;;:::: a let
this is valid, provided F'(x) is continuous on {ot, oo) for some ot <a and the
limit F( oo) exists. There is a similar formula for improper integrals over bounded
intervals.
As an application of improper integrals we will consider the famous
Gamma function r(x). This function is a generalization of the factorial function
{nl).
(4.13)
136 Chapter Four Some Theorems of Calculus
Theorem 2 The improper integral (4.13) converges for x ;;;:: 1.t Furthermore,
we have
Proof We know that limt-co tae-bt = 0 for any a E ~ and any b > 0. This
implies that (with x fixed)
Since f;' e-01 2>t dt obviously converges, the integral (4.13) must also converge,
by Theorem I.
To prove (4.14), we integrate by parts:
= xr(x). I
The proof (by induction) is left for you to obtain (see Figure 4.10).
y
-+---.----.-----,--._X
2 3
t It is easy to show that the integral (4.13) also converges for 0 < x < 1 (but not for
x .::;; 0). In this case the integral is also improper at x = 0.
4.4 Improper Integrals 137
Exercises
3. Show that the regions whose areas are represented by the following two
integrals are congruent:
(a) i "' -
0
x2
- dx,
1 +X 2
(b) f~ x- 312 sin x dx,
6. Calculate
(a) J"' -
-co
dx
-;
1 + x2
(b) f~ e-rz sin x dx.
9 .
D ISCUSS t h e Integra
. 1 Jl -dx .
-1 X
138 Chapter Four Some Theorems of Calculus
Example 1
xn
Letfn(x) = + xn (0 ~ x < +oo). It is easy to verify (see Figure 4.11) that
1
f,(x) f(x)
0 ifO ~ x < 1,
lim fn(x) = ! if x = 1,
n-+"" {
1 if X> 1.
Example 2
Let gn(x) = (sin nx)in. Clearly limn-co gn(x) = 0 for every x. However, since
g;.(x) =cos nx, limn-co g~(x) does not exist. (See Figure 4.12.)
Example 3
Let hn(x) = nxn for 0 < x < 1. Then limn-.co hn(x) = 0 for every x in (0, 1).
However,
i l h (x) dx = n il xn dx = -n+l
0 n 0
n
-- 1 as n- oo.
Figure 4.13 The sequence of Example 3. (The areas of the shaded regions- 1.)
UO Chapter Four Some Theorems of Calculus
You will perhaps raise an objection about Example 3; it certainly seems un-
reasonable to say that the functions hn approach the function h(x) == 0 on
(0, I). Although it is true that hn(x)---+ 0 for each given point x E (0, I), the
functions hn(x) with large n do not "look" much like the zero function. To make
this more precise, we introduce the following definitions.
Therefore hn does not converge uniformly to zero on (0, I). The student should
check Examples I and 2 for uniform convergence; thus for Example I, one can
compute d(f n,f) and decide whether d(f n,f)---+ 0 as n---+ oo.
To explain why d(f, g) is called the "distance" between f and g, we list
some simple properties of d(f, g):
Proof Properties (i)- (iv) are trivial from (4.16). To prove (v), we have (by
Inequality (3.2), page 98)
d(f,g)
Figure 4.14
Example 4
Let fn(x) = xn. We can sh0w that fn--. 0 uniformly on the interval [-a, a],
provided 0 < a < I, but {f n} does not converge uniformly on [-I, I]. (See
Figure 4.I5.)
For, consider
This shows that fn--. 0 uniformly on [-a, a]. Since fn( -I) = ( -I)n, the
sequence {f n} does not converge at x = -I; thll;t is, the sequence{/ n} does not
converge pointwise on the interval [ -1, I]. (The sequence does converge at
x = I; we leave it to you to decide whether {fn} converges uniformly on
[0, I], for example.)
We are prepared now to prove that uniform convergence does not have the
shortcomings [(a) - (c) above] that pointwise convergence has.
-I a I
I
/,(x) f.(x) /,(x)
Proof Fix x 0 E /,and let 8 > 0. By the triangle inequality, for any x E /,
Since fn-+ f uniformly on/, we can find an integer N such that lfN(z) - f(z)! <
8/3 for all z E /. Since fN is continuous on I, there exists a ~ > 0 such that
lfN(x) - f N(x0 )! < 8/3 provided lx- x 0 ! < ~. Therefore, by (4.17), we have
lfn(x)- f(x)! < -8- for all x E [a, b] and all n ;;::: N.
b-a
Then
Proof We use Theorem 2 together with some theorems of Section 4.3. Let a
be a fixed point of I. Then for any x E /,
g(x) = f'(x). I
n.m-+oo
or, in other words, if and only if, given e > 0, there exists an integer N such that
Proof Suppose first thatfn-+ funiformly on/, that is, d1(fn,f)-+ 0 as n-+ oo.
By Lemma 1 (v) (the triangle inequality), we conclude that
4.5 Uniform Convergence 145
If xis a given point of I, then, since fn(x)-+ f(x), there exists an integer N1 ~ N
such that lfN1 (x) - f(x)l < e/2.t Hence for n ~ N and for any given x E /,
we have
Thus d1 Cfn,f) :S::: e for n ~ N, and this proves that fn-+ f uniformly on I. I
Exercises
I. Consider the intervals
(a) f..(x) = -X ,
n
t Note that N1 may depend on x (as well as e), but this does not affect the validity of
the proof.
U6 Chapter Four Some Theorems of Calculus
6. Iff (x) is defined on I, then the set of all points (x, y) in the plane satisfying
do not imply f~ - 0.
(4.22)
is called a power series with center xo; the symbols x 0 and a0 , al> a 2 , denote
given real numbers; x denotes a real "variable."
Since there is no loss of generality in the the.o ry if we assume that x 0 = 0,
we will mainly consider the power series
(4.23)
with center 0.
Example 1
t A series L:f "'"is said to conver&e absolutely if the series 2f letnl is convergent.
If +The case R = + oo signifies that the series converges absolutely for all x.
UB Chapter Four Some Theorems of Calculus
(2) Given any e > 0 and any integer i, there exists an integer j ;;::: i such that
- b; > {J- e. .
Example 2
To verify this we merely have to check that conditions (I) and (2) hold. How-
ever, these are both obvious.
Note that the sequence {bn} of this example does not converge, but it has_a
subsequence, {b 2 n}, converging to I. In general we have: for any sequence.
{b 8 }, lim sup" bn is the largest number which can be obtained as a limit of some
subsequence of {b.,}. This is easy to see from the Definition. Condition (1)
implies that no subsequence can converge to a number >{J =lim supn--.oo bn;
Condition (2) says that some subsequence does converge to fl.
Theorem 2 (J. Hadamard) Let ~:'=o a,.x" be a given power series. Define
Let R = 1/rx. (if rx. = 0, let R = + oo; if rx. = + oo, let R = 0). Then the series
~:'=o a,.x"
Proof (a) Suppose first that rx. :# 0, + oo. If lxl < R = 1/rx., then for some
> 0 we have lxl < 1/rx.(l + c). By the definition we have Ja,.Jl'" < rx.(I + t:/2)
for sufficiently large n. Hence for such n,
(4.25)
where r < 1. Thus the series ~:'=o a,.x" converges absolutely by comparison
with the geometric series~;;' rn.
In the case rx. = 0 we argue as follows. Given x :# 0, by the definition we
have la,.l 11 " < 1/2 lxl for large n. Therefore lanx"l < 1/2" for large n, so that
~;;' anx" converges absolutely. The case rx. = oo is trivial.
Example 3
Series ot R
~n"x" +oo 0
x"
~-
n"
0 +oo
x"
~-
n
lt 1
It should be noted that the case Ixi = R is not covered in Theorem 2. There
is a reason for this-some series converge at lxl = R and others diverge.
Example 4
(a) The series ~;' x" has R = 1, and this series diverges for Ixi = 1, that is,
for x = + 1 and for x = -1.
(b) The series LCX) x"fn2 has R = 1, but this series converges (absolutely) for
lxl = 1.
(c) The series~:' x"fn also has R = 1. It diverges for x = +1 and converges
(conditionally) for x = -l.t
I.
R =1m a ..- ,
-
n-+ex>
I I
an+l
(4.26)
provided this limit exists. Formula (4.26) is sometimes easier to use than
(4.24), but it obviously only applies to special types of power series. Since the
proof of (4.26) can be found in almost any calculus text, it is not reproduced
here.
1\t A series I: an which converges, but not absolutely, is said to converge conditionally.
4.6 Power Series 151
Exercises
1 3 1 7 1 1
(a) 1,-,-,-,-, ... , - , 2 - - , . . . ;
2 2 4 4 2n 2n
(b) {-1)";
I
{d) (-1)" + _n_,;
n+l
2. Find the radii of convergence of the following power series (use (4.24) or
(4.26) when convenient):
(c)~ (1 + ~)xn,
00 00
(a) L n2xn, (b) L 2n+lxn,
0 0
00 ..
oo n"
(d) ix:, (e) L 2n(-ll x", (f) L - x",
o n. 0 o n!
00 00
(g) L x2n, (h) LX-n.
0 0
7. If the coefficients in a power series are integers, and if the series is not a
polynomial, show that R :s; 1.
8. If all the coefficients in a power series are either 0 or 1, what can you say
about the radius of convergence?
9. What can you say about the radius of convergence of the series
co
L (a,.+ b,.)x"
0
Theorem 1 Let !;;' a,.x" be a given power series with radius of convergence R.
If r is any number such that 0 < r < R, then the given series converges uniformly
on the interval [ -r, r ].
where -r < 1.
4.7 Uniform Convergence of Power Series 153
We can now apply the uniform Cauchy criterion (Theorem 4, Section 4.5);
form ~ n we have (if lxl ::;:; r)
Proof The partial sums ! : a,.x", being polynomials, are continuous for every
x. Since these partial sums converge uniformly to f(x) = ! ; a,.x" on any
interval [ -r, r] (r < R), the sumf(x) is also continuous on [ -r, r] for every
r < R. Hence,f(x) is continuous on ( -R, R). I
Example 1
-I -I
and the power series on the right side also has radius of convergence R.
Proof Let R' denote the radius of convergence of the power series (4.27):
n-+oo
11
1 '" = lim sup { la,.\ "
(n
1 }
+ 1)11,.
Since Iim..-.oo (n + 1)1 '" = 1, it follows from the Lemma below that
lim
n-+oo f."' 2 akt'k dt = f."' f(t) dt.
0 k=O
n
0
But
a
=lim I __
n
k - xk+1
n-+oo k=O k + 1
The result just proved is frequently stated in the form: "any power series
can be integrated term by term within its in1erval of convergence."
Example 2
"' 1
Ix" = -- (lxl < 1)
o 1- X
4.7 Uniform Convergence of Power Series 155
co xn+t
! - - =
J"' - dt = log(1- x) (lxl < 1).
on+1 01-t
co ( on+txn
log(1 + x) = L~-~~
n=t n
x2 x3
x - 2 +3 - (lxl < 1). (4.28)
Lemma Suppose that lim Xn =ex> 0 and lim sup Yn = {J. Then
n-+co
Proof (1) Let e > 0 be given. We must show that for large n,
Choosey = ef3ex and choose~ =min (e/3 lfJI, ef3y). Then (4.29) becomes
f'(x) =! nanxn- 1
(lxl < R), (4.30)
0
Proof That the series (4.30) has radius of convergence R follows exactly as in
the previous theorem; we omit the details. Let
00
r0
g(t) dt = i 0
anxn = f(x) (lxl < R).
Example 3
It is perhaps surpising that the converse of the above corollary is false: a func-
tion f can be infinitely differentiable on an interval lxl < R and yet not have a
power series expansion valid on that interval. To see this, consider the function
We showed in Section 2.5 that j<kl(O) = 0 for all k. If we had the expansion
4.7 Uniform Convergence of Power Series 157
n-1 J(k)( )
f(x) =! ~
k!
k=O
(x - x 0t + Rn(x), (4.33)
/(n)(~)
Rn(x) = - - (x - x 0 )",
n!
oo Jlkl(x)
f(x) = ! - -0 (x - x 0)k. (4.34)
0 k!
Conversely iffhas a power series expansion about x 0 , it must have the form
(4.34). Hence letting n--... oo in (4.33) we see that limn-+oo Rn(x) = 0. I
158 Chllpter Four Some Theorems of Calculus
The series (4.34) is called the Taylor series of the function f, about the
point x 0
Example 4
e% = z-
cox"
o n!
for all x. (4.35)
o
(x - x0)". (4.36)
Formulas (4.35) and (4.36) are quite convenient for numerical computation of
~; see Exercises 7 and 8.
Exercises
1. Find the Taylor series expansions about x = 0 for the following functions.
Prove convergence.
(a) sin x; (b) cos x; (c) sinh x = !(~- e-%),
co
(a) ~nx 11 ;
11=1
5. Show that the series ~f x fn
11 2
converges uniformly on the interval [ - 1, I].
X
<5o= x; <511 = - - <511-1>
n+1
Yo= 1; Y11 = Y11-1 + <511-1
We will first prove the following version of Taylor's theorem, in which the
remainder is in integral form.
(4.37)
where
1
Rn(x) = J"'f< 11>(t)(x - t)n-l dt. (4.38)
(n- 1)! zo
160 Chapter Four Some Theorems of Calculus
Proof Let us use induction. For n = 1 the desired result is that iff is con-
tinuously differentiable then
1
Rn(x) =
(n - 1)!
J"'"'o J<n>(t)(x - t)n-l dt
Proof Let M = max[a,bJ f(x) and m = mina,bJI(x). Since g(x) ~ 0 on [a, b],
we have
mg(x) s;;,j(x)g(x) s Mg(x) (x E [a, b]),
and therefore
Now sincefis a continuous function on [a, b],f(x) must assume every value
between m and M somewhere on [a, b]. Therefore there is a point c in [a, b] such
that
f(c) =
J: f(x)g(x)dx
b '
Ia g(x)dx
and this is the same as (4.39). I
Notice that Theorem 2 is obviously also valid in the case that g(x) ::::;; 0
throughout [a, b]. We can now derive our desired formula.
(n)(c)
R,.(x) = f- -- (x- x 0 )" (4.40)
n.1
r~
f(")(t)(x - t)"-1 dt =!(")(c) r
~
(x - t)"-1 dt
= j<"l(c) (x - x 0)".
n
Exercises
2. Use Taylor's theorem with integral form of the remainder to evaluate the
integral J~ t"et dt.
162 Chapter Folll' Some Theorems of Calculus
f <n>(c) 1
Rn(x) = (n _ )! (x- c)n- (x- x 0)
1
(for some c between x 0 and x) by applying the mean value theorem for
integrals with g(t) = I.
4. Show that the mean value theorem for derivatives is a consequence of the
mean value theorem for integrals.
Note: The following exercises are concerned with the interpretation of an
integral as an "average," or "mean."
is called the mean, or average, off over [a, b]. Show that p.(f) has the
following properties:
(i) p.(c) = c if c = const.
(ii) p. is linear: p.(ocf + {Jg) = ocp.(f) + {Jp.(g) (oc, {3 constants).
(iii) f s; g implies p.(f) s; p.(g).
7. Explain why the name "mean value theorem" is appropriate for Theorem 2
in the case g(x) == I.
J: f(x)g(x) dx
/Jg(/) = fb
g(x) dx
a
(assuming it exists) is called the weighted mean off over [a, b], with weight
function g. Show that the weighted mean off satisfies the conditions (i)-
(iii) of Exercise 5. Explain how Theorem 2 is a "mean value theorem" in
the general case. (Assume f, g continuous.)
4.9 On the Definition of the Exponential Function 163
9. Let g(x) = x and [a, b] = [0, 1]. Determine c E [0, 1] such that
00 xn
e"'=z-. (4.41)
n=O n!
From our theory of power series we know that the series (4.41) converges
for all x. Moreover, we have, by (4.30),
d 00 nxn-1 00 xn-1 00 xn
-e"'=!-=!
dx n! n=O
-!-
(n- 1)!- nf n=1 n=O
t For example, see T. M. Apostol, Calculus, Vol. I, Blaisdell Publishing Company (1967).
164 Chapter Four Some Theorems of Calculus
(4.43)
C =f(O) = e11
(4.44)
Proof From the definition (4.41) we see that e"' > 0 if x ~ 0. FromTheorem 2,
> 0 if x > 0; thus e"' > 0 for all x. Since
e-"' = 1/e"'
d
-e"'=e"'
dx '
we conclude that e"' is strictly increasing. Now we know that e > 2, and from
(4.43) it follows by induction that en > 2n -4- + oo as n -4- oo. The fact that e"'
is increasing shows that e"' -4- + oo as x -4- oo. Finally
From the corollary we see that the function e"' has a uniquely determined
inverse function, defined for x > 0:
Theorem 3 We have
d 1
(a) -logx =-,
dx x
(b) log (xy) =log x + logy.
dt 1 1
dx dxfdt et x
x = ew and y = e.
Therefore,
The usual properties of a"' can immediately be deduced from (4.46); see
Exercise 1.
Exercises
I. Prove the following formulas. (x, y, ... denote arbitrary real numbers,
whereas a, b, .. . denote positive real numbers.)
rxdt
2. Show that log x = f1 t
-.
xa x5 x2n+1
s(x) =X--+--+ (-1)n
3! 5! (2n+1)!
+ '
x2 x4 x2n
c(x) = 1 - - + - - + (-1)n- + .
2! 4! (2n)!
t For a complete treatment, see K. Knopp, Theory and Application of Infinite Series,
Hafner (1951).
4.9 On the Definition of the Exponential Function 167
(Hints: (a) Let f(x) = s(x +a) - s(x)c(a) - c(x)s(a). Show that f" +
J= 0. (b) Hence show that [(/')2 + f2]' = 0, so that (/') 2 + f2 = const. =
0. (c) Deduce the above formulas.)
168
5.1 Open and Closed Sets in ytn 169
(5.1)
The number x; is called the jth coordinate of x. The set of all such points is
denoted by r!Jn, and r!Jn is called Euclidean n-space.
It is convenient also to introduce a "linear structure" on r!Jn by defining
addition and scalar multiplication as follows:
(5.3)
(x' , x',x' )
i'Thepointx
I
The vector x I
I
I
I
/L---1-----,--~ x'
x'
t We use the superscript notation for coordinates and reserve subscripts for use with
sequences.
170 Chapter Five Limits and Continuity in n Dimensions
ax.,.-' i
...... I
I I
I I
I I
I
I /
I /
I /
~o/
(a) (b)
(5.4)
(5.5)
(5.6)
Proof Let x, y be given, and let oc denote an arbitrary real parameter. Then
n
0 S:: l x + ocy ll 2 = ! (xi + ocl) 2
i ~l
n n n
=! (xi)2 + 2ot! xiyi + ot2! (/)2
i~l i~l i~l
n
x y = !xiyi
i~ l
lx yl s ll x ll lly ll .
COS 8 = X y
ll x ii iiY II '
which determines a unique angle 8, 0 :::;: 8 s TT, called the angle between the
vectors x andy.
172 Chapter Five Limits and Continuity in n Dimensions
Proof Consider
Figure 5.3
Definition 3 Let x 0 be a given point of ~n and let r > 0. Then the set N~(x 0 ),
defined by
(5.9)
is called the (open) ball of radius r centered at x 0 The set S.(x0 ), defined by
(5.10)
The whole space D = ~" is obviously an open set; so is the empty set,
0 (since 0 has no points, the condition of Definition 3 is surely satisfied!). 1, u
Another easy example of an open set is the half-space '' -&~ '' l~vV...J.M vv<rl"
H = {x E I
~" x 1 > 0}.
Lemma 2 The ball N,(x 0 ) is always an open set.
Proof Let z 0 E Nr(x 0 ). Then Jl x0 - z0 ll = p < r. We can show (Figure 5.4) that
Nr_v(z0 ) is contained in Nr(x0 ). For if x E Nr_'P(z 0 ), then l x - z0 l < r - p, so
z.
Figure 5.4
Notice that when n = 1, the ball Nr(x0 ) is the same as the open interval
(x 0 - r, x 0 + r).
Obvious examples of closed sets are !!4" itself (whose complement is the
open set 0 ), the empty set, 0 (whose complement is ~"), and the closed half-
space
H = {x E !!4" I x 1 ::2': 0}.
171 Chapter Five Limits and Contiflllity in n Dimensions
(see Exercise 3). In particular, a closed inter1al [a, b] in f!l is a closed set.
Let us point out that a given subset of fJln need not be either open or closed.
For example, a half-open interval (a, b] in f!l fits neither definition.
One further notion which is useful in studying continuity is that of the
boundary of a set.
A boundary
pointofD
Figure 5.5
Example
The boundary of the ball Nr(z 0 ) is the sphere Sr(z0 ). This is intuitively obvious
and is easily verified by considering the straight line L through z0 and x 0 E Sr(z0 ).
Any ball N'P(x 0 ) contains points on L both inside and outside Nr(z0 ) (Figure
5.6).
Figure 5.6
5.1 Open and Closed Sets in EJln 175
Exercises
(~/J ~ n i~ (xi) 2
(a) {x E PA 3 Ix 1 = 0};
(b) A set consisting of a single point;
(c) {x E fAn I X =F 0};
(d) {x EPA I x = 1/k for some integer k = 1, 2, 3, ... };
(e) {x E PA2 1 x 1 is rational};
(f) N(O) n ii = {x E PAn illxll ~ r and x 1 ::?: 0}.
5. Prove that the intersection of two open sets D 1 and D 2 is an open set.
6. Prove that the intersection of a finite number of open sets is an open set.
7. Show that the intersection of an infinite number of open sets may not be an
open set.
8. Prove that the union of any number (finite or infinite) of open sets is an open
set.
9. I
Prove in detail that {x E PAn x 1 = 0} is closed.
10. Show that a set D is closed if and only if it contains all its boundary points.
11. Show that the union of a set D with the set of its boundary points is a closed
set. (This set is called the closure l> of D.)
Definition Let {x;} be a sequence of points in (f.ln, and let x 0 E !Jtn. We say
that {x1} converges to x 0 ; symbolically,
Lemma 1 The sequence {x;} converges to x 0 if and only if each of the coordinate
sequences {~}f::, 1 converges to x'O,for k = 1, 2, ... , n. -'> : -xj 1
x~ -1 -./-..
J ")
Proof First, if X;--... x 0, then for each k = 1, 2, ... , n, 1 .J
:>t; -: J(>
as j--... co,
so that X; - X 0 I
The reason for the adjective "closed" in the term "closed set" is explained
by the following simple result.
5.2 Sequences and Limits 177
Lemma 2 Let D be a subset of~n. Then Dis closed if and only if every con-
vergent sequence of points in D converges to a point of D.
( ::-2))
Proof Suppose D is closed. Let {x1} be a sequence of points of D, with
lim 1_ 00 x 1 = x 0 If x 0 = D, then x 0 ED'. Since D' is open, there exists a ball
f Nr(x()), r > 0, contained in D'. But each x 1 is in D, so that llx1 - x 0 11 ~ r,
which contradicts the assumption that x 1 ~ x 0 Therefore x 0 ED.
Conversely, assume that every convergent sequence of points in D con-
verges to a point of D. Suppose that Dis not closed; in other words, D' is not
open. Then there is a point x 0 in D' such that no ball Nr(x0 ), r > 0, is contained
in D'. Thus every ball N 111 (x0), j = 1, 2, 3, ... , contains some point x 1 of D.
Since JJx1 - x0 JJ < 1/j, the sequence {x1} converges to x 0 =D. This is a contra-
diction, and therefore D must be closed. I
Example
Theorem 1
lim ~x 1 =~lim x 1
i-+oo i-+oo
as j, k~ oo;
for sufficiently large N. By Theorem 2 the sequence {x;} converges to some point
Xoin (jln , I
Exercises
1. Let X; --
---
( - .j - - ,
J + 1 31
1) 11112
Eon (j = 1' 2, 3, 0 0 .).
lim X; y1 = X0 Yo
i-+ 00
4. If X; = (sin (frr/2), cos (jTT/2)), show that {x;} is bounded and find a
convergent subsequence.
5. Find the set of accumulation points of the sets of Exercise 4, Section 5.1.
for any fixed point z 0 (Hint: Use the "backward" triangle inequality in
~n.)
(b) Prove that ~~ 1 X; converges if ~1'= 1 /lx;/1 does so. (Use the Cauchy
criterion!)
(c) Prove or disprove the converse to (b).
9. A set S in ~n is said to be dense if every nonempty open set D in ~n
contains a point of S.
(a) Show that Sis dense if and only if every point of ~n is an accumulation
point of S.
(b) Show that there is a countable, dense subset of ~n.
t In many texts specia! notations, such as arrows, bars, or boldface type, are used for
vectors. Such notations, although sometimes convenient, are not necessary if the context is
clearly understood.
5.3 Limits and Continuity 181
to indicate that f is a function defined on D and having its values in !Jm. The set
D (which henceforth will always be specified) is called the domain of the function f
The set of values off, namely {f(x) I x E D}, is called the image of D under f and
is denoted by f[D].
The excuse for introducing such general functions at the outset is, first,
that questions about limits and continuity are as easily handled in the general
as in the specific case, and second, that there are many useful applications.
lim f(x) = a
:.e~zo
Notice the similarity of this definition with the definition of limit for an
ordinary function of one variable (Section 2.2). There is one subtle difference,
however. Namely, we are not assuming thatfis defined in some whole neigh-
borhood Nr(x 0 ). Hence, we have added the stipulation "x E D" to the condition
(5.15).
Recall the numerical practice you had in Chapter 2 of calculating b for
given e. Here is a simple 2-dimensional example for you to practice on (don't
be discouraged if it turns out to be tricker than it looks!).
Example 2
Obviously lim<x.vl--+<a.2 > f(x, y) = 49. Given e > 0, determine b so that (5.15)
holds.
182 Chapter Five Limits and Continuity in n Dimensions
Theorem 1
Theorem 3 Let f: D-+ ~m and let g: E-+ ~k, where we suppose that the
image off is contained in E. Iff is continuous at x 0 E D and g is continuous at
y 0 = f(x 0 ), then the composite function g of: D-+ ~k is continuous at x 0
Proof(cf. Section 2.4) Let e > 0. Then there exists 151 > 0 such that
llg(y)- g(y0)11 < e for ally E E with lly- Yoll < 151.
Also, there exists 15 2 > 0 such that
llf(x) - f(x 0)11 < 151J for all xED with llx - Xoll < 152.
'-
Hence, xED with llx- x 0 ll < ~ 2 implies that
llg(f(x)) - g(f(xo))ll < e. I
t Note that f g: D- B1
5.3 Limits and Continuity 183
The following result states that addition and multiplication are continuous
operations.
<. ;J I
Theorem 4 The functions f -z_ . /<.. -7/'-
h(x,y) = x + y, fix,y) = xy
are continuous as functions of two variables (that is, as functions defined in &? 2).
&- ~ ll-"') : ~) : "'. -,r<.l
Proof Let ~(x, y) = x and 'Y(x, y) = y. It is obvious from the definition that
~ and 'Yare everywhere continuous. Since f 1 = ~ 'Y and f 2 = ~ 'Y, Theorem +
2 implies that h and h. are continuous. I
oM- ~U ,, -=. t,", ( .. ,;(0 cP(Yu; &;u)
Example 3 ('00H (X<,) '1o) \ J' ,li j-) '. "1 1.)
The proof of (ii) is easy : use the elementary inequality 2 lxyl :::;:; x 2 +y 2
To check (i), consider points (x , ax), where a = const. We have
a
f(x, ax) = - - 2 ,
1 +a
which is constant (see Figure 5.7). Now ax---.. 0 as x---.. 0, so that if
lim f(x,y)
(X.Y )--> (0.0)
for any a. But this value varies with a; for example, it equals 0 if a= 0 and 1/2
if a = 1. Hence (i) is proved.
The definition of continuity used so far has been in terms of limits. However
there is another important characterization of continuity in terms of "inverse
i!llages" of open sets, which we give now. Given the function f, by the inverse
image of a set U, we mean the set
Theorem 5 Let D be an open set in f!Jtn and let f : D ---.. f!Jtm . Then f is con-
tinuous on D if and only if the inverse image f -l[ U] of every open set U in f!ltm
is an open set in f!Jtn.
Proof First, suppose fis continuous on D. Let U be an open set in f!Jtm and let
x 0 EJ-1 [U]. Then y 0 = j(x0 ) E U, and since U is open, there is a neighborhood
N,(y0 ) c U. Since f is continuous at x 0 , there is a number o > 0 such that
llf(x)- j(x0 )11 < e, provided llx- x 0 ll < o. This implies that
Example 4 \'\:.. 1
1 ~
X~ \R~} (~ (u~.J
1
D- "' I'<': 1 \hm t.{-;;.) k S" 6r U: lZ
Letf(x,y) = x 2 + 4y 2
be defined on ~ 2 Then the inequality ,, ~('-"..-
_, /--~} 1 - ~
X
2 + 4y 2
<
4
-'-V f::\, ~-~r\---,-,rt
- L-,-,-+ -1 - /2 ;.r
determines an open set in ~ 2 , since this set is just the inverse image of the open
interval (-oo, 4). -+~ ' (_
~ 1 q) ~ i_ {_'X 1'1) e lt1 .f:;;(J'/'1) e (-o?; l.!)f ~;C) l
It can also be easily shown that the inequality
x2 + 4y2 ~ 4
'
(11\
(
.e \'; ' <" (A)IV /)
l
-cn-t ..-l ! ) O'f/'1'
determines a closed set in ~ 2 !'A similar sit:~ation prevails for any continuous
functionf:~n-+ ~.
We conclude this section with some examples of functions from ~n to
~m, m 9= 1.
Example 5
I }
J-Gc !?, 1 t : 14 fR I h"'
Consider the curve f: [0, 21T] -+ ~ 3
given by
jl(t) =cost,
f2(t) = sin t,
f3(t) = t.
x'
'
D .' s
/
I
-
X'
x'
Example 6
\o1 \<t-
b = [ o 1 l1T1;x::[o 11f1
Let D be the rectangle 0 S: () S: 21r, 0 s; cp ~ 1r. Consider the function
f: (D uS)- Pl3 given by Equations (5.14). Notice that
so that all points "on" the surface f lie on the unit sphere in Pl3 (Figure 5.9).
x'
7T
-
()
f
27T x'
Conversely, by trigonometry one can easily see that every point on the uriit
sphere is the image of some point (0, c/>) of D u S. The function fin fact could
be used to construct a map of the globe (but most actual maps utilize more
complicated functions than this). The coordinates (0, c/>) associated with a given
point x, when expressed in degrees, are the longitude and colatitude of x,
respectively.
The functions of the last two examples are not only continuous but also
infinitely differentiable, .since the trigonometric functions used in their con-
struction are infinitely differentiable. In the early days <>f calculus, it was more
or less tacitly assumed that all continuous functions were infinitely differentiable.
Of course the function lxl is a simple counterexample to this assumption.
Weierstrass jolted the mathematical world in 1872 when he published his ex-
ample of a continuous function f: Bl __.. Bl which was nowhere differentiable.
Soon after, G. Peano (1858-1932) administered another shock with his "area-
filling curve," consisting of a continuous functionf: [0, 1] __.. Bl2 , whose image
is an entire square. Modern versions of these examples are given in Section 5.5
below:
Exercises
1. Let f(x 1 , x 2) = lx1 + x 2 1. Given x 0 e Bl2 and e > 0, determine <5 >0
such that 1/(x) - f(x 0)1 < e for llx - x0 ll < <5.
where 0 :::;:: 0, c/> :::;:: 217. Sketch the surface and its "coordinate curves"
0 = const., and cf> ~ cons~.
188 Chapter Five Limits and Continuity in n Dimensions
5. If x 1 , x 2 are given points of !Jin, find a curvef: [0, 1]-+ !Jin which corre-
sponds to the straight line segment from x 1 to x 2
7. Letf: !Jin-+ fJi be a continuous function on !Jin. Show that for any con-
stant c,
8. Describe the following sets geometrically, and determine whether they are
open, closed, or neither.
(a) {(x,y) E &i 2 j xy > 1},
(b) {(x,y)E&i 2 jx<y ~x+ 1},
(c) {(x, y, z) E &i 3 j x + y + z ~ 1 and x 2 0, y 2 0, z 2 0}.
9. Show that the image of a curve f: [a, b]-+ !Jin is a bounded set in !Jin.
(See Exercise 6.)
10. Prove that "division is a continuous operation" with the obvious proviso.
Proof Suppose first that D is compact. Then any sequence {x1} in Dis bounded
and must have a convergent subsequence {x1.} by the Bolzano-Weierstrass
theorem. Since D is closed, the limit of this subsequence is a point of D.
Conversely, suppose every sequence in D has a subsequence converging to
some point of D. In particular, given x 1 ED, if x 1 -+ x 0 asj-+ oo, then x 0 ED;
this shows that D is closed. If D is unbounded, then there is a sequence {x1} in
D with ll x1 11 -+ + oo. Clearly {x1} can have no convergent subsequence. There-
fore D is also bounded. I
The next theorem generalizes the fact that a continuous function on a closed,
bounded interval is bounded, to the case of a continuous functionf: D-+ tnm.
Proof Suppose first that f[D] is not a bounded set. Then there must exist a
sequence {x1} in D such that llf(x1)11 -+ oo as j-+ oo. Let {x1.} be a subsequence
of {x1} converging to a point x 0 E D. Since f is continuous at x 0 , we have
f(x;k)-+ f(x 0 ) ask-+ oo, so that
Let us recall the case of an ordinary, continuous function f : [a, b}-+ tn.
For locating points x 0 of maximum or minimum values ofj(x), there are three
190 CluJpter Five Limits and Continuity in n Dimensions
alternatives:
of (xo, Yo)
(2) ;- d f(x, Yo) 1
= d- = 0 and
uX X <~:=<~:o
Of
uy
(xo, Yo) = dd f(x
Y
0, y) I
v=vo
= 0, or
Proof Unravelling the logic, we see that what we must prove is: if (x 0 , y 0 ) is
an interior point of D (that is, N.(x0 , y 0 ) c D for some e > 0) and if the partial
derivatives
of of
ox (xo, Yo) and oy (x 0 , y 0)
exist, then these derivatives vanish. But this is fairly obvious; consider, for
example, the functionf(x, y 0) (y 0 being fixed). This function of xis defined for
lx - x 0 1< e and has a maximum at x = x 0 Hence its derivative, which is
pecisely of! ox, vanishes at (x0 , y 0 ). Similarly ofjoy vanishes at (x0 , y 0). (See
Figure 5.10.) I
t The expressions offox(xo, Yo) and offoy(xo, Yo) are called the partial derivatives off
with respect to x andy, respectively, at the point (xo, y 0). Note that off ox is calculated simply
by differentiatingf(x, y) with respect to x, treating y as a constant.
5.4 Properties of Continuous Functions 191
Figure 5.10
Example
Solution Note first that the inequality x 2 + 4y2 :;;: 4 determines a closed,
bounded (that is, compact) set, so thatfhas a maximum and minimum.
Checking for vanishing of partial derivatives, we have
of = 2x and of = 1.
ox oy
Since offoy never vanishes, and since offox and of!oy exist everywhere, the
only possibility is that the maximum and the minimum occur on the boundary
curve x 2 + 4y 2 = 4.
Substituting x 2 = 4 - 4y2 , we are left with the problem of finding the
maximum and minimum of the function
Solving this simple problem of ordinary calculus, we find that g(y) has a maxi-
mum at y = 1/8, with g(1/8) = 65/16, and a minimum at the end pointy = -1,
withg(-1) = -1.
192 Chapter Five Limits and Continuity in n Dimensions
Therefore,
The proofs of these three theorems (as well as the required definitions of
uniform continuity and so forth) are virtually identical to the corresponding
proofs in Chapter 3. You are asked to locate these proofs and carry out the
required modifications.
Theorems 5 and 6 will be used in Section 5.5 to construct some extremely
bizarre continuous functions.
Exercises
2. Show that a curve joining two points in !Jn is a compact set. (Literally
speaking, this is false; correct this statement and then prove it.)
5.5 Two Famous Examples 193
- /l-t I /
00
f(x) =I w-kh(10kx). (5.16)
k=O
where
a., + 1 if a .. i= 4 or 9,
b = {a.. - 1 if a..
n = 4 or 9.
Then x .. - a= to-n, so that x .. -. a as n-. oo.
We are going to prove that
10-k( l()k'-n)
10
_k h(10kxn)- h(10ka) = o-n
1
= 1 if 0 :::;;: k < n,
x -a {
n 0 if k ~ n.
Therefore, finally,
and this value is an even or odd integer, when n is even or odd, respectively. I
Weierstrass' original example was a trigonometric series,
<Xl
This seems even more audacious than Van der Waerden's example, because
each of the summands an cos bn 1TX is infinitely differentiable, but still the sum
is nowhere differentiable. Many important developments in analysis have arisen
from the study of trigonometric series.t
We come now to the "area-filling curve" of Peano. This example, like the
previous one, is constructed as the uniform limit of a sequence of continuous
functions, in this case curvesfn:[O, 1]-+ D, where Dis the unit square 0 :::;;: x,
y :::;;: Lt [ Cl 1 :}'L
The c~e h is defined as shown in Figure 5.12; it joins the point (0, 0)
to (1, 1). Each of the 9 segments ofh is taken as a linear function on the corre-
sponding interval
k-1
[ ~~
k]
',9- ' k =
/
1, 2, ... )/~
)
This describes h uniquely.
The curve / 2 is constructed by replacing each segment of h by a curve ex-
actly likeh itself, but scaled down suitably; see Figure 5.13. Thusf2 has 92 = 81
L
Figure 5.13 The curve f 2 Y10 ~ "' r,r ~ S
J.
o 1 h 1 c 1 ,e 1 b 1 { 1 0 1 el;
linear segments, and passes through the same 101'corni_p_s>~ts of h with the
same values t = kf~ of the parameter tat each corner point. It follows that
3
,
f f. ,f ;,t
From this it follows that {fn} say /ties the uniform Cauchy condition, and
therefore fn ~ f uniformly as n oo, where f is a continuous curve in D.
We propose to show that the im geoff is the entire square D.
Let x E D. If xis the corner, oint of one of the squares of side 3-k obtained
in the construction of the curves {fn}, then x lies on the graphs of all the curves
fk ,fk+1, . .. and we have
for some t 0 E [0, 1]. Hence,f(t0) = x, so that x lies on the graph off
If x is not the corner point of any square obtained in the construction,
then for each n, x will lie in such a square Qn of side 3-n. We can suppose that
Qn+1 c Qn for all n, and we have
co
nQn = {x}. (5.18)
n=l
II I
Outside
I I
i
Outside Inside
curve does not intersect itself.) Peano's curve (which could easily be made
closed) is very far from being a simple curve: it intersects itself infinitely often.
\!\~'( ,c_ ;<: -~\ cA "'q;\e( tAi11) ~VIM P uf0e r [ ov- r> "+ )
Exercise;~
1. Using the notation of the Theorem of Van der Waerden and taking a = 0,
_V\
(a) find Xn(n = 1, 2, 3, . . .); + \U
(b) find h(lOkxn) - h(lOka);
0
f (x) -f(a)
(c) show that n = n.
Xn- a
4;. Show how to- construct a space-filling curve whose image is the cube
0 ~x,y,z:::;;; 1.
I;), ) K '? "" ""-) [ I, D\C- "' J ;: _ l Of<- V\ .,. 1 i,., :::_ 0
<:.-"'
[0 , .r (,P
;;;; o-J ;' ' '- ,_1
' '!...
Vi- I
)(- !.,
-1"-th
(c) ~
o-1
D ' -:J - 2() (t) -- 1_. I .1.. .. ~ r, l
<- ..., N/ , 't.(l<'
:: V\( ~
'
[ Logic
is a true statement (as could be proved from the axioms and definitions of
arithmetic). The statement
x 2 < 1,
201
202 Appendix One Logic
If A is true, then ,_,A is false, and moreover, if A is false, then ,_,A is true.
The operation of negation can be described by the following simple
"truth table."
ill F
T
A &B = A and B.
Whether the statement A & B is true or false depends on the truth of falsity of
A and B. We define A & B to be a true statement if and only if both A and B are
true. The truth table for A & B is, therefore, the following.t
A B A&B
T T T
F T F
T F F
F F F
A vB = A or B.
t The arrangement of the truth columns for A and B in this table is standard and is
used in all truth tables. It can easily be expanded to construct truth tables with several state-
ments A, B, C, .
1.1 Logical Connectives 203
A B AVB
T T T
F T T
T F T
F F F
A B A==> B -
T T T
F T T
T F F
F F T
Some readers may disagree with this table at fir~t, especially with the last row,
which says that "false implies false is true." Thus the statement
3+1=7:::>6-1=8
6 + 1 = 3 + 3 + 1 = 3 + 7 = 10.
Therefore 6 - 1 = 6 + 1 - 2 = 10 - 2 = 8.)
A statement P constructed from various substatements A, B, C, ... ,
and which is true no matter whether A, B, C, .. . are true or false, is called a
tautology.
t Everyday language uses both inclusive and exclusive disjunction, so that ambiguity can
arise. To avoid ambiguity, some authors are reduced to using the phrase "and/or" to indicate
inclusive disjunctions.
204 Appendix One Logic
Example 1
T T T T T
F T T F T
T F F F T
F F T F T
Since the final column contains only "T's," the given assertion is a tautology.t
Two statements P and Q, constructed from the same substatements A,
B, C, ... , are said to be logically equivalent if they have identical truth tables.
In this case we write P =
Q, or P <;::> Q.
Example 2
T T T F F F F
F T T F T F F
T F T F F T F
F F F T T T T
Since the columns for .-(A v B) and (.-A) & (.-B) are identical, we have
proved the equivalence of these statements.
t Note that this verification is completely routine. In fact, it is easy to program a computer
to verify tautologies.
1.1 Logical Connectives 205
Exercises
5. The statement B => A is called the converse of the statement A => B. Show
that a statement and its converse are not logically comparable.
206 Appendix One Logic
6. Show that the logical connectives of implication and conjunction (for ex-
ample) could both be dispensed with in logic.
1.2 Quantifiers
LetS denote a given set; xES means that xis a member of S. Let A(x)
denote an assertion about x; for each choice of x, the assertion A(x) is either
true or false.
We can consider the statement
I. V XES, A(x).
The phrase "for all," or "for every," (V) is called the universal quantifier. The
statement V xES, A(x) is said to be true provided, naturally, that A(x) is true
for every choice of x inS. If Sis a finite set, say
The phrase "for some," or "there exists," (3:) is called the existential quantifier.
The statement 3: xES, A(x) is true provided that A(x) is a true statement for
at least one x in S. If Sis finite,
Example 1
Let FA denote the set of all real numbers, and !2 the set of all rational numbers.
We ask the reader to decide on the .basis of his experience in mathematics,
whether the following statements are true or false.
x>2
makes no sense by itself, but only makes sense if the meaning of xis specified.
Another example:
x > 2=>x2 > 4;
The latter statement makes sense and is true. Unwritten quantifiers of this kind
occur frequently in mathematical writing; they are acceptable provided the
context is absolutely clear.
The second rule is that a quantified variable is a "dummy" variable and can
be replaced (in all its occurrences) by any other variable symbol. For example,
Y e > 0, 3 ~ > 0, Y x E fJl, (0 < lx- al < ~ => lf(x) - Ll < e). (2)
Example 2
Example 3
Consider the (false) statement (b) of Example 2. The negation of this statement
is:
(We could prove that this negated statement is true as follows: let y E &I. Take
x = - y; then x +
y = 0 =:f= 1.)
Exercises
1. Determine which of the following statements are true. (&I denotes the set of
real numbers, JV the set of all integers.)
2. Consider the assertion "every real number is smaller than some integer."
Express this in formal notation, and decide whether it is true or false.
4. Negate the following statements; decide whether each given statement or its
negation is true.
1
(e) V X E &/, V y E &/, xy =I= 0 ~ - + -1 = -1- .
x y x+y
1.3 Proof
I
;:.
Example
Exercises
Prove the following theorems. At each step indicate whether the statement is an
axiom, definition, known theorem, or a logical step. Identify all tautologies
used in the logical steps.
I. 2+2 = 4.
2. V n e.AI', n odd~ n2 odd.
].
to denote the set of all members of X for which p(x) is true. For example,
{x E ~I x 2 < x} (read : the set of all x in ~such that x 2 < x) can easily be
seen to be equal to the interval
1. I
Union: A U B = {x EX (x E A) v (x E B)}.
2. Intersection: An B = {x EX (x E A) & (x E B)}.I
3. Complement: A' = {x EX ,..._,(x E A)}.I
Note that these operations correspond to the basic logical connectives "or,"
"and," and "not." The connective "implies" also has a role in set theory, as
follows .
Vx E X, (X E A) => (x E B).
V X E X, (x E A)<=> (x E B).
(i) (A')' = A.
(ii) A u A'= X,
A n = 4> (the empty set).
A'
(iii) A u
(B u C) = (A u B) u C,
A n (B n C) = (A n B) n C.
(iv) (A U B)'= A' n B',
(A n B)' = A' u B'.
(v) A u (B n C) = (A u B) n (A u C),
A n (B u C) = (A n B) u (A n C).
214 Appendix One Logic
The set A is called the domain off, and B is called the range off
Iff is a function from A to B, we write
f:A---+-B.
Example
Let A= B = !?l an_d consider the setf of all ordered pairs (x, x 2) for x E !J.
This set satisfies the definition of a function, and we writef(x) = x 2
Exercises
1. Prove the set identities (i), (ii), (iii), and (v), identifying the tautologies
used.
(b) ( U
J.eL
A;.) 11 B = U (A;.
J.eL
11 B).
4. UA;. =?
).e.
5. Letfbe the set of all pairs (x, y) with x E EJt, and with
Calculate /(t),JCf),f(/2).
T = {x E f/ I,_,(x Ex)}.
Example 1
The values of the sums given above are 385 and 338,350, respectively.
The question now is, how can Formula (11.1) be derived? The truth is that
it's tricky to discover such formulas, although guessing sometimes works.
Let's suppose we obtain (11.1) by guessing. Next question: is the guess correct?
216
11.1 Mathematical Induction 217
First we can check a few special cases (we may soon discover if (11.1) is wrong!).
n 2 3 5 IO etc.
I2 + 22 + 32 + ... + n2 5 14 55 385 ?
Is this table a proof of Formula (II. I)? No. (Remember the "physicists' proof"
that every odd integer is a prime: "3 is a prime, 5 is a prime, 7 is also, 9 is an
experimental error, but II is prime, 13 is prime, and so on.")
Here's how to prove (11.1); note that we are trying to prove that (11.1)
holds for every positive integer n. Suppose not. Then there exists a positive
integer N 0 such that (11.1) is false for n = N 0 Let N denote the first (smallest)
positive inte.ger for which (II.I) is false. Then:
(a) N > I, because (11.1) is surely true if N = 1.
But this shows that (11.1) is true for n = N, in contradiction to (c). Therefore,
we have proved that Formula (11.1) must hold for every n.
The proof just given is an indirect proof by mathematical induction.
("Indirect" means by contradiction.) We could have given a direct proof, as
in Example 3 below.
Example 2
It is well known that the sum of the interior angles of any triangle is I80-see
Figure A.l.
218 Appendix Two Mathematical Induction
------?i--~-y
_# _______ _
a {3
----- ' -----
a+ {3 + y = 180
Figure A.l
(a) (b)
Figure A.2
Question: What is the sum of the interior angles of a convex polygon with n
sides? A good student should be able to figure this out, so read no further until
you've tried.
Now let us try to guess the answer. Taken = 4 first. By Figure A.2(a), the
sum of the interior angles is obviously 2 x 1&0 (why?). But now take n = 5
(Figure A.2(b)). The interior angles obviously total 3 x 180. We can guess that
generally :
But this is more than a guess-we can easily see why it is true for every n.
Namely, every time we increase n to n + 1 we add another triangle, so that the
interior angles increase by 180. Since the formula (n - 2) x 180
Example 3
I + 2 + 3 + + k = !k(k + I).
Let us repeat: in order to prove the statement "Pn is true for all integers
n :::2: 1" (that is, "V n 2 I, P n") by mathematical induction, we must do the
following:
(i) check that P 1 is true,
(ii) prove that for every integer k :;;::: I, if Pk is true then so is Pk+l
t In precise logical terms, Condition (ii) says: for all k ;::::: 1, Pk implies Pk+t
t "Induction" means the same as "mathematical induction."
220 Appendix Two Mathematical Induction
m
.2 ak = an + an+l + ... + am. (11.3)
k=n
Exercises
3. Show that
5. Note that
1 = 1,
= -(1 + 2),
1- 4
1 - 4 + 9 = 1 + 2 + 3,
1 - 4 + 9- 16 = -(1 + 2 + 3 + 4).
a
!n kak = [nan+l - (n + 1)a + 1].
11
k=l (1 - a) 2
8. Prove that if 0 < x < 1, then 0 < xn < 1 for every positive integer n.
10. Show that if n straight lines are drawn in the plane, then the total number
of intersections cannot exceed !n(n - 1).
11. Using the product rule of calculus, D(uv) = uD(v) + vD(u), show by
induction that
14. Inductive proofs don't always have to begin with n = I; often we wish to
prove a statement: P .. for all n ;::::: N 0 (See Example 2 and Exercise 12.)
State a more general form of the axiom of mathematical induction to cover
such cases. Can you prove that the general form is a consequence of the
original form?
*16. Show that the axiom of mathematical induction implies Axiom X, so that
these two axioms are logically equivalent.
222 Appendix Two Mathematical Induction
*18. Show that the sum of the digits in any multiple of9 is divisible by 9.
19. n straight lines (extending t<;> infinity in both directions) are drawn in the
plane. The resulting configuration is to be colored like a map-no two
"countries" with a common border may have the same color (but two
countries which meet at a single point can have the same color). Prove that
only two colors are needed.
Example
It is easy to calculate a few values of xn and then to guess and prove the general
formula:
x3 = 7,
Exercises
1. Define Xn (n = 1, 2, 3, ... ) by
1
x1 = 1; Xn+l = Xn - n(n + 1) .
Determine xn explicitly.
1
Xn+l = 1
+ Xn (n 2 1).
Check that the first few terms of this sequence are {1, t, f, t, f, ... }. Now
show by induction that
3. Define the symbol !;=1 ak by induction. (The sequence {ak} is assumed given
in advance.)
4. Define n! by induction.
6. Prove the strong form of the axiom of mathematical induction from the
original form (Section ILl). (Hint: Let Pn satisfy the hypotheses of the
strong form, and let Qn denote the statement "Pk is true for 1 :::;: k :::;: n."
Show that Qn is true for all n.)
Wanted: a formula for (a + b )n, valid for all positive integers n. Examples:
(a + b) = a + b,
1
(a+ b) = a + 2ab + b
2 2 2
,
(a+ b) = a + 3a b + 3ab + b
3 3 2 2 3
,
(a + b) = a + 4a b + 6a b + 4ab + b
4 4 3 2 2 3 4
n
(a+ bt = 2Ckan-kbk;
k=O
n!=123n;
also by definition
0! = 1.
(~)
n!
k!(n- k)!
11.3 The Binomial Theorem 225
These 'numbers are called "binomial coefficients" because (we will show)
ck = (~)
Lemma
(11.4)
(11.5)
Proof By inspection, the formula is valid for the case n = I. To complete the
proof we use mathematical induction. Thus (changing notation slightly from
Section II.l) let us suppose (11.5) holds for n. We must deduce that the formula
holds for the next case, n + 1. We have
This is indeed the formula (11.5) for the case n + 1, and the proof is complete. I
226 Appendix Two Mathematical Induction
Example
(n = 0)
1 (n = 1)
1 2 1 (n = 2)
Pascal's triangle
1 3 3 1 (n = 3)
4 6 4 1 (n = 4)
1 5 10 10 5 1 (n = 5)
Exercises
3. Find
(a) the 4th term in the expansion of (IX + ef3)1,
(b) the constant term in the expansion of ( x 2 - ~s.
(c) the coefficient of x 4 in the expansion of (x2 + y)
7
5. Prove that
(Dn stands for the nth derivative, that is, Dnw = ~:~ )
*7. State and prove the trinomial theorem.
Solutions to Selected Exercises
Solutions are given only for exercises that have explicit numerical or logical
answers, and not for exercises requiring proofs or estimates.
Chapter 1
Section 1.1
Section 1.2
229
230 Solutions to Selected Exercises
Section 1.4
Section 1.7
I
IO. No. Example: xn = O,yn = -.
n
Section 1.10
3. +oo.
Section 1.12
Chapter 2
Section 2.1
Se~tion 2.3
1. (a) - oo, (b) + oo, (c) -I/2, (d) + oo, (e) 0, (f) 0,
(g) 1Tj2, (h) -00.
Section 2.4
3. Removable.
Section 2.5
(d) x = 0 and x = 2.
Chapter 3
Section 3.2
(g) min = sin x 0 fx0 , where x 0 is the first positive solution of the
transcendental equation tan x = x (x 0 R:J 4.493).
Section 3.3
I. (a) [-1, +1], (b) The empty set, (c) &I' (d) {0}.
Chapter 4
Section 4.1
l. ~ = af4; yes.
Section 4.2
1. U 11 (f)= (n +
1)(2n + 1)/6n2 ; L 11 (f) = (n- 1)(2n- 1)/6n2 ;
limits are both 1/3.
2. 7T = {0, 1, 2, ... , 10}.
Section 4.3
l. (a) 2e-4x",
Section 4.4
1. p > -1.
2. p < -1.
Section 4.5
Section 4.6
2. (a) 1, (b) 1/2, (c) 1, (d) +oo, (e) 1/2, (f) 1/e,
(g) 1, (h) Not a power series (converges for lxl > 1).
Section 4.7
(c) J 0
x 2k/<2k)!.
234 Solutions to Selected Exercises
co
3. 'La 1x 1, where a 2k = ( -l)k(sin x 0)/(2k)! and a 2k+l = ( -l)k(cos x 0)/(2k + 1)!
0
7. (b) 0.90433.
8. 0.737.
Chapter 5
Section 5.1
Section 5.2
Section 5.3
4. [This is a torus.]
Section 5.4
(b) Let oc. = -./ ((-./ 5 - 1)/2). Then Jmax = J( oc,-./ (I - oc.2)) = oc-./ (I - oc.2)
Solutions to Selected Exercises 235
(c) f min= j(x, 0) =f(O,y) = 0 (for arbitrary x,y ::2: 0); /max= j(IJ.J2,
I//2) = lf2e,
(d) /min= j(l/5, 2/5) = 1/5; there is no max.
Appendix I
Section 1
Section 2
Section 4
237
238 Index