
but it was always considered self-evident on geometric
grounds. Bolzano realized that the theorem must
depend on both the properties of the functions under
consideration and on the completeness property of the
real numbers. Here, for the first time, we find explicit
awareness that a completeness property of the real
number system requires proof.
One of Bolzano’s approaches to completeness was
the least upper bound property of the real number
system. Let S be a bounded set of real numbers. A
number U is said to be the least upper bound of S if U is
the least number such that x # U for each x in S.
For example, if S 5 fx 2 R : x
2
, 2g, then every ele-
ment x of S satisfies jxj,
ffiffiffi
2
p
,so
ffiffiffi
2
p
is an upper bound
of S. It is not hard to show that no smaller number is an
upper bound of S.
The least upper bound property states that every
nonempty set of real numbers that is bounded above
has a least upper bound. The rational number system Q
does not have this property. For example, if
S
0
5 fx 2 R : x
2
, 2g, then every rational number larger
than
ffiffiffi
2
p
is an upper bound but not a least upper bound.
The Least Upper Bound Property, the Monotone
Convergence Property, and the nested interval prop-
erty, which was discu ssed in the Genesis & Development
for Chapter 1, are equivalent properties of the real
number system.
Bolzano’s position was Professor of Theology at
the University of Prague. However, after 1819 when he
was dismissed for heresy, he was subjected to police
supervision, and his writing was curtailed. In addition
to his careful derivation of the Intermediate Value
Theorem from the least upper bound property of the
real numbers, he made several original discoveries
concerning the foundations of mathematical analysis.
Nevertheless, because he worked and published in
relative obscurity, his ideas did not receive their due
until long after his death.
Cauchy and Weierstrass
Credit, if not priority, for the movement toward rigor in
calculus must be given to Augustin-Louis Cauchy, the
most prominent mathematician in the greatest center
of mathematics of his day. His Cours d’Analyse (1821)
and subsequent Ecole Polytechnique lecture notes
alerted a generation of mathematicians to the possibi-
lity of attaining a rigor in calculus that was compar able
to that of classical geometry. Although the verbal
definition of “limit” that Cauchy gave in his Cours was
scarcely better than that given by his predecessors, and
certainly worse than that given by Bolzano, it is clear
from his translation of his verbal definition into math-
ematical inequalities that he meant exactly the defini-
tion of limit as given in Section 2.2. Indeed, it was
Cauchy who introduced the symbols and ε and δ (with
ε standing for “erreur” and δ for “diff
´
erence”). Many of
the theorems of calculus received their first modern
formulations in Cauchy’s work.
A completely correct presentation of the founda-
tions of calculus was finally given by Karl Weierstrass.
We have already mentioned Weierstrass in the Genesis
& Development for Chapter 1 in connection with his
construction of the real number system. Weierstrass had
an unusual career as a research mathematician. Born in
the village of Ostenfelde, Weierstrass entered the Uni-
versity of Bonn in 1834 as a law student. He did not
begina serious study of mathematics until 1839, when he
was 24. From 1840 until 1856, Weierstrass taught science,
mathematics, and physical fitness at a high school. He
became a professor at the University of Berlin in 1864, at
the relatively advanced age of 49. It was in his lectures at
the University of Berlin that Weierstrass clarified the
fundamental structures of mathematical analysis. Of
primary importance in this regard was Weierstrass’s
careful delineation of different types of convergence. In
the words of David Hilbert (18621943),
It is essentially a merit of the scientific activity of
Weierstrass that mathematicians are now in com-
plete agreement and certainty concerning types of
analytic reasoning based on the concepts of irra-
tional number and, more generally, limit.
At one time, mathematical theory required suc-
cessive revision as mathematicians delved deeper into
existing theory. The formulation of a precise definition
of limit has given a permanent character to the foun-
dation of calculus.
162 Chapter 2 Limits