In 1904, Lebesgue published his version of the theorem [14], which he said was due to Borel.

To compare the two numbers

m, we will use a theorem attributed to M. Borel:_{e}, m_{i}If one has a family of intervals Δ such that any point on an interval (

a,b), includingaandb,isinteriorto at least one of Δ, there exists a family formed of afinitenumber of intervals Δ and that has the same property [any point of (a,b) is interior to one of them].

Note that where Lebesgue wrote (*a*,*b*) for a closed and bounded interval, we would write [*a,b*]. Unlike his predecessors, Lebesgue assumed the least upper bound property as his characterization of completeness.

In the passage shown below, Lebesgue started by presenting a new definition - that if [*a,x*] can be covered by a finite number of subintervals, then *x* is *reached*. In his notation, if *x* is reached, then so are all points between *a* and *x.* If *x* is not reached, then neither are any of the points between *x* and *b* (because if there were a *y* between *x* and *b* that was reached, then [*a,y*] would be covered by a finite number of subintervals, and so would [*a,x*]).

Let (á,

β) be one of the intervals Δ containinga,the property to demonstrate is evident for the interval (a,x), ifxis contained between á andβ;I want to say that this interval may be covered with the help of a finite number of intervals Δ, which I express in saying that the pointxis reached. It must be demonstrated thatbis reached. Ifxis reached, all the points of (a,x) are [reached]; ifxis not reached, none of the points of (x,b) are [reached].

He assumed that *b* is not reached (else the proof is done), then defined *x*_{0} to be the “first point not reached” or the “last point reached”. In modern notation, he defined *x*_{0} to be the greatest lower bound of the set \[X=\{x\in\left[a,b\right]\,\vert\,x\,\,{\rm is}\,\,{\rm not}\,\,{\rm reached}\}.\] This set is nonempty and bounded, and therefore has a greatest lower bound .

Now *x*_{0} is contained in some interval, which he called (á_{1},*β*_{1}). In the following passage, he then chose two points *x*_{1} and *x*_{2} satisfying *α*_{1} < *x*_{1} < *x*_{0 }< *x*_{2 }< *β*_{1}. By the definition of *x*_{0} he saw that *x*_{1} is reached and *x*_{2} is not reached. Because *x*_{1} is reached, [*a*, *x*_{1}] is covered by a finite number of intervals. If we take that collection and append the interval (á_{1},*β*_{1}) we get a finite collection that covers *x*_{2}. This is a contradiction. Therefore *b* must have been reached.

Let

xbe a point of (á_{1}_{1},x),_{0}xa point of (_{2}x,β_{0}_{1});xis reached by assumption, the intervals Δ in finite number which are used to reach it, plus the interval (á_{1 }_{1}, β_{1}) allowsx>_{2 }x;_{0}xis neither the last point reached, nor the last not reached; therefore_{0}bis reached (^{1}).

In his footnote, Lebesgue explained Borel’s contributions. He mentioned that Borel required that the covering be countable, and noted that this may sometimes be adequate. However, he felt that the general theorem would be more useful.

(1) M. Borel gave, in his Thesis and in his

Lessons on the theory of functions, two demonstrations of this theorem. These demonstrations essentially suppose that the set of intervals Δ are countable; this suffices in some applications; there is however interest in demonstrating the theorem of the text. For example, for the applications that I made in my Thesis of M. Borel’s theorem, it was necessary that he demonstrated for a set of intervals Δ having the power of the continuum.

Finally we give our overview of Lebesgue’s proof.

- Completeness in the form of existence of the supremum for every non-empty bounded set will be required to carry out this proof.

- This proof is very short and is particularly easy to follow. In fact, starting the proof may lead to an “ah-ha!” moment where the students can complete the necessary steps.
- It appears that those textbooks that don’t use the “divide and conquer” technique of Cousin do use Lebesgue’s method. This proof may integrate particularly nicely into those courses.
- This technique of proof is very useful, and appears, for example, in the intermediate value theorem. If students have not already seen it, it is likely that they will.
- This proof works just as well for countable as uncountable covers.

- The proof is non-constructive. There is no way that we can ascertain the finite covering by working the proof.

This is the one! The proof is thoroughly modern and simple to follow. In comparison, all previous arguments are cumbersome and overly complicated. It is no wonder that many people choose to attach Lebesgue’s name to Borel’s when referencing the theorem. Certainly this proof should be presented in any real analysis course, and probably in many others!

**Henri Lebesgue** (1875-1941) (*Convergence* Portrait Gallery)