Vous êtes sur la page 1sur 89

Chapitre 1

Topologie
1.1
1.1.1

Espaces topologiques
Cas le plus gnral despace topologique

Dnition 1 (Topologie) Une topologie T sur lensemble X est une partie T P (X ) vriant : Lensemble vide et X sont dans T T est stable par runions arbitraires T est stable par intersections nies Un tel couple (X, T ) est appel espace topologique. Les lments de T sont appels les ouverts de la topologie. Une partie de X est dite ferme si son complmentaire est ouvert.

Exemples : La topologie discrte sur lensemble X est la topologie Td = P (X ) La topologie grossire sur lensemble X est la topologie Tg = {, X } Sur N = N {+}, la topologie usuelle est lensemble des U tels que U N ou + U N \ U est coni. On verra aussi dautres exemples en parties 1.1.2 et 1.2. Proposition 2 Si X est un espace topologique alors X et sont des ferms de X Une intersection quelconque de ferms est un ferm Une union nie de ferms est un ferm

www.L es-M athematiques.net

Dmonstration : Immdiat, par passage au complmentaire.

Dnition 3 (Sparation par des ouverts) On dit que la partie A et la partie B sont spares par des ouverts sil existe deux ouverts U et V tels que A U et B V tels que U V = .

1.1.2

Espaces mtriques et espaces norms

Dnition 4 (Mtrique) Une mtrique ou distance sur lensemble X est une application d : X X [0, +[ vriant : d(x, y ) = 0 x = y d(x, y ) = d(y, x) d(x, y ) d(x, z ) + d(z, y ) (proprit dite ingalit triangulaire) On dit alors que (X, d) est un espace mtrique.

Exemples : dp = ( |xi yi |p )1/p d = max|xi yi | Proprit : |d(x, z ) d(y, z )| d(x, y ) Dnition 5 (Boules) Si x est un point de lespace mtrique X et r [0, +[, on appelle boule ouverte (resp. ferme) de centre x et de rayon r, lensemble des y tels que d(x, y ) < r (resp. d(x, y ) r). On appelle sphre de lespace mtrique X de centre x et de rayon r lensemble des y tels que d(x, y ) = r.

www.L es-M athematiques.net

Proposition 6 Si X est un espace mtrique, la famille de parties de X dont les lments sont les runions arbitraires de boules ouvertes est une topologie sur X . Cette topologie est appele la topologie associe la mtrique. Une partie X dun espace mtrique E est dite borne si tant donn un point e dans E la distance de x e pour x dans X est majore par une certaine constante a . Cela quivaut aussi au fait que la distance entre deux points quelconques de X est borne. Cest dire que : - si pour un point x, y d(x, y ) est borne, alors pour tout point x, y d(x, y ) est borne. - si pour tout point x y d(x, y ) est borne, alors (x, y ) d(x, y ) est aussi borne.
a La

notion est indpendante du point e choisi, grce lingalit triangulaire.

Dmonstration : La vrication est fastidieuse et ne prsente pas de difcult. La notion de born dpend de la mtrique et pas de la topologie ! Cest dire que mme si deux mtriques sont topologiquement quivalentes (voir dnition 9) elles nont pas ncessairement les mmes parties bornes. En fait pour toute mtrique d, on d(x,y ) peut construire une mtrique quivalente d par d (x, y ) = ln(1 + 1+ d(x,y ) ), telle que toute partie soit borne. Proprits : Dans un espace mtrique, une partie est ferme si et seulement si elle contient la limite de toute suite convergente valeurs dans cette partie. Une boule ouverte est ouverte, et donc un espace mtrique est spar Une boule ferme est ferme Une sphre est ferme Dans un espace mtrique, une suite (xn )nN tend vers x si et seulement si d(xn , x) tend vers 0. Exercice 7 La topologie usuelle sur R ou C est la topologie associe la distance d(x, y ) = |x y |. La fonction qui x et y associe 0 si x = y et 1 sinon est une mtrique. Cette mtrique est associe la topologie discrte, pour laquelle toute partie est la fois un ouvert et un ferm. Si f est injective de X dans R, alors la fonction qui x et y associe |f (x) f (y )| est une distance sur X . La topologie usuelle sur R = R {, } est dnie par la distance d(x, y ) = x |f (x) f (y )|, avec f (x) = 1+ |x| , f (+) = 1 et f () = 1.

www.L es-M athematiques.net

Dnition 8 (Isomtrie) Etant donns deux espaces mtriques E et F , une application f de E dans F est une isomtrie si (x, y ) dF (f (x), f (y )) = dE (x, y ).

Dnition 9 (Mtrisable) Une topologie est dite mtrisable si et seulement si il existe une mtrique telle que la topologie soit associe cette mtrique. Deux mtriques d1 et d2 sont dites quivalentes si il existe et tels que d1 < d2 < d1 a , avec , > 0. Deux mtriques sont dites topologiquement quivalentes si elles dnissent la mme topologie.
a On

dit aussi que d1 et d2 sont Lipschitz-quivalentes.

Soient deux distances d1 et d2 sur un espace E ; alors lidentit de (E, d1 ) dans (E, d2 ) est un homomorphisme si et seulement si d1 et d2 sont topologiquement quivalentes, et elle est lipschitzienne et dinverse lipschitzien 1 si et seulement si d1 et d2 sont quivalentes. Proposition 10 (Existence de topologie non mtrisables) Il existe des topologies, mme spares, non mtrisables. Dmonstration : Il est clair que toute topologie non spare nest pas mtrisable. Considrons, pour avoir un contre-exemple plus intressant, une topologie spare non mtrisable. Ce contre-exemple fait appel quelques notions qui seront dnies ultrieurement, et peut donc tre laiss de ct en premire lecture. Soit RR , muni de la topologie produit. Supposons que cet espace topologique soit mtrisable. Alors tout point est base dnombrable de voisinage. Soit (Un ) une base de voisinages de 0. Alors pour tout n, Un contient un voisinage de 0 (la fonction nulle de R dans R) de la forme Vn = {f RR /i [1, Nn ]|f (xn,i )| < n } On considre alors T lensemble des xn,i pour i Nn et n N. Cet ensemble est dnombrable comme union dnombrable densemble nis. Soit maintenant x dans R nappartenant pas T . Alors {f RR /|f (x)| < } est un ouvert, qui nest manifestement inclus dans aucun Vn .
1 Une

application est dite bilipschitzienne si elle est lipschitzienne et dinverse lipschitzien.

www.L es-M athematiques.net

Il est noter que {0, 1}R convient aussi. Proposition 11 Une topologie mtrisable est entirement caractrise par les proprits de convergence de suites. Cest dire que si pour deux topologies mtrisables, les suites convergentes sont les mmes et ont mmes limites, alors ces deux topologies sont gales. Dmonstration : Il suft de voir que lon caractrise un ferm F dun mtrique par le fait quil contient les limites de toute suite convergente dlments de F . Donc les ferms sont caractriss par les proprits de convergence de suite, et donc les ouverts aussi par passage au complmentaire. Proposition 12 Si deux distance d1 et d2 sont quivalentes alors d1 et d2 dnissent la mme topologie. on peut avoir la mme topologie sans avoir cette relation. Dmonstration : Le premier est facile, le second sobtient en considrant d (x, y ) = min(1, d(x, y )), avec d une distance quelconque non borne. Il est intressant de noter que mme en ajoutant une condition lquivalence traduisant que lon peut se limiter aux "petites" distances, on a un contre-exemple avec par exemple d1/2 et d1 qui dnissent la mme topologie sans tre Lipschitz-quivalentes, mme sur les petites distances. On peut aussi noter que les dp pour p 1 sont Lipchitz-quivalentes entre elles, cela se montre par d dp n1/p d

www.L es-M athematiques.net

Dans la suite K dsigne un des deux corps R ou C muni de sa topologie usuelle. Dnition 13 (Norme) Soit E un espace vectoriel sur le corps K, avec K = R ou K = C. Une norme sur E est une application . de E dans [0, +[ vriant : x = 0 si et seulement si x = 0 x, y E , on a x + y x + y K x E on a .x = || x Sil ne manque que la premire proprit, on parle de semi-norme. On appelle vecteur unitaire un vecteur x tel que x = 1. Un espace muni dune norme est appel espace norm ou espace vectoriel norm. Dans un espace norm une srie ( xn ) est dite normalement convergente n si i=1 xi converge. Enn une dnition ncessitant la notion de continuit (dnie ultrieurement) : on appelle isomorphisme de lespace vectoriel norm E dans lespace vectoriel norm F une application linaire continue bijective de rciproque continue (cest dire quil sagit dun morphisme algbrique (i.e. au sens des espaces vectoriels ) et dun homomorphisme).

Exemples : Sur Rn , les applications suivantes sont des normes : - (x1 , ..., xn ) x = maxi{1,...,n} |xi | - pour p rel 1, x x p = ( i{1,...,n} |xi |p )1/p Un peu plus difcile : sur R[X ], les applications suivantes sont des normes : - P P 0 = supx[0,1] |P (x)| 1 - P P 1 = 0 |P (t)dt Proprits : La norme est convexe. Dnition 14 (Distance associe) Etant donne une norme on dnit une distance associe par d(x, y ) = x y

Dnition 15 (Normes quivalentes) Deux normes . 1 et . 2 sur un mme espace vectoriel sont quivalentes si il existe , > 0 tels que . x 1 < x 2 < . x 1

www.L es-M athematiques.net

Thorme 16 Deux normes sont quivalentes si et seulement si elles dnissent la mme topologie. Dmonstration : Lune des deux implications rsulte de 12. Lautre sobtient facilement, lune des deux ingalits aprs lautre, en constatant quune boule de centre 0 et de rayon 1 pour lune des normes contient une boule pour lautre norme.

1.1.3

Notion de voisinage

Dnition 17 (Voisinage) Soit X un espace topologique. Un voisinage V de x X est un ensemble tel quil existe un ouvert U avec x U V . On note par V (x) lensemble des voisinages de x.

Proposition 18 Un sous-ensemble dun espace topologique est ouvert si et seulement si il est un voisinage de chacun de ses points.

Dmonstration : Soit un ouvert U , et x dans U . On a x U U ... Donc U est voisinage de x. Soit U voisinage de chacun de ses points. A chaque point x associons louvert Ux tel que x Ux U . La runion des Ux est un ouvert, contient tous les x de U et est incluse dans U ; cest donc U . Donc U est un ouvert. Proposition 19 Si x X , X espace topologique, et V V , et V V (x), alors V V (x). pour tout V, V V (x), alors V V V (x) Dmonstration : V contient par dnition un ouvert contenant x ; V tant inclus dans V , V contient ce mme ouvert. Donc V est un voisinage de x. V et V contiennent chacun un ouvert contenant x ; lintersection de ces deux ouverts est un ouvert, contient x et est inclus dans V V ; donc V V est un voisinage de x.

www.L es-M athematiques.net

1.1.4

Fermeture, intrieur, extrieur, frontire

Dnition 20 (Fermeture ou adhrence) Si A X , ladhrence (dite aussi fermeture) de A est lintersection de tous les ferms contenant A, cest donc le plus petit ferm contenant A. On note A ladhrence de A. Proprit : A, B parties de X ; alors A B = A B et A B A B . Dnition 21 (Point daccumulation dune partie) On appelle point daccumulation dune partie A un point x adhrent A \ {x}. On appelle ensemble driv de A lensemble des points daccumulation de A.

Proprit : Un ensemble driv dans un espace spar est toujours un ferm.

Lemme 22 Si A est une partie de lespace topologique X , on a lquivalence suivante : x A V V (x), V A =

Dmonstration : Il suft de constater les points suivants : y A si et seulement si on peut trouver un ferm F contenant A et ne contenant pas y. On considre le complmentaire de F . Dnition 23 (Ensemble dense) Un sous-ensemble de X est dense dans X si son adhrence est X . La densit sera utilise dans les thormes de prolongement, prolongement des identits, prolongement de fonctions uniformment continues (capital par exemple pour le thorme de Plancherel, cit dans la partie 1.1.8 et dmontr dans [16]). Le prolongement de fonctions continues servira aussi construire des solutions maximales dquations diffrentielles (voir thorme de Cauchy-Lipschitz ??). On pourra aussi voir lexercice ? ? rfrence selon lequel tout espace mtrique complet connexe localement connexe est connexe par arcs. La densit servira aussi pour prouver le thorme dArzla-Ascoli ??, le thorme de Moore (voir livre ? ?), lingalit de Hardy (voir livre [2]). De nombreux rsultats de densit dans les Banach auront de vastes applications ; il y a dj toutes les applications du thorme de Baire 190 (thorme de lapplica8

www.L es-M athematiques.net

tion ouverte, thorme du graphe ferm, thorme disomorphisme de Banach, que lon trouvera tous la suite du thorme de Baire 190). On pourra enn consulter le thorme de Goldstine, dans le livre ? ?. Par ailleurs, la sparabilit est par dnition lie la densit, voir la dnition 37 et la liste dapplications qui y est donne. Enn, certains rsultats de densit seront fondamentaux pour de multiples applications pratique (approximation) : on pourra consulter le chaptre ??. Cela servira par exemple pour la transforme de Fourier - en fait les bases hilbertiennes sont bases sur la densit. Noublions pas aussi de petits rsultats dus la densit de Q dans R : le fait que tout ouvert de R sexprime comme union dnombrable dintervalles ouverts. Proposition 24 A est dense dans X si et seulement si tout ouvert non vide intersecte A. Dmonstration : Cela rsulte directement du lemme ci-dessus. Dnition 25 (Intrieur) Lintrieur du sous-ensemble A de lespace topologique X , not Int(A), est la runion de tous les ouverts inclus dans A, cest donc le plus grand ouvert contenu dans A. Proprits : A, B inclus dans X ; alors Int (A B ) = Int A Int B et Int (A B ) = Int A Int B . Si deux ouverts sont disjoints, alors les intrieurs de leurs adhrences sont disjoints. Int(X \ A) = X \ A (ie Int A = X \ (X \ A)). Proposition 26 Le point x est dans Int(A) si et seulement si A V (x) Le point x est dans Int(A) si et seulement sil existe V V (x) avec V A

Dmonstration : Je ne vous ferai pas linjure de le dmontrer.

Dnition 27 (Extrieur) Lextrieur de A, not Ext(A), est lintrieur du complmentaire de A.

Proposition 28 Ext(A) = {x|V V (x)/V A = } Dmonstration : Evident.

www.L es-M athematiques.net

Dnition 29 (Frontire) La frontire de A, note F r(A) est son adhrence prive de son intrieur. Proprit : F r(A) = A X \ A. Proposition 30 Un ensemble est la fois ouvert et ferm si et seulement si sa frontire est vide. Dmonstration : Soit A cet ensemble. Comme A est ferm, il est gal son adhrence, et comme il est ouvert, il est gal son intrieur, donc sa frontire, gale son adhrence prive de son intrieur, est vide. Rciproquement, si la frontire de A est vide, et sil est non vide, cela signie que son intrieur est au moins gal A, donc quil est ouvert. Et si sa frontire est vide, cela signie que son adhrence ne peut pas tre plus grande que lui, donc il est ferm. Thorme 31 Int(A) = {x X |V V (x), V X \ A = } Ext(A) = {x X |V V (x), V A = } F r(A) = {x X | V V (x), V A = V (X \ A) = } = {x X/V V (x), V A = V (X \ A) = } X est runion disjointe de son intrieur, son extrieur et sa frontire.

Dmonstration : Chacune de ces proprits se dmontre en deux lignes, simplement en crivant bien formellement ce que lon cherche dmontrer.

1.1.5

Base douverts et base de voisinages

Dnition 32 (Base douverts) Soit X un espace topologique. Une famille B douverts de X est une base douverts si tout ouvert est une runion dlments de B .

Proposition 33 Une famille B douverts est une base douverts si et seulement si quel que soit louvert U et x U il existe V B tel que x V U . Dmonstration : Si B est une base douverts, alors tant donns x et U , on considre un lment V de B qui contient x ; la rciproque se fait en considrant pour un ouvert donn la runion des V obtenus par la proprit en considrant les diffrents x.

10

www.L es-M athematiques.net

Proposition 34 Dans un espace mtrique, les boules ouvertes de rayon rationnel forment une base douverts Dans le cas de Rn muni de la mtrique usuelle, les boules ouvertes de rayon rationnel et coordonnes toutes rationnelles forment une base dnombrable douverts Dans R tout ouvert est en fait une runion dnombrable dintervalles ouverts deux deux disjoints (et rciproquement). Dans R un ferm nest pas ncessairement une runion dnombrable dintervalles ferms deux deux disjoints, et une runion dnombrable dintervalles ferms deux deux disjoints nest pas ncessairement ferme. Dmonstration : Soit U un ouvert dun espace mtrique, et x dans U ; on montre que U contient une boule de rayon rationnel contenant x. Pour cela on note que U est runion de boules ouvertes, donc contient au moins une boule ouverte B de rayon r et de centre O contenant x ; on note alors r la distance de x O ; toute boule ouverte centre en x de rayon rationnel infrieur r r convient (on peut aussi choisir de raisonner sur les boules centres sur O de rayon adquat...). Soit U un ouvert de Rn , et x un point de U . On considre une boule ouverte contenant x et incluse dans U ; soit O son centre et r son rayon. Alors soit r la distance de x O, et y un point de coordonnes rationnelles situ une distance d infrieure r r r r 3 de O . Alors toute boule centre sur y de rayon rationnel compris entre r + 3 r r et r + 2. 3 convient. En plusieurs points : - Soit U un ouvert de R ; alors tant donn un rationnel de U on considre lintervalle maximal le contenant. On parcourt ainsi tout U , et on a bien un ensemble dnombrable dintervalles ouverts. - Une runion douverts est toujours un ouvert. Deux contre-exemples : - le cantor K 3 (voir partie 1.6.13) nest pas une runion dnombrable dintervalles ferms disjoints. - lensemble des 1/n est une runion dnombrable dintervalles ferms disjoints, mais nest pas ferm. Dnition 35 (Base dnombrable douverts) X est base dnombrable douverts si on peut trouver une base douverts qui soit dnombrable.

Proposition 36 Un espace base dnombrable douverts contient un ensemble dnombrable dense Dmonstration : Il suft de considrer un point par ouvert non vide dune base dnombrable. 11

www.L es-M athematiques.net

Dnition 37 (Espace sparable) Un espace est sparable si il contient un ensemble dnombrable dense. Cela sera notamment utile pour dnir une mtrique sur la boule unit ferme du dual dun espace sparable (pour la topologie faible). Ceux qui veulent en savoir plus peuvent aller voir la proposition 135. On note en particulier quun ensemble base dnombrable douverts est sparable (il suft de prendre un point dans chaque ouvert) ; il sagit de la proposition prcdente. La rciproque est vraie dans le cas des espaces mtriques :

Thorme 38 Un espace mtrique est sparable si et seulement sil admet une base dnombrable douverts. Ce rsultat permettra de conclure que tout espace mtrique compact admet une base dnombrable douverts (voir rsultat 137) et den dduire que tout espace mtrique compact est de cardinal au plus la puissance du continu (voir rsultat 135). Dmonstration : La remarque prcdente donne lun des deux sens. Rciproquement supposons que X soit mtrique sparable. Soit {xn /n N} un ensemble dense dnombrable. Alors lensemble des boules de centre xi et de rayon 1/j avec (i, j ) N N est une base dnombrable douverts. Dnition 39 (Base de voisinages) Soit x X , une famille B (x) de voisinages de x est une base de voisinages de x si pour tout V V (x) il existe V B (x) avec V V .

Dnition 40 Un espace est base dnombrable de voisinages si chacun de ses points admet une base dnombrable de voisinages.

Exercice 41 Tout espace mtrique est base dnombrable de voisinages. Dmonstration : Il suft de considrer les boules de rayon 1/i de centre x pour avoir une base dnombrable de voisinages de x.

12

www.L es-M athematiques.net

1.1.6

Continuit et limite

Dnition 42 (Continuit ponctuelle) Soit f une application entre espaces topologiques. f est continue en x si et seulement si quel que soit V V (f (x)), limage rciproque f 1 (V ) est un voisinage de x (ie si U V (X )/f (U ) U ). f est continue si f est continue en tout point. Exemples : La distance est continue (en vertu de la proprit |d(x, z ) d(y, z )| d(x, y )). La norme est continue (comme compose dapplications continues, puisque x (x, x) est continue, et (x, y ) d(x, y ) est continue, avec d la distance associe la norme. La multiplication par un scalaire et laddition sont continues pour la topologie associe la norme.

Dnition 43 (Semi-continuit) Une application f de X dans R est semicontinue infrieurement si pour tout c on a f 1 (]c, +[) ouvert. Une application f de X dans R est semi-continue suprieurement si pour tout c on a f 1 (] , c[) ouvert.

Proposition 44 Une fonction valeurs dans R est continue si et seulement si elle est la fois semi-continue infrieurement et semi-continue suprieurement. La borne sup dune famille de fonctions semi-continues infrieurement est semi-continue infrieurement. La fonction caractristique dun ouvert (resp. ferm) est semi-continue infrieurement (resp. suprieurement).

Thorme 45 (Stabilit de la continuit par composition) Si f est continue en x et si g est continue en f (x), alors g f est aussi continue en x.

Dmonstration : Limage rciproque dun voisinage de g (f (x)) est un voisinage de f (x), limage rciproque dun voisinage de f (x) par f est un voisinage de x, donc limage rciproque dun voisinage de g f (x) par g f est un voisinage de x. Do la continuit de g f en x.

13

www.L es-M athematiques.net

Corollaire 46 Si f et g sont continues, alors g f est continue. Dmonstration : Limage rciproque dun ouvert par f est un ouvert, limage rciproque dun ouvert par g est un ouvert, donc limage rciproque par g f est un ouvert. (on peut aussi simplement utiliser le thorme 48) Proposition 47 Soit B une base de voisinages de f (x). f est continue en x si et seulement si quel que soit V B , f 1 (B ) V (x). Dmonstration : Soit un voisinage U de f (x), il contient un certain V appartenant B . Limage rciproque de V tant un voisinage de x, limage rciproque de U contient V et est donc aussi un voisinage de x.

Thorme 48 Les assertions suivantes sont quivalentes : f est continue Pour tout ouvert U , f 1 (U ) est un ouvert de X . Pour tout ferm F , f 1 (F ) est un ferm de X . Pour tout ouvert V B , avec B une base douverts, f 1 (V ) est ouvert Pour tout A, f (A) f (A)

Dmonstration : Lquivalence entre les 4 premires assertions est claire. La cinquime assertion est une consquence facile de la continuit de F (il suft de voir quelle quivaut A f 1 (f (A)) et de rappeler que ladhrence de A est lintersection de tous les ferms contenant A). Rciproquement, en supposant la cinquime assertion vraie, on montre facilement que tout ferm F de limage de f vrie f 1 (F ) ferm. Il suft de voir alors que f est continue de X vers Y si et seulement si elle est continue en tant que restriction de X sur f (X ). On peut noter alors que si f est une application de X dans Y , alors si X est muni de la topologie discrte (topologie gale lensemble des parties de X ) ou si Y est muni de la topologie grossire (topologie limite {, Y }) alors f est ncessairement continue. Dnition 49 (Limite) Soit f : X \ {x0 } Y , avec x0 X . On dit que y est une limite de f en x0 , si pour tout voisinage V de y dans Y , la runion f 1 (V ) {x0 } est un voisinage de x0 .

14

www.L es-M athematiques.net

Proposition 50 Les proprits suivantes sont quivalentes au fait que l soit limite de xn : pour tout voisinage V de l, il existe un nombre ni de xn en dehors de V . Dans le cas o lespace est mtrique : la distance de xn c tend vers 0.

Lemme 51 f est continue en x0 si et seulement si f (x0 ) est limite de f|X \{x0 } en x0 . Dmonstration : Faisable sans trop de difcults.

Dnition 52 (Point isol) x0 est isol si et seulement si {x0 } est ouvert. Un espace topologique est dit discret si tous ses lments sont des points isols.

Lemme 53 Le point x0 nest pas isol si et seulement si V \ {x0 } = , pour tout V V (x0 ), et encore si et seulement si x0 X \ {x0 }. Dmonstration : Clair. Un problme est la non-unicit de la limite, a priori. Nous avons donc besoin de la notion despace spar, que lon dnira un peu plus loin.

Dnition 54 (Homomorphisme) Un homomorphisme est une application bijective continue et de rciproque continue.

Exercice 55 (Quelques proprits des homomorphismes.) Lidentit est un homomorphisme. Une composition dhomomorphisme est un homomorphisme. Sur un espace norm, la translation et lhomothtie de rapport non nul sont des homomorphismes. Lensemble des homomorphismes de X vers X est un sous-groupe de lensemble des bijections de X vers X . Dmonstration : Rien de difcile dans tout a ; notons que la rciproque dune homothtie est une homothtie, et quune homothtie est continue parce que les opra-

15

www.L es-M athematiques.net

tions algbriques sont continues (voir proposition 104).

1.1.7

Espace spar

Dnition 56 (Espace spar) Un espace est spar si pour toute paire de points (x, y ) on peut trouver un voisinage de x et un voisinage de y disjoints.

Exercice 57 Un espace mtrique est spar. Une topologie discrte est spare. Exercice 58 Tout ensemble ni dun espace spar est ferm. Dmonstration : Dans le cas dun singleton il est clair que le complmentaire est voisinage de chacun de ses points, donc ouvert, par 18. Le passage un ensemble ni se voit par les proprits immdiates des ferms donnes en 2.

Thorme 59 Soit f : X Y . Si x0 nest pas isol et si Y est spar, alors lapplication f a au plus une limite en x0 .

Dmonstration : On considre les voisinages respectifs de deux limites, et on considre lintersection de leurs images inverses respectives ; cette intersection est rduite un singleton ; or cest un voisinage de x0 .

Thorme 60 Soient f1 et f2 deux applications continues ayant mme ensemble de dpart et mme ensemble spar darrive. Alors {x|f1 (x) = f2 (x)} est ferm.

Lhypothse de sparation est ncssaire (de mme que dans le thorme suivant, mme contre-exemple) ; considrer par exemple f1 et f2 deux applications de R (muni de sa topologie usuelle) dans {0, 1} muni de la topologie grossire. f1 est lapplication nulle, f2 est nulle sauf en 0 ; f2 (0) = 1. Dmonstration : On montre que lensemble complmentaire est ouvert. Pour cela on considre x dans ce complmentaire, et deux voisinages disjoints de f1 (x) et f2 (x) ; lintersection des images rciproques de ces voisinages est un voisinage de x qui

16

www.L es-M athematiques.net

montre que notre complmentaire est bien un voisinage de x.

Corollaire 61 Si f1 et f2 concident sur un ensemble dense et ont valeurs dans un espace spar, alors elle concident partout. Dmonstration : Il suft de se rappeler quun ferm est gal son adhrence, et que ladhrence dun ensemble dense est lespace tout entier.

Lemme 62 Si f est continue et injective, et si lespace darrive est spar, alors lespace de dpart est aussi spar. Ce lemme servira montrer le thorme 101 Dmonstration : On considre deux points distincts de lespace de dpart, leurs images sont distinctes par linjectivit, on peut les sparer par deux ouverts, dimages rciproques ouvertes. La suite est triviale.

1.1.8

Continuit et limite dans les espaces mtriques ou norms

Dnition 63 (Continuit squentielle) f est squentiellement continue en x si et seulement si pour toute suite xn convergeant vers x les f (xn ) convergent vers f (x).

Thorme 64 Soit X base dnombrable de voisinages, alors toute fonction squentiellement continue est continue.

Dmonstration : On considre une suite de voisinages dcroissants (Vn ) de x. Soit W un voisinage de f (x). Si f 1 (W ) nest pas un voisinage de x, alors on peut trouver xn Vn \ f 1 (W ) ; xn tend vers x ; or f (xn ) W , et donc f (xn ) ne peut pas tendre vers f (x).

Corollaire 65 Si f est squentiellement continue sur un espace mtrique, alors f est continue. Dmonstration : Il faut simplement considrer lexercice 41

17

www.L es-M athematiques.net

Ce corollaire servira notamment pour le thorme ??. Proposition 66 (Dnition de la continuit) Soit f application entre espaces mtriques ; f est continue en x si pour tout il existe tel que d(x, x ) < d(f (x ), f (x)) < Dmonstration : Il suft de remarquer que la famille des boules ouvertes de rayon et de centre f (x) est une base de voisinages de f (x), et que la famille des boules ouvertes de rayon et de centre x est une base de voisinages de x.

Dnition 67 (Continuit uniforme) Une application f dun espace mtrique dans un autre espace mtrique est dite uniformment continue si, pour tout > 0 il existe > 0 tel que, pour tout (x, y ) X 2 , d(x, y ) < d(f (x), f (y )) < . La continuit uniforme nest pas une notion topologique mais une notion mtrique ; i.e. deux distances quivalentes ont la mme notion de continuit uniforme (que lon change la distance dans lespace de dpart ou dans lespace darrive), mais le fait que deux mtriques soient associes la mme topologie ne suft pas pour quelles aient la mme notion de continuit uniforme.

La continuit uniforme est une notion trs importante ayant de nombreuses applications. Pour montrer la continuit uniforme, on dispose des outils suivants : - une fonction Lipschitzienne entre mtriques est uniformment continue - une fonction borne de R dans R et monotone est uniformment continue - une fonction continue sur un compact est uniformment continue (thorme de Heine 139, voir le dit thorme pour dinnombrables applications) - si p et q sont conjugus et si f et g appartiennent Lp et Lq de Rn respectivement, alors f g (convolue) est uniformment continue. Une proprit essentielle est le thorme 187. Dnition 68 On dit quune suite fn dapplications de X dans Y avec Y un espace mtrique converge uniformment vers f si pour tout positif il existe N tel que pour tout n N et tout x dans X d(f (x), fn (x)) < . Les applications et des exemples classiques : Tout dabord, quelques rsultats clbres de densit pour la topologie de la convergence uniforme : voir le thorme de Runge ??, le thorme de Stone ?? (avec son corollaire le thorme de Stone-Weierstrass ; voir en particulier les polynmes de Bern-

18

www.L es-M athematiques.net


k k k stein Bn (f )(x) = k=1 f ( n )Cn x (1 x)nk qui convergent uniformment vers f sur [0, 1], voir thorme ??). n

Il faut absolument se rappeler la convergence uniforme dune srie entire sur tout disque de rayon strictement infrieur au rayon de convergence. Quelques rsultats clbres utilisant la convergence uniforme : ??,?? (intgration de fonctions rgles), ?? (sur la limite uniforme dune suite de fonctions holomorphes). Quelques variantes notre convergence uniforme ci-dessus dnie, et dautres rsultats (notamment mtrisabilit) : voir dnition ??, et les rsultats qui suivent ; voir aussi Ascoli et ses consquences, ??. Il convient enn de signaler quelques applications de la convergence uniforme aux espaces Lp et lintgration : - thorme de Plancherel : il existe un unique isomorphisme de L2 dans L2 appel telle que pour tout f dans L1 L2 f est la transformation de Fourier L2 note f f 1 transforme de Fourier L de f , f 2 = f 2 (voir par exemple le livre [16]) - thorme de Sard : voir [6]. - Intgration au sens de Riemman : voir partie ??.

Dnition 69 (Applications lipschitzienne) Une application h est dite lipschitzienne sil existe K [0, +[ tel que d(h(x), h(x )) K.d(x, x ) On dit aussi quelle est K -lipschitzienne. On dnit la constante de Lipschitz par Lip(h) = sup{ d(h(x), h(x )) |x, x X, x = x } d(x, x )

Proposition 70 Les fonctions lipschitziennes sont continues, et mme uniformment continues. Les fonctions C 1 dun compact de R dans un espace vectoriel norm sont Lipschitziennes, ainsi que les fonctions drivables de R dans un espace vectoriel norm drive borne (voir le thorme ??). Exemple : la distance x d(x, x0 ) sur un espace mtrique E avec x0 appartenant E est 1-lipschitzienne de E dans R. La distance de E E dans R est lipschitzienne,

19

www.L es-M athematiques.net

pour toutes les normes usuelles. Dnition 71 (Norme dune application linaire) Si est une application linaire entre espaces norms, on dnit sa norme par = sup{ (x) / x 1} Cette norme peut a priori tre innie - ce qui signie donc que lappellation "norme", bien que classique, est abusive. Il ne sagit dune norme quen se restreignant lensemble des applications pour lesquelles cette "norme" est nie.

Lemme 72 = sup{ (x) / x = 1} = sup{ (x) /x = 0} x

Dmonstration : Il suft davoir la patience de le vrier...

Thorme 73 Une application linaire entre espaces norms est continue si et seulement si sa norme est < . Elle est continue si et seulement si elle est lipschitzienne et son coefcient de Lipschitz est gal sa norme.

Dmonstration : Si est continue en zro, il est clair que pour r sufsamment petit, x < r implique (x) < 1 ; on constate alors par linarit que r1 . Rciproquement si a une norme nie, alors est lipschtzienne (x) (y ) = (x y ) . (x y ) , et Lip() ; en considrant x de norme 1, on constate que Lip() = ; do le rsultat. Exercice 74 (Critre de continuit pour une forme linaire sur un espace norm) fonction de E dans son corps K = R ou K = C est continue si et seulement si son noyau 1 (0) est ferm. Dmonstration : Si est continue, il est clair que limage rciproque dun singleton est un ferm. Rciproquement, par contrapose, supposons que nest pas continue, alors f nest pas non plus squentiellement continue (voir le corollaire 65), donc il existe une suite xn tendant vers 0 telle que (xn ) ne tend pas vers 0. La suite xn yn = ( > 0 aprs extraction dune xn ) (dnie pour les n tels que (xn ) soit > sous-suite) tend vers 0. On considre alors un certain a tel que (a) = 1 (si est nulle elle est continue), et on constate que la suite zn = yn a tend vers a 1 (0), alors que zn 1 (0).

20

www.L es-M athematiques.net

Dnition 75 (Born) Soit E un espace norm. Un sous-ensemble A E est dit born si sup{ x |x A} < +. On dit que lapplication f est borne sur B si et seulement si f (B ) est born.

Exercice 76 Soit une application linaire entre espaces norms. Les assertions suivantes sont quivalentes : est continue est continue en 0 est borne sur une boule de rayon > 0 est borne sur une sphre de rayon > 0 Dmonstration : Ces preuves sont faciles, je me contente de rappeler quelques faits qui permettent de les rdiger proprement. La topologie est invariante par translation (puisque toute translation est un homomorphisme), donc la continuit en 0 quivaut la continuit en un point quelconque. Le fait que soit borne sur une boule quivaut trivialement au fait que soit borne sur une sphre (par linarit). Si est borne sur une boule, par linarit il est clair quelle tend vers 0 en 0. Enn si est continue, on a montr un peu plus tt que sa norme est nie, ce qui se voit facilement au fait que pour x sufsamment petit, on doit avoir (x) petit, et donc pour x < 1, (x) 1/r.

1.1.9

Valeur dadhrence

Dnition 77 (Valeur dadhrence) Soit f : X \ {x0 } Y , avec X et Y des espaces topologiques ; on dit que y Y est une valeur dadhrence de f en x0 si et seulement si pour tout Vx0 V (x0 ) et tout Vy V (y ) on a Vy f (Vx0 \ {x0 }) = .

Lemme 78 Lensemble des valeurs dadhrence de f en x0 est donn par lintersection des f (Vx0 \ {x0 }), pour Vx0 voisinage de x0 ; en particulier cest un ferm.

Dmonstration : Soit y une valeur dadhrence, alors par dnition y appartient ladhrence de f (V \ {x0 }) pour tout V voisinage de x0 . La rciproque, tout aussi simple, est laisse de ct.

21

www.L es-M athematiques.net

Corollaire 79 Si x0 nest pas isol, alors les limites sont des valeurs dadhrence. Dmonstration : Clair.

Proposition 80 (Le cas des suites) Soit xn une suite dans un espace topologique X . Les limites de suites extraites sont des valeurs dadhrence Si une valeur dadhrence a une base dnombrable de voisinages, alors cest la limite dune suite extraite.

Dmonstration : linni nest pas isol pour la topologie usuelle de N. Donc les limites dune suite sont des valeurs dadhrence. Et les valeurs dadhrence dune suite extraite sont clairement des valeurs dadhrence de la suite. Soit (Vn ) une suite de voisinages de l, valeur dadhrence de xn ; soit (1) tel que x(1) soit inclus dans V1 , (2) tel que (2) soit inclus dans V2 et (1) < (2), (3) tel que (3) soit inclus dans V3 et (2) < (3), et ainsi de suite... Corollaire 81 Dans un espace mtrique, les valeurs dadhrence dune suite sont exactement les limites des sous-suites extraites. Attention lhypothse mtrique ! Dans le cas gnral, ce nest pas vrai, voir 1.6.7.

1.2 Construction de topologies


Dnition 82 Etant donn A X , on appelle topologie induite par la topologie de X sur A lensemble des intersections douverts de X avec A. Il est facile de vrier quil sagit bien dune topologie. Exercice 83 Si X est spar, alors A est spar pour la topologie induite. A est ouvert (resp. ferm) dans X si et seulement si tout B A est ouvert (resp. ferm) pour la topologie induite si et seulement si B est ouvert (resp. ferm) pour la topologie de X Si A est ouvert (resp. ferm) dans X , alors lintrieur (resp. ladhrence) de B A

22

www.L es-M athematiques.net

est le mme dans X et dans A

1.2.1

Topologie quotient

On suppose X muni dune relation dquivalence R. On note la projection canonique de X sur lensemble quotient.

Dnition 84 (Topologie quotient) La topologie quotient est dnie comme suit : U X/R est ouvert si et seulement si 1 (U ) est ouvert. On peut vrier facilement quil sagit bien dune topologie. Proposition 85 Soit X un espace topologique, et R une relation dquivalence sur X . On note la projection canonique de X sur X/R. Les proprits suivantes de la topologie quotient sur X/R sont fondamentales : - la projection canonique est continue (cest dire que limage rciproque de tout ouvert est un ouvert) - la projection canonique est ouverte (cest dire que limage de tout ouvert est un ouvert) si la relation dquivalence est associe un groupe agissant par homomorphismes sur X (voir partie ??). Dmonstration : Il est clair par dnition que la projection canonique est continue. Pour la rciproque il suft de voir que si U est un ouvert de X , 1 ((U )) est la runion des g (U ) pour g dans le groupe dhomomorphismes agissant sur X . La topologie quotient sert un peu partout, par exemples elle dnit une topologie sur un espace projectif et le rend compact pour cette topologie (voir le thorme ??).

1.2.2

Topologie sur un espace dapplications linaires

On note L(E, F ) lespace vectoriel norm des applications linaires continues de lespace norm E dans lespace norm F . Cet espace est norm par = sup{ (x) | x 1} = sup{ (x) | x x = 0}

On peut vrier facilement quil sagit bien dun espace vectoriel norm.

23

www.L es-M athematiques.net

Dnition 86 (Dual topologique) Lespace dual topologique du K-espace vectoriel norm E est lespace E = L(E, K) des formes linaires continues.

Dnition 87 (topologie forte) On appelle topologie forte la topologie dnie sur le dual par la norme usuelle. On va voir un peu plus loin des topologies plus ludiques sur le dual. La topologie usuelle sur le dual est la topologie faible, et pas la topologie forte (voir dnition plus loin...). Notamment la partie ?? est plus fournie en la matire.

1.2.3

Topologie dnie par une famille de parties dun ensemble

Lemme 88 Une intersection quelconque de topologies est une topologie. Dmonstration : Evident en revenant la dnition dune topologie.

Dnition 89 Si une topologie T est incluse dans une topologie T , on dit que T est plus ne que T , ou que T est moins ne que T .

Proposition 90 Soit A une famille de parties de X ; lintersection de toutes les topologies contenant A est une topologie, cest la plus petite topologie contenant A. On la note T (A), et on dit que cest la topologie engendre par A. T (A) est la famille des runions arbitraires dintersections nies de parties de A {, X }. Les intersections nies de parties de A {, X } forment une base douverts pour cette topologie. Dmonstration : Il suft de considrer le lemme 88 pour avoir lexistence de la plus petite topologie contenant A. Le reste est un petit exercie pas trop dur...

24

www.L es-M athematiques.net

1.2.4

Topologie dnie par une famille dapplications

Proposition 91 Etant donn Z un ensemble, et Xi une famille despaces topologiques, avec fi : Z Xi , il existe une plus petite topologie sur Z rendant toutes les fi continues ; cest la topologie engendre par les fi1 (U ) avec U ouvert. Une base de cette topologie est donc lensemble des intersections nies dimages rciproques douverts par des fi . Dmonstration : Facile avec la proposition 90 Remarquons que pour A X la topologie engendre par la fonction (dite injection canonique) qui x dans A associe x dans X est la topologie induite sur A par celle de X.

Thorme 92 Dans la situation ci-dessus, une application f de Y dans Z est continue si et seulement si toutes les composes fi f sont continues.

On verra une application pour la continuit lorsque lespace darrive est un espace produit ; thorme 100. Ce thorme permet aussi de montrer la proposition 96. Dmonstration : Application immdiate des dnitions.

Dnition 93 On dit que la famille dapplications fi est sparante si et seulement si pour tout (x, y ) il existe i tel que fi (x) = fi (y ).

Proposition 94 Si les fi sont sparantes et si les topologies sur les Xi sont spares, alors la topologie engendre est spare. Ce lemme permettra de montrer quun produit despaces spars est spar, thorme 101. Dmonstration : Supposons que x et y soient distincts ; alors puisque la famille dapplications est sparante il existe fi telle que fi (x) = fi (y ) ; et puisque Xi est spar, il existe un ouvert U contenant x et un ouvert V contenant y tels que U et V sont disjoints. Les ensembles fi1 (U ) et fi1 (V ) sont ouverts, puisque fi est continue

25

www.L es-M athematiques.net

(par dnition de la topologie engendre !), et disjoints. Le rsultat en dcoule. Dnition 95 (Topologie faible et topologie faible *) On appelle topologie faible sur lespace norm E la topologie engendre par lensemble des formes linaires continues de E dans K . On appelle topologie faible * sur le dual de lespace norm E la topologie engendr par lensemble des applications qui associent (x), tant donn x X .

Proposition 96 La topologie forte dnie en 87 est plus ne que la topologie faible *. Dmonstration : En vertu du thorme 92, il suft de voir que pour tout x la fonction qui associe (x) est continue pour la norme, ce qui est facile prouver (en se ramenant en zro, une application linaire tant continue si et seulement si elle est continue en zro).

Proposition 97 La topologie forte dun espace vectoriel norm est plus ne que la topologie faible. Dmonstration : En vertu du thorme 92, il suft de voir que toute dans E est continue pour la norme, ce qui est vident. Proposition 98 La topologie forte sur le dual E est plus ne que la topologie faible, elle mme plus ne que la topologie faible *. Dmonstration : La premire partie tant dj montre, il suft de voir que la topologie faible est plus ne que la topologie faible *. Or ceci dcoule simplement du fait que si deux familles dapplications sont incluses lune dans lautre, alors les topologies engendres sont plus nes lune que lautre.

1.2.5

Topologie produit

Dnition 99 (Topologie produit) On appelle topologie produit sur le produit des Xi la topologie engendre par les projections canoniques de X sur Xi .

Thorme 100 Avec i les projections canoniques, une application f de Y dans X est continue si et seulement si pour tout i i f est continue.

26

www.L es-M athematiques.net

Dmonstration : Il suft dutiliser le thorme 92.

Thorme 101 Un produit despaces topologiques non vides est spar si et seulement si chacun des facteurs lest. Dmonstration : Les i sont sparantes, donc si chaque Xi est spar, X est spar, par la proposition 94. Rciproquement, il suft de considrer un lment du produit, grce laxiome du choix ; grce cet lment, on peut facilement construire une application de Xi dans X qui soit continue et injective ; donc Xi est spar par le lemme 62. Proposition 102 La topologie sur X1 X2 avec Xi mtrique est la topologie associe la mtrique d((x1 , x2 ), (y1 , y2 )) = max(d(x1 , y1 ), d(x2 , y2 )) ; on pourrait aussi prendre la somme. Dmonstration : On rappelle simplement que les boules constituent une base douverts dans un espace mtrique Cette proposition se gnralise un produit ni, et mme un produit dnomn (xn ,yn )) brable ; la distance entre (x1 , x2 , ...) et (y1 , y2 , ...) est donne par n min(1,d2 , n avec dn la distance sur Xn . Exercice 103 Le lemme prcdent se gnralise un produit ni quelconque.

Proposition 104 Sur un espace norm la somme (opration entre deux lment des lespace) et la multiplication (dun lment du corps par un lment de lespace) sont continues. Dmonstration : Laddition est continue grce lingalit triangulaire. La multiplication est continue grce x = || x . Proposition 105 Soit E1 , ..., En et F des espaces vectoriels norms . Soit f multilinaire de E1 ... En dans F , alors f est continue si et seulement si = sup{ (x1 , ..., xn ) | x1 1, ..., xn 1} < + Dmonstration : Facile. Contrairement au cas des applications linaires, notons quune application multilinaire continue nest pas ncessairement lipschitzienne.

27

www.L es-M athematiques.net

Exercice 106 Une application multilinaire continue entre un produit despaces vectoriels norms et un espace vectoriel norm est lipschitzienne sur chaque sous-ensemble born. Dmonstration : Facile.

1.3
1.3.1

Compacit - liens entre compltude et compacit


Gnralits

Dnition 107 (Recouvrement ouvert) Un recouvrement ouvert de lespace topologique X est une famille douverts Ui avec X = Ui .

Dnition 108 (Compact) X est compact sil est spar et si de tout recouvrement ouvert on peut extraire un sous-recouvrement ni. Un sous-ensemble K de lespace X est dit compact sil est compact pour la topologie induite. Une partie A de X est dite relativement compacte si sa fermeture A est compacte. On verra plus tard (voir lemme 118) que tout compact dun espace spar est ferm, et que tout compact dun mtrique est born (sil ntait pas born on extrairait une sous-suite convergente dune suite non borne, par le thorme 140). Un compact, dans le cas gnral, nest absolument pas ncessairement ferm ! Considrer par exemple un point, dans un ensemble X contenant au moins deux points et dont la topologie est rduite {, X }. Dnition 109 Un espace vrie la proprit de Borel-Lebesgue si de tout recouvrement ouvert on peut extraire un recouvrement ni. Un espace est donc compact sil est spar et sil vrie la proprit de BorelLebesgue.
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         

La compacit : claircissements, utilisation. On verra dautres caractrisations de la compacit que la dnition par "spar+BorelLebesgue". Nanmoins cette dnition servira par exemple pour le thorme ?? (rsultats de rgularit sous le signe somme). Elle permettra aussi, en partie 1.6.12, de montrer que la compacti dAlexandrov est compact. Les deux premiers points de lexercice 111, la proposition 112 (limage continue dun compact dans un spar est 28

www.L es-M athematiques.net

compact), le thorme 117 de sparation des compacts, le thorme ?? (semblable au thorme de Heine dans le cas de familles quicontinues), le rsultat selon lequel tout mtrique compact est homomorphe une partie du cube de Hilbert en partie 1.6.9, le thorme de Stone ??, le corollaire du champ rentrant dans la sphre 254, le thorme dAscoli ?? utilisent cette mme caractrisation. Les mthodes usuelles pour montrer la compacit dun ensemble sont le fait quun sous-ensemble ferm dun compact est compact, le fait quun produit (quelconque) de compacts est compact (voir le thorme de Tykhonov 1272 , le thorme dArzlaAscoli ?? (aux multiples applications), et le fait que limage continue dun compact dans un spar est compacte (par exemple, dans le cas des espaces projectifs). Des thormes incontournables en matire de compacit sont le thorme de BanachAlaoglu 134 (utilisant Tykhonov), le thorme de Heine 139 ; le thorme de Baire (sous une forme moins connue que la forme classique base sur la compltude) 190 sapplique aux espaces localement compacts. Citons aussi le thorme de Riesz 133, le thorme de Krein-Milman (soit E un espace vectoriel norm de dimension nie, K un compact convexe de E non vide, alors K est lenveloppe convexe de ses points extrmaux : on trouvera une preuve dans [13]), le thorme de Montel ??. La compacit dans le cas mtrique offre des rsultats fondamentaux : thorme de Bolzano-Weierstrass 140 un espace mtrique compact est sparable une isomtrie dun espace mtrique compact dans lui-mme est une isomtrie3 un espace mtrique compact est complet (voir corollaire 176)4 Thorme 110 Un espace mtrique prcompacta et complet est compact.
a Un espace mtrique E est dit prcompact si quel que soit > 0 il existe un recouvrement ni de E par des boules de rayon < .

Dmonstration : On a dj vu quun espace compact mtrique est complet (corollaire un peu plus haut). Il est clair quil est aussi prcompact. Cest donc la rciproque qui pose problme. Supposons donc E prcompact et complet. Pour montrer sa compacit, nous allons utiliser le thorme de Bolzano-Weierstrass 140. Considrons donc une suite (xn ) de E . Nous allons en chercher une sous-suite convergeante. Il existe, par dnition, pour i entier 1, yi,1 , yi,2 , ..., yi,Ni tels que les boules 1 centres sur les yi,j et de rayon 2 j recouvrent E . Construisons par rcurrence sur i 1 ji Ni tel quune innit de points xn soit dans lintersection des boule de rayon 1 centre sur xl,jl pour l i. On choisit alors ai N, construit aussi par rcurrence, 2l
2 Le thorme de Tykhonov, conjoint au fait quun ferm dun compact est compact, implique dailleurs que la sphre unit de Rn est compacte, et donc notamment lquivalence des normes en dimension nie voir thorme 129 3 On en trouvera une preuve en application de Bolzano-Weierstrass. 4 On en dduit notamment que le thorme du point xe ?? sapplique dans un compact mtrique et donc que la boule unit ferme l2 (N) nest pas compacte ; en cas contraire, lapplication (xn )n0 (yn )n0 avec yi = xi1 si i > 0 et y0 = 0 serait bijective car une isomtrie dun espace complet compact sur lui-mme est une bijection comme dit ci-dessus.

29

www.L es-M athematiques.net

tel que la suite des ai soit croissante, et xai soit dans lintersection des boule de rayon 1 centre sur xl,jl pour l i. 2l Ceci dnit une suite extraite de la suite des xn , dont on montre facilement quelle est de Cauchy. Elle converge donc, par compltude de E . Donc, E est compact. Une belle application est la proposition 225. Un ensemble discret5 dans un compact est ni ; on en dduit en particulier quune fonction holomorphe non nulle a un nombre ni de zros dans un compact convexe. Enn il est capital que limage dun compact par une application continue valeurs dans un espace spar est compacte (voir thorme 112). Cela entraine en particulier quune fonction continue sur un intervalle ferm de R atteint ses bornes (do le thorme de Darboux ??, le thorme de Rolle ??, et certains critres de recherche de minima - voir partie ??). Dans les ouvrages en anglais, "compact space" est simplement un espace vriant la proprit de Borel-Lebesgue. Lquivalent de notre espace compact est "compact Hausdorff space". Exercice 111 Toute partie nie dun espace spar est compacte. Tout intervalle ferm born [a, b] de R est compact. Soit (xn )nN une suite dlments dun espace topologique X spar tendant vers une limite x. Alors {xn /n N} {x} est un compact (preuve facile, en considrant un recouvrement par des ouverts, puis en considrant un des ouverts contenant x, et en voyant quun nombre ni des lments de la suite est en dehors de cet ouvert. On (R), SOn (R) sont des compacts (en tant que ferms borns de Rn , qui est de dimension nie). Les espaces projectifs sont compacts (voir ??). Le cube de Hilbert (voir 1.6.9) est compact. Le compacti dAlexandrov dun espace spar non compact localement compact est compact (voir 1.6.12) Dmonstration : La premire assertion est triviale. Pour la deuxime, on se donne un recouvrement ouvert U on considre le plus grand x tel que [a, x] peut tre recouvert par un recouvrement ni extrait de U . La suite est facile ou comporte une rfrence vers une preuve complte.

Proposition 112 Si f est une application continue dun espace compact K dans un espace spar Y , alors f (K ) est compact. Dmonstration : f (K ) est videmment spar. Etant donn un recouvrement ouvert de f (K ) on peut considrer le recouvrement ouvert de K constitu des images rciproques de ces ouverts ; on en extrait un recouvrement ni, et il ny a plus qu repasser dans Y .
5 I.e.

tout point est isol.

30

www.L es-M athematiques.net

Cette proprit servira notamment pour le thorme de Rolle ??, ou pour montrer quun espace projectif est compact (thorme ??). Elle permettra aussi de montrer que tout compact mtrique est isomorphe un sous-espace topologique du cube de Hilbert (voir partie 1.6.9). Enn, elle permet de montrer que toute isomtrie dun mtrique compact sur lui-mme est une bijection (corollaire 201). Il faut noter quune proprit plus ne sera parfois utile : Proposition 113 Soit f une application semi-continue suprieurement dun compact dans R. Alors f est majore et atteint sa borne sup. Cela servira notamment pour le thorme ??. Dmonstration : Soit K un compact, et f semi-continue suprieurement de K dans R. Soit x la borne sup de f (t) pour t dans K ( priori x peut tre gal +). Soit (xn )nN croissante tendant vers x avec xn lment de limage de f pour tout n. Supposons que la borne sup ne soit pas atteinte (soit elle est innie, soit xn tend vers x sans jamais latteindre). On a alors K = nN f 1 (] , xn [). On peut extraire de ce recouvrement de K un recouvrement ni (en fait, un recouvrement par un seul des f 1 (, xn [ puisque ces ensembles sont croissants) ; donc f est bien majore. K est alors gal f 1 (] , xn [) pour un certain n, ce qui contredit le fait que xn croisse vers x sans jamais latteindre - en effet xn < x implique quil existe t dans K tel que f (t) > xn . Dnition 114 (Proprit dintersection nie non vide) Une famille A de parties de X a la proprit dintersection nie non vide si et seulement si tout sous-ensemble ni de A a une intersection non vide.

Proposition 115 Un espace topologique est compact sil est spar et si toute famille de ferms qui a la proprit dintersection nie non vide a une intersection non vide. Dmonstration : Il suft de considrer les complmentaires des ferms, qui ont le bon got dtre ouverts. Outre les corollaires qui suivent, on pourra voir la proposition 124, ou le lemme ??. Corollaire 116 Un ferm dun compact est compact. Voir (par exemple...) ??. Dmonstration : Un ferm dun compact est videmment spar ; il suft ensuite de voir quun ferm de notre ferm est un ferm de notre espace et dutiliser la propo31

www.L es-M athematiques.net

sition prcdente.

Thorme 117 Deux compacts disjoints dun espace spar peuvent tre spars par des ouverts.

Dmonstration : On montre tout dabord le lemme suivant :

Lemme 118 Si X est spar, et K compact inclus dans X , alors K est ferm.

Cela servira chaque fois quon voudra montrer que compact quivaut ferm born dans un espace donn, par exemple ??. Dmonstration : On considre x dans le complmentaire de K ; pour tout y appartenant K on peut sparer x et y par des ouverts Uy et Vy . On peut alors considrer le recouvrement de K par les ouverts Vy et en extraire un recouvrement ni. En prenant lintersection des Uy correspondants notre recouvrement ni, on a un ouvert autour de x, nintersectant pas K . Donc le complmentaire de K est ouvert, donc K est ferm. On peut donc terminer la preuve de notre thorme, en considrant un deuxime compact K , et pour tout x de K , on peut trouver un ouvert Uy autour de x et un ouvert Vx contenant K ; on applique la compacit de K , et on obtient facilement deux ouverts disjoints sparant K de K . Corollaire 119 Dans un espace compact, les sous-ensembles ferms sont les sous-ensembles compacts. Dmonstration : Il suft de considrer le corollaire 116 et le lemme 118. Corollaire 120 Tout point dun compact possde une base de voisinage compacts. Dmonstration : (voir gure 1.1) Soit W un voisinage ouvert de x dans lespace compact X . Le ferm X \ W est compact. On peut donc sparer les compacts {x} et X \ W par deux ouverts U et V . Alors X U X \ V W ; et donc X \ V est un voisinage compact de x inclus dans W .

Corollaire 121 Une fonction continue bijective dun compact dans un espace spar est un homomorphisme. On peut citer en applications les rsultats 220 et 208 (proprits du cube de Hilbert et du Cantor triadique).

32

www.L es-M athematiques.net

Frontires des ouverts sparant les compacts Compact recherch


F IG . 1.1 Construction dune base de voisinages compacts dans un compact. Dmonstration : Il suft de voir que limage dun ferm (donc compact) est compacte dans lespace image, et donc elle est aussi ferme. Donc limage rciproque de tout ferm par la fonction inverse est un ferm. On peut utiliser ce rsultat pour montrer que tout compact mtrique est homomorphe une partie du cube de Hilbert, partie 1.6.9. Thorme 122 Les compacts de R sont les ferms borns. Dmonstration : Il suft de considrer un interval ferm born autour dune partie borne pour montrer facilement ce rsultat partir des rsultats prcdents et de 111.

Corollaire 123 Etant donne une fonction continue dun compact dans R, ses bornes suprieures et infrieures sont atteintes. Ce rsultat sert dans la vie de tous les jours, mais on peut par exemple citer le joli thorme 231, le theorme de Rolle ??, la recherche de points extrmaux sur un compact (voir ??). Citons aussi le rsultat 233 sur les billards strictement convexes du plan. Enn, il servira pour le thorme 231 (point xe commun un sous-groupe compact dautomorphismes dun espace de Hilbert).

33

www.L es-M athematiques.net

Dmonstration : Trivial au vu du rsultat prcdent et de la proposition 112. Proposition 124 Toute suite valeurs dans un compact admet une valeur dadhrence. Dmonstration : La suite des {xm /m n} a la proprit dintersection nie non vide ; il ne reste plus qu appliquer la proposition 115.

Dnition 125 (Localement compact) Un espace topologique est localement compact sil est spar et si tout point possde un voisinage compact.

Proposition 126 Tout point dun espace localement compact possde une base de voisinages compacts. Dmonstration : Si x Int(K ) avec K compact, alors x possde une base de voisinages compacts dans K muni de la topologie induite (par 120). Comme x Int(K ), cette base de voisinages est aussi une base de voisinages de x dans X .

1.3.2

Le thorme de Tykhonov

Thorme 127 (Thorme de Tykhonov) Soit Xi une famille despaces tous non vides. Le produit est compact si et seulement si chacun des facteurs lest.

Dmonstration : On a dj montr que le produit est spar si chacun des facteurs lest (voir 101). La compacit du produit X entrane la compacit de chacun des facteurs comme on peut sen rendre compte en considrant la projection canonique sur chacun des facteurs. Il reste donc voir la rciproque, cest dire que X est compact, si chacun des facteurs lest. On trouvera une dmonstration dans Bourbaki, ou bien dans [13]. La dmonstration utilise le lemme de Zorn ??.

Il est important de noter que lon peut prouver Tykhonov dans le cas dun produit dnombrable de compacts mtriques (Xi , di ) sans faire appel laxiome du choix. Cela se fait simplement en considrant : La mtrique di associe la mtrique di , avec di = min(di , 1). 1 La mtrique sur le produit des compacts dnie par D(x, y ) = 2i di (xi , yi ). La topologie de cette mtrique est la topologie produit. Il ne reste plus qu utiliser la caractrisation des compacts mtriques par les sous-

34

www.L es-M athematiques.net

suites (thorme de Bolzano-Weierstrass, thorme 140).

Dans le cas dun produit ni de compacts mtriques, la preuve est vidente. Corollaire 128 Les compacts de Rn sont les ferms borns. Dmonstration : Etant donne une partie borne, on considre un produit dintervalles ferms borns dans lequel cette partie est incluse, et le rsultat vient tout seul.

1.3.3

Application aux espaces vectoriels norms

Thorme 129 Toutes les normes sur un R- ou C- espace vectoriel de dimension nie sont quivalentes.

Dmonstration : On considre une base, et la norme qui a un lment de E associe la somme des valeurs absolue de ses composantes. On montre quune norme quelconque est quivalente cette norme. Il suft pour cela de noter que la sphre unit (pour notre norme) est compacte, par compacit de la mme sphre dans Rn et continuit des oprations algbriques, et de vrier que toute norme est continue et donc atteint sur cette sphre un minimum et un maximum (NB : toute norme est continue car K -lipschitzienne pour K le max des normes dimages dlments dune base orthonormale).

Corollaire 130 Un sous-espace vectoriel (de dimension nie) dun espace norm est ferm. Une application se trouve juste aprs le thorme de Baire 190 : un espace de Banach de dimension innie ne possde pas de base dnombrable. Dmonstration : Nous avons tout dabord besoin dun lemme : Lemme 131 Un sous-espace vectoriel de dimension nie dun espace vectoriel de dimension nie est ferm.

Dmonstration : On considre la mme norme que dans le thorme prcdent. Pour cette norme notre espace est clairement ferm (au vu des quations le dnissant). Plus prcisment, on considre une base de notre espace vectoriel E , telle que F soit engendr par les k premiers lments de cette base (cest possible grce au tho-

35

www.L es-M athematiques.net

rme de la base incomplte). Alors F est lintersection dhyperplans ferms dquations xi = 0. On peut maintenant nir notre preuve ; soit x F , avec F de dimension nie ; alors on se place dans lespace gnr par une base de F plus le vecteur x, et on utilise le lemme ci-dessus. Exercice 132 Toute application linaire dun espace norm de dimension nie dans un espace norm est continue. Dmonstration : Il suft de considrer une base et la norme dnie plus haut.

Thorme 133 (Thorme de Riesz) Un espace norm est de dimension nie si et seulement si sa boule unit ferme est compacte.

On verra une application amusante avec le corollaire ??, une autre (utilisant aussi le thorme dArzla-Ascoli et le thorme disomorphisme de Banach) avec le thorme ??. Dmonstration : Supposons E de dimension nie, alors toutes les normes sont quivalentes, on peut se ramener E = Rn ; comme la boule unit est ferme borne, elle est compacte. Rciproquement (voir gure 1.2), supposons la boule unit ferme compacte, alors on peut la recouvrir par des boules ouvertes de diamtre 0.5 en nombre ni. On considre alors lespace F engendr par les centres de ces boules, et on montre que lon peut approcher tout point de la boule arbitrairement bien avec des points de F ; ensuite on utilise le fait que F est de dimension nie et donc est ferm.

Thorme 134 (Thorme de Banach-Alaoglu) Soit E le dual dun espace norm, alors sa boule unit ferme est compacte pour la topologie faible * (ie la topologie engendre par les applications qui E associent (x) pour un certain x E .

La boule unit ferme est lensemble des formes linaires telles que (x) x . Dmonstration : (voir gure 1.3) On identie E une partie du produit KE , en identiant ((x))xE . La topologie faible * est alors la topologie induite sur E par la topologie produit sur KE . La boule unit BE est contenue dans = xE B (0, x ) KE . Par le thorme de Tykhonov ce produit est compact. Il suft donc maintenant de montrer que B E est ferm comme sous-ensemble de muni de la topologie produit, ce qui se fait aisment en considrant les quations dnissant B E (qui sont simplement les quations dnissant les fonctions linaires).

36

www.L es-M athematiques.net

F IG . 1.2 Le thorme de Riesz. On approxime x de la boule par le centre du cercle le plus proche, et on ritre avec le double de la distance entre x et ce centre.

Voir la proposition ?? par exemple. Proposition 135 La boule unit ferme du dual dun espace sparable est mtrisable pour la topologie faible *. Dmonstration : On considre une suite xn dense dans E , valeurs non nulles ; la topologie faible sur la boule unit ferme peut tre dnie par la mtrique d(, ) =
n0

|(xn ) (xn )| xn .2n

Cette (courte) vrication tant faite, le rsultat est acquis. Corollaire 136 On peut en outre extraire de toute suite de la boule unit ferme du dual dun espace sparable une suite convergeant faiblement. Dmonstration : Laisse au lecteur...

37

www.L es-M athematiques.net

KE

Limites de (compact par Tykhonov)

E Elments de E B(E), ferm dun compact, est compact.


F IG . 1.3 Schma explicatif de la preuve du thorme de Banach-Alaoglu.

1.3.4

Espaces mtriques compacts

Thorme 137 Un espace mtrique compact est sparable. Il possde donc une base dnombrable douverts.

Dmonstration : Soit X mtrique compact. Pour tout n on peut trouver une suite 1 nie de points telle que les boules centres sur ces points et de rayon n recouvrent X . La suite obtenue en mettant bout bout toutes ces suites nies est dense dans X .

Corollaire 138 Un espace mtrique compact est de cardinal infrieur ou gal celui de R.

Dmonstration : Un espace mtrique compact est sparable ; donc il admet une base dnombrable douverts. En prenant un xi dans chaque ouvert, on obtient donc que tout point est limite dune suite de xi . Il suft alors de voir que lensemble des suites dun ensemble au plus dnombrable est de cardinal au plus la puissance du continu, ce qui se voit facilement, en considrant par exemple la fonction qui un rel x [0, 1] dont le dveloppement binaire comporte une innit de 1 associe la suite (un )nN telle que un est gal au nombre de 0 entre le n-ime 1 et le n + 1-ime 1.

38

www.L es-M athematiques.net

Thorme 139 (Thorme de Heine) Une application continue dun espace mtrique compact vers un espace mtrique est uniformment continue.

Ce thorme servira par exemple pour le thorme ??. Il peut aussi servir montrer quune application continue de R dans R tendant vers une limite nie en plus et moins linni est uniformment continue. Dmonstration : On considre, pour > 0, pour chaque x X , x > 0 tel que d(x, y ) < x d(f (x), f (y )) < /2. Par compacit, on peut recouvrir X par un nombre ni de boules de centre x et de rayon x /2. On prend alors = inf i , et le rsultat vient tout seul...

Thorme 140 (Thorme de Bolzano-Weierstrass) Un espace mtrique est compact si et seulement si toute suite valeurs dans X contient une sous-suite convergente.

Voir par exemple le thorme de Brouwer 252, le thorme de Tykhonov dans le cas dun produit dnombrable despaces mtriques (voir juste aprs le thorme 127) sans utiliser laxiome du choix. Le thorme est aussi utilis dans le lemme ??, qui servira dmontrer le thorme de Runge. Le corollaire 142 est une autre application : toute isomtrie dun espace mtrique compact dans lui-mme est une bijection. Dmonstration : Si X est mtrique compact, alors toute suite (xn ) a une valeur dadhrence (considrer la suite dcroissante de parties de X constitues des lments Xn = {xk /k n} ; la suite des adhrences de ces parties a la proprit dintersection nie), et X tant mtrique, une sous-suite converge vers cette valeur dadhrence. Rciproquement, considrons tout dabord les deux lemmes suivants :

Lemme 141 (Lemme de Lebesgue) Soit (X, d) un espace mtrique tel que toute suite contienne une sous-suite convergente. Si Vi est un recouvrement ouvert de X , alors il existe > 0 tel que pour tout x X , il existe i tel que B (x, ) Vi . Dmonstration : Dans le cas contraire, on peut pour tout entier n trouver un xn tel que la boule de centre xn et de rayon 1/n ne soit contenue dans aucun Vi . Alors on extrait de cette suite une sous-suite convergente. On obtient que pour n assez grand les boules en question seront incluses dans le Vi qui contient x.

39

www.L es-M athematiques.net

Corollaire 142 Une isomtrie dun espace mtrique compact sur lui-mme est une bijection. Dmonstration : Supposons E un tel espace, et f une isomtrie de E dans E . Supposons que x nappartienne pas limage de f . Alors, x est distance > > 0 de limage de f (en effet limage de f est compacte comme image continue dun compact, voir proposition 112, or la distance entre un compact et un ferm disjoint de lui est > 0, voir corollaire 201). Considrons alors un = f n (x), et supposons que ukn converge, pour (kn ) une certaine suite strictement croissante. Si lon aboutit une contradiction, alors le thorme de Bolzano Weierstrass permettra de conclure que lespace ne peut tre compact. d(ukn , ukn+1 ) = d(ukn+1 kn , x) puisque f est une isomtrie. Or d(ukn+1 kn , x) > par dnition de x et puisque les un appartiennent limage de f pour n > 0. Do la contradiction recherche. Lemme 143 Sous les mmes hypothses que le lemme 141, pour tout > 0, il existe une suite nie xi telle que les boules B (xi , ) recouvrent X . Dmonstration : Si le lemme est faux pour un certain , alors on peut construire par rcurrence une suite telle que chaque point soit une distance au moins des autres points, ce qui contredit lhypothse. Avec ces deux lemmes on conclut facilement ; si toute suite contient une sous-suite convergente, alors tant donn un recouvrement ouvert (Vi ), on peut construire par le premier lemme un ensemble de boules recouvrant X et tel que chaque boule est incluse dans lun des Vi ; ensuite par le deuxime lemme, on se ramne un nombre ni de points, et il ne reste plus qu cueillir le bon sous-ensemble des Vi .

1.4

Connexit
Dnition 144 Un espace topologique est dit connexe si les seuls sousensembles de X la fois ouverts et ferms sont et X . Une partie dun espace topologique est connexe si elle est connexe pour la topologie induite.

On utilisera la connexit pour montrer : certaines formes du thorme des valeurs intermdiaires 150. le corollaire ?? sur la drivabilit dune limite dune suite de fonctions. les lemmes ?? et ??, utile pour une dmonstration du thorme de Jordan la proposition ?? utilisera la connexit pour dnir une distance dans un ouvert connexe dun espace vectoriel norm thorme de Runge, ??. 40

www.L es-M athematiques.net

Tous les rsultats bass sur lindice, par exemple le thorme de Cauchy ??, et beaucoup de rsultats sur les fonctions holomorphes. Lexercice de la partie 1.6.18, montrant quune fonction f C de R dans R telle que x n f (n) (x) = 0 est polynomiale. On trouvera diverses autres applications de la connexit plus loin dans ce chapitre. Proposition 145 Les assertions suivantes sont quivalentes : (i) X est connexe (ii) Une application de X dans {0, 1} continue est constante, avec {0, 1} muni de la topologie discrte. (iii) Pour tout couple douverts A et B de X , si X = A B et A B = , alors A = ou B = (iv) Pareil avec des ferms (v) Toutes les parties de X non triviales (i.e. autres que X et ) ont une frontire non vide.

Dmonstration : Facile : (i) (ii) Si X est connexe, montrons que toute application continue de X dans {0, 1} est constante. En effet, si une telle application f ntait pas constante, on partitionnerait X en 3 1 1 deux ouverts non vides (f 1 (0) = f 1 (] 2 , 2 [) et f 1 (1) = f 1 (] 1 2 , 2 [)) ; chacun deux serait alors la fois ouvert, ferm, et non trivial. La rciproque (ii) (i) est non moins simple (raisonner par labsurde : si A ouvert et ferm non vide et diffrent de X , alors prendre la fonction caractristique de A dans X ). (ii) (iii) Facile, en voyant que si A et B contredisent lhypothse, A est ouvert et ferm et non trivial. Le reste est du mme niveau de difcult, je le passe sous silence...

Proposition 146 Si A X est connexe et si A B A, alors B est connexe. Si les Ai sont des parties connexes de X et Ai = , alors Ai est connexe. Si les Ai sont des parties connexes de X et pour tout couple Ai , Aj il existe i0 , ..., ik avec i0 = i et ik = j tels que Ail intersecte Ail+1 , alors Ai est connexe.

Dmonstration : Pour montrer la premire assertion on utilise la deuxime des caractrisations des connexes donnes en 145. La deuxime assertion nest quun cas particulier de la troisime. La troisime assertion l aussi se montre en utilisant la seconde des caractrisations des connexes donnes en 145.

41

www.L es-M athematiques.net

Thorme 147 Les connexes de R sont les intervalles.

Dmonstration : Facile.

Thorme 148 Limage dun connexe par une fonction continue est un connexe.

Dmonstration : Facile toujours en utilisant la mme caractrisation des connexes.

Thorme 149 Soit f une application continue dnie sur un connexe et valeurs dans R. Alors limage de f est un intervalle.

Dmonstration : Facile au vu des deux thormes prcdents.

Corollaire 150 Le thorme des valeurs intermdiaires (dans le cas dune fonction continue, pas dans le cas dune fonction drive) dcoule immdiatement du thorme ci-dessus. Thorme des valeurs intermdiaires pour une fonction drive, dit aussi thorme de Darboux, ??. Thorme 151 (passage la douane) Soit X un espace topologique et A X connexe. Si A intersecte la fois B et son complmentaire, alors A intersecte la frontire de B .

Dmonstration : Il suft de voir que les deux ouverts Int(B ) et Ext(B ) ne peuvent recouvrir A.

Thorme 152 Un produit densembles non vides est connexe si et seulement si chacun des facteurs lest.

Dmonstration : Il est facile de voir, via les projections canoniques, que si le

42

www.L es-M athematiques.net

produit est connexe, chacun des facteurs lest. La rciproque est plus difcile. On commence par le cas o le produit est un produit de deux espaces (voir gure 1.4). Pour cela on montre que tous les couples (x, y ) = (x1 , x2 ), (y1 , y2 ) sont contenus dans un sous-ensemble connexe de X1 X2 ; on utilisera ensuite la proposition 146. Il suft pour ce rsultat intermdiaire de considrer lunion de X1 {y2 } et de {x1 } X2 . Par rcurrence, on gnralise ce rsultat tout produit ni de connexes.

{x1 } F x E y F

E F

E {y 2}

F IG . 1.4 Un produit ni densembles est connexe si et seulement si chacun des facteurs lest. La gnralisation un produit inni se fait par un argument de connexit de ladhrence dune partie connexe convenablement choisie (voir le texte). On considre maintenant un produit quelconques X de facteurs Xi connexes non vides. On considre un lment y de X , en utilisant laxiome du choix. Pour A ni inclus dans I (I est lindex de Xi ), on dnit alors le sous-ensemble XA de X dni par (xi ) XA si et seulement si xi = yi pour tout i tel que i A. XA est connexe puisquhomomorphe un produit ni de Xi . On peut vrier que la runion des XA est dense dans X (en se rappelant quune base douverts dune topologie produit est lensemble des intersections nies dimages douverts par les projections inverses) et connexe (par le deuxime point de la proposition 146), et on conclut par le premier point de la proposition 146.

Thorme 153 Une fonction localement constante sur un connexe est constante. Dmonstration : Il suft de voir que limage rciproque dun singleton est la fois ouverte et ferme.

43

www.L es-M athematiques.net

Dnition 154 (Composante connexe) Avec x X , la composante connexe de x, note C (x), est la runion de tous les connexes contenant x.

Proposition 155 Tout point appartient sa composante connexe La composante connexe dun point est le plus grand connexe contenant ce point Les composantes connexes sont fermes Deux composantes connexes sont disjointes ou confondues. En particulier, la famille des composantes connexes forment une partition de lespace.

Dmonstration : Le premier point est trivial, le deuxime aussi par 146, le troisime dcoule de la connexit de C (x), le quatrime point dcoule du fait que la runion de deux connexes non disjoints est un connexe (deuxime point de la proposition 146).

Dnition 156 (Arc ou chemin, ligne brise) Un arc ou chemin est une application continue de [0, 1] dans X . Limage de 0 et limage de 1 sont les extrmits de larc. Une ligne brise entre a et b est une suite nie de segments [xi , xi+1 ] avec i [0, n 1], x0 = a et xn = b. On appelle longueur dune ligne brise la somme des longueurs de ses segments.

Exercice 157 Dans un espace norm, lapplication qui t associe (1 t).x + t.y est un arc dextrmits x et y (on dit aussi un arc entre x et y ). Limage de cet arc est appele segment, not [x, y ]. Dun arc entre x et y et un arc entre y et z on peut dduire un arc entre x et z . Dnition 158 (Connexe par arcs) Un espace topologique est dit connexe par arcs si il existe un arc entre toute paire de points. Une partie dun espace topologique est dite connexe par arcs si elle est connexe par arcs pour la topologie induite. Exemples : Un convexe est connexe par arcs.

44

www.L es-M athematiques.net

Dmonstration : Cela dcoule des exemples ci-dessus. Proposition 159 Un connexe par arcs est connexe. La rciproque est fausse. Dmonstration : On xe x dans un espace connexe par arcs. Chaque arc est un connexe, car image dun connexe ([0, 1]) par une fonction continue ; la runion des arcs partant de x est connexe (par la proposition 146), or par dnition cette runion est lespace tout entier. Pour la rciproque, considrer la gure 1.5.

F IG . 1.5 Un connexe qui nest pas connexe par arcs. La mme gure fournit un exemple de connexe qui nest pas localement connexe. Il sagit de la courbe des (x, sin(1/x)) vers 0 par valeurs infrieures, plus la frontire {0} [1, 1]. On voit que la gure nest pas localement connexe en considrant ce quil se passe au voisinage du point (0, 1).

Exercice 160 Soit lapplication f :]0, 1] R, qui x associe 1/sin(x). Montrer que la fermeture de son graphe est connexe mais pas connexe par arcs. Dmonstration : On suppose quil existe une fonction continue qui 0 associe (0, 1) et 1 associe (1, sin(1)), et telle que pour tout x on ait (x) appartienne au graphe de f . On considre x0 le sup de lensemble des x tels que la premire composante de (x) soit nulle. Il suft ensuite de considrer la limite de la deuxime composante pour x tendant vers x0 .

45

www.L es-M athematiques.net

Proposition 161 Soit Ci une famille de parties connexes par arcs. Si pour toute paire i, j il existe une suite nie Ca0 , ..., Cak avec Cah Cah+1 = et a0 = i et ak = j , alors la runion est connexe par arcs. Dmonstration : Facile.

Dnition 162 (Composante connexe par arcs) La composante connexe par arcs de x est la runion de tous les connexes par arcs passant par x ; on la note Ca (x).

Proposition 163 La composante connexe par arcs dun point est connexe par arcs. Deux composantes connexes par arcs sont soit disjointes soit confondues. Ca (x) C (x), car Ca (x) est un connexe contenant x, et C (x) est le plus grand connexe contenant x par dnition.

Dnition 164 (Localement connexe (par arcs)) Un espace est localement connexe (resp. par arcs) si tout point de lespace possde une base de voisinage connexes (resp. par arcs). Attention ; un espace peut tre connexe sans tre localement connexe. Voir par exemple la gure 1.5. Notamment, alors quun espace dont tout point possde un voisinage compact (par exemple un espace compact !) est localement compact, un espace dont tout point possde un voisinage connexe nest pas ncessairement localement connexe. Thorme 165 Dans un espace localement connexe (resp. localement connexe par arcs), les composantes connexes (resp. par arcs) des ouverts sont ouvertes. Dmonstration : Facile.

Corollaire 166 Dans un espace localement connexe (resp. localement connexe par arcs) tout point possde une base de voisinages ouverts et connexes (resp. connexes par arcs). Dmonstration : Il suft de considrer, tant donn x et un voisinage V de x, un

46

www.L es-M athematiques.net

ouvert inclus dans V et contenant x,et une composante connexe (resp. par arcs) de x dans cet ouvert. On peut noter le thorme suivant : Thorme 167 Dans un espace localement connexe par arcs, les ouverts connexes sont connexes par arcs. Notamment, les ouverts connexes de Rn , ou de tout espace vectoriel norm a sont connexes par arcs.
a Ou

mme de tout espace vectoriel topologique.

1.5
1.5.1

Compltude
Suites de Cauchy. Espace complet

Dnition 168 (Suite de Cauchy) Une suite (xn ) dans un espace mtrique est dite suite de Cauchy si pour tout > 0 il existe un N N tel que n, m > N on a d(xn , xm ) < .

La notion de suite de Cauchy est une notion mtrique et non une notion topologique. Mme si deux distances sont quivalentes, on ne peut tre sr que les suites de Cauchy soient les mmes pour les deux mtriques. Par exemple avec d(x, y ) = |arctan(x) arctan(y )|, la topologie sur R est la mme que pour la topologie usuelle, mais la suite un = n nest pas de Cauchy pour la mtrique usuelle, alors quelle est de Cauchy pour cette mtrique.

Proposition 169 Etant donne une suite xn , notons Xn = {xk /k n} ; alors la suite xn est de Cauchy si et seulement si le diamtre de Xn tend vers 0. Dans un espace mtrique toute suite convergente est de Cauchy. Limage dune suite de Cauchy par une application uniformment continue est une suite de Cauchy.

Dnition 170 (Espace complet) Un espace mtrique X est complet, si toute suite de Cauchy de X a une limite dans X . Quelques exemples despaces complets : 47

www.L es-M athematiques.net

les exemples de Banach donns un peu plus loin. C k () avec un ouvert de Rn , voir partie ??. Une proprit fondamentale des espaces complets est le thorme du point xe ??. Dnition 171 (Espace de Banach) Un espace de Banach est un espace vectoriel norm complet. Un isomorphisme entre lespace de Banach E et lespace de Banach F est un isomorphisme des espaces vectoriels norms sous-jacents.

Quelques exemples despaces de Banach : R Rn muni dune des normes suivantes : n - (x1 , ..., xn ) i=1 |xi | n 2 - (x1 , ..., xn ) i=1 xi n - (x1 , ..., xn ) maxi=1 |xi | Lensemble des applications continues bornes dun espace topologique X dans R ou C, muni de la norme f supxX |f (x)| Les espaces Lp , comme on le verra en ?? Si F est un Banach et E un espace vectoriel norm , alors L(E, F ) (ensemble des fonctions linaires continues de E dans F ) est un Banach (pour la norme f sup x =1 f (x) ). On rappelle que deux normes sont dites quivalentes si elles dnissent la mme topologie. Tout dabord quelques proprits des Banachs issues directement de la partie 1 : Un isomorphisme algbrique (i.e. un isomorphisme au sens des espaces vectoriels ) continu entre espaces de Banach est un isomorphisme despaces vectoriels norms . Toutes les normes sont quivalentes sur des R-espaces vectoriels de dimension nie. Deux normes sont quivalentes si et seulement si chacune delle est infrieure une certaine constante multiplie par lautre Un espace vectoriel norm de dimension nie est complet, et donc est un Banach. Les compacts dun espace vectoriel norm de dimension nie sont les ferms borns.

48

www.L es-M athematiques.net

Proposition 172 Etant donns des espaces mtriques Ei en nombre ni, le produit E0 ... En peut tre quip dune mtrique dnie par d((xi ), (yi )) de lune des formes suivantes (entre autres) : i d(xi , yi ) 2 i d(xi , yi ) p p i d(xi , yi ) maxi d(xi , yi ) Ce sont bien des distances et elles sont quivalentes entre elles. La topologie ainsi dnie est la topologie produit, que lon a dnie plus tt.

Proposition 173 Un espace mtrique est complet si et seulement si lintersection de toute suite dcroissante de ferms non vides de diamtre tendant vers 0 est non vide et donc rduite un point. Dmonstration : Si lespace mtrique est complet, alors on considre xn appartenant au n-ime ferm ; la suite est de Cauchy, et converge donc vers un point ; quel que soit n, ce point est limite dune suite de points de Xn ; donc il appartient Xn puisque Xn est ferm. En outre, le diamtre tendant vers 0, le diamtre de lintersection est 0 ; donc il sagit dun seul point. Rciproquement, tant donne une suite de Cauchy xn , on considre la suite des Xn avec Xn = {xk /k n} ; cette suite vrie les hypothses, donc lintersection des Xn est rduite un point. On montre facilement que ce point est limite des xn . Proposition 174 Un produit ni despaces mtriques complets, muni dune mtrique comme dni ci-dessus, est complet. Rciproquement un produit ni despaces mtriques, muni dune mtrique comme dni ci-dessus, est complet si et seulement si chacun des facteurs lest.

Dmonstration : La dmonstration (pas trs difcile) est laisse au lecteur.

Proposition 175 Si une suite de Cauchy a une valeur dadhrence, elle est convergente. Dmonstration : On considre une suite extraite qui converge, et on montre facilement que la suite tend vers la mme limite.

49

www.L es-M athematiques.net

Corollaire 176 Un espace mtrique compact est complet. Dmonstration : Sil est compact, toute suite a une valeur dadhrence (par le thorme de Bolzano-Weierstrass 140) ; il suft alors dappliquer la proposition prcdente. Thorme 177 Le corps R est complet pour sa mtrique ; de mme Rn muni dune norme est complet pour cette norme. Plus gnralement un espace norm de dimension nie est complet. Dmonstration : On considre une norme sur E de dimension nie et une suite de Cauchy xn . On montre que pour un certain N la suite est valeurs dans la boule de centre xN et de rayon 1 partir du rang N , directement par la dnition dune suite de Cauchy ; on a donc une suite dans un compact, et donc la suite de Cauchy converge vers un lment de cette boule. On trouvera par exemple une utilisation de ce thorme dans 185. Proposition 178 Un sous-ensemble dun mtrique complet est complet si et seulement si il est ferm. Dmonstration : Soit A un sous-ensemble ferm de X complet. Si xn est une suite de Cauchy dans A, cest aussi une suite de Cauchy dans X , donc elle converge. Si A est ferm la limite est dans A. Rciproquement, on suppose x dans A, et on choisit une suite xn qui tend vers x ; et on remarque que xn est de Cauchy et donc converge vers une limite dans A puisque A est complet.

Dnition 179 (Srie absolument convergente) Soit E un espace vectoriel norm. (xn ) dans E est appele une srie absolument convergente si n0 xn < +.

Thorme 180 Un espace vectoriel norm E est complet si et seulement si toute srie absolument convergente (xn ) est convergente dans E .

Dmonstration : Supposons E complet. Soit une srie xn absolument convergente. Pour m > n on a

50

www.L es-M athematiques.net

d(
i=0

xi ,
i=0

xi ) =
i=n+1 m

xi

i=n+1 +

xi

i=n+1

xi 0

Donc la suite yn =

n i=0

xi est de Cauchy, et donc converge.

Rciproquement supposons maintenant que toute srie absolument convergente converge. On se donne xn une suite de Cauchy. On en extrait une sous-suite, et xm xnk 21 k pour m nk ; la srie correspondante est absolument convergente ; il est facile den dduire que la suite a une valeur dadhrence, et donc quelle converge.

Thorme 181 Si E est norm et si F est de Banach, alors lespace norm L(E, F ) est aussi de Banach.

Dmonstration : Soit fn une suite de Cauchy dans L(E, F ). Pour tout x E , on a fn (x) fm (x) fn fm . x , donc la suite fn (x) est de Cauchy dans F ; elle converge vers un lment que lon note f (x). Il est clair que f est linaire. On xe alors > 0. On choisit N tel que fn fm , pour n, m > N , et on considre x de norme < 1. En faisant tendre m vers linni on obtient que n > N fn (x) f (x) ; donc f est borne sur la boule unit, et donc f est continue. On obtient avec la mme formule la convergence de fn vers f au sens de la norme. En rsum, la preuve sobtient en montrant la convergence simple (facile), puis en montrant que la limite est linaire (trivial), puis quelle est continue (ya qu lcrire et a roule).

Corollaire 182 Le dual E dun espace norm E est un espace de Banach. Dmonstration : Par application immdiate du thorme prcdent. Voir le corollaire ??. Thorme 183 Si K est un espace compact et Y un espace complet, alors lespace des applications continues de K dans Y C 0 (K, Y ) est mtrique complet pour la distance d(f, g ) = supx d(f (x), g (x)).

51

www.L es-M athematiques.net

Dmonstration : La compacit de K permet de vrier que la fonction d est bien dnie ; elle est clairement effectivement une mtrique. Etant donne fn une suite de Cauchy dans lespace considr, on montre facilement que cette suite converge simplement vers une certaine fonction f ; en utilisant la continuit de fn et la convergence uniforme on conclut facilement la continuit de f . La convergence uniforme des fn dcoule facilement du critre de Cauchy dans lespace considr. Voir par exemple le thorme ??. On peut citer aussi le fait que lespace des applications continues dun espace K compact dans un espace E de Banach est de Banach pour la norme f = supx f (x) E . Exercice 184 Si E1 , ...En sont des espaces vectoriels norms, avec F de Banach, montrer que lespace norm L(E1 , ..., En ); F ) est aussi de Banach.

1.5.2

Complt dun espace mtrique

Thorme 185 Tout espace mtrique (X, d) se plonge isomtriquement dans ) avec X dense dans X d . un espace complet (X, Si on se donne deux tels plongements, alors lidentit sur X stend de manire 1 et X 2. unique en une isomtrie de X

Dnition 186 Un tel espace mtrique complet est appel complt de X . Dmonstration : Existence : on commence par introduire une relation dquivalence entre les suites de Cauchy : on dit de deux suites quelles sont quivalentes si la distance entre lune et lautre tend vers 0 (ie (xn ) est quivalente (yn ) si lim xn yn 0). lensemble des classes dquivalences pour cette relation. On considre X On note par [xn ] la classe dquivalence de la suite xn . On remarque que la distance entre xn et yn tend vers une limite donne pour n tendant vers + (noter que pour ce point on utilise la compltude de R montre un peu plus tt). la limite de la distance entre deux suites On peut donc prendre pour distance sur X pour n tendant vers linni ; on vrie facilement quil sagit bien dune distance. On peut prendre pour plongement la fonction qui x associe la suite constante gale x. On constate facilement que ce plongement est une isomtrie. en considrant On peut voir facilement que limage du plongement est dense dans X pour une suite donne xn la suite des suites de Cauchy constante gales xn . On peut maintenant identier X et son image. , note yn . On considre maintenant une suite de Cauchy dans X

52

www.L es-M athematiques.net

) entre Pour tout n on peut choisir xn , suite de Cauchy, telle que la distance (dans X xn et yn soit infrieure 1/n. , et donc aussi dans X . Par dnition de X , la La suite xn est de Cauchy dans X limite de la suite xn est la classe des suites dont la distance xn est nulle. Il ne reste plus qu voir que yn tend aussi vers cette limite. Lunicit rsulte du corollaire 188.

Thorme 187 Soient deux espaces mtriques A et B avec B complet. Si D est une partie dense de A et f : D B est uniformment continue, alors il : A B . Cette fonction f est de existe un et un seul prolongement continu f plus uniformment continue. Dmonstration : Lunicit est vidente, par unicit de la limite et par la densit de D dans A. Lexistence dcoule immdiatement du critre de Cauchy, grce la compltude de B . Il reste montrer luniforme continuit : soient x et y distincts dans A. Soit (x), f (y )) 2d(f (xn ), f (yn )) si n est xn x et yn y , avec xn et yn dans D. d(f assez grand. Luniforme continuit de f en dcoule immdiatement. Cela servira montrer quelques proprits simples des espaces de Hlder, voir ??, et le thorme de Plancherel. Lescalier de Cantor utilise aussi ceci (voir partie 1.6.13). Cela permet aussi de voir que si E est mtrique complet connexe localement connexe, alors E est connexe par arcs Corollaire 188 Une isomtrie i : D B dun sous-ensemble dense de lespace mtrique A sur une partie de lespace mtrique complet B stend de manire unique en une isomtrie i : A B de A sur une partie de B . Lextension i est une bijection de A sur B si et seulement si i(D) est dense dans B .

Dmonstration : Evident, mme preuve que pour le thorme 187.

53

www.L es-M athematiques.net

1.6
1.6.1

Zoologie de la topologie
Sparation de ferms par des ouverts dans un mtrique

Proposition 189 Soient F1 et F2 deux ferms disjoints dun espace mtrique (E, d). Alors il existe deux ouverts U1 et U2 tels que F1 U1 et F2 U2 , U1 et U2 tant disjoints. En outre il existe une fonction continue de E dans [0, 1] dont la restriction F1 c ). est gale 0 et dont la restriction F2 est 1 (cest dire que F2 f F1 Dmonstration : Considrer la fonction f dnie par f (x) = sup(d(x, F1 ) d(x, F2 ), 0) d(x, F1 )

si x F1 et f (x) = 0 sinon. puis U1 = f 1 ([0, 0.5[) et U2 = f 1 (]0.5, 1]).

1.6.2

Thorme de Baire

Thorme 190 (Thorme de Baire) Soit X un espace topologique. Si X est localement compact, ou sil est mtrique complet, alors Toute intersection dnombrable douverts denses est dense Une runion dnombrable de ferms recouvrant X comporte un ferm dintrieur non vide

Dmonstration : Il suft de montrer la premire assertion, la seconde tant quivalente par passage au complmentaire. On se donne Ui une famille dnombrable douverts avec Ui = X . Soit V un ouvert non vide. On veut montrer que lintersection des Ui a une intersection non vide avec V . On pose V0 = U0 V (ouvert non vide par densit de U0 ). Ensuite, par rcurrence : Vn Vn1 Un pour n 1 Cas mtrique complet : on impose diam(Vn ) 21 n Cas localement compact : Vn compact Lintersection des Vn est non vide, car : Dans le cas localement compact, il sagit dune suite dcroissante de compacts non vides. Dans le mtrique complet, il sagit dune suite dcroissante de parties non vides de diamtres tendant vers 0. Il suft alors de choisir un lment dans lintersection des Vi . Les lignes qui suivent fournissent de nombreuses applications du thorme de

54

www.L es-M athematiques.net

Baire. Il y a aussi par exemple lapplication 1.6.18. Proposition 191 Un espace de Banach de dimension innie na pas de base algbrique dnombrable. Dmonstration : Supposons que E , espace de Banach de dimension innie, ait une base dnombrable (en ) pour n N. Dnissons alors Fn , espace vectoriel engendr par les ei pour i n. Fn est alors un ferm (car de dimension nie, rsultat 130) et dintrieur vide (facile). Or lunion des Fn est gale E ; donc E devrait tre dintrieur vide grce au thorme de Baire, ce qui est absurde. Corollaire 192 R[X ] nest de Banach pour aucune norme.

Thorme 193 (Thorme de Banach-Steinhaus) Soit T : E F une famille dapplications linaires continues de lespace de Banach E dans lespace norm F . Si x sup T x < , alors sup T < .

On verra une application la transformation de Toeplitz (proposition ??), qui fournit une preuve lgante de la moyenne de Csaro (corollaire ??). Dmonstration : On pose Bn lensemble des x tels que on a T (x) n Bn est ferm. Lhypothse permet de dire que lunion des Bn est E . Par le thorme de Baire, lun des Bn est dintrieur non vide. On en dduit facilement le rsultat. Corollaire 194 Soit Tn : E F une suite dapplications linaires continues de lespace de Banach E dans lespace norm F . Si T.x = limn+ Tn (x) existe pour tout x, alors T est une application linaire continue. Dmonstration : Facile.

Dnition 195 (Application ouverte) Une application est dite ouverte si limage de tout ouvert est un ouvert.

55

www.L es-M athematiques.net

Thorme 196 (Thorme de lapplication ouverte) Une application linaire continue surjective entre espaces de Banach est ouverte.

Dmonstration : Donnons nous une telle application f , entre deux espaces de Banach E et F . f est donc suppose linaire, continue, et surjective. On montre quelle est ouverte. Soit U un ouvert de E . Il suft de montrer que f (U ) est ouvert dans F . Soit x dans f (U ). Il suft de montrer que f (U ) est un voisinage de x. Par translation, on peut supposer x = 0. Il suft donc de montrer quune certaine boule BF (0, r) dans F centre en 0 de rayon un certain r > 0 est incluse dans limage par f dune boule arbitraire BE (0, r ) dans E , centre en 0, de rayon r , avec r tel que BE (0, r ) U . Par linarit de f , on peut se limiter r = 1. Il convient donc de montrer quil existe r tel que BF (0, r) f (BE (0, 1)). Dnissons, pour n N, Fn = f (BE (0, n)). Daprs le thorme de Baire (ci-dessus), lunion des Fn tant gale E , il existe un Fn dintrieur non vide. Du coup, F1 , par linarit, est lui-mme dintrieur non vide. Il existe donc une boule BF (y, ) centre en y de rayon > 0 incluse dans F1 . Par symtrie y F1 . Finalement, BF (y, ) y F1 + F1 , donc BF (0, ) F2 (F1 + F1 = F2 comme on sen convaincra aisment). BF (0, 2 ) F1 , do le rsultat. Corollaire 197 (Thorme disomorphisme de Banach) Une application continue linaire bijective entre espaces de Banach a un inverse continu (est un isomorphisme).

Dmonstration : Consquence immdiate du thorme de lapplication ouverte. Voir par exemple le thorme ??, utilisant aussi le thorme de Riesz et le thorme dArzla-Ascoli. Corollaire 198 Si E muni de la norme N1 est un Banach et si E muni de la norme N2 est un Banach, alors si N1 .N2 pour un certain implique N2 N1 pour un certain . Donc si une des deux normes est plus ne que lautre, alors elles sont quivalentes. Dmonstration : Lidentit de (E, N2 ) dans (E, N1 ) est continue, bijective, linaire ; donc cest un isomorphisme.

56

www.L es-M athematiques.net

Corollaire 199 (Thorme du graphe ferm) Soit T : E F , linaire entre les Banach E et F . Lapplication T est continue si et seulement si le graphe de T est ferm dans E F . Dmonstration : Un sens ne pose pas de problme ; le graphe dune application continue est toujours ferm. Rciproquement, supposons le graphe ferm, voir gure 1.6. Lespace E F est en fait un espace de Banach. Le graphe est en fait un Banach (la linarit de T permet de conclure que le graphe est en fait un espace vectoriel, qui est ferm par hypothse ). La projection du graphe sur E restreinte au graphe est une application linaire bijective du graphe sur E ; par le corollaire 197, son inverse est aussi continue. La projection du graphe sur F est aussi continue. La fonction considre, composition de deux fonctions continues, est donc continue.

E x F = Banach Banach F continue


(par thorme disomorphisme de Banach)

linaire bijective continue E


F IG . 1.6 Schma explicatif de la preuve du thorme du graphe ferm.

57

www.L es-M athematiques.net

1.6.3

Distance dun point une partie

Proposition 200 Soit A une partie non vide dun espace mtrique (E, d). qui x dans E associe d(x, A) = inf {d(x, a)/a A} est Lapplication d continue et 1-lipschitzienne. Cette proposition servira un peu partout, par exemple pour le lemme ?? (trs utile pour approximer des fonctions par des fonctions C ), ou pour le lemme 202, ou pour voir que les -voisinages sont ouverts. est continue en x. Considrons t Dmonstration : Soit x dans E , montrons que d dans E , et donnons nous > 0 (gure 1.7). et de linf, il existe a A tel que d(x, a) d(x, A) + . Alors Par dnition de d (t) d (x) + d(t, x) + . d(t, A) d(t, x) + d(x, a) d(t, x) + d(x, A) + , donc d (t) d (x) + d(x, t). De mme on aurait d (x) En faisant tendre vers 0 on obtient d (t) + d(x, y ). Donc d (x) d (t)| d(x, t) |d . On en dduit la continuit et le caractre 1-lipschitzien de d

F IG . 1.7 Continuit de la distance une partie : une simple application de lingalit triangulaire.

58

www.L es-M athematiques.net

Corollaire 201 La distance entre un compact et un ferm disjoints est > 0.

par distance entre un compact et un ferm on entend linf de la distance entre un point du compact et un point du ferm. Dmonstration : La distance un ensemble tant continue, la distance dun point du compact au ferm atteint son minimum sur le compact (voir 123). Si la distance est nulle, alors elle est nulle en un certain point x du compact. On prend alors une suite xn du ferm tendant vers x (par exemple d(xn , x) < 1/n) ; sa limite est ncessairement dans le ferm, donc x est lintersection du ferm et du compact, donc ces deux ensembles ne sont pas disjoints. Do la contradiction, et le rsultat. La distance entre deux ferms disjoints nest pas ncessairement non nulle ! Considrer dans R les ferms F1 et F2 dnis par F1 = N F2 = { n+1 /n N n 2} n

1.6.4 Approximation douverts par des compacts


Lemme 202 Soit U un ouvert de Rn . Pour m 1, notons Km lintersection de 1 {x U/d(x, U c ) } m et de B (0, m) Alors : Pour tout m > 0 Km est compact Km Int(Km+1 ) U = i Ki K compact de U m/K Km Ce rsultat servira par exemple pour le corollaire ??, ou pour lutilisation de la dnition ??, ou pour la proposition ??. Dmonstration : Km est born (clairement), Km est une intersection de deux ferms (rappelons que pour une partie non vide donne lapplication qui un point associe sa distance cette partie est continue, voir proposition 200). Un ferm born de Rn est compact (corollaire 128). Il suft de voir que lintrieur dune intersection nie est lintersection des intrieurs. 59

www.L es-M athematiques.net

La distance dun point x de U au complmentaire de U est > 0 car le complmentaire de U est ferme (un point distance nulle dun ferm est dans ce ferm). Soit K un compact inclus dans U . Linf de la distance dun point de K au complmentaire de U est > 0 grce un corollaire prcdent. Donc cette distance est suprieure 1/m pour m assez grand. Il suft ensuite de prendre m assez grand pour que K soit inclus dans la boule ferm B (0, m). Lemme 203 (Approximation douverts du plan par des compacts pas trop trous) Soit un ouvert de C (on pourrait dire R2 ). Alors il existe une suite de compacts Kn inclus dans tels que : Kn Int(Kn+1 ) Tout compact de est inclus dans un certain Kn Toute composante connexe de (C {}) \ Kn contient une composante connexe de (C {}) \
                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         

La dernire condition signie simplement quil ny a pas de "trous" superus dans les Kn . La seconde condition implique que la runion des Kn est . Dmonstration : On utilise les mmes Kn que dans la partie prcdentes. Le seul problme est de vrier que la dernire condition est vrie. \ Kn 6 , et x appartenant cette On se donne donc C une composante connexe de C composante connexe. Alors ncessairement |x| > n ou |x f | < 1/n pour un certain f dans F , avec F le complmentaire de . Dans le cas |x| > n, alors les .x, pour rels 1, forment une demi-droite, qui unie {}, forme un connexe, inclus dans C , et intersectant une composante connexe \ (puisque !). de C Dans le cas |x f | < 1/n, le segment [x, f ] est inclus dans C , donc C contient f , \ , au moins en f . et donc intersecte C Do le rsultat.

1.6.5

Homomorphisme entre une boule ferme et un compact convexe dintrieur non vide

Proposition 204 Soit K un compact convexe dintrieur non vide de Rn . Alors K est homomorphe la boule unit ferme. Dmonstration : On peut supposer que 0 appartient lintrieur de K . On peut agrandir K jusqu ce quil contienne la boule unit ferme.
6C

est le compacti dAlexandrov de C (C {})

60

www.L es-M athematiques.net

On dnit la fonction f de la boule dans K qui x associe T.x avec T le sup des t R+ tels que t.u appartient K , avec u le vecteur directeur de x (x/ x ). On dnit f (0) = 0. Montrons tout dabord que f est bien dnie. Si x est non nul, K tant born, le sup des t en question est bien dni si x est non nul (le cas f (0) tant spar). t.u appartient K pour tout t < T , par convexit de K . Le fait que K est ferm fait que T.u appartient K . Si x est de norme 1, le problme est donc rsolu. Si x est de norme plus petite que 1, a fortiori, T.x appartient K par convexit de K . Il faut maintenant montrer que f est continue. f est continue en 0. En effet il est clair que f (x) tend vers 0 quand x tend vers 0. Il convient maintenant de montrer que f est continue en x autre que 0. Pour cela il sufra de montrer que la fonction qui u associe T le sup des t R+ tels que t.u appartient K est continue sur la sphre (ensuite il est clair que la multiplication par un scalaire est continue, que la fonction qui un vecteur associe son vecteur directeur est continue (par quotient x/ x ). La gure 1.8 parle delle mme. Cela permet dappliquer des triangulations sur la boule unit ferme (enn sur un simplexe homomorphe la boule), voir thorme 253.

2 v u z B 1
F IG . 1.8 Par hypothse, la boule B est incluse dans K . On se donne z le point f (u), cest dire le "bord" de K dans la direction u. Alors la zone grise appartient ncessairement K par convexit. f (v ) est alors ncessairement au del de 1 par convexit de K , et en dea de 2 , par dnition de z . Do la continuit de f . 61

www.L es-M athematiques.net

1.6.6

Intersection vide dune suite dcroissante de ferms convexes non vides borns dun espace vectoriel norm

Sur R lintersection dune suite dcroissante de convexes ferms borns non vides ne saurait tre vide. Dans le cas gnral il en est tout autrement. Soit E lespace des fonctions continues de [0, 1] dans R. Cest un espace vectoriel norm pour la norme innie. Cest mme un espace de Banach. Soit (xn )nN une suite de rationnels dense dans [0, 1]. Soit Cn lensemble des applications de E nulles en xi pour tout i dans [0, n], bornes par 2 et dintgrale 1 sur [0, 1]. Les Cn sont non vides, convexes, ferms, borns, dcroissants. Lintersection des Cn ne peut contenir que des fonctions nulles sur tous les rationnels, et continues, donc lintersection des Cn ne peut pas contenir de fonction non nulle. Or Lintersection des Cn ne peut contenir que des fonctions dintgrale 1.

1.6.7

Valeurs dadhrence = limites de suites extraites

Proposition 205 Lensemble des valeurs dadhrence dune suite nest pas ncessairement gal lensemble des limites de sous-suites extraites. Dmonstration : En effet, soit E lensemble des applications continues de [0, 1] dans [0, 1] ; on le munit de la topologie produit, cest dire de la topologie de la convergence simple (il est facile de vrier que cest pareil...). Un voisinage de la fonction nulle dans E est de la forme {f /i [1, n]|f (xi )| i } (), avec les i positifs, et les xi dans [0, 1]. On considre les applications en dents de scie, gales 0 en x0 , en x1 , en x2 , ... xi+1 xi+1 , en xn , avec xi < xi+1 , x0 = 0 et x1 = 1 ; et afne entre xi et xi +2 et xi +2 et xi+1 ) = 1, avec les xi rationnels. xi+1 , avec f ( xi +2 On peut clairement les numrer, et donc il sagit dune suite. la suite nulle est clairement dans ladhrence de cette suite (prendre un voisinage de la fonction nulle crit sous la forme (), et regarder ce quil se passe. aucune suite extraite ne peut tendre simplement vers la fonction nulle, sinon le thorme de convergence domine de Lebesgue permettrait de dire que lintgrale de la fonction nulle est la limite de lintgrale des fonctions de la suite - or toute fonction 1 de notre suite a une intgrale 2 .

1.6.8

Les espaces projectifs

Proposition 206 Les espaces projectifs sont compacts et connexes par arcs. On trouvera plus dinformations sur ce sujet dans la partie ??.

62

www.L es-M athematiques.net

1.6.9

Le cube de Hilbert

Dnition 207 On appelle cube de Hilbert lespace produit [0, 1]N , muni de la topologie produit ([0, 1] tant muni de la topologie usuelle sur les segments de rels). Proprits : Le cube de Hilbert est connexe par arcs (considrer, tant donns deux suites de rels (xn )nN et (yn )nN , lapplication qui t associe (xn + t.(yn xn ))nN ). Chaque composante tant continue, cette application est continue. Le cube de Hilbert est mtrisable (considrer lapplication qui (xn ) et (yn ) yn | associe nN |xn2 . n Le cube de Hilbert est compact ; par application du thorme de Tykhonov. Thorme 208 Tout espace mtrique compact K est homomorphe un sousespace topologique du cube de Hilbert.

Dmonstration : Etant donn n N, on considre un recouvrement de K par des boules bn,i pour i [1, t(n)], en nombre ni et de rayon 1/n (on peut toujours construire un recouvrement ni, en extrayant un recouvrement ni du recouvrement comportant TOUTES les boules de rayon 1/n, via la compacit de K ). On note Bn,i la boule de mme centre que bn,i , mais de rayon double (2/n) On peut, par le lemme dUrysohn ??, trouver une fonction continue fn,i gale 1 sur bn,i , comprise entre 0 et 1, et nulle en dehors de la boule Bn,i . On peut alors construire lapplication f qui un point x de K associe (f1,1 (x), ..., f1,t(1) (x), f2,1 (x), ..., f2,t(2) (x), ..., fm,1 (x), ..., fm,t(m) (x)...), qui est un lment du cube de Hilbert. Cette application est continue, puisque toutes ses composantes sont continues. Elle est injective, on la dailleurs un peu beaucoup construite pour a. f de K dans f (K ) est alors une application continue bijective dun espace compact dans un espace spar ; ceci implique que f est un homomorphisme, daprs le corollaire 121.

1.6.10

Fonction non continue vriant la proprit des valeurs intermdiaires

Il suft de considrer la fonction qui un rel x associe sin(1/x) si x est non nul et 0 sinon.

63

www.L es-M athematiques.net

1.6.11

Tous les ferms de Rn sexpriment comme zros de fonctions indniment drivables

Des ferms particuliers, le cas de la dimension 1 Lemme 209 Il existe une fonction C de R dans R qui sannule exactement sur ] , 0]. Dmonstration : On pose f (x) = exp(1/x) pour x > 0, f (x) = 0 sinon. Il est clair que f est C sur R . En 0 on peut facilement voir que toutes les drives sont nulles, car leurs limites sont nulles, puisquelles sexpriment comme produit dune fraction rationnelle par un exp(1/x). Lemme 210 Tout intervalle ouvert de R sexprime comme complmentaire de lensemble des zros dune fonction C . Dmonstration : ]a, +[ ou ] , a[ : voir lemme prcdent. ]a, b[ est lensemble des zros de x f (x a).f (b x). Lemme 211 Tout ferm de R sexprime comme ensemble des zros dune fonction C . Dmonstration : On note U le complmentaire du ferm tudier. U est ouvert. U est runion dnombrable dintervalles ouverts disjoints (preuve en vriant quil y a un rationnel dans toute composante connexe dun ouvert) On note n une fonction (voir lemme prcdent) C qui sannule exactement sur le complmentaire du n-ime intervalle de la partition ci-dessus. On note la somme des n . Cette somme est bien dnie car il y a au plus un des n qui est non nul en un point donn. est indniment drivable, comme on sen rend facilement compte en regardant ce quil se passe au voisinage dun point donn - qui nappartient qu un seul support de n . Des ferms particuliers, le cas gnral : dimension quelconque Lemme 212 Soit B une boule ouverte de Rn ; il existe une fonction C nulle partout sauf dans cette boule, o elle est > 0.

64

www.L es-M athematiques.net

Dmonstration : On montre le rsultat pour la boule unit ouverte, la gnralisation tant vidente. Soit f (x) = exp( 1 1x 2 ) pour x tel que x < 1, et f (x) = 0 sinon. La norme ici voque est la norme euclidienne. la situation tant invariante par rotation, on se contente de montrer que la fonction est C sur le premier axe (i.e. lensemble des (x, 0, 0, ...0) pour x dans R). Pour cela on montre que chaque drive partielle est C . Tout dabord dans le cas dun point autre que 0 ou 1 : - La drive partielle suivant un autre axe que le premier est clairement nulle, par symtrie du problme. - La drive partielle suivant le premier axe est clairement C , comme compose dapplications C , voir le lemme 210. Et en zro, il suft de voir que le carr de la norme euclidienne est une fonction polynmiale, donc C . Le cas 1 se traite facilement, comme dans le lemme 209. Lemme 213 Tout ouvert scrit comme runion dnombrable de boules ouvertes. Dmonstration : On considre la suite xn des points coordonnes rationnelles de U , un ouvert. Pour tout xn , on dnit rn le sup des r tels que B (xn , r) U . rn est bien positif strictement, puisque U est ouvert. Il est clair que tout rationnel de U est inclus dans la runion des B (xn , r). Tout point x est inclus dans une boule centre sur x de rayon incluse dans U ; donc une boule centre sur un rationnel situ une distance au plus /3 de x et de rayon maximal va contenir x. En effet Des deux prcdents, on dduit donc que notre ouvert sexprime comme runion dnombrable de boules ouvertes. Thorme 214 (Le rsultat tant attendu) Tout ferm de Rn sexprime comme zro dune fonction C . Dmonstration : Soit F un ferm. On considre U son complmentaire. On crit U comme une runion dnombrable de boules ouvertes Bn . On fait alors une somme pondre de fonctions comme dnies dans le lemme 212. Avec la fonction donne par le lemme 212 pour la boule unit, on peut crire xi cette somme comme i=1 ci (2 x ri . Il faut maintenant parvenir sommer la n-ime fonction pondre par le terme (strictement positif) ncessaire pour ramener toutes ses drives en dessous de 1/2n fois une constante ne dpendant que de lordre de la drive ; ainsi on aura convergence normale de toutes les drives et donc la somme sera C . La difcult est que contrairement au cas de la dimension 1, les boules ne sont pas disjointes. k Il est sufsant pour cela que la somme des ci /ri soit convergente. En effet, dans xxi ce cas la drive k -ime de ci ( ri sera majore par la borne sur la drive k -ime 65

www.L es-M athematiques.net


k de , divise par ri . 1 Il suft de choisir ci = e ri .2i ; ainsi 1 . avec Mk le sup de xk .e x

k ci /ri =

2i .e

1 r

k /ri

2i .Mk

1.6.12

Le compacti dAlexandrov

On se donne X un espace topologique spar, non compact, localement compact. peine plus gros que X , qui lui sera Lobjectif va tre de construire un espace X compact, et qui contient un sous-espace topologique homomorphe X . = X {}. On dnit T lensemble constitu : On pose X - des ouverts de X \ K , o K est un compact de X . - des X Il est facile de vrier que T est une topologie. Lensemble des ouverts de X est bien stable par intersection nie et par runion quelconque ; et lensemble des compl est bien lui aussi stable par intersections nies mentaires de compacts de X dans X et runion quelconques (rappelons quune runion nie de compacts est compacte et quune intersection quelconque de compacts est compact - comme ferm dun compact) ; il suft donc de vrier que la runion (resp. lintersection) dun ouvert de X et dun complmentaire de compact de X est bien un ouvert de X ou un complmentaire de compact de X . Pour cela soit U un ouvert de X , et K un compact de X , de complmentaire V . U V est lintersection dun ouvert avec V \ K qui est un ouvert ; donc cest un ouvert de X . Et U V est le complmentaire de K U , avec U le complmentaire de U . dans X . Pour le voir il suft de voir que tout voisinage Montrons que X est dense dans X de intersecte X ; ce qui est clair car X nest pas compact7 . . On va maintenant montrer que X est homomorphe un sous-espace de X Lidentit de X dans X est injective. Les ouverts de X inclus dans X tant exactement les ouverts de X , il est clair quil sagit bien dun homomorphisme. est spar (premier pas pour montrer quil est com Montrons maintenant que X pact). On peut sparer deux points de X par des ouverts, puisque X est spar. Montrons maintenant quon peut sparer un point x X de . On se donne pour cela K un voisinage compact de x, ce qui peut se faire puisque X est localement compact. \ K sont des ouverts sparant x et . IntK et X vrie la proprit de Borel-Lebesgue, cest dire Montrons maintenant que X on peut extraire un recouvrement ni. Soit que de tout recouvrement douverts de X X = iI Ui , avec les Ui ouverts. Un certain Ui0 contient . Son complmentaire est compact, et recouvert par les Uj , pour j = i0 ; on peut donc le recouvrir par les Uj , . pour j J ni. Lensemble des Ui pour i J {i0 } est un recouvrement ni de X
7 Je

souligne de temps autre les endroits o sappliquent les hypothses

66

www.L es-M athematiques.net

n est homomorphe la sphre unit de Rn+1 8 . Exemple : R Thorme 215 (Compacti dAlexandrov) Si X est un espace topologique comnon compact et localement compact, il existe un espace topologique X pact appel compacti dAlexandrov de X et tel que : . X est homomorphe un sous espace topologique de X est dense dans X . X

1.6.13

Le cantor K3

Dnition 216 (Cantor K3 ) On note C0 lensemble [0, 1]. 1 On note C1 lensemble [0, 3 ] [2 3 , 1]. 1 3 6 7 8 9 On note C2 lensemble [0, 9 ] [ 2 9, 9] [9, 9] [9, 9] ... 1 1 On note Cn lensemble 3 .Cn1 (Cn1 + 2). 3 . On note K3 lintersection des Cn , pour n N. On appelle cet ensemble ensemble triadique de Cantor. On le munit dune topologie en considrant la restriction de la distance usuelle K3 .

F IG . 1.9 Construction de lensemble de Cantor. Les lignes successives reprsentent C1 , C2 , C3 , C4 .


8 Cette

sphre est de dimension topologique n.

67

www.L es-M athematiques.net

Proposition 217 Lensemble triadique de Cantor K3 est aussi lensemble des rels de [0, 1] dont le dveloppement 3-adique ne comporte que des 0 ou des 2.

Dmonstration : Cela se prouve facilement en considrant lintersection des Ci jusqu un certain rang, et en prenant la limite en linni.

Proposition 218 Lensemble triadique de Cantor K3 est compact. Dmonstration : K3 est ferm, car cest une intersection de ferms, et born car inclus dans [0, 1]. Donc il est compact, comme tout ferm born de R.

Proposition 219 Lensemble triadique de Cantor K3 est de mesure nulle et dintrieur vide. Dmonstration : K3 est mesurable, comme intersection dnombrable de ferm. La mesure de K3 est infrieure la mesure de Cn , pour tout n ; donc K3 est de mesure nulle. K3 est dintrieur vide, sinon il ne serait pas de mesure nulle. Proposition 220 Lensemble triadique de Cantor K3 est homomorphe {0, 1}N , ensemble des suites de {0, 1}, muni de la topologie produit de la topologie discrte sur {0, 1}. Dmonstration : Soit la fonction f qui une suite un de {0, 1} associe la somme des 2.un /3n . Cette fonction est injective, clairement. Elle est surjective (proposition 217). Voyons maintenant la continuit de f ; en fait on va considrer la continuit de f 1 . Pour cela on considre limage rciproque dun ouvert non vide de la base douverts de la topologie produit constitue des produits douverts tels quun nombre ni douverts seulement soient diffrents de {0, 1}. Il est sufsant pour que limage rciproque de x soit dans cet ouvert que les premiers chiffres soient les mmes, et donc que la distance soit sufsamment petite. Enn toute fonction continue bijective dun compact dans un spar est un homomorphisme (daprs le corollaire 121), ce qui permet de conclure.

Proposition 221 Lensemble triadique de Cantor K3 est totalement discontinu, ce qui signie que la composante connexe dun point est rduite ce point.

68

www.L es-M athematiques.net

Il suft de montrer qutant donns x et y dans K3 , il existe deux ouverts ferms disjoints contenant lun x et lautre y . En effet ainsi la composante connexe de x sera diffrente de la composante connexe de y . Pour cela on peut considrer indiffrement K3 comme le produit {0, 1}n ou comme lintersection des Cn ; dans le premier cas il suft de considrer le premier rang auquel les deux suites diffrent, dans le deuxime cas, le premier chiffre dans le dveloppement triadique pour lequel x et y diffrent.

Proposition 222 Lensemble triadique de Cantor K3 ne comporte pas de point isol. On note quun ensemble parfait est un ensemble ferm et dpourvu de point isol. K3 sera donc un ensemble parfait. Dmonstration : Facile, soit en considrant un ouvert de la base douverts dans le cas du produit {0, 1}N , soit en considrant lintersection dune boule ouverte avec K3 dans le cas de lintersection des Cn (bien entendu, une seule de ces deux preuves suft !).

Proposition 223 K3 et sont les deux seuls compacts K inclus dans [0, 1] qui vrient 1 1 2 K. (K. + ) = K 3 3 3

Dmonstration : Il est facile de vrier que et K3 sont des solutions de lquation donne. On considre maintenant lensemble K ([0, 1]) des compacts non vides inclus dans 1 2 [0, 1], et lapplication f qui un compact K associe K. 3 + K. 1 3 + 3. Cette application associe bien un compact inclus dans [0, 1] un compact inclus dans [0, 1]. On va considrer un compact A donn, non vide, et on va montrer que f n (A) tend vers K3 pour la distance de Hausdorff.

69

www.L es-M athematiques.net

Dnition 224 (Dnition de la distance de Hausdorff) On dabord : V (A) = {x|d(x, A) < }

dnit

tout

V (A) est appel -voisinage ouvert de A. Il est ouvert par la proposition 200. Ensuite on note D(A, B ) et on appelle distance de Hausdorff le rel D(A, B ) = inf {x/A Vx (B ) B Vx (A)} dni sur lensemble K (E ) des compacts non vides dun espace mtrique E donn. Il sagit bien dune distance ; D(A, B ) >= 0 et D(A, B ) < est clair D(A, B ) = 0 A = B est clair lingalit triangulaire se vrie facilement Proposition 225 Si E est un espace mtrique complet, alors lensemble des compacts non vides de E muni de la distance de Hausdorff est complet.

Dmonstration : Soit Kn une suite de Cauchy dans lensemble des compacts non vides de E . Alors il existe une suite N 0 telle que k, n > N D(Kk , Kn ) < et donc k, n > N Kk V
N

(Kn )

On considre alors K lensemble des x tels quil existe une suite xn telle que xn Kn et xn admet x pour valeur dadhrence. K est ferm. En effet : - soit y dans K . Il existe (ym ) suite dans K tendant vers y . - ym est limite dune certaine suite dlments xn tels que xn Kn . On considre une suite extraite xnm telle que d(xnm , ym ) 0 comme m . On dnit xn pour n nappartenant pas lensemble des nm , en le choisissant de manire quelconque dans Kn . Alors d(xnm , y ) d(ym , y ) + d(xn,m , ym ) 0 Donc y est valeur dadhrence des xn , donc y K . Do K K , et donc K est ferm. Ferm dun complet, il est donc aussi complet. K est aussi prcompact. En effet : - Soit > 0. - Il existe clairement N tel que K soit inclus dans V (KN ). - pour tout y dans K , il existe xy dans KN tel que d(y, xy ) < . 70

www.L es-M athematiques.net

- On peut construire sur Kn (puisquil est compact) un recouvrement ni par des boules centrs sur les zi de rayon . - Les boules centres sur les zi de rayon 2 recouvrent donc K . On peut supprimer les zi inutiles, ie tels que B (zi , 2 ) K = . Il reste les zi , pour, disons, i [1, M ]. - On peut alors dterminer, pour tout i [1, M ], un lment zi de K distance < 2 de zi (puisquon a supprim les zi inutiles). - Les boules centres sur les zi et de rayon 4 montrent alors que K est prcompact. Prcompact et complet, K est donc compact (voir thorme 110). Il convient de montrer que K est non vide, ce qui sera fait en mme temps que la preuve de la convergence des Kn ci-dessous (en effet Kn sera inclus dans V (K )). K est limite des Kn pour la distance de Hausdorff ; pour le montrer il faut voir que pour tout il existe un N tel que pour n N on ait K V (Kn ) (trivial) Kn V (K ) : pour cela on considre x dans Kn , avec n tel que n . On considre alors n0 > n tel que n0 /21 , et xn0 dans Kn0 , tel que d(x, xn0 ) /20 n1 > n0 tel que n1 /22 , et xn1 dans Kn1 , tel que d(xn0 , xn1 ) /21 n2 > n1 tel que n2 /23 , et xn2 dans Kn2 , tel que d(xn1 , xn2 /22 ... np > np1 tel que np /2p+1 , et xp dans Knp , tel que d(xnp1 , xnp ) /2p ... La suite des xnp est de Cauchy, donc elle converge vers un certain y ; en sommant les distances ont montre facilement que d(x, y ) 2. . Pour complter la suite des xn pour np n np+1 , il suft de prendre un point quelconque dans Kn . On peut maintenant terminer notre dmonstration sur le fait que K3 est le seul compact non vide tel que K3 = f (K3 ). 1 pour la distance de HausOn montre facilement que f est contractante de rapport 3 dorff. On peut donc conclure par le thorme du point xe ?? ; K est le seul compact non vide satisfaisant lquation. Une autre proprit est le fait que pour E mtrique compact, K (E ) est compact. On peut utiliser le Cantor triadique K3 pour construire une fonction continue, croissante, drivable presque partout, de drive nulle presque partout, et poutant non constante (gale 0 en 0 et 1 en 1).

1.6.14

Une distance sur les sous-espaces vectoriels dun espace vectoriel de dimension nie

On se donne E un espace vectoriel de dimension nie n. On appelle S lensemble des sous-espaces vectoriels de E . Alors on dnit la distance d sur S par d(F, G) = dim(F + G) dim(F G)

71

www.L es-M athematiques.net

Dnition 226 Cette distance est appele distance de Grassman.

Proposition 227 La distance de Grassman bien une distance. Dmonstration : En effet : d est bien positive (facile) d est symtrique (encore plus facile) d(F, G) = 0 implique dim F G = dim F + G or F G F F + G et donc F G = F et donc F G ; de mme on obtiendrait G F ; et donc au nal F = G. Il reste montrer lingalit triangulaire. Pour cela on aura besoin de la dnition suivante : Dnition 228 On appelle chane entre les sous-espaces vectoriels F et G une suite nie de sous-espaces vectoriels , le premier tant F , le dernier tant G, et chaque lment de la chane tant un hyperplan du sous-espace vectoriel suivant, ou au contraire le sous-espace vectoriel suivant tant un hyperplan de ce sous-espace vectoriel ; formellement cela signie quil existe F1 , ..., Fp tels que F = F1 , G = Fp , et pour tout i [1, p 1], Fi est un hyperplan de Fi+1 ou Fi+1 est un hyperplan de Fi . p est appel longueur de la chane. On procde par tapes : - Si F G, il y a entre F et G une chane de longueur dim G dim F . - Dans le cas gnral il y a entre F et G une chane de longueur d(F, G) (facile en passant par lespace F G - il suft de se rappeler que dim F + G = dim F + dim G dim F G). On va maintenant se proccuper de montrer que cette chane est de longueur minimale. - Si on a une chane A, B, C , avec A et C hyperplans de B (cest--dire que B est le plus grand de nos 3 lments A, B et C ), alors on a aussi une chane A, A C, C , moins que A = C . - Si on a une chane, on peut la remplacer par une chane de mme longueur entre les deux mmes sous-espaces vectoriels et de manire avoir des inclusions dcroissantes puis croissantes. - la longueur dune chane entre F et G est au moins d(F, G). On sait donc, avec le rsultat obtenu plus haut, que d(F, G) est la longueur minimale dune chane entre F et G. On peut remarquer quon aurait pu raisonner de mme en utilisant une chane croissante puis dcroissante en passant par F +G au lieu de dcroissante puis croissante en passant par F G.

72

www.L es-M athematiques.net

- lingalit triangulaire en rsulte aisment. Proposition 229 Pour la distance de Grassman, tout isomorphisme algbrique est une isomtrie. Dmonstration : Facile, puisque la distance de Grassman ne dpend que de dimension despaces, qui est prserv par isomorphisme algbrique.

1.6.15

Topologie et approximation de fonctions caractristiques

On consultera la partie ?? (et les parties suivantes pour des applications).

1.6.16

Points xes

Point xe dun endomorphisme dans un compact convexe Lemme 230 Soit K un compact convexe dun espace vectoriel norm E , et f un endomorphisme continu de E tel que f (K ) K ; alors il existe x K tel que f (x) = x. Dmonstration : On se donne x0 K , et on dnit la suite (xn ) par xn+1 = f (xn ). n1 1 On dnit alors yn = n i=0 xn ; yn K par convexit de K . Par compacit de K , on peut extraire une suite convergente de la suite des (yn ) (puisque E est un espace vectoriel norm , donc un espace mtrique, le thorme de Bolzano-Weierstrass 140 sapplique). Soit y la limite de cette suite. x0 ; la suite (xn ) tant borne (puisque K est compact dans un mtrique) f (yn )yn = xn n et en passant la limite puisque f est continue f (y ) = y . Un thorme de point xe dans un espace de Hilbert Ce rsultat est directement inspir de la note "Un thorme de point xe en dimension nie : application aux sous-groupes compacts de Rn ", de Richard Antetomaso, dans la 104me intgrale de la Revue de Maths Sp, 1993-1994. Thorme 231 On se donne H un espace de Hilbert, et K un compact convexe non vide de H , et un sous-groupe compact G de lensemble des automorphismes de H (qui sont aussi des homomorphismes). On suppose que pour tout g dans G, g (K ) K . Alors il existe a appartenant H point xe commun, ie tel que g G, g (a) = a.

73

www.L es-M athematiques.net


                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         

Il faut bien comprendre pour quelle topologie G est compact. Il sagit de la topologie produit de H H . Dmonstration : On dnit sur H une norme . dnie par x = sup{ g (x) /g G}

Cette norme est bien dnie et valeurs nies, car G est compact ; utiliser le corollaire 123 avec la fonction qui g associe g (x) . Montrons quil sagit bien dune norme. - x = sup{ g (x) /g G} = sup{ ||g (x) /g G} = || sup{ g (x) /g G} = || g (x) - x = 0 implique clairement x = 0. - Enn, x+y = sup{ g (x + y ) /g G} = g0 (x + y ) g0 (x) + g0 (y ) x + y

car par hypothse G est compact et une fonction continue sur un compact atteint ses bornes (voir corollaire 123). Le cas dgalit est atteint si g0 (x) + g0 (y ) = g0 (x + y ) , donc si g0 (x) et g0 (y ) sont positivement lis (car H est un espace de Hilbert), donc si x et y sont positivement lis puisque g0 est un automorphisme ( les lments de G sont des automorphismes ). Cela signie prcisment que notre norme est strictement convexe. Supposons maintenant que xg G/g (x) = x. Considrons, pour g G, lensemble g des lments de x de K tels que g (x) = x. g g est ouvert, puisque g , lidentit, et laddition sont continues (g est continue par hypothse, lidentit est continue9 , et voir la proposition 104 pour vrier que laddition est bien continue). Les g recouvrent K (cest ce quon a suppos ci-dessus). Par dnition des compacts, et puisque K est compact, on peut extraire un recouvrement ni K = i[1,n] gi . On note que n 1, car K est non vide.
9 Limage

rciproque de tout ouvert est bien un ouvert !

74

www.L es-M athematiques.net


1 On applique alors le lemme 230 lendomorphisme continu x n g1 (x) + + gn (x) (de K dans K , bien dni par convexit de K ), continue par continuit des gi . On en dduit quil existe x tel que nx = i gi (x). On a alors n x i gi (x) = n x (car les gi sont des isomtries et car les isomorphismes despaces de Hilbert sont des isomtries.). On a montr plus haut que la norme tait strictement convexe ; donc pour avoir le cas dgalit ci-dessus il faut que les gi (x) soient positivement lis ; or ils ont tous mme norme, puisque les gi sont des isomtries ; donc tous les gi (x) sont gaux. Du coup pour tout i dans [1, n], ngi (x) = nx ; donc gi (x) = x. Do la contradiction ; x nappartient pas lunion des gi , alors quil appartient X , et que ces gi recouvrent K .

1.6.17

Cas particulier des espaces vectoriels norms de dimension nie

Voir ??.

1.6.18

f : R R est C et xn/f (n) (x) = 0, alors f est polynomiale

Proposition 232 f : R R est C et xn/f (n) (x) = 0, alors f est polynomiale. Cet exercice est extrait du livre [5] ; nous avons tch de prciser un peu plus les dtails de la preuve. Dmonstration : On considre lensemble des points au voisinage desquels f est polynomiale est ouvert, car si x , alors il existe V ouvert contenant x dans lequel tout point y admet un voisinage sur lequel f est polynomiale : il sagit simplement de louvert V . Soit ]u, v [ inclus dans , alors il existe un polynme P tel que f est gale P sur [u, v ]. Pour le prouver on considre x0 dans ]u, v [, un couple (x1 , x2 ) tel que f = P sur ]x1 , x2 [ et x1 < x0 < x2 , et lensemble J des x ]x0 , v [ tels que f = P sur ]x0 , x[ ; J est non vide car contenant x2 ; il est ferm dans ]x0 , v [ par continuit ; on montre facilement que si x J alors ]x , x + [ J pour un certain ; donc J est ouvert dans ]x0 , v [ ; donc J =]x0 , v [ par connexit. On a donc f = P sur ]x0 , v [, et de mme on aurait f = P sur ]u, x0 [. Soit F le complmentaire de . F est ferm. Montrons quil ne comporte pas de point isol. Sil comporte un point isol a, on applique lhypothse et le dveloppement de Taylor en a, et on en dduit une contradiction. On suppose F non vide pour arriver une contradiction On dnit Fn lensemble des x F tels que f (n) (x) = 0. On montre quil existe un intervalle ouvert non vide dont lintersection avec F est incluse dans un certain Fn0 . 75

www.L es-M athematiques.net

Les Fn sont ferms. Donc on applique le thorme de Baire 190 dans F ; il existe Fn0 dintrieur non vide. On peut alors choisir un intervalle I ouvert dintersection non vide avec F , et cette intersection est incluse dans Fn0 . I F Fn n n0 En effet soit a I F ; a nest pas isol et est donc limite dune suite ap dlments de F diffrents de a. Il suft alors dcrire la drive pour constater que a Fn0 +1 . Par rcurrence I F Fn pour n n0 . On montre maintenant que fn0 est nulle sur toute composante connexe de I . Tout dabord I est non vide, sinon I F , puis I F = I . I est ouvert ; donc cest une runion disjointe dintervalles ouverts. Soit ]u, v [ une telle composante connexe. f = P sur [u, v ]. ]u, v [= I sinon F I = Donc u I ou v I ; supposons u I . Alors u I F , et u Fn pour tout n n0 . Le degr de P est donc infrieur n0 . Donc f (n0 ) = 0 sur [u, v ]. Ca marche sur toutes les composantes connexes, donc f (n0 ) = 0 sur I mais aussi sur I F . Donc f (n0 ) est nulle sur I , donc f est un polynme sur I donc I , ce qui est impossible puisque I F = .

1.6.19

Les billards strictement convexes

Proposition 233 Soit K un ensemble strictement convexe de R2 ; on suppose que par tout point de la frontire de K il passe une unique tangente K . On dnit une trajectoire priodique de priode n par la donne de n points a0 , . . . , an1 de la frontire de K tels que pour tout i [0, n 1] i = i+1 (voir gure 1.10) en notant an = a0 . Alors pour tout n 2 il existe des trajectoires priodiques de priode n. Dmonstration : On se donne n 2. Notons K la frontire de K . On considre lensemble = {(a0 , . . . , an1 )/iai K } K Il est gal (K )n . R dni par On dnit f : K
n1

f (a) =
i=0

|ai ai1 |

(|.| dsigne ici la norme euclidienne) f est C 0 (par ingalit triangulaire) est compact (comme produit de compacts - sagissant dun produit ni desK paces mtriques il nest pas ncessaire dinvoquer Tykhonov, voir le paragraphe qui suit le thorme 127). . f atteint son maximum sur K 76

www.L es-M athematiques.net

2 1

F IG . 1.10 Illustration de la dnition dune trajectoire priodique Tout point o f atteint son maximum vrie la proprit nonce, comme le lecteur le vriera aisment.

1.6.20

Deux jolies ingalits gomtriques

On sinspire ici de [4].

1.6.21

Ingalit isoprimtrique

Lemme 234 On se donne une fonction C 1 de [0, 1] dans C. On suppose 1 = 0. Alors 0


1 1

42
0

||2
0

| |2

et il ny a galit que si est une combinaison linaire de e2ix et e2ix . Dmonstration : On procde comme suit : On considre sur [0, 1[, et on considre sa srie de Fourier. (x) =
nZ

cn e2inx

77

www.L es-M athematiques.net

On applique Parseval (thorme ??) ;


1

||2 =
0 n

c2 n ncn e2inx

On applique Parseval la drive de , (x) = 2i


1

| |2 = 42
0 1 n

(ncn )2

On sait que c0 = 0, car 0 = 0. On a donc lingalit souhaite, et le cas dgalit. Thorme 235 (Ingalit isoprimtrique) La courbe C 1 ferme du plan qui longueur donne dlimite une aire maximale est le cercle. Dmonstration : On se donne une courbe ferme C 1 de [0, 1] dans C. Quitte reparamtrer, on suppose que est constant. Quitte translater on suppose que = 0. On applique alors le thorme de Green-Riemann, qui afrme que laire A est donne par la formule 1 A= xy x y 2 avec = x + iy , et x et y valeurs relles. Or = (x + iy ).(x iy ) = or xx = xx + yy + iyx iy x

yy = 0 par priodicit donc = i yx y x

et donc 2A ||2 1 2 | |2 | |2

grce au lemme prcdent. Or tant constant, on obtient A l2 4

78

www.L es-M athematiques.net

avec l la longueur de larc. Il y a galit si et seulement si lingalit de Cauchy-Schwartz est en fait une galit, et donc si et seulement si on a non seulement tous les ci nuls sauf c1 et c1 , mais aussi et lis ; la famille (x e2ix , x e2ix ) tant libre, on constate que les solutions se trouvent pour un des deux coefcients c1 et c1 nul, cest--dire que est un cercle.

1.6.22

Ingalit isodiamtrique

On considre lespace Rn muni de sa structure usuelle despace euclidien, et de la mesure de Lebesgue. Thorme 236 Quel que soit K compact de Rn de mesure nie, (K ) (B (0, (K )/2)), avec (E ) pour E une partie de Rn le diamtre de E , cest dire le sup des distances entre deux points de E .

Cela revient dire que le plus grand volume possible diamtre donn est celui dune boule. Dmonstration : Nous aurons besoin de la dnition suivante : Dnition 237 Etant donn K un compact de Rn , on appelle symtris de Steiner de K par rapport lhyperplan P lensemble 1 (K D(p, u)} 2

                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                         

SP (K ) = {x = p + tu/p P D(p, u) K = 0 |t|

o u dsigne un vecteur directeur unitaire de la droite orthogonale P , et o D(p, u) dsigne la droite de vecteur unitaire u passant par p. dsigne la mesure de Lebesgue sur la droite D(p, u).

Lemme 238 (Premire proprit fondamentale du symtris de Steiner) Quel que soit K compact et P hyperplan, SP (K ) a mme mesure que K . Dmonstration : Il suft de considrer le thorme de Fubini, appliqu la fonction caractristique de K , pour voir que lintgrale est lintgrale sur p P de la mesure (K D(p, u)) (cette dernire quantit tant la mesure de {t R/|t|

79

www.L es-M athematiques.net


1 2

(K D(p, u))} R. Lemme 239 (Deuxime proprit fondamentale du symtris de Steiner) Quel que soit K compact et P hyperplan, SP (K ) a un diamtre infrieur ou gal celui de K .

Dmonstration : On considre deux points x et y de SP (K ), une distance d lun de lautre ; on cherche montrer quil existe deux points x et y de K distance suprieure ou gale d. On note xP et yP les projets orthogonaux de x et y sur P . On note lx et ly les mesures de K D(x, u) et K D(y, u). On note d la distance entre xP et yP . d2 est majore par d 2 + (lx /2)2 + (ly /2)2 . On note Lx et Ly les diamtres de SP (K ) D(x, u) et SP (K ) D(y, u). Il est clair que Lx lx et que Ly ly . Une tude de cas montre rapidement quen considrant les points extrmaux x1 , x2 , y1 et y2 de SP (K ) D(x, u) et SP (K ) D(y, u) respectivement, lune des distances d(xi , yi ) est suprieure ou gale d 2 + (Lx /2)2 + (Ly /2)2 . On a encore besoin dun nouveau lemme : Lemme 240 (Symtrisation dun compact de Rn ) On note (e1 , ..., en ) la base canonique de Rn , et P1 , ..., Pn les hyperplans orthogonaux aux ei passant par 0. On se donne K un compact de Rn . Alors SP1 SP2 SP3 SPn (K ) est stable par x x. Dmonstration : Il suft de procder tranquillement, par rcurrence ; SPn (K ) est clairement invariant par symtrie par rapport Pn , SPn1 est clairement invariant par symtrie par rapport Pn1 , et par rapport Pn aussi car la symtrisation de Steiner par rapport un hyperplan P ne perturbe pas les symtries par rapport des hyperplans orthogonaux P (vrication immdiate sur la formule !), et ainsi de suite... Linvariance par rapport aux symtries par rapport aux n hyperplans donnent aussi linvariance par x x. On peut maintenant nir la preuve du thorme, en se donnant un compact K quelconque, en lui associant un compact K gal SP1 SP2 SP3 SPn (K ), qui, par les lemmes prcdents, est invariant par symtrie par rapport lorigine, et donc est inclus dans la boule B (0, (K )/2). Il ne reste qu appliquer les diffrents lemmes pour conclure...

80

www.L es-M athematiques.net

1.6.23

Triangulations dun simplexe - Lemme de Sperner - consquences

On sinspire ici du livre [4], en tchant de donner une preuve plus dtaille. Dnition 241 On appelle simplexe de dimension n lenveloppe convexe de n + 1 points formant un repre afne. On appelle face dun simplexe lenveloppe convexe dun nombre ni (quelconque) de ses points. Sa dimension est par dnition le nombre de points de cette face moins 1. On appelle g -face une face de dimension g .

Lemme 242 Tout lment P appartenant un simplexe est dcrit de manire unique par ses coordonnes barycentriques dans le repre des sommets de ce simplexe, si lon impose que la somme des dites coordonnes est 1. Chaque coordonne est 0. Dmonstration : Voir la proposition-dnition ??. On se donne pour la suite un simplexe de Rn de sommets x0 , x1 , ... , xn . Tout point x de est donc repr par ses coordones barycentriques c0 (x), ... , n n = cn (x), avec i=0 ci (x) = 1, et i=0 ci (x). xx 0. i Dnition 243 Soit n+1 une permutation de [0, n]. On note lensemble des points x de tels que c(0) (x) c(1) (x) ... c(n) (x)

Proposition 244 est lunion des . Pour tout n+1 , est un simplexe. Les intrieurs des sont disjoints. Dmonstration : Le premier ne mrite pas notre attention. Pour le second , cest plus difcile, et nous allons donc dtailler : Un point x est dans I avec I la permutation identit, si ses coordonnes c0 , c1 ,...,cn vrient c0 c1 ... cn . En crivant t0 = c0 t1 = c1 c0 t2 = c2 c1 c0 ti = ci ci1 ci2 ... c0 81

www.L es-M athematiques.net

tn = cn cn1 cn2 ... c0 on voit que x est dans I si et seulement si il est dans lenveloppe convexe des points de coordonnes barycentriques (1, 0, 0, 0, ..., 0) (1, 1, 0, 0, ..., 0) (1, 1, 1, 0, ..., 0) ... (1, 1, 1, 1, ..., 1) Je nai pas normalis pour ne pas alourdir la notation, sinon on obtient (1, 0, 0, 0, ..., 0) 1 1 ( , , 0, 0, ..., 0) 2 2 1 1 1 ( , , , 0, ..., 0) 3 3 3 ... 1 1 1 1 1 ( , , , , ..., ) n n n n n Donc il sagit bien dun simplexe. Il est non vide car les sommets dnis ci-dessus forment bien un repre afne et donc lintrieur est un voisinage de leur isobarycentre. Il en va de mme pour autre chose que lidentit ; est lenveloppe convexe de n points comportant respectivement un 1 et seulement des 0 ailleurs, deux 1 et seulement des 0 ailleurs, trois 1 et seulement des 0 ailleurs, et ainsi de suite, chaque fois les 1 tant conservs, et un nouveau 1 tant ajout. Le troisime est dmontr dans le lemme qui suit. Dnition 245 On appelle triangulation dun simplexe un ensemble ni de simplexes i tels que : i i = Si i = j , Int(j ) Int(i ) = Lintersection dune face de i et dune face de j (pour i = j ou i = j ) est soit vide soit une face de i et une face de j .

Lemme 246 Lensemble des pour n+1 est une triangulation de . Dmonstration : Il est bien clair que la runion des est bien gale . 2 Lintersection des intrieurs de et avec (, ) n +1 est incluse dans lintrieur des intersections, et donc incluse dans un hyperplan ; donc elle est vide.

82

www.L es-M athematiques.net

Regardons ce quest une face de simplexe, par exemple le simplexe I , avec I la permutation identit. Il sagit du barycentre dun nombre ni de sommets, de la forme (1/p, 1/p, ..., 1/p, 1/p, 0, 0, ..., 0, 0). Cest dire dune somme pondrs de (1, 0, 0, ..., 0) 1 1 ( , ..., , 0, ..., 0) i i 1 1 ( , ..., , 0, ..., 0) i j On constate donc quune face est entirement dcrite par des quations du type c0 (x)r0 c1 (x)r1 c2 (x)r2 ...rn1 cn (x)rn 0, avec ri oprateur = ou . Une intersection de faces va encore tre du mme type, car au plus elle va remplacer des par des =. Do le rsultat. Lemme 247 Dans la triangulation de en les o appartient n+1 , n fois le diamtre de . les ont un diamtre infrieur n+1 Dmonstration : le centre de gravit x (ou isobarycentre) de appartient tout simplexe (car 1 tous les ci (x) sont gaux, gaux n+1 ). la distance de x un point de est infrieur ou gale aux distances aux sommets n de , donc la distance dun point de x est toujours infrieure ou gale n+1 fois la longueur de la mdiane. le diamtre de , qui est la longueur maximal dun de ses cts, est donc major par la longueur max des cts sur la face oppose x, et par la longueur max des artes dbouchant sur x... Dans tous les cas, cette longueur est majore par celle dune mdiane de ou dune face du simplexe (une face de dimension quelconque, ventuellement une arte). Lemme 248 Pour tout on peut obtenir des triangulations de en simplexes de diamtre infrieurs . Dmonstration : On va utiliser par rcurrence le lemme prcdent. Les deux premiers de la dnition dune triangulation sont faciles obtenir, le problme est de montrer quune partition de chaque lment dune partition donne encore une partition vriant le troisime point, cest dire le fait que lintersection de deux faces de deux lments distincts de la partition est soit vide soit gale une face de chacun des deux lments. Intuitivement, le problme est de voir que les faces se "recollent" bien.

83

www.L es-M athematiques.net

Pour cela il suft de voir que la triangulation faite selon le lemme prcdent induit une triangulation de chacune des faces du dit simplexe - triangulation gale celle quaurait donn le mme lemme sur cette face. Cela se voit facilement en voyant quune face est une partie du simplexe o lon annule une des composantes. Dnition 249 (Numrotation standard dun simplexe) Etant donne une triangulation i dun simplexe , on note S lensemble des sommets des lments de cette triangulation. On appelle numrotation standard dune triangulation dun simplexe de sommets x0 , ..., xn une application f de S dans {0, n} telle que f (xi ) = i et si pour tout s dans S f (s) = i pour un certain i tel que xi est un sommet de la face de de dimension minimale contenant x. NB : la caractrisation "pour tout s dans S f (s) = i pour un certain xi tel que xi est un sommet de la face de de dimension minimale contenant x" inclue la condition f (xi ) = i, car une face peut trs bien avoir une dimension 0. On constate donc que dans une triangulation comme celles que lon a construites plus haut, lisobarycentre est autoris prendre nimporte quelle valeur puisque la seule face qui le contienne est lui-mme. Proposition 250 Une numrotation standard f dune triangulation du simplexe enveloppe convexe de (x0 , ..., xn ) induit une numrotation standard de la triangulation induite sur le simplexe enveloppe convexe de (x0 , ..., xn1 ). Dmonstration : Il est clair que tout sommet de la triangulation de a bien un numro < n. Soit x sommet de la triangulation de appartenant une face F minimale de . F est forcment incluse dans . F est donc la mme face que la face minimale de x dans . Donc la numrotation induite est bien standard. Lemme 251 (Lemme de Sperner) Toute triangulation dun simplexe de dimension n munie dune numrotation standard possde un lment numrot (0, ..., n). Dmonstration : Soit notre simplexe, suppos muni dune numrotation standard f sur une triangulation T de . On note P (U ) la proprit pour un simplexe U de dimension r davoir un sommet numrot i et un seul pour tout i dans [1, r]. Soit E lensemble des simplexes de T ayant la proprit P . Soit F lensemble des simplexes de T qui ne sont pas dans E mais dont un numro et un seul est numrot i pour tout i dans [0, n 1] (attention ils ne vrient

84

www.L es-M athematiques.net

donc pas la proprit P ). Soit G lensemble des n 1-faces de simplexes de T inclus dans et vriant la proprit P (rappelons quune face de simplexe est un simplexe). Soit H lensemble des n 1-faces de simplexes de T qui ne sont pas contenues dans et qui vrient la proprit P . Chaque lment de E contient une et une seule n 1-face ayant la proprit P . Chaque lment de F contient exactement deux faces ayant la proprit P (facile, il y a exactement deux lments numrots pareil, donc on btit deux simplexes ayant la numrotation requise). Un lment de G est face dun et dun seul simplexe (car il est inclus dans ). Un lment de H est face dexactement deux simplexes, car il nest pas inclus dans , et car il nest pas non plus sur une autre face puisquil ne contient pas de sommet numrot n. (par simplicit dans la suite et pour allger les notations je note I le cardinal |I | dun ensemble I ) On en dduit E + 2F = G + 2.H en comptant le nombre de n 1-faces ayant la proprit P , avec leurs multiplicits (cest dire en comptant deux fois les faces communes deux simplexes). En comptant modulo 2, on en dduit que E et G on la mme parit. Il est clair que G est "le" E correspondant . Par rcurrence sur la dimension, on en dduit donc que G a toujours la mme parit. Or dans le cas de la dimension 1, on constate facilement que ce nombre est impair ; on a une alternance de 0 et 1, 0 en premier, 1 la n, donc on a chang un nombre impair de fois de 0 1 ou de 1 0. On en dduit donc le rsultat tant attendu ; E ne peut tre nul puisquimpair... Thorme 252 (Thorme de Brouwer) Soit f une application continue dun simplexe dans . Alors f admet au moins un point xe. Dmonstration : On suppose que f na pas de point xe. Soit i , pour i [0, n], lensemble des x tels que ci (x) > ci (f (x)) (intuitivement f "loigne" x du sommet i - attention, pas au sens de la distance, mais au sens du poids barycentrique du sommet i ; les points les plus "loin" tant les points de la face oppose, le point le plus proche tant le sommet lui-mme). = i i . En effet, soit x . - Supposons ci (x) ci (f (x)) pour tout i. - ci (x) = ci (f (x)) = 1 - donc ci (x) = ci (f (x)) pour tout i - alors on a f admettant un point xe en x. - cest une contradiction, donc il existe i tel que ci (x) > ci (f (x)). xi appartient i (vident ; f ne peut qu"loigner" un point de lui-mme, puisque f na pas de point xe) xi nappartient pas j si j = i (non moins vident ; x est dj "loin" autant que possible de xj , puisquil appartient la face oppose)

85

www.L es-M athematiques.net

Si x appartient la face de engendre par les xi pour i I pour un certain sous-ensemble I de [0, n], alors x nappartient pas aux i si i I (toujours vident si x appartient la face engendre par les xi pour i I , il appartient la face oppose xj pour tout j I , et ne peut donc en tre loign). Soit T une triangulation de , ayant pour ensemble de sommets lensemble S . Soit g lapplication qui s S associe g (s) avec s g(s) ; on cherche montrer quil sagit dune numrotation standard. g est bien dnie, puisque lon a montr que les i recouvraient . le fait que g (xi ) = i a dj t prouv (xi i , xi j quand j = i). soit s S , et F une face minimale de contenant s. Il faut montrer que g (s) est le numro dun sommet de F . si F = , le rsultat est clair. si s appartient une face stricte de , alors s nappartient pas aux j pour j ne dsignant pas un numro de sommet de F (prouv un peu plus haut) ; donc g (s) est forcment le numro dun sommet de F . g est donc bien une numrotation. On a montr quon pouvait construire des triangulations aussi nes que lon voulait, au sens o chaque simplexe de la triangulation pouvait tre impos de diamtre infrieur 1/n. On se donne Tn une telle triangulation, avec gn la numrotation correspondante, donne par les questions prcdentes. Daprs le lemme de Sperner, il existe un lment de la triangulation T qui a la proprit P voque plus tt, cest dire quil comporte un sommet numrot i pour tout i dans [0, n]. On peut considrer alors la suite de sommets numrots 0 dans des simplexes ayant la proprit P de la triangulation Tn . Puisque lon est dans un compact mtrique, on peut en extraire une sous-suite convergente, par le thorme de Bolzano-Weierstrass (voir thorme 140). Soit x la limite. x est aussi la limite des suites de sommets numrots i dans des simplexes ayant la proprit P , pour i [1, n], car le diamtre des simplexes tend vers 0. Par continuit de f , ci (f (x)) ci (x) pour tout i. Or i ci (x) = i ci (f (x)) = 1, donc ci (f (x)) = ci (x) pour tout i. On en dduit alors que x = f (x). Do la contradiction... Corollaire 253 (Brouwer) Toute application continue dune boule unit ferme de Rn dans elle-mme comporte un point xe. Dmonstration : En fait il suft de montrer que la boule unit ferme est homomorphe un sim-

86

www.L es-M athematiques.net

plexe. Cela est fait dans la proposition 204. Corollaire 254 (Champ rentrant dans la sphre) Soit V un champ de vec (x) =< teur continu de la boule unit ferme de Rn dans Rn . Si pour tout x, V V (x), x > est ngatif strictement a , alors V sannule au moins en un point de la boule unit.
a On

dit que le champ est rentrant.

Dmonstration : On note S la sphre unit ferme, et Cr la couronne constitue par la boule unit ferme prive de la boule ouverte de rayon 1 r. On considre pour tout lapplication f de B (la boule unit ferme) dans Rn qui x associe x + . V (x). f est continu. tant continue sur un compact B , on peut lui trouver un majorant V . V Notons M ce maximum. V tant continue sur un compact S , elle y atteint son maximum, qui est ngatif. Notons m ce maximum ; on a m < 0. En tout point x de S , on peut centrer une boule ouverte de rayon rx sur laquelle < x, V (x) > est infrieur m/2. La sphre S est recouverte par les boules centres en x de rayon rx /2 ; on peut donc extraire de ce recouvrement un recouvrement ni. Les boules de rayon rx recouvrent elle aussi S , et elles recouvrent aussi une couronne Cr pour un r assez petit. Sur Cr , on a donc < x, V (x) > infrieur m/2. 2 2 2 f (x) = x + 2 V (x) + 2 < V (x), x >. 2 2 Donc f (x) x + 2 .M 2 + 2 < V (x), x > 2 2 Sur Cr , on a alors f (x) x + 2 .M 2 + .m 2 2 Pour sufsamment petit, on a donc f (x) < x Pour sufsamment petit et x < 1 r on a aussi f (x) 1 (puisque V est born). On dduit de tout cela que f pour assez petit est une application de la boule unit ferme dans la boule unit ferme. Par le rsultat 253, on en dduit donc que f sannule quelque part. admet un point xe, et que donc V

87

Bibliographie
[1] P. BARBE , M. L EDOUX , Probabilit, B ELIN , 1998. [2] H. B RZIS , Analyse fonctionnelle, M ASSON , 1983. [3] H. C ARTAN , Calcul diffrentiel, FLEMMARD. [4] A. C HAMBERT-L OIR , S. F ERMIGIER , V. M AILLOT , Exercices de mathmatiques pour lagrgation, Analyse 1, M ASSON , 1997. [5] A. C HAMBERT-L OIR , S. F ERMIGIER , Exercices de mathmatiques pour lagrgation, Analyse 2, M ASSON , 1995. [6] A. C HAMBERT-L OIR , S. F ERMIGIER , Exercices de mathmatiques pour lagrgation, Analyse 3, M ASSON , 1996. [7] P.G. C IARLET, Introduction lanalyse numrique matricielle et loptimisation, D UNOD , 1998. [8] F. C OMBES Algbre et gomtrie, B RAL , 1998. < [9] J.-P. D EMAILLY, Analyse numrique et quations diffrentielles, P RESSES U NIVERSITAIRES DE G RENOBLE , 1996. [10] W. G IORGI , Thmes mathmatiques pour lagrgation, M ASSON , 1998. [11] A. G RAMAIN , Intgration, H ERMANN 1988, PARIS . [12] J.-L. K RIVINE , Introduction to axiomatic set theory, D. R EIDEL P UBLISHING C OMPANY, D ORDRECHT-H OLLAND . [13] S. L ANG , Real analysis, A DDISON -W ESLEY P UBLISHING COMPANY, 1969. [14] D. P ERRIN , Cours dalgbre, E LLIPSES 1996. [15] A. P OMMELLET , Cours danalyse, E LLIPSES 1994. [16] W. RUDIN , Analyse relle et complexe, M ASSON 1992. [17] R. S MULLYAN , Thorie de la rcursion pour la mtamathmatique, FLEMMARD. [18] Y.G. S INAI Probability theory - An introduction course, S PRINGER T EXTBOOK , 1992. [19] P. TAUVEL , Mathmatiques gnrales pour lagrgation, M ASSON , 1997. [20] J. VAUTHIER , J.J. P RAT , Cours danalyse mathmatiques de lintgration, M ASSON , 1994. 88

www.L es-M athematiques.net

[21] D. W ILLIAMS , Probability with martingales, C AMBRIDGE U NIVERSITY P RESS , 1991. [22] C. Z UILY, H. Q UEFFLEC , Elments danalyse pour lintgration, M ASSON , 1995.

89