4 La propriété de Borel-Lebesgue
Le théorème suivant fut prouvé par Borel pour des recouvrements dénombrables et
étendu par Lebesgue à des recouvrements quelconques.
Théorème 3 De tout recouvrement de [a, b]par des ouverts on peut extraire un sous-
recouvrement fini. Plus généralement de tout recouvrement d’un pavé fermé borné P=
I1×I2×· · ·×Im,Ij= [αj, βj], par des ouverts de Rmon peut extraire un sous-recouvrement
fini.
Preuve 1 : On considère Rmcomme un espace métrique, avec comme distance d(x, y) =
max1≤j≤m|xj−yj|. On va faire la preuve par l’absurde. Soit Uun recouvrement du pavé
Ppar des ouverts de Rm, dont on ne peut extraire aucun sous-recouvrement fini. Si xest
un point du pavé P, considérons l’ensemble Axdes r≥0tels que la boule ouverte B(x, r)
de centre xet de rayon rest incluse dans l’un des ouverts du recouvrement. Si r∈Axalors
[0, r]⊂Axdonc Axest soit [0,sup Ax[, soit [0,sup Ax]. On posera r(x) = sup Ax(on peut
observer que r(x) = +∞est exclu par le fait que B(x, R)recouvre tout Plorsque Rest
suffisamment grand, mais peu importe). On a 0< r(x)pour tout x. Supposons qu’il existe
ρ > 0avec ρ < r(x)pour tous les xdu pavé P. Pour chacun des intervalles Ij= [αj, βj]on
peut choisir un nombre fini de réels γ(j)
k, tels que tout autre réel de l’intervalle est à distance
au plus 1
2ρde l’un des γ(j)
k. On considère alors tous les points du pavé P, en nombre fini
N, dont, pour chaque j, la jecoordonnée est l’un des γ(j)
k. Par construction Pest dans
l’union des boules ouvertes centrées en ces points xn,1≤n≤N, et de rayons constants ρ.
Comme pour chaque non a ρ < r(xn), chaque B(xn, ρ)est incluse dans l’un des ouverts de
U. Donc Pest recouvert par un nombre fini d’ouverts pris dans U. Contradiction. Ainsi il
n’existe pas de minorant strictement positif aux r(x), et donc on peut considérer une suite
de points xndans le pavé Pavec lim r(xn) = 0. Par le théorème de Bolzano-Weierstrass,
quitte à passer à une suite-extraite on peut aussi supposer que x= lim xnexiste. Mais
alors si nest suffisamment grand on a d(xn, x)<1
5r(x). La boule ouverte centrée en xn
et de rayon 3
5r(x)est incluse dans B(x, 4
5r(x)) donc est incluse dans l’un des ouverts du
recouvrement. Donc, par définition, r(xn)≥3
5r(x). Mais alors lim r(xn) = 0 est contredit.
Ceci conclut la preuve.
Preuve 2 : Cette preuve reprend une technique utilisée par Cousin pour un travail (lié à
un problème d’analyse complexe) qui date de la même époque que le résultat de Borel. Soit
dans Rmun pavé P=I1×I2×· · ·×Im,Ij= [αj, βj], qui possède un recouvrement par une
collection Ud’ouverts, collection dont aucune sous-collection finie ne suffirait à recouvrir
P. Le pavé peut être subdivisé en 2mpavés Pken découpant chaque intervalle [αj, βj]en
deux. Si pour chaque sous-pavé Pkil existait une sous-collection finie de Ule recouvrant, en
les combinant on obtiendrait un recouvrement fini de P. Donc la mauvaise propriété vaut
pour au moins l’un des sous-pavés. On en choisit un, on le note P1et on itère. On obtient
ainsi une suite décroissante de mauvais pavés Pndont l’intersection est un certain point
xde P(pour ne pas me salir les mains je n’explicite pas les notations, on n’a besoin ici
que de savoir que toute suite croissante majorée converge comme dans les raisonnements
3