Vous êtes sur la page 1sur 127

LICENCE DE MATHMATIQUES PURES

Topologie

Universit Bordeaux I Anne universitaire 2000-01

P HILIPPE C HARPENTIER U NIVERSIT B ORDEAUX I L ABORATOIRE DE MATHMATIQUES P URES 351, C OURS DE LA L IBRATION , 33405 TALENCE Adresse lectronique: Philippe.Charpentier@math.u-bordeaux.fr

I NTRODUCTION

Ce

polycopi a t ralis durant lanne universitaire 2000-2001 alors que jenseignais les certicats de Licence LA1 et LA2. Jai choisi de faire une prsentation assez exhaustive (donc ne correspondant pas toujours exactement au contenu des programmes ofciels de la Licence de Bordeaux) pour prparer aux complments de topologie du certicat dAnalyse Fonctionnelle de Matrise afn dviter au maximum les trous que jai pu constater en travaillant la prparation de loral de lagrgation. La prsentation tche toujours de dgager en premier les concepts gnraux mme si on ne les utilise que dans des cas particuliers. Cest ainsi que, par exemple toutes les notions topologiques que lon doit introduire lors de ltude des espaces mtriques sont dnies dans le cadre gnral des espaces topologiques ; cela permet de bien distinguer les notions de nature topologique de celles de nature mtrique. Ceci amne videmment rajouter un certain nombre de dnitions concernant les espaces topologiques. Dans le chapitre sur les espaces mtriques, seul le thorme dAscoli t rajout. Dans le mme tat desprit, pour que la notion de srie, et de srie multiple, dans un espace norm soit bien comprise, jintroduis celle de famille sommable et je dcris prcisment les liens qui existent entre les deux notions. Cette notion permet de plus dtudier les espaces fondamentaux et ainsi que de traiter, en toute gnralit, la thorie des espaces de Hilbert. Dans le chapitre sur les espaces norms, par rapport au programme ofciel, jai rajout les thormes classiques lis au thorme de Baire (Sous-section III.4.3, page 61) et le thorme de Hahn-Banach (Sous-section III.4.4, page 62). Pour des raisons de cohrence, je considre que ce dernier thorme doit tre enseign en Licence. En annexe, jai dvelopp les notions de thorie des ensembles relatives laxiome du choix, au lemme de Zorn (utile pour le thorme de Hahn-Banach) et la cardinalit des ensembles. A titre de rfrence, citons les ouvrages suivants qui ont inspir bien des points : [Die68], [Rud70], [DS67]. Pour la partie thorie des ensembles, les courageux pouront consulter [Bou67]. Les exercices des ns de chapitre sont ds Grard Galusinski. Philippe Charpentier

iii

TABLE DES MATIRES

Introduction CHAPITRE I. Les nombres rels I.1. Une construction de . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . I.2. Suites de nombres rels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . CHAPITRE II. Espaces mtriques II.1. Vocabulaire topologique . . . . . . . . . . . . . . . . . II.2. Espaces mtriques, dnition et premires proprits . . II.3. Exemples . . . . . . . . . . . . . . . . . . . . . . . . . II.4. Continuit dans les espaces topologiques et mtriques . . II.4.1. Suites dans un espace mtrique . . . . . . . . . . II.4.2. Fonctions continues . . . . . . . . . . . . . . . . II.4.3. Continuit uniforme, isomtries . . . . . . . . . II.4.4. Limites . . . . . . . . . . . . . . . . . . . . . . II.5. Espaces connexes . . . . . . . . . . . . . . . . . . . . . II.5.1. Connexit . . . . . . . . . . . . . . . . . . . . . II.5.2. Connexit par arcs . . . . . . . . . . . . . . . . II.6. Produit despaces topologiques et despaces mtriques . II.7. Espaces mtriques complets . . . . . . . . . . . . . . . II.7.1. Suites de Cauchy, espaces mtriques complets . II.7.2. Exemples despaces mtriques complets . . . . . II.7.3. Thormes de prolongement . . . . . . . . . . . II.7.4. Compltion dun espace mtrique . . . . . . . . II.7.5. Thormes du point xe . . . . . . . . . . . . . II.8. Espaces compacts . . . . . . . . . . . . . . . . . . . . II.8.1. Espaces topologiques compacts . . . . . . . . . II.8.2. Espaces mtriques compacts . . . . . . . . . . . II.8.3. Espaces localement compacts . . . . . . . . . . II.8.4. Compactication dun espace . . . . . . . . . . II.8.5. Applications aux espaces de fonctions continues . II.8.5.1. Approximation des fonctions continues II.8.5.2. quicontinuit, Thorme dAscoli . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . .

iii 1 1 3 4 7 7 9 12 13 13 14 16 17 18 18 20 21 23 23 26 27 28 29 31 31 33 36 37 38 38 40 41 51 51 54 54 54 56 58 59 59 59 61 61 62 64 65 66 66

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . . . . . . . . . .

CHAPITRE III. Espaces vectoriels norms III.1. Espaces norms et espaces de Banach . . . . . . . . . . . III.2. Exemples . . . . . . . . . . . . . . . . . . . . . . . . . III.3. Sries et familles sommables dans un espace norm . . . III.3.1. Sries dans un espace norm . . . . . . . . . . . . III.3.2. Familles sommables et absolument sommables . . III.3.3. Sries commutativement convergentes . . . . . . . III.3.4. Les espaces et . . . . . . . . . . . . III.4. Espaces dapplications linaires et multilinaires continues III.4.1. Applications multilinaires et linaires continues . III.4.2. Hyperplans ferms et formes linaires continues . III.4.3. Les Thormes de Banach et de Banach-Steinhaus III.4.4. Le Thorme de Hahn-Banach . . . . . . . . . . III.4.5. Dual dun espace norm . . . . . . . . . . . . . . III.4.6. Duaux des espaces et . . . . . . . . III.5. Espaces norms de dimension nie . . . . . . . . . . . . III.5.1. Structure des espaces norms de dimension nie . v

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . .

TABLE DES MATIRES

III.5.2. Sries et familles sommables dans les espaces norms de dimension nie . . . . . . . . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . CHAPITRE IV. Espaces de Hilbert IV.1. Formes hermitiennes . . . . . . . . . . . . . . . . . . . . . . . IV.1.1. Gnralits . . . . . . . . . . . . . . . . . . . . . . . . IV.1.2. Formes hermitiennes positives . . . . . . . . . . . . . . IV.1.3. Exemples de formes hermitiennes . . . . . . . . . . . . IV.2. Espaces prhilbertiens et Hilbertiens . . . . . . . . . . . . . . IV.3. Exemples . . . . . . . . . . . . . . . . . . . . . . . . . . . . IV.4. Projection sur un sous-ensemble convexe . . . . . . . . . . . . IV.4.1. Projection sur un convexe spar et complet . . . . . . . IV.4.2. Projection sur un cne convexe spar et complet . . . . IV.4.3. Projection sur un sous-espace vectoriel spar et complet IV.4.4. Dual dun espace de Hilbert . . . . . . . . . . . . . . . IV.4.5. Sous-espaces orthogonaux supplmentaires . . . . . . . IV.5. Sommes hilbertiennes et bases hilbertiennes . . . . . . . . . . IV.5.1. Somme hilbertienne externe despaces de Hilbert . . . . IV.5.2. Somme hilbertienne de sous-espaces orthogonaux . . . IV.5.3. Familles orthonormales et bases hilbertiennes . . . . . . IV.5.4. Orthonormalisation, existence des bases hilbertiennes . . IV.5.5. Exemples de bases hilbertiennes . . . . . . . . . . . . . Exercices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exemples de sujets et de corrigs dexamens Examen partiel de lanne universitaire 2000-2001 Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . . Examen de la session de Janvier 2001 . . . . . . . Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . . Examen de la session de Septembre 2001 . . . . . Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . . Examen partiel de lanne universitaire 2001-2002 Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . . Examen de la session de Janvier 2002 . . . . . . . Sujet . . . . . . . . . . . . . . . . . . . . . Corrig . . . . . . . . . . . . . . . . . . . .

68 69 73 73 73 74 75 75 76 76 76 78 78 79 80 81 81 82 83 84 85 86

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

. . . . . . . . . . . . . . .

89 . 89 . 89 . 91 . 92 . 92 . 93 . 95 . 95 . 96 . 97 . 97 . 98 . 100 . 100 . 101

ANNEXE : Lemme de Zorn, Cardinalit des ensembles


ANNEXE A. Axiome du choix et Lemme de Zorn A.1. Laxiome du choix . . . . . . . . . . . . . . . . . . . . A.2. Ensembles ordonns : dnitions de base . . . . . . . . A.3. Thorme de Zermelo et Lemme de Zorn . . . . . . . . A.4. Applications de laxiome du choix aux espaces vectoriels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

103
105 105 106 107 109 111 111 112 112 115 117 121

ANNEXE B. Cardinalit des ensembles B.1. Cardinalit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.2. Ensembles dnombrables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . B.3. Cardinalit des ensembles innis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Index des Notations Index Terminologique Bibliographie

vi

Licence de Mathmatiques Pures de Bordeaux

C HAPITRE

LES NOMBRES RELS


Une construction de
tels que,

Rappelons tout dabord que lon appelle suite de Cauchy de rationnels une suite de rationnels telle que implique . Les deux propositions suivantes, dont les dmonstrations sont videntes constituent une dnition mathmatique de .

P ROPOSITION I.1.1.

Soit t q non intgre pour les oprations

est de Cauchy dans

. Alors

est un anneau commutatif unitaire


et un espace vectoriel sur pour la multiplication externe


P ROPOSITION I.1.2. Soit

est donc un anneau commutatif unitaire et un espace vectoriel sur . Par dnition ce quotient est appel lensemble des nombres rels et est not .
Remarque I.1.1. Les proprits suivantes sont des consquences immdiates de la dnition de : 1. Les lments de sont des classes dquivalence de suites de rationnels : si , et si appartient la classe dquivalence de , alors . dnie par , . Alors lapplication de dans est un 2. Pour tout , soit homomorphisme danneau injectif. On identie alors et et, par abus de langage, on dit que est inclus dans . dans . 3. Si est une suite de rationnels qui converge, dans , vers , alors

. Alors

est un idal et un sous-espace vectoriel de

T HORME I.1.1.
est un corps commutatif.

ERTIPAHC

SECTION I.1

, il existe

et le quotient

CHAPITRE I. LES NOMBRES RELS

L EMME . Soit , . Il existe , dquivalence , alors il existe tels que, pour

, on a

tel que, si

est une suite de rationnels appartenant la classe

Dmonstration. Puisque , on a . Par suite il existe une sous-suite extraite de et un rationnel , . La conclusion du lemme en dcoule aisment (avec par exemple ) car est de Cauchy. Dmonstration du Thorme I.1.1. En effet, si , alors, pour on a

tel que,

, et si est une suite de rationnels appartenant la classe dquivalence


ce qui prouve que

, avec

, pour

, est une suite de Cauchy dans . Alors, clairement

est linverse de

hrite aisment de lordre dni sur . En effet, on dira que est strictement positif si il existe une suite dans la classe de telle quil existe un entier et un rationnel tels que, pour , on a . Pour deux lments et de on dnit alors la relation (ou ) par (ou ). Le lemme du Thorme I.1.1 montre que cet ordre est total :

P ROPOSITION I.1.3. est un corps totalement ordonn et archimdien.


Le fait que est archimdien rsulte de la mme proprit pour , et on vrie sans difcults que lordre est compatible avec la structure de corps (i.e. et implique , et, et implique ). De la mme manire on dnit la valeur absolue en posant, pour : . Puis on dnit les suites convergentes de nombres rels comme dhabitude en utilisant la valeur absolue.

T HORME I.1.2.

est dense dans i.e. , , , des nombres rels strictement compris entre et .

, o

dsigne lensemble

donc un plus petit lment qui vrie donc

Dmonstration. On peut supposer quitte changer en . Puisque est archimdien, il existe , , tel que . Pour la mme raison, lensemble des entiers strictement positifs plus grands que est non vide et admet

. Alors on a car, dans le cas contraire, on aurait ce qui contredit la dnition de , et un rationnel cherch est .

T HORME I.1.3.
1. Une suite de nombres rels est convergente dans si et seulement si elle est de Cauchy. On dit que est complet. 2. Soit une suite dintervalles ferms embots de . Alors est un intervalle ferm non vide. De plus, si , cette intersection est rduite un point (axiome des segments embots).
Dmonstration. Remarquons tout dabord que le 2. rsulte aisment du 1. : en effet, comme la suite (resp. ) est croissante (resp. dcroissante) et majore (resp. minore) on voit facilement quelle est de Cauchy ; donc les limites et existent, et, si on les note respectivement et on a clairement Dmontrons donc le 1. Comme il est clair que toute suite convergente est de Cauchy, supposons que soit une suite de Cauchy dans et montrons quelle est convergente. Soit une suite de rels strictement positifs qui converge vers . Daprs le Thorme I.1.2, pour tout il existe tel que . Clairement est une suite de Cauchy dans et dnit donc un rel . Pour conclure, il suft de voir que ce qui rsulte du lemme suivant :

dans .

L EMME . Soit un nombre rel et une suite de rationnels de la classe dquivalence de . Alors la suite converge vers

Dmonstration. En effet, il faut voir que , tel que, pour , on a . Vrions par exemple que , pour . Pour cela, il faut montrer quil existe et dans les classes respectives de et , et tels que, pour (et ) on a . Comme est de Cauchy et , il suft clairement de prendre .

C OROLLAIRE 1. nest pas dnombrable.

Licence de Mathmatiques Pures de Bordeaux

I.2. SUITES DE NOMBRES RELS

Dmonstration. Montrons que lintervalle nest pas dnombrable. Sil ltait, on aurait . Coupons en trois intervalles ferms de mme longueurs , , . Lun de ces intervalles, , est tel que . Coupons ensuite en trois segments gaux et choisissons un qui ne contient pas . En recommenant de mme avec et ainsi de suite, on construit une suite dintervalles ferms embots dont le diamtre tend vers zro et daprs le Thorme I.1.3, on a . Clairement

, , ce qui est absurde.

C OROLLAIRE 2.

est dense dans .


Dmonstration. Ceci rsulte de la densit de dans (Thorme I.1.2) et du fait que, par le corollaire prcdent, nest pas vide (daprs la Proposition B.2.1, page 112, est dnombrable), car si , . Rappelons maintenant que si est une partie de , on appelle borne suprieure de (resp. borne infrieure de ) le plus petit (sil existe) (resp. le plus grand) des majorants (resp. minorants) de et on le note (resp. ). En dautres termes, si et seulement si , et, , tel que .

T HORME I.1.4.
Toute partie non vide majore de admet une borne suprieure (et de mme pour les parties non vides minores avec la borne infrieure).
Dmonstration. En effet, soient une partie non vide majore de , et un majorant de . Posons . Soit le milieu du segment . Si est un majorant de , on pose ; sinon cela signie quil existe , avec tel que et on pose . Puis on recommence le mme procd en remplaant par , et ainsi de suite. On construit ainsi une suite de segments embots dont le diamtre tend vers zro. Daprs le Thorme I.1.3, on a . On

vrie alors facilement que est la borne suprieure de Notation I.1.1. On note

SECTION I.2

Suites de nombres rels


Si est une suite de nombres rels, on appelle valeur dadhrence dans (resp. ) de la suite tout nombre rel (resp. ) tel quil existe une suite extraite de la suite telle que . Dans la suite nous noterons lensemble des valeurs dadhrence de la suite dans et le mme ensemble dans . On dit quune suite de nombres rels est borne sil existe deux rels et tels que,

T HORME I.2.1 (Thorme de Bolzano-Weierstrass ). Soit une suite borne de nombres rels. Alors

Dmonstration. Soit . Alors est une partie borne de (i.e. majore et minore) et, daprs le Thorme I.1.4, elle admet une borne suprieure . La suite est dcroissante et minore et donc converge vers la borne infrieure de . Comme, pour tout entier il existe un entier tel que , quitte extraire de la suite une suite strictement croissante, on construit aisment une suite extraite de la suite qui converge vers .

Remarque I.2.1. 1. Avec les notations de ci-dessus, si on note la borne infrieure de

, alors . 2. Si est une suite quelconque de nombres rels, alors est toujours non vide.

et le borne suprieure de

La seconde partie de la remarque rsulte du fait que, si la suite est non borne, par hypothse, rence.

ou est une valeur dadh-

D FINITION I.2.1. Soit une suite de nombres rels. La borne suprieure (resp. infrieure) de sappelle la limite suprieure (resp. infrieure) de la suite et se note (resp. ) ou (resp. ).

CHAPITRE I. LES NOMBRES RELS

Remarque I.2.2.

tant une suite de nombres rels, et .

Exercices
Exercice I.1 (Structure des groupes additifs de ). Soit un sous groupe additif de non rduit et 1. Montrer que si 2. Montrer que si 3. Soit

4. Soit un rel nappartenant pas . Montrer, en considrant lensemble est dense dans . Exercice I.2. 1. Soit
, une application croissante telle que :

, alors et , alors est dense dans .

une fonction continue priodique non constante. Montrer que

admet une plus petite priode non nulle.

, que


Montrer quil existe un rel tel que pour tout rel ,
telles que

2. En dduire toutes les applications


et

Exercice I.3. 1. Soit un nombre rel

tels que

(a) Montrer quil existe une suite de nombres entiers appartenant lensemble

(b) Montrer quune telle suite est unique si lon ajoute la condition que lensemble

.
est inni.

2. Une autre preuve de la non dnombrabilit de : Supposons quil existe une bijection et dsignons par le n-ime terme du dveloppement dcimal propre de . Choisissons pour tout entier un nombre de lensemble avec et soit le rel dont le dveloppement dcimal est . Que peut on penser de ?

Exercice I.4. 1. Montrer que toute srie absolument convergente de nombres rels est convergente. 2. Montrer que la srie

converge dans . On dsignera par sa somme.

3. Montrer que pour tout 4. Montrer que la srie

,
ne converge pas dans .

Exercice I.5. Soit une suite numrique et un nombre rel. Exprimer, laide de la notion de sous suite, la proprit : la suite ne tend pas vers . Exercice I.6. 1. Dmontrer quune suite borne converge si et seulement si ses limite suprieure et infrieure sont gales. 2. Soit une suite numrique et sa limite suprieure dans . Montrer que est caractris par les proprits suivantes : (a) Quel que soit (b) Quel que soit 4

lensemble lensemble

des des

qui vrient qui vrient

est inni. est ni.

Licence de Mathmatiques Pures de Bordeaux

EXERCICES

3. Caractriser de faon analogue la limite infrieure. Exercice I.7. Soit une suite relle telle que les sous suites et convergent vers les nombres rels et respectivement. Quelles
sont les valeurs dadhrence de la suite ? Dterminer la limite suprieure de la suite o

Exercice I.8. 1. Dmontrer la rgle de Cauchy : Soit une suite de nombres rels ou complexes, et soit : ( ).

2. Soit

. une srie entire complexe, son rayon de convergence vrie : ? 3. Soit le rayon de convergence de la srie entire . Quel est celui de la srie entire

Si Si

la srie est absolument convergente. la srie est divergente.

Exercice I.9. Soit une suite relle borne telle que la suite 1. 2.

converge vers une limite . Soit une valeur dadhrence de la suite . Montrer que est une autre valeur dadhrence de la suite . Itrer le procd prcdent et prouver que la suite converge.
une application croissante de dans . Montrer que admet une limite droite et gauche en

Exercice I.10. Soit un intervalle ouvert de et tout point de .

C HAPITRE

ESPACES MTRIQUES

ans ce chapitre, on pose les bases de lanalyse : les notions despace topologique et despace mtrique sont constamment utilises en analyse. On a choisi de ne traiter en dtails que les espaces mtriques. Nanmoins, tout espace mtrique tant un espace topologique, on a dcid de donner, part, la dnition despace topologique ainsi que les principales terminologies qui lui sont attaches. Dans tout le cours qui suit, on pourra ainsi distinguer, dans ltude des espaces mtriques, ce qui rsulte de la structure despace topologique sous-jacente et ce qui rsulte de la structure mtrique. De plus, en analyse fonctionnelle, on est amen, de faon quasi ncessaire, considrer certains espaces topologiques qui ne sont pas des espaces mtriques : par exemple la topologie de la convergence simple (c.f. Exemple II.6.1, page 22) est fortement utilise dans ltude des espaces de formes linaires.

Vocabulaire topologique
Dans cette section, on donne la dnition despace topologique ainsi que lessentiel du vocabulaire topologique de base.

D FINITION II.1.1. On appelle espace topologique un ensemble muni dune partie de lensemble des parties de vriant les proprits suivantes : 1. et appartiennent ; 2. Toute runion dlments de est un lment de ; 3. toute intersection nie dlments de est un lment de . Les lments de sont appels les ouverts de lespace topologique . De plus les complmentaires de ouverts de sont appels les ferms de . est parfois appele la topologie de .

On notera donc que toute intersection de ferms est un ferm et que toute runion nie de ferms est un ferm et que des ferms (une partie de peut tre la fois ouverte et ferme).

Exemple II.1.1 (Lespace topologique ). Une partie de est dite ouverte si, est contenu dans . Il est bien clair que ceci dni une topologie sur .

, il existe

tel que lintervalle ouvert

D FINITION II.1.2. Soit un espace topologique. Soit

une partie de
7

ERTIPAHC

SECTION II.1

et

sont

CHAPITRE II. ESPACES MTRIQUES

1. On appelle adhrence de lintersection de tous les ferms contenant (elle existe puisque est un ferm qui contient ) et on la note . est un ferm et les lments de sont appels les points adhrents . 2. On appelle intrieur de la runion de tous les ouverts contenus dans (elle existe, puisque est ouvert, mais peut tre vide) et on la note . est un ouvert et les lments de sont appels les points intrieurs de . 3. Lensemble est appel la frontire de et se note gnralement . 4. Un point de est dit isol (dans ) sil existe un voisinage de tel que .
D FINITION II.1.3. Soit un espace topologique. On dit quune partie de est un voisinage dun point sil existe un ouvert contenant et contenu dans . En particulier est intrieur si et seulement si est un voisinage de et est ouvert si et seulement sil est un voisinage de chacun de ses points. Plus gnralement, si est une partie de on appelle voisinage de toute partie de contenant un ouvert contenant .

Exemple II.1.2. Dans lespace topologique , un voisinage de est une partie de qui contient un intervalle ouvert de la forme , .

D FINITION II.1.4. Un espace topologique est dit spar si tant donns deux points distincts voisinage de et un voisinage de tels que .

et

de

, il existe un

P ROPOSITION II.1.1. Soient un espace topologique et une partie de . 1. Un point de est adhrent si et seulement si tout voisinage de rencontre . 2. Supposons que soit innie. On dit que est un point daccumulation de si tout voisinage de contient une innit de points de (ce qui implique en particulier ).

est un ferm contenant


Soient

Dmonstration. En effet, dans le cas contraire il existe un ouvert contenant et ne rencontrant pas et ne contenant pas .

. Alors le complmentaire de

P ROPOSITION II.1.2. un espace topologique et une partie de . Alors

.
.

Dmonstration. En effet, si nappartient pas

alors tout ouvert contenant rencontre le complmentaire de

P ROPOSITION II.1.3. Soient un espace topologique et 1. Si , et ; 2. et

et .

deux parties de

. Alors :

Dmonstration. Montrons par exemple la premire galit du 2. Linclusion ce qui donne linclusion inverse.

provient du 1. ; dautre part

Remarque II.1.1. On notera que, en gnral, on a seulement les relations et et pas des galits, et pour la seconde. Un autre exemple est fourni par : et : dans comme le montre lexemple , , , , et (le fait que a t vu au Thorme I.1.2, page 2 et le fait que ce cas au Corollaire 2 du Thorme I.1.3, page 3).

D FINITION II.1.5. Soient un espace topologique et D FINITION II.1.6. Un espace topologique

deux parties de

. On dit que

est dense dans

si

est dit sparable sil contient un sous-ensemble dense dans

dnombrable.

Exemple II.1.3. Comme nous lavons dj vu est dense dans , ce qui fait que est sparable.

Licence de Mathmatiques Pures de Bordeaux

II.2. ESPACES MTRIQUES, DFINITION ET PREMIRES PROPRITS

D FINITION II.1.7. Soient un espace topologique et une partie de . 1. On dit que est rare si lintrieur de son adhrence est vide ou, ce qui revient au mme, que lintrieur de est dense. 2. On dit que est maigre si elle est contenue dans une runion dnombrable densembles rares (i.e. si elle est contenue dans une runion dnombrable de ferms dintrieurs vides).
Exemple II.1.4. Dans tout ensemble ni est rare. De mme lensemble des points dune suite convergente est rare. Par contre un ensemble dnombrable nest pas rare en gnral : nest pas rare puisquil est dense dans . est toutefois maigre puisque dnombrable. Par contre, nest pas maigre : cest une consquence immdiate du Thorme de Baire ( page 25).

P ROPOSITION II.1.4. Soit un espace topologique et soit une partie de . Soit . Alors muni de est un espace topologique. est appele la topologie induite par celle de et on parle du sous-espace topologique de

La vrication de la proposition ci-dessus est immdiate.

D FINITION II.1.8. Soit un espace topologique, la topologie de . 1. On dit quune partie de est une base pour la topologie de si tout ouvert de est runion dlments de . 2. Soit un lment de . Soit une famille de voisinages de . On dit que est une base de voisinages de si tout voisinage de contient un lment de la famille .

En particulier, la famille des ouverts contenant est une base de voisinages de .

D FINITION II.1.9. Soient un espace topologique de topologie , et une relation dquivalence sur lensemble . Soient lensemble quotient de lensemble par la relation et la surjection canonique de sur . 1. Lensemble tels que est une topologie sur appele la topologie quotient de par . On appelle espace topologique quotient de par , lensemble quotient muni de la topologie quotient . 2. On dit que est une relation ferme (resp. ouverte) si (resp ferm pour , ), (resp. ) est ouvert (resp. ferm) pour .

Remarque II.1.2. Il se peut quun espace topologique

soit spar sans que lespace topologique quotient

le soit.

SECTION II.2

Espaces mtriques, dnition et premires proprits


D FINITION II.2.1. On appelle distance sur un ensemble 1. , ; 2. ; 3. , ; 4. ,

une application

possdant les proprits suivantes :

(ingalit triangulaire). muni dune distance .

De plus, on appelle espace mtrique un ensemble


Dans toute la suite, la distance dun espace mtrique la notation sera alors prcise.

sera toujours note , sauf lorsque cela peut prter confusion, auquel cas

CHAPITRE II. ESPACES MTRIQUES

Remarque II.2.1. Une application tant remplace par ,

(i.e. la rciproque ntant pas ncssairement vrie) sappelle un cart sur

possdant les proprits 1. 3. et 4. de la dnition ci-dessus, la proprit 2.

Comme application quasi-immdiate de lingalit triangulaire, on peut noter lingalit souvent utile suivante :

P ROPOSITION II.2.1. Soient un espace mtrique (de distance ) et

trois points de

. Alors

D FINITION II.2.2. Soit un espace mtrique. 1. Soient et deux parties non vides de . On appelle distance de le nombre rel positif, not , dni par ; 2. Soit une partie non vide de . On appelle diamtre de le nombre rel positif, not , dni par ; on dit que est born si son diamtre est ni.
Remarque II.2.2. Si

on note simplement

. De plus on vrie aisment que


et

P ROPOSITION II.2.2. Soient un espace mtrique, .


galit sobtenant en changeant les rles de et .

une partie non vide de

et deux points de

. Alors

Dmonstration. En effet, par lingalit triangulaire,

, lautre in-

P ROPOSITION II.2.3. Soient un espace mtrique et .


Dmonstration. En effet, on peut supposer

et

deux parties bornes de

. Alors

est borne et

ce qui implique . Alors, si , et et , on a, par lingalit triangulaire, , ce qui donne , donc, do le rsultat.
D FINITION II.2.3. Soit un espace mtrique. 1. On appelle boule ouverte (resp. boule ferme, sphre) de centre et de rayon lensemble t q (resp. t q , t q 2. On dit quune partie de est ouverte si , il existe tel que .

P ROPOSITION II.2.4. Soit un espace mtrique. Soit lensemble des ouverts de . Alors muni de est un espace topologique, les boules ouvertes forment une base pour la topologie de et les boules ouvertes centres en un point une base de voisinages de . On dit que est la topologie dnie par la distance de .

Dmonstration. En effet, il est clair quune runion densembles ouverts est ouverte et, si et sont deux ouverts, si et si et , en posant , on a .

Remarque II.2.3. 1. Les boules ouvertes centres en et de rayons rationnels (en fait ) forment aussi une base de voisinages de . Tout point admet donc une base dnombrable de voisinages. 2. Un espace mtrique est spar (c.f. Dnition II.1.4, page 8). t q . Alors est un voisinage 3. Soit une partie dun espace mtrique . Pour , soit , ne forme pas, en gnral, une base de voisinages de (voir toutefois Proposition II.8.16, de mais lensemble des , , alors page 35). Par exemple, dans , si on prend


et le voisinage ouvert de ne contient aucun

, ne contient pas le

; de mme, si
.

, pour tout

voisinage ouvert

de

10

Licence de Mathmatiques Pures de Bordeaux

II.2. ESPACES MTRIQUES, DFINITION ET PREMIRES PROPRITS

D FINITION II.2.4. On dit quun espace topologique est mtrisable si sa topologie peut tre dnie par une distance.
Remarque II.2.4. Si est un cart (Remarque II.2.1, page prcdente) sur un ensemble , on peut dnir des boules et des sphres de la mme manire que ci-dessus pour une distance, puis une topologie sur , comme dans la Proposition prcdente, qui nest, priori, pas spare. On obtient ainsi un espace semi-mtrique que lon appelle, par abus de langage, un espace mtrique. Bien que nous ne considrerons pas, pour la thorie, de tels espaces dans ce chapitre, il peut arriver, dans les exemples et dans les chapitres qui suivent, que lon fasse appel cette notion.

P ROPOSITION II.2.5. Une boule ferme et une sphre sont des ensembles ferms. De plus, on a pouvant tre stricte (c.f. Exemple 7, Section II.3, page 13).
Dmonstration. En effet, si que

, linclusion

, cela signie que , et, si on pose

ce qui montre que le complmentaire de

est ouvert. La preuve pour la sphre est similaire.

, lingalit triangulaire montre

P ROPOSITION II.2.6. Soit un espace mtrique. 1. Soit une partie de . Alors un point de est adhrent si et seulement si . 2. Tout ferm est lintersection dune suite dcroissante densembles ouverts, et tout ouvert est runion dune suite croissante de ferms. Plus prcisment, si est ferm on a

(c.f. le 3. de la Remarque II.2.3, page prcdente) .


Dmonstration. Si alors toute boule ouverte de rayon strictement positif rencontre ce qui montre que quement, si , pour tout , il existe tel que ce qui signie que assertion du 2. en rsulte, et la seconde sobtient par passage au complmentaire.

; rcipro. La premire

P ROPOSITION II.2.7. Pour quun espace mtrique topologie.

soit sparable, il faut et il suft quil existe une base dnombrable pour sa

Dmonstration. La condition est clairement sufsante car si est une telle base et si , , alors est clairement dense dans . Inversement, supposons que soit sparable et soit un sous-ensemble dense dnombrable. Montrons que la famille douverts est une base pour la topologie de . Pour cela il suft de voir que tout boule , , contient un lment de la famille tel que . Puisque est dense dans , pour tout , il existe tel que , . Alors, si est assez grand, on peut trouver tel que la boule , avec , rponde la question.

D FINITION II.2.5. Soient un ensemble et deux distances sur . 1. On dit que et sont topologiquement quivalentes si les topologies quelles dnissent sur les mmes. 2. On dit que et sont quivalentes sil existe deux constantes et telles que .

sont

On notera que, clairement, deux distances quivalentes sont topologiquement quivalentes. Par contre la rciproque est en gnral fausse.

P ROPOSITION II.2.8. Soient un espace mtrique et un sous-ensemble de . Soit la restriction de la distance de . Alors est une distance sur la topologie dnie par sur est la topologie induite par celle de . On parle alors du sous-espace mtrique .
La dmonstration de cette proposition est immdiate. Remarque II.2.5. Soient un espace mtrique et une relation dquivalence sur lensemble . En gnral, lespace topologique nest pas mtrisable (i.e. sa topologie nest pas dnie par une distance). quotient

11

CHAPITRE II. ESPACES MTRIQUES

SECTION II.3

Exemples
1. La fonction

est une distance sur .

Plus gnralement, la fonction

,
et

Pour le voir, on utilise lingalit de Minkowski qui se dduit de celle de Hlder : Soient

est une distance sur appele la distance Euclidienne. Pour

est aussi une distance sur .

des nombres rels positifs, et deux rels et de


vriant

de Hlder) :

. Alors on a (Ingalit

(II.3.1)

En effet, la fonction

tant convexe, on a

, ce qui donne, puisque

et, si on applique cette ingalit

et

, on obtient (II.3.1).

On en dduit alors aisment lingalit de Minkowski :

En effet, si est tel que

(II.3.2)

, en crivant

, (II.3.1) donne

do on dduit le rsultat en utilisant que Plus gnralement encore, on note que

(resp. ) lensemble des suites


puis que

de nombres complexes (resp. rels) telles

2.

, et si . Sur ces ensembles, les fonctions (resp. ) sont des distances, ce qui se dduit immdiatement de (II.3.2) pour et est vident pour . Soient un ensemble et un espace mtrique. Soit lensemble des fonctions de dans . Alors
si

est une distance sur gnralement 3. Soit un ensemble et


et

appele la distance de la convergence uniforme sur lensemble des fonctions bornes de

muni de cette distance se note

dans un espace mtrique . Alors

dnit sur une distance presque quivalente la distance de la convergence uniforme sur , dans le sens o elle est gale la distance de la convergence uniforme sur sur toute partie de diamtre plus petit que et quivalente la distance de la convergence uniforme sur sur toute partie borne. On note cet espace . 12 Licence de Mathmatiques Pures de Bordeaux

II.4. CONTINUIT DANS LES ESPACES TOPOLOGIQUES ET MTRIQUES

4. Soient un ensemble, un espace mtrique et dnombrable de parties de telle que

lensemble des fonctions de . Pour chaque , soit


dans

. Soit

une famille

la distance de la convergence uniforme sur un cart). Alors

, mais, priori, seulement

(ce nest pas ncessairement une distance sur

5. Soit

un segment de et soit lensemble des fonctions continment drivables sur . Alors , est une distance sur . un segment de et
ainsi que

est une distance sur appele la distance de la convergence uniforme sur les pour cette distance si et seulement si elle converge uniformment sur chaque .

. Une suite de fonctions converge

6. Soit

lensemble des fonctions continues sur . Alors

est une distance sur

7. Soit un ensemble. Posons si et . Alors est une distance sur et lespace mtrique obtenu est appel un espace mtrique discret. On notera que, pour cet espace, on a alors que . 8. Soit un nombre premier. Pour tout entier Clairement on a

, soit lexposant de dans la dcomposition de , en facteurs premiers.

(II.3.3) Si est un nombre rationnel non nul, et entiers , on pose , ce qui ne dpend pas de la reprsentation de daprs (II.3.3). De mme, on voit que (II.3.3) est vraie pour des rationnels non nuls. On pose alors, pour et rationnels (II.3.4) Alors est une distance sur appele la distance -adique. De plus elle vrie lingalit

(II.3.5) Les distances vriant lingalit (II.3.5) sont dites ultramtriques.

SECTION II.4

Continuit dans les espaces topologiques et mtriques


SOUS-SECTION II.4.1

Suites dans un espace mtrique


D FINITION II.4.1. Soient un espace mtrique et une suite dans . On dit que la suite converge vers si, pour . tout voisinage de , il existe un entier tel que, pour , on a et on crit
Remarque II.4.1. On peut naturellement donner une dnition semblable dans un espace topologique quelconque. Mais la notion ainsi dnie na, en gnral, pas beaucoup dintrt.

13

CHAPITRE II. ESPACES MTRIQUES

De la dnition on dduit immdiatement les proprits suivantes :

P ROPOSITION II.4.1. Soit un espace mtrique. 1. Pour quune suite dans converge vers il faut et il suft que, implique . Il revient au mme de dire que . 2. Soit une suite dans . Si alors pour toute suite .

tel que

extraite de la suite on a

D FINITION II.4.2. Soit une suite dans un espace mtrique . On dit que est une valeur dadhrence de la suite sil existe une suite extraite telle que . Lensemble des valeurs dadhrence de est parfois not .

Si une suite converge vers alors est lunique valeur dadhrence de . Mais la rciproque nest pas vraie ; par exemple, dans la suite dnie par , a comme unique valeur dadhrence et ne converge pas.

P ROPOSITION II.4.2. Soit une suite dans un espace mtrique . Soit . Les conditions suivantes sont quivalentes : 1. est valeur dadhrence de ; 2. Pour tout voisinage de et tout entier , il existe un entier tel que ; 3. Pour tout , et tout entier , il existe un entier tel que .
Cette proposition est vidente.

P ROPOSITION II.4.3. Soient un espace mtrique et une partie de . Soit 1. ; 2. est valeur dadhrence dune suite de points de ; 3. est limite dune suite de points de .

. Les conditions suivantes sont quivalentes :

Dmonstration. Vrions simplement que 1. implique 3. : par hypothse, pour tout Alors la suite rpond la question.

, il existe

tel que

.
est point

P ROPOSITION II.4.4. Soit une suite dans espace mtrique . Soit daccumulation de alors est valeur dadhrence de la suite .
Dmonstration. En effet, ceci se voit en remarquant que, pour tout .

. Si

est inni et si

, il existe

, aussi grand que lon veut tel que

On remarquera que la rciproque de cette Proposition nest pas vraie en gnral : une valeur dadhrence dune suite nest pas ncessairement un point daccumulation de lensemble des points de la suite comme la montre lexemple .

SOUS-SECTION II.4.2

Fonctions continues
D FINITION II.4.3. Soient et deux espaces topologiques et une application de dans . On dit que est continue en si, pour tout voisinage de dans , il existe un voisinage de dans tel que . De plus, on dit que est continue si elle est continue en tout point de .
Il revient au mme de dire que, pour tout voisinage de dans , est un voisinage de dans espaces mtriques, cette dnition sexprime aisment en termes de distances et de suites : 14 Licence de Mathmatiques Pures de Bordeaux . Dans le cas des

II.4. CONTINUIT DANS LES ESPACES TOPOLOGIQUES ET MTRIQUES

P ROPOSITION II.4.5. Soient et deux espaces mtriques de distances respectives et et une application de dans Alors les conditions suivantes sont quivalentes : 1. est continue en ; 2. , il existe , tel que, implique ; 3. Pour toute suite dans qui converge vers , la suite converge vers dans .

Dmonstration. Pour voir que 3. implique les deux autres proprits, on raisonne par labsurde et on contredit facilement, par exemple, le 2. La proprit suivante est importante et compltement gnrale :

T HORME II.4.1.

Soient et deux espaces topologiques et une fonction de quivalentes : 1. est continue ; 2. Pour tout ouvert de , est un ouvert de ; 3. Pour tout ferm de , est un ferm de ; 4. pour toute partie de .

dans

. Les conditions suivantes sont

Dmonstration. Comme un ensemble est ouvert si et seulement si il est voisinage de chacun de ses points (c.f. Dnition II.1.3), lquivalence 1. 2. rsulte de la dnition ; 2. 3. sobtient par passage au complmentaire ; 3. 4. en rsulte aussitt (car est un ferm contenant ) ; enn 4. 3. car si est ferm, et si , alors , donc .

P ROPOSITION II.4.6. et Soient , et trois espaces topologiques, est continue en alors est continue en . En particulier, si
Dmonstration. En effet, si hypothse.

et

. Si est continue en et si sont continues, lest aussi.


par

est un voisinage de

alors

est un voisinage de

Si est un espace topologique et si est un sous-espace de , alors linjection la dnition de la topologie induite (Dnition II.1.4, page 9). On en dduit la proprit suivante :

est continue comme le montre

P ROPOSITION II.4.7. Soient et deux espaces topologiques, de contenant . Alors la restriction de


Naturellement, la restriction continue aux points de . dune application

une fonction continue en et est continue en .


un sous-espace

un sous-espace

peut tre continue sans que

soit elle mme

P ROPOSITION II.4.8. Soient un espace mtrique et ouverts disjoints et tels que

et

et

deux parties non vides de .

. Si

, il existe deux
, strictement

Dmonstration. En effet, daprs la Proposition II.2.2, page 10, la fonction ngative sur et strictement positive sur . Il suft donc de prendre

est continue sur et .

D FINITION II.4.4. Soient et est bijective et si homomorphes.

deux espaces topologiques et . On dit que est un homomorphisme si elle sont toutes deux continues. De plus, dans ce cas, on dit que les espaces et sont et

La proprit suivante rsulte des dnitions :

P ROPOSITION II.4.9. Soient un ensemble et et deux distances sur . Soient et les espaces mtriques obtenus en munissant des distances et respectivement. Alors les conditions suivantes sont quivalentes : 1. Les distances

et

sont topologiquement quivalentes ;

2. Lapplication identique est un homomorphisme de

sur

;
15

CHAPITRE II. ESPACES MTRIQUES

3. Pour tout espace topologique (a) (b)


et toute fonction

, les proprits suivantes sont quivalentes :

est continue ; est continue.

On traduit cette Proposition en disant que deux distances sont topologiquement quivalentes si elle dnissent les mme fonctions continues. La Proposition suivante est une consquence immdiate de la dnition des topologies quotients :

P ROPOSITION II.4.10. Soient un espace topologique et une relation dquivalence sur lensemble . Alors la surjection canonique de sur est continue de lespace topologique sur lespace topologique .

SOUS-SECTION II.4.3

Continuit uniforme, isomtries


D FINITION II.4.5.

Soient et deux espaces mtriques. On dit quune fonction , il existe tel que implique si,

est uniformment continue


.

Limportant dans cette dnition est que le ne dpend pas de ni de ; cest donc une proprit plus forte que la continuit : toute fonction uniformment continue est continue, mais la rciproque est fausse. De plus, la continuit est une notion topologique alors que la continuit uniforme est une notion mtrique.

Exemple II.4.1. Si

est un sous-ensemble non vide dun espace mtrique

alors

est uniformment continue.

En effet, ceci rsulte de la Proposition II.2.2, page 10. La proposition suivante est immdiate :

P ROPOSITION II.4.11. La compose de deux fonctions uniformment continues est uniformment continue.

D FINITION II.4.6. Soient et deux espaces mtriques de distances respectives et . On dit quune application , on a . Dans ce cas, et si est surjective, on est une isomtrie si, dit que les espaces et sont isomtriques.
Une isomtrie bijective est naturellement un homomorphisme uniformment continu ainsi que son inverse. La Proposition suivante est immdiate :

P ROPOSITION II.4.12. Soient un ensemble et mtrique , toute fonction continue pour .

et

deux distances sur . Si ces distances sont quivalentes, pour tout espace est uniformment continue pour si et seulement elle est uniformment

On traduit cette Proposition en disant que les fonctions uniformment continues sont les mme pour deux distances quivalentes. On remarquera toutefois que la rciproque de cette proprit nest pas vraie : il se peut que, pour deux distances non quivalentes les fonctions uniformments continues soient les mme (cest par exemple le cas si est une distance non borne et que lon considre ). En fait ce qui compte ici est ce que lon appelle la structure uniforme de lespace mtrique. Pour avoir une ide sur cette notion, les plus courageux pouront consuter [Bou65] Chapitre 2. 16 Licence de Mathmatiques Pures de Bordeaux

II.4. CONTINUIT DANS LES ESPACES TOPOLOGIQUES ET MTRIQUES

SOUS-SECTION II.4.4

Limites
D FINITION II.4.7. Soient et deux espaces topologiques, une partie de , , et une fonction de dans . On dit que a une limite crit

tel que voisinage de , lorsque tend vers ,

, et on

si la fonction sous-espace topologique

dnie par dans .

, si

, et,

, est continue du

On notera que la condition voisinage de , nest pas ncessaire pour formuler la dnition, mais, si est un point isol de , la dnition ne dit rien, et lunicit de la remarque ci-dessous nest plus vraie. Cette condition est donc suppose satisfaite dans toute la suite. En termes de voisinages, cette dnition se traduit comme suit :

P ROPOSITION II.4.13. tant donn deux espaces topologiques et

, soient

et

. Alors

si et seulement si, pour tout voisinage de dans

Remarque II.4.2. 1. Soient suft que

, il existe un voisinage de dans

tel que

et

des espaces topologiques,

et

. Pour que

soit continue en , il faut et il

est quivalente la continuit en

2. Si est spar, ne peut avoir quune seule limite lorsque tend vers en restant dans pour . Si , cela ne change rien ; par contre si 3. On peut aussi dnir
de .

. , lexistence de cette limite

Le 2. de la remarque ci-dessus est clair en vertu de la Proposition prcdente et de la Dnition II.1.4, page 8. Dans le cas des espaces mtriques, on peut exprimer cette dnition avec la distance et les suites :

P ROPOSITION II.4.14. Soient et deux espaces mtriques de distances respectives et , , , . Les conditions suivantes sont quivalentes : 1. ; 2. Pour tout , il existe , tel que , , implique 3. Pour toute suite dlments de telle que , on a

et

. ;

Dmonstration. 2. est la traduction de en termes de boules. Lquivalence entre 3. et les deux autres proprits rsulte de la Proposition II.4.5, page 15. Les proprits rsumes dans la proposition suivante sont toutes immdiates :

P ROPOSITION II.4.15. 1. Si 2. Si

, alors est telle que

. et si
alors

est continue alors

3. Si

et si

.
17

CHAPITRE II. ESPACES MTRIQUES

De la mme manire que lon a dni les limites suprieures et infrieures de suites de nombres rels (Dnition I.2.1, page 3), on peut dnir les limites suprieures et infrieures dune fonction valeurs dans :

D FINITION II.4.8. Soient un espace mtrique, une fonction de dans , et un point de suprieure (resp. infrieure) de lorsque tend vers en restant dans le nombre

. On appelle limite


(resp.

).

Naturellement, cette dnition sinterprte aussitt en termes de suites :

P ROPOSITION II.4.16. Soient un espace mtrique,

une fonction de

dans ,

et

un point de

. Alors


(resp.

) si et seulement si : (a) Pour toute suite dlments de ) ; (b) Il existe une suite dlments de

qui converge vers

on a


(resp.


qui converge vers telle que

(resp.

).

SECTION II.5

Espaces connexes
SOUS-SECTION II.5.1

Connexit
D FINITION II.5.1. On dit quun espace topologique est connexe si on ne peut pas le mettre sous la forme o et sont deux ouverts disjoints non vides. Une partie de est dite connexe si lespace topologique (pour la topologie induite) lest.
On ferra attention au fait que, pour une partie, la connexit est une proporit de la topologie induite. Prcisment, si connexe, cela signie quil existe deux ouverts et de lespace tels que , et nimplique pas . Exemple II.5.1. Dans , nest pas connexe ( nest pas , ce qui

).

On peut mme dire plus : les seules parties de qui sont connexes sont les parties rduites un point : est totalement discontinu (c.f. Dnition II.5.3, page 20). Par contre : 18 Licence de Mathmatiques Pures de Bordeaux

II.5. ESPACES CONNEXES

P ROPOSITION II.5.1. Les connexes de sont les intervalles.


Dmonstration. Soit un connexe de . Si nest pas un intervalle, il existe trois points , et dans tels que dans et dans le complmentaire de . Ceci contredit la connexit de puisque

, et


Vrions maintenant que tout intervalle est connexe. Soit un intervalle de . Si nest pas connexe, il existe deux ouverts , , tels que , et . Soit un point de . Par hypothse sur les , on peut, par exemple, supposer quil existe , . Soit alors

Alors intervalle.

ce qui contredit le fait que soit un

et

. Clairement on ne peut avoir ni ni donc

P ROPOSITION II.5.2. Dans un espace topologique toute union dune famille de connexes dont lintersection est non vide est connexe.
Dmonstration. Soit ,

, une telle famille. Supposons


est connexe, il est soit contenu dans soit dans . Comme ils ont tous

ouverts non vides de

un point en commun, ils sont tous contenus soit dans soit dans .

disjoints. Comme chaque

P ROPOSITION II.5.3. Soit une partie connexe dun espace topologique


Dmonstration. En effet, supposons exemple, . Ceci qui implique

. Tout ensemble

tel que

est connexe.
est connexe, on doit avoir, par donc .

, les tant des ouverts disjoints de . Comme car si , est un voisinage de


une application continue de

P ROPOSITION II.5.4. Soient et deux espaces topologiques, connexe de . Alors est connexe.

dans

et

une partie

Dmonstration. Cest une consquence immdiate de la dnition et du Thorme II.4.1, page 15. La Proposition suivante est souvent trs utile pour montrer quun espace est connexe :

P ROPOSITION II.5.5. Un espace topologique constante.

est connexe si et seulement si toute application continue de

dans

est
, et la

Dmonstration. Ceci est presque immdiat. La ncessit vient du fait que sufsance se voit de mme en raisonnant par labsurde.

et

sont la fois ouverts et ferms dans

P ROPOSITION II.5.6. Soit un espace topologique. La relation entre lments de dnie par il existe une partie connexe de qui contient et est une relation dquivalence. Les classes dquivalences pour cette relation sont appeles les composantes connexes de . La classe dquivalence contenant un lment de est la runion des connexes de contenant et sappelle la composante connexe de . Lorsque lon parle des composantes connexes dune partie dun espace topologique il sagit toujours (sauf mention expresse du contraire) des composantes connexes de lespace topologique muni de la topologie induite par celle de .

Dmonstration. Cette Proposition rsulte de la Proposition II.5.2.

D FINITION II.5.2. Un espace topologique un seul point.

est dit totalement discontinu si ses composantes connexes sont toutes rduites

19

CHAPITRE II. ESPACES MTRIQUES

D FINITION II.5.3. Un espace topologique est dit localement connexe si tout point admet une base de voisinages connexes.
Exemple II.5.2. est un espace mtrique localement connexe (en fait localement connexe par arc c.f. sous-section suivante).

P ROPOSITION II.5.7. Pour quun espace topologique soit localement connexe il faut et il suft que les composantes connexes des ouverts soient ouvertes. En particulier, dans un espace topologique localement connexe, tout point admet une base de voisinages ouverts connexes.
Dmonstration. La preuve de cette proprit est trs simple. En effet, si est localement connexe, la conclusion rsulte de la Proposition II.5.2 car, un point dune composante connexe dun ouvert possde un voisinage connexe contenu dans louvert et ce voisinage est donc contenu dans la composante. Rciproquement, si est un voisinage ouvert dun point, la composante connexe du point dans est un ouvert connexe contenu dans . Remarque II.5.1. Il est clair que la connexit locale nimplique pas la connexit. De mme la connexit nimplique pas la connexit locale. Par exemple, dans , lensemble constitu du segment de et de tous les segments est connexe (car il est connexe par arc c.f. sous-section suivante), mais les points qui ne sont pas sur nont pas de voisinages connexes. Voici deux exemples classiques dutilisation de la connexit :

P ROPOSITION II.5.8. Tout ouvert de est runion dnombrable dintervalles ouverts deux deux disjoints.
Dmonstration. Soit un ouvert de . Comme est localement connexe, les composantes connexes de sont ouvertes, et, comme est dense dans , les composantes connexes de sont les composantes connexes des rationnels de et forment donc un ensemble dnombrable.

P ROPOSITION II.5.9 (Thorme de Darboux ). Soit une fonction drivable de dans . Alors le thorme des valeurs intermdiaires.
Dmonstration. Soit

est un intervalle. En dautres termes, vrie


la

t q

. On a donc . Daprs le thorme des accroissements nis, pour , il existe tel que ce qui entrane . Le rsultat dcoule donc de la Proposition II.5.3 Dautre part, si , on a
et de la Proposition II.5.1.

est clairement un connexe (vrication facile en utilisant par exemple la connexit par arcs vue a la sous-section suivante). Soit fonction dnie sur par

SOUS-SECTION II.5.2

Connexit par arcs


D FINITION II.5.4. 1. On dit quun espace topologique est connexe par arcs si, tant donns deux points et de , il existe et . On dit quune partie de est une application continue de dans telle que connexe par arcs si le sous-espace correspondant est connexe par arcs. 2. On dit quun espace topologique est localement connexe par arcs si, tout point admet une base de voisinages connexes par arcs. P ROPOSITION II.5.10. Tout espace topologique connexe par arcs est connexe.
Dmonstration. Supposons o et sont deux ouverts non vides disjoints. Soit et ; par hypothse, il existe une fonction continue de dans telle que et . Soit t q . On ne peut pas avoir car est continue ; on a donc . Dautre part, pour la mme raison, on ne peut avoir ni ni ce qui est une contradiction.

20

Licence de Mathmatiques Pures de Bordeaux

II.6. PRODUIT DESPACES TOPOLOGIQUES ET DESPACES MTRIQUES

Remarque II.5.2. Comme il a t dit dans la remarque de la sous-section prcdente, la connexit par arc nimplique pas la locale connexit. Exemple II.5.3. Soit le graphe, dans de la fonction , pour . est videment connexe par arcs, donc connexe, et par suite (Proposition II.5.3), est connexe. Or on voit facilement que est la runion du graphe de la fonction et de lintervalle de laxe des ordonnes ; on constate alors que nest pas connexe par arcs (le graphe natteint jamais laxe des ordonnes).

Cet exemple montre que la rciproque de la proposition ci-dessus est fausse.

P ROPOSITION II.5.11. Soient et deux espaces topologiques, une partie connexe par arcs de de dans . Alors est connexe par arcs.
Cette proposition est immdiate.

et

une application continue

P ROPOSITION II.5.12. Soit un espace topologique. La relation dnie entre deux lments de par il existe un chemin continu dans qui joint est une relation dquivalence. Les classes pour cette relation sont appeles les composantes connexes par arcs de . La classe dquivalence contenant un lment est appele la composante connexe par arcs de .

Le fait que, dans cette Proposition, soit une relation dquivalence se vrie en utilisant linverse dun chemin continu (i.e. parcouru dans le sens inverse) et la juxtaposition de deux chemins.

P ROPOSITION II.5.13. Un ouvert de est connexe si et seulement si il est connexe par arcs.
Dmonstration. En effet, soit un ouvert connexe de . Soit un point de , et soit lensemble des points de qui peuvent tre joints par un chemin continu contenu dans . Toute boule de tant connexe par arcs, est ouvert ; dautre part, si , et si , alors, pour la mme raison . Ceci montre que est la fois ouvert et ferm dans ce qui termine la preuve.

SECTION II.6

Produit despaces topologiques et despaces mtriques


D FINITION II.6.1.

Soit

une famille quelconque despaces topologiques et soit

. Soit la famille de parties de dnies comme tant les runions quelconques densembles de la forme , o est un ouvert de et sauf pour un nombre ni dindices . Alors est une topologie sur appele la topologie produit des topologies des . muni de cette topologie sappelle lespace topologique produit des et se note .
En effet, la seule chose vrier est que lintersection de deux ensemble de la forme

le produit des ensembles

sauf pour un nombre ni dindices , est encore de la mme forme, ce qui est vident. Cette dnition a pour consquence immdiate la description suivante des voisinages des points pour la topologie produit :

, o

est un ouvert de

et

21

CHAPITRE II. ESPACES MTRIQUES

P ROPOSITION II.6.1. Soient une famille despaces topologiques et le produit de ceux-ci. Soit un point de . Alors les ensembles de la forme o est voisinage de et sauf pour un nombre ni dindices , forment une base de voisinage de .
Exemple II.6.1. Soient un ensemble et un espace topologique. Soit lensemble des applications de dans . avec (i.e. on identie une fonction avec lensemble des valeurs quelle prend). Alors la topologie produit sur Identions sappelle la topologie de la convergence simple sur . Lespace topologique ainsi obtenu se note parfois . A titre dexercice, on pourra crire explicitement une base de voisinages dune fonction intuitivement cette terminologie. Remarque II.6.1. Si pour cette topologie pour comprendre


alors

). Alors,

est continue de

est le produit des espaces topologiques dans .

, on peut considrer les projections canoniques (i.e.

Ceci est une consquence facile de la dnition et du fait que, si

avec

si

ouvert de

P ROPOSITION II.6.2. Soient lespace topologique produit dune famille despaces , un espace topologique et cation de dans . Alors est continue si et seulement si les applications sont continues.
Dmonstration. Ceci sobtient facilement par la remarque ci-dessus et le Thorme II.4.1, page 15.

une appli-

La topologie produit est en fait dnie de sorte que cette proposition soit vraie (i.e. la topologie produit est la moins ne rendant continues les projections).

P ROPOSITION II.6.3. Soient et distances

deux espaces mtriques de distances respectives

et

. Alors, sur

les trois

et


muni de lune de ces distances sappelle lespace m-

sont quivalentes et dnissent la topologie produit. trique produit de et .

Dmonstration. Le fait que ces distances sont quivalentes est trs simple. Vrions que dnit la topologie produit. Soit un point de . Alors, pour , la boule ouverte de centre et de rayon est le produit des boules ouvertes de centres et de rayon dans chaque . Toute runion de boules ouvertes pour est donc un ouvert pour la topologie produit et la rciproque sobtient tout aussi immdiatement. Un produit inni despaces mtriques nest pas, en gnral un espace mtrique. Toutefois :

P ROPOSITION II.6.4. Un produit dnombrable despaces mtriques dnie par la distance donne par la formule

, est un espace mtrique dont la topologie est


o dsigne la distance de ,

et .

Dmonstration. Soit une boule ouverte pour . Puisque la srie est convergente, il existe tel que, contiennent lensemble des tels que pour . On dduit facilement le rsultat de cette remarque. La proprit suivante est immdiate : 22 Licence de Mathmatiques Pures de Bordeaux

II.7. ESPACES MTRIQUES COMPLETS

P ROPOSITION II.6.5. Soient un espace mtrique et une application de un espace mtrique produit, Pour que soit uniformment continue, il faut et il suft que les fonctions , le soient.

dans

La description faite ci-dessus de la topologie produit montre que, la plupart du temps, pour vrier une proprit sur un espace produit il suft de la vrier sur chacun des facteurs. La proposition suivante est une liste de telles proprits et la dmonstration en est laisse au lecteur :

P ROPOSITION II.6.6. Soient et deux espaces mtriques et leur produit. 1. Pour quune suite soit convergente, il faut et il suft que les suites et le soient. 2. Pour que soit un espace de lun des types suivants - born ; - sparable, - connexe, - localement connexe, il faut et il suft que et soient tous deux du mme type.

SECTION II.7

Espaces mtriques complets


SOUS-SECTION II.7.1

Suites de Cauchy, espaces mtriques complets


D FINITION II.7.1. Soit un espace mtrique. On dit quune suite dans . que, implique

est de Cauchy si

, il existe

tel

On notera que cette notion fait appel la distance de ce nest pas une notion topologique. Ainsi elle nest pas ncessairement stable si on remplace la distance de par une distance topologiquement quivalente (c.f. Exemple 3), mais elle lest si on la remplace par une distance quivalente.

P ROPOSITION II.7.1. Soit un espace mtrique. 1. Toute suite convergente dans 2. Si une suite de Cauchy dans
donc deux entiers et tels que alors, pour , .

est de Cauchy. possde une valeur dadhrence alors elle est convergente.

Dmonstration. Le 1. est vident, vrions le 2. Soit de Cauchy et

et

impliquent

extraite telle que et . Si

. Soit

; il existe , on a

D FINITION II.7.2. Un espace mtrique

est dit complet si toute suite de Cauchy de

est convergente.

P ROPOSITION II.7.2. Soit un espace mtrique et un sous-espace. Si est ferm si et seulement si il est complet.

est complet, il est ferm dans

. Si

est complet,

Ceci est immdiat. La proposition suivante se montre directement partir des dnitions (c.f. Proposition II.6.6, page 23) :

23

CHAPITRE II. ESPACES MTRIQUES

P ROPOSITION II.7.3. Soient et deux espaces mtriques. Alors lespace mtrique produit est complet si et seulement si les espaces et sont tous deux complets. De mme, un produit dnombrable despaces mtriques (c.f. Proposition II.6.4, page 22) est complet si et seulement si chaque facteur est complet. D FINITION II.7.3. Soient et deux espaces mtriques, note , le diamtre de :

. On appelle oscillation de dans , et on

Soit


par rapport le nombre
voisinage de

. On appelle oscillation de

au point

P ROPOSITION II.7.4. Soient et

deux espaces mtriques. On suppose que est complet. Soient

et

. Pour que

par rapport

existe, il faut et il suft que loscillation de (c.f. Dnition II.4.7). C OROLLAIRE . Dans les conditions de la Proposition, pour que dlments de ,

au point

soit nulle, et de mme pour

existe, il faut et il suft que, pour toute suite , qui converge vers , la suite soit de Cauchy dans .

Dmonstration. La condition est bien sr ncssaire. Pour voir quelle est sufsante, on raisonne par labsurde : si la limite nexiste pas, il existe une suite dans qui converge vers telle que la suite ne converge pas. Comme est complet cela implique que nest pas de Cauchy.

P ROPOSITION II.7.5 (Proprit de Cantor ). Soit un espace mtrique complet. Soit une suite de sous-ensembles ferms non vides de sante au sens de linclusion et telle que le diamtre de vrie

dcrois-


Alors lintersection des est exactement un point.
Dmonstration. En effet, pour tout soit Cauchy et donc converge vers puisque

. La dcroissance et la proprit sur le diamtre impliquent que la suite est de est complet. Puisque pour tout , il en rsulte que son diamtre est nul,

ce qui termine la preuve.

Remarque II.7.1. ATTENTION : si est une suite dcroissante de ferms dun espace mtrique complet dont le diamtre dans . Cela peut aussi ne tends pas vers zro, il se peut que lintersection des soit vide : cest le cas par exemple de se produire avec une suite dcroissante de ferms borns (c.f. Exemple 2, page 26).

P ROPOSITION II.7.6. Soit un espace topologique. Les conditions suivantes sont quivalentes : (i) Toute intersection dnombrable douverts denses est dense. (ii) Toute runion dnombrable de ferms dintrieurs vides est dintrieur vide. (iii) Tout ensemble ouvert non vide est non maigre (Dnition II.1.7, page 9). (iv) Le complmentaire dun ensemble maigre est dense. (v) Toute suite de ferms vriant

est telle que

est dense.

24

Licence de Mathmatiques Pures de Bordeaux

II.7. ESPACES MTRIQUES COMPLETS

Dmonstration. (i) et (ii) sont quivalents par passage au complmentaire, (ii) implique clairement (iii) qui implique tout aussi facilement (iv). Voyons que (iv) implique (v) : si

comme il existe tel que . Comme est rare, la runion de ces ensembles est maigre, ce qui , on a montre (v). Reste voir que (v) implique (i). Soit une suite douverts denses. Clairement lhypothse implique que nest pas maigre (sil est non vide) et, par suite, la runion des complmentaires des ne peut tre gale cest--dire que lintersection des est non vide. Si on remarque que tout ouvert de vrie automatiquement la proprit (v) (en effet, si , , est une suite de ferms dun ouvert de dont la runion des intrieurs (dans ) est dense dans , on a , , o est un ferm , on obtient une suite , , de ferms de dont la runion des intrieurs (dans ) est dense dans de , et, en posant , ce qui implique que

est dense dans , do le rsultat), le raisonnement ci-dessus donne aussitt la conclusion. Les proprits introduites dans la Proposition prcdente se justient par le Thorme essentiel suivant :

T HORME II.7.1 (Thorme de Baire ).


Un espace mtrique complet vrie les conditions quivalentes de la Proposition II.7.6 ci-dessus.
Dmonstration. Dmontrons ce thorme sous la forme de lassertion sur les ferms. Soit donc une suite de ferms dintrieurs vides de et montrons que le complmentaire de rencontre toute boule ouverte. Soit une telle boule. Puisque

, et ainsi de suite, on construit une suite dcroissante de boules ouvertes de rayons tendant vers zro et telles que

est dense et ouvert il contient une boule ouverte de rayon dadhrence contenue dans . De mme , donc , contient une boule ouverte de rayon dadhrence contenue dans . En recommenant de mme avec et
et

La Proposition II.7.5 montre que lintersection des contient un point, qui, par construction, est dans le complmentaire de la runion des , ce qui termine la preuve. Remarque II.7.2. Limportance de ce Thorme a entran lutilisation de nombreuses terminologies. 1. Une intersection dnombrable douverts denses sappelle un et une runion dnombrable de ferms dintrieurs vides un . Un sous-ensemble maigre (Dnition II.1.7, page 9) dun espace topologique est contenu dans un . 2. Un espace mtrique est dit de premire catgorie de Baire sil est runion dnombrable de sous-ensembles dont les adhrences sont dintrieurs vides. Dans le cas contraire, il est dit de seconde catgorie de Baire. Le Thorme de Baire implique donc quun espace mtrique complet est de seconde catgorie de Baire. Ce Thorme a de nombreuses applications non videntes en analyse. Les deux Propositions suivantes en sont des exemples trs classiques. La premire, que nous utiliserons au chapitre suivant, est parfois appele le principe de la borne uniforme et la seconde est connue sous le nom de Thorme de Sunyer et Balaguer (une autre application tout aussi classique est le rsultat de lexercice I page 95) :

P ROPOSITION II.7.7. Soient un espace mtrique complet (ou un espace de Baire) et de dans . Si

une famille de fonctions continues

alors, pour tout ouvert de

il existe un ouvert non vide contenu dans tel que

Dmonstration. Il suft de dmontrer le rsultat avec quitte lappliquer ensuite une boule ferme de . Soit . ferm, comme intersection de ferms, et par hypothse. Daprs le thorme de Baire,

il existe tel que soit dintrieur non vide ce qui est le rsultat cherch.

25

CHAPITRE II. ESPACES MTRIQUES

P ROPOSITION II.7.8. Soit une fonction de dans lui-mme de classe . On suppose que, pour tout , il existe un entier (dpendant priori de !) tel que , o dsigne la drive -ime de . Alors est un polynme.
Dmonstration. Soit lensemble des points de au voisinage desquels il existe une drive de qui est identiquement nulle. Il est clair que est un ouvert. Si lon montre que alors la dmonstration est termine en vertu de la remarque suivante : Soit un intervalle ouvert (born ou non) contenu dans . Alors il existe un entier tel que est identiquement nulle sur . On peut bien sr supposer non vide. Soit un point de . Par hypothse, il existe un entier et un intervalle ouvert contenant sur lequel sannule. Soit le plus grand intervalle ouvert contenant et contenu dans sur lequel sannule. Supposons : par exemple, . Par continuit, pour tout entier , . Par ailleurs ; il existe un entier tel que est identiquement nulle au voisinage de . Alors la formule de Taylor-Young applique en un ordre sufsament grand montre que est un polynme de degr au voisinage de ce qui contredit la dnition de . Soit maintenant . Comme est ferm, cest un espace mtrique complet. Remarquons tout dabord que ne possde pas de points isols : en effet, si tait isol dans , il existerait tel que les intervalles et seraient contenus dans , et, daprs ce qui prcde il existerait une drive de identiquement nulle sur ces deux intervalles ce qui implique . Appliquons maintenant le Thorme de Baire . Soit tels que . Les sont des ferms de , et, par hypothse, est runion des . Le Thorme de Baire implique donc quil existe tel que est dintrieur non nul (dans bien sr). En dautres termes, il existe et . tel que est nulle sur Remarquons maintenant que, en tout point de , on a , pour tout entier . En effet, comme na pas de points isols, est limite dune suite innie de points de . En appliquant le Thorme de Rolle entre deux points de cette suite, on conclut quil existe une suite innie de points qui converge vers et sur lesquels sannule. En rptant ce procd, par rcurrence, pour tout entier , on produit une suite innie qui converge vers sur laquelle sannule. Ceci prouve notre assertion par continuit. Comme est un ouvert, cest une runion dnombrable dintervalles douverts deux deux disjoints (Proposition II.5.8, page 20). Pour chacun de ces intervalles , il existe un entier tel que est nulle sur . Alors, en appliquant la formule de Taylor en un ordre sufsament lev, on conclut que est un polynme de degr sur . Il en rsulte que est identiquement nulle sur ce qui contredit le fait que et termine la preuve. C.Q.F.D.

Il existe des espaces topologiques (non ncessairement mtriques (c.f. Proposition II.8.22, page 37)) qui vrient les conclusions du Thorme de Baire. Ceci a amen introduire la terminologie suivante :

D FINITION II.7.4. On dit quun espace topologique est de Baire sil vrie les conclusions du Thorme de Baire, cest-dire les proprits quivalentes de la Proposition II.7.6. P ROPOSITION II.7.9. Tout ouvert dun espace topologique de Baire est de Baire.
Dmonstration. Supposons donc que est un ouvert dun espace de Baire les sont denses (dans dense dans ) dans et si , et soit une suite douverts denses de . Alors . Par hypothse,

, est dense dans

ce qui implique que

est dense dans .

est

SOUS-SECTION II.7.2

Exemples despaces mtriques complets


1. muni de la distance euclidienne est un espace mtrique complet. En effet, cela rsulte facilement du fait que est complet (Thorme I.1.3 page 2), car si on a une suite de Cauchy dans , les suites coordonne par coordonne sont de Cauchy dans (Proposition II.7.3). 2. Les espaces et (c.f. Exemple 1, page 12) sont des espaces mtriques complets. De plus, lespace (resp. ) form des suites de (resp. ) qui tendent vers zro linni est un sous-espace ferm donc un espace mtrique complet. Lespace fournit un exemple trs simple dune suite dcroissante de sous-ensembles borns ferms dont lintersection est vide (alors quil est complet) : soit llment de cet espace dont la -ime coordonne vaut (symbole de Kronecker qui signie si et sinon. Soit alors ; il est clair que les sont borns et que leur intersection est vide ; enn ils sont ferms car ne peut contenir aucune suite de Cauchy (innie) puisque la distance de est gale si . 26 Licence de Mathmatiques Pures de Bordeaux

II.7. ESPACES MTRIQUES COMPLETS

3. Sur

4.

est une distance qui dnit la topologie usuelle de ( est un homomorphisme de sur . Toutefois nest pas complet pour : les suites et sont de Cauchy pour mais ne convergent pas. Exemple 2, page 12, lensemble des applications dun ensemble dans un espace mtrique complet muni de la distance de la convergence uniforme est complet. En effet, si est une suite de Cauchy de fonctions pour la convergence uniforme, alors, pour tout , est de Cauchy dans et donc converge, et on conclut facilement.

, lapplication

5.

lespace mtrique des fonctions continues de 6. Soient un espace topologique et un espace mtrique. On note muni de la distance de la convergence uniforme (Exemple 3, page 12). Si est complet alors est aussi dans complet. En effet, on vrie sans peine quune limite uniforme de fonctions continues est continue.
7.

(Exemple 3, page 12) est un espace mtrique complet car une limite uniforme de fonctions bornes est borne et, si est une suite de Cauchy de fonctions bornes pour la convergence uniforme, alors la limite est une fonction borne. Plus gnralement, lespace des fonctions bornes dun ensemble dans un espace mtrique complet muni de la mtrique de la convergence uniforme est complet.

(Exemple 5, page 13) est un espace mtrique complet. En effet, si est de Cauchy dans cet espace, la suite converge uniformment sur , et, comme converge, un thorme nous dit que converge uniformment vers une fonction drivable dont la drive est la limite des .

8. LExemple 6, page 13, fournit un espace mtrique non complet. En effet, pour simplier les notations, supposons considrons la suite de fonctions continues dnie par

et

sur sur

Cette suite est bien de Cauchy car suite converge vers une fonction continue

ce qui signie que

, si

. Supposons donc que cette

La seconde condition donne

et

sur , et comme,

ce qui entrane (puisque


est continue)

est

ce qui prcde montre que continue.

et, par suite,

sur ce qui conduit une contradiction puisque

9. Un exemple dapplication du Thorme de Baire est le suivant : soit un segment

une fonction positive intgrable au sens de Riemann sur

telle que

. Les ensemble

du Thorme II.7.1 que leur runion lest aussi et contient

, , sont videmment dintrieurs vides, et il rsulte .

SOUS-SECTION II.7.3

Thormes de prolongement
P ROPOSITION II.7.10. Soient et deux espaces mtriques et et deux applications continues de dans . 1. Lensemble des tels que est ferm dans . 2. Pour que il faut et il suft que lensemble des tels que soit dense dans . 3. Supposons que . Alors lensemble des tels que est ferm dans . 4. Supposons encore . Pour que il faut et il suft que lensemble des tels que soit dense dans .
La vrication de cet nonc est vidente.

27

CHAPITRE II. ESPACES MTRIQUES

P ROPOSITION II.7.11. Soient et deux espaces mtriques, un sous-ensemble dense de et une application de dans . Pour quil existe une application continue de dans concidant avec dans il faut et il suft que, , existe dans . De plus lapplication est alors unique.
Dmonstration. Comme est dense dans , la condition est clairement ncessaire daprs la Remarque II.4.2, 3., page 17, applique . Supposons donc la condition satisfaite. On pose donc , . Lhypothse implique tout dabord que , et il reste voir que est continue. Soient et un voisinage ferm de dans . Par hypothse, il existe un voisinage ouvert de dans tel que . Puisque , , est la limite de par rapport cest aussi la limite de par rapport et, par suite .

P ROPOSITION II.7.12. Soient un espace mtrique, un sous-ensemble de dense dans un espace mtrique complet et une application uniformment continue de dans . Alors se prolonge de manire unique en une application uniformment continue de dans .
Dmonstration. En vertu de la Proposition prcdente et de la Proposition II.7.4, page 24, il suft de voir que loscillation de rapport en un point quelconque de est nulle ce qui rsulte aussitt de lhypothse de continuit uniforme. par

T HORME II.7.2 (Thorme de Tietze-Urysohn ).


Soient un espace mtrique,
. Alors il existe une fonction continue

et

une partie ferme de et une application continue borne de dans de dans qui concide avec dans et qui est telle que .

Dmonstration. Comme on peut supposer et . Posons

non constante, quitte la remplacer par

, on peut supposer

pour
pour

Lhypothse implique il reste donc seulement montrer que est continue. Comme g est continue sur par construction, montrons tout dabord quelle est aussi continue sur . Sur cet ensemble est non nulle et continue (Proposition II.2.2, page 10) et il faut donc voir que est continue en tout point de . Or, si , pour

, on a

donc

. De mme on a

ce qui donne le

rsultat. Reste voir la continuit en un point frontire de . Soit on a . Soit tel que . Si . Pour et , on a

comme

il vient

. Par la continuit de , il existe tel que pour , , on a ; supposons donc donc et

On a donc

ce qui montre bien que

et termine la preuve.

SOUS-SECTION II.7.4

Compltion dun espace mtrique


Au Chapitre I, nous avons construit de sorte que ce soit le plus petit espace mtrique contenant qui soit complet. Ce procd de compltion est gnral : 28 Licence de Mathmatiques Pures de Bordeaux

II.7. ESPACES MTRIQUES COMPLETS

T HORME II.7.3.
Soit un espace mtrique. Il existe un espace mtrique complet tel quil existe une isomtrie de dans telle que soit dense dans (existence du complt). De plus si est un autre espace mtrique complet pour lequel il existe une isomtrie de dans telle que soit dense dans alors et sont isomtriques (unicit du complt).
Dmonstration. Vrions tout dabord lunicit. est une isomtrie de dans et se prolonge dont en une isomtrie de dans (Proposition II.7.12, page ci-contre). De mme se prolonge en une isomtrie de dans . Ces deux isomtries sont inverses lune de lautre car ceci est vrai si on les considre comme applications entre et (unicit de la Proposition II.7.12). Dmontrons maintenant lexistence. Considrons lespace mtrique complet (Exemple 6, page 27) et notons la distance sur . Considrons lapplication de dans dnie par . Alors lingalit avec triangulaire

montre que, pour et dans , . Soit ladhrence de dans . Comme nous venons de le voir, pour tous et dans , ; par suite, pour toutes et dans , on vrie sans difcults que lon a aussi , et . On pose alors, pour et dans comme les boules de rayons plus petits que sont les mme que pour , muni de est un espace mtrique complet qui rpond la
question.

SOUS-SECTION II.7.5

Thormes du point xe
Rappelons que lon dit quune application dun ensemble dans lui-mme a un point xe sil existe Le thorme classique suivant est un rsultat dexistence dans le cadre des espaces mtriques complets.

tel que

T HORME II.7.4 (Thorme du point xe classique ).

Soient un espace mtrique complet et une application de dans lui mme telle quil existe tel que, pour tous et dans , on a (on dit alors que est strictement contractante ou lipschitzienne de rapport ). Alors admet un unique point xe.

Dmonstration. Soit

un point de , , et, par suite

et, pour tout entier

posons

Lhypothse faite sur

implique


. Comme

Ceci montre que la suite est de Cauchy et donc converge vers bien . Ceci achve la preuve, lunicit tant vidente.

, et comme

est continue, on a

C OROLLAIRE . Soit une application dun espace mtrique complet dans lui mme telle quil existe et un entier tels que (itre fois de ) soit strictement contractante de rapport . Alors admet un unique point xe.
Dmonstration. Par le Thorme prcdent, il existe tel que . Alors . Lunicit du Thorme prcdent montre donc que . ce qui signie que est point xe de

On notera que lhypothse du corollaire nimplique pas, en gnral, que est continue.

P ROPOSITION II.7.13. Soient un espace mtrique complet, un espace topologique et une application de dans telle quil existe tel que, pour tous et dans , et tout , on a . Sup-

29

CHAPITRE II. ESPACES MTRIQUES

posons que, pour tout la fonction est une fonction continue de


Dmonstration. En effet, si est un point de , on a

soit continue. Alors lunique point xe .

de lapplication


do on dduit

et la conclusion en dcoule aussitt. Un des plus clbre thormes de point xe est le thorme suivant dont la dmonstration, assez difcile, dpasse quelque peu le cadre de ce cours :

T HORME II.7.5 (Thorme du point xe de Brouwer ).

Toute fonction continue de la boule unit ferm euclidienne de dans elle-mme admet un point xe.

Il ny a videment pas dunicit dans cet nonc. Dans le cas la preuve est toute simple. Pour , les choses sont toutes diffrentes et la preuve dpasse le niveau Mathmatique abord ici : la plus simple est base sur la gomtrie diffrentielle. Nous ne la donnons ici qua titre documentaire.
Dmonstration. Soient la boule unit euclidienne ferme de et une application continue de dans elle mme. Considrons tout dabord le cas o est de classe (i. e. indniment drivable) et raisonnons par labsurde : nous allons construire, sous lhypothse que na pas de point xe, une fonction de dans , de classe , telle que et ce qui est absurde. Puisque na pas de point xe, la droite qui joint un point de et coupe la sphre unit en deux points. Pour tout , considrons donc la plus grande racine de lquation (en ) Par suite, ce qui donne . Par ailleurs, si , , le thorme dinversion locale montre que est un diffomorphisme au voisinage de ce qui est absurde puisque appartient la sphre unit pour tout . Par consquent, on a , , et, par suite, . Calculons maintenant . Par drivation sous le signe intgral, on a

 
 

dsigne la norme euclidienne et montrons que . Cette quation scrit o est le polynme

est

Par ailleurs, en utilisant la multilinarit du dterminant, un calcul fastidieux mais sans difcults montre que

Le discriminant de ce polynme est

 
 
, o, par convention, lcri-

Si car, dans le cas contraire, par le Thorme de Pythagore, on aurait

, on a ; si , on ne peut avoir

avec ture

 

 

 

signie que le terme correspondant ny est pas.

puisque na pas de point xe. Ainsi, dans tous les cas on a implique que la fonction

est

Soit


la fonction dnie par
par

. Ceci

Considrons alors la forme diffrentielle

avec la mme convention de notation que prcdemment. Comme

 

et dnissons la fonction

o, en notant

 

,  

  .

le calcul prcdent et la formule de Stokes montrent que

 dsigne la sphre unit. Or, si , , et donc , ce qui implique et ainsi . Ceci termine la  dmonstration

, o

dsignant le vecteur colonne Pour

 
30

, on a

 

 

lorsque est . Considrons maintenant le cas gnral dune fonction continue de dans elle mme. Daprs le Thorme de Weierstrass, il existe une suite de fonctions de dans elle mme qui converge uniformment vers sur . Ce qui prcde montre que, pour tout , possde un point xe . Comme est compacte, la suite possde un point daccumulation qui est clairement un point xe pour . C.Q.F.D.

Licence de Mathmatiques Pures de Bordeaux

II.8. ESPACES COMPACTS

Espaces compacts
SOUS-SECTION II.8.1

SECTION II.8

Espaces topologiques compacts


D FINITION II.8.1. Un espace topologique est compact sil est spar (c.f. Dnition II.1.4, page 8) et si, de tout recouvrement de lespace par des ouverts (i.e. , ouvert de , ), on peut extraire un sous-recouvrement ni (i.e. il existe une partie nie de telle que ). En ternes de parties fermes, cette dnition signie que si , , est une famille de ferms de telle que est vide alors il existe une partie nie de telle que est vide, ou encore que, si pour toute partie nie , , alors . On dit quune partie de est compacte si le sous-espace topologique lest, et on dit que est relativement compacte si est compacte.
Clairement, il nest pas ncssaire de considrer des recouvrements par des ouverts de pour dnir une partie compacte :

dun espace topologique est compacte si et seulement si de tout recouvrement de Remarque II.8.1. Une partie ouverts de , on peut extraire un sous-recouvrement ni.
Dans toute la suite, et pour simplier, nous ne considrerons que des espaces spars.

par des

P ROPOSITION II.8.1. Soit un espace topologique spar et une partie de . Si est compacte alors elle est ferme. Si est compacte et si est ferme, alors est compacte. En particulier, tout sous-ensemble dune partie relativement compacte est relativement compacte.
Dmonstration. Supposons tout dabord compacte dans spar. Soit voisinages et , lun de lautre de , ne se rencontrant pas. Les ,

en extraire un sous-recouvrement ni

maintenant compact et ferme. Soit un recouvrement de par des ouverts (de ) ; pour chaque , il existe (par dnition de la topologie de c.f. Dnition II.1.4, page 9) ouvert de tel que ; alors la famille , , est un recouvrement de dont on peut, par hypothse, extraire un sous-recouvrement ni. On en dduit que lon peut extraire un sous-recouvrement ni de du recouvrement .

. Pour tout , puisque est spar, il existe deux forment un recouvrement de et on peut donc

. Comme

est un voisinage de , on en conclut que

. Supposons

P ROPOSITION II.8.2. Soient un espace topologique spar, une partie compacte de et . Alors, il existe deux ouverts disjoints et tels que et . De plus, si et sont deux compacts disjoints de , il existe deux ouverts disjoints et tels que et .
Dmonstration. Comme par un nombre ni de est spar, si , ,

, il existe deux ouverts disjoints et tels que et . Si on recouvre


, il suft de prendre
et

. La seconde assertion en rsulte, car

, daprs ce qui prcde, il existe deux ouverts disjoints et tels que nombre ni de , savoir , , il suft de prendre et

et , et, en recouvrant par un .

Dans un espace mtrique cette proprit est lmentaire, comme nous lavons dj vu (Proposition II.4.8, page 15).

P ROPOSITION II.8.3. Soient , deux espaces topologiques spars et partie compacte de . Alors, est compacte.

une application continue de

dans

. Soit

une

31

CHAPITRE II. ESPACES MTRIQUES


Dmonstration. En effet, soit un recouvrement de par des ouverts de . Alors est un recouvrement ouvert de (c.f. Thorme II.4.1, page 15) dont on peut extraire un sous-recouvrement ni. En prenant les correspondant au mme ensemble ni dindices, on obtient un recouvrement ni de .

C OROLLAIRE . Soient , deux espaces topologiques spars et compact alors est un homomorphisme.

une application continue bijective de

sur

. Si

Dmonstration. En effet, daprs le Thorme II.4.1, page 15, il suft de voir que si . Or ceci rsulte des Propositions II.8.1 et II.8.3.

est un ferm de

alors est ferm dans

P ROPOSITION II.8.4. Soient un espace topologique spar et une partie compacte de admet au moins un point daccumulation (qui est ncessairement dans ).

. Tout sous-ensemble inni de

Dmonstration. En effet, soit un sous-ensemble inni de . Si la conclusion de la Proposition tait fausse, puisque est spar, pour chaque , il existerait un voisinage ouvert de tel que . Comme est compact, on peut trouver , , tels que les forment un recouvrement de ce qui implique et contredit le fait que est inni.

La proposition suivante est lmentaire et la preuve est laisse au lecteur :

P ROPOSITION II.8.5. Pour un espace topologique spar, deux quelconques des proprits suivantes impliquent la troisiemme : 1. est compact ; 2. est homomorphe un espace discret ; 3. est ni. P ROPOSITION II.8.6. Soient deux espaces topologiques et un espace mtrique. Soit une application de dans . 1. Si, pour tout , la fonction est continue sur et si, la fonction est continue sur , uniformment par rapport (i.e. , , il existe un voisinage de dans tel que, , pour ) alors est continue sur . 2. Supposons compact. Si est continue sur alors la fonction est continue sur , uniformment par rapport (videment , la fonction est continue sur ).
Dmonstration. Le 1. est immdiat : en crivant

lhypothse donne aussitt la continuit en . Vrions le 2. Fixons existe et voisinages de et respectivement, tels que

. Par hypothse, pour tout

et tout , il


Recouvrons par un nombre ni de tels : , lintersection des .

pour

. Pour conclure il suft alors de prendre, comme voisinage de ,

T HORME II.8.1 (Thorme de Tychonoff ).


Un produit quelconque despaces topologiques compacts est compact.
Nous ne donnerons pas ici de dmonstration de ce Thorme. On peut montrer quil est quivalent laxiome du choix de la thorie des ensembles : du moins pour un produit quelconque non dnombrable, ce qui est le cas le plus intressant. Par exemple lespace des fonctions dun ensemble dans un espace topologique compact muni de la topologie de la convergence simple (c.f. Exemple II.6.1, page 22) est compact. Toutefois, nous donnerons une dmonstration de ce Thorme dans le cas dun produit dnombrable despaces mtriques la sous-section suivante (Proposition II.8.18, page 36).

P ROPOSITION II.8.7. Soient un espace topologique compact et une relation dquivalence sur lensemble . Alors lespace topologique est spar si et seulement si la relation est ferme. De plus, si ces conditions sont satisfaites, est compact.

32

Licence de Mathmatiques Pures de Bordeaux

II.8. ESPACES COMPACTS

Dmonstration. La dernire assertion est immdiate (Proposition II.4.10, page 16 et Proposition II.8.3, page 31). Dmontrons lquivalence. Supposons tout dabord lespace spar, et soit un ferm de , et posons . Si , pour tout , il existe, par hypothse, un voisinage ouvert de et un voisinage de tels que . tant la surjection est un ouvert de , et, lorsque parcourt , ces voisinages forment un recouvrement de canonique de sur , . Comme est compact, on peut trouver , , tels que les recouvrent . Alors, les forment un recouvrement de , et est un ouvert qui ne rencontre pas . Ceci montre que est ferm. Rciproquement, supposons que est ferme.

et . Alors, et sont deux compacts disjoints de Soient et deux points distincts de . Posons , par hypothse, et il existe donc deux ouverts disjoints et tels que et . Posons . est , donc un ferm de contenant et ne contenant pas . Alors, si, est un ouvert de contenant , ne rencontrant pas et tel que . En changeant les rles de et on construit de mme un ouvert contenant et tel que . Ceci termine la preuve car et sont deux ouverts de qui sparent et .

SOUS-SECTION II.8.2

Espaces mtriques compacts


D FINITION II.8.2. Soit un espace mtrique. On dit que est prcompact si, , il existe un recouvrement ni de . En dautres termes, sil existe un sous-ensemble ni de tel que des ensembles de diamtre pour tout . P ROPOSITION II.8.8. Tout espace mtrique prcompact est born et sparable.
Dmonstration. En effet, si est prcompact, il est clairement born, et, pour tout , il existe une partie nie , . Si , ce qui signie que . , on a

par

de

telle que

Remarque II.8.2. La Proposition prcdente montre que tout espace mtrique prcompact admet une base dnombrable pour sa topologie. Rciproquement :

P ROPOSITION II.8.9. Tout espace topologique compact admettant une base dnombrable douverts est mtrisable.
Dmonstration. Soit , , une base dnombrable douverts dun espace topologique compact , et notons la diagonale de . Tout voisinage dun point de contient un voisinage de la forme , et, comme est compact, tout voisinage de contient une runion nie densemble de la forme . Les runions nies de ces ensembles forment donc un systme fondamental , , de voisinages ouverts de . Remarquons de plus que les sont symtriques (dans le sens o quivaut ), et, quitte les remplacer par les , on peut supposer la suite dcroissante. De plus, tant compact, il possde une base de voisinages compacts (Proposition II.8.2, page 31), et, on peut supposer aussi . Remarquons maintenant que si et si est un voisinage de , alors il existe tel que implique : en effet, dans le cas contraire, les ensembles tels que formeraient une suite dcroissante de compacts non vides, donc dintersection non vide et il existerait tel que pour tout ce qui est absurde.

tels que tels que et . Voyons tout dabord que les , , forment une base de voisinages de . En effet, remarquons tout dabord que si , il existe deux voisinages ouverts et de et disjoints, et, par ce qui prcde, il existe tel que et impliquent ce qui est impossible. Par ailleurs, on a clairement , et, on voit facilement que est ferm. Alors, tant x, est une suite dcroissante de compacts qui, sil sont non vides, contiennent un point ce qui est impossible daprs ce qui prcde. Ainsi, quitte considrer une sous-suite de la suite , on peut supposer que . En rptant ventuellement le procd prcdent, on se ramne nalement au cas o la base , , de voisinages de est telle que les forment une suite dcroissante de voisinages symtriques tels que et . On dnit alors une fonction
Pour entier, notons

33

CHAPITRE II. ESPACES MTRIQUES

si et si Remarquons que est positive, symtrique et que , et quelle dnit la topologie de : en effet, pour , si est un voisinage de , alors, pour assez grand, nous avons dj vu que implique , et, par suite , pour assez petit, implique aussi ; inversement, la relation signie et comme ouvert, il existe un voisinage de tel que . Posons enn

si

sur

par

l tant pris sur toutes les suites nies , , telles que et . Il est clair que est un cart sur . Pour conclure, il suft donc de montrer lingalit suivante :

et on a

Pour le voir, xons et et montrons que si est une suite nie lments telle que Raisonnons par rcurrence sur . Pour

ceci est vident, supposons donc le rsultat vrai pour toute suite nie lments et montrons le pour une suite lments. Soit . Si , il ny a rien montrer. Supposons donc . , de sorte que Soit le plus petit entier tel que et (si ).

Lhypothse de rcurrence implique et,

, .

, et, comme


et

. Soit ,

le plus petit entier tel que

. On a donc

. ceci implique

donc

C.Q.F.D. Le Thorme suivant est une caractrisation fondamentale des espaces mtriques compacts :

T HORME II.8.2.
Pour un espace mtrique les conditions suivantes sont quivalentes : 1. est compact ; 2. Toute suite de points de admet une valeur dadhrence ; 3. est prcompact et complet.
2. Soit une suite dans et soit lensemble des points de cette suite ; si est Dmonstration. Vrions tout dabord que 1. ni, il ny a rien montrer, et , si est inni, cela rsulte de la Proposition II.8.4 et de la Proposition II.4.4, page 14. Dmontrons maintenant que 2. 3. La compltude de rsulte de la Proposition II.7.1, page 23, et, pour conclure, raisonnons par labsurde et supposons que nest pas prcompact. Alors, il existe tel que lon ne puisse pas recouvrir par un nombre ni de boules de rayon . On peut ainsi construire, par rcurrence, une suite dans telle que , , pour : en effet,

tant quelconque, si

est construit pour

ensemble. La suite ainsi construite ne peut videment pas avoir de valeur dadhrence. Dmontrons maintenant 3. 1. Pour simplier les notations nous pouvons supposer que le diamtre de (qui est born par hypothse) est infrieur (quitte multiplier la distance par un nombre positif convenable ce qui ne change rien aux hypothses 3. et 1.). Supposons que ne soit pas compact cest dire quil existe un recouvrement ouvert de dont on ne peut extraire aucun sous-recouvrement ni, et construisons, par rcurrence une suite de boules ouvertes , telle que, , , et ne peut tre recouverte par une sous-famille nie de la famille : convient par hypothse, et, si est construite pour , soit un recouvrement de par des boules de rayon (prcompacit) ; parmi les qui rencontrent , il y en a une qui ne peut pas tre recouverte par une sous-famille nie des (sinon pourrait ltre), et la rcurrence se poursuit. Par construction (et lingalit triangulaire) on a , do on dduit, pour ,

est non vide, par hypothse, et on prend dans cet

ce qui montre que est de Cauchy et donc converge vers . Or, il existe tel que , et, comme est un ouvert, il existe tel que . Si on a ce qui implique que, pour assez grand, et contredit la dnition des .
34 Licence de Mathmatiques Pures de Bordeaux

II.8. ESPACES COMPACTS

Une proprit trs utile des espaces mtriques compacts est la Proprit de Lebesgue :

P ROPOSITION II.8.10 (Proprit de Lebesgue ). Soient un espace mtrique compact et boule de rayon soit contenue dans lun des .

un recouvrement ouvert de

. Il existe

tel que toute

Dmonstration. En effet, puisque est un recouvrement de , , il existe et tels que . Les boules , , formant un recouvrement de , il existe un nombre ni de points , , tels que les boules , , forment un recouvrement de . Soit ; alors si , il existe tel que ce qui implique , ce qui donne la conclusion.

P ROPOSITION II.8.11. Dans un espace mtrique compact, toute suite qui ne possde quune seule valeur dadhrence converge vers celle-ci.
Dmonstration. En effet, dans le cas contraire, il existerait et une suite extraite de la suite initiale dont tous les lments seraient en dehors dune boule de rayon . Daprs le Thorme II.8.2, cette sous-suite aurait une valeur dadhrence qui serait une seconde valeur dadhrence de la suite initiale.

P ROPOSITION II.8.12. Toute application continue dun espace mtrique compact continue.

dans un espace mtrique

est uniformment

Dmonstration. En effet, si cela tait faux, il existerait , et deux suites et tels que et . Mais ceci est impossible car, par le Thorme II.8.2, une sous-suite de la suite converge vers , ce qui implique que converge elle aussi vers .

P ROPOSITION II.8.13. Dans un espace mtrique complet, tout ensemble prcompact est relativement compact.
Dmonstration. Si est prcompact, , peut tre recouvert par un nombre ni de boules fermes est de mme de qui est donc compact par le Thorme II.8.2 (et la Proposition II.7.2, page 23). de rayon et il en

P ROPOSITION II.8.14. Les parties relativement compactes de sont les parties bornes. Autrement dit une partie de est compacte si et seulement si elle est ferme et borne.
Dmonstration. La condition tant ncessaire, il faut voir quelle est sufsante. Daprs le Thorme II.8.1, il suft de le faire pour (car alors un cube ferm de est compact) et, alors, daprs le Thorme II.8.2, il suft de montrer quune partie borne de est prcompacte, et il suft de le faire pour un segment ce qui est vident.

P ROPOSITION II.8.15. Soient un espace mtrique compact non vide et une application continue de born et atteint des bornes (i.e. il existe et dans tels que et
Dmonstration. En effet, puisque

dans . Alors ).

est

est ferm born dans (Proposition II.8.3), et sont dans .

P ROPOSITION II.8.16. Soient un espace mtrique et une partie de . 1. est relativement compacte si et seulement si toute suite de points de possde une valeur dadhrence dans . 2. Si est compacte, les ensembles (c.f. Remarque II.2.3, page 10) forment un systme fondamental de voisinages de . 3. La runion de deux ensembles relativement compacts est relativement compacte. 4. Si et sont deux parties compactes disjointes, on a . 5. Si est compact et si est ferm et , il existe tel que .
Dmonstration. Le 1. rsulte immdiatement du Thorme II.8.2, vrions le 2. Soit un voisinage de ; puisque est continue et dans , son est atteint sur et est un nombre ; alors . Le 3. est vident, et le 4. se voit en notant que atteint son minimum sur qui est ncessairement . Enn, si le 5. tait faux, on aurait pour tout ; en prenant , on construirait ainsi une suite dlments de dont on pourait extraire une sous-suite convergente vers dans ce qui donnerait puisque est ferm.

35

CHAPITRE II. ESPACES MTRIQUES

P ROPOSITION II.8.17. Soient un espace mtrique et une partie compacte de . Alors est connexe si et seulement si pour tout couple de points de et pour tout , il existe des points , , tels que , , et .
Dmonstration. Montrons tout dabord que la condition est ncessaire (la compacit ninterviens pas ici). Soit x, et soit lensemble des points de pour lesquels la condition est vrie. Alors est non vide, videmment ouvert, et ferm car si , la boule contient un point de . Comme est connexe on a . Rciproquement, supposons que ne soit pas connexe et crivons o les sont des ouverts de disjoints non vides. Comme est ferm, les le sont aussi, et ce sont donc des compacts et la contradiction vient en prenant (4. de la Proposition prcdente).

Nous savons dj quun produit quelconque despaces compacts est compact : cest le Thorme de Tychonoff que nous navons pas dmontr. Dans le cas dun produit dnombrable despaces mtrique, la preuve est beaucoup plus simple :

P ROPOSITION II.8.18. Soit une famille dnombrable despaces mtriques compacts. Alors le produit des sition II.6.4, page 22) est compact.

(c.f. Propo-

Dmonstration. La preuve de ce rsultat utilise une mthode importante et souvent utile appele le procd diagonal. Daprs le Thorme II.8.2, il nous faut montrer que si est une suite dans , on peut extraire de une sous-suite convergente.

Notons la -me coordonne de . Puisque est compact, on peut extraire de une sous-suite telle que une sous-suite telle que soit convergente, de soit convergente dans . De mme, on peut extraire de sorte que et sont toutes deux convergentes. En procdant ainsi de suite par rcurrence, on construit telle que, pour , soit convergente dans . Alors la suite est telle que, pour tout , converge dans , ce qui montre que converge dans .

SOUS-SECTION II.8.3

Espaces localement compacts


D FINITION II.8.3. On dit quun espace topologique compacts.

est localement compact si tout point de

admet une base de voisinages

Dans le cas des espaces mtriques, cette dnition signie que, pour tout compacte.

, il existe

, tel que, pour

, est

P ROPOSITION II.8.19. Soit un espace topologique dont tout point admet un voisinage compact. Soit un compact de et un ouvert de contenant . Alors il existe un ouvert tel que soit compact et . En particulier, est localement compact.
Dmonstration. Si , il suft de recouvrir par un nombre ni de voisinages compacts de points de ce qui est possible puisque est compact. Ceci implique, dans tous les cas, que est contenu dans un ouvert relativement compact. Supposons et soit . Daprs la Proposition II.8.2, page 31, pour tout , il existe un ouvert contenant tel que . Alors les ensembles , , forment un famille de ferms dans un espace compact dont lintersection est vide. Elle possde donc une sous-famille nie , , dintersection vide. Il suft donc de prendre .

P ROPOSITION II.8.20. Soit un espace mtrique localement compact. 1. Tout sous-espace ouvert et tout sous-espace ferm est localement compact. 2. Soit une partie compacte de . Il existe tel que (Remarque II.2.3, page 10) soit relativement compact.
Dmonstration. Le 1. est vident, vrions le 2. Pour tout forment un recouvrement de voisinage compact de 36

, il existe voisinage compact de . Les intrieurs de ces voisinages

dont on peut extraire un sous-recouvrement ni. On a ainsi ,

, tels que

. Il suft dappliquer alors la Proposition II.8.16. Licence de Mathmatiques Pures de Bordeaux

est un

II.8. ESPACES COMPACTS

P ROPOSITION II.8.21. Soit un espace mtrique localement compact. Les conditions suivantes sont quivalentes : 1. il existe une suite croissante douverts relativement compacts dans tel que ; 2. est runion dnombrable de sous-ensembles compacts ; 3. est sparable.
Dmonstration. Clairement implique 2. Si

et

et donc aussi. Montrons maintenant que 3. implique 1. Daprs la Proposition II.2.7, page 11, possde une base dnombrable pour sa topologie ; pour tout , si est un voisinage compact de , il existe tel que , ce qui montre que lon peut supposer que les sont relativement compacts. On dnit alors les par rcurrence de la manire suivante : , et, tant dni, est la runion de et de avec convenablement choisi grce la Proposition II.8.20.

avec compact alors chaque est sparable (Proposition II.8.8, page 33)

On remarquera quun espace mtrique vriant la condition 1. de la proposition est ncessairement localement compact.

P ROPOSITION II.8.22. Tout espace topologique localement compact est un espace de Baire.
Dmonstration. La dmonstration est identique celle du Thorme de Baire (Thorme II.7.1, page 25) : il suft de remplacer les boules construites par rcurrence par des voisinages compacts ce qui est possible par hypothse. On obtient ainsi une suite dcroissante

de compacts non vides contenus dans .

. On conclut en utilisant le fait que, par dnition de la compacit,

T HORME II.8.3 (Thorme de Tietze-Urysohn ).

Soit un espace topologique localement compact. Soient un sous-ensemble compact de et un ouvert contenant . Alors, il existe une fonction continue de dans telle que et .

Dmonstration. Daprs la Proposition II.8.19, page prcdente, il existe un ouvert relativement compact tel que . Construisons alors une fonction continue de dans telle que et ( rpond ainsi la question). Pour cela, montrons quil existe une famille douverts , , de vriant les conditions suivantes : (i) ; (ii) ; (iii) pour , on a .

Construisons tout dabord les lorsque est un nombre dyadique cest--dire de la forme , . Raisonnons par rcurrence sur . Pour , on pose , et, daprs la Proposition II.8.19, il existe un ouvert relativement compact tel que . Supposons les construits pour et . Pour dnir les , il nous suft de dnir les , et comme tout rel en posant

(iii). On dnit alors la fonction par si et, si , tels que il suft de voir que est continue. Soit et . Sparons trois cas : . Soit assez petit de sorte que . Alors, par dnition de , de sur lequel est comprise entre et , ce qui montre la continuit de en . . Dans ce cas, , , est un voisinage de sur lequel est comprise entre et . . De mme, pour , est un voisinage de sur lequel est comprise entre

dyadique

, il suft de rappliquer la Proposition II.8.19. On dnit alors pour . Clairement (i) et (ii) sont satisfaites et la densit des nombres dyadiques implique

. pour terminer la preuve,


et .

est un voisinage

SOUS-SECTION II.8.4

Compactication dun espace


Comme pour la notion de compltude, on cherche ici a raliser un espace topologique comme un sous-espace dense dun espace topologique compact. Pour que cela soit possible, il faut faire des hypothses sur lespace de dpart. Nous donnerons ici deux exemples de ce type.

37

CHAPITRE II. ESPACES MTRIQUES

P ROPOSITION II.8.23 (Compacti dAlexandrov ). Soit un espace topologique localement compact non compact. Il existe un espace topologique compact tel que soit un sous-espace dense de tel que soit rduit un point. Ce point est dit point linni. De plus, si est un espace topologique compact tel que : (i) il existe qui est un homomorphisme de sur , (ii) est rduit un point, (iii) est dense dans , alors et sont homomorphes.
Dmonstration. Dnissons formellement

et

. Si est la topologie de , on dnit celle de ouvert de compact de

par

est bien une topologie car

et sa restriction est . Enn, est bien dense dans car un voisinage de contient, par dnition, le complmentaire dun compact de et que ce dernier ne peut tre vide puisque nest pas compact par hypothse. Lunicit de ce compacti se voit facilement, car, si est linjection de dans , est un homomorphisme de sur . Si , on pose , et il faut vrier que ainsi prolonge est un homomorphisme de sur cest--dire quelle est continue en est un compact contenu dans , donc (Corollaire de la Proposition II.8.3, page 31). Or, si est un voisinage ouvert de , est compact dans , ce qui montre que

est un voisinage de

dans

Pour donner lautre exemple classique de compacti, il nous faut introduire une nouvelle terminologie :

D FINITION II.8.4. On dit quun espace topologique est compltement rgulier si tant donn et contenant pas, il existe une application continue de dans nulle en et valant sur .

un ferm ne le

On notera quun espace mtrique est toujours compltement rgulier daprs le Thorme de Tietze-Urysohn (Thorme II.7.2, page 28).

P ROPOSITION II.8.24 (Compacti de Stone-Cech ).


Soit un espace topologique compltement rgulier. Il existe un espace topologique compact soit homomorphe un sous-espace dense de . tel que

Dmonstration. Soit muni de la topologie de la convergence simple (c.f. Exemple II.6.1, page 22) qui en fait un espace compact daprs le Thorme de Tychonoff (Thorme II.8.1, page 32). La dnition de la topologie de la convergence simple montre facilement que lapplication dnie par avec , est continue, et, lhypothse de rgularit de lespace implique que est injective (si et sont deux points distincts, il existe une fonction continue de dans telle que ), et, par suite, est une bijection continue de sur . De plus, lhypothse de rgularit implique aussi que cette bijection est bicontinue (nous laissons cette dmonstration en exercice au lecteur). Il suft alors de prendre .

SOUS-SECTION II.8.5

Applications aux espaces de fonctions continues


II.8.5.1

Approximation des fonctions continues


Soient un espace topologique compact et une suite croissante (ou dcroissante) de fonctions continues de dans qui converge simplement vers une fonction continue . Alors la suite converge uniformment.
Licence de Mathmatiques Pures de Bordeaux

T HORME II.8.4 (Thorme de Dini ).

38

II.8. ESPACES COMPACTS

Dmonstration. Supposons par exemple la suite croissante. Puisque la suite est croissante, la convergence simple implique que , , il existe un entier tel que implique . Comme et sont continues, la croissance de la suite implique encore quil existe un voisinage de tel que , , . Comme est compact, on peut le recouvrir par un nombre ni de : , . Si est le plus grand des , , pour , et tout de on a , ce qui dmontre le thorme.

Le thorme qui suit est un rsultat fondamental en analyse. Il a de trs nombreuses consquences dans toutes les branches de cette discipline :

T HORME II.8.5 (Thorme de Stone-Weierstrass ). Soient un espace topologique compact et lespace des fonctions continues de

dans muni de la distance de la convergence uniforme sur (c.f. Exemple 6, page 27). Soit une sous-algbre de contenant les constantes et sparant les points de (i.e. si et sont deux points distincts de , il existe telle que ). Alors est dense dans .

La dmonstration utilise le lemme suivant :

L EMME . Il existe une suite croissante de polynmes rels .

qui converge uniformment la fonction et

sur le segment

Dmonstration du Lemme. On dnit par rcurrence en prenant

Si on montre que , , on aura aussi montr que la suite est croissante, positive et borne, ce qui implique quelle converge simplement vers une fonction qui, daprs (II.8.1), doit vrier , ce qui entrane et le Thorme de Dini permet de conclure la convergence uniforme. Vrions donc lingalit annonce par rcurrence :

(II.8.1)

et comme, par hypothse de rcurrence,

, lingalit est prouve.

Dmonstration du Thorme de Stone-Weierstrass. Si

converge uniformment vers


Maintenant, si et sont dans , comme

, et si

, ce qui montre que

sont les polynmes du Lemme, alors la suite est une algbre contenant les constantes.

, puisque

et


, si et sont deux rels et si

et appartiennent aussi . Remarquons ensuite que, puisque spare les points, si et sont deux points distincts de spare et , la fonction

vrie et . Soit maintenant et . Soit . Daprs ce qui prcde, pour , il existe telle que et . Par continuit, il existe voisinage de tel que, pour , . Si on recouvre par un nombre ni de tels voisinages , et que lon considre la fonction , on obtient une fonction qui est dans , daprs la premire

partie de la preuve, et qui vrie et , . Par continuit, il existe un voisinage de tel que pour . Recouvrons encore une fois par un nombre ni de voisinages et posons , de sorte que

. Il est alors clair que

, pour tout

, ce qui termine la preuve.

Dans le cas de lespace suivant :

, le Thorme peut tre faux. On a simplement le rsultat plus faible, mais tout aussi important,

C OROLLAIRE (Thorme de Stone-Weierstrass complexe ). Soient un espace topologique compact, une sous-algbre de contenant les constantes et sparant les points de . Si , la conjugue (conjugaison dans ) appartient aussi , alors est dense dans .
Dmonstration. On remarque que lhypothse implique que, pour , et sont dans . Par suite, si dsigne lalgbre des fonctions de qui sont valeurs relles, vrie les hypothses du Thorme de Stone-Weierstrass (rel) et est donc dense dans , la conclusion est immdiate. . Comme et

39

CHAPITRE II. ESPACES MTRIQUES

Ce Thorme a de nombreuses consquences classiques. Par exemple :

P ROPOSITION II.8.25. 1. Si est un espace mtrique compact, les espaces mtriques et sont sparables. 2. Soit un compact de . Toute fonction continue sur est limite uniforme (sur ) dune suite de polynmes. 3. Toute fonction continue de dans priodique de priode est limite uniforme sur de polynmes trigonomtriques.
Dmonstration. Le 2. est immdiat, et le 3. se voit aussi facilement en identiant les fonctions continues priodiques aux fonctions continues sur le cercle unit de qui est compact (voir Exemple 3, page 76). Vrions le 1. En sparant partie relle et partie imaginaire, on remarque quil suft de faire la preuve pour . Soit une base dnombrable pour la topologie de (Proposition II.8.8, page 33) et soit (qui est continue, Proposition II.2.2, page 10). Soit lalgbre engendr, sur , par les . Il est clair que, si est lalgbre engendre sur par les , alors est uniformment dense dans . Comme est dnombrable, il nous suft de montrer que est dense dans . Comme contient les constantes, daprs le Thorme de Stone-Weierstrass, il suft de voir que spare les points de . Or, si , il existe tel que et , ce qui implique et .

II.8.5.2

quicontinuit, Thorme dAscoli

D FINITION II.8.5. Soit un espace. On suppose quil existe une suite douverts relativement compacts de tels que (c.f. Proposition II.8.21, page 37). Soit un espace mtrique et lespace des et fonctions continues de dans . On note , lespace muni de la distance de la convergence uniforme sur la famille de parties (c.f. Exemple 4, page 13). La topologie correspondante sappelle la topologie de la convergence uniforme sur les compacts.
On pourra remarquer que cette topologie ne dpend pas vraiment de la suite choisie : si on prend une autre suite douverts possdant les mme proprits, la distance obtenue avec cette nouvelle suite est topologiquement quivalente la premire. En fait, on peut dmontrer (exercice facile) quune suite converge pour la distance de la dnition ci-dessus si et seulement si, pour tout compact de , elle converge uniformment sur .

D FINITION II.8.6. Soient et deux espaces mtriques. Soit une partie de . On dit que est quicontinu (ou uniformment quicontinu) si, pour tout , il existe tel que pour et dans vriant , on a , pour toute . On dit que est quicontinu en si, pour tout , il existe tel que pour dans vriant , on a , pour toute . Si est une partie de , on dit que est quicontinue sur si elle est quicontinue en tout point de .

P ROPOSITION II.8.26. Soient et deux espaces mtriques. Soit une partie de . Soit une partie compacte de . Si est quicontinue sur , alors est quicontinue. En particulier, si est compact, lquicontinuit en tout point de quivaut lquicontinuit.
Dmonstration. En effet, pour tout , il existe une boule, telle que, pour et dans cette boule et dans , on a , pour toute . Daprs la Proprit de Lebesgue (Proposition II.8.10, page 35), il existe tel que, pour tout , soit contenu dans une des boules ; ceci dit exactement que est quicontinue.

T HORME II.8.6 (Thorme dAscoli ).


Soit pacts de

et des espaces mtriques. On suppose quil existe une suite douverts relativement comtels que et . Soit une partie de . Les conditions suivantes sont quivalentes : 1. est relativement compacte pour la topologie de la convergence uniforme sur les compacts de ; 2. Pour tout compact de , est quicontinue dans et, pour tout , est relativement compact dans .
Licence de Mathmatiques Pures de Bordeaux

40

EXERCICES

Dmonstration. Dmontrons tout dabord que 1. implique 2. Remarquons en premier que est relativement compact pour la topologie de la convergence uniforme sur (si est une suite dans , il existe une sous-suite convergente pour la topologie de la convergence uniforme sur les compacts et converge uniformment sur ). Soit . On peut donc recouvrir par un nombre ni de boules (pour la distance de la convergence uniforme sur ) de rayons . Si sont les centres de ces boules, lingalit triangulaire donne aussitt, pour , , et, comme les sont uniformment continues (Proposition II.8.12, page 35) et en nombre ni, lquicontinuit de en rsulte. La seconde partie du 2. se montre aisment : si est une suite dans , la compacit relative de implique quil existe une sous-suite qui converge pour la topologie de la convergence uniforme sur les compacts ; comme est un compact, on a le rsultat voulu. Dmontrons maintenant que 2. entrane 1. Soit une suite dans . Soit et compact de xs. tant quicontinu, soit tel que , , , implique , et recouvrons par un nombre ni de boules avec . La seconde hypothse du 2. montre quil existe une suite extraite de la suite telle que, pour tout et , et tout , on a , et, par suite, , pour tout . Appliquons cette construction : on construit ainsi une suite extraite de telle que , . Puis

on recommence de mme avec

ce qui donne une nouvelle suite extraite vriant , . Par rcurrence, on construit ainsi extraite de telle que

et remplace par

; comme de plus, par

On considre maintenant la suite diagonale ; pour

hypothse, pour tout , la suite est contenue dans un compact de , donc dans une partie complte de (Thorme II.8.2, page 34), elle converge vers et on a , . Ainsi, on a extrait de la suite une sous-suite uniformment convergente sur , vers une fonction dnie et continue sur . Soit maintenant une suite douverts de vriant les proprits dcrites dans la Dnition II.8.5 ; en appliquant ce qui prcde au compact , on trouve une suite de la suite qui converge uniformment sur vers une fonction dnie et continue sur ; en recommenant de mme avec et , on construit une seconde sous-suite qui converge uniformment sur vers une fonction dnie et continue ; par rcurrence, on construit ainsi une sous-suite de la suite qui converge uniformment sur sur , qui vrie vers qui prolonge . La suite est alors convergente pour la topologie de la convergence uniforme sur les compacts vers une fonction dnie et continue sur tout entier. C.Q.F.D. La proposition suivante montre une utilisation de lquicontinuit la mtrisabilit de certains espaces topologiques :

, elle vrie

P ROPOSITION II.8.27. Soient et deux espaces mtriques de distances et , tant suppos sparable, et une lespace topologique des fonctions de dans muni de la partie dnombrable dense de . Soit quicontinue topologie de la convergence simple (c.f. Exemple II.6.1, page 22). Soit une partie de en tout point de . Soit la distance de la convergence uniforme sur la famille de parties : on dit que la (c.f. Exemple 4, page 13). Alors dnit la topologie induite sur par celle de topologie de la convergence simple est mtrisable sur .
Dmonstration. Soit . On voit trs facilement que tout voisinage de pour , est un voisinage de pour la topologie de la convergence simple. Cest la rciproque quil faut dmontrer. Soit ; la dnition de la topologie produit montre quil suft de voir que, pour quelconque, lensemble contient une boule ouverte pour centr en . Or, comme est quicontinue en et dense dans , il existe tel que, , ; lingalit triangulaire donne alors , . Par suite, , ce implique

qui montre bien que la boule ouverte pour

centr en

de rayon

est contenue dans .

Exercices
Exercice II.1. 1. Montrer quon dnit une topologie sur en disant qu une partie de est ouverte si elle est vide ou de complmentaire au plus dnombrable. On admettra que toute partie dun ensemble au plus dnombrable est elle-mme au plus dnombrable, de mme quune runion nie.

41

CHAPITRE II. ESPACES MTRIQUES

2. Quelles sont les suites convergentes pour cette topologie ? Exercice II.2. 1. Soit un ensemble ordonn (par exemple muni de la relation de divisibilit). 2. Montrer que lon dnit sur une topologie de la faon suivante : Une partie de est ouverte si elle est vide ou bien si pour tout 3. Soit 4. La topologie est-elle spare ?

, dterminer ladhrence du singleton

pour . Peut-il tre ferm, ouvert ?

et tout

, alors

Exercice II.3. Soit un espace topologique. Dmontrer les assertions suivantes : 1. Un point est dans la frontire dune partie 2. Si 3. Si et et de si et seulement si tout voisinage de rencontre , alors les parties et , alors . sont disjointes. . . et son complmentaire.

sont deux parties ouvertes disjointes de sont deux parties fermes de de de

dont la runion est

4. Une partie 5. Une partie

est ferme si et seulement si sa frontire est ouverte si et seulement si

est incluse dans

Exercice II.4. Dans muni de la topologie usuelle, dterminer lintrieur et ladhrence des ensembles suivants : 2. Mme question dans muni de la topologie usuelle pour lensemble . Exercice II.5. 1. On munit de la topologie induite par . Les ensembles 1.

. ?

(comparer avec 1.) et

sont ils ouverts dans ? . Comparer pour une partie On suppose que de

2. Soit un espace topologique, une partie de . On munit ladhrence et lintrieur de dans et respectivement. 3. Soit un espace topologique, des parties de de et . Montrer que est un ouvert de .

de la topologie induite par et

telles que

est un ouvert

Exercice II.6. Soit un espace topologique et une famille de ferms de tous les sauf au plus un nombre ni (i.e. : 1. Montrer que la runion des 2. On suppose en plus que est ferme.

telle que tout point

admette un voisinage disjoint de ).

. Montrer qu un ensemble de

est ferm si et seulement si

est ferm pour tout

Exercice II.7. Soit un espace topologique et une famille douverts recouvrant seulement si chaque ensemble est ferm dans . Exercice II.8. Soit un ensemble. Posons .

. Montrer quun ensemble

de

est ferm dans

si et

si

et

. Montrer que

est une distance sur

. Dterminer

, ,

Exercice II.9. Soit un segment de , un lment de et soit lensemble des fonctions continment drivables sur . Pour et lments de , on pose . Montrer que est une distance sur .

Exercice II.10. Soit un segment de et de la faon suivante :

lensemble des fonctions continues sur . On dnit sur et


les fonctions

et

Montrer que

et sont des distances sur . Licence de Mathmatiques Pures de Bordeaux

42

EXERCICES

Exercice II.11. Soit lensemble des fonctions continues de dans , support born. On considre les applications et de dans dnies par

et,

1. Montrer que et sont des distances sur .

2. Ces distances sont elles quivalentes, topologiquement quivalentes ? On rappelle que le support dune fonction est ladhrence de lensemble des points o elle est non nulle. Exercice II.12. un espace mtrique. Montrer que la fonction 1. Soit deux distances sont elles quivalentes ?

est une distance sur

topologiquement quivalente . Ces

2. Soit un ensemble et lensemble des fonctions bornes de dans un espace mtrique brable de parties de telles que . Pour chaque , soit on pose

Montrer que est une distance et quune suite de fonctions de converge uniformment vers sur chaque Exercice II.13. Soit la distance euclidienne sur . On dnit de la faon suivante :

. Soit une famille dnom . Pour et lments de ,

converge vers une fonction

si et seulement si la suite

et tant deux points de , on pose

2. On considre lapplication de

si et sont aligns avec lorigine, sinon.

1. Dmontrer que est une distance. Dterminer les boules ouvertes pour et les suites convergentes pour .

3.

si et Dmontrer que est une distance. Dterminer les boules ouvertes pour et les suites convergentes pour .

dans dnie par

si

Exercice II.14. 1. est muni de sa topologie usuelle. Soit 2.

. Montrer que est ouvert. On dsigne par lespace des suites relles bornes et, pour on pose . Montrer que est une distance sur et que lensemble est dintrieur vide dans .

Exercice II.15. Soient les fonctions

et dnies par

que dnit une distance sur

. Les distances

et

et sont elles quivalentes, topologiquement quivalentes ?

o et sont des rels strictement positifs. Montrer appartenant , on pose (convention ).

Exercice II.16. On dsigne par le -espace vectoriel des suites de nombres complexes. Pour par si et . On dnit

1. Montrer que

est une distance sur

vriant :


si et

2. Montrer que deux boules ouvertes de mme rayon dans

sont disjointes ou confondues. 3. Soit une suite dlments de avec . Dmontrer que la suite est convergente dans seulement si pour tout , la suite est stationnaire. Quelle est alors la limite de la suite ?

Exercice II.17. On reprend les notations de lexercice II.2 et soit une application croissante. Exercice II.18. 1. Soit un rel compris entre continue.

. Dmontrer que

est continue si et seulement si elle est

et et

lapplication dnie par

. Prouver que

est uniformment

43

CHAPITRE II. ESPACES MTRIQUES

2. Les fPonctions

et sont elles uniformment continues sur ?



si

Exercice II.19. On dnit sur la fonction valeurs dans par 1. Montrer que est une distance. 3.

et

sinon.

2. Caractriser les boules ouvertes pour . est il complet pour la distance ?

Exercice II.20. Soit un espace mtrique connexe non born. Montrer que pour tout Exercice II.21. Soit un espace topologique, et des ferms de Lhypothse ferme est elle essentielle ?

et

et tout rel

, la sphre est non vide.


et sont connexes.

tels que

soient connexes. Montrer que

Exercice II.22. Soit un espace topologique connexe, et deux fonctions continues de Montrer que lune des deux fonctions est nulle.

dans , sans zros communs et dont le produit est nul.

Exercice II.23. Montrer que toute fonction continue sur un connexe valeurs dans un espace spar et localement constante est constante. Enoncer et dmontrer la rciproque. Exercice II.24. Soit un espace topologique tel que pour tout que est connexe. Exercice II.25. Soit un espace topologique et rencontre sa frontire .

, il existe une partie connexe

de

contenant et . Dmontrer

une partie connexe de

. Montrer que si

rencontre une partie

de

et son complmentaire, elle

Exercice II.26. Soit un espace totalement ordonn. On appelle intervalle ouvert de ou tells que ou tels que .

toute partie de la forme

tels que

1. Montrer qu il existe une topologie sur 2. Cette topologie est elle spare ? 3. On suppose que (a) Pour tout

telle que les intervalles ouverts en forment une base.

est connexe. Montrer que :

, lintervalle

est non vide. ).

(b) Toute partie majore non vide admet une borne suprieure (On pourra sintresser lensemble des majorants de Exercice II.27. 1. Montrer quune couronne de est connexe.

2. Montrer que toute partie convexe de est connexe. Exercice II.28. Dmontrer que lensemble des points de dont une coordonne au moins est irrationnelle est connexe. Exercice II.29. Peut il y avoir deux espaces homomorphes parmi les trois suivants : tels que .

tels que

Exercice II.30. Soit une partie de telle que pour tout 1. Montrer que est connexe. 2. On suppose, en plus, que Exercice II.31. Soit un intervalle de ,

, le segment

soit contenu dans

est borne. Montrer que le complmentaire de

est connexe.

une application de dans continue, injective. En considrant lensemble

tels que
dmontrer que est une application strictement monotone.

44

Licence de Mathmatiques Pures de Bordeaux

EXERCICES

Exercice II.32. Dterminer les composantes connexes de chacun des espaces suivants : 1. 2. 3. 4. 5.
; o est une droite ; o est un plan ;

est le complmentaire dune couronne dans ;

Exercice II.33. Soit

. Montrer que

est connexe mais non localement connexe.

Exercice II.34. Donner un exemple despace localement connexe, non connexe. Exercice II.35. Soient un entier

lapplication de dans dnie par

et, Montrer que

tels que

tels que tels que et tels que et


.

sont trois ouverts connexes de

et que ce sont les composantes connexes de

Exercice II.36. Soit une famille despaces topologiques

1. Soit une suite dlments de o pour chaque , . Montrer que la suite converge dans si et seulement si pour tout la suite converge vers dans . Pour chaque , on note la projection canonique de rang . 2. Montrer que est ouverte, est elle ferme ?
3. Soit un espace topologique et est continue. 4. Supposons que pour chaque pour des ouverts ? 5. Supposons que pour chaque une application de soit un ferm de soit une partie de dans . Montrer que

et

leur produit.

vers

est continue si et seulement si chaque est ferm dans

, ,

. Montrer que le produit des . Montrer que

. Le rsultat est il vrai

Exercice II.37. Soit et deux espaces topologiques et une application continue . On suppose que est spar. Prouver que le graphe t q est ferm dans le produit . Rciproque ? Donner une deuxime dmonstration dans le cas ou les espaces et sont mtriques.1) Soit une famille despaces topologiques et leur produit.

Exercice II.38. Soient et deux espaces topologiques non vides et seulement si et le sont. Exercice II.39. Soit une suite despaces mtriques, que est une distance et que la topologie associe

muni de la topologie produit. Montrer que

est connexe si et

et

dnie par

est la topologie produit.

. Montrer

45

CHAPITRE II. ESPACES MTRIQUES

Exercice II.40. 1. et sont deux distances quivalentes sur un ensemble . Montrer que si et sont quivalentes lest. Cette proprit est elle vraie si et sont seulement topologiquement quivalentes ? 2. Montrer que si . dans

est complet ds que est une suite de Cauchy

est uniformment continue, toute suite de Cauchy dans

3. On considre sur les deux distances suivantes : ; . Sont elles topologiquement quivalentes ? Lidentit de dans est elle uniformment continue ? Les suites de Cauchy pour et sont elles les mmes ? 4. Soit une isomtrie surjective entre deux espaces mtriques. Montrer que si lun des deux est complet, lautre aussi. est seulement un homomorphisme ? 5. Ce dernier rsultat est il vrai si

Exercice II.41. Montrer que les espaces suivants sont complets : 1. 2. 3. est lespace est lespace des suites de nombres complexes bornes, muni de la distance est lespace des suites de nombres complexes

des fonctions continues sur

valeurs dans , muni de la distance de la convergence uniforme. .

telles que la srie


converge, muni de la distance


4. est lespace muni de la distance S.N.C.F.
muni de la distance

Exercice II.42. Montrer que

n est pas complet.


et par le sous ensemble

Exercice II.43. On dsigne par lespace des suites relles qui tendent vers muni de la distance des suites relles nulles partir d un certain rang. 1. Montrer que est complet. 2. Montrer que est dense dans . Lespace mtrique est il complet ?

Exercice II.44. Montrer que tout espace mtrique complet sans point isol est inni non dnombrable. Exercice II.45. On considre une application continue ensembles :

telle que, pour tout , montrer que

, la suite .

tende vers 0. En considrant les

Exercice II.46. Soit . A tout entier

, on associe lensemble

des fonctions

telles que :

1. 2. 3.

Montrer que les ensembles sont non vides, que la suite est dcroissante et que lintersection des ensembles est vide. On munit de la distance . (a) Montrer que pour tout , est ferm.
(b) Que peut on en dduire ? de la distance

4. On munit

(a) Montrer que pour tout couple de fonctions (b) Que peut on en dduire ? Exercice II.47. 1. Soit

. .

2. Soit drivable, telle que , drivable, lintervalle . 46

uniformment continue. Montrer que

admette une limite relle quand tend vers

admet un prolongement , uniformment continu, lintervalle . Montrer que

admet un prolongement

Licence de Mathmatiques Pures de Bordeaux

EXERCICES

Exercice II.48. 1. Donner un exemple dune application contractante dun intervalle de dans lui mme, nadmettant pas de point xe. 2. Soit

dnie par . Montrer que pour tous rels . Lapplication admet elle un point xe ? Commentaire ?

tels que

, on a

Exercice II.49. Etudier la suite dnie par son premier terme et la relation de rcurrence : Exercice II.50. 1. est un espace topologique spar, une suite de points de lensemble est un compact de .

convergente vers un lment

. Dmontrer que

2. Dmontrer quune application dun espace mtrique de est continue. Exercice II.51. Soit un espace topologique compact et

dans un autre est continue si et seulement si sa restriction tout compact

lespace des fonctions continues de dans .


appartenant

1. Montrer que si une famille nie de fonctions existe des fonctions 2. Soit un idal de

est sans zros communs (


.

de telles que . . Montrer que si et seulement si


deux compacts disjoints de tels que ; . et

) alors, il

Exercice II.52. Soit un espace topologique spar et 2. Soit un espace mtrique.

1. Montrer quil existe des ouverts et de

(a) Soient deux compacts disjoints de dans ce cas une dmonstration de 1. (b) Montrer que si

, montrer quil existe , et

et

tels que

. Redonner, .

est une partie compacte de

une partie ferme telles que

, alors

(c) Montrer que peut tre nul si et sont disjoints, mais seulement ferms, tandis que la prorit du 1. reste vraie (utiliser la fonction ).

Exercice II.53. Soit une suite dcroissante de parties compactes dun espace mtrique diamtres des tend vers le diamtre de .

et

leur intersection. Montrer que la suite des

Exercice II.54. Montrer qu un espace mtrique dans lequel toute boule ferme est compacte est un espace complet. Exercice II.55. est un espace topologique spar et une suite dcroissante de compacts non vides. 1. Que peut on dire de lintersection des ? 2. Si est un ouvert contenant lintersection des , montrer quil existe un entier tel que contienne .

3. On suppose en plus que les sont connexes. Montrer que lintersection des est connexe. Montrer que ce rsultat nest plus vrai si les sont seulement ferms. Exercice II.56. et sont deux espaces topologiques ; 1. Montrer que la projection 2. On suppose que est compact. est ferm. est continue. et sont mtriques.

est une application dont le graphe est ferm. Montrer que

On donnera deux dmonstrations des questions 1. et 2. dont une en supposant que les espaces Exercice II.57. Soient et deux espaces topologiques compacts, et soit une application continue de pour tout , lapplication soit injective. Soit alors . 1. Montrer que lensemble des

ait une solution, est ferm dans . 2. Montrer que la solution de cette quation est une fonction continue de sur . Donner de ces deux questions une autre dmonstration, en supposant que les espaces et sont mtriques.

dans tels que lquation

dans un espace spar

telle que,

47

CHAPITRE II. ESPACES MTRIQUES

Exercice II.58. Soit

Montrer que la suite contient pas de sous-suites de Cauchy. En dduire que la boule unit ferme de nest pas compacte.

. muni de la distance : o est llment de dont toutes les composantes sont nulles sauf celle de rang

gale ne

Exercice II.59. Soit lensemble des fonctions continues de dans muni de la distance de la convergence uniforme. Donner un exemple dune suite borne de nadmettant aucune sous-suite convergente. Exercice II.60. 1. Soit le cercle (a) (b)

(c) Existe-t-il des applications continues injectives de dans ?

t q et soit avec . Montrer que est un intervalle Montrer que tout possde au moins deux antcdents.

une application continue.

2. Soit lapplication (a) Calculer

dnie par :

sur

(b) En dduire que est une bijection continue de (c) On suppose maintenant que i. Montrer que ii. Montrer que

pour

et

( supposer le contraire et considrer lapplication


est un homomorphisme. une application vriant :

est une application continue injective de dans lui mme. ). En dduire que est surjective.

pour

.
. .

Exercice II.61. un espace mtrique compact et Soit


En considrant lapplication


admet un point xe.

, montrer que

Exercice II.62. un espace mtrique compact et une application isomtrique, i.e. vriant, pour tous Soit , et soit un lment de . On dnit une suite par la donne de son premier terme et la relation de rcurrence 1. Montrer que la suite admet une sous-suite de Cauchy. 2. Montrer que la suite tend vers . 3. En dduire que est surjective donc bijective.

Exercice II.63. Soit un compact non vide de . On veut montrer quil existe une boule ferme de rayon minimum contenant . Soit .

1. Montrer que

2. En considrant une suite dlments de boule contenant . Exercice II.64. Soit

admet une borne infrieure

et une suite

telles que

, montrer lexistence dune



et lensemble des lments

muni de la distance

tels que

1. Lensemble rel , il existe une partie nie 2. Pour tout rel

pour tout . Dmontrer que est compact. On pourra saider des deux faits suivants : , on ait , est compact. Ainsi, pour tout des tels que pour tout , il existe un entier tel que
de

telle que la distance de tout point de

soit

Exercice II.65. 1. Soit

tout compact de est un compact de . 2. Soit : . Montrer que admet un minimum absolu.
48 Licence de Mathmatiques Pures de Bordeaux

une application continue. Montrer que

si et seulement si limage rciproque par

de

EXERCICES

1. Les espaces , sont ils localement compacts ? (a) Montrer que toute surjection de sur est continue. Moralit ? Exercice II.66. Montrer que dans un espace localement compact, lintersection de deux sous espaces localement compacts est localement compact. Exercice II.67. Soit une fonction continue de
dans telle que pour tout entier ,

. Montrer que

est nulle.

Exercice II.68. Soit un espace mtrique compact. Dmontrer que l espace des fonctions continues de dans muni de la distance de la convergence uniforme est sparable. Indication : si est une suite dense de points de , considrer les fonctions . Exercice II.69. Soient et deux espaces mtriques compacts, une application continue de dans . Montrer que, pour tout , il existe un systme ni dapplications continues de dans et un systme ni dapplications continues de dans tels que, pour tout . (Appliquer le thorme de Stone-Weierstrass lalgbre engendre par les applications continues et o est une fonction continue de dans et une fonction continue de dans ).

Exercice II.70. Soit un espace compact et 1. Soit

un ferm de

. un rel

une application continue et

(a) Montrer quil existe une fonction

(b) Montrer quil existe une fonction

telle que : telle que :

(c) Montrer quil existe une suite

telle que

2. Montrer que lapplication restriction de

dans est surjective.


la partie de

Exercice II.71. Soit lespace des fonctions continues de dans muni de la distance de la convergence uniforme et soit constitue des fonctions de classe telles que : et . Dmontrer que est relativement compacte dans

Exercice II.72. Soit la suite de fonctions de

dans dnies par :


est

Montrer que est sans valeurs dadhrence pour la topologie de la convergence uniforme. La famille des fonctions elle quicontinue ?

49

C HAPITRE

ESPACES VECTORIELS NORMS

ans ce chapitre, tous les espaces vectoriels considrs sont des espaces vectoriels sur ou . Lorsquil ny aura pas de confusion possible, cest--dire la plupart du temps, le corps des scalaire sera not , qui reprsente donc soit soit . Lorsquun rsultat est spcique ou , on prcise alors le corps utilis pour le rsultat. Naturellement, on peut dnir les notions introduites dans ce chapitre avec dautres corps comme par exemple dans . Limportant est de disposer dune valeur absolue sur le corps. Cest une situation que nous ne considrerons nanmoins pas.

Espaces norms et espaces de Banach


D FINITION III.1.1. Soit un espace vectoriel sur . On appelle norme sur une application les proprits suivantes : 1. si et seulement si ; 2. Pour tous et , ; 3. Pour tous , (ingalit triangulaire). Un espace vectoriel muni dune norme est appel un espace norm.

de

Remarque III.1.1. Une application de dans vriant les proprits 2. et 3. de la dnition ci-dessus, mais pas 1., sappelle une semi-norme sur . On pourra noter que, pour une semi-norme

est un sous-espace vectoriel de .

tq

51

ERTIPAHC

SECTION III.1

dans vriant

CHAPITRE III. ESPACES VECTORIELS NORMS

Dans toute la suite, la norme dun espace norm sera toujours note seront possibles.

, sauf mention expresse du contraire, lorsque des confusions

P ROPOSITION III.1.1. Soit un espace norm. Lapplication


est une distance sur distance.
Remarque III.1.2. Si on note

, et

est toujours suppos muni de la structure despace mtrique dnie par cette

la distance de la Proposition ci-dessus, on a

D FINITION III.1.2. On appelle espace de Banach un espace norm complet (au sens de lespace mtrique sous-jacent). P ROPOSITION III.1.2. Soit un espace norm. 1. Lapplication est uniformment continue de 2. Lapplication est continue de dans ; 3. Pour , lapplication est uniformment continue de
Dmonstration. Ceci est trs simple. Par exemple, pour montrer le 2. en

dans dans

; .

, on crit


et on conclut par lingalit triangulaire.

D FINITION III.1.3. Soit un espace vectoriel sur . On dit que deux normes et sont quivalentes si les distances qui leur sont associes le sont. Autrement dit, sil existe deux constantes et strictement positives telles que, , . P ROPOSITION III.1.3. Soient un espace norm et un sous-espace vectoriel de . Alors son adhrence est un sous-espace vectoriel de . muni de la restriction de la norme de sappelle le sous-espace norm de . Si est un Banach alors en est un aussi, et si est un Banach alors il est ferm dans .
Dmonstration. Le fait que videntes. soit un espace vectoriel rsulte aisment de la Proposition prcdente, et les autres afrmations sont

D FINITION III.1.4. On dit quune partie dun espace vectoriel dlments de est dense dans . P ROPOSITION III.1.4. Soient ,

est totale si lensemble des combinaisons linaires nies

des espaces vectoriels norms de normes respectives notes (au sens algbrique). Alors lapplication , et

lespace vectoriel produit des

est une norme sur dont lespace mtrique associ est lespace mtrique produit des espaces mtrique de On lappelle lespace norm produit de .
La dmonstration est immdiate. 52 Licence de Mathmatiques Pures de Bordeaux

III.1. ESPACES NORMS ET ESPACES DE BANACH

P ROPOSITION III.1.5. Soient un espace vectoriel norm et deux sous-espaces de tels que soit somme directe de et (ce que lon note gnralement sur et ). Soient et les projections de respectivement (de sorte que tout scrit de manire unique ). Lapplication

de dans une bijection linaire continue et cest un homomorphisme si et seulement si lune des application est continue (et donc lautre aussi).
Dmonstration. Il est clair que est continue. Dautre part si est continue, lest aussi et comme est lapplication inverse de la prcdente, on a la conclusion recherche.

D FINITION III.1.5. Si la condition de la Proposition prcdente est satisfaite, on dit que est somme directe topologique de est un sous-espace vectoriel de pour lequel il existe un sous-espace de tel que soit et . Si somme directe topologique de et , on dit que est un supplmentaire topologique de (lorsquun tel existe on dit aussi que est complment dans ). P ROPOSITION III.1.6. Un espace norm est connexe par arc et localement connexe par arc. De plus, un ouvert dun espace norm est connexe si et seulement sil est connexe par arc.
Dmonstration. En effet, toute boule dun espace norm est connexe par arc car deux points peuvent tre joints par un segment de droite qui est contenu dans la boule daprs lingalit triangulaire, et deux points de peuvent tre joints par un segment. La seconde assertion rsulte de la premire, car si est ouvert connexe et si , lensemble des points de qui peuvent tre joints par un arc contenu dans est non vide (puisquil contient une boule ouverte), ouvert et ferm dans donc gal .

T HORME III.1.1 (Compltion dun espace norm ).


Soit un espace norm. Alors il existe un espace de Banach et une isomtrie linaire de sur un sous-espace vectoriel dense de . De plus un tel complt de est unique un isomorphisme isomtrique prs.
Dmonstration. Lunicit rsulte de lunicit du Thorme II.7.3, page 29, montrons lexistence. Soit mtrique et lisomtrie de sur un sous-espace dense de . Il suft de voir que lon peut dnir, sur Banach dnissant la distance et telle que soit linaire. Les applications de un complt de lespace , un structure despace de

dans


et

de dans tant uniformment continues ( tant un isomtrie) daprs la Proposition II.7.12, page 28, elles se prolongent en des applications uniformment continues de dans et dans , et on vrie aisment que ces applications et dnissent, sur une structure despace de Banach qui dnit la distance et pour laquelle est linaire, ce qui termine la preuve.

Rappelons quune relation dquivalence sur un espace vectoriel est compatible avec la structure despace vectoriel si elle est de la forme o est un sous-espace vectoriel de . Dans ce cas lensemble quotient est canoniquement muni dune structure despace vectoriel et se note .

P ROPOSITION III.1.7. Soient un espace norm et

un sous-espace vectoriel de

. Lapplication

est bien dnie et est une semi-norme sur . Cette semi-norme est une norme si et seulement si est ferm. De plus, dans ce cas, cette norme dnit la topologie quotient de celle de par la relation dquivalence associe . On parle ainsi de lespace norm quotient .
Dmonstration. Il est clair que est une semi-norme et que quivaut . Pour voir la dernire assertion, il suft de voir que si est une boule ouverte dans , et si dsigne la surjection canonique de sur , alors est un ouvert de . Or ceci est vident puisque

53

CHAPITRE III. ESPACES VECTORIELS NORMS

SECTION III.2

Exemples
1. muni de

2.

3.

4.

5.

, est un espace vectoriel norm complet. Plus gnralement les espaces (c.f. Exemple 1, page 12) sont des espaces de Banach (c.f. Exemple 2, page 26). Soit un ensemble et un espace norm. Soit lespace vectoriel des fonctions bornes de dans . Alors est une norme sur qui dnit la distance de la convergence uniforme sur . On note gnralement cet espace norm. Si est un espace topologique, le sous-espace de form par les fonctions continues est not , si est, par exemple, de plus compact, alors toute fonction continue est borne et on note simplement . Soient une partie dun ensemble et un espace norm. Soit lensemble des fonctions de dans qui sont bornes sur . Alors est une semi-norme sur et nest pas une norme en gnral. Soient et deux espaces vectoriels norms et lespace vectoriel des applications linaires de dans qui sont bornes sur la boule . Alors est une norme sur car, si , pour tout , il existe tel que et par suite , ce qui montre que est nulle. Soient un segment de et lespace vectoriel des fonctions continues de dans . Alors, pour ,

ou de

, ou de

est une norme sur

SECTION III.3

Sries et familles sommables dans un espace norm


SOUS-SECTION III.3.1

Sries dans un espace norm


D FINITION III.3.1.

On appelle srie dans espace norm . On la note gnralement

une suite de la forme

o est une suite dans

est convergente si la suite est convergente ; dans ce cas, la limite de cette suite est appele la somme de la srie et on note ; de plus sappelle le reste dordre de la srie . . On dit que la srie

P ROPOSITION III.3.1. Soit


54

un espace norm. Si la srie

est convergente, alors,

, il existe , tel que, pour

Licence de Mathmatiques Pures de Bordeaux

III.3. SRIES ET FAMILLES SOMMABLES DANS UN ESPACE NORM

, et , on a

Rciproquement, si cette condition est satisfaite, et si Cauchy pour une srie).

est complet, la srie

est convergente (Critre de

Cest une traduction de la dnition despace mtrique complet. La proposition suivante est immdiate :

P ROPOSITION III.3.2. Soient un espace norm et et deux sries dans . 1. Si sauf au plus pour un nombre ni dindices, alors les deux sries sont soit toutes deux convergentes soit toutes deux divergentes. 2. Si les deux sries sont convergentes, alors, pour , les sries et sont convergentes. 3. Si est convergente de somme et si est une suite dentiers strictement croissante telle que , et si on pose alors la srie est convergente de somme . D FINITION III.3.2.

On dit quune srie

dans un espace norm

est absolument convergente (ou normalement conver-

gente selon une terminologie plus naturelle mais non usuelle) si la srie de nombres rels positifs convergente.
Le critre de compltude suivant est trs souvent utile :

est

T HORME III.3.1.
Soit un espace norm. Alors est complet (i.e. un espace de Banach) si et seulement si toute srie de absolument convergente est convergente.
Dmonstration. En effet, il est clair, par lingalit triangulaire, que toute srie absolument convergente vrie le critre de Cauchy et, par suite converge si lespace est complet. Rciproquement, si cette proprit est satisfaite, et si est une suite de Cauchy dans , par rcurrence, on voit aisment quil existe une suite strictement dentiers telle que ,

et, en posant

, on a

ce qui montre que

est absolument convergente et donc converge par hypothse. Comme

on conclut que la suite possde une sous-suite convergente ce qui implique quelle est elle-mme convergente puisquelle est de Cauchy (Proposition II.7.1, page 23).

P ROPOSITION III.3.3.

une srie absolument convergente dans un espace de Banach . Soit lui-mme. Alors la srie et absolument convergente et .
Soit

une bijection de sur

Dmonstration. La srie tant absolument convergente, pour tout bijection, il existe

, il

existe

tel que

tel que, pour

, on a

et, par suite,

. Comme

est une

, ce qui montre que

est
55

CHAPITRE III. ESPACES VECTORIELS NORMS

absolument convergente donc convergente. Soit alors tel que prcde, pour ,

et

; alors, par ce qui

ce qui est la dernire assertion.

SOUS-SECTION III.3.2

Familles sommables et absolument sommables


D FINITION III.3.3. Soient un espace norm et une famille dlments de . On dit que la famille est som, il existe une partie nie de telle que, pour toute mable dans sil existe tel que, pour tout

partie nie de contenant ,

. sappelle la somme de la famille

P ROPOSITION III.3.4. Soit une famille sommable dans un espace norm famille est sommable de somme .

de somme . Soit

une bijection de . Alors la


est

Dmonstration. Ceci est immdiat, car, si est une partie nie de vriant les conditions de la dnition ci-dessus, puisque une bijection, il existe une partie nie de telle que , et la conclusion sen dduit aussitt.

P ROPOSITION III.3.5. Soit une famille dans un espace de norm

. Alors si

est sommable dans

, pour tout

il existe une partie nie de telle que, pour toute partie nie de telle que De plus, si mables).

, on a

est un espace de Banach, la rciproque est vraie (critre de Cauchy pour les familles som-

,
.

Dmonstration. Il est clair que la condition est ncessaire. Dmontrons quelle est sufsante. Pour tout une partie nie de telle que, quelque soit la partie nie de telle que et notons de

, on a

lensemble des sommes de la forme

o , , est une partie nie de ne rencontrant pas , et, par suite le diamtre est infrieur . Les ensembles forment donc une suite dcroissante de ferms de dont le diamtre tend vers zro ; alors, daprs la proprit de Cantor (Proposition II.7.5, page 24) leur intersection est exactement un point de dont la construction signie que la famille est sommable de somme .
P ROPOSITION III.3.6. Soit une famille sommable dans un espace norm . Pour tout , la boule contient tous les sauf au plus un nombre ni. En particulier, lensemble des tel que est dnombrable.
Dmonstration. La premire partie de la proposition rsulte de la Proposition prcdente applique des ensembles dindices rduits un lment. La seconde en rsulte puisque les tels que sont en nombre ni.

est de la forme

o est une partie nie de contenant . La diffrence de deux lments

, il existe, par hypothse


. Posons

D FINITION III.3.4. On dit quune famille est sommable.

dlments dun espace norm

est absolument sommable si la famille

P ROPOSITION III.3.7. Dans un espace de Banach, toute famille absolument sommable est sommable.

56

Licence de Mathmatiques Pures de Bordeaux

III.3. SRIES ET FAMILLES SOMMABLES DANS UN ESPACE NORM

Dmonstration. En effet, si une famille est absolument sommable, elle vrie le critre de Cauchy. Remarque III.3.1. Nous verrons que la rciproque de cette proposition est vraie en dimension nie (Proposition III.5.6, page 68). Mais elle est toujours fausse en dimension innie.

P ROPOSITION III.3.8. Soit une famille sommable dans un espace de Banach . Toute sous-famille la famille est sommable dans . De plus si est une partition de et si

, la famille
et soit

, de

est sommable de somme la somme de la famille .


Dmonstration. La premire assertion rsulte du critre de Cauchy, montrons seconde. la somme de la Soit

une partie nie de telle que, pour toute partie nie de

. Soit la partie de constitue des tels que . est clairement nie. Soit une partie nie contenant . , , il existe une partie nie de de que lon peut supposer contenir telle que . Soit ; clairement est nie et contient ce
qui implique

contenant ,

, soit

. Comme les forment une partition, on a


, do

o est le nombre dlments de . Comme ceci est vrai pour tout

, la preuve est termine.

La rciproque de cette Proposition est videment fausse (prendre par exemple la suite et, comme partition de , , ) en gnral. Nanmoins, il y a bien sr des cas o cette rciproque est vraie. La Proposition suivante en donne deux exemples, et la dmonstration en est laisse au lecteur :

P ROPOSITION III.3.9. Soient une famille dans un espace norm et une partition de . 1. Si est ni et si, , la famille est sommable, alors la famille est sommable et on a

2. Si pour tout

la famille

est sommable et absolument sommable et si les familles

et

sont sommables, alors la famille

est sommable et absolument som-

mable et

P ROPOSITION III.3.10. Soient ,

, des espaces norms, et

leur produit (comme espace norm). Soit

une famille dans , . Pour que la famille soit sommable (resp. absolument sommable), il faut et il suft que les familles , , le soient. De plus, si est la somme de la famille , alors est la somme de la famille .
Dmonstration. Cest une consquence immdiate de la dnition de la norme dans lespace produit telle quelle a t dnie dans la Proposition III.1.4, page 52. La proposition suivante est immdiate :

P ROPOSITION III.3.11. Soient et deux familles sommables dans un espace norm, de sommes respectives et et . Alors les familles et sont sommables de sommes respectives et .

57

CHAPITRE III. ESPACES VECTORIELS NORMS

SOUS-SECTION III.3.3

Sries commutativement convergentes


D FINITION III.3.5.

On dit quune srie toute permutation

dans un espace norm est commutativement convergente dans de , la srie est convergente.

si, pour

T HORME III.3.2.
Soit une suite dans un espace norm . Les conditions suivantes sont quivalentes : 1. La srie est commutativement convergente ; 2. La famille est sommable. De plus si lune de ces deux conditions est satisfaite, pour toute permutation de , on a

Dmonstration. Tout dabord, on voit que 2. implique 1. daprs la Proposition III.3.4, page 56 ; de plus, cette mme Proposition montre la dernire assertion. Dmontrons que 1. entrane 2. Si la famille vrie le critre de Cauchy (Proposition III.3.5, page 56), elle est clairement sommable ; supposons donc quelle ne vrie pas ce critre. Il existe donc tel que pour toute partie nie de , il existe une partie nie de ne rencontrant pas telle que
une suite de parties nies de deux deux disjointes telles que, pour tout ,

. On construit alors aisment par rcurrence

. De plus, puisque la srie

est suppose convergente, quitte retirer un nombre ni de ses termes (ce qui ne change aucunement sa nature) on peut supposer que, pour tout , on a (on construit les partir de parties telles que et contient tous les termes de la suite de normes ) ; alors, quitte a rajouter -ieme terme de la suite si ncessaire, on peut sarranger pour que les le

forment une partition de


ordre croissant, et posons

telle que, pour tout ,

. Posons alors

, les tant rangs en

pour tout ), et, pour tout


, et on pose alors
, il existe

Clairement les forment une partition de en intervalles dentiers non vides ( donc un unique entier tel que

, cest dire

avec

. Ceci dnit bien

une bijection de sur lui-mme. Alors


ce qui montre que la srie

nest pas convergente contrairement lhypothse.

Remarque III.3.2. La Proposition ci-dessus et la Proposition III.3.6, page 56, montrent que, dans un espace norm, il y a identit entre les familles sommables et les sries commutativement convergentes.

58

Licence de Mathmatiques Pures de Bordeaux

III.4. ESPACES DAPPLICATIONS LINAIRES ET MULTILINAIRES CONTINUES

Les espaces

SOUS-SECTION III.3.4

et

D FINITION III.3.6. Soit un espace norm. Soit ; on note lespace norm des familles soient sommables muni de la norme de telles que les familles

dlments


On note

lespace des familles dlments de

telles que

, muni de la norme

form des suites qui tendent vers zro. Enn, on note le sous-espace norm de
Le fait que

soit une norme (

) rsulte de lingalit de Minkowski ((II.3.2), page 12).

P ROPOSITION III.3.12. Si est un espace de Banach, les espaces

, , et le sont aussi.

Dmonstration. En effet, si , , est une suite de Cauchy dans , on voit aussitt que, pour tout , , lingalit de Minest une suite de Cauchy dans et, donc, converge vers . Comme il existe tel que

kowski applique

sur une partie nie de , montre que appartient et que

pour assez grand ce qui termine la preuve pour les espaces ce qui est trs simple.

. Pour , il suft de voir que ce dernier est ferm dans

SECTION III.4

Espaces dapplications linaires et multilinaires continues


SOUS-SECTION III.4.1

Applications multilinaires et linaires continues


La proprit quasi-vidente suivante est la base de tous les rsultats concernant les applications linaires et multilinaires continues :

T HORME III.4.1.

Soient , , et des espaces vectoriels norms, et soit multilinaire. Les conditions suivantes sont quivalentes : 1. est continue ; 2. est continue en zro ; 3. Il existe tel que, pour , , 4. .

une application

59

CHAPITRE III. ESPACES VECTORIELS NORMS

De plus, la borne infrieure des nombres vriant le 3. est gal au du 4. Lapplication est une norme sur lespace, not , des applications multilinaires continues de dans . est usuellement appele la norme de . Lorsque et on note simplement .

Dmonstration. La preuve est trs simple. Si est continue, elle est en particulier continue en zro, ce qui implique quil existe tel que pour , on a , ce qui entrane le 3. (avec ) ainsi que le 4. Inversement, il est clair que et 3. sont quivalents et impliquent 2. La linarit montre par ailleurs que 2. implique 1. Lassertion supplmentaire concernant la valeur de est aussi immdiate. Enn le fait que soit une norme est aussi vident. Remarque III.4.1. 1. La dnition de la norme dune application multilinaire donne ci-dessus, dpend des normes sur les eset . Mais il est clair que, si on remplace ces normes par des normes quivalentes, on obtient une norme quivalente sur paces . , pour tout , on a aussi . 2. Si

On peut remarquer que ltude des espaces dapplications multilinaires continues se ramne, en gnral, celle des espaces dapplications linaires continues en vertu de la Proposition suivante :

P ROPOSITION III.4.1. Soient , et trois espaces vectoriels norms. Pour tout lapplication linaire de dans dnie par , et soit 1. (i.e. est linaire continue) ; 2. est une isomtrie linaire de dans

. Alors :

, et tout

, soit

Dmonstration. En effet, on a :

Par rcurrence, on voit que les espaces norms isomorphes.

et

sont isomtriquement

P ROPOSITION III.4.2. Soient , , , , et des (Proposition III.1.4, page 52) . Soient

, on a


, et

des espaces vectoriels norms et lespace norm produit et . Alors, pour . En particulier, est une algbre norme.

Dmonstration. En effet, si on pose

, on a

, et, par suite,

lest aussi. En particulier, si est complet, est une algbre de Banach. Dmonstration. En effet, soit une suite de Cauchy dans , . Pour tout tel que on a , ce qui montre que la suite est de Cauchy dans donc converge vers . Le fait que

manire, on a pour assez grand, do borne puisque de Cauchy) et aussi que converge, en norme, vers .

P ROPOSITION III.4.3. Soient ,

et

des espaces vectoriels norms. Si

est complet alors lespace

est linaire rsulta aussitt de la linarit des par passage la limite ; enn, pour , si , de la mme , ce qui prouve que est continue (la suite tant

P ROPOSITION III.4.4. Soient et deux espaces norms et une application linaire continue de dans . 1. Si une famille sommable dans , alors est une famille sommable dans

et

, alors

2. Si une famille absolument sommable dans sommable dans .


60

est une famille absolument

Licence de Mathmatiques Pures de Bordeaux

III.4. ESPACES DAPPLICATIONS LINAIRES ET MULTILINAIRES CONTINUES

La dmonstration de cette Proposition est une consquence quasi-immdiate des dnitions et est laisse au lecteur.

SOUS-SECTION III.4.2

Hyperplans ferms et formes linaires continues


Rappelons que, dans un espace vectoriel on appelle hyperplan un sous-espace vectoriel tel que pour tout , est somme direct algbrique de et . Si est un hyperplan, tout scrit, de manire unique avec et . Il en rsulte que est une forme linaire sur dont le noyau est ; on dit que est lquation de . Inversement, le noyau de toute forme linaire est un hyperplan. La Proposition qui suit montre que lon peut lire la continuit de sur :

P ROPOSITION III.4.5. Soit un hyperplan dquation est continue. De plus, dans ce cas, pour tout

dans un espace norm

. Alors, est ferm si et seulement si est somme directe topologique de et de .

Dmonstration. Si est continue, est clairement ferm. Rciproquement, supposons ferm dquation , et soit tel que . Comme est ferm, par continuit de laddition, il en est de mme de , et, comme , il existe tel que , ce qui implique pour . Soient et ; si , alors et , ce qui est impossible, et ainsi, , ce qui implique que est borne donc continue (Thorme III.4.1). Soit maintenant ; on a donc une autre criture unique des lments de , , et est une quation de , tant une forme linaire continue. En particulier, est continue de dans , ce qui montre la dernire assertion (c.f. Dnition III.1.5, page 53).

Comme ladhrence dun sous-espace est un sous-espace (Proposition III.1.3, page 52), on a le Corollaire suivant :

C OROLLAIRE . Dans un espace norm, un hyperplan est ou bien ferm ou bien dense.

Rappelons enn que lon appelle hyperplan afne un translat dun hyperplan. Si o un hyperplan ; si est une quation de et si alors ferm si et seulement est continue.

est un hyperplan afne, alors s crit est une quation de et est

SOUS-SECTION III.4.3

Les Thormes de Banach et de Banach-Steinhaus


P ROPOSITION III.4.6. Soient et deux espaces norms et page 9) dans , pour tout voisinage de zro dans

. Alors, si est non maigre (Dnition II.1.7, , est un voisinage de zro dans .

Dmonstration. Soit , , telle que et soit et que . Clairement est runion des ensembles , , et, comme est suppos non maigre, il existe tel que est dintrieur non vide et, par suite, est aussi dintrieur non vide, ce qui entrane que est un point intrieur de . Comme , le rsultat est dmontr.

Pour noncer le Thorme de Banach, nous avons besoin dune nouvelle terminologie :

D FINITION III.4.1. Soient et deux espaces topologiques et une application de pour tout ouvert de , est ouvert dans .

dans

. On dit que

est ouverte si,

T HORME III.4.2 (Thorme de Banach ).

Soient un espace de Banach et un espace norm et 1. Ou bien est maigre (Dnition II.1.7, page 9) dans

. ou bien

et est une application


61

CHAPITRE III. ESPACES VECTORIELS NORMS

ouverte de dans ; 2. Si est complet et si est surjective alors est ouverte. En particulier, si phisme algbrique, est continue (Thorme disomorphie de Banach).

, si est un isomor-

Dmonstration. Le 2. est une consquence du 1. et du Thorme de Baire (Thorme II.7.1, page 25) qui dit que ne peut tre maigre dans . Dmontrons donc le 1. Si nest pas maigre, la Proposition prcdente dit que, pour tout , est un voisinage de zro dans , cest--dire quil existe tel que , ce qui, par linarit, donne, pour tout , . Nous utilisons maintenant le Lemme suivant :

L EMME . Soient un espace mtrique complet, un espace mtrique et une application continue de que possde la proprit suivante : , . Pour tout , il existe tel que, pour tout Alors, pour tout et tout , .

dans

. On suppose

Dmonstration du Lemme. Soit une suite de rels que

tels que

et

alors, par rcurrence, une suite dans telle que , construits, on a , donc

et,

, et on peut, bien sr, supposer . Soit . On construit et : en effet, si sont , et il existe




, on a par

. Il existe donc, pour tout

tel

tel que

, ce qui montre que la rcurrence se poursuit. Comme

, la suite est de Cauchy

et donc converge vers continue, lon veut.

, ce dernier tant suppos complet. Puisque

, et comme est
avec

, ce qui montre que

et on conclut en remplaant

aussi petit que

Fin de la dmonstration du Thorme de Banach. Grce au Lemme, nous avons pour aussitt que est ouverte. De plus, ceci appliqu et la linarit de montrent que est surjective.

ce qui implique

T HORME III.4.3 (Thorme du graphe ferm ).

Soient et deux espaces de Banach. Pour quune application linaire de faut et il suft que son graphe dans lespace norm soit ferm.

dans

soit continue, il

Dmonstration. La condition est videment ncessaire, vrions quelle est sufsante. Comme un espace de Banach. Comme lapplication est un isomorphisme linaire continu de de Banach (Thorme III.4.2) implique que son inverse lest aussi, do le rsultat.

est complet, le graphe de est sur , le Thorme disomorphie

T HORME III.4.4 (Thorme de Banach-Steinhaus ).


Soient tout dans

un espace de Banach, un espace norm et une famille dlments de , on a , alors .

. Si, pour

Dmonstration. Daprs la Proposition II.7.7, page 25, il existe une boule , bornes. Par linarit, elles sont donc aussi uniformment bornes sur et aussi sur III.4.1, page 59).

, sur laquelle les sont uniformment ce qui prouve le rsultat (Thorme

SOUS-SECTION III.4.4

Le Thorme de Hahn-Banach
D FINITION III.4.2. Soit un espace vectoriel sur . On dit quune fonction de et , on a et .

dans est sous-linaire si, pour tous

T HORME III.4.5 (Thorme de Hahn-Banach rel ).

Soient un espace vectoriel rel et une fonction sous-linaire de dans . Soient un sous-espace vectoriel de et une forme linaire sur telle que, pour tout , on ait . Alors, il existe une forme linaire sur prolongeant telle que, pour tout , .
Licence de Mathmatiques Pures de Bordeaux

62

III.4. ESPACES DAPPLICATIONS LINAIRES ET MULTILINAIRES CONTINUES

Dmonstration. Soit lensemble des couples o est un sous-espace vectoriel de contenant et une forme linaire sur prolongeant et vriant . On ordonne par si et prolonge . Vrions que est inductif : si est une partie totalement ordonne de , en notant lespace vectoriel engendr par les , on dnit forme linaire sur en posant, pour , , et en prolongeant ensuite par linarit (ce qui est possible car est totalement ordonne) ; il est clair que ainsi dnie appartient et majore tous les lments de . Le Lemme de Zorn (Corollaire du Thorme A.3.2, page 108) implique alors que possde un lment maximal . Pour conclure, il suft de prouver que . Supposons que cela soit faux et soit et posons . Comme tout scrit de manire unique avec et , si on pose , , on dnit, sur , une forme linaire qui prolonge . Pour conclure une contradiction, il faut donc voir que lon peut choisir de sorte que . Puisque est sous-additive, on a, pour et dans , , ce qui implique (III.4.1)

et on choisit compris entre le et l de lingalit (III.4.1). Soit alors ; si supposons donc tout dabord . Par le choix de on a, par sous-linarit de et linarit de ,

, il ny a rien prouver,


Si

, de la mme manire on a

ce qui termine la dmonstration. Dans le cas des espaces norms complexes, il faut faire un hypothse plus forte sur la fonction :

T HORME III.4.6 (Thorme de Hahn-Banach ).


Soient une semi-norme sur un espace vectoriel sur , un sous-espace vectoriel de et une forme linaire sur vriant , . Alors il existe une forme linaire sur prolongeant telle que

, il ny a rien montrer (on notera dailleurs que lhypothse faite sur quivaut ), supposons donc , et sont des formes linaires relles et la -linarit de implique donc . Le Thorme de Hahn-Banach rel entrane donc que lon peut prolonger en une forme -linaire sur telle que , . Si on pose alors , est une forme linaire complexe sur qui prolonge . De plus, si est tel que , on a , ce qui termine la preuve.

Dmonstration. Si . Si on crit

La forme la plus usuelle dutilisation du Thorme de Hahn-Banach est le cas dun espace norm avec une forme linaire continue :

C OROLLAIRE . Soient un espace norm, un sous-espace de une forme linaire continue sur et prolonge en une forme linaire continue sur telle que .

. Alors

se

Les deux Thormes de Hahn-Banach peuvent scrire sous une forme gomtrique. Pour cela il nous faut tout dabord dnir la jauge dun ensemble convexe. Rappelons au pralable la dnition dune partie convexe dans un espace vectoriel sur : est convexe si pour tous points et de , le segment joignant dans est contenu dans . On remarquera que cela signie que si et sont des rels on a .

P ROPOSITION III.4.7. Soient un espace vectoriel sur et un sous-ensemble convexe de contenant . 1. On appelle jauge de la fonction sous-linaire dnie sur et valeurs dans

tq

Si, pour tout , il existe tel que (ce qui est par exemple le cas si est un espace norm et contient un voisinage de zro), est nie (i.e. valeurs dans ). 2. Soit t q (resp. t q ). Alors . 3. Si est un espace norm et si est ouvert alors est continue et .

par

63

CHAPITRE III. ESPACES VECTORIELS NORMS

Dmonstration. Il est clair que , pour . Par ailleurs, si et sont tous deux nis (sinon il ny a rien montrer), on a , pour tout , do on dduit la sous-linarit de . Pour voir le 2., on note tout dabord que puis que si , on a pour un , ce qui implique, par convexit de , que , qui est sur le segment qui joint , est aussi dans . Enn sous les hypothses du 3., , il existe tel que ( est ouvert) ce qui montre lgalit, et, la continuit de est vidente car si , puisque est ouvert, un voisinage de est contenu dans .

T HORME III.4.7 (Thorme de Hahn-Banach (gomtrique) ).

Soient un espace vectoriel norm sur , un sous-ensemble ouvert convexe non vide de et une varit linaire afne (i.e. un translat dun sous-espace vectoriel) non vide ne rencontrant pas . Alors il existe un hyperplan afne (c.f. Sous-section III.4.2, page 61) ferm contenant et ne rencontrant pas .

Dmonstration. Supposons tout dabord que le corps des scalaires est . Quitte faire une translation, on peut supposer que et on note la jauge de . Soit lespace vectoriel engendr par ; comme , est un hyperplan afne de et il existe une et une seule forme linaire sur telle que lquation de soit . Par suite, pour tout tel que on a , ce qui donne . Si , donc . Si est tel que , alors lingalit prcdente est vidente puisque est positive, et on a donc . Le Thorme de Hahn-Banach rel (Thorme III.4.5) implique donc quil existe une forme linaire sur prolongeant et telle que . Si on considre alors lhyperplan afne dquation , on a bien , , et est ferm car, tant ouvert non vide, il nest pas dense (Corollaire de la Proposition III.4.5, page 61). Supposons maintenant que le corps des scalaires est . Comme tout espace vectoriel sur est aussi un espace vectoriel sur , la premire partie de la preuve montre quil existe un hyperplan afne rel contenant et ne rencontrant pas . Soit lquation de cet hyperplan (i.e. est une forme linaire relle) et considrons la forme linaire complexe dnie sur par , et notons lhyperplan (complexe) afne dquation . Il est clair que est ferm ; par ailleurs quivaut et , cest--dire . Comme , la dmonstration est termine.

Ce Thorme a des consquences classiques fort utiles sur la sparation des ensembles convexes.

C OROLLAIRE 1. Soient un espace norm rel, un sous-ensemble ouvert convexe non vide et un ensemble convexe non vide ne rencontrant pas . Alors il existe une forme linaire continue sur et un rel tels que sur et sur . On dit que lhyperplan afne ferm dquation spare et . De plus si est ouvert, lhyperplan spare strictement et cest--dire que sur et sur .
Dmonstration. En effet, lensemble est ouvert, convexe, non vide et on a gomtrique ci-dessus dit donc quil existe une forme linaire continue non nulle telle que , . Il suft donc de prendre . La dernire partie est facile : si

sur
(ou

lhyperplan

. Le Thorme de Hahn-Banach ce qui implique , ) est ouvert, il ne peut rencontrer

C OROLLAIRE 2. Soient un espace norm rel, un sous-ensemble convexe ferm non vide et un sous-ensemble convexe compact non vide ne rencontrant pas . Alors il existe une forme linaire continue sur et un rel tels que sur et sur . Autrement dit, lhyperplan afne ferm spare strictement et .
Dmonstration. En effet, daprs la Proposition II.8.16, 5., page 35, il existe une boule , , telle que A ne se rencontrent pas. Comme ces ensembles sont convexes et ouverts la conclusion rsulte du Thorme. et

SOUS-SECTION III.4.5

Dual dun espace norm


D FINITION III.4.3. Soit un espace norm. On appelle dual de , et on note , lespace des formes linaires continues sur . muni de la norme des applications linaires (Thorme III.4.1, page 59) est appel lespace norme . Le dual de lespace norm est appel le bidual de et est not . muni de la norme comme dual de est appel lespace norm bidual de .
Le corollaire du Thorme de Hahn-Banach permet en particulier de prouver lexistence du dual : 64 Licence de Mathmatiques Pures de Bordeaux

III.4. ESPACES DAPPLICATIONS LINAIRES ET MULTILINAIRES CONTINUES

P ROPOSITION III.4.8. 1. Soient un espace norm non rduit zro et telle que et . 2. Soient un espace norm et un sous-espace de seule forme linaire continue sur nulle sur est .

, . Alors

. Il existe une forme linaire continue sur

est dense dans

si et seulement si la

Dmonstration. En effet, si est la forme linaire dnie sur par , on a et, il suft de prolonger, par le Thorme de Hahn-Banach (appliqu en prenant pour semi-norme la norme de ), cette forme tout lespace avec conservation de la norme. Pour voir le 2., on remarque que si , il existe un de qui nest pas adhrent ; alors la forme linaire sur , est continue puisque son noyau est qui est ferm (Proposition III.4.5, page 61), et, en la dnie par prolongeant par le Thorme de Hahn-Banach, on obtient une forme linaire continue sur non nulle qui est identiquement nulle sur .

C OROLLAIRE . Pour quun lment dun espace vectoriel norm linaires continues sur soient nulles en . P ROPOSITION III.4.9. Soit un espace norm. Pour tout , posons lapplication est une isomtrie linaire de dans surjective.
Dmonstration. Comme

soit nul, il faut et il suft que toutes les formes

, pour toute . Alors , et, . On dit que est rxif si cette isomtrie est

Nous terminons ce paragraphe par un rsultat fort utile en analyse fonctionnelle :

, la conclusion rsulte de la Proposition prcdente.

T HORME III.4.8 (Thorme de Banach-Alaoglu ).

Soient un espace norm, lespace norm dual et la boule unit ferme de . Alors munie de la topologie de la convergence simple (Exemple II.6.1, page 22) est un espace topologique compact. De plus, si est sparable, cet espace compact est mtrisable.

Dmonstration. Soit la boule unit de . est un sous-ensemble des lensemble des fonction de dans , qui est compact pour la topologie de la convergence simple daprs le Thorme de Tychonoff (Thorme II.8.1, page 32). Pour voir que est compact, il suft donc de voir que cest un sous-ensemble ferm de ; mais ceci est vident car les fonctions sont continues sur (c.f. Remarque II.6.1, page 22). Enn la mtrisabilit de dans le cas o est sparable rsulte de la Proposition II.8.27, page 41.

Duaux des espaces


T HORME III.4.9.
Soit

SOUS-SECTION III.4.6

et

un espace norm. Pour

, soit tel que . Alors, lapplication de dans le dual de dnie par, , , est une

, la mme application est une isomtrie linaire surjective de

isomtrie linaire surjective. lorsque sur le dual de .


Dmonstration. La preuve utilise le Lemme suivant : L EMME .

et tant comme ci-dessus, soient

. Alors

Dmonstration du Lemme. Ceci rsulte dune part de lingalit de Hlder ((II.3.1), page 12) et, dautre part, si

lorsque est ni, et est vident pour

, en prenant

65

CHAPITRE III. ESPACES VECTORIELS NORMS

Dmontrons maintenant le Thorme. Considrons tout dabord le cas des espaces . Tout dabord voyons que si appartient , , et si alors la famille est sommable : en effet, si est une partie nie de , lingalit de Hlder donne

do le rsultat. De plus ceci montre que est une forme linaire continue telle que . telle que Pour conclure, il suft de montrer que si est une forme linaire continue sur il existe avec . Pour tout , soit le sous-espace de form des familles telles que si . Clairement sidentie (comme espace norm) et est une forme linaire continue sur . Soit une partie nie de . Pour tout , soit , , tel que soit un rel positif suprieur o dsigne

le nombre dlments de

. Soient

, tels que

et

sinon. Alors

lensemble , daprs le Lemme, il vient . Ceci tant vrai pour tout et toute partie nie de , la preuve de la premire partie du Thorme est termine. Considrons maintenant le cas de . Tout dabord, on voit aussitt que si alors est une forme linaire continue sur de norme (en fait cest une forme linaire continue de mme norme sur ). Cest la , nous pouvons rciproque quil faut dmontrer. Soit une forme linaire continue sur . Comme dans la dmonstration pour dnir les formes linaires sur et il faut voir que . Si est un lment de tel que sauf au plus pour un ensemble ni dindices, on a clairement . La conclusion rsulte alors du fait que

, et posons

avec

si

, cest--dire

. En prenant le sur

lensemble de ces lments est dense dans

Remarque III.4.2. La dmonstration ci-dessus montre que est canoniquement contenu dans le dual de , mais il nest . La preuve faite pour nest pas valable pour car lensemble des lments de pas, en gnral, gal (par support de , on entend lensemble des indices tels que ) contrairement support ni nest pas dense dans .

SECTION III.5

Espaces norms de dimension nie


SOUS-SECTION III.5.1

Structure des espaces norms de dimension nie


P ROPOSITION III.5.1. Sur muni de la norme euclidienne, toute semi-norme est continue.
Dmonstration. Notons la norme euclidienne dun lment de . Il suft de montrer quune semi-norme sur est continue en zro (la continuit en un point quelconque rsultant alors de lingalit triangulaire). Soit la base canonique de , et, pour

, notons

montre le rsultat cherch.

. On a

par lingalit de Cauchy-Schwarz, ce qui

T HORME III.5.1.
1. Sur un espace vectoriel de dimension nie, toutes les normes sont quivalentes.
66 Licence de Mathmatiques Pures de Bordeaux

III.5. ESPACES NORMS DE DIMENSION FINIE

2. Soient

un espace vectoriel norm de dimension nie et

une base de

. Alors lapplication


est un isomorphisme bicontinu de sur complet et localement compact.

. En particulier, tout espace vectoriel norm de dimension nie est

Dmonstration. Dmontrons tout dabord le 1. Considrons en premier le cas o lespace vectoriel est , et soient et deux normes sur sur celui-ci. Soit la sphre unit de pour la norme euclidienne. Comme et ne sannulent pas sur qui est compact (Proposition II.8.14, page 35) et sont continues daprs la Proposition prcdente, daprs la Proposition II.8.3, page 31, il existe deux

, , , on conclut , telles que, pour , on a . En appliquant ceci que , pour tout , ce qui termine ce cas. Enn, le cas dun espace vectoriel quelconque est immdiat puisque si celui-ci est isomorphe un par (construite avec une base), alors et et , sont des normes sur . Vrions maintenant le 2. Puisque est un isomorphisme, lingalit de Cauchy-Schwarz montre que
constantes

est une norme sur

, et le 1. implique donc quil existe deux constantes

telles que

cest--dire linaire bijective bicontinue.

ce qui signie exactement que

est une application

P ROPOSITION III.5.2. Soient un espace norm de dimension nie et est continue.


Dmonstration. En effet, si

un espace norm. Toute application linaire de


est une base de
, puisque lapplication

dans

est une telle application et si

est trivialement continue, le rsultat est une consquence de la Proposition prcdente.


Remarque III.5.1. On notera que ce dernier rsultat est bien sr faux si

nest pas de dimension nie.

P ROPOSITION III.5.3. Soient un espace norm, un sous-espace vectoriel ferm de et un sous-espace vectoriel de dimension nie de . Alors est ferm. En particulier, tout sous-espace vectoriel de dimension nie dun espace norm est ferm (ce qui rsulte aussi bien sr de Thorme III.5.1).
Dmonstration. Par rcurrence sur la dimension de , on voit facilement quil suft de faire la preuve lorsque est de dimension gale cest--dire lorsque , et de plus on peut supposer . Alors, si est la forme linaire sur dont le noyau est et qui vaut en , elle est continue (sur ) daprs la Proposition III.4.5, page 61. Soit alors un point de adhrent et soit une suite dans qui converge vers . Si on pose , comme est continue sur donc uniformment continue (Thorme III.4.1, page 59), est une suite de Cauchy dans qui converge donc vers . Il en rsulte que est aussi convergente vers , et ce dans puisque ce dernier est ferm, ce qui donne nalement , ce qui montre que est ferm.

P ROPOSITION III.5.4. Soient un espace norm et un sous-espace vectoriel ferm de supplmentaire algbrique de est un supplmentaire topologique.

de codimension nie. Alors tout

Dmonstration. Soit un supplmentaire algbrique de dans . Raisonnons par rcurrence sur la dimension de . Si est de dimension , le rsultat est donn par la Proposition III.4.5, page 61. Supposons le rsultat montr pour les de codimension , et soit un supplmentaire de de dimension . Posons o est de dimension et de dimension . La Proposition prcdente montre que est ferm dans et lhypothse de rcurrence dit que est un supplmentaire topologique de cest--dire que est homomorphe . Le cas montrant que est isomorphe , on en dduit que est homomorphe , et, comme est homomorphe , est bien homomorphe .

67

CHAPITRE III. ESPACES VECTORIELS NORMS

D FINITION III.5.1. Dans un espace norm , on appelle suite totale (resp. famille totale) toute suite (resp. famille) telle que lespace vectoriel engendr par ses lments soit dense dans . P ROPOSITION III.5.5. Soit un espace norm. 1. Sil existe une suite totale dans , alors est sparable. 2. Si est sparable, il existe une suite totale forme de vecteurs linairement indpendants.
Dmonstration. En effet, en considrant les combinaisons linaires coefcients dans (i.e. dans si et de la forme , avec et dans si ) on voit immdiatement le 1. Dans les conditions du 2., et, en supposant en plus que est de dimension innie (sinon il ny a rien montrer), si est une suite dense, on construit une suite extraite en prenant pour le premier entier tel que , puis, les , , tant construit, on choisit de sorte que soit le plus petit entier tel que ne soit pas dans lespace engendr par les , , (ce qui est possible car, dans le cas contraire, possderait un sous-espace dense de dimension nie et comme un tel sous-espace est ferm (Proposition III.5.3, page prcdente) serait de dimension nie). Il est alors clair que la suite ainsi construite rpond le question.

T HORME III.5.2 (Thorme de Frdric Riesz ).


Soit un espace norm. Les trois conditions suivantes sont quivalentes : 1. est de dimension nie ; 2. est localement compact ; 3. La boule unit ferme (centre en zro) de est compacte. 4. La boule unit (centre en zro) de est prcompacte. 5. Il existe des points , , et un rel , , tels que les boules recouvrement de la boule unit de .

forment un

Dmonstration. Limplication 1. 2. a t vue au Thorme III.5.1, page 66, et limplication 2. 3. rsulte du fait quune homothtie (non nulle) est un homomorphisme. Il est clair que 3. 4 et que 4. .5. Montrons que 5. 1. Soit la boule unit ferme centre en zro de . Par hypothse, il existe un nombre ni de points , , de tels que les boules recouvrent (car est ladhrence de ). Soit le sous-espace vectoriel de engendr par les . On a donc , donc, par rcurrence, . Soit alors ; en particulier , et posons avec et , qui est une boule compacte daprs le Thorme III.5.1, et il existe donc une suite extraite qui converge vers un point de celui-ci tant ferm (Proposition III.5.3, page prcdente). Par passage la limite, on obtient donc (puisque ) ce qui donne et achve la preuve.

SOUS-SECTION III.5.2

Sries et familles sommables dans les espaces norms de dimension nie


P ROPOSITION III.5.6. Soit une famille dlments dun espace norm de dimension nie sur . Les proprits suivantes sont quivalentes : 1. La famille 2.

3. Lensemble des sommes nies de est born. 4. Si

est absolument sommable. La famille est sommable.

, la srie est commutativement convergente.

Dmonstration. Daprs le Thorme III.5.1, page 66 et la Proposition III.3.10, page 57, on voit quil suft de faire la dmonstration lorsque puis lorsque . Les implication 1. 2. et 2. 3. sont videntes, montrons donc que 3. 1. Par hypothse, il existe deux rels positifs et tels que, pour toute partie nie de on a . Si, pour tout on pose

avec

si

sinon, on a

sommables, ce qui donne 1. Dans le cas o III.3.2, page 58.

et

, lquivalence des trois premires proprits avec la quatrime rsulte du Thorme

, ce qui implique que les familles et sont

68

Licence de Mathmatiques Pures de Bordeaux

EXERCICES

C OROLLAIRE . Si est de dimension nie, indexes sur .

(Dnition III.3.6, page 59) est lespace des familles sommables dans

P ROPOSITION III.5.7. Soit une suite de nombres rels telle que la srie soit convergente mais pas absolument convergente. Alors, pour tout rel il existe une bijection de telle que la srie soit convergente de somme . Dmonstration. Esquissons simplement la preuve. En crivant , comme dans la dmonstration prcdente, lhypothse entrane que les suites et tendent vers zro et que les sries et sont divergentes. On dnit alors la bijection de la manire suivante : on prend tout dabord les premiers , tels que , , et , de sorte que , ce qui est possible daprs ce qui prcde. Puis on prends les premiers , tels que , , , de sorte que et , ce qui est encore une fois possible. Et ainsi de suite. Le fait que les suites et tendent
vers zro permet alors de conclure.

Exercices
Exercice III.1. Soit un - espace vectoriel norm. Montrer que : 1. Si et si est ferm (resp. ouvert, compact, connexe) est ferm (resp. ouvert, compact, connexe). 2. Si est une partie quelconque de et est un ouvert de , est ouvert. 3. Si et sont deux compacts ( resp. connexes ) de , est compact ( resp. connexe ). 4. Si est un compact de , un ferm de , est ferm. ( Cette proprit reste-t-elle vraie si et sont ferms ?) .

Exercice III.2. Montrer que dans un espace norm, ladhrence de toute boule ouverte est homomorphe .

est la boule ferme et que toute boule ouverte

Exercice III.3. Cet exercice est traiter sans utiliser la norme doprateur continu. Soit coefcients rels. Pour 1. Montrer que

, on pose
est une norme sur

lensemble des matrices carres dordre

et pour

et que lon a aussi

et pour tout , 2. Pour , on pose est complet. 3. Pour


sont des normes quivalentes et que

et enn,

. . Montrer que et

, montrer que la srie

est convergente ( convention : est la matrice unit).

Exercice III.4. Sur lespace des polynmes coefcients complexes, on pose, pour

Montrer que lon dnit ainsi trois normes non quivalentes et que

nest pas complet.


69

CHAPITRE III. ESPACES VECTORIELS NORMS

Exercice III.5. 1. Montrer que tout sous espace vectoriel strict dun espace norm est dintrieur vide. Que dire dun sous espace born ? 2. Montrer que si est un espace de Banach de dimension innie, sa dimension ne peut tre dnombrable.

Exercice III.6. 1. Soit et deux fonctions de de ( laide dune intgrale). 2. Soit

dans ,

de classe

et continue. On suppose que

. Exprimer

en fonction et

l espace des fonctions de classe


. Dmontrer que les deux applications prcdentes sont des normes quivalentes (utiliser 1. pour

sur lintervalle nulles en . Si , on pose

lquivalence).

Exercice III.7. Soit une application continue. Pour toute fonction continue . 1. Dmontrer que est une semi-norme sur lespace 2. Dmontrer que est une norme si et seulement si lensemble des zros de

sur

valeurs dans , on pose

est dintrieur vide.

Exercice III.8. Les espaces ont t dnis en cours. 1. Soit et tels que et quon a

, montrer dabord que si .

, alors et quon a
t q

puis que

2. b)

dsigne une suite de nombres rels strictement positifs. On pose Dmontrer que est un espase vectoriel norm par lapplication .

3. c) On suppose que la srie Exercice III.9. 1. Dmontrer quune famille nies

converge et que est

. Dmontrer que est stictement contenu dans .

2. Soit une famille de nombres rels. Montrer que les assertions suivantes sont quivalentes : i) La famille absolument sommable ; ii) Cette famille est sommable ; iii) Lensemble des sommes nies est born. 3. Soit

nie

de nombres rels positifs ou nuls est sommable si et seulement si lensemble des sommes

est major.

est

une famille de nombres complexes ; On suppose que

est une runion disjointe :

, que pour chaque


, la famille est sommable et que la famille 


est sommable et que

est aussi sommable. Dmontrer que la famille

sont

4. Application. Soit une famille de nombres complexes ( srie double ). On suppose que les sries convergentes pour tout et que la srie sont convergentes et que

est aussi convergente. Dmontrer que les sries

et

Exercice III.10. On considre une application

de

dans

somme dune srie entire sur


Soit un point de . Montrer que lapplication convergence est au moins .

est dveloppable en srie entire de la variable et que le rayon de

70

Licence de Mathmatiques Pures de Bordeaux

EXERCICES

Exercice III.11. Ecrire le dveloppement en srie entire de la fonction

. est complet ( .

Exercice III.12. Soit un espace de Banach et un ensemble quelconque. Dmontrer que lespace Exercice III.13. Soit lensemble des polynmes coeefcients rels. On dnit 1. Dmontrer que lapplication 2. Soit un rel seulement si est une norme sur

.
est muni de cette norme.

. Dans les questions suivantes,

3. Lapplication

. Calculer la norme de lorsque est continue.


est elle continue sur

?

et lapplication de

dans dnie par

. Dmontrer que est linaire et continue si et

Exercice III.14. Soit lapplication de

cest dire :

dans dnie par . Montrer que

o est un rel de lintervalle .

est muni de la norme

nest pas continue.

Exercice III.15. Soit lapplication de dans dnie par : muni de sa norme usuelle).

. Montrer que est linaire continue et calculer la norme de ( est

Exercice III.16. Soit une application linaire de dans lui-mme et la matrice de dans la base canonique de . On munit de la norme . Lapplication est elle continue ? Dterminer la norme de en fonction des coefcients de la matrice . Exercice III.17. Soit lespace des fonctions continues de dans , muni de la norme de la convergence uniforme. On dsigne par un lment x de et par lapplication de dans dnie par :


1. Dmontrer que est linaire continue. 2. Calculer la norme de lorsque est

3. Calculer la norme de lorsque est la fonction Exercice III.18. Soit muni de sa norme usuelle et soit On pose ; .

.
pour tout .

1. Dmontrer que est une application linaire continue de dans lui-mme. 2. Dterminer la norme de .

une suite borne de nombres complexes telle que

3. Montrer que est injective. 4. Etablir une condition ncessaire et sufsante portant sur 5. Prouver que limage de est toujours dense dans .

pour que soit surjective.

Exercice III.19. Soient et deux espaces de Banach et une application linaire de dans . On suppose que pour toute forme linaire continue appartenant au dual topologique de , lapplication est continue. Dmontrer que lapplication est continue.

Exercice III.20. Soit un espace norm, un systme libre de existe une forme linaire continue sur , telle que pour tout Exercice III.21. Soit un espace norm et

et

une famille quelconque de scalaires. Dmontrer quil on ait .

un lment de (le dual topologique de . On suppose que est non nulle et on dsigne par le . Quel rsultat bien connu retrouve-t-on, dans le cas o est noyau de . Dmontrer que pour tout , on a :
lespace ou lespace muni de la norme euclidienne ?

71

CHAPITRE III. ESPACES VECTORIELS NORMS

Exercice III.22. Dmontrer que le dual toplogique de (resp. avec

llment tel que si et si ; puis une forme linaire , on associera la suite et on dmontrera que cette application est une isomtrie surjective. Quel est dans le raisonnement largument qui ne convient pas dans le cas de ? Exercice III.23. Soit une suite de nombres complexes telle que la srie converge pour toute suite appartenant . Dmontrer que la srie

. Indication : On constatera qu un lment

) sidentie isomtriquement (resp. o est un rel tel que (resp. ) est gal la somme dans (resp. ) o est

est convergente. Indication : Considrer les formes linaires

dnies par

leurs normes et conclure en utilisant lxercice prcdent et le thorme de Banach-Steinhaus. Exercice III.24. Soit un entier x et

; dterminer

lespace vectoriel des polynmes coefcients complexes de degr . Dmontrer quil existe deux . constantes relles et strictement positives telles que :

Exercice III.25. Soit un entier et une partie borne de de cardinal . On suppose que est une suite de fonctions polynmes coefcients complexes de degr qui converge uniformment sur vers une fonction . Dmontrer que est la restriction dune fonction polynme de degr . Exercice III.26. et sont deux espaces norms et un oprateur linaire de de est relativement compacte dans . 2. Dmontrer que si est continu et si la dimension de . On dit que est compact si limage de la boule unit ferme peut elle tre compacte ? dans lespace et

dans

1. Dmontrer quun oprateur compact est continu. Lidentit de

3. On suppose , alors est compact (on pourra penser la prcompacit).

est nie, est compact. complet. Dmontrer que si une suite doprateurs compacts converge vers un lment

4. Soit pour

muni de la norme de la convergence uniforme. Soit une fonction continue de dans la fonction dnie sur par


(b) Montrer que si est un polynme, est compact. (a) Montrer que est une application linaire continue de

dans

(c) En utilisant le thorme de Stone-Weierstrass, montrer que est compact. de

Exercice III.27. Soient , , trois espaces norms, ou tant complet. On considre une application bilinaire que est continue si et seulement si pour tout lment les applications sont continues (On pourra utiliser le thorme de Banach-Steinhauss).

et

dans

. Dmontrer

72

Licence de Mathmatiques Pures de Bordeaux

C HAPITRE

ESPACES DE HILBERT
D

ans ce chapitre, comme dans le prcdent, dsigne soit le corps des nombres rels soit le corps des nombres complexes. dsigne lautomorphisme identique de lorsque et la conjugaison complexe lorsque .

Formes hermitiennes
SOUS-SECTION IV.1.1

Gnralits
D FINITION IV.1.1. Soient et deux espaces vectoriels sur . On dit quune application de sesquilinaire si elle vrie les deux conditions suivantes : (i) Pour tout , lapplication de dans est linaire ; (ii) Pour tout , lapplication de dans est semi-linaire (i.e., et, pour ).

De plus, si pour tous hermitienne.

et

on a

(symtrie hermitienne), on dit que

Remarque IV.1.1. Lorsque

, une forme hermitienne sappelle aussi une forme bilinaire symtrique.

P ROPOSITION IV.1.1. Soient un espace vectoriel sur et une forme sesquilinaire sur . 1. Si , est hermitienne si et seulement si pour tout , est rel. 2. Pour tous et de on a :
73

ERTIPAHC

SECTION IV.1

dans est une forme

est une forme

CHAPITRE IV. ESPACES DE HILBERT

(a) Si (b) Si

, et

est hermitienne,

; .

Dmonstration. La ncessit du 1. rsulte immdiatement de la symtrie hermitienne et la sufsance rsulte du (b) du 2. Le (a) du 2. est immdiat et le (b) se vrie par un calcul direct.

D FINITION IV.1.2. 1. On appelle noyau dune forme hermitienne sur lespace vectoriel form des tels que , . On dit quune forme hermitienne sur un espace vectoriel sur est non dgnre si son noyau est rduit . 2. On appelle vecteur isotrope dune forme hermitienne sur un lment de tel que . 3. Deux lments dun espace sont dit orthogonaux pour une forme hermitienne si .

SOUS-SECTION IV.1.2

Formes hermitiennes positives


D FINITION IV.1.3. Soit un espace vectoriel sur . On dit quune forme hermitienne . P ROPOSITION IV.1.2 (Ingalit de Cauchy-Schwarz ). Si est une forme hermitienne positive sur , on a, pour tous

sur

est positive si,

Dmonstration. En effet, pour tout

, on a , ce qui scrit

et le discriminant de lquation du second degr en est ngatif ou nul, cest--dire remplaant par avec de sorte que .

, et on conclut en

P ROPOSITION IV.1.3. Soit une forme hermitienne positive sur 1. Un lment de est dans le noyau de si et seulement si il est isotrope. En particulier, est non dgnre si et seulement si implique . 2. Pour tous , on a (ingalit de Minkowski)
Dmonstration. Le 1. rsulte aussitt de lingalit de Cauchy-Schwarz. Pour voir le 2., on reprend la preuve de lingalit de CauchySchwarz avec ce qui donne et on applique lingalit de Cauchy-Schwarz.

C OROLLAIRE . si Si est une forme hermitienne positive sur est non dgnre. alors

est une semi-norme sur

et une norme

Remarque IV.1.2. Soit une forme hermitienne non dgnre sur . 1. Dans lingalit de Cauchy-Schwarz on a galit si et seulement si et sont linairement dpendants. 2. Dans lingalit de Minkowski, on a galit si et seulement si on a avec .

Dmonstration. Si , on a , ce qui donne la condition sufsante pour CauchySchwarz, et, si , on voit facilement que lon a galit dans lingalit de Minkowski si . Rciproquement, supposons que lon a galit dans lingalit de Cauchy-Schwarz. La dmonstration de cette dernire montre alors quil existe tel que ce qui signie que , puisque est non dgnre. Enn, si on a galit dans lingalit de Minkowski, la preuve de celle-ci montre que lon a galit dans lingalit de Cauchy-Schwarz, donc , et aussi que , et, comme , il faut , et enn comme prcdemment.

74

Licence de Mathmatiques Pures de Bordeaux

IV.2. ESPACES PRHILBERTIENS ET HILBERTIENS

SOUS-SECTION IV.1.3

Exemples de formes hermitiennes


1. Soit

lespace des familles de carrs sommables , indexes par , de nombrescomplexes (i.e. sommable ou , il rsulte que la famille sommable ce qui revient au mme) . En remarquant que

est sommable. Si on pose alors

est une forme hermitienne positive non dgnre sur

2. Sur lespace

, lapplication

est une forme hermitienne positive non dgnre.

SECTION IV.2

Espaces prhilbertiens et Hilbertiens


le fait que implique . Clairement une semi-norme dnit un cart sur lespace avec lequel on peut dnir des boules (comme avec une distance) et donc une topologie sur . Ces remarques amnent poser la dnition suivante : est une forme hermitienne sur , lapplication En termes du chapitre prcdent, lingalit de Minkowski dit que si est une semi-norme sur cest--dire une application de dans qui vrie les axiomes des normes sauf ventuellement

D FINITION IV.2.1. On appelle espace prhilbertien un espace vectoriel muni dune forme hermitienne positive. Celle-ci est gnralement note (ou ) et est appele le produit scalaire. est une seminorme sur , et, est toujours considr muni de cette semi-norme et de la topologie qui lui est associe. Si le produit scalaire est non dgnr, cest--dire si lespace topologique est spar, est une norme et est donc considr comme muni de la structure despace norm induite.On appelle espace de Hilbert un espace prhilbertien spar complet.
Si est un sous-espace vectoriel dun espace prhilbertien , lorsque lon parle de lespace prhilbertien expresse du contraire, de lespace obtenu en munissant de la restriction du produit scalaire de . La Proposition qui suit est une consquence immdiate des dnitions : il sagit, sauf mention

P ROPOSITION IV.2.1. Soient un espace prhilbertien, et deux points de . 1. On a . En particulier, si x et sont orthogonaux, on a (Thorme de Pythagore). 2. On a

ou encore

(Thorme de la mdiane).

D FINITION IV.2.2. Soient et deux espace prhilbertiens. On dit quune application de dans est un homomorphisme (resp. isomorphisme) despaces prhilbertiens, ou simplement un homomorphisme (resp. isomorphisme), si est linaire (resp. linaire bijective) et si elle conserve les produits scalaires cest--dire . En particulier, un homomorphisme est une isomtrie.

T HORME IV.2.1 (Compltion des espaces prhilbertiens spars ).


Soit un espace prhilbertien spar. Alors il existe un unique ( un isomorphisme prs) espace de Hilbert pour lequel il existe un isomorphisme (despaces prhilbertiens) de sur un sous-espace dense de .

75

CHAPITRE IV. ESPACES DE HILBERT

Dmonstration. Compte tenu du Thorme III.1.1, page 53, il nous suft de voir que si est un espace norm complt de , on peut munir dun produit scalaire qui dnit la structure despace norm. Ceci est trs simple : comme pour la compltion des espaces norms, on remarque que lapplication est une isomtrie de dans qui se prolonge donc en un produit scalaire qui dnit la norme de .

SECTION IV.3

Exemples
2. Si est un espace prhilbertien, lespace norm (c.f. Sous-section III.3.4, page 59) est un espace prhilbertien pour le . De plus, si est complet, est un espace de Hilbert (Proposition III.3.12, produit scalaire
page 59). Nous verrons plus loin que est lexemple fondamental despace de Hilbert, dans le sens o tout espace de Hilbert est isomorphe un espace de ce type. 3. Sur lespace 1. muni du produit scalaire euclidien est un espace de Hilbert.

des fonctions continues de dans , le produit scalaire dnit une structure est forme dlments de deux deux orthogonaux et de despace prhilbertien non complet. La famille normes gales et est totale en vertu du Thorme de Stone-Weierstrass complexe (Corollaire 4, page 39) : pour le voir, on remarque tout dabord que le Thorme de Stone-Weierstrass implique que lespace vectoriel engendr par la famille est une algbre uniformment dense dans lespace de Banach des fonctions continues de dans telles que (de la manire suivante : si est cet espace, on lidentie avec lespace des fonctions continues sur le tore tels que (qui est compact) par lapplication , , et, le Thorme de StoneWeierstrass complexe implique que la famille est totale dans ), puis on approche toute fonction continue (pour la norme associe au produit scalaire) par une fonction continue qui prend les mme valeurs en et en ce qui se fait aisment.
Nous verrons dans le dernier paragraphe de ce chapitre dautres exemples classiques de familles orthonormales dans cet espace.

4. Soit

lespace des matrices coefcients complexes. Lapplication


, dnit, sur

, avec une structure despace de Hilbert (qui est isomorphe ).

SECTION IV.4

Projection sur un sous-ensemble convexe


SOUS-SECTION IV.4.1

Projection sur un convexe spar et complet


T HORME IV.4.1 (Thorme des Projections sur un convexe ).
Soient un espace prhilbertien, une partie convexe non vide de telle que le sous-espace mtrique soit spar et complet. Alors, pour tout , il existe un et un seul point dans tel que . De plus, est lunique point de tel que, pour tout , on ait . sappelle la projection de sur .
Licence de Mathmatiques Pures de Bordeaux

76

IV.4. PROJECTION SUR UN SOUS-ENSEMBLE CONVEXE

Dmonstration. Posons

. Le thorme de la mdiane (Proposition IV.2.1, page 75) donne, pour et dans ,


soit

(IV.4.1) , elle donne , Lunicit se dduit aussitt de cette ingalit, car, si et sont dans et tels que et comme est spar, . Dmontrons maintenant lexistence. Soit une suite dans telle que . En posant , (IV.4.1) applique et , donne ce qui montre que la suite est de Cauchy et donc converge dans puisque ce dernier est suppos complet, ce qui prouve
lexistence. Montrons maintenant la seconde partie du Thorme. Soit . Puisque est convexe, , , ce qui implique . En levant ceci au carr, il vient

. Comme , par convexit de , on a

, et il vient

et, en simpliant par et en faisant tendre vers zro, il viens . Rciproquement, supposons que soit tel que on ait . Alors en crivant et en dveloppant, il vient , ceci pour tout , ce qui montre bien que et termine la dmonstration du Thorme.
P ROPOSITION IV.4.1. Soient un espace prhilbertien, une partie convexe non vide de telle que le sous-espace mtrique soit spar et complet. Si et sont deux points de on a . Autrement dit la fonction est contractante (donc en particulier continue).
Dmonstration. En effet, en crivant

, il vient

et, daprs la dernire assertion du Thorme des projections, on a


ce qui donne le rsultat.

Les deux propositions qui suivent tudient le comportement de par rapport au convexe .

P ROPOSITION IV.4.2. Soient un espace prhilbertien, une suite dcroissante de parties convexes non vides de telles que, pour tout , le sous-espace mtrique soit spar et complet, et posons . Soit un point de . Alors : 1. La suite est croissante. 2. est non vide si et seulement si il existe tel que . 3. Si est non vide, pour tout , la suite est convergente de limite .
Dmonstration. Le 1. est vident, montrons tout dabord le 2. La condition est clairement ncessaire car , pour tout . Vrions quelle est sufsante. Le 1. et lhypothse montrent que la suite est convergente ; soit sa limite. Soit la boule ferme de centre et de rayon . Alors, par construction, la suite est une suite dcroissante de convexes ferms, contenus dans qui est complet, dont le diamtre tends vers zro : en effet, si et sont deux points de , par convexit, , donc avec , et lgalit de la mdiane

(Proposition IV.2.1, page 75) donne


La Proprit de Cantor (Proposition II.7.5, page 24) implique alors que lintersection des est non vide et contient un et un seul point qui est ncessairement dans tous les donc dans qui est donc non vide. Le 3. se dduit du raisonnement ci-dessus car , pour tout .

77

CHAPITRE IV. ESPACES DE HILBERT

P ROPOSITION IV.4.3. Soient un espace prhilbertien, une partie convexe non vide telle que le sous-espace mtrique soit spar et complet. Soit une suite croissante de sous-ensembles convexes non vides de contenus dans et tels que, pour tout le sous-espace mtrique soit complet. Posons ensemble convexe non vide de tel que le sous-espace mtrique la suite converge vers .

. Alors est un sous soit spar et complet et, pour tout de ,

Dmonstration. Clairement est convexe non vide spar et complet, il faut simplement vrier la dernire assertion de lnonc. Puisque la suite est dcroissante elle converge clairement vers . Comme

on obtient que est positif ou nul et tend vers zro quand , et, comme , pour tout (Thorme IV.4.1, page 76), on obtient que converge vers
puisque est spar.

SOUS-SECTION IV.4.2

Projection sur un cne convexe spar et complet


Rappelons tout dabord la dnition dun cne dans un espace vectoriel :

P ROPOSITION IV.4.4. Soit un espace vectoriel sur . On dit quune partie de est un cne de sommet si est stable par les homothties de centre et de rapport (i.e. ). On dit que est point si . De plus : Pour que soit un cne de sommet , il faut et il suft que, pour tout , on ait , et pour que soit un cne convexe de sommet il faut et il suft que, pour tout , on ait et que . En particulier, un cne de sommet est convexe si et seulement si .
La vrication de cette proposition est immdiate.

P ROPOSITION IV.4.5 (Thorme des Projections sur un cne convexe ). Soient un espace prhilbertien et un cne convexe point de sommet tel que le sous-espace mtrique soit spar et complet. Alors, pour tout , est caractris par les trois proprits suivantes : (i) ; (ii) , ; (iii) .
Dmonstration. En effet, vrions tout dabord que ces relation sont satisfaites. tant un cne convexe, , , et la relation (ii) rsulte du Thorme des projections (Thorme IV.4.1, page 76). Par ailleurs, comme , le mme Thorme donne , ce qui, confront (ii) donne (iii). Supposons maintenant que vrie les relations (ii) et (iii) (avec remplac par ). Alors donc , , ce qui donne le rsultat daprs le Thorme des projections sur un convexe.

SOUS-SECTION IV.4.3

Projection sur un sous-espace vectoriel spar et complet


T HORME IV.4.2 (Thorme des Projections sur un sous-espace ).
Soient un espace prhilbertien et un sous-espace vectoriel de tel que le sous-espace mtrique soit spar et complet. Alors, pour tout , est lunique point de tel que soit orthogonal .
Licence de Mathmatiques Pures de Bordeaux

78

IV.4. PROJECTION SUR UN SOUS-ENSEMBLE CONVEXE

Dmonstration. Lingalit (ii) du Thorme des projections sur un cne convexe applique et , , donne . Ceci appliqu et donne , ce qui montre que est orthogonal . Rciproquement, si est tel que est orthogonal , le Thorme des projections sur un cne convexe donne .

P ROPOSITION IV.4.6. Soient un espace prhilbertien et un sous-espace vectoriel de tel que le sous-espace mtrique soit spar et complet. Alors, est une application linaire continue de dans telle que .
Dmonstration. Cest une consquence immdiate de la Proposition IV.4.1, page 77.

P ROPOSITION IV.4.7 (Thorme des trois perpendiculaires ). Soient un espace prhilbertien, un sous-espace vectoriel spar et complet de vectoriel ferm de . Alors, pour tout , .
Dmonstration. En effet, pour tout , on a donne , do le rsultat.

et un sous-espace

, ce qui

SOUS-SECTION IV.4.4

Dual dun espace de Hilbert


P ROPOSITION IV.4.8. Soient un espace prhilbertien et . Lapplication De plus, si est spar, la norme de cette forme linaire est .

est une forme linaire continue sur

Dmonstration. Ceci est immdiat : lingalit de Cauchy-Schwarz (Proposition IV.1.2, page 74) montre que la norme de la forme linaire est majore par , et, en prenant , on obtient lgalit.

T HORME IV.4.3 (Dual dun espace de Hilbert ).

Soit un espace de Hilbert. Pour toute forme linaire continue sur , il existe un unique lment de tel que, pour tout , on ait . De plus lapplication est une isomtrie semi-linaire surjective du dual de (muni de sa norme c.f. Dnition III.4.3, page 64) sur .

Dmonstration. Montrons tout dabord lexistence de . Si , cest vident, supposons donc . Soit ; nous savons que est un hyperplan ferm de (Proposition III.4.5, page 61) donc complet, et, daprs le Thorme IV.4.2, page ci-contre, pour , est un vecteur non nul orthogonal . Daprs la Proposition prcdente, est une forme linaire continue sur dont le noyau est ce qui implique que et sont proportionnelles : il existe tel que

cest--dire

, pour tout

; en particulier, pour

, ceci donne

sur

Montrons maintenant la seconde partie de lnonc. La Proposition prcdente montre que . Il reste dont voir quelle est semi_linaire ce qui rsulte aussitt de lunicit de ..

do . est une isomtrie surjective de

P ROPOSITION IV.4.9. Pour quune famille que et ,

dun espace de Hilbert soit totale (Dnition III.5.1, page 68), il faut et il suft impliquent .

Dmonstration. Cest bien sr une consquence immdiate du Thorme prcdent et du Thorme de Hahn-Banach (Thorme III.4.6, page 63), mais on peut donner un preuve trs simple nutilisant pas laxiome du choix. La condition est videment ncessaire, montrons quelle est sufsante. Soit le sous-espace ferm de engendr par les , . Si , soit ; alors est orthogonal (Thorme IV.4.2) et non nul ce qui contredit lhypothse.

Un exemple classique dutilisation du Thorme sur le dual dun espace de Hilbert est lexistence de ladjoint dun oprateur sur un espace de Hilbert :

P ROPOSITION IV.4.10. Soient un espace de Hilbert et (i.e. une application linaire continue de dans lui mme, ce que lon appelle habituellement un oprateur sur ). Alors il existe un unique oprateur tel que, pour tous et dans on ait . sappelle ladjoint de . De plus .

79

CHAPITRE IV. ESPACES DE HILBERT

Dmonstration. En effet, tant x, lapplication tant une forme linaire continue sur , daprs le Thorme IV.4.3, page prcdente, il existe un unique lment de tel que , pour tout . De lunicit, on est linaire. De plus, dduit aussitt que , ce qui implique , ce qui

signie que est continu et que sa norme est gale celle de .

Les proprits suivantes sont des consquences immdiates de la dnition :

P ROPOSITION IV.4.11. Soient un espace de Hilbert et et deux oprteurs sur . Alors : 1. . 2. Pour tous scalaires et , on a . 3. .

SOUS-SECTION IV.4.5

Sous-espaces orthogonaux supplmentaires


D FINITION IV.4.1.

Soient un espace prhilbertien et un sous-espace vectoriel de . On appelle orthogonal de tels que . sous-espace vectoriel ferm

dans

le

Il est clair que

est bien un sous-espace vectoriel ferm de

P ROPOSITION IV.4.12. est spar et complet), on a . 2. Supposons est spar et complet. Alors et est somme directe topologique de et de . De plus, si est spar, , cest--dire, . 3. Si est un espace de Hilbert, et si est ferm, tout lment de scrit de manire unique , et on a . Soient 1. un espace prhilbertien et un sous-espace vectoriel de . et, si est un espace de Hilbert (ou, plus gnralement, si

Dmonstration. Il est clair que . Dmontrons tout dabord le 2. Si , pour tout , on a ce qui montre que puisque est spar ; rciproquement, si , la mme relation montre que . Pour , on a , et comme , on a . De plus cette somme est directe car si , on a car est spar. Enn, comme est continue (Proposition IV.4.6), cette somme directe est topologique. Enn, il est vident que , et, si , on a , ce qui montre que puisque est spar. La seconde assertion du 1. se dduit alors aussitt du 2. puisque est alors complet. Le 3. est maintenant vident car, ce qui prcde montre que .

que

Remarque IV.4.1. Mme si est spar, si nest pas complet, la seconde assertion du 1. peut tre mise en dfaut : il se peut soit strictement contenu dans . Par exemple, dans , en notant (symbole de Kronecker), soit lespace

vectoriel engendr par les

tels que

et par le vecteur
et que

et soit

le sous-espace propre de

engendr par les

. On voit alors aisment que


80

est ferm dans

, ce qui montre que

Licence de Mathmatiques Pures de Bordeaux

IV.5. SOMMES HILBERTIENNES ET BASES HILBERTIENNES

SECTION IV.5

Sommes hilbertiennes et bases hilbertiennes


SOUS-SECTION IV.5.1

Somme hilbertienne externe despaces de Hilbert


P ROPOSITION IV.5.1.

une famille despaces de Hilbert. Le sous-espace de form des tels sauf au plus pour un nombre ni dindices (i.e. support ni) muni du produit scalaire que
Soit

est un espace prhilbertien spar. On appelle somme hilbertienne externe des

, lespace de Hilbert complt de .

et on note

Dmonstration. La seule chose voir, est que

est bien un espace prhilbertien spar, ce qui est vident.

T HORME IV.5.1.
Soient

une famille despaces de Hilbert et

le sous-espace vectoriel de

positive non dgnre sur qui dnit une structure despace de Hilbert isomorphe le somme hilbertienne externe des , . On identie ainsi toujours la somme hilbertienne externe des lespace de Hilbert .
Dmonstration. Le fait que est un espace vectoriel rsulte de lingalit

(i.e. la famille est sommable). Alors : 1. Pour tous et de , la famille est sommable. 2. Si on pose , , , alors est une forme hermitienne tels que

form des points

, ce qui donne le 1. Dmontrons Par Cauchy-Schwarz, on a dautre part , donc maintenant le 2. Le fait que est une forme hermitienne positive est immdiat compte tenu du 1. (Proposition III.3.11, page 57) et la non dgnrescence viens du fait que les sont des espaces de Hilbert. La seule chose dmontrer est la dernire assertion. Il est clair que lespace de la Proposition prcdents est contenu dans et que le produit scalaire de restreint est celui de . Nous devons donc simplement voir que est dense dans et que est complet. La densit de dans est vidente par le critre de Cauchy pour les familles sommables, il nous reste seulement voir que est complet. Or, si est une suite de Cauchy dans , il est clair que, pour tout , est une suite de Cauchy dans et donc converge vers et comme, pour tout , il existe un entier tel que, pour et toute partie nie de on a

on en dduit, en faisant tendre


, pour toute partie nie

, ce qui montre que converge vers et termine la preuve.

vers linni,

de , soit

, pour

P ROPOSITION IV.5.2. Soit la somme hilbertienne externe dune famille despaces de Hilbert . Pour tout , soit lapplication de dans dnie par , , avec, , si , et . Alors un isomorphisme (despaces de Hilbert) de sur un sous-espace ferm de , et on identie toujours ce

81

CHAPITRE IV. ESPACES DE HILBERT

sous-espace au moyen de . De plus, cette identication tant faite, les sont des sous-espace deux deux orthogonaux de et le sous-espace vectoriel engendr par est dense dans .
Dmonstration. Le fait que est un isomorphisme est vident, lorthogonalit deux deux des de la dmonstration du Thorme prcdent. aussi, et la dernire assertion rsulte

SOUS-SECTION IV.5.2

Somme hilbertienne de sous-espaces orthogonaux


D FINITION IV.5.1. Soient un espace de Hilbert et une famille de sous-espaces de si les deux conditions suivantes sont satisfaites : hilbertienne des (i) Chaque est ferm et les sont deux deux orthogonaux ; (ii) Le sous-espace vectoriel engendr par est dense dans .

. On dit que

est somme

P ROPOSITION IV.5.3. Soit un espace de Hilbert somme hilbertienne des lments dune famille de sous-espaces , , de . Alors il existe un unique isomorphisme (despaces de Hilbert) de sur la somme hilbertienne externe des tel que (chaque tant identi un sous-espace de comme dans la Proposition prcdente), pour chaque , . Ainsi sidentie canoniquement lespace des familles , , telles que la famille soit sommable dans , muni du produit scalaire , et donc de la norme

. Autrement dit,

est lensemble des sommes

famille sommable dans telle que dune part , , et, dautre part, que la famille soit sommable dans (ce qui implique la sommabilit de la famille dans ) ; le produit scalaire est

est une

et la norme

.
, on a

Dmonstration. En effet, si

dsigne lespace vectoriel engendr par

, et si et sont deux lments de

, partie nie de , ces critures tant uniques, et avec , si , et sinon, est un isomorphisme de
On remarquera que la sommabilit de thagore, si

, ce qui montre que lapplication

et ,

sur un sous-espace dense de qui se prolonge donc tout entier. Pour conclure, lunicit de tant vidente, il suft de remarquer que, si est cet isomorphisme, est ncessairement complet donc gal puisque ce dernier est le complt de .
est une partie nie de , on a

implique la sommabilit de

dans

puisque, par le Thorme de Py-

, les espaces

tant deux deux orthogonaux. Par ailleurs, si

dsigne le projecteur orthogonal de

sur

, alors, clairement, pour toute somme nie de la forme

, et, par continuit, on a

, on a

pour tout lment de

. Ainsi :

C OROLLAIRE . Soit un espace de Hilbert somme hilbertienne dune famille de sous-espaces. Pour tout soit la projection orthogonale de sur le sous-espace . Pour tout de la famille est sommable dans de somme et la famille est sommable dans de somme . De plus, pour tous et dans on a .
82 Licence de Mathmatiques Pures de Bordeaux

IV.5. SOMMES HILBERTIENNES ET BASES HILBERTIENNES

Dans le cas des espaces prhilbertiens, on a un rsultat un peu plus faible :

P ROPOSITION IV.5.4. Soient un espace prhilbertien spar et une famille de sous-espaces vectoriels complets deux deux orthogonaux. Pour tout soit le projecteur orthogonal de sur , et, pour tout et tout , notons . Soit enn le sous-espace vectoriel ferm engendr par la runion des . 1. Pour tout on a ; 2. Les conditions suivantes sont quivalentes : (a) ; (b) ; (c) La famille est sommable dans et on a . 3. Si est complet, la famille est sommable dans et on a et , o dsigne le projecteur orthogonal sur .
Dmonstration. Soit lespace hilbertien complt de . Les tant complets, ce sont des sous-espaces ferms de . Soit ladhrence de dans et lorthogonal de dans de sorte que est somme hilbertienne de et de donc des et de . Le Corollaire prcdent montre alors que, dans , on a et , ce qui montre le 1. Les conditions (b) et (c) du 2. sont quivalentes ce qui quivaut si est complet, on a pour tout et il suft dappliquer 2. .

puisque est ferm dans

. Enn,

SOUS-SECTION IV.5.3

Familles orthonormales et bases hilbertiennes


D FINITION IV.5.2. On dit quune famille dlments dun espace prhilbertien est orthogonale si, pour . On dit que est orthonormale si elle est orthogonale et si de plus,pour tout , P ROPOSITION IV.5.5. Soient un espace prhilbertien spar, vectoriel ferm engendr par les . 1. Pour tout que , on a

, on a .

une famille orthonormale dans

et

le sous-espace

, est dnombrable.

(Ingalit de Bessel). En particulier, lensemble des

tels

2. Les conditions suivantes sont quivalentes : (a) (b)

(c) La famille

; et

est sommable dans


3. Pour tous et dans on a

4. Si de plus est complet, on a : (a) Pour tout dans , la famille

est sommable dans


et

et on a

83

CHAPITRE IV. ESPACES DE HILBERT

(b) Rciproquement, pour toute famille seul point dans tel que

de scalaires telle que


pour tout on a

(c) Si et sont deux points quelconques de

, il existe un et un

Dmonstration. Remarquons que si on pose , , les sous-espaces sont spars, complets et deux deux orthogonaux et, pour , on a , et on est dans les conditions de la Proposition IV.5.4, page prcdente, ce qui donne aussitt 1., 2. et 4. (a). En se plaant dans lespace de Hilbert complt de , et en considrant ladhrence de dans , on voit aussi que 3 et 4. (b) rsultent la Proposition IV.5.3, page 82 et de son Corollaire. Enn 4. (c) rsulte de 3.

P ROPOSITION IV.5.6. Soit une famille orthonormale dans un espace prhilbertien spar . Les proprits suivantes sont quivalentes : (a) La famille est totale (Dnition III.5.1, page 68). (b) Pour tout dans , la famille est sommable dans et . (c) Pour tout dans , (Identit de Parseval). (d) Pour tous et dans , (Identit de Parseval). De plus, lorsque est un espace de Hilbert, ces proprits sont aussi quivalentes la suivante : (e) Les conditions , , impliquent . Lorsque ces conditions sont ralises, on dit que la famille est une base hilbertienne de lespace prhilbertien . De plus, lapplication est un isomorphisme de dans .
Dmonstration. Lquivalence entre (a), (b) et (c) rsulte aussitt de la Proposition prcdente. Il en est de mme de (a) place dans lespace de Hilbert complt de , et (d) implique clairement (c). Enn, lquivalence entre (a) et (e) lorsque rsulte de la Proposition IV.4.9, page 79.

(d) si on se

est complet

SOUS-SECTION IV.5.4

Orthonormalisation, existence des bases hilbertiennes


T HORME IV.5.2 (Thorme de la base incomplte ).
Soit un espace de Hilbert. Toute famille orthonormale dlments de est contenue dans une base hilbertienne de . En particulier, tout espace de Hilbert possde une base hilbertienne. De plus, si est une base hilbertienne de alors isomorphe .
Dmonstration. Soit une famille dlments unitaires de deux deux orthogonaux. Soit lensemble des parties de dont les lments sont deux deux orthogonaux et unitaires. Ordonnons par inclusion. Il est clair que est inductif (i.e. toute partie totalement ordonne de admet un majorant). Si , alors appartient et le lemme de Zorn implique quil existe un lment maximal de contenant . Pour voir que les lments de forment une base hilbertienne de il suft de voir que est totale. Or si tel nest pas le cas, daprs la Proposition IV.4.9, page 79, il existe dans orthogonal . Comme on peut supposer de norme , appartient ce qui contredit la maximalit de . La dernire assertion du Thorme se voit en considrant lapplication , en vertu du 4. de la Proposition IV.5.5, page prcdente.

P ROPOSITION IV.5.7 (Procd dorthonormalisation de Schmidt ). Soient un espace prhilbertien spar et une famille dnombrable dlments de . Il existe une et une seule famille orthonormale possdant les proprits suivantes : 1. Pour tout entier , le sous-espace vectoriel engendr par est identique au sous-espace vectoriel engendr par . 2. Pour tout indice , .
Dmonstration. En effet, construisons les par rcurrence sur . Supposons construits pour engendr par les , tant complet (car de dimension nie (Proposition III.5.3, page 67)) posons 84 Licence de Mathmatiques Pures de Bordeaux

. Le sous-espace .

IV.5. SOMMES HILBERTIENNES ET BASES HILBERTIENNES

Comme est le supplmentaire orthogonal de dans , si satisfait 1., on doit avoir et , ce qui dtermine entirement . Do lexistence et lunicit.

. Alors, il faut

C OROLLAIRE . Dans tout espace prhilbertien spar sparable il existe une base hilbertienne dnombrable. Le cardinal dune base hilbertienne sappelle la dimension hilbertienne de lespace de Hilbert.
Remarque IV.5.1. On notera quil existe des espaces prhilbertiens spars qui ne possdent pas de bases hilbertiennes.

T HORME IV.5.3.

Dans un espace de Hilbert deux bases hilbertiennes sont quipotentes. De plus si et sont deux bases hilbertiennes dun espace de Hilbert il existe un automorphisme (i.e. conservant le produit scalaire) de qui transforme lune en lautre.

Dmonstration. Soient et deux bases hilbertiennes dun espace de Hilbert . Si lune des deux bases est nie, le rsultat est trivial puisqualors est de dimension nie. Supposons donc ces deux bases innies.Pour tout , soit tels que . Daprs le 1. de la Proposition IV.5.5, page 83, est dnombrable. Comme est une base hilbertienne, pour tout , il existe tel que , ce qui montre que est runion des ensembles dnombrables , . Il existe donc une injection de dans , et donc, daprs le Corollaire 1 du Thorme B.3.2, page 113, une injection de dans . On conclut alors en changeant les rles de et et en utilisant le Thorme de Cantor-Bernstein (Thorme B.1.1, page 111). La dernire assertion du Thorme se voit trs simplement : si est le bijection entre les deux bases, par linarit, on construit une bijection linaire conservant le produit scalaire entre lespace vectoriel engendr par la premire base et celui engendr par la seconde. Comme cette bijection est uniformment continue (conservation du produit scalaire), elle se prolonge (Proposition II.7.12, page 28) et on conclut en changeant les rles de deux bases.

En se plaant dans le complt dun espace prhilbertien spar, les rsultats prcdents conduisent immdiatement la remarque suivante : Remarque IV.5.2. Si est une base hilbertienne dun espace prhilbertien spar isomtrie de sur un sous-espace dense de .

alors

est une

SOUS-SECTION IV.5.5

Exemples de bases hilbertiennes


1. Lexemple de base est bien sr lespace , comme nous lavons vu dans les paragraphes prcdents : la famille dnie par avec ( symbole de Kronecker) est une base hilbertienne.

2. LExemple 3, page 76, montre que la famille est une base hilbertienne. Cet exemple est naturellement relier la thorie des sries de Fourier. 3. Reprenons lespace prhilbertien de lexemple prcdent ( Legendre

avec le produit scalaire ). Si on orthonormalise le systme (qui est libre) on obtient un systme orthonorm , o les sont les polynmes de Les polynmes tant uniformment denses dans , daprs le Thorme de Stone-Weierstrass, la famille
lespace prhilbertien des fonctions continues

est

une base hilbertienne. 4. Soit

sur telles que

produit scalaire

. Alors, la famille

, avec

, muni du

forme des polynmes de Hermite


est une base hilbertienne. 5. Soit

lespace prhilbertien des fonctions continues valeurs complexes sur le segment

muni du produit scalaire

85

CHAPITRE IV. ESPACES DE HILBERT

La famille forme des fonctions


est une base hilbertienne.

Exercices
Exercice IV.1. Soit

produit scalaire est il un espace de Hilbert ?

lespace des fonctions continues sur valeurs dans . On considre sur lapplication . Dmontrer que cette application est une forme hermitienne non dgnre positive. Lespace muni de ce

Exercice IV.2. Soient et deux espaces prhilbertiens rels, espace spar, et une application de dans telle que et pour tout couple dlments de . Dmontrer que conserve le produit scalaire (cest--dire : ) et que est linaire.

Exercice IV.3. Soit un espace norm rel. 1. Dmontrer que la norme de provient dun produit scalaire si et seulement si : (thorme de la mdiane). 2. Pour quelle(s) valeur(s) du rel

, la norme usuelle de lespace est elle dnie par un produit scalaire ?

Exercice IV.4. 1. Dans lespace , on dsigne par convexe ferm et dterminer la projection sur .

tel que

. Dmontrer que

est un cne

2. Soit lespace des fonctions continues sur valeurs dans muni de la norme et fonctions constantes. Dmontrer que est un sous espace complet de et dterminer la projection sur . Exercice IV.5. Soit un espace de Hilbert. 1. Soit (a) un sous espace ferm de non rduit

le sous espace des

2.

; (b) ; (c) . On suppose que est une application de dans

et la projection orthogonale de

sur

. Dmontrer que

vriant les proprits (a) et (b) prcdentes ou bien que est une application linaire continue de dans vriant la proprit a) et . Dmontrer quil existe un sous espace ferm de tel que soit la projection orthogonale de sur .
ou

Exercice IV.6. Soit un espace vectoriel sur dsignent des parties de .

muni dune forme hermitienne non dgnre positive

; Dans tout lexercice,

et

1. Dmontrer les assertions suivantes : (a) (b) (c) (d) 2. Si

; ;

. est gal ladhrence du sous espace vectoriel engendr par et un point de .

est un espace de Hilbert, alors

Exercice IV.7. Soit un espace de Hilbert ; 86

un sous espace ferm de

Licence de Mathmatiques Pures de Bordeaux

EXERCICES

1. Dmontrer que 2. Calculer

et

est lapplication linaire continue de

Exercice IV.8. Lespace

est muni du produit scalaire usuel et

dnie de la faon suivante : Si

est le projecteur orthogonal sur un sous espace vectoriel dterminer.


Exercice IV.9. Soient muni de la norme et que si

et , alors
; la forme linaire dnie sur

dans lui-mme . Dmontrer que

par

, il nexiste pas dlments

tel que

. Quelle remarque peut on faire ?

et

son noyau. Montrer que

est ferm

Exercice IV.10. Donner une dmonstration simple du thorme de Hahn-Banach dans un espace de Hilbert. Exercice IV.11. 1. Soit une suite borne de nombres complexes et lapplication linaire de . Dterminer ladjoint de .

2. Soit lapplication linaire de Dterminer ladjoint de .

dans lui-mme dnie par


dans lui-mme dnie par

si

3. On dsigne par lespace de Hilbert complt de muni du produit scalaire usuel et par une application continue de dans . On dnit une application linaire de dans lui-mme de la faon suivante : si , on pose . Dmontrer que est une application linaire continue et en dduire que admet un prolongement linaire continu , not . Dterminer lorsque est un lment quelconque de .

Exercice IV.12. Soit une application linaire continue de dans lui-mme.

1. On dsigne par llment de dont toutes les composantes sont nulles sauf celle de rang qui vaut . (a) La famille

est elle une base hibertienne ? Pour tout , on peut crire

nombres complexes et la srie converge dans . (b) Dmontrer que pour tout la srie

o les .

sont des

(c) Soit, pour tout entier , lapplication , . Dmontrer quil existe tel que pour tout , on ait . Dterminer la norme de laide de . En dduire que pour tout la srie

converge et que sa somme

est

converge et que sa somme 2. On suppose maintenant que

est

est une base hilbertienne quelconque. Les rsultats prcdents sont ils encore vrais ?
dans lui-mme. Montrer que les deux assertions suivantes sont

Exercice IV.13. Soit un espace de Hilbert et une application linaire continue de quivalentes : 1. Il existe un sous espace ferm 2. Il existe deux vecteurs de

de

non nuls tels que soit orthogonal lensemble

invariant par (i.e.

), non trivial.

Exercice IV.14. Soit un espace de Hilbert muni dune base hilbertienne . Soient et (resp. ) le sous espace vectoriel ferm de engendr par les (resp. ). Montrer que : 1. 2. La srie 3.

. On dsigne par

. et sa somme

converge dans
.

nappartient pas

87

CHAPITRE IV. ESPACES DE HILBERT

Exercice IV.15. Soient un espace de Hilbert et une suite libre, totale, dlments de . On suppose que : (i)

(ii)

1. Dmontrer quil existe une base hilbertienne engendrent le mme sous espace vectoriel. 2. Dmontrer que lapplication dni par

t.q.

. de

telle que pour tout

, les vecteurs

et les

est linaire continu de dans et que son oprateur adjoint

3.

vrie pour tout . Dmontrer que est un isomorphisme de sur lui-mme. En dduire que est aussi un isomorphisme de sur lui-mme.

88

Licence de Mathmatiques Pures de Bordeaux

E XEMPLES DE S UJETS ET DE C ORRIGS D E XAMENS


Examen partiel de lanne universitaire 2000-2001
Sujet
Exercice I

ni

Question de cours prliminaire. Soient .


Soit

et

deux parties compactes non vides disjointes dun espace mtrique. Dmontrer que

un espace mtrique de distance note . On appelle -chane dans dorigine de points de tels que , et, pour tout , ,

1. Soient

et

xs. Soit
est ouvert ; est ferm

et dextrmit .

un ensemble

pour lesquels il existe une -chane dorigine et dextrmit .

(a) Montrer que (b) Montrer que

2. Dduire de la question prcdente que si dextrmit .

est connexe, pour tous

et

, il existe une
,

-chane dorigine et

3. On suppose compact. Dmontrer que si pour tous , et alors est connexe (indication : raisonner par labsurde pour crire et utiliser ).

, il existe une
avec

-chane dorigine et dextrmit , , ferms non vides disjoints,

Exercice II

Question de cours prliminaire. Soient quivalentes :

une partie dun espace topologique

. Dmontrer que les conditions suivantes sont

est d intrieur vide

est dense dans

rencontre tout ouvert non vide de

1. noncer le thorme de Baire. 89

EXEMPLES DE SUJETS ET DE CORRIGS DEXAMENS

2. Dans cette question on se propose de dmontrer que les conclusions du thorme de Baire restent vraies lorsque lon se place dans un espace topologique localement compact (i.e. sans utiliser de distance, et si on remplace la notion de compltude par celle de compacit locale). Soit un espace topologique localement compact (i.e. tel que tout point de admet une base de voisinages compacts) et soit une suite de ferms de dintrieurs vides. Soit un ouvert non vide de ; on se propose de montrer que

(a) Montrer quil existe un compact dintrieur non vide contenu dans (b) (c)

. En remplaant par , et par , montrer quil existe un compact dintrieur non vide contenu dans . En raisonnant par rcurrence, montrer que, pour tout , il existe un compact dintrieur non vide contenu dans .

(d) Montrer que

et conclure.

Problme Soit un espace mtrique de distance note . Pour toute partie de , on pose

tq

1. Montrer que

est un voisinage ferm de

On suppose, maintenant que le diamtre de est ni de sorte que , , il existe tel que Soit lensemble des parties non vides de . Si et sont deux lments de , on pose

2. Soient et deux lments de

tq

.

.

(a) Montrer que (b) Montrer que (c) Montrer que (d)

; .

Soit une famille dlments de . Montrer que

quivaut

(e) Montrer que, pour tout 3. Soit

et
. Pour tous

lensemble des parties fermes non vides de

, on pose

est une suite dans

Dduire des questions prcdentes que est une distance sur

telle que, si

, on a

On note

lespace mtrique obtenu en munissant de la distance .


est complet. Soit

4. On suppose dans cette question que

ladhrence, dans , de la runion des

une suite de Cauchy dans . Pour tout , .


et que est de Cauchy dans

, soit

(a) Montrer que est une suite dcroissante de ferms non vides de (b) Soit

90

est complet.
Licence de Mathmatiques Pures de Bordeaux

. Montrer que

(i.e. que

est ferm et non vide) et que

. Conclure que

EXAMEN PARTIEL DE LANNE UNIVERSITAIRE 2000-2001

Corrig
Exercice I

Question de cours prliminaire. La fonction atteint son inmum : il existe tel que ) que .
1. (a) Soit

tant continue sur le compact , daprs un thorme du cours, elle y ce qui montre bien (puisque et ferm impliquent
-chane dorigine et dextrmit ce qui signie que .

(b) Soit 2. Si

. Si donc que . Alors

, alors, par dnition, il existe une


est ouvert.

, ce qui montre que

est connexe,

tant la fois ouvert ferm dans

3. Si nest pas connexe, par dnition on peut crire avec et deux ouverts non vides disjoints. Comme est le complmentaire de , , les sont aussi ferms et donc compacts. La question de cours prliminaire donne alors et, par suite, il ne peut pas exister d -chane joignant un point de un point de avec .

et non vide (

), on a

, ceci pour tout

Question de cours prliminaire. Par dnition, est dense signie que cet ensemble rencontre tout voisinage dun point quelconque de , donc tout ouvert non vide de , ce qui montre que (ii) et (iii) sont quivalents. Enn (iii) signie que ne peut contenir aucun ouvert non vide, ce qui est (i).
1. Voir le cours. 2. (a) Puisque est dense, cet ouvert rencontre et ouvert, il existe un voisinage de ce point contenu dans compact : on prend . non vide contenu dans

Exercice II

est donc un ouvert non vide. Si est un point de cet . Comme est localement compact, on peut choisir
par construction de .

(b) Si on remplace par et par , on peut refaire le mme raisonnement, et il existe donc un compact dintrieur (c) Si on suppose les construits pour

, en refaisant le raisonnement ci-dessus avec et , on trouve un compact dintrieur non vide contenu dans .

tant une suite dcroissant de compacts non vides, un thorme du cours dit que leur intersection est non vide.

qui est lui-mme contenu dans

(d)

Comme celle-ci est contenue dans

est un ouvert quelconque de

(par construction), on obtient que

rencontre , et comme

, cela signie que

est dintrieur vide (Question de cours prliminaire ).

Problme 1. 2.

est ferm (image rciproque de ouvert contenant .


(a) Si

par la fonction continue

) et

tels que

est un

(b)

(c) (d)

, on a , donc pour tout , ce qui montre que . Ceci tant vrai pour tout , on a . Inversement, si , on a donc . Par continuit de et dnition de ladhrence, on a , et, , , ce qui montre les deux premires galits, et la dernire sen dduit. quivaut pour tout , ce qui signie , pour tout . Pour , , , ce qui donne la premire ingalit. Par ailleurs,

donne la seconde.

91

EXEMPLES DE SUJETS ET DE CORRIGS DEXAMENS

3. 4.

, on a , pour tout . Donc, . On conclut alors en prenant le supremum sur les . quivaut daprs le 1. (c). Lingalit triangulaire se dduit aussitt de lingalit du 1. (e) et de celle
(e) Pour obtenue en changeant et . La dernire proprit demande rsulte de 1. (d). (a) Il est clair que est une suite dcroissante de ferms non vides, et le fait que cette suite est de Cauchy rsulte aussitt du fait que la suite lest et de lingalit du 2. (b) Puisque est de Cauchy, il existe une sous-suite de la suite telle que . Voyons alors, par rcurrence, que, pour tout x et tout , existe une suite de Cauchy telle que et : supposons les construits pour ; comme , on a , et comme , il existe tel que . La suite ainsi construite est bien de Cauchy et comme est complet, elle converge et sa limite est dans tous les ce qui montre que (qui est bien sr ferm) est non vide. i Pour montrer que converge vers , puisquelle est de Cauchy, il suft de montrer quune sous-suite converge vers . Considrons alors la suite dnie ci-dessus ainsi que les suites , et . Par la question 2., on a , et, comme est de Cauchy, pour

x, il existe

tel que

implique

lavons vu, la suite

converge vers un lment de , et, on a

pour assez grand ( quelconque). Ceci montre que puisque . Finalement, il vient

pour

. Comme nous , , donc

, ce qui montre le rsultat.

. Fixons maintenant

Examen de la session de Janvier 2001


Sujet
1. (Question de cours prliminaire) (a) noncer le thorme de Riesz caractrisant les espaces norms de dimension nie. (b) noncer le thorme de Stone-Weierstrass complexe. Soient un espace norm complexe et compact si est relativement compact dans

. Soit
.

une application linaire. On dit que

est un oprateur

1. Montrer que est continu. 2. Montrer que .

I Dans cette partie, on suppose que est un oprateur compact. Pour tout tels que .

, on note

id

. Soit

3. Soit un sous-espace vectoriel ferm de tel que 4. Montrer que , pour .

. Montrer que

est de dimension nie.

II Dans cette partie lespace des fonctions continues de dans muni de la norme de la convergence uniforme. Soient une fonction continue de dans et, pour , la fonction dnie sur par


92

Licence de Mathmatiques Pures de Bordeaux

EXAMEN DE LA SESSION DE JANVIER 2001

1. Montrer que 2. Montrer que si

est une application linaire continue de


,
alors

dans

et que

3. En utilisant le thorme de Stone-Weierstrass en dduire que est limite, dans lespace norm teurs compacts. 4. En dduire que est un oprateur compact (on montrera que III

, dpendant de ) est un oprateur compact.


est prcompact).

est un oprateur compact. En dduire que si

est un polynme (cest--dire

, dune suite dopra-

A partir de maintenant on suppose que est un espace de Hilbert et que est un oprateur compact symtrique cest--dire que, , . On reprend les notations du I. 1. Montrer que 2. Pour (a)

(b) 3.

et conclure une contradiction (utiliser 1.). En dduire que soit est ni soit les lments de forment une suite de nombres complexes telle que est une forme hermitienne sur . , . iii. , Soient et . Dduire de (a) iii que
i. ii.

. On suppose quil existe une suite innie dlments de deux deux distincts. Pour tout , soit , , montrer quil existe une sous-suite de Cauchy de la suite , . En considrant la suite
, on pose

et que, si

tels que

et

sont deux lments dictincts de , alors

(a) Montrer que :

(b)


(c) Soit

. Dduire de ce qui prcde que


(d) Conclure que

, et, en choisisant convenablement, que


telle que

(e) Soit une suite dans i. Montrer que ii.

.
.

En dduire que

et

avec

Corrig
1. Voir le cours. I 1. Puisque est compact, 2. Si

3. Comme de Riesz implique donc que 4. Comme

, et

est born ce qui implique que est continu. , donc . , , qui est relativement compact, est la boule ferme de centre et de rayon
, on a est de dimension nie.

de

. Le Thorme

ceci rsulte de la question prcdente.

93

EXEMPLES DE SUJETS ET DE CORRIGS DEXAMENS

II 1. En effet,par un rsultat connu sur les intgrales paramtres,

et

2. Comme est continu, est born dans qui est de dimension nie donc isomorphe compacts de donne donc que est relativement compact. Si est un polynme, on a

. La caractrisation des


ce qui montre que

est un polynme de degr au plus donc que est de dimension nie et, par suite,

est compact.

3. Le Thorme de Stone-Weierstrass appliqu lalgbre des polynmes deux variables sur montre que est limite uniforme dune suite de polynmes. Si on note loprateur associ de la mme manire que est associ , on a


et la premire question montre que

. . Si est complet,

4. Puisque est compact, pour tout , peut tre recouvert par un nombre ni de boules est donc recouvert par les boules . Ceci montre que est prcompact, et, comme relativement compact.

est

III

1. Soient

et

, on a

. Alors donne , ce qui donne

et

2.

(a) Comme

, et comme est compact, on peut extraire de la suite si . convergente ce qui est absurde puisque, daprs le 1.,

, ce qui montre que . Si (puisque est relle) qui implique

et

une sous-suite

(b) Cest vident puisque le (a) dit que est ni. 3. (a) Le (i) est vident, le (ii) rsulte du fait que est symtrique et le (iii) sobtient immdiatement par un calcul direct. (b) La formule demande sobtient en remplaant par (c) Il suft de remarquer que

et par dans la formule du (a) (iii). , pour , . Comme lingalit

et dappliquer ceci aux deux membres de droite de lingalit du (b).

(d) Lingalit demande rsulte aussitt du (c) et du Thorme de la mdiane. En prenant il vient inverse est immdiate, on a bien (e) i. En effet,

cest--dire

ce qui signie


et comme, pour .

, on a

, pour ces mme valeurs de , on a

ii. On suppose ici , le cas nayant aucun intrt. Comme est compact (et que est une suite borne), on peut extraire de la suite une sous-suite convergente. La question prcdente montre alors que lon peut extraire de la suite une sous-suite convergente : si converge vers on a alors donc ce qui conclut.

94

Licence de Mathmatiques Pures de Bordeaux

EXAMEN DE LA SESSION DE SEPTEMBRE 2001

Examen de la session de Septembre 2001


Sujet
Exercice I Soit . On note lespace mtrique des fonctions continues de dans muni de la distance de la convergence uniforme sur . Pour tout entier , on note le sous-espace de constitu des fonctions telles quil existe tel que , .

1. (Question de cours prliminaire) noncer le thorme de Baire. 2. Dmontrer que 3. Soient (a) (b)

et . Soit tel que . Pour tout entier , , soit . Montrer que lon peut choisir de sorte que, pour tout , , si et sont deux points de , on ait . , soit le milieu de Pour . Soit la fonction de dnie de la manire suivante : pour , , pour , , et, sur les intervalles et ,

est ferm.

est afne. Montrer que : i. ii.

, il existe ,

, tel que

(c) Conclure que, pour tout entier 4. Soit dans .

est dintrieur vide.


est dense

lensemble des fonctions qui ne sont drivables en aucun point de . Dduire de ce qui prcde que

Exercice II 1. (Question de cours prliminaire) noncer le thorme de Stone-Weierstrass complexe. 2. Soient un espace norm et un sous-espace de . En utilisant le fait quune forme linaire continue sur un sous-espace de se prolonge en une forme linaire continue sur (thorme de Hahn-Banach) montrer que est dense si et seulement si la seule forme linaire continue sur nulle sur est (si et , considrer la forme linaire sur et remarquer que est ferm).

Soient un compact de et une partie de ayant un point daccumulation dans . Soit fonctions continues de dans muni de la norme de la convergence uniforme. 3. Pour tout

lespace norm des

, montrer que la fonction dnie par


appartient 4. Soit


engendr par .

telle que

. On note

(a) On note entire

llment de

de la fonction , . Montrer que, pour , la srie a un rayon de convergence inni (on majorera convenablement) et que sa somme est .
qui est la restriction

, .

. Soit le sous-espace vectoriel de

(b) En dduire que lensemble implique

tels que

5.

, pour tout (c) En dduire que . Conclure que est dense dans .

(proprit classique des sries entires).

a un point daccumulation dans . On admettra que ceci

95

EXEMPLES DE SUJETS ET DE CORRIGS DEXAMENS

Exercice III Soit un espace de Hilbert complexe de produit scalaire not de dans lui mme. On dit que est positif, et on crit de , on crit (ou ) si .

1. Soit

. Soit , si

lespace de Banach des endomorphismes continus , . Si et sont deux lments



et

. (on pourra dvelopper est une forme hermitienne positive. , .


.

(a) Montrer que dduire que (b) En dduire que, 2. Soient (a)

), et en

tels que et Montrer que, ,


.

.
.
.

(b) Conclure que

3. Soit une suite dans (a) Montrer que,

vriant, pour tout


.

(b) Soient et deux entiers tels que i. Montrer que ). ii. En dduire que, iii. Conclure que, (c) Pour tout

. On pose

et dduire de la question 1. (b) que,

(on pourra majorer

, soit

, , la suite est de Cauchy dans .

. Montrer que

et que, ,

Corrig
Exercice I 1. Voir le cours. 2. Soit

une suite de fonctions de qui converge uniformment vers une fonction de . Pour tout soit tel que, , . Soit une suite strictement croissante dentiers telle que converge vers (compacit de ). Soit , et choisissons de sorte que, pour on ait et . Alors, pour et , on a

Comme ceci est valable pour tout 3. (b) i. Si

, on a bien montr que

(a) Ceci rsulte immdiatement de la continuit uniforme de

, il suft de prendre

qui rsulte du fait que est compact.

dans le mme intervalle

ou

que .

ii. Immdiat par construction. (c) Il suft de prendre

dans ce qui prcde.

4. Soit une boule ferme de rayon strictement positif dans . est un espace mtrique complet. Daprs ce qui prcde, pour tout , est ferm et dintrieur vide. Daprs le thorme de Baire il existe donc qui nappartient aucun des . Ceci montre que est dense dans . . Cette fonction ne peut tre drivable en aucun point de . Autrement dit

Exercice II 1. Voir le cours. 2. Supposons . Comme est ferm, est continue sur . Daprs le thorme de Hahn-Banach, se prolonge donc en une forme linaire continue sur . Clairement est nulle sur sans tre identiquement nulle. La rciproque est vidente. 96 Licence de Mathmatiques Pures de Bordeaux

EXAMEN PARTIEL DE LANNE UNIVERSITAIRE 2001-2002


3. Ceci est immdiat par convergence normale de la srie (si srie convergente). 4. (a) En effet, si puisque

sur , on a

qui est le terme gnral dune


, ce qui donne aussitt la conclusion

sur , on a .

, donc

(b) En effet, ceci rsulte de la question prcdente, puisque, par choix de , pour tout entier , si est la restriction dun polynme (c) Puisque Stone-Weierstrass ceci implique . 5. Ceci rsulte de la premire partie de lexercice. Exercice III 1.

pour tout . , on a . Par le thorme de

2. 3.

(a) En dveloppant , on trouve que est rel, et en dveloppant ), on trouve que est imaginaire pur, ce qui donne le premier rsultat. Le second est lmentaire. (b) Cest lingalit de Cauchy-Schwarz. (a) vident. (b) Rsulte de 1. (b). (a) En effet, puisque , on a . Comme est positif, par 1. (b) on a , et la conclusion sobtient en prenant le sur puis le sur . rsulta de lhypothse sur la suite . La question 1. (b) donne (b) i. Le fait que . Comme , on a , ce qui donne le rsultat. ii. Immdiat. iii. Comme la suite est croissante et majore par , elle est convergente donc de Cauchy. La conclusion rsulte donc de la question prcdente. (c) Clairement . De plus la convergence ponctuelle implique aussitt que est linaire. Ainsi est un endomorphisme (algbrique) de tel que, , . Comme la question 1. on en dduit que est une forme hermitienne sur , et lingalit de Cauchy-Schwarz combine lingalit precedente donne , ce qui montre que . La dernire ingalit est vidente.

Examen partiel de lanne universitaire 2001-2002


Sujet
Soient et Exercice I deux parties non vides dun espace mtrique dont la distance est note . 1. Montrer que la fonction 2. On suppose

est continue.

. Montrer quil existe deux ouverts et tels que

et

Exercice II Soit un espace mtrique sparable (i.e. il existe une suite telle que de dans . 1. Soient et deux nombres rationnels tels que et vrie

soit dense dans de

) . Soit

une fonction

. Soit lensemble des points


tels que la limite

existe


est isol (i.e. pour tout

Montrer que tout point de

il existe un voisinage de tel que

). 97

EXEMPLES DE SUJETS ET DE CORRIGS DEXAMENS

2. Montrer que, pour tout , il existe un entier et un rel boule ouverte de centre et de rayon ). 3. En dduire que 4. En dduire que lensemble des points de tels que la limite

tels que

dsignant la

est au plus dnombrable (i.e. quil existe une injection de dans ).

existe et est diffrente de est au plus dnombrable

(on pourra utiliser que est dnombrable et que toute runion au plus dnombrable densembles au plus dnombrables est au plus dnombrable). Exercice III Question de cours. Montrer quun espace mtrique constante. Soient est connexe si et seulement si toute fonction continue de dans

est


et 1. Pour tout point Montrer que 2. Soit

tels que et tels que et

de

et tout

, soit

si et si
nest pas localement connexe.

nest pas connexe. En dduire que

une fonction continue constante sur chaque telle que .

. Montrer que

induit une fonction continue

3. Montrer que

est connexe. Exercice IV

Soient 1. Soient 2. Soient

et

deux espaces mtriques connexes. et et

. Montrer que

et

tels que

. On suppose que

. Montrer que

ou

est connexe.
la boule ferme de centre et de

est connexe.

Exercice V tant un espace mtrique, on note la boule ouverte de centre et de rayon , rayon et ladhrence, dans , de . 1. Donner un exemple despace mtrique pour lequel il existe un point et un rel sont diffrents.

tels que les ensembles et

2. Donner un exemple despace mtrique dans lequel toute boule est connexe, puis, un exemple despace mtrique possdant des boules non connexes. Soit un espace mtrique vriant la proprit suivante : Pour tous et les boules ,

3. Montrer que

, forment un systme fondamental de voisinages de .


est connexe.

.
tels que

On se propose de montrer, en raisonnant par labsurde, que toute boule (ouverte ou ferme) de Soit , , une boule ouverte de non connexe. 4. Montrer quil existe deux ouverts non vides et de 5. Soit . Montrer quil existe dans . 6. Montrer que 7. Conclure.

, tel que est contenu dans , et,


).

et

. , nest pas contenu

(remarquer que

Corrig
Exercice I 1. Comme on sait que 2. Si 98

et sont continues (cours), le rsultat est vident. et . , il suft clairement de prendre


Licence de Mathmatiques Pures de Bordeaux

EXAMEN PARTIEL DE LANNE UNIVERSITAIRE 2001-2002

Exercice II 1. Soient et un rationnel tel que . Par hypothse, il existe un voisinage de tel que (puisque ). Ceci implique que ne contient aucun point de , par dnition mme de . 2. La question prcdente donne quil existe tel que ). Alors et rpondent clairement la question : lingalit triangulaire : si , on a

on a

3.

4.

Soit le plus petit entier tel que . Si et sont deux lments distincts de on ne peut avoir . Ceci montre que , car, dans le cas contraire, si, par exemple , on aurait est une injection de dans . Il rsulte de la question prcdente que lensemble des points de tels que la limite existe et est strictement infrieure

. Soit tel que

(densit de la suite , la seconde inclusion rsultant de .

, qui est la runion des pour , (par densit de dans ), est dnombrable (car est dnombrable et donc aussi : mme preuve que pour dnombrable). Il en est bien sr de mme de celui des points de tels que la limite existe et est strictement suprieure , ce qui conclut.

Exercice III Question de cours : voir le cours. 1. En effet, si est un irrationnel dans : ils ont une intersection non vide avec

3. Il suft dappliquer le rsultat de la question prcdente une fonction continue de dans , car une telle fonction est videment constante sur chaque segment , pour , et , pour (car ils sont connexes) : alors la connexit de implique que est constante et donc aussi.

2. Si , on pose . Si , on pose , . La continuit de est alors vidente en tout point de , puisque lest par hypothse, et, en un point , comme est continue (par continuit de ), il suft de voir que si est une suite dirrationels qui converge vers , converge vers ; or, pour tout il existe tel que et (par continuit de en ), donc ( et continue) ce qui conclut. Enn, on a bien sr .

, les ouverts et et leur intersection est vide. Dans le cas

sparent

, il suft de prendre .

lorsque

Exercice IV 1. Comme , et que et sont connexes, car respectivement homomorphes la conclusion rsulte du cours : une runion de connexes dintersection non vide est connexe. 2. Soit

et

. Alors

pour la mme raison quau 1. De mme, si donc du fait que

ce qui implique que

et que

est connexe. La conclusion rsulte


car cet ensemble contient .

est connexe

ExerciceV 1. Il suft de prendre, dans un espace mtrique discret ayant au moins deux points, une boule ouverte de rayon : elle est rduite un point, donc ferme puisqugale la boule ferme de mme centre et de rayon , et la boule ferme de rayon est tout lespace. 2. Dans le mme exemple on prend une boule ouverte ou ferme de rayon : cest tout lespace qui nest pas connexe, les points tant des ouverts (c.f. question prcdente). 3. Si de

, il existe une boule ferme de centre qui ne rencontre pas . Son complmentaire est donc un voisinage qui contient donc (par hypothse) une boule , , ce qui montre que puisque
tel que est un ouvert. . On considre donc le de ces
. Il est strictement infrieur

4. Cest la dnition mme de la non connexit puisque 5. Comme est ouvert, il existe car .

6. Comme est un ferm contenu dans complmentaire de louvert ) et contient

7. Lhypothse implique alors quil existe boule ouverte est connexe, et, comme ladhrence dune boule ouverte est la boule ferme (question 3.), il en rsulte que toute boule ferme est aussi connexe (daprs un rsultat du cours).

, est ferm dans . Comme est ferm dans (comme , il contient aussi . tel que ce qui contredit la dnition de . Ceci montre que toute

99

EXEMPLES DE SUJETS ET DE CORRIGS DEXAMENS

Examen de la session de Janvier 2002


Sujet
Exercice I Soient un ensemble et un sous-espace vectoriel de , lespace vectoriel sur des applications de dans . On suppose que est muni dun produit scalaire, not , pour lequel il est un espace de Hilbert. On dit que possde un noyau reproduisant , sil existe une fonction possdant les deux proprits suivantes : (I) Pour tout , la fonction appartient ; (II) Pour toute

et tout

, on a

1. Montrer que les deux proprits suivantes sont quivalentes : (i) (ii) possde un noyau reproduisant ; Pour tout

, la fonction

est une forme linaire continue sur

Dans la suite de cet exercice, on suppose que lespace de Hilbert 2. Montrer que,

possde un noyau reproduisant.

,
, on a

et

3. Montrer que, pour toute

4. En dduire que si est une suite de fonctions de qui converge dans vers , alors, pour tout dans et que cette convergence est uniforme sur toute partie de o est born. 5. On suppose maintenant, de plus, que (a) Montrer que, (b) Pour possde une base Hilbertienne .

et tout


, posons

, la srie tant convergente dans .

. Montrer que, pour tout

, on a

convergente dans

et que, de plus, cette convergence est uniforme dans toute partie de

(c) Donner une condition sur la base quivalente lexistence du noyau reproduisant . Exercice II 1. Soient et deux espaces mtriques compacts. Montrer que, pour tout

, la

srie tant

est borne.

fonctions

et

, telles que

, et toute fonction

la sous-algbre de

engendre par les fonction

et

et

, il existe des (considrer

).

Dans la suite de cet exercice on se propose de construire un exemple o satisfaite. 2. Pour tout entier (a) (b) (c)

nest pas compact et o la proprit ci-dessus nest pas

, soit la boule ferme de (pour la norme euclidienne) de centre et de rayon . Montrer que, pour , on a . Montrer que, pour tout , il existe une fonction telle que , et si . Soit . Dduire de ce qui prcde que la formule , dnit une fonction de . on pose , , on a :

(d) Montrer que, si pour tout entier i. ii.

, si

100

Licence de Mathmatiques Pures de Bordeaux

EXAMEN DE LA SESSION DE JANVIER 2002

3. Soit un sous-espace vectoriel de dimension nie de . On suppose uniforme note . Montrer quil nexiste pas de suite de fonctions , (raisonner par labsurde et utiliser le thorme de Riesz).

muni de la norme de la convergence , telle que, pour tout ,

4. Conclure

Exercice III Soit un espace mtrique complet de distance note . Soient

une suite douverts de


et

. Pour tout

et tous , dans

, on pose

. On suppose


puis

1. Montrer que, pour tous 2. Montrer que

est une distance sur


, et

et

3. Montrer que, sur 4. Montrer que

sont topologiquement quivalentes. est complet pour .

, la fonction est continue sur . est croissante sur ). (on pourra utiliser que la fonction

5. Exemple. Montrer que cette construction permet de dnir une distance sur usuelle, pour laquelle est complet.

, topologiquement quivalente la distance

Corrig
Exercice I 1. Le fait que (i) implique (ii) rsulte de la proprit (II). Supposons (ii) vrie. Par le thorme sur le dual dun espace de Hilbert, il existe donc un lment de tel que , pour toute , ce qui est (i).

2. La premire relation rsulte de lhypothse (II) et les autres sen dduisent immdiatement. 3. Immdiat par (II) et 2. 4. Immdiat par 4. 5. (a) En effet, on a

donc dappliquer le 4. (b) Comme

, la srie convergeant dans . Il suft

(c) Si existe, le (a) montre que peut dnir

, il suft dappliquer le 4. par la formule du (a), et les conditions (I) et (II) sont satisfaite car est une base hilbertienne.
Exercice II

, pour tout

. Rciproquement, si cette condition est satisfaite, on

1. En effet, la sous-algbre de indique dans lnonc contient les fonctions constantes et spare les points de et il suft dappliquer le thorme de Stone-Weierstrass. 2. (a) Immdiat, la distance des centres tant suprieure et la somme des rayons infrieure (b) (c)

. si , o est la distance euclidienne sur . Il suft de prendre sinon Clairement, il suft de prendre la restriction de la fonction, dnie sur , : comme les boules

sont deux deux disjointes, on voit aisment que, pour tout de , est dduite un seul terme. La continuit de (d) Si , de lintervalle

, la somme

, et, par suite , ce qui donne le i. De plus, est nulle en dehors . Comme , pour , on obtient le ii.

en rsulte aussitt.

, pour

dans un petit voisinage

101

EXEMPLES DE SUJETS ET DE CORRIGS DEXAMENS

3. Supposons que les fonctions existent. Alors les proprits du (c) impliquent et, pour , On ne peut donc extraire aucune sous-suite convergente de la suite ce qui contredit le thorme de Riesz appliqu 4. La conclusion du 1. est donc fausse pour

.
.

et

Exercice III 1. En effet, si

, pour assez petit, on a aussi , et la conclusion rsulte du cours.


2. La seule chose vrier est lingalit triangulaire, et, la croissance de

donne

3. Soient et . Notons (resp. ). Clairement,

4.

5.

(resp. ) la boule ouverte de de centre et de rayon pour la distance . . Pour conclure, montrons quil existe tel que . La question 1. montre que, pour chaque , il Soit un entier tel que, pour tout , existe tel que implique . Alors si , implique , et il suft de prendre . Soit une suite de points de de Cauchy pour . Alors cette suite est aussi de Cauchy pour et converge donc vers , pour . Pour conclure, en vertu du 3., il suft de montrer que . Or, si ce ntait pas le cas, on aurait pour un certain ; mais alors on aurait, pour tout , , ce qui implique et contredit le fait que est de Cauchy pour . , il suft de prendre . Si

102

Licence de Mathmatiques Pures de Bordeaux

ANNEXE

Axiome du Choix Lemme de Zorn Cardinalit des Ensembles

EXENNA

A NNEXE

AXIOME DU CHOIX LEMME DE ZORN


D
ans cette annexe, on se propose de dmontrer le Lemme de Zorn partir de laxiome du choix. On suppose connue la thorie lmentaire des ensembles. La preuve prsente est la preuve classique partir du Thorme de Zermelo. On introduit donc, avec un minimum de dtails, la thorie des ensembles ordonns qui est ncssaire pour le Thorme de Zermelo. On pourra trouver un expos dtaill de la thorie des ensembles ordonns dans [Bou67].

Laxiome du choix
Un nonc simple de lAxiome du choix est le suivant :

A XIOME (Axiome du choix ).

Soient et deux ensembles. tant donn une application de dans lensemble des parties de telle que, pour tout , on ait , il existe une application de dans telle que, , on ait .

Une consquence immdiate de cet Axiome est la Proposition apparament anodine suivante :

P ROPOSITION A.1.1. Soient un ensemble non vide et une partie de telle que, on ait .
Dmonstration. Il suft dappliquer lAxiome du choix la fonction

Le but de cette annexe est de dmontrer le Lemme de Zorn partir de lAxiome du choix (en fait lAxiome du choix est quivalent au Lemme de Zorn). Comme ce dernier porte sur les ensembles ordonns, il nous faut commencer par introduire ceux-ci et dmontrer un certains nombre de rsultats non triviaux leur sujet. 105

EXENNA
dnie par

SECTION A.1

. Alors il existe une application

de dans

ANNEXE A. AXIOME DU CHOIX ET LEMME DE ZORN

SECTION A.2

Ensembles ordonns : dnitions de base


D FINITION A.2.1. Soit un ensemble. On appelle ordre sur une partie de possdant les proprits suivantes : (i) La diagonale de est contenue dans ; (ii) et impliquent ; (iii) et impliquent . La relation est usuellement note , et on note la relation et . On dit que lordre sur est total si quelque soient et dans on a, soit , soit . Si est une partie dun ensemble ordonn par , alors est un ordre sur appel lordre induit sur par celui de .
Dans toute la suite, un ordre sera toujours not ou . Par convention, on note

si

et

si

D FINITION A.2.2. Soient et deux ensembles ordonnes et une application de dans . On dit que est croissante (resp. strictement croissante, dcroissante, strictement dcroissante) si (resp. ) implique (resp. , , ). De plus, est dite monotone (resp. strictement monotone) si elle est croissante ou dcroissante (resp. strictement croissante ou dcroissante). On dit que est un isomorphisme si elle est bijective croissante ainsi que son inverse.
Il est clair que toute application monotone injective est strictement monotone. Inversement :

P ROPOSITION A.2.1. Soient un ensemble totalement ordonn et un ensemble ordonn. Toute application strictement monotone de dans est injective. en particulier, si est strictement croissante cest un isomorphisme de sur .
Dmonstration. En effet, exemple croissante, si

implique ou donc ou donc on a ncessairement , ce qui montre que est croissante.

. Alors, si

est par

D FINITION A.2.3. Soit un ensemble ordonn. Un lment de est appel lment maximal (resp. minimal) de si la relation (resp. ) implique . est dit le plus petit (resp. grand) lment de si, on a (resp. ). On dit quun ensemble ordonn est bien ordonn si toute partie non vide de admet un plus petit lment.
On remarquera que tout ensemble bien ordonn est totalement ordonn puisque toute partie deux lments a un plus petit lment. La Proposition suivante est immdiate :

P ROPOSITION A.2.2. Soit un ensemble ordonn. Soit la runion (disjointe) de et dun ensemble rduit un point Alors, sur il existe un et un seul ordre induisant lordre de et pour lequel soit le plus grand lment.

D FINITION A.2.4. Soit un ensemble ordonn. 1. On appelle segment de une partie de telle que et implique . 2. Si et sont deux points de on appelle intervalle ferm (resp. ouvert, semi-ouvert droite, semiouvert gauche) dorigine et dextrmit lensemble tels que (resp. tels que , tels que , tels que ). 3. Si , on appelle intervalle ferm illimit gauche (resp.ouvert illimit gauche, ferm illimit droite, ouvert illimit droite) lensemble tels que (resp. tels que , tels que , tels que ).
106 Licence de Mathmatiques Pures de Bordeaux

A.3. THORME DE ZERMELO ET LEMME DE ZORN

P ROPOSITION A.2.3. Soit un ensemble bien ordonn. Tout segment de , et sappelle lextrmit du segment.
Dmonstration. En effet, comme aurait ) et, par suite,

distinct de

est un intervalle de la forme


implique

est non vide, il a un plus petit lment


, do on dduit le rsultat.

. Alors la relation

(sinon on

SECTION A.3

Thorme de Zermelo et Lemme de Zorn


P ROPOSITION A.3.1. Soit une famille densembles ordonns possdant les proprits suivantes : 1.quelque soient et dans , il existe tel que et ; 2. Si , lordre induit sur par celui de est identique celui de . Alors, sur , il existe un ordre et un seul qui induise sur chaque lordre donn.
Dmonstration. Montrons tout dabord lunicit. Si est lordre donne sur , question, on a . Par ailleurs, lhypothse 1. implique que si et, donc, si

, et si est un ordre sur qui rpond la , il existe tel que ,

, on doit avoir

, ce qui montre que lon doit avoir

Montrons maintenant lexistence en vriant que

, on a implique enn, la transitivit provient aussitt de 1.

est un ordre sur qui rpond la question. Comme, par hypothse, , clairement la diagonale de est contenue dans et

P ROPOSITION A.3.2. Soit famille densembles bien ordonns telle que, pour tout couple dindices , lun des ensembles et soit un segment de lautre (i.e. par exemple , lordre de est induit par celui de et , , implique ). Alors sur il existe un et un seul ordre qui induise sur chacun des lordre donn. Muni de cet ordre est bien ordonn. De plus : a) Tout segment de est un segment de . b) Pour tout , le segment dextrmit dans est gal au segment dextrmit dans . c) Tout segment dans est tout entier ou un segment de lun des .
Dmonstration. Remarquons tout dabord que la premire assertion est un cas particulier de la Proposition prcdente. Montrons maintenant que chaque est un segment de : si et est tel que , il existe tel que et alors, soit est un segment de ce qui implique , soit est un segment de et on a aussi . De plus, comme chaque segment de , non gal , est un intervalle (Proposition A.2.3), ce raisonnement montre aussi que le segment dextrmit dans est lintervalle dans . Montrons maintenant que est bien ordonn. Soit une partie non vide de et soit tel que . Comme est bien ordonn, a un plus petit lment dans . Soit ; il existe tel que ; si est un segment de , on a et, par suite ; si est un segment de , et si , alors ce qui est une contradiction. Ainsi (puisque est totalement ordonn) on a , ce qui montre que est le plus petit lment de dans . Reste voir le c). Or, si est un segment de non gal , il est de la forme (Proposition A.2.3), et la conclusion rsulte de ce qui prcde.

P ROPOSITION A.3.3. Soient un ensemble une partie de tout . Alors il existe une partie de 1. Pour tout , et 2. .

et une application de dans


et un bon ordre sur tels que : .

telle que

pour

107

ANNEXE A. AXIOME DU CHOIX ET LEMME DE ZORN

Dmonstration. Soit lensemble des parties de telles que, dune part, est un bon ordre sur , et, dautre part, , et . Montrons tout dabord que si et sont deux lments de telles que et est un segment de . Soit lensemble des tels que tes , on a segments dextrmit dans et dans soient les mme ainsi que les ordres induits sur ce segment par ceux de et . Il est clair que est un segment dans et dans et que les ordres induits sur sont les mme. Il nous suft donc de montrer que ou . Or, si on suppose et , alors et sont tous deux non vides et ont donc chacun un plus petit lment et . Ainsi la fois dans et dans . Ceci implique et , et donc ce qui est absurde. Posons alors . Appliquons maintenant la Proposition prcdente la famille des , : soit

est un segment de lun des , le bon ordre donn par cette Proposition sur ; Pour tout , ] signie que . Reste donc montrer que . Supposons , alors, si , , et on peut adjoindre comme plus grand lment (Proposition A.2.2) et obtenir un ensemble bien ordonn . Alors dans donc et , ce qui montre que lordre sur appartient . Mais ceci est absurde par dnition de .

, ce qui

On notera que lensemble produit par la Proposition prcdente peut fort bien tre vide. Cest par exemple le cas si si , il a un plus petit lment et . Par contre si est assez gros, on peut obtenir :

car,

T HORME A.3.1 (Thorme de Zermelo ).


Sur tout ensemble il existe un bon ordre.

, daprs la Proposition A.1.1, page 105, il existe une application de dans Dmonstration. En effet, si , . Alors, la Proposition prcdente implique quil existent et un bon ordre sur tels que donc avoir .

. On doit

telle que,

Remarque A.3.1. On peut dmontrer que le Thorme de Zermelo et lAxiome du choix (et donc aussi la Proposition A.1.1) sont en fait quivalents.

T HORME A.3.2.
Soit un ensemble ordonn (non vide !) dont toute partie bien ordonne est majore. Alors possde un lment maximal. En particulier, tout ensemble ordonn inductif (i.e. tel que toute partie totalement ordonne admet un majorant dans ) possde un lment maximal.
Dmonstration. La seconde partie de lnonc est un cas particulier de la premire puisque toute partie bien ordonne est totalement ordonne. Dmontrons donc la premire. Soit lensemble des parties de admettant un majorant strict (i.e. nappartenant pas la partie) dans (remarquer que ). Pour tout , soit lensemble des majorants stricts de dans , et considrons lapplication de dans dnie par . Daprs lAxiome du choix ( page 105), il existe une application de dans telle que , . Appliquons alors la Proposition A.3.3, page prcdente : ceci nous donne une partie de et un bon ordre sur possdant les proprits dcrites dans cette Proposition. Montrons que cet ordre est identique lordre induit sur par lordre de . Soient et deux lments de ; la relation , quivaut , et comme, daprs le 1. de la Proposition A.3.3, on a , par dnition de , on a (pour lordre de ). Ceci montre que linjection de dans est strictement croissante ( ordonn par ). Comme est totalement ordonn, cette injection est un isomorphisme (Proposition A.2.1, page 106), ce qui montre que les relations et sont quivalentes dans , ce qui est lassertion voulue. Par hypothse il existe donc un majorant de dans , qui nest pas un majorant strict daprs le 2. de la Proposition A.3.3. Montrons alors que est un lment maximal de : en effet, si tel que . et si , est un majorant strict de ce qui est impossible.

C OROLLAIRE (Lemme de Zorn ). Soient un ensemble ordonn inductif et .

un lment de

. Il existe un lment maximal de

tel que

Dmonstration. en effet, soit lensemble des majorants de (qui est non vide par hypothse). Il est clair que est inductif pour lordre induit par , et le Thorme prcdent montre que possde un lment maximal . Alors est aussi un lment maximal de car si est tel que , on a (puisque implique ) et donc soit .

Remarque A.3.2. On peut dmontrer que le Lemme de Zorn et le Thorme de Zermelo (donc aussi laxiome du choix et la Proposition A.1.1, page 105) sont quivalents.

108

Licence de Mathmatiques Pures de Bordeaux

A.4. APPLICATIONS DE LAXIOME DU CHOIX AUX ESPACES VECTORIELS

SECTION A.4

Applications de laxiome du choix aux espaces vectoriels


T HORME A.4.1 (Thorme de la base incomplte ).
Toutespace vectoriel sur un corps commutatif possde une base. Plus prcisment, si est une partie libre de , il existe une base de contenant .

Dmonstration. Soit lensemble des parties libres de contenant , et ordonnons par inclusion. Montrons que est inductif : si est une partie totalement ordonne de , vrions que la runion des lments de est une lment de . Soit une combinaison linaire nie nulle dlments de ; comme est totalement ordonn, les appartiennent tous un seul lment de ce qui donne pour tout . Il rsulte alors du Lemme de Zorn ci-dessus que possde un lment maximal . Montrons, pour conclure que est une base de . Comme est une partie libre, il faut voir quelle est gnratrice ; or, sil nen ntait pas ainsi il existerait tel que toute combinaison linaire de la forme , , implique , . Alors appartiendrait ce qui est absurde.

C OROLLAIRE . Tout sous-espace vectoriel dun espace vectoriel

admet un supplmentaire algbrique.


est contenue dans une base
de

Dmonstration. Par le Thorme prcdent possde une base , et, par ce mme Thorme . Alors est une base dun supplmentaire de dans .

T HORME A.4.2 (Existence des applications linaires ).

Soient et deux espaces vectoriels sur un corps commutatif et une famille dlments de . pour quil existe une application linaire de dans telle que , , , il faut et il suft que les relations , , , les tant tous nuls sauf au plus un nombre ni, impliquent .

Dmonstration. En effet, soit le sous-espace engendr par les , . Par le Corollaire ci-dessus, admet un supplmentaire dans , et, par le Thorme prcdent, on peut trouver une base de ce supplmentaire. Alors la famille , engendre , et, si lhypothse faite sur les est satisfaite, on dnit une application linaire de dans en posant si et si .

C OROLLAIRE . Sur tout espace vectoriel non rduit zro il existe des formes linaires non nulles.
Dmonstration. En effet, si .

est non nul, et si

est aussi non nul, il existe une application linaire

de

dans telle que

Exemple A.4.1. Il existe des applications -linaires non nulles de dans . On notera que de telles applications ne sont certainement pas continues (la continuit impliquerait , pour tous et dans ce qui implique et, donc prendrait des valeurs irrationnelles) : le Thorme de Hahn-Banach (Thorme III.4.6, page 63) est en gnral faux pour un espace vectoriel sur . En effet, dans le cas contraire, en considrant comme un sous-espace du -espace vectoriel , la forme linaire de dans lui-mme vrie , et, si on peut appliquer le Thorme de Hahn-Banach, on construit une forme
-linaire sur telle que

ce qui implique quelle est continue.

109

A NNEXE

CARDINALIT DES ENSEMBLES


D
ans cet appendice, on donne les notions de base concernant la cardinalit des ensembles innis. Le principal rsultat dit que le produit cartsien dun ensemble inni par lui mme mme cardinal que lensemble lui mme. Ce rsultat est utilis dans la thorie des espaces de Hilbert pour montrer que deux bases ont mme cardinal et, ainsi, dnir la dimension dun espace de Hilbert.

Cardinalit
D FINITION B.1.1. Soient et deux ensembles. 1. On dit que et ont mme cardinal, ou quils sont quipotents, sil existe une bijection de lun sur . lautre et on crit card card ou 2. On dit que le cardinal de est infrieur celui de sil existe une injection de dans , et on crit .
Cette dnition est justie par le Thorme de Cantor-Bernstein :

T HORME B.1.1 (Thorme de Cantor-Bernstein ).


Soient si et deux ensembles. si et si nest pas quipotent et , on crit alors . et sont quipotents. En consquence,

Dmonstration. Soient une injection de dans et une de dans . On dira que pour anctre si on peut passer de par applications successives de et , et de mme pour les lments de . Soit (resp. ) les lments de qui ont un nombre ni pair, zro inclus, (resp. impair) danctres et ceux qui ont un nombre inni danctres. Il est clair que ces ensembles forment une partition de . De mme, dnissons les ensembles , et . Comme et sont injectives, on a , 111

EXENNA

SECTION B.1

ANNEXE B. CARDINALIT DES ENSEMBLES

. De plus, et On dnit alors une bijection de sur

est une bijection de en posant

sur

et

est une bijection de

sur

et

P ROPOSITION B.1.1. Soit un ensemble non vide. Alors

dans , daprs le Thorme prcdent, il suft de voir quil Dmonstration. Comme il existe clairement une injection de nexiste pas de bijection de sur . Supposons, par labsurde, que soit une telle bijection, et dnissons une partie de en posant tels que

Puisque

est une bijection (et .

non vide), il existe

tel que

. Mais ceci est absurde car on ne peut avoir ni

ni

SECTION B.2

Ensembles dnombrables
D FINITION B.2.1. On dit quun ensemble est dnombrable (ou au plus dnombrable) sil est ni ou quipotent . P ROPOSITION B.2.1. Soit un ensemble dnombrable. 1. Toute partie de est dnombrable. Autrement dit est dnombrable si et seulement si 2. Pour tout entier , est dnombrable. 3. Si est une famille dnombrable (i.e. dnombrable) densembles dnombrables, alors dnombrable.

est

Dmonstration. Pour montrer le 1., il suft de voir quune partie innie de est quipotente ce qui se montre facilement par rcurrence. Pour voir le 2., par rcurrence, il suft de montrer que est dnombrable ce qui se fait aisment en rangeant les couples dentiers positifs avec lordre lexicographique : , , , , etc . Enn 3. rsulte de 2. Cette Proposition montre que si est non dnombrable et si est une partie dnombrable de Nous allons voir, au paragraphe suivant quen fait est quipotent .

alors

nest pas dnombrable.

SECTION B.3

Cardinalit des ensembles innis


T HORME B.3.1.
tant donn deux ensembles et , lun est quipotent une partie de lautre (i.e. soit ). En particulier, tout ensemble inni contient une partie quipotente .
Dmonstration. Soit

soit

Clairement que soit 112

est inductif, et, daprs le lemme de Zorn, il possde un lment maximal . Pour conclure, il suft de voir , soit . Or, si cela est faux, et sont tous deux non vides, et on contredit la maximalit de
Licence de Mathmatiques Pures de Bordeaux

bijection de

sur

. Ordonnons

prolonge

par la relation

B.3. CARDINALIT DES ENSEMBLES INFINIS

en prenant et et en prolongeant quipotent une partie de , on conclut en utilisant le 1. de la Proposition B.2.1.


T HORME B.3.2.
Si est un ensemble inni,

par

. Enn, si

est inni et

est quipotent

Dmonstration. Daprs le thorme prcdent, il existe une partie de quipotente , et une bijection de sur (Proposition B.2.1, page ci-contre). Soit lensemble des couples tels que soit une partie de contenant et une bijection de sur qui prolonge ( est non vide car ), et ordonnons par inclusion et prolongement (comme dans la preuve du Thorme prcdent) de sorte que est inductif et possde donc un lment maximal daprs le Lemme de Zorn. Pour conclure, montrons que est quipotent . Supposons que cela soit faux, et montrons qualors est quipotent une partie de . En effet, si cela tait faux, daprs le Thorme prcdent, il existerait une injection de dans , donc une injection de dans et donc une injection de dans ( est par construction quipotent ), ce qui, daprs le Thorme de Cantor-Bernstein (Thorme B.1.1, page 111), implique que et seraient quipotents ce qui est contraire lhypothse. Ainsi, est quipotent une partie de . posons et montrons que est quipotent par une bijection qui prolonge . On a

et comme

, sont quipotents,

est quipotent . Comme il existe une injection de B.1.1, page 111), implique que est quipotent par une bijection la maximalit de .

dans

est quipotent

) le Thorme de Cantor-Bernstein (Thorme

. On dnit alors une bijection de sur

en posant

et

, ce qui contredit

C OROLLAIRE 1. Si est un ensemble inni, il existe une bijection de

sur

Dmonstration. Comme, daprs le Thorme B.3.1, il existe une injection de dans dans et la conclusion viens du Thorme de Cantor-Bernstein (Thorme B.1.1, page 111).

, il existe une injection de

et

C OROLLAIRE 2. Soit un ensemble inni. Si sont quipotents.


Dmonstration. En effet,

est un sous-ensemble dnombrable de


sont quipotents daprs le Corollaire 1.

tel que

soit inni, alors

et

Nous avons vu (Corollaire 1 du Thorme I.1.3, page 2) que nest pas dnombrable. En fait, on peut montrer grce aux rsultats que nous venons de voir que est quipotent :

P ROPOSITION B.3.1. est non dnombrable et quipotent


Dmonstration. Nous allons montrer que lintervalle sous la forme

.
de est quipotent

forme qui ont deux tels dveloppements, lun qui na que des zros partir dun certain rang (dveloppement propre) et lautre qui na que des partir dun certain rang (dveloppement impropre). On dnit alors aisment une bijection de lensemble des dveloppements diadiques sur lensemble des parties de en associant

ce qui suft. crivons tout rel de cet intervalle

avec

ou (dveloppement diadique). Cette criture est clairement unique sauf pour les nombres de la

lensemble des tels que

. Comme lensemble

des dveloppements diadiques impropres est dnombrable (car est dnombrable), lensemble des dveloppements diadiques propres est quipotent par le Corollaire prcdent. La non dnombrabilit de rsulte alors de Proposition B.1.1, page prcdente.

113

I NDEX DES N OTATIONS


, 54 , 54 , 54 , 54 , 60 , 60
, 3 , 51 ,8 , 10 , 10 , 111 , 10 , 10 , 10 , 64 , 59 , 12 , 59 , 12 , 27 , 12 , 12 , 22 Fr , 8 , 25 , 25 ,8 , 3

, 17 , 17 , 18 , 18 ,3 , 24 , 24

, 21 , 81

, 10 , 3, 14 , 10

115

I NDEX T ERMINOLOGIQUE

Adhrence, 8 Application Croissante, 106 Strictement croissante, 106 Dcroissante, 106 Strictement dcroissante, 106 Linaire continue Norme dune, 60 Monotone, 106 Strictement monotone, 106 Multilinaire continue Norme dune, 60 Ouverte, 61 Base de voisinages, 9 pour la topologie, 9 Hilbertienne, 84 Boule Ferme, 10 Ouverte, 10 Complment, 53 Cne de sommet , 78 Point, 78 Dimension hilbertienne dun espace de Hilbert, 85 Distance, 9 Distance de la convergence uniforme sur les , 13 de la convergence uniforme, 12 quivalentes, 11 Topologiquement quivalentes, 11 Ultramtriques, 13 cart, 10 lment Maximal, 106 Minimal, 106 Ensemble Dnombrable ou au plus dnombrables, 112 Inductif, 108 Bien ordonn, 106 Ordre sur un, 106 Ordre total sur un, 106 Ensembles Ayant mme cardinal, 111 quipotents, 111 Espace de Banach, 52 de Hilbert, 75 Mtrique, 9 Mtrique Produit, 22

de premire catgorie de Baire, 25 de seconde catgorie de Baire, 25 Complet, 23 Complt, 29 Discret, 13 Isomtriques, 16 Ouvert dun, 10 Prcompact, 33 Topologie dun, 10 Norm, 51 Norm Bidual, 64 Bidual dun, 64 Dual, 64 Dual dun, 64 Produit, 52 Quotient, 53 Rxif, 65 Prhilbertien, 75 Topologique, 7 Topologique de Baire, 26 Compact, 31 Compactie de Stone Cech dun, 38 Compacti dAlexandrov dun, 38 Compltement rgulier, 38 Connexe par arc, 20 Connexe, 18 Homomorphes, 15 Localement compact, 36 Localement connexe par arc, 20 Localement connexe, 20 Mtrisable, 11 Produit d, 21 Quotient, 9 Sparable, 8 Spar, 8 Sous-espace, 9 Totalement discontinu, 19 Famille Sommable, 56 Absolument sommable, 56 Orthogonale dans un espace prhilbertien, 83 Orthonormale dans un espace prhilbertien, 83 Sommable Critre de Cauchy pour une, 56 Totale, 68 Ferms, 7 Fonction Continue en un point, 14 Continue, 14 Strictement contractante de rapport , 29 Limite dune, 17 Limite infrieure dune, 18 117

INDEX TERMINOLOGIQUE

Limite suprieure dune, 18 Lipschitzienne de rapport , 29 Oscillation dune, 24 Sous-linaire, 62 Uniformment continue, 16 Forme Bilinaire symtrique, 73 Hermitienne, 73 Hermitienne non dgnre, 74 Noyau dune, 74 Positive, 74 Sequilinaire, 73 Frontire, 8 Homomorphisme, 15 Homomorphisme despaces prhilbertiens, 75 Hyperplan, 61 Hyperplan afne, 61 Identit de Parseval, 84 Ingalit de Bessel, 83 de Cauchy-Schwarz, 74 de Minkovski, 74 Triangulaire, 9 Isomtrie, 16 Isomorphisme despaces prhilbertiens, 75 Jauge dun convexe, 63 Norme, 51 Semi-norme, 75 Normes quivalentes, 52 Oprateur Adjoint sur un espace de Hilbert, 79 sur un espace de Hilbert, 79 Ouverts, 7, 10 Partie borne, 10 Compacte, 31 Connexe, 18 Convexe, 63 dense, 8 quicontinue, 40 quicontinue sur , 40 quicontinue en , 40 Maigre, 9 Ordre induit sur une, 106 Rare, 9 Relativement compacte, 31 Totale, 52 Point dAccumulation, 8 Adhrent, 8 Intrieur, 8 Isol, 8 Polynmes de Hermite, 85 de Legendre, 85 118

Procd diagonal, 36 Procd dorthonormalisation de Schmidt, 84 Produit scalaire, 75 Projection sur un convexe complet, 76 Proprit de Cantor, 24 de Lebesgue, 35 des segments embots, 2 Relation dquivalence Ferme, 9 Ouverte, 9 Srie dans un espace norm, 54 Srie Absolument convergente, 55 Commutativement convergente, 58 Convergente, 54 Critre de Cauchy pour une, 55 Normalement convergente, 55 Reste dordre dune, 54 Somme Hilbertienne externe despaces de Hilbert, 81 Hilbertienne de sous-espaces ferms dun espace de Hilbert, 82 Sphre, 10 Suite de Cauchy, 1, 23 Convergente, 13 Totale, 68 Valeur dadhrence, 3, 14 Thorme dAscoli, 40 de Baire, 25 de Darboux, 20 de Banach, 61 de Banach-Alaoglu, 65 de Banach-Steinhaus, 62 de la base incomplte dans un espace de Hilbert, 84 de la base incomplte, 109 de Bolzano-Weierstrass, 3 de Cantor Bernstein, 111 de Dini, 38 Dual dun espace de Hilbert, 79 du graphe ferm, 62 de Hahn-Banach, 63 de Hahn-Banach rel, 62 de Hanh-Banach rel, forme gomtrique, 64 disomorphie de Banach, 62 de la mdiane, 75 du point xe de Brouwer, 30 du point xe classique, 29 des projections sur un cne convexe, 78 des projections sur un convexe, 76 des projections sur un sous-espace, 78 de Pythagore, 75 de Frdric Riesz, 68 de Stone-Weierstrass, 39 de Tietze-Urysohn, 28, 37 de Tychonoff, 32 de Zermelo, 108 Lemme de Zorn, 108 Licence de Mathmatiques Pures de Bordeaux

INDEX TERMINOLOGIQUE

Topologie, 7 Topologie de la convergence simple, 22 de la convergence uniforme sur les compacts, 40 induite, 9 Produit, 21 Quotient, 9 Topologique Somme directe, 53 Supplmentaire, 53 Vecteur Isotrope, 74 Voisinage dun point, 8 dune partie, 8

119

B IBLIOGRAPHIE

[Bou65] N. B OURBAKI Topologie gnrale, elments de mathmatique d., vol. Fascicule II, Actualits Scientiques et Industrielles, no. 1142, Hermann, 1965. [Bou67] N. B OURBAKI Thorie des ensembles, elments de mathmatique d., vol. Fascicule XX, Actualits scientiques et industrielles, no. 1243, Hermann, 1967. [Die68] J. D IEUDONN lments danalyse, Tome I, Cahiers Scientiques, fascicule XXVIII, Gauthiers-Villars, Paris, 1968. [DS67] N. D UNFORD et J. T. S CHWARTZ Linear operators, Part I, Pure and Applied Mathematics, Interscience Publishers, 1967. [Rud70] W. RUDIN Real and complex analysis, Series in Higer Mathematics, Mc Graw-Hill, New York, 1970, existe en version franaise.

121