SÉANCE DU 23 JANVIER igoS. 7.21 



valle de l'ensemble, contient un ensemble fini d'intervalles jouissant de la 

 même propriété, peut être énoncé sous une forme plus générale, en laissant 

 à part la restriction de la dénombrabilité de l'ensemble. Sous cette nou- 

 velle forme, le théorème sert de base commune à plusieurs théorèmes prin- 

 cipaux de la théorie des fonctions de variables réelles. 



Pour démontrer le théorème, soit c un point de l'intervalle ah tel que 

 pour l'intervalle ac il y ait un ensemble fini, partie de l'ensemble infini 

 d'intervalles, tel que chaque point de l'intervalle ac soit intérieur au moins 

 k un intervalle de l'ensemble fini, c étant un tel point, chaque |ioint de 

 l'intervalle ac l'est aussi; de même chaque point intérieur à un intervalle 

 de l'ensemble, auquel le point c est aussi intérieur. r>c point a lui-même 

 étant intérieur à un intervalle, chiupie point intérieur en même temps à 

 cet intervalle et à l'inlervalle ab pourra servir de point c. Nier le théorème, 

 ce serait affirmer que, dans certains cas, il y aurait des points de l'inter- 

 valle rt/>, n'appartenant pas à la classe des points c. Or, ces |ioints forme- 

 raient une seconfle classe et les deuK classes définiraient une coupure, dans 

 le sens de M. Dedekind, ayant pour point limite un point p de l'inter- 

 valle ab. Donc, il y aurait un intervalle de l'ensemble, auquel le point p 

 serait intérieur; cet intervalle contiendrait des [)oints de chacune des 

 classes, résultat qui serait absurde. 



Applications. — 1. Le tliçorèmu de Weierstrass, que poiii- cliac[iie fonction hornéo 

 définie dans un intervalle ab il y a au moins nne valeur de rai'i;uinent telle (|ue pour 

 chaque intervalle interce|)tant cette valeur la limite supérieure de la fonction sera la 

 même que pour tout l'intervalle ab, résulte immédiatement de notre théorème; parce 

 que, s'il n'en était pas ainsi, chaque valeur de l'argument serait intérieure à un intervalle, 

 dans lequel la limite supéiieure serait inférieure à celle dans l'intervalle ab; alors il y 

 aurait un ensemble fini d'intervalles, recouvrant tout l'intervalle ab, tels que dans cha- 

 cun d'eux la limite supérieure serait inférieure à celle dans tout l'intervalle, ce qui 

 serait absurde. 



2. Pour démontrer le théorème bien connu (|ue chaque fonction continue est uni- 

 formément continue, on déterminera autour de chaque valeur de l'argument un inter- 

 valle pour lequel l'oscillation soit plus petite que le nombre donné s. L'ensemble de 

 ces intervalles contiendra un ensemble fini d'intervalles, tel que chaque point de l'iu^ 

 tervalle ab sera intérieur au moins à un intervalle de cet ensemble fini. Ces intervalles 

 auront des parties communes; soit S la longueur de la plus petite de ces parties. 

 Alors, dans tout intervalle inférieur à l'oscillation sera inférieure à t. 



H. Autour de chaque point de l'ensemble complémentaire d'uti ensemble 

 fermé contenu dans l'intervalle ab, on peut déterminer un intervalle ne 

 contenant aucun point de l'ensemble fermé. De là il suit que notre théo- 



C. R., i()r.5, 1" Semestre. (T. CAL, N- 4.) 39 



^^ 



L 



