Autour du Thorme des Valeurs Intermdiaires : thorme de Darboux, exemple de Lebesgue, mthodes de thorie des ensembles

Jean-Franois Burnol, octobre 2008 Les fonctions continues possdent la proprit des valeurs intermdiaires. Les fonctions qui sont des drives aussi, cest le Thorme de Darboux. Preuve : on suppose f drivable sur [a, b]. On veut montrer que f prend sur ]a, b[ toutes les valeurs intermdiaires entre f (a) et f (b). Si f (a) = f (b) il ny a rien faire, quitte remplacer f par f supposons f (a) > f (b). Soit ]f (b), f (a)[. En remplaant f par x f (x) x, on se ramne f (a) > 0 > f (b) et il sagit de montrer quil existe un c avec f (c) = 0. Comme f (a) > 0, f (a) est strictement infrieur aux f (x) pour x > a proche de a, donc a nest pas un maximum local et encore moins global de f sur [a, b]. De mme f (x) > f (b) pour x < b et proche de b donc b nest pas non plus un point o f atteint un maximum local. Comme f est drivable, elle est continue, et donc il existe un point c de [a, b] tel que f (c) est maximal. Par ce qui prcde ce c est intrieur. Donc (argument du lemme de Rolle) f (c) = 0. Ce quil fallait dmontrer. Lebesgue a donn une construction dune fonction f : [0, 1] [0, 1] qui vrie f ([a, b]) = [0, 1] pour tout 0 a < b 1. Cette fonction a donc la proprit des valeurs intermdiaires mais elle est extrmement non continue, puisquen tout point, ses valeurs limites remplissent tout [0, 1]. Si lon voulait on pourrait composer avec nimporte quelle surjection de [0, 1] sur R pour avoir f (I ) = R pour tout ouvert non vide I . La construction nutilise que la notion dcriture dcimale. En voici une variante : On pose f (1) = 0 et, pour 0 x < 1 crit sous forme dcimale : x = 0, x1 x2 x3 x4 . . . , on pose f (x) = 0, x2j +2 x2j +4 x2j +6 . . . avec j le plus petit tel que 0 = x2j +1 = x2j +3 = x2j +5 = . . . Si un tel j nexiste pas (ce qui est le cas avec probabilit 1 !) on pose simplement f (x) = 0 (la fonction f est donc presque partout nulle !). On notera que lon peut avoir x2n = 9 pour tous les n grands et donc 0, x2j +2 x2j +4 x2j +6 . . . peut ne pas tre lcriture dcimale canonique de f (x), mais nanmoins cela a toujours un sens. Par exemple f (0,0909090909 . . .) = 0,99999 = 1, tandis que lcriture canonique de 1 est 1,0000 . . . .

Montrons que ce f marche. Si 0 a < b 1 on prend N susamment grand de sorte quil existe un entier A avec 102N a A < A + 1 102N b. crivons : 102N A = 0, a1 a2 . . . a2N Considrons les nombres rels de la forme : x = 0, a1 a2 . . . a2N 1 x0 0 x1 0 x2 0 x3 0 x4 . . . avec des chires x0 , x1 , x2 , . . ., arbitraires. Tous ces x sont dans ]a, b[ (car A < 102N x < A + 1). De plus pour un tel x on a par dnition : f (x) = 0, x1 x2 x3 x4 . . . et donc toutes les valeurs possibles dans [0, 1] sont prises. On aurait pu utiliser lcriture en base 2, ce qui aurait t un peu plus lgant. Donnons une construction moins concrte, mais qui est facile lorsque lon dispose de quelques notions de thorie des ensembles. Comment voit-on que [0, 1[ et R sont quipotents ? Il est clair que ]0, 1[ et R sont en bection, par exemple via x tg(x 2 ). Il sut donc de trouver une bection 1 1 1 1 , f(1 f : [0, 1[]0, 1[. La dnition suivante conviendra : f (0) = 2 2 ) = 4 , f ( 4 ) = 8 , etc. . .et pour les autres f (x) = x. Un raisonnement semblable montre plus gnralement que pour tout ensemble inni A, si B est lunion disjointe de A et dun ensemble {} un lment, alors il y a une bection f de B sur A. En eet il sut de prendre dans lensemble inni A une partie identie N, et de poser f () = 0, f (0) = 1, . . ., f (n) = n + 1, . . ., et nalement f (a) = a pour les autres. Par rcurrence (ou construction directe du mme type) lunion disjointe dun ensemble inni A et dun ensemble ni est quipotente A. Par exemple il existe une bection de [0, 1] sur ]0, 1[. Jen viens maintenant lexistence plus subtile dune bection de A N sur A lorsque A est inni. Si A est inni dnombrable, il sagit donc darmer la dnombrabilit de N N, chose bien connue (par exemple en injectant N N dans N par (a, b) 2a 3b , puis en numrant dans lordre x0 < x1 < x2 < . . . les entiers ainsi obtenus). Dans le cas gnral on est amen considrer les couples (X, f ) avec X A et f : X N X bective (notons quun tel X est srement inni). Il existe au moins un tel couple, puisque A est inni, donc contient un sous-ensemble quipotent N. Un ordre partiel peut tre dni via (X, f ) (Y, g ) si X Y et si g prolonge f . Lorsque lon a une chane quelconque de tels couples (X , f ) on peut prendre lunion X des X et dnir f : X N X de sorte quelle prolonge les f . Ce f est bective. Donc toute chane possde une borne suprieure, et par le Lemme de Zorn (qui est quivalent lAxiome du Choix), il existe parmi tous ces couples un lment maximal (X, f ). Supposons que A \ X soit inni. Alors 2

il existe Z dnombrable disjoint de X . En utilisant une bection Z N Z on peut alors prolonger f : X N X en une F bective de (X Z ) N vers X Z . Ce qui contredit la maximalit de (X, f ). Donc A \ X est ni. Comme X est inni, on sait quil existe une bection : A X . On pose g (a, n) = 1 (f ((a), n)) ce qui donne une bection g : A N A. 1 Considrons maintenant lintervalle I = [0, 1[, que lon peut voir comme R/Z de sorte quil est muni dune addition (et dune soustraction). On dnit une relation dquivalence par x y x y Q [0, 1[ . Par laxiome du choix on peut choisir un reprsentant dans chaque classe dquivalence, soit donc A [0, 1[ lensemble de ces reprsentants. Soit q0 , q1 , . . . une numration de lensemble dnombrable Q [0, 1[. Lapplication : A N [0, 1[ (a, n) a + qn est par construction bective. Par ce qui prcde : card([0, 1[) = card(A N) = card(A) Autrement dit il existe une bection de A sur [0, 1[ donc aussi une bection de A sur R. Considrons lapplication f : I R dnie par la formule f (x) = (a) lorsque x = a + qn . Pour tout y R, son image rciproque est lensemble des a + q , q Q I , o a est lunique lment de A tel que (a) = y . Et par consquent cette image rciproque est partout dense dans I : elle rencontre nimporte quel intervalle ouvert non vide ], [ de I x lavance. Ainsi y f (], [). Mais y est arbitraire. Donc f restreinte ], [ est surjective sur R. Cette fonction f vrie trivialement la proprit des valeurs intermdiaires. Et elle est extrmement loin dtre continue !

1. Dans le mme style on peut mme montrer que A A et A sont quipotents lorsque A est inni. Rf : Introduction la thorie des ensembles , Halmos, ou toute autre rfrence parlant des ordinaux, cardinaux, et axiomes de la thorie des ensembles.