Skip to article frontmatterSkip to article content
Site not loading correctly?

This may be due to an incorrect BASE_URL configuration. See the MyST Documentation for reference.

Why this matters

Calculus is about quantities that change without jumps: the position of a car, the temperature of a cup of coffee, the area under a curve. To describe them we need a number system with no gaps, and fractions are not enough.

Draw a square whose sides have length 1. By Pythagoras’ theorem its diagonal dd satisfies d2=12+12=2d^2 = 1^2 + 1^2 = 2. Is dd a fraction? We prove below that it is not: no fraction squares to 2. Yet the diagonal certainly has a length, and swinging it down onto the number line marks a definite point on it. The real numbers are the number system in which every point of the line is a number, and so every length is one.

A unit square standing on the number line between 0 and 1, with its diagonal drawn from 0. A dashed arc of radius equal to the diagonal swings it down onto the line, where it lands at a point between 1 and 2.

Figure 1:The diagonal of the unit square has length 2\sqrt{2}. Swung down onto the number line, it marks a point between 1 and 2 that no fraction reaches.

The second half of this page is a language for sets of real numbers. Calculus keeps asking for which xx something holds: x−1\sqrt{x - 1} is defined exactly when x≥1x \ge 1, and a function may increase only for xx between two values. Intervals and set-builder notation say such things briefly and precisely.

The number systems

We use four number systems, each contained in the next:

N⊂Z⊂Q⊂R.\N \subset \Z \subset \Q \subset \R .

Every integer nn is rational, because n=n1n = \frac{n}{1}. The number 2\sqrt{2} is irrational (Theorem 1 below), and so is π\pi, although that proof is harder and we do not need it.

Decimals. Every real number has a decimal expansion, such as 14=0.25\frac{1}{4} = 0.25, 13=0.333…\frac{1}{3} = 0.333\ldots or 2=1.41421…\sqrt{2} = 1.41421\ldots. A bar marks a block of digits that repeats for ever: 0.3‾=0.333…0.\overline{3} = 0.333\ldots and 0.125‾=0.1252525…0.1\overline{25} = 0.1252525\ldots. The decimals tell rational and irrational numbers apart:

So the irrational numbers are exactly the real numbers whose decimals go on for ever without repeating. A decimal approximation such as 2≈1.4142\sqrt{2} \approx 1.4142 is a rational number close to 2\sqrt{2}, never 2\sqrt{2} itself.

Order. For any two real numbers aa and bb, exactly one of a<ba < b, a=ba = b and a>ba > b holds; on the number line, a<ba < b means that aa lies to the left of bb. We write a≤ba \le b for “a<ba < b or a=ba = b”.

Every inequality on this site rests on the rules below. Four of them are axioms of the order: like the rules of arithmetic, we take them as defining properties of R\R (the rigorous track says more in Remark 5). The others follow from the axioms, and each comes with its reason.

Sets and intervals

A set is a collection of objects, its elements. We write x∈Ax \in A for “xx is an element of AA” and x∉Ax \notin A for its negation. A small set can be listed in braces, as in {1,2,3}\{1, 2, 3\}. Most sets in calculus are described by a condition instead, in set-builder notation:

{x∈R:x>0}\{x \in \R : x > 0\}

is read “the set of all real numbers xx such that x>0x > 0”. The empty set ∅\emptyset has no elements. For sets AA and BB:

NotationRead asIts elements
A⊆BA \subseteq BAA is a subset of BBevery element of AA is an element of BB
A∩BA \cap BAA intersect BBthe xx with x∈Ax \in A and x∈Bx \in B
A∪BA \cup BAA union BBthe xx with x∈Ax \in A or x∈Bx \in B (or both)
A∖BA \setminus BAA minus BBthe xx with x∈Ax \in A and x∉Bx \notin B

The sets of real numbers that calculus uses most are intervals: all the numbers between two endpoints, or all the numbers on one side of a point.

In words. A square bracket means that the endpoint belongs to the interval, a round bracket that it does not. The symbols ∞\infty and −∞-\infty are not real numbers: they only say that the interval has no end on that side, so they always get a round bracket. We ask for a<ba < b so that every interval contains more than one number.

Example. {x∈R:−1≤x<3}=[−1,3)\{x \in \R : -1 \le x < 3\} = [-1, 3) contains −1{-1}, 0, 2.9 and 2\sqrt{2}, but not 3. On the number line we draw the included endpoint as a filled dot and the excluded one as a hollow dot (Figure 2).

Two number lines marked from −2 to 4. On the first, a thick segment runs from −1, drawn as a filled dot, to 3, drawn as a hollow dot. On the second, a thick ray starts at a hollow dot at 2 and continues past 4 with an arrow.

Figure 2:The interval [−1,3)[-1, 3) (top): the filled dot shows that −1{-1} belongs to it, the hollow dot that 3 does not. The interval (2,∞)(2, \infty) (bottom) starts just after 2 and has no right end.

Non-example. An interval has no gaps: if two numbers lie in an interval, so does every number between them. The set {x∈R:x≠0}\{x \in \R : x \ne 0\} is therefore not an interval: it contains −1{-1} and 1 but not 0, which lies between them. It is the union (−∞,0)∪(0,∞)(-\infty, 0) \cup (0, \infty) of two intervals. The set Z\Z of integers is not an interval either: it contains 1 and 2 but not 1.5.

Main results

We use square roots throughout calculus, and the next pages cite this fact about them.

The proof below uses two facts about whole numbers:

Here, as in Remark 2, we have taken from school that 2\sqrt{2} exists: that there is a positive real number whose square is 2. The rigorous track shows that this is exactly what the completeness of R\R guarantees, and what Q\Q lacks, and proves Remark 2 for every y≥0y \ge 0.

Worked examples

Common mistakes

Rigorous track

What makes R\R different from Q\Q? Both allow the four arithmetic operations, and both are ordered. The difference is that R\R has no gaps, and to say this precisely we need upper bounds and suprema.

In words. An upper bound lies on or to the right of every element of SS. For example 1, 2 and 100 are upper bounds of [0,1)[0, 1), and 0.9 is not, because 0.95∈[0,1)0.95 \in [0, 1). Lower bounds and bounded below are defined in the same way with s≥us \ge u, and a set is bounded if it is bounded above and below.

In words. The supremum is the smallest upper bound. It need not belong to SS: sup⁡ [0,1)=1\sup\, [0, 1) = 1, because 1 is an upper bound and every number u<1u < 1 fails to be one (the number max⁡(0,u+12)\max\bigl(0, \frac{u + 1}{2}\bigr) lies in [0,1)[0, 1) and is larger than uu). A useful consequence: if s=sup⁡Ss = \sup S and ε>0\eps > 0, then s−εs - \eps is smaller than ss, so it is not an upper bound, and some element x∈Sx \in S satisfies x>s−εx > s - \eps.

Why “non-empty”. Every real number is an upper bound of the empty set, since ∅\emptyset has no element to check. So ∅\emptyset is bounded above, but its upper bounds are all of R\R, which has no smallest element: ∅\emptyset has no supremum. A set that is not bounded above, such as R\R itself, has no upper bound at all, so no supremum either.

Three first consequences of completeness. The first, that N\N is not bounded above, is the Archimedean property of R\R; later pages cite it by that name.

One more consequence of the Archimedean property, which later pages cite: every real number lies between two consecutive integers.

Summary

Exercises

Where this leads

These topics build on this one:

Found an error on this page? Report it (the form opens with this page filled in).