cours de mathematiques speciales

3
topologie et elements d'analvse
E. RAMIS C. DESCHAMPS J. ODOUX

a- edition

. .

In MASSON

COURS
DE

MATHEMATIQUES
SPECIALES

TOPOLOGIE ET ELEMENTS D'ANALYSE

CHEZ LE MtME EDITEUR

Des memes auteurs

COURS DE MATHEMATIQUES SPECIALES. Par E. RAM C. DESCHAMPS IS, et J.Oooux. Volume 1. Algebre, 1989, 2e edition, 444 pages. Volume 2. Algebre et application a la geometric, 1990, 3e tirage corrige, 312 pages. Volume 3. Topologie et elements d'analyse, 1991, 3e edition, 372 pages. Volume 4. Series et equations differentielles, 1990, 2e edition, 2e tirage, 328 pages. Volume 5. Applications de l'analyse a la geometric, 1981,320 pages. EXERCICES avec solutions, par E. RAM IS,C. DESCHAMPSJ. Oooux. et Analyse. Tome 1, 1984,200 pages. Tome 2, 1985, 224 pages. Algebre. 1988, 200 pages.
Autres ouvrages

TOPOLOGIE, par H. LEHNING. ollection C n? 1, 1985, 128 pages.

Mathematiques

Superieures

et Speciales

DERIVATION, avec exercices. Collection Mathematiques 1987, 184 pages. INTEGRATION

rieures et Speciales n? 3, 1985, 128 pages.

Superieures et Speciales n" 2, Supe-

ET SOMMATION, avec exercices. Collection Mathematiques

ANALYSE EN DIMENSION FINIE, avec exercices. Collection Mathematiques rieures et Speciales n" 4, 1986, 192 pages. ANALYSE FONCTIONNELLE. n° 5, 1988, 256 pages.
Collection

Supe-

M athematiques

Superieures

et Speciales

ANALYSE COMPLEXE, par P. DOLBEAULT. Collection Maftrise de Mathematiques Pures, 1990, 252 pages. COURS DE TOPOLOGIE, Licence et Ire annee de maitrise C1. Espaces topologiques et espaces metriques, Fonctions numeriques, Espaces vectoriels topologiques, par G. CHOQUET, 1984, 2e edition, 3e tirage, 328 pages. ANALYSE REELLE ET COMPLEXE, par W. RUDIN,1991, 5e tirage, 408 pages.

COURS DE

MATHEMATIQUES SPECIALES
par E. Ramis
Inspecteur general de I'Instruction Publique

c.

Deschamps

1. Odoux
Professeur de Mathematiques Speciales au Lycee Champollion, Grenoble

Professeur de Mathematiques Speciales au Lycee Louis-le-Grand

TOPOLOGIE ET ELEMENTS D'ANALYSE

Classes Preparatoires et Enseignement Superieur (1 er cycle)

3' edition revue et augmentee

MASSON
Paris Milan Barcelone Bonn
1991

Tous droits de traduction, d'adaptation et de reproduction par tous precedes, reserves pour tous pays. Toute reproduction ou representation integrale ou partielle, par quelque precede que ce soit, des pages publiees dans Ie present ouvrage, faite sans I'autorisation de I'editeur, est illicite et constitue une contrefacon. Seules sont autorisees, d'une part, les reproductions strictement reservees it I'usage prive du copiste et non destinees it une utilisation collective, et d'autre part, les courtes citations justifiees par Ie caractere scientifique ou d'information de l'eeuvre dans laquelle elles sont incorporees (Ioi du II mars 1957 art. 40 et 41 et Code Penal art. 425). Des photocopies payantes peuvent etre realisees avec l'accord de l'editeur, S'adresser au: Centre Francais du copyright, 6 bis, rue Gabriel-Laumain, 75010 Paris, tel. 48249830.

© Masson. Paris. 1976. 1991

ISBN: 2-225-82488-6 MASSON S.A. MASSON S.p.A. MASSON S.A. DORRund KESSLER 120, bd Saint-Germain, 75280 Paris Cedex 06 Via Statuto 2/4, 20121 Milano Balmes 151, 08008 Barcelona Maarweg, 30, 5342 Rheinbreitbach b. Bonn

A VERTISSEMENT

Le present ouvrage est Ie troisieme des cinq tomes d'un Cours de Mathematiques ecrit a l'intention des eleoes des classes de Mathematiques Superieures et de Mathematiques Speciales (types M et M', P et P', et TA). Il etait it l'origine conforme aux programmes du 4 fevrier 1972, et, dans son etat actuel, if repond largement aux exigences des programmes du 16 septembre 1988. Au prix de quelques complements nous avons fait en sorte que /'ouvrage so it utilisable par les etudiants des Universites. Conscients du fait qu'un cours de mathematiques peut s'orqaniser de bien des facons, et desireux de respecter Ie choix des professeurs - auxquels nous n'avons, naturellement, pas l'intention de nous substituer - nous avons groupe dans chacun des cinq tomes un ensemble coherent auquel le lecteur pourra se reporter sans hesitation. Les deux premiers tomes sont consacres a l' Algebre et it ses applications it la Geometric. L'Analyse fait l'objet des Tomes 3 et 4. Tome 3: Topologie et elements d'analyse; Tome 4: Series et equations differentielles. Le dernier tome traite des Applications de I'Analyse it la Geometric, • Nous nous sommes efforces de respecter au maximum l' esprit des programmes ; if nous est toutefois arrive de tratter certaines questions sous un angle plus general que celui qui y figure explicitement. Nous l'avons fait avec moderation . • Nous avons apporte Ie plus grand soin au choix des notations. La term inoloqie utilisee est en general celie des programmes et de leurs commentaires. Precisons que : - pour nous, tout anneau possede parler d' anneau unitaire (ou unifere ), un element-unite, ce qui dispense de

- nous imposons tout morphisme d' anneaux de transformer l' elementunite de l'objet en celui de l'image, ce qui euite l'introduction de la notion de representation, nous imposons it tout anneau integre d'etre commutatif, nous convenons que les formes sesquilineaires sont semi-lineaires it gauche,

- en ce qui concerne le logarithme neperien, nous nous sommes efforces de tenir compte de ce que la notation In a pris le pas sur la notation Log.

VI

AVERTISSEMENT

• Afin de nous adapter aux exigences des divers utilisateurs de notre ouvrage, nous avons utilise deux corps de caracteres, les plus petits etant consacres - d'une part a des remarques, exemples et contre-exemples qui doivent etre consideres comme formant un tout avec Ie texte imprime en caracteres normaux, - d' autre part a des complements reserves a une «seconde lecture» et qui, en fait, s'adressent exclusivement aux eleves des classes M'.

• Nous avons utilise Ie signe D, qui peut se lire: «Ia proposition en resulte », pour materialiser la fin d'une demonstration et annoncer l'introduction d'une idee nouvelle. • Le double asterisque, *"'*' permet d'isoler un resultat faisant intervenir des notions qui n'ont pas encore ete etudiees dans Ie Cours, mais qui sont connues du lecteur (a charge pour celui-ci de s'assurer qu'il n'y a pas de cercle vicieux). • Le systeme de reperaqe est simple: Ie numero du tome est indique en chiffres romains, ceux du chapitre, du sous-chapitre et du paragraphe en chiffres arabes. C'est ainsi que 1.5.6.2 renvoie au second paragraphe du sixieme souschapitre du cinquieme chapitre du tome I, (Ie numero de tome n' etant pas specifie lorsqu'il n'y a pas d'ombiquite ), Des exercices sont adjoints a chaque chapitre. Bien qu'ils soient de difficulte ineqale, nous n'avons pas juqe bon de les reperer par des lettres avertissant Ie lecteur de leur difficulte croissante. En principe, les plus faciles sont en tete de chaque serie,
LES AUTEURS

TABLE DES MATIERES

1. Le corps des reels................................................ 1.1. Une construction de IR 1.2. Completude de IR et consequences. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.3. Autres proprietes de IR Exercices 2. Espaces topologiques. Espaces metriques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.1. Espaces topologiques 2.2. Limites et continuite 2.3. Espaces metriques. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.4. Espaces complets 2.5. Espaces compacts 2.6. Connexite Exercices 3. Espaces vectoriels normes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exercices 4. Fonctions d'une variable reeUe . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.1. Derivees 4.2. Theoreme 4.3. Fonctions 4.4. Fonctions 4.5. Fonctions 4.6. Problemes Exercices des accroissements finis. Formules de Taylor. . . . . . . . . . . reelles d'une variable reelle usuelles convexes d'interpolation et d'approximation . . . . . . . . . . . . . . . . . . . . . 1 1 9 14 22 26 26 36
45

59 65 72 77 86

102 106 106 114 118 126

134 137

140 149 150 159

175 187

5. Etude pratique d'une fonction reelle 5.1. Comparaison des fonctions au voisinage d'un point.............. 5.2. Developpements asymptotiques. Developpements limites . . .. . . . 5.3. Etude locale 5.4. Exemples d'etude d'une fonction Exercices 6. Integration........................................................ 6.1. Integration des applications en escalier. . . . . . . . . . . . . . . . . . . . . . . . . . 6.2. Integrale de Riemann d'une application d'un intervalle compact de IR dans un espace de Banach. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.3. Integrale de Riemann d'une application a valeurs dans IR. . . . . . . . . . 6.4. Classes d'applications integrables 6.5. Condition necessaire et suffisante d'integrabilite d'une application bornee...................................................... 6.6. Primitives et integrales 6.7. Calcul des integrates. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Exercices

185

191 191 195 208 219

223

226 229 241

VIII

TABLE

DES MAT/ERES 252 252 268 287 287 295 295 321 333 340 343 360

7. Complements sur les integrales 7.1. Calcul des primitives. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.2. Integrales impropres. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.3. Integrales dependant d'un parametre .. . . . . . . . . . . . . . . . . . . . . . . . . . Exercices 8. Calcul differentiel 8.1. 8.2. 8.3. 8.4. 8.5. Applications differentiables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . Differentielles d'ordre superieur Formules de Taylor et applications. . . . . . . . . . . . . . . . . . . . . . . . . . . . . Fonctions homogenes, Fonctions convexes Fonctions implicites. Fonctions reciproques Exercices

1
LE CORPS DES REELS

L' anneau 7L des entiers relatifs a he defini en Alqebre (1.6.5 et 3.1.1, 2°). Le corps CQ des rationnels est Ie corps des fractions de 7L tAlqebre 3.4.2).

1.1. UNE CONSTRUCTION

DE 1R

1.1.1. Suites dans un corps commutatif totalement ordonne

Dans Ie present n" 1.1.1, IK designe un corps commutatif totalement ordonne, c'est-a-dire un corps commutatif muni d'une relation d'ordre total ( ~) telle que les inegalites 0 ~ x et 0 ~ y entrainent les inegalites 0 ~ x + y et 0 ~ xy. Nous savons qu'un tel corps est de caracteristique nulle. Nous designons par IK+ (resp. IK!) (resp. strictement positifs) de IK. l'ensemble des elements positifs

Rappelons que nous disposons de la valeur absolue, qui est I'application x 1--+ Ixi = Max (x, -x) de IK dans IK+ (cf. 1.3.5.1, 4°). 1° Suites dans IK. - Les suites dans IK (ou suites d 'elements de IK) sont, par definition, les applications de I'ensemble N des entiers naturels dans IK. Soit x I'une d'elles; elle est determinee quand on connait I'image XII par x de tout element n EN; on pourra designer la suite par (XII)IIeN et, abreviativement, par (XII)' Nous avons montre (1.4.4, 1° Exemple sur Ie corps commutatif IK, muni des lois :

b»

que l'ensemble IKN des suites

est une K-algebre commutative qui admet pour element unite la suite constante n 1--+ I (I : element unite de IK). 2° Suites bornees. - Conformement aux definitions donnees dans Ie cours d'Algebre, une suite (XII) d'elements de IK est dite majoree (resp. minoreey si et seulement s'il existe ME IK tel que : 'V n EN XII ~ M (resp. 'V n EN M ~ XII)' Une suite a la fois majoree et minoree est dite bornee. On verifie

LE CORPS DES REELS

ME]I(

1.1.1

aisernent que la suite (xn) est bornee si et seulement s'il existe V n EN IXnl ~ M (autrement dit (lxnDneN est majoree).
THEOREME. L'ensemble une sous-algebre de ]l(N. $(]I()

tel que
]I(

des suites bornees d'elements de

est

Verification immediate. 3° Suites convergentes. - DEFINITION. - On dit que la suite (xn) d'elements de ]I( est convergente si et seulement s'i1 existe un element a E]I( verifiant la coadttion' 1) :
V
8 E]I(!

3N

EN

Vn~ N

(1)

Notons qu'il ne peut exister deux elements distincts, a et a', de K verifiant (1). En effet, dans Ie cas contraire, on pourrait considerer l'element :
8=

la' -al/2

de

]I(!,

lui associer deux naturels N1 et N2 tels que:

En posant N = max (N1' N2) on aurait, en particulier et Compte tenu de ce1a conduirait la' -al la' -al ~ la' -xNI avec

+ IXN-al,
28
=

< 28,

la' -ai,

ce qui constituerait une contradiction. Ainsi, si une suite (xn) est convergente, il existe un et un seul a E]I( verifiant (1); on est en droit de dire que a est fa limite de la suite (xn), et d'ecrire a = lim (xn), ou abreviativement a = lim xn;
n-+

+00

On dit aussi que fa suite converge vers a. On appelle suite divergente toute suite qui n'est pas convergente. REMARQUE IMPORTANTE. On obtient une definition equivalente de la limite en remplacant la condition (1) par:
V
8 E]I(!

3N

EN

Vn~ N

II suffit de remarquer que, pour to us 8 E]I(! et n EN, Ixn-al ~ 8 est une consequence de IXn-al < 8 et que Ixn-al < 8 est une consequence de Ixn-al ~ 8/2.
EXEMPLE. Une suite (x.) est dite stationnaire si et seulement s'il existe no E IN tel que x, = x.o des que n ~ no; une telle suite converge vers x.o' Notons qu'une suite constante est stationnaire.
(I) La notation V /I ~ N est mise pour: V n E IN\{O. I•...• N - I} ; cette remarque est valable pour toute la suite de ce cours.

1.1.1
THEOREME

UNE CONSTRUCTION I. -

DE 1R

vers

Iai.

Si la suite (xn) converge vers a, alors la suite compte tenu de l'inegalite :

(lxnD converge

Cela resulte de la definition,

D
THEOREME U. x, ~ b, alors a ~ b.

Si la suite (xn) converge vers a, et si, pour tout n EN,

Par l'absurde, supposons a < b; l'element 8 = b - a de lK! on peut associer le naturel Ntel que: V n ~ N Ixn-al < 8; il en resulte xN-a < b-a, et done XN < b, ce qui constitue une contradiction. D

4° Suites de Cauchy. - DEFINITION. - On dit que la suite (xn) d'elements de lK est une suite de Cauchy si et seulement si : V 8 E lK!
THEOREME

3 N EN

Vn ~ N

Vp ~ N
est une suite de Cauchy.
8

(2)

I. -

Toute suite convergente

NEN

Soit (xn) une suite qui converge vers a. A tout tel que Ixn-al < 8/2 des que n ~ N. En utilisant : et
p ~ N, on a :

E lK! on peut associer

on en deduit que, pour n ~ N

THEOREME

II. -

Toute suite de Cauchy est bornee.

NEN

Soit (xn) une suite de Cauchy. A l'elernent 8 = 1 de lK! on peut associer tel que IXn-XNI < 1 des que n ~ N. D'ou :

THEOREME III. L'ensemble C(lK) des suites de Cauchy d'elements est une sous-algebre de lKN (ou de .'B(lK)).

de lK

C(lK) de lKN est stable pour les trois lois de structure

Soient (xn) et (Yn) deux suites de Cauchy, Ecrivons
8
(X

La suite-unite etant une suite de Cauchy, il suffit de verifier que la partie d'algebre, un element de lK. :

A tout

ElK!

~ IXn-xpl+IYn-Ypl on sait associer N lEN et N 2 EN tels que: IXn-xpl < 8/2,

l(xn+Yn)-(xp+Yp)1

et: En posant N = max (Nl, N2), on constate "In ~ N ce qui montre que (x" +Y n) est une suite de Cauchy. :

IYn-Ypl

< 8/2.

LE CORPS DES REELS

1.1.1

IXnl

- Ecrivons : IXnYn-xpYpl ~ IXn-xpllYnl + IXpIIYn-Ypl Les suites de Cauchy (xn) et (Yn) etant bornees, il existe Me 1K! tel que ~ Met IYnl ~ M pour tout n e N. Ainsi, pour tout (n, p) eN2 : IXnYn-xpYpl ~ (lxn-xpl+IY,,-YpI)M on sait

En raisonnant comme ci-dessus, on constate qu'a tout s elK! associer N e N tel que : Vn ~ N On en deduit : Vn ~ N ce qui montre que (xnYn) est une suite de Cauchy.

- Le lecteur pourra verifier directement que «(Xxn) est une suite de Cauchy, ou considerer qu'il s'agit d'un cas particuIier de ce qui precede, en prenant pour (Yn) une suite constante.
LEMME. Soient (xn) one suite convergeant vers 0 et (yn) one suite bornee, Alors Ia suite (xnYn) converge vers O.

II existe M e 1K! tel que

A tout s e 1K! on peut associer N e N tel que IXnYnl < s, des que n ~ N.

IYnl ~ M pour tout n eN. IXnl < elM, et par suite

0

THl30REME IV. L'ensemble C(IK) des suites convergentes d'elements de IK est one sous-algebre de J'a1gebre C(IK) des suites de Cauchy d'elements de 1K, et I'application (xn) 1--+ lim x,,, de C(IK) dans IK est on morphisme de lK-aigebres. La suite unite etant une suite convergente, it suffit de verifier que la partie C(IK) de C(IK) est stable pour les trois lois de structure d'algebre,

Soient (xn) et (Yn) deux suites convergeant respectivement vers a et b, un element de 1K. - Ecrivons: l(xn+Yn) - (a+b)1 ~ Ixn-al + Iy,,-bl. A tout e elK!, on peut associer NeN tel que IX,,-al < e/2 et IYn-bl < e/2 des que n ~ N. On a done l(xn+Yn)-(a+b)1 < a des que n ~ N. La suite (xn+Y,,) converge vers a+b. 0 - La suite (xnYn-ab) est la somme des suites [(xn-a)yJ et ·[(y,,-b)a]. Chacune de ces dernieres converge vers 0 d'apres Ie lemme. On en deduit que (xnYn-ab) converge vers 0, et done que (x"y,,) converge vers abo - Le fait que la suite «(XXn) converge vers aa peut etre etabli directement ou considere comme cas particuIier du precedent. 0 et
(x. REMARQUE. -

Nous avons ainsi montre les formules (lorsque les hypotheses du theoreme

sont verifiees) : lim (xn+ Yn) lim

(IXXn)

=
IX

lim (xn)

lim (Yn);

lim (xnYn)

lim (xn) lim (Yn);

lim (xn).

1.1.2

UNE CONSTRUCTION

DE IR

PROPOSITION. Soit (X.) one suite de Cauchy d'elements de IK, qui De converge pas vers 0(1). Alors it existe on element a de IK! et on entier N E lN, tels que Pone des deux assertions suivantes soit vraie :

(1)

Vn ~ N
par I'absurde. On suppose:
A

(2)

Raisonnons

Va

IK!

VN

lN

[(3 n ~ N x. < a)

(3 P ~ N xp > - a)].

(3)

Soit e un element de IK!. (x.) etant une suite de Cauchy, on peut trouver No ElN tel que Ix.-xpl < e/3 des que n ~ No et p ~ No. En prenant a = e/3 et N = No dans (3), on trouve des entiers no ~ No et Po ~ No tels que x.o < e/3 et xpo > -e/3. De -e/3 < x.o-xpo et -e/3 < xpo' on deduit -2e/3 < x.o < e/3, et a fortiori Ix.ol < 2e/3. Enfin, pour tout n ~ No, [x, - x.ol < e/3, et done Ix.1 < Ix.ol +e/3 < e. II en resulte lim x. = 0, ce qui constitue une contradiction.

1.1.2. Le corps des nombres reels

1° Toute suite convergente d'elements d'un corps commutatif totalement ordonne est une suite de Cauchy, mais la reciproque est fausse. Celajustifie :
DEFINITION. Le corps commutatif totalement ordonne IK est dit complet si et seulement si toute suite de Cauchy d'elements de IK est convergente. THEOREME. -

Le corps CQ des rationnels les deux suites d'elements

(I. 3.5.2., 5°) n'est pas complet. de CQ definies par:

SI

Considerons

x,
De deduit :

=
-

k=O

• L

-k';
.

Y. = x,

1 + --, n.n.
Yn+l

n~

et Yo = Yl .

x.+1

X.

(n

+ I)! et

Y. -

n(n

1
l)(n

+ I)! si

n~

1 on

Pour tout entier D'autre part,

n ~ 1 : x.

< x.+

et Y.+ 1

< Y•.

n ~ 1 : 0 ~ y.-x. ~ -. 011 peut done associer n a tout e E CQ! un naturel N tel que Iy. - x.1 < e des que n ~ N (il suffit de prendre N ~ l/e, ce qui est possible puisque CQ est archimedien),
pour
Cela ne signifie pas que la spite consideree converge vers un element non nul de 1K.

(I)

LE CORPS DES REELS Ainsi, si n ~ p ~ N, alors xp ~ x, ~ Yn ~ Yp, et done IXn-xpl ~ IXp-Ypl

1.1.2

<s

ee qui montre

que (xn) est une suite de Cauchy.

- Faisons l'hypothese (H) : (xn) converge vers a E CQ.II en resulte que pour tout entier n ~ 1, on a : x, < a < Yn; en effet l'existence de m ~ 1 tel que Xm ~ a, impliquerait :

> m Xn-a ~ xm+1-a > 0, en contradiction avec (H). L'inegalite a < Yn se prouve de la meme facon. Comme a E CQ,on peut ecrire a = rt«. avec (p, q) E Z x IN·. On a : Xq < a < Yq et done :
Vn q !Xq

< q !a < q !Yq

On constate que q !Xq est un naturel N et que q !Yq est N + l/q. D'ou N < q !a < N + 1, ce qui est incompatible avec q !a E IN. II en resulte que l'hypothese (H) est absurde. 0 2° Les notations sont celles du 1.1.1. Nous prenons comme corps commutatif totalement ordonne IK le corps CQ des rationnels. L'algebre e(CQ)des suites de Cauchy de rationnels est ici munie de sa structure sous-jacente d'anneau.
THEOREME ET DEFINITION. L'ensemble J des suites de rationnels qui convergent vers 0 est un ideal de I'anneau e(CQ). L'anneau-quotient e(CQ)/J est un corps commutatif, note 1R., et appele corps des nombres reels, ou droite numerique.

Par un abus de notation c1assique, IR designe aussi l'ensemble sous-jacent du corps des nombres reels. Abreviativement, on dit reel pour nombre reel.

- J est le noyau du morphisme d'algebres (xn) 1----+ lim x; de C(CQ) dans CQ.C'est done un sous-groupe additif de C(CQ),et done de e(CQ). Soient (xn) E J et (Yn) E e(CQ). La suite (Yn) est bornee (1.1.1., 4°, theoreme II), et (xn) converge vers O. On en deduit (lemme du 1.1.1, 4°): (xnYn) E J. La premiere partie du theoreme est ainsi demontree, - Soient X un element non nul de e(CQ)/J, et (xn) un element de la classe d'equivalence X; (xn) est une suite de Cauchy qui ne converge pas vers 0 ; d'apres la proposition de 1.1.1,4°, il existe (a, N) E CQ! xlN tel que IXnl ~ a pour tout n ~ N. Considerons la suite (x~) de ration nels determinee
X~

par:

a pour n
E

< N; x~ =
E

Xn

pour n ~ N. (x~)
E

On verifie : (x~)

e(CQ) et (xn)-(x~)

J. D'ou

X.

En remarquant qu'aucun des rationnels x~ n'est nul, on dispose de la suite (Yn) determinee par Yn = l/x~. On a : et done IYn- Ypl ~

lX'_X'I n2
a

1.1.3

UNE CONSTRUCTION

DE 1R

ce qui montre que (Yn) est une suite de Cauchy. Soit Y laclasse de (Yn) dans C(CQ)/J; XY, qui est la classe de la suite constante n 1---+ IQ' est l'element unite de C(CQ)/J. 0

1.1.3. Structure de corps totalement ordonne de IR

Nous designons par
tp

la surjection canonique

de C(CQ) sur IR = C(CQ)/J.

1° Les riels positifs. - DEFINITION. On appelle reels positifs les elements de I'ensemble IR+ = qJ(C+), 00 C+ est I'ensemble des suites (xn) E C(CQ) verifiant la condition :
«Xn) E J) v (3 N E IN

Vn ~ N

x; > 0).

En d'autres termes IR+ est constitue par l'element nul de IR (note 0). et par les classes des suites de Cauchy « strictement positives a partir d'un certain rang ». Precisons cette definition :
LEMME. -

E C(CQ)
qJ(x) EIR+ par definition. : qJ(x) E IR+ et x ¢ C+. 1.1.1., 4°, iI existe (a, N) E CQ! x IN tel que: "In ~ N

Si x E C+, alors

Soit x = (xn) une suite de Cauchy verifiant

On a x ¢ J; d'apres

(I'assertion

(V n ~ N

x; ~ a) impliquerait

en effet x

C+).

L'element qJ(x) de IR+ admet un representant Y E C+ ; de qJ(x) = qJ(Y). on deduit y-x E J. On a y ¢ J (sans quoi on aurait x E J); iI existe done (a', N') E CQ! xIN tel que "In ~ N' D'ou: en contradiction 2° V n ~ max (N, N') avec y-x
E

Yn ~ a'.

J. L'hypothese

est done absurde.

THEOREME.

Muni de la relation ~ definie par :

V(X,

Y)EIR2

IR est un corps commutatif totalement ordonne.

D'apres Ie 1.3.5, il suffit de verifier:

LE CORPS DES REELS

1.1.4

Comme cp est un morphisme d'anneaux, 10, de verifier :

il suffit, compte tenu du lemme du

i)

e+ + e+ c e+ iii) e+ n (- e+) = :I Verification de i). -

ii) e+·

e,

e,

iv) e+ u (- e+) = e(CQ)

Soient (xn) et (Yn) des elements de e+.

Si ce sont des elements de :I, alors (x, + Y n) E :I et done (x, + Y n) E e+. Si aucun d'eux n'est element de :I, alors xn+ Yn > 0 it partir d'un certain rang, et done (xn+Yn) E e+, - Si (xn) E :I et (Yn) ¢ :I, il existe (a, N) E CQ! x IN tel que Yn ~ a des que n ~ N; il existe N' ElN tel que x; > -a des que n ~ N'. On a xn+ Yn > 0 des que n ~ max (N, N'). D'ou (xn+ Yn) E e+. Verification de ii) et iii). Aisee. Verification de iv). - Soit (xn) E e(CQ). Si (xn) ¢ e+, alors (cf. demonstration du Iemme du 1°) il existe (a, N) E CQ! x IN tel que xn < -a des que n ~ N. On en deduit -(xn) E e+. 0
REMARQUES. a) Si Ie reel X est strictement positif, et si (xn) est un representant de X, alors x; est strictement positif it partir d'un certain rang. Mais la reciproque est fausse : la suite (l/(n+ l»neN represente Ie reel nul.
b) Soit (xn) E C(<Q).Si x; est positif it partir d'un certain rang, alors q>«xn» E lR+. Mais la reciproque est fausse. Ainsi l'element 0 de lR+ est la classe de la suite n 1---+ (-l)."/(n+ I).

3° Valeur max (X, -X).

absolue.

On rappelle

que,

pour

X E JR,

IXI

designe

PROPOSITION. Soient x E ecCQ) et X = cp(x); on designe par [x] la suite (lxnDneN' A10rs IXI = cp(lxD, De Ilxnl-lxpll~lxn-xpl, on deduit : IxIEe(CQ).

Si X = 0, alors x E :I, et done Ixl E :I (d'apres 1.1.1., 3°). II en resulte O. Or IXI = o. - Si X> 0, les x, sont positifs it partir d'un certain rang, et xn-Ixnl est nul it partir d'un certain rang. D'ou x-Ixl E:I, et cp(lxl) = cp(x). Or IXI = x. - Si X < 0, on a x+ Ixl E:I etcp(lxl) = -cp(x). Or IXI = -X. 0 -

cp( [x]]

1.1.4, Plongement de
1° Considerons

CQ dans JR

e(CQ) qui it tout rationnel manifestement un morphisme d'anneauxo i ; = cp 0 t/J est done un morphisme de corps de CQ dans JR. On en deduit que CQest isomorphe au sous-corps e (CQ)de JR (I 3.4.4, 3°), et que e(CQ) est Ie sous-corps premier de JR. I'application CQ~
r E CQassocie Ia suite constante

t/J ;

n~

r. C'est

(1)

l'anneau

Rappelons que, pour nous, un morphisme d'anneaux non nuls transforme l'unite de de depart en l'unite de I'anneau d 'arrivee,

1.2.1

COMPLETUDE

DE 1R ET CONSEQUENCES

2° Montrons que 0 est un morphisme de corps ordonnes, ce qui signifie que l'application 0 est croissante. II nous suffit de verifier que O(CQ+) c lR+. Or : t/!(CQ+) c C+; d'ou
tp 0

tfJ(CQ+) C qJ(C+) = lR+.

En particulier, pour tout r E CQ, IO(r) I = O( Irl}. Cet isomorphisme 0 du corps ordonne CQ sur Ie sous-corps B(CQ) de lR nous permettra ulterieurement d'identifier CQau sous-corps O(CQ)de lR.

1.2. COMPLETUDE DE lR ET CONSEQUENCES

1.2.1. Le corps lR est complet

lR etant un corps commutatif et totalement ordonne, de l.l.l. s'applique. 1° PROPOSITION. - Soit (Xn)neN vers A E lR si et seulement si : VeE CQ! 3 N. EN one suite de reels; I'etude (Xn)neN generale converge
(1)

V n ~ N.

La convergence de (Xn) vers A se traduit par: V CJ)

E lR!

(2) N. = Ms(.) pour

- On suppose que (2) est vrai. II suffit d'adopter constater que (1) est vrai.

- On suppose que (1) est vrai. A tout CJ) E lR!, on peut associer un representant (xn) E C+(CQ) de CJ) et affirmer qu'i! existe s E CQ! tel que x; ~ e a partir d'un certain rang, ce qui implique CJ) ~ O(e). II suffit d'adopter M", = N. pour constater que (2) est vrai. 0
REMARQUE. L'application 9 etant strictement croissante, on montre comme au 1.1.1., 3· que I'on peut remplacer dans (I) I'inegalite stricte IXn-AI < 0(8) par une inegalite large.

2° THEOREME. - Soitx = (xn)neNunelementdeC(CQ);onpose Alors la suite (O(Xn))neN converge vers X dans lR. Pour tout e E CQ!, i! existe N E N tel que Vn ~ N
Vp ~ N

qJ(x).

Considerons un naturel m tel que m ~ N. Le reel X -O(xm), qJ[x-t/!(xm)], admet pour representant la suite n 1--+ Xn-Xm' n ~ N, on a IXn-xml < e. D'ou IX-B(xm)1 ~ (J(e). Compte tenu du 1°, Ie theoreme en resulte. REMARQUE. Nous n'avons que l 'inegalite large IX-9(xm)1 .;; 9(8).

qui s'ecrit Pour tout

10

LE

CORPS

DES

REELS

1.2.1

Convention. Desormais, nous identifierons <Q au sous-corps O(<Q) de JR. Cette identification est justifiee par : - Ie fait que 0 induit un isomorphisme de corps ordonne <Q ~ O(<Q). - Ie fait que, d'apres la proposition du 1.2.1.,1°, si (x.) est une suite de rationnels qui converge vers un rationnel a, elle converge aussi en tant que suite de reels vers le reel a (et reciproquement). Remarquons enfin qu 'apres cette identification, pour tout X e JR et tout representant (x.) e e(<Q) de X, on a : lim (xn) = X.
DEFINITION. -

<Q etant identifie Ii un sous-corps

de JR, les elements de

JR\ <Q sont dits nombres irrationnels.

3° THEOREME. - Tout intervalle ouvert ]A, B[ de JR, oil A < B, contient au moins un rationnel. (On traduit cette propriete en disant que <Q est dense dans

JR).

Soit (A, B) e JR2 tel que A < B. Considerons Ie reel C = (A + B)/2. D'apres le theoreme du 2°, il existe une suite (cn) de rationnels qui converge vers C dans JR. -Considerant I'element (B-A)/2 de JR!, on en deduit I'existence de NelN tel que IC-CNI < (B-A)/2, ce qui implique cNe]A, B[. 0 COROLLAIRE. JR est un corps archimedien. Nous disposons deja du corps totalement ordonne JR. Soient A e JR! et Be JR. On peut trouver des rationnels a et b tels que a e ]0, A [ et b e ]B, B + 1[. <Q etant archimedien, il existe n e IN tel que b ~ na. On a alors
B

<b ~

na ~ nA.

4° Partie entiere, - THEoREME ET DEFINITION. - Pour tout X e JR, iI existe un plus grand entier relatif m e lL tel que m ~ X. On I'appelle partie entlere de X; on Ie note E(X). JR etant archimedien, d'apres 1 > 0, il existe no e IN tel que X ~ no·1 = no Pour tout nelL tel que n ~ X, on a : n ~ no. De rneme, il existe n1 e IN tel que - X ~ n1, et done -n1 ~ X. Ainsi {n e lLln ~ X} est une partie non vide et majoree de lL; eIle admet un plus grand element. 0 Notons que E(X) est l'unique element me lL tel que m ~ X < m+ 1. 5° THEOREME. - Le corps JR est complet. Soit (Xn) une suite de Cauchy de reels. D'apres Ie theoreme du 3° on peut, a tout n e IN, associer un rationnel x, tel que IXn-x.1 < l/(n+ 1). Pour tout (n,p)elN2, on a :
IXn-xpl ~

Ixn-

Xnl Xpl

+ IXn+ l/(n+

Xpl

+ IXp-xpl
1).

et done : Soit
8

IXn-xpl

~ IXn-

1)+ l/(p+

e <Q!. II existe N e IN tel que:

'in ~N

v» ~

IXn-Xpl

< 8/3.

te:

JR etant archimedien, il existe N' e IN tel que N' ~ max (N, 3/8). On consta'i n ~ N' 'ip ~ N' IXn-xpl < 8.

1.2.2

COMPLETUDE

DE IR ET CONSEQUENCES

11

On en deduit que (xn) est une suite de Cauchy de rationnels; d'apres le 2°, X = q>«xn» est la limite de (xn) dans JR. Or :
IXn-XI ~ IXn-xnl+lxn-XI ~ I/(n+I)+lxn-XI·

REMARQUE. Dorenavant nous n'aurons plus a utiliser la definition de JR comme anneau-quotient : les proprietes de JR.dont nous disposons maintenant suffisent pour demontrer celles qui interviendront par la suite (cf. 1.3.). II n'est plus necessaire d'utiliser des lettres majuscules pour designer des nombres reels.

On en deduit que X est limite de Ia suite (Xn) dans JR.

1.2.2. Proprletes liees

a
a

l'ordre

1 Ensembles adjacents. - DEFINITION. - Soient A et B des parties ° de JR. On dit que (A, B) est un couple d'ensembles adjacents si et seulement si :
i) V(a,b)eAxB ii) VeeJR.!

b b-a ~e

3(a, b)eAxB

THEOREME. Soit (A, B) un couple d'ensembles adjacents. Alors Il existe un reel c et un seul tel que :
V (a, b) e A xB a~ c~b
X

(n, p)

A tout n e]N" nous pouvons associer un couple (an' bn) e A

B tel que

o~
e]N"2

bn-an ~ I/(n+ I)

Montrons que (an) est une suite de Cauchy (sur JR.). Pour tout nous avons (d'apres an ~ bp, et done :

i»

an-ap ~ bp-ap ~ I/(p+ I),

et encore (apres echange de n et p) : Ian- apl ~ max [I/(n + I), I/(p + I)] 0 - La suite de Cauchy (an) admet une limite, que nous no tons c. De lim (an) = c et lim (bn - an) = 0 resulte lim (bn) = c. Pour tout b e B, de (V n s N an ~ b) on deduit c ~ b. De meme, pour tout
aeA, a ~ c.

- L'unicite resulte de ce que (V (a, b) e A x B a ~ c < c' ~ b) impliquerait (V (a, b)eAxB b-a ~ c'-c), en contradiction avec ii). 0 Notons : c = sup A et c = inf B.
On appel/e coupure toute partition (A, B) de IR verifiant : EA xB a < b. Nous laissons au lecteur Ie soin de demontrer qu'on peut associer a une telle partition un et un seul reel c tel que: a ,;;;c ,;;; b, pour tout (a, b) E A x B.
EXEMPLE. -

iii)

V (a, b)

2° Suites adjacentes. - Rappelons croissante est une suite (an) telle que " V (n,p)
e]N"2

que,

par

definition,

une

suite

12

LE CORPS DES REELS

1.2.2

Un raisonnement par recurrence permet de constater que cette condition equivaut a:

'v'neN
DEFINITION. Soient (an) et (bn) des suites de nombres reels. On dit que «an), (bn» est on couple de suites adjacentes si et seulement si :

i)

(an) est one suite croissante, (bn) une suite decroissante ;

ii) lim (bn - an) = O.

THEOREME. Soit «an), (bn» un couple de suites adjacentes. Alors (an) et (bn) sont convergentes et ont meme limite.

- Montrons que les images A = {anln eN} et B = {bnln eN} des suites (an) et (bn) sont telles que (A, B) soit un couple d'ensembles adjacents. Pour cela, verifions par l'absurde : 'v' (n, p) e N2 an ~ bp• S'il existait (no, Po) e N2 tel que ano > bpo' on aurait, pour n ~ max (no, Po) an ~ ano > bpo ~ bn, et done Ibn-ani en contradiction avec lim (bn - an) = O.
II existe done Ie JR verifiant : 'v' n e N

~ ano-bpo > 0 an ~ I ~ b;
=

De 0 ~ I-an ~ bn-an et lim (bn-an) = 0, on deduit lim (I-an) c'est-a-dire lim (an) = I; on montre de meme lim (bn) = I.

0, 0

REMARQUE. On deduit de ce theoreme, en prenant pour (b.) (resp. (a.» une suite constante, que si une suite croissante (a.) (resp. une suite decroissante (b.» admet une limite I, alors: V n E IN a. :!O; 1 (resp. Vn E IN 1 :!O; b.)

Application: le nombre e. - Si 1'0n considere les suites (xn) et (Yn) etudiees au 1.1.2, 1 eomme it valeurs dans IR,«xn), (Yn)) est un couple de suites adjacentes. Compte tenu du calcul fait au 1.1.2, 1°, on peut enoncer :
0

THEOREME

ET DEFINITION.

La suite de reels defmie par: x,

=
k=O

-k'

est convergente. Sa limite est un reel note e et appele nombre d'Euler. On a :

'v'neN*

O<e-xn<l/(n.n!)

En particulier, pour n = 10, on obtient l'encadrement : 2,7182818 < e < 2,71828183

3° Borne superieure, borne inferieure. - THEOREME. - Toute partie majoree (resp. minoree) et non vide de JR admet one borne superleure (resp. une borne inferieure). Considerons une partie A non vide, majoree de JR. Designons par B l'ensemble des majorants de A. On a:
(B:F 0)

et

('v' (a, b) e A x B

a ~ b).

1.2.2

COMPLErUDE

DE IR ET CONSEQUENCES

13

Soit s E IR!. Fixons bo E B (ce qui est possible puis que B # 0) etmontrons que Ie sous-ensemble 1= {nENlbo-neEB} de N, qui n'est pas vide puisque 0 E I, est majore. D'apres A # 0, on peut fixer ao E A. On a, pour tout n E I: ao ~ bo-ne, et done n ~ (bo-ao)/e. I admet done un plus grand element, que nous notons no. En posant on constate : bE B et b-e ¢ B. II existe done a E A tel que : b - s < a, ou b - a < e. (A, B) est ainsi un couple d'ensembles adjacents. Soit M le reel defini par: b

= bo-noe,

'V (a, b)

A xB

a~ M ~ b

M est Ie plus petit majorant

de A, et done la borne superieure de A. 0 Dans Ie cas oil A c IR est non vide et minoree, on constate que -A = {xEIRI-xEA} admet une borne superieure Met que: -M = inf A.

4° Convergence des suites monotones. - THEOREME. Soit (an) une suite croissante (resp. decroissante) de nombres reels. Pour qu'elle converge, iI faut et iI suffit qu'elle soit majoree (resp. minoree). La condition est necessaire d'apres la remarque du 2°. La condition est suffisante. - Soit (an) une suite majoree et croissante. A = {anln EN} est une partie non vide et majoree de IR. Elle admet une borne superieure I = sup A, notee egalement 1 = sup (an).
neN

Etant deduit :

donne

e E IR!,

de l'existence

de aN verifiant II-ani

1- e <

aN ~ I, on

I-e

< an ~ I ou encore

< e.

5° Sous-groupes additifs de IR. - THEOREME - Pour tout a E JRH alL I. est un sous-groupe du groupe (IR, +); un tel sous-groupe est dit discret. Trivial. THEOREME II. denses dans IR. Les sous-groupes non discrets du groupe (JR, +) sont

Soit G un sous-groupe de (JR, +). Si G = {O}, G = a lL avec a = O. Supposons done G # {O}, et considerons F = G (") JR!. F n'est pas vide car, pour tout x E G\{O}, x ou -x est dans F. D'autre part Fest minore par 0; on peut done poser a = inf F, et on a : a E JR +. Deux cas sont possibles a priori. - Montrons que si a > 0, alors G = alL. - lei i1 existe Y E F tel que a ~ Y < 2a. Si on avait a < y, i1 existerait Z E F tel que a ~ Z < y < 2a, on aurait simultanement y - Z E F et 0 < Y - Z < a, en contradiction avec a = inf F. Ainsi a = y et done a E G, ce qui entraine alL c G. Soit maintenant x un element quelconque de G. Notons m = E(x/a); on a : m e lL et 0 ~ x-am < a, ce qui - compte tenu de (x-am) E G entraine x-am = 0, et done x E alL. Ainsi G calL. 0 - Montrons que si a = 0, alors G est dense dans IR. tel que x < y. II s'agit de montrer lx, y[ (") G # 0. Soit (x, y) E IR2,

14

LE CORPS

DES REELS
ZE

1.3.1

D'apres inf F Notons n

= E(x/z);

= 0 et y-x > 0, on peut trouver

0<
Z

G tel que:

on a : 0< (n+ l)z-x ~ z < y-x. On en tire x < (n+ l)z < y, c'est-a-dire (n+ l)z (n+l)zEG.
EXEMPLE. EXERCICE.

< y-x.

lx, y[. Or on a: D
PI par:

Si G
-

CQ, a

inf CQ:

= 0,

CQ est dense dans JR.

Soit
PI

f une application de JR. dans JR.. On definit = {T E JR.1'v' x E JR. f(x+T) = f(x)}.

Montrer que PI est un sous-groupe additif de JR.. Lorsque PI :#= {O}, on dit que fest periodique, et PI est alors appele groupe des periodes de f Si PI est de la forme a'll, (a > 0), a est appele plus petite periode de f.
*Sifest continue, P, est ferme. On en deduit que si/n'est aZ.* pas constante, P, est de la forme

1.3. AUT RES PROPRI~T~S DE JR.

1.3.1. Une caracterisation de
JR THEOREMB. Soit IK on corps commutatif arcbimedien et complet. A10rs iI existe un unique isomorphisme de JR sur IK, prolongeant I'identite de CQ (quand on identifie CQ au sous-corps premier de JR et a celui de IK). Rappelons qu'un corps archimedien est totalement ordonne, Notons e l'element unite de IK et rappelons que, IK etant un corps ordonne il est de caracteristique nulle. On sait (1.3.4.3) qu'on defmit un isomorphisme qJ de Q sur Ie sous-corps premier de IK en posant : \I x E CQ qJ(x) = xe (pour x E Z, ,xe a ete defini au I 1.5.2, pour x = alp E CQ, xe designe (ae)(pe) - I); I'application qJ est strictement croissante, ce qui entraine
IqJ(x) I

Nous allons definir un isomorphisme 7j : JR -+ IK, qui coincide avec qJ sur CQ. a) LEMME. Soit (x.) one suite de Cauchy (resp. one suite convergeant vers 0) dans CQ. A10n (x.e) est one suite de Cauchy (resp. one suite convergeant ven 0) dans IK. Limitons no us au cas oil (x.) est une suite de Cauchy (I'autre partie du lemme se demontrant de la meme facon), Soit e ElK!. Comme IK est archimedien, il existe k E N* tel que e < k e, c'est-a-dire (~ ) e < e. Or, (x.) etant une suite de Cauchy de CQ, il existe N EN tel que:
\I n ~ N \I p ~ N Ix.-x,1

qJ(lxl}.

<

11k

: IqJ(x.)-qJ(x,)1 = I(x.-x,)el = Ix.-x,le D'ou : \I n ~ N \I P ~ N IqJ(x.)-qJ(x,)1 < (llk)e Ecrivons

< e.

b) DEFINITION q). - Soit x E JR. Si (x.) et (y.) sont deux suites de Cauchy de rationnels DB admettant x pour limite, qJ(x.) et qJ(y.) sont, d'apres Ie lemme, deux suites de Cauchy d'elements de IK. De lim (x.-y.) = OQ' on deduit, d'apres Ie lemme: lim qJ(x.-y.) = OK' ce qui s'ecrit :

lim (qJ(x.)-qJ(y.»

= OK' et done

lim (qJ(x.» = lim (qJ(y.»

(on sait en effet que toute suite de Cauchy sur IK est convergente). On definit donc JR -+1K en associant a tout x E JR la limite de la suite (qJ(x.», oil (x.) est l'une quelconque des suites de Cauchy de rationnels qui admettent x pour limite. II est immediat que qr colncide avec qJ sur CQ; en particulier (,0'(1)= e.

rp:

1.3.2
c) ETUDE DE 'if. 1.1.1,4°.

AUTRES

PROPRIETES

DE 1R
et Ie theoreme

15
IV du

Nous utilisons

Ie fait que rp est un morphisme,

Soient x et y deux elements de JR. Associons leur des suites de Cauchy de rationnels (y,) qui convergent respectivement vers x et y. On a :

(x,}et

rp(x+y) = lim rp(x,+Y,) = lim [rp(x,) + rp(y,)] = lim rp(x,)+lim rp(y,) = 'fP(x)+rp(y) rp(xy) = lim rp(x,Y.) = lim [rp(x,)'rp(y,)] = lim rp(x.) lim rp(y.) = 'fP(x)-q)(y) II nous reste it montrer
que

qJ est

un isomorphisme

que (p est surjective de JR sur 1K.

pour

etre en mesure

d'affirmer

(1.3.4.4, 3°)

En reprenant la definition de la partie entiere (1.2.1, 4°), on constate qu'elle peut etre de JR tout corps archimedien, et, en particulier, 1K. A l'element a ElK, on associe E(a) E Z tel que:

etendue

E(a)'e ~ a < (E(a) + I)·e.

Donnons nous a
E 1K,

et etudions

rp -1 (a). Nous avons : (1)

Considerons

Ie rationnel

x, = 2-'E(2'a).

E(2'a)'e ~ 2'a < (E(2·a)+ I)'e D'ou : x.e ~ a < x,e+2-·e, et donc: 0 ~ a-x.e Comme, d'apres Ie lemme, lim (T'e) = 0, on en deduit : a
De (I) on deduit, par ailleurs

< 2-·e.

=
:

lim (x,e)

lim rp(x,).

2E(2'a) ~ E(2'+la) < 2 (E(2'a)+ I)

Apres multiplication par
2-(,+1) :

et donc : Si n et p sont deux naturels

p-l

tels que 0

< n < p,
et done

on peut ecrire :

xp-x,
p-l

(Xk+1 -Xk),

o~

p-l

xp-x,

<

2-k•
de CQ.

k=1I

k=1I

Comme

2 Tk < 21-, < -, (x,) est une suite de Cauchy

n une limite dans JR, que nous notons et

d'elements

k=1I

Elle admet

De a = lim rp(x,)

x. x = lim x" on deduit a = rp(x). Ainsi

rp construit ci-dessus

q; est

surjective. (·cf. prolonge0

d) On demontre que I'isomorphisme ment d'une application continuej). e) La commutativite necessairement commutatif, it JR (done commutatif).

est unique

de IK n 'est pas essentielle. En generalisant on peut montrer que tout corps archimedien

Ie 1.1.1. it un corps non et complet est isomorphe

CONSEQUENCE.- Dans la mesure ou on aboutit it un corps archimedien et complet, Ie choix de la methode utilisee pour construire un « ensemble de nombres reels» est indifferent : it un. isomorphisme pres, on aboutit it « notre » ensemble JR.

1.3.2. Representation p-adique des reels

1 Dans tout Ie paragraphe, p designe un entier ~ 2, fixe. En remarquant, d'apres la formule du binome de Newton (1.3.1.2, 3 que, pour tout n E IN : pn ~ I +n(p-l), on verifie que lim p-n = O.
0 0 ),

n ~ +00

16
THEOREME. -

LE CORPS DES REELS

1.3.2

A tout reel x on associe, pour tout n EN, les rationnels

et
qui sont appeles valeurs approchees de x, Ii p-n pres, respectivement par defaut et par exces, Alors «xn), (Yn» est un couple de suites adjacentes, et on a : ('v'nEN et

(lim (xn)

lim (Yn ) = x)

Par definition de la partie entiere : E(pnx) E(pn+lx)

La relation

~ pnx

< E(pnx) + 1

(1)

~ pn+lx < E(pn+lx)

+ 1.

(2)

(1) s'ecrit : x, ~ X < Yn' Par multiplication de (1) par p : p E(pnx) ~ r" 1X < P E(pnx) + p E(pnx) ~ E(pn+ 1x) , et done E(pn+1X)+I~pE(pnx)+p, etdonc

p.

(3)

D'ou:

Xn

~ xn+ 1 Yn+l~Yn'

Compte tenu de Yn-Xn = p-n, on constate que «xn), (Yn» est un couple de suites adjacentes. Comme Xn ~ X < Yn, la limite commune des deux suites est x. 0 2° Diveloppement p-adique d'un riel. - A I'entier p ;;::: nous asso2, cions I'ensemble Ep des suites (O(n) d'entiers verifiant
i) V n
E

N*. N

0~

O(n

<P;
O(n

ii) V N

3 n ;;::: N

# p-1.

a) Donnons no us XElR. et associons it x les suites (xn) et (Yn) introduites au 1°, ainsi que la suite (an) definie par : ao
=

E(x);

an+1

E(pn+lx)_pE(pnx), on obtient :

nEN.

D'apres (3), on a : 0 ~ an+ utilisant Xn+1 = xn+an+1P-(n+l),

< p. En raisonnant par recurrence et en

Compte tenu de lim x,

X

= x,

on en deduit : que l'on ecrit

x = ao

= ao

· " + 11m L...

n-++ook=l

akP -II.,

+L

+00

k=1

akP-k

(4)

Montrons que la suite (an) est un element de Ep.

1.3.2 Supposons

AUTRES qu'il existe N xn E

PROPRIETES

DE 1R des que n

17

IN tel que an = p-l

> N. II en

resulte : 'V n > N

et
XN

.t....

k=N+1

P - 1) P -k

P -N - P -n

Yn = YN'

La limite x de la suite (Yn) est done egale diction avec: 'V n E IN x < Yn' b) Nous allons ao maintenant an+1
E

a YN' ce
:

qui constitue une contra-

0
E

demontrer

THEOREME. -

L'application<> de lR dans Ep quia x

E(x);

lR associelasuite

(an) :

E(pn+1x)_pE(pnx),

nEIN,

est une bijection. Pour tout x

lR, on a : (4)

On dit que (4) est Ie developpement p-adique de x.

Cette bijection est a l'origine de la notation x = ao, a1 ... an ... qui est dite « ecriture p-adique illimitee du reel x », et « ecriture decimale illimitee » dans Ie cas p = 10. Demonstration. - L'existence de <> la formule (4) etant acquises d'apres et a), it reste montrer que <>est une bijection. Partons de (an) E Ep- Posons

Un

ao

L
k=1

a"p-k

et Vn

Un

+ p-n,

pour

tout

n EN.

D'ou : un+1 - Un = an+1P-<n+1); vn - vn-1 = (- an+1 + p - l)p-<n+1) Comme 0 ~ ak < P des que k ;;:::1, on a pour tout n EN: et D'autre part vn - Un = P -n entraine lim (vn - un) = O. II en resulte que «un), (vn)) est un couple de suites adjacentes, et que les suites (un) et (Vn) admettent une limite commune x E ~ verifiant : (5) En fait on a meme :

'Vn EN
(En effet I'existence et done de mEN
an+1

(6) tel que x

= vm

entrainerait

P-

pour tout

ce qui serait en contradiction avec Ie ii) de la definition de ISp)' Comme pnun, et done pnvn = pnun + 1 sont des en tiers, (6) montre que, pour tout n EN, Un et Vn sont les valeurs approchees du reel x a p-n pres par defaut et par exces,

18

LE CORPS DES REELS

1.3.3

Notons qJ l'application de Iff p dans IRqui a la suite (an) associe le reel x. Nous voyons, de facon triviale que qJ 0 b et b 0 tp, sont respectivement l'application identique de IRet celIe de Iff, ce qui prouve que b est bijective et que b-1 = qJ. - L'etude montre que, pour tout x E IR, on a, etant entendu que (an) designe b(x); et que (un) est associee a (an) com me ci-dessus :
X

n--++oo

lim

un

= ao + L akP-k.
k=l

+00

REMARQUE. - L'hypothese ii) faite sur 8 p ne sert qu'a passer de (5) it (6). La construction de x = <p((a.)) et l'inegalite (5) subsistant lorsqu'on dispose d'un ensemble 8~ verifiant uniquement i). On a encore <p = IdR, mais on n'a pas necessairement <p = Id.!'.. (II est c1assique que si on ne se limite pas aux developpements decimaux « propres», Ie reel 1 est fourni par 0,99 ...9... et par 1,00 ...0...).

0"

"0

3°

COROLLAIRE.

L'ensemble

IR n'est pas denombrable.

Faisons l'hypothese (H) : il existe une bijection jz : N -+ IR. Pour tout n EN, le reel "'(n) admet un developpement p-adique (p ~ 3) :

"'(n)
Pour tout kEN,

bn.o+

+00

L
1

bn.kP-k
=1=

po sons ak

0 si bk•k

Le developpement

ao

+L
1

+00

0 et ak

1 si bk.k

= O.

akP-k determine un reel x. Pour tout n EN, on

a x =1= "'(n), puisque an =1= bn,n; le reel x n'a pas d'antecedent par la bijection "', ce qui constitue une contradiction. L'hypothese (H) est done absurde.

1.3.3. Etude pratique des suites recurreates de reels.

10 Position du probleme, - On considere une fonction f son ensemble de definition D. On aura utiliser l'ensemble ~ des parties X de D stables que f(X) c X). ~ n'est pas vide car 0 E~. On note Do = On se propose : Xe~ - de trouver les c E D verifiant la condition: (uo = c) 1\ (VnEN Un+1 = f(un)) definit une suite

Dans ce paragraphe, no us supposerons connues du lecteur quelques notions elementaires sur la monotonie et la continuite des fonctions numeriques.

"

de IRvers IR,et par

(i.e. telles

X.

U,

(1)

- pour c verifiant (1) donne, d'etudier la suite U, (mono tonie, convergence, limite eventuelles), 20 PROPOSITION. - Do est l'ensemble des CED veriflant (1). Remarquons d'abord f(Do) = f(X) c Do, done Do E~. Do est done le

plus grand element de ~ (pour l'inclusion).

Xe!B

II en resulte que si

Un

est defmi, et

1.3.3

AUTRES
=

PROPRIETES

DE 1R

19

UnEDo, alors Un+1 defmie.

f(un) est defini et Un+1 EDo. Done si cEDo, la suite U; est

Reciproquement supposons la suite U; defmie, et soit X = {un In EN} son image. On a : XeD et f(X) = {un I n E N * } c X, done X c Do; la suite U c a ses elements dans Do; en particulier cEDo· D

Points fixes de [. tED. Notons que:

II s'agit des racines de l'equation

f(t)

t,

a l'inconnue

- si r est un point fixe de on a done rEDo.

J, alors la suite U; est definie (elle est constante);

- dans le cas ou f est continue, si pour c e Ds, la suite U, converge vers un point 1 ED, alors (par continuite), f(l) = 1, et l'on e I« Do (a priori la suite pourrait converger vers un 1 E IR \ D).

3° Etude de fa suite U"pour c E Do donne. - Nous allons etudier quelques

cas favorables de monotonie et de convergence de la suite U'; a) Cas ou f est monotone. - On verifie aisernent par recurrence, en utilisant Un+1 - Un = f(un) - f(un-1), que: • Si fest croissante, (Un) est monotone, croissante si f(c) - c ~ 0, decroissante si f(c) - c ::::; . On peut preciser ce result at si fest strictement o croissante. • Si fest decroissante, Un+ 1 - Un est alternativement positif On dit que la suite est oscillante. Po sons alors 9 = f 0 f; 9 est La suite (u2n) est defmie par recurrence par Vn+ 1 = g(vn) et Vo = c, la suite (U2n+ d est defmie par Wn+ 1 = g(wn) et Wo = f(c). Elles toutes deux monotones. En utilisant : g(c) - c = f on obtient :
0 f(c)

et negatif croissante. tandis que sont done

-c

et

g(f(c))

- f(c) - f(c)]

0 f 0 f(c)

- f(c)

[g(c) - c]. [g(f(c)) croissante

::::; . O
contraires.

Les deux suites (u2n) et (U2n+ 1) ont done des sens de variation b) Cas ou fest

et admet un point fixe r.

Si c ::::; (resp. c ~ r), on constate par recurrence, en utilisant f(r) = r, que r l'on a un::::;r (resp. Un ~ r) pour tout nE N, et done que la suite U; admet r pour majorant (resp. minorant). Compte tenu de a), on a les deux cas de convergence (vers un point 1E IR) : • c ::::; et f(c) ~ c, U; etant alors croissante r • c ~ r et f(c) ::::; , U; etant alors decroissante c et majoree, et minoree.

En particulier, soit f une application continue et croissante d'un segment S = [a, b], a < b, de IRdans IRtelle que f(S) c S, ce qui se traduit clairement par f(a) ~ a et f(b) ::::; (ici Do = S). Le theoreme des valeurs intermediaires applique b t --+ f(t) - t montre que f admet au moins un point fixe. Le lecteur verifiera que, pour c E S, si f(c) ~ c (resp. f(c) ::::; ) la suite U; converge vers le plus petit c (resp. le plus grand) point fixe de f contenu dans [c, b] (resp. dans [a, c]).

20

LE CORPS DES REELS

1.3.3

• (Voir, pour plus de details: 2.4.3, 1°, theoreme du point fixe pour une application contractante, et 5.3.3, calcul approche d'un zero d'une fonction.)
*2° EXEMPLES. La fonction a)f(t)

Jt+2.

Ici

[-2,

+00[,

avec f(D)

c: D.

est continue Puisque

et strictement

croissante
~

sur D. La suite (u,,) est definie pour tout

c E D. Elle est monotone.

u.

=~

0 on peut supposer c ~ O.
2 est la seule racine de

On verifre aisement sgn f(t) = t. II en resulte : -

(Jc+2 -

c) = sgn (2 - c). En particulier

croissante, et u. = 2; decroissante, minoree par 2. majoree par 2;

pour c < 2, la suite est strictement pour c = 2, la suite est constante, pour a

> 2,

la suite est strictement vers 2.

Dans tous les cas, U; converge b) f(t)

J2 - t. Ici D (f(t)

= ]- 00,

2], mais si on remarque

que: Do

Y tED

:;;;2 ~

t E [-2,

+2]),

on en deduit

= [-2, +2].

f est continue et strictement La suite est oscillante.

Soit c E Do. En remarquant If n ~ 2 On en
U,.+1-1

decroissante

sur Do, l'unique

racine de f(t)

t est to

1.

que pour n ~ 1, u. ~ 0 et done, pour n ~ 2,0 :;;;u. :;;; )2, i1 vient :

l-u 1+ 2-u.

J.

et done

Ifn~2 et ainsi :

conc1ut

lu.-II :;;; + -.}2- J2)-·+ 21u2 -II (I

que «U2.)' (U2.+

= lim u •.

Le lecteur verifiera, it titre d'exercice,

I»

est un couple de suites adjacentes.,

Dans chacun de ces deux exernples Ie lecteur representera aussi dans un plan euc1idien rapporte it un repere orthonorme les courbes representatives des fonctions t f--+ t et t ~--+ f(t) et il placera dans ce plan les points de coordonnees : (c, u1), (u., u.), (u., En joignant ces points, i1 obtiendra
U2),

(u2, u2), (u2, u3),

...

une figure qui a l'allure : si c < 2, descendant si c > 2);

dans Ie premier

cas, d'un escalier (ascendant

dans Ie second cas, d'une spirale.

3° Etude des suites homographiques. - Nous nous proposons d'etudier la suite de reels definie par la donnee de Uo et la recurrence
Un+l

= eun+d

aun+b

(1)

avec e :f: 0 et ad - be :f: O. Soit

f:

t~

:::!.
Vo

C'est une bijection de IR\{ -~} sur IR\{ ~}.

Uo

Pour que la suite (un)n e N soit definie pour tout n, il faut et il suffit que soit different des termes de la suite definie par la recurrence
d
=-

c'

(2)

1.3.3

AUTRES

PROPRIETES

DE lR

21

Notons que (2) peut comporter un nombre fini ou non de termes. Ainsi si a+ d = 0, la suite (I) est definie pour tout n si et seulement si
U

o '"

Si la suite (un)ne N admet une limite 1, on a :

lim (un+1 (cun+d» = I(cl+d)

.:»; c.
=

lim (aun+b) = al+b O.

(3)

et I est solution de : I er
2"
CAS : CAS:

ex"

+ (d-a)x-b

(d - a)2 + 4 be < O. (3) n' a pas de racine dans JR., la suite diverge. (d-a)2 + 4bc > O. (3) admet deux racines distinctes, IX et p.
: (3 n EN
IX,

On verifie aisement (Uo =

IX) ~

Un =

IX)

(T/ n EN

Un =

IX).

Si on suppose Uo t=

on a pour tout n EN: aun+b

cu::+d - C1f+J
aun+b aa+b cun+d - clX+d et done, sr on pose x,
•

ap+b

_n __

Un-IX

-p et

ca+d = -p d: C+

(4)
On en deduit x, = knxo. D'ou la discussion suivante (en remarquant que necessairement k t= 1) : - Si Uo E {IX, P} la suite est constante. - Si Uo ¢ {IX, P}
i) si ii)

Ikl < si Ikl >

1 1

iii) si k ir. - 1
Notons que ce dernier cas (k

lim Un = P lim Un = IX (Un) diverge, et Un E {uo, u1}.

-I) correspond a a+d

0, deja rencontre.
IX

3"

CAS:

(d-a)2

+4bc

O. (3) admet une racine double

=~.

a-d

Remarquons: (a+d)2 = 4(ad-bc) encore Ie cas Uo = IX, on a :

__1_

et ca+d

a+d -2-;

en ecartant

2(cun+d) (a+d) (Un-IX)

(k

= 2C(Un-lX) + t= 0).

2(clX+d)

=~
a+d

+ _1_

(a+d)(un-IX)

Un-

IX

soit :

22 En posant Xn si
= = --,

LE CORPS DES REELS

1 on obtient Xn+l
= = =

Un-OI:

xn+k,
IX,

d'ou x,

xo+nk.

On en deduit : lim (l/xn)

Uo IX. REMARQUE.

0 et lim u;

resultat d'ailleurs valable

On peut faire cette etude dans Ie corps des complexes, Ie ler cas etant alors

sans objet.

EXERCICES
Le lecteur sera amene Ii utiliser quelques resultats acquis dans les classes terminales.

1.01. -

Etudier les suites de reels definies par les relations de recurrence: 1 a x. + 1 =- ( x. +- ) ; 2 x. X.+l
2

X.+l =x.-x;; X.+l 1 - 2-J-;'"

X.+1 X.+l X.+l x.+1

- 1-x

- 1+x;'

..

a(1+a ) 1+x; a sin x.+b -1 1+x. 5x.-3 x.+1

(a> 0)

<lal < 1)

X.+l =sin 2x.; x.+1 1 1+x. ;

X.+l = 1 - cos x.; X.+1 2x.-1 x.+4

1.02. - Soient a et b deux reels strictement positifs. On definit par recurrence les deux suites (X.).eN et (Y.).eN par: Xo = a, Yo = b, et pour nelN : et Etudier ces deux suites et en deduire l'etude de la suite (P.).eN definie par: O<k<l. 1.03. Soient a, b et c trois reels strictement positifs. Com parer les trois reels 3 1 1 abc 1

uo, vo, Wo definis par:

- =-+-+-;
Uo

Vo =

if;bc;

Wo =

a+b+c 3

Montrer que les trois suites definies par recurrence par

--=-+-+-;

3 U.+l

1 u.

V.

1 w.

V.+ 1

= ;j u.V.w.;

u.+v.+w. 3

sont convergentes et ont meme limite.

EXERCICES 1.04. - Soit (8n)neN une suite d'elements de {-I, de reels definie par: a
n

23
+ I}. On lui associe la suite

(an)neN

=~

+ 8081 + ... + 80 .. ·8n

2n

a) Montrer que cette suite est convergente, de limite a E [-2, b) Montrer que reciproquement

+2].

tout reel a

[-2,

+2]

est limite d'une suite sin 2h.

du type precedent.
c)

Montrer que pour alors :

Xn

Ihl ~

i, sin (i + h)
~ 2+ ... +8n-l

= ~ J2+2

On considere

80 ~ 2+81

~2+8n

.../2

et Montrer que pour tout n E IN. xn = Yn' En deduire que (Xn)neN est convergente. Etudier Ie cas 8n = 1 pour tout n. Retrouver directement ce resultat en remarquant que Xn peut etre defini par une relation de recurrence simple.
1.05. -

A toute suite (an)n e N de reels positifs, on associe la suite (xn)n e N

definie par :

a) Etudier cette suite lorsque (an) est majoree, b) On suppose an = A?"+l (A> 0). Montrer qu'alors lim Xn = (XA. (X etant la limite de la suite associee a la suite constante an = 1. Montrer: (X = (I + .../5)/2. c) Etudier la convergence de (Xn)n eN dans chacun des cas : an
an ~

n!;

an = nn
E

et, ensuite, dans Ie cas ou il existe (X > 2 tel que. pour une infinite de n
exp ((In+ I).

IN on ait :

1.06. -

Soit P ElN*. Etudier la suite (Xn)neN definie par

xn+p

p/--V Xn+p-l

Xn+p-2'"

Xn

Xo •....

xp-1

etant des reels positifs donnes.

1.07. a) Etudier les sous-groupes multiplicatifs de IR! .

b) On se propose de determiner S = {(x, Y) E Z21x2_2y2 = I}. Soit G l'ensemble des nombres X+ Y ../2, ou (x, y) E S et x+ y../2 > O. Montrer que G est un

sous-groupe multiplicatif de IR!. c) Soit G' = Gn]l. +00[. Montrer qu'un element x+y../2. avec (X.Y)ES, est dans G' si et seulement si (x, y) E (IN*)2. Montrer que G' admet un plus petit element. que I'on determinera, d) En deduire les elements de S.

24
1.08. -

AUTRES

PROPRIETES

DE IR

Soit S I'ensemble des suites croissantes d'elernents de N\{O, I}.

E S. Montrer

a) Soit (q.).eN

que la suite (X.). eN, definie par

est convergente, et que sa limite a verifie a

b) Montrer que I'application de S sur ]0, 1].

]0, 1]. associe lim X. est une bijection

qui

(q.).eN

c) Montrer que lim x. est rationnel si et seulement s'il existe p tel que:

1.09. - Montrer que tout isomorphisme de lR. sur un de ses sous-corps est I'identite. (On montrera qu 'un tel isomorphisme est necessairement croissant). 1.10. - Soient deux reels a et b, non nuls. Quel est Ie sous-groupe additif de (lR., +) engendre par ces deux reels? A quelle condition necessaire et suffisante est-il discret? En admettant que 7t est irrationnel en deduire que {cos nln EN} sous-ensemble dense de [- I, I]. est un

1.11. - a) Montrer que lR. \<Q est dense dans lR.. b) Montrer que I'ensemble des rationnels de la forme p/2· avec p E 7l et n EN est dense dans lR.. 1.12. - Soient E un ensemble infini et F une partie infinie de E telle que E\F soit au plus denombrable. Montrer que F est equipotent a E. En deduire que I'ensemble des irrationnels est equipotent Ii lR.. 1.13. Tout rationnel r admet un unique representant de la forme

q ;;::: et p et q premiers entre eux. Soit (r.) une suite de rationnels de limite un I

rt«

avec

irrationnel positif; si l'on pose r. 1.14. -

= P./q.

montrer que

,,-++00

lim P«

".... +00

lim q.

= +00.
=

Soit (a.). eN une suite de reels strictement positifs telle que lim (a.)

O.

Montrer que {n ENI'v' m ;;::: am ~ an} est infini. n Montrer que {n E NI'v' m ~ n an ~ am} est infini. 1.15. - MOYENNEDE CESARO.Pour tout n ;;::: on definit : 1 Soit (a.).;ol une suite d'elements de lR..

Montrer que si la suite (an) est convergente, la suite (bn) est convergente (resp. (cn) est convergente).

EXERCICES

25

Plus generalement soit (en)n" 1 une suite de reels strictement positifs telle que lim
n-++oo

L
k=O

ek = +

00.

Montrer que si la suite (an) est convergente, la suite de terme +enan est convergente. Que pensez-vous de la reciproque ? +en

general d n1.16. -

a el l el

+ +

(cn)

Soient (an) et (bn) deux suites reelles convergentes. Etudier Ia suite aobn+ ... +apb._p+'" +a.bo avec c. = 1 . n+

1.17. - Soit (a.) la suite reelle definie par ao et a.+l = ka;. A quelles conditions portant sur ao et k la suite est-elle convergente? 1.18. 2 et "1 etant deux reels differents de - I, d emesparaoetan+l= 'fi .

. sur ('1I.,"1,ao, b 0 ) Ies d euxsultes

b.+
1

quelles conditions portant a. 1+2 b. ( resp. b oet +2

= a·

+"1b.) constituent-elles un couple de suites adjacentes ? 1 +"1

Xn+1 ~

Xl ~ 2 et

1.19. -

Soit E I'ensemble des suites x = (x.). E N. a valeurs dans lN telles que pour n E IN·. Montrer qu'on obtient une bijection de sur

x;

]1,2] en posant f(x)

= n~~ao

(Vl (l+X;l»).

2
ESPACES TOPOLOGIQUES ESPACES METRIQUES
2.1. ESPACES TOPOLOGIQUES

2.1.1. Definition d'one topologie

1 Espaces topologiques. - DEFINITION I. - Soit E un ensemble. On appeUe topologie sur E toute partie b de ~(E) satisfaisant aux axiomes suivants :
0

b et
E

E
b2

"I (A, B) "I I

AnBEb
E

"I (A;)ieI

bI

tel

U AtEb

Les eh~mentsde b s'appellent les ouverts de la topologie b.

REMARQUE. - L'axiome (02) s'etend immediatement par recurrence it l'intersection d'une famille finie non vide d'elements de 79.D'ailleurs en renforcant (02) sous la forme: l'intersection de toute famille fmie d'elements de 79est element de 79,on peut meme considerer (0,) comme une consequence de (02) et (03); en effet (1.1.2.4):
ie0

n Ai

= E;

ie0

Ai

= 0.
(E,

DEFINITION II. - On appclle cspuce topologique tout couple E est un ensemble et b une topologic sur L.

1;) ou

Les elements d 'un espace topologique sont aussi appeles points. Les ouverts de "G sont aussi appeles ouverts de (E, "G).
EXEMPLES. -

discrete:

a) Pour tout ensemble E, "G = ~(E) est une topologie, appelee topologie toute partie de E est un ouvert. On dit que (E, ~(E) est un espace discret. b) De meme "G = {0, E} est une topologie, appelee topologie qrossiere,

de l'ordre, - THEoREME ET DEFINITION. - Soit (E, ~) un ensemble totalement ordonne, et soit J la partie de ~(E) constituee des intervalles ouverts, des demi-droites ouvertes et de E. L'ensemble b des reunions de families d'elements de J est une topologie, appelee topologie de I'ordre. - E E b par definition de J; 0 est reunion de la famiIle vide d'elements de J (1.1.2.4, 1°). - On verifie aisernent que J est stable par intersection finie. II en resulte que si A = lk et B = J, sont deux elements de b (lk E J et J, E J) •. 20 Topologie
keK

alors An B

(k,l)eKxL

leL

(lk

n J,) est encore un element de b.

2.1.2

ESPACES

TOPOLOGIQUES

27

Enfin soit

(Aj)jeJ

une famille delements de b, de la forme A. J

=

ke KJ

t,• J'.
lk.,
E

On peut ecrire :
j

Aj

eJ

(k. j) e L

ou L est I'ensemble des couples (k, j) tels que j Donc:

jeJ

J et k

Kj•

Aj

b.

o
a (JR,
~). On obtient

EXEMPLE. On peut appliquer cette construction une topologie b appelee topoloqie usuelle de JR.

Convention. - Dans la suite (sauf indication du contraire) JR sera toujours muni de la topologie usuelle.

3° Caracterisation des oueerts de la topologie de l'ordre, - PROSoient (E, ~) un ensemble totalement ordoane, b la topologie de I'ordre et A one partie de E. Les assertions suivantes sont equivalentes :
POSITION.

i)

A est on ouvert de la topologie b.

E

ii) Pour tout a i) ~ ii) ~

A, il existe I

J tel que {a}

c:

c:

A.

ii). Consequence de la definition de b. i). Pour tout a

E

A, notons {a}
c: fa c:

fa

un element de J tel que

A. fa on deduit b.
=

De I, c: A on tire Done

aeA

t, c:

A, et de a

c:

aeA

U la.

A=

aeA

U t,

o
JR, i) et ii) sont

REMARQUE. Le lecteur verifiera que, dans le cas E encore equivalentes a :

iii) Va
E

3 oc

JR!

]a-oc, a+oc[

c:

A.

2.1.2. Fermes, Voisinages. Bases de voisinages

1° Fermes. - DEFINITION. - Soit (E, b) un espaee topologique. On appeUeferme de eet espaee topologique toute partie de E dont Ie complementaire est ouvert.

28

ESPACES
EXEMPLES. -

TOPOLOGIQUES
partie d'un espace

- ESPACES

METRIQUES

2.1.2

a) Toute

discret est un ferme (et un ouvert). de I'ordre, un intervalle ferme (resp. une demidu mot « ferrne » ne creent done pas d 'ambigutte.

b) Dans un espace muni de la topologie droite ferrnee) est un ferrne. Les deux utilisations c) Par contre, I'intervalle

[a, b[ de IR n 'est ni un ouvert ni un ferrne.

PROPOSITlON. Soit (E, 13) un espace topoJogique. L'ensemble :F des fermes de (E, 13)possede les proprit~tessuivantes :

o E 3'
V (A, B)

et
E

E E 3'
3'2 AuBE3'
i

VI

n
E

Ai

3'.

Resulte des axiomes (°1), (02), (03) par passage au complementaire. Par recurrence, (F2) s'etend it la reunion d'une famille finie de ferrnes.
2° QUELQUES REMARQUES. - a) Le lecteur prendra soin de bien remarquer que « etre ouvert» n'est pas la negation de « etre ferme », II resulte des exemples ci-dessus qu'un ensemble peut etre un ouvert et un ferme, et qu'un ensemble peut n 'etre ni un ouvert ni un ferme,
b) Pas plus que l'axiome (02), la propriete Donnons deux exemples dans IR : (F2) ne se generalise

Ii une famille quelconque.

-n
n

e e Ne

]-!, nl_ =
n

Ir

{O}

n'est pas un ouvert.

n'est pas un ferme.

U
E

N"

[-I+!,I-!]=]-I,+I[ n

3° Voisinages. Bases de voisinages. - DEFINITlON I. - Soient (E, r.) un espace topologique et a un point de E. On appelle voisinage de a toute partie V de E telle qu'il existe un ouvert U de 13verifiant : {a} cUe V. L'ensemble des voisinages de a se note 'U' (a). On remarquera: E E 'U'(a) et V V E 'U'(a) a E V.
DEFINITION

II. -

de a toute partie
EXEMPLES -

[8 c 'U' (a)

Avec les memes notations, on appelle base de voisinages telle que

V V E 'U'(a) 3 BE [8 Be V
s'il existe a E IR! tel
E E

a) Dans IR, Vest

un voisinage

de a si et seulement

que ]a-a, a+a[ c: V. L'ensemble des intervalles de la forme ]a-a, a+a[, avec a est une base de voisinages de a. L'ensemble des intervalles de la forme [a -a, a +a], avec a et I'e~s~mble de voismages des intervalles de a. de la forme Ja - ~, a

IR!, IR!,

+ ~,

avec n part,

N*, sont aussi des bases I'ensemble des voisinages

b) Dans un espace topologique quelconque, '\1(a) d'une ouverts de a d'autre part, sont des bases de voisinages de a. c) Dans un espace discret, {a} est un voisinage de a.

PROPOSITlON. Dans tout espace topologique, l'ensemble voisinages de a possede les proprietes suivantes :

'U' (a)

des

i) V VE 'U'(a) ii) V (V, W)

E

V WE ['U'(aW

lJ'(E)

(W::::> V ~ V

WE 'U'(a»

n WE 'U'(a).

2.1.3

ESPACES

TOPOLOGIQUES

29

i) Simple consequence de la definition I. ii) II existe par hypothese deux ouverts A et B, tels que: {a}
cAe

et

{a} c B c W.

II en resulte : {a} cAn B c V n W, avec A n B ouvert. Cette assertion se generalise a une intersection finie de voisinages de a.
4° Caracterisation des ouverts. - PROPOSITION. Soient (E, 1J) un espace topologique et A une partie de E. A est ouvert si et seulement s'i1 est un voisinage de chacun de ses points. - Si A est ouvert, pour tout point a de A : {a} cAe A. - Si A est voisinage de chacun de ses points, a tout a E A on peut associer un ouvert U; tel que {a} c U; c A.

On a : A

aeA

U a' et done : A ouvert

5° Espaces topologiques separes. - DEFINITION. Un espace topologique (E, 1J) est dit separe si et seulement si, pour tout couple (a, b) E E2, il existe un voisinage de a et un voisinage de b disjoints.

On dit que de tels voisinages « separent » a et b.

EXEMPLE. -

IR est separe, a

THEOREME. Soient (E, 1J) un espace topologique separe, et de E. L'ensemble {a} est un ferme de (E, 1J).

un point

On verifie aisement que E\{a} est un ouvert

REMARQUE. -

n.

La reciproque de ce theorerne

est fausse.

Au niveau de ce cours nous ne rencontrerons des espaces topologiques separes.

que

2.1.3. Interieur, adherence, frontiere d'one partie

1° Interieur. - DEFINITION. Soient (E, b) un espace topologique, A une partie de E. Un point a de E est dit interieur Ii A si et seulement si A est un voisinage de a. On appelle interieur de A, et on note A, I'ensemble des points

interieurs Ii A.
EXEMPLES. a) Dans IR., l'interieur d'un intervalle (resp. d'une demi-droite) est l'intervalle ouvert (resp. la demi-droite ouverte) de memes bornes. L'interieur de <Q est cQ = 0.

b) Dans tout espace topologique (E, 't»,

t=E

et

0=

0.

PROPOSITION I. - L'interieur de A est la reunion de tous les ouverts de (E, 1J) contenus dans A. C'est donc un ouvert, et c'est Ie plus grand des ouverts contenus dans A.

30

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.1.3

Soit A'ia reunion de tous les ouverts de (E, b) eontenus dans A. Un element a E E appartient it A' si et seulement s'il existe U E 'b tel que {a} cUe A, done si et seulement si a E 1. 0
PROPOSITION

II. -

Soient A et B des parties de I'espace topologique

(E, 'b). On a alors : i)

1c

ii) (A =

1)~
v)

'b

iii)

iv) (A c B) ~

(1c B)

Q = 1("\ 13

1= 1

Prouvons iv) et v) : Si A c B, d'apres i): 1c B. 1 etant un ouvert 1c B. ~ - 1 13 est un ouvert eontenu dans A ("\ B, done 1 •13 c A ("\ B. ("\ ("\ ~o ~ Inversement A ("\B c A donne A ("\B c 1; de meme A ("\B c B. 0 2 Adherence. - DEFINITION. - Soient (E, 'b) on espace topologique, A one partie de E. Un point a de E est dit adherent a A si et seulement si : 0

v a
A.

'lJ(a)

v ("\A =F

0.

On appelle adherence de A, et on note A, I'ensemble des points adherents

EXEMPLE. Dans JR, l'adherence d'un intervalle (resp. d'une demi-droite) est l'intervalle ferrne (resp. la demi-droite fermee) de memes bornes. REMARQUE. -

a est adherent it A si et seulement si, 33designant une base de voisinages de a: V Ve 33

Vn A '" 0.

PROPOSITION

I. -

Pour toute partie A de E : E\A = E\l

e

E\1

E\A.

Ces assertions resultent immediaternent des definitions, en remarquan t que V ("\ A = 0 s'ecrit aussi V c E\A. De eette proposition, on deduit imrnediaternent les deux propositions suivantes:
PROPOSITION II. - L'adherence de A est I'intersection de tous les fermes de (E, 'b) qui contiennent A. C'est done on ferme, et c'est Ie plus petit ferme contenant A. PROPOSITION

III. ii) (A

Soient A et B des parties de I'espace topologique

(E, 'b). On a alors : i) AcA

= A) ~

(A est un ferme de (E, 'b» iii) v) Au B

A=

A.

iv) (A c B) ~

(A c B)

= Au B.

2.1.4

ESPACES TOPOLOGIQUES

31

REMARQUES. a) On se gardera de croire que Ie passage it I'interieur et Ie passage a l'adherence sont des operations reciproques I'une de l'autre. Ainsi, dans JR, ~ = JR et (f.1 = 0.

b) A et B etant deux parties de I'espace topologique (E, 'b) on a uniquement :

Au{JcAuB

...-"--..

AnBcAnB

Le lecteur trouvera dans JR des exemples montrant que ces inclusions peuvent etre strictes.

3 Erontiere, partie dense. -DEFINITION I. - Soit A one partie de l'espace topologique (E, 'b). On appeUe frentiere de A, et on note Fr (A), l'ensemble Fr (A) = A n E\A = A n (E\1) = A\1.
0

La frontiere de A est done un ferrne de (E, 'b). Les elements de Fr (A), appeles points-frontiere, sont les elements de E dont tout voisinage contient des points de A et des points de E\A (ce qui justifie la terminologie).
EXEMPLES. REMARQUE. -

Dans JR : Fr ([a, b]) = {a, b};

Fr (JR) = 0;

Fr (eQ) = JR.

On appelle exterieur de A, I'interieur de E\A. Fr

(A) =

On a:

E\(A

uE\A)

DEFINITION II. On appelle partie dense d'un espace topologique (E, T:» toute partie A de E telle que A = E.
EXEMPLE. eQ est dense dans JR. Le lecteur remarquera que cette affirmation, prise ici au sens topologique pour la topologie usuclle de JR. coincide avec celle de la proposition 1.2./,3°.

PROPOSlTlON. Une partie A de E est dense dans E si et seulement si eUe rencontre tous les ouverts non vides de E. - Si A est dense, et si U est un ouvert non vide de E, on dispose de a e U, et on a : a eA. De U e'1J(a) on tire A n U :F 0. - Si A rencontre tout ouvert non vide, tout voisinage ouvert de a e E rencontre A, done a e A. II en resulte E c A et E = A. D

2.1.4. Sous-espaces topologiques

1 Topologie induite. - THEoREME ET DEFINITION. - Soient (E, 'b) on espace topologique, et F one partie de E. L'ensemble 'bF des parties de F de la forme U n F, oil U e 'b, est one topologie sur F. On l'appelle topologie induite sur F par 'b. L'espace (F, 'bF) est appele sous-espace topologique de
0

(E, b).

Demonstration facile, laissee au lecteur.

0

2 Propriites. - a) Les fermes de I'espace (F, 'bF) sont les traces sur F des fermes de (E, 'b). Verification immediate.
b) Les voisinages de a e F dans l'espace (F, 'bF) sont les traces sur F des voisinages de a dans l'espace (E, 'b).

32

ESPACES

TOPOLOGIQUES

- ESPACES

MErRIQUES
cUe

2.1.4 V, avec

Ue 'b. II en resulte {a} c UnF un voisinage de a dans (F, 'bF).

Si Vest un voisinage de a dans (E, 'b), alors {a} c VnF. Comme UnFe

'bF, VnF

est

- Inversement soit W un voisinage de a dans (F, 'b F)' II existe U e 'b tel que {a} c UnF c W. Posons V = WuU. Comme {a} cUe V, Vest un voisinage de a dans (E, 'b) et d'autre part W = V n F. 0
c) Soit A une partie de F. Notons A l'adherence de A dans l'espace (E, 'b) et AF l'adherence de A dans l'espace (F, 'bF). Alors AF = AnF. - AnF est un ferme de (F, 'bF) qui contient A. Done AF c AnF. - Inversement, soit a e An F. Soit V n F un voisinage de a dans (F, 'bF), Vetant voisinage de a dans (E, 'b). De A c F on deduit (VnF) nA

VnA.

Or VnA
E

oF 10 car a e A. Done a e AF, et AnF

-

c AF•
A

RlMARQUL

1R, F

On aura soin de ne pas etcndre ceue propriete a l'interieur. [0, I [ et A = F: A r = [0, I [ et A = ]0, I [, On constate : A r #-

o
Ainsi, pour n F.

que Fe

d) Pour qu'une partie A de F soit dense dans (F, 'bF), if faut et il suffit

A.

AF = F

s'ecrit

AnF

= F,

soit

Fe

A.

e) Si (E, 'b) est separe, (F, 'bF) est separe. Verification immediate. f) Soient (E, 'b) un espace topologique et F une partie de E. Pour que les ouverts (resp. les fermesy de (F, 'bF) soient les ouverts (resp. les fermesv de (E, 'b) contenus dans F, il faut et il suffit que F soit un ouvert (resp. un ferme) de (E, 'b). Verification immediate.
3° PROPOSITION. - Soient (E, 1'» un espace topologique, F et G deux parties de E telles que G c FeE. La topologie induite sur G par celie de E est la meme que la topologie induite sur G par la topologie induite sur F par celie de E. Verification aisee. Dans cette situation, sans risque d 'arnbigutte. nous pourrons parler du sous-espace topoloqique G,

4° Points isoles ; points d'accumulation.

DEFINITION.

Soient

(E, 'b) on espace topologique, et F one partie de E. i) Un point a e Fest dit isole (dans F relativement it E) si et seulement s'il existe Ve 'U'(a) tel que F n V = {a}. ii) Un point a e E est dit point d'accumulation de F si et seulement si, pour tout Ve 'U' (a), F n V est un ensemble infini. Dans Ie cas ou (E, 'b) est separe, on peut remplacer ii) par: iii) Un point a e E est dit point d'accumulateur de F si et seulement si chaque V e'U'(a) contient au moins un point de F \ {a}.
II est clair que si a E E verifie ii), alors a verifie iii). - Inversement soit a E E qui verifie iii). Considerons V E'\J(a); no us allons construire par recurrence une suite d'elements deux it deux distincts de W = (F \ { a}) n V. Nous pourrons alors affirmet que a verifie ii). -

2.1.5

ESPACES

TOPOLOGIQUES

33

D'apres iii), il existe un point XI E W; supposons obtenue une famille (XI' ..., x.) de points deux it deux distinets de W; (E, 1':» etant separe, {x to ... , x.} en est un ferme (2.1.2, 5°), qui admet done pour complementaire dans E un ouvert v" de (E, 1':»; ce dernier eontient a; on a v"E'\J(a) et V n v"E'\J(a); d'apres iii), il existe un pointx.+ lEW n v,,; au titre d'element de v", X.+ I n'appartient pas it {XI' ..., x.}. D

2.1.5. Espaces produits

1 Oueerts ilimentaires.
0

Considerons

une

famille
n

d'espaces

topologiques,

et soit E l'ensemble

produit
(J)

E=
n j=1

ouvert elementaire toute partie de E de la forme

n Aj> OU Aj

j= 1

nE

(Ej, b )1 ~
j j•

j~

On appelle
E

bj pour elemen-

E INn. L'intersection taire. En effet :

de deux ouverts

elementaires

est un ouvert

(U

A) ~ Cu B) =

jU (Aj ~ Bj)

et

20 THEOREME ET DEFINITION. - En conservant les notations precedentes, les reunions d'ouverts elementaires sont les elements d'une topologie b sur E. On dit que best la topologie produit des bj. (E, b) est appele espace topologique produit des (Ej> bj). Le lecteur demontrera ce theoreme en s'inspirant de la definition de la topologie de l'ordre (basee essentiellement sur Ie fait que J est stable par intersection finie). On demontre de la merne facon :
PROPOSITION I. - Soit a = (ai, ... , an) un point de I'espace produit (E, b). Une partie V de E est voisinage de a si et seuiement s'il existe un ouvert elementaire (J) (resp. des voisinages Vj de a, dans cbaque (Ej> bj» tel que:

{a}
PROPOSITION

C (J) C

(resp•

{a}

tl Vi

V)

separes.

L'espace

II. - Soient (E" bj) (1 :s;;; i :s;;; n) des espaces topologiques topologique produit (E, b) est separe.

Soit (a, b) E E2. Si a i' b, il existe un indice i pour lequel a, i' bj' (Ej> bj) etant separe, il existe U et V, voisinages disjoints dans (Ej, bj), respectivement de a, et de b.. E1 x E1 x a et b. xEj-1
X

X
X

UxEj+1 V
X

x
1X

x E; est un voisinage x En est un voisinage

de a, de b, et ils separent 0

Ej-1

Ej+

PROPOSITION III. - Soit (E, b) un espace topologique. Pour que (E, b) soit separe, iI faut et iI suffit que l'ensemble Ll = {(x, x)lx E E}, appele diagonale de E2, soit ferme dans I'espace topologique produit ExE.

Les ouverts elementaires contenant un point forment une base de voisinages de ce point. II en resulte que Ll est ferrne si et seulement si, pour tout

34

ESPACES

TOPOLOGIQUES

- ESPACES
OJ

METRIQUES

2.1.6

(a, b) ¢ Ll, il existe un ouvert elementalre (a, b) Ux V

tel que {(a, b)} c OJ c E2\Ll. Cela se traduit par I'existence de deux ouverts U et V de (E, b) tels que
E

et

(UxV)nLl

0.

Autrement dit, Ll est ferrne si et seulement si, pour tout (a, b) tel que a f:: b, il existe U et V ouverts de E contenant respectivement a et b tels que U n V soit vide. C'est la definition de la separation. 0 3° T opologie usuelle de IR", - DEFINITION. On appelle topologie usuelle de IRn la topologie produit des topologies usuelles de IR.
Convention. Dans la suite (sauf indication du contraire) IRn sera toujours muni de la topologie usueUe.

2.1.6. La droite numerique achevee

1° DEFINlTlON. - On appelle droite numerique achevee, et on note IR, I'ensemble 1R. u {- 00, + co}, on - 00 et + 00 sont deux nouveaux elements, distincts, n'appartenant pas a IR. 2° Relation d'ordre. definie par :

iR est totalement ordonne par la relation ~

Pour tout x E iR, - 00 ~ x et x ~ + 00. { Pour (x, Y) E IR2, X ~ Y est l'ordre dans IR. On pose:

iR+ = [0, + 00], IR! = ]0, + 00], iiL = [ - 00,0], iR~

=

[-00, O[

THEOREME

I. -

Toute partie de iR. admet one borne superieure et one

c

borne inferieure. Montrons Ie pour la borne superieure. Soit A Si +00

E

iR.

A, alors:

+00 = sup A.

- Si A = 0 ou si A = {- oo}: alors - 00 = sup A. - Enfin si + 00 ¢ A et A n IR f:: 0, nous distinguerons deux cas : ou bien A n IR est majoree dans IR, auquel cas eUe admet dans IR une borne superieure, qui est manifestement borne superieure de A dans iR.; ou bien A n IR n'est pas majoree dans IR, et alors + 00 = sup A. 0
THEOREME

II. -

Une partie I de 'V (x, y)

E

iR est on intervalle si et seulement si

]x, y[ c I. (1)

elle verifie :

12

- La condition est evidemment necessaire (transitivite de la relation d'ordre).

2.1.6

ESPACES

TOPOLOGIQUES

35

- Inversement soit Ie iR verifiant (1). So it m = inf let M = sup I. On a : Ie [m, M]. Soit alors a E ]m, M[. De m = inf let m < a on deduit I'existence de x E I tel que x < a; de meme il existe y E I tel que a < y. Or d'apres (1) : ]x, y[ e I. D'ou : a E I. Ainsi

]m, M[

Ie

[m, M]
]m, M[, [m, M[, ]m, M] ou

I ne peut done etre que l'un des intervalles [m, M] (eventuellement vides, d'ailleurs).

Convention. valle de

iR

Nous appellerons inclus dans JR.

desormais

intervalle de JR tout inter-

Cela recouvre donc les intervalles de JR au sens propre, les demi-droites (par exemple ]a, -+ [ = ]a, + 00 D et JR lui meme (JR = ]- 00, + 00 D. Les intervalles au sens pro pre seront nommes «intervalles bornes » de JR. Le lecteur constatera que (1) caracterise Les operations aussi les intervalles de JR.

3° Operations. posant:

sur JR s'etendent (-00)+(-00)

en partie
-00.

iR

en

a) (+00)+(+00)

+00

b) Pour tout x E JR : et c) Pour tout x

E

x + (+ (0) x+(-oo)

(+ (0) + x

+ 00

= (-oo)+x (+ oo)·x

= -00.

iR! : x=

(+ (0)

=
=

+ 00

et x·(-oo)

(-oo)·x

-00
= -00

d) Pour tout xEiR~ : x'(+oo) et x·(-oo) = (-oo)·x

(+oo)·x
=

+00

On notera que la somme de + 00 et - 00 n'est pas definie, ainsi que le produit de 0 par + 00 ou - 00. N'etant pas partout definies, ces operations des structures algebriques classiques. ne conferent it

iR

aucune

iR

4° T opologie de iR. la topologie de l'ordre.

DEFINITION.

On appeUe topologie indication du contraire)

usueUe de

Convention. toujours
PROPOSITION.

Dans la suite (sauf muni de la topologie usuelle.

-

iR

sera

La topologie

usueUe de

iR

induit sur IR la topologie

usueUe de JR. Verification laissee au lecteur. 0 Mais on verifie facilement que la topologie de l'ordre sur un ensemble totalement ordonne n'induit pas toujours sur toute partie la topologie de

36

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.2.1

l'ordre induit, ainsi que Ie montre l'exemple de IR(muni de l'ordre usuel) et de sa partie {O} u ]1,2]. Pratiquement, nous retiendrons comme base de voisinages d'un element a de JR : - Si a E JR, les intervalles de la forme ]a - (x, a + (x[, «(X E JR!). - Si a = + 00 (resp. a = - (0) les intervalles de la forme lb, + 00] (resp. [- 00, bD, (b E JR). C'est justifie par Ie fait que dans iR, les demi-droites ouvertes sont les intervalles ]b, + 00] et [- 00, b[.
REMARQUE. II en resulte que + 00 et - 00 sont adherents it JR, done que JR est dense dans iR. La notation JR est ainsi justifiee a posteriori.

2.2. LlMITES ET CONTINUIT~

Pour alleqer les notations, un espaee topologique sera desormais desiqn« par Ie meme symbole que I'ensemble sous-jaeent.

eanoniquement associee a la fonetion f. Pour AcE, «f est definie sur A» signifie A c osr (f). Nous pourrons ainsi etendre aux fonctions la plupart des notions definies pour les applications. Nous utiliserons en particulier les notions d'image directe ou reciproque d'une partie. Si fest une fonction de Evers F et 9 une fonction de F vers G, on note 9 a f, et on appelle fonction composee, la fonction h de Evers G definie par h(x) = 9 [f(x)]. Son ensemble de definition est Def'{j") [Def(g)] (eventuellement vide).

Priliminaire. - En algebre (I. 1.2.3), nous avons appele fonction de Evers F toute correspondance f = (I', E, F) dont Ie graphe est fonctionnel ; I'ensemble de definition pr 1 r sera desormais designe par Def (f). L'application de Def (f) dans F qui coincide avec f sur Def (f) est dite application

-r:

2.2.1. Limite suivant un ensemble

1° Notion de limite. - Soient E et F deux espaces topologiques, fune fonction de Evers F dont I'ensemble de definition est note D (resp. une application f d'une partie D de E dans F), une partie A c D, un point a E A.
DEFINITION.

en appartenant condition:

On dit que f(x) admet one limite lorsque x tend vers a

A si, et seulement s'il existe on .Hement IE F verifiant la

V VE 91(/)

3 UE 91(a)

f(U n A) c V.

(1)

Notons que, lorsque a E D, l'on ne change rien si on remplace E par D, muni de la topologie induite.

2.2.1

LlMITES

ET CONTINUlTE
il existerait

37
en

REMARQUE. - Si on n'avait pas a E it Ie problerne serait sans interet: effet V. E <tJ(a) tel que ftU; n A) = 0 et tout IE F verifierait (I).

PROPOSlTION I. - Si Fest separe et s'il existe deux elements / et I' de F verifiant l'assertion (1), alors I = I'.

Par I'absurde. Supposons que l et l' sont distincts et verifient (I). Comme separe, on peut trouver Ve 91(/) et V' e 91(/') disjoints. Par (I), on Ieurassocie Ue 91(a)et U' e 'lJ(a) teis quef(UnA) c Vetf(U'nA) c V', ce qui entraine :
Fest f(UnU'nA)
c (VnV').

On a ainsi : (Ur: U') n A contradiction avec a e A.

=;::

10 et Urv U' e 91 (a), ce qui constitue une 0

Dans toute la' suite nous considererons - sans que cela soit necessatrement redit - uniquement des applications dont /'espace-image est separe (condition qui est automatiquement remplie s'il s'agit d'un espace metrique).

I
t

Consequence de cette convention. - S'il existe / e F verifiant (1), la proposition I nous permet de dire que I est limite de f(x) lorsque x tend vers a en appartenant it A - ou, de preference, Ia limite de f au point a suivant A - et d'ecrire 1 = lim I(x)

!:IiJ

%-+o,:c

eA

PROPOSlTION II. - On ne modifie pas l'assertion (I) en remplaeant 91(a) [resp. 91(/)] par une base de voisinages de a (resp. I).

Soient $ (resp. $') une base de voisinages de V Ve $' 3 Ue $

(resp. /) et
(I ')

feU n A) c V.

- Si (I) est verifiee, soit Ve $'. Ve 91(/) done il existe Ue 91(a) tel que f (U n A) c V. II existe alors U 1 e $ verifiant U 1 C U, et a fortiori:
f(UI nA)
c V.

- Si (1') est verifiee, soit Ve 91(/). II existe V' e $' verifiant V' c V. On lui associe U e $ tel quef(UnA) c V'. Or U e 91(a) etf(UnA) c V.D
EXEMPLE. - On peut prendre comme base de voisinages de ales voisinages de a contenus dans Vo E <tJ(a). En pratique cela signifie que I'on peut remplacer A par A n Vo. (On traduit cette propriete en disant que la limite est une notion locale).

2° Cas partieuliers, - a) Lorsque a e A, la limite eventuelle ne peut etre que f(a). En effet, it cause de a e UnA, on a necessairement f(a) e V, et ceci pour tout Ve 91(/). II en resulte f(a) = l (F separe). Cette situation sera etudiee plus en detail sous Ie nom de continuite,
b) Supposons A = Def (f)\{a}. Cela suppose, si a¢: Def (f), que a est adherent it Def (I), et si a e Def (f), que a n 'est pas un point isole de Def'(j'),

38

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES (traduction

2.2.2 de

ou encore que a est un point d'accumulation a E Def (/)\ {a} et de la separation de E). Convention. I=
x ....a. x

deD6f(f)

lim
e Def(f)\ {a}

f(x) lim
x-+a, x=«

s'ecrit

abreviativement

1
(Certains

f(x).

auteurs ecrivent merne dans ce cas, 1 = lim f(x».

x"" a

c) Dans Ie cas E = JR, on parle de limite droite (resp. limite gauche) lorsque A = Def (f) r. ]a, + <X) [ (resp. A = Def (f) r. ] - 00, aD. On note abreviativement : I= hm
%-+a, x>a

f(x)

(resp. 1 =

lim
'%-+0,

f(x)) induite par celie

x<a

de

iR,

d) En prenant E = lN u { + <X) }, muni de la topologie A = lN, a = + 00, on obtient :

DEFINITION. Soient F on espace topologique separe et (Xn)neN one suite d'elements de F. On dit que la suite (xn) admet l'element 1 de F pour limite si et seuiement si: .

vV

'U (I)

3N

lN

Vn ~ N

Vne suite est dite convergente Ie cas contraire. On ecrit alors abreviativement
REMARQUE. -

si elle admet one limite, divergente dans : 1 = lim (xn). [N,

Ici, 'U ( + (0) a ete rem place par la base de voisinages

duite au chapitre 1.

+ 00],

(N

IN).

Dans IR on retrouve la notion de limite d'une suite qui avait ete intro-

2.2.2. Proprietes des limites

Les notations sont celles du 2.2.1.

10 THEoREME. - Si f admet 1 pour limite au point a suivant A, alors 1 E f(A). Plus generalement, si pour tout x E A, f(x) E B, alors 1 E B. - Soit V E 'U(/). II existe U E !'\J(a) tel que : f(U rv A) c V. On a alors : f(Ur.A) = f(Ur.A) r. V c f(A) r. V. f(Ur.A) n'est pas vide car U r. A ne l'est pas. Done f(A) r. V i: 0. La deuxieme partie f(A)
EXEMPLE. -

resulte

simplement f(A)
c
E A,

de

cB ~

B.

Si F = IR et si f(x) ~ 0 pour tout x

alors I ~ O. (On prend B = IR+).

2.2.2. 2° Supposons immediatement On a cependant

THEOREME. -

L1M1TES ET CONT1NUlTE I= lim

x~a, xe.A.

39

f(x) f(x}. suivant

et soit A' c A avec a e II n'en :

A'. On veri tie

:I

lim
x .... ,xeA' a

est plus de me me si A c A'.

Ie resultat

A' ,June

Soient A et A' deux parties de E, a un point adherent Ii A et Ii fonetion de Evers F definie sur A u A'. Pour que I = lim f(x}, :
=
x~a. xeAuA'

il faut et il suffit que I'on ait simultanement

lim
x-+a. xeA

f(x)

et

lim
x ..... xeA' a,

f(x).

Remarquons que a e A n A' entraine a e A u A'. La condition est necessaire du fait de A c A u A' et A' c A u A'. Inversement si Ve '\J (I) etsi Uet U'sontlesvoisinagesdeatelsquef(UnA) c Vetf(U'nA'} c V, Ie lecteur verifiera que f [(U n U') n (A u A')] c V. Or Un U' e -o (a). 0
EXEMPLES.- a) Pour qu'une suite (xn) delements de F admette I pour limite, il faut et it suffit que les suites (x2n) et (X2n+ 1) admettent I pour limite. (On prend A = 2N et A' = N\2N) b) Soit E = 1R. Pour qu'une fonction numerique 1 admette une limite I lorsque x tend vers a (x # a), il faut et il suffit que 1 admette I comme limite it droite et comme limite it gauche en a. (Ce .resultat sous-entend bien sur que a est adherent it Def (I) n ]- 00, a[ et

it Def (f) n

la, + 00 D.

30 Composition des limites. - THEOREME. Soient trois espaces topologiques E, F, G, une fonction f de Evers F, et une fonction g de F vers G. Soient A une partie de Def (f), a un point de E adherent Ii A, et B une partie de Def (g) telle que f (A) c B; g 0 fest ainsi une fonction de Evers G, dermie sur A. Dans ces conditions si f admet b pour limite en a suivant A, et si g admet I pour limite en b suivant B, alors go f admet I pour limite en a suivant A. Remarquons lim f(x) d'abord etf(A) que:
c B)entrainebeB,

(b = -

(d'apres le theoreme du 1°).

Ve 'lJ (b) on deduit I'existence f(A) c B implique f(U n A)

(g
*CONTRE-EXEMPLE.- Soit E (Def(f) = 1R*), g definie par g(O) Prenons

Soit alors We '\J(/). II existe Ve '\J(b) tel que g(V n B) c W. De de U e '\J (a) tel que f( UnA) c V. Mais c B. Done f(U n A) c V n B, d'ou :
0 f)

(U n A) c W
par f(x) # O.

o
=
x sin! pour x#0

1R*, a

0, B lim

= F = G = 1R, 1 definie = I et g(y) = 0 pour y = 1R*, b = O. On a:

f(x) et 0

o=
Mais go

lim

g(y). differentes de 0 .• qu'il existe

1n'a

pas de limite lorsque

x tend vers 0 par valeurs

REMARQUE. - Le theoreme s'applique meme si l'on n'a pas f(A) Uo E 1'(a) tel que f(U 0 n A) c B (cf. 2.2.1, 1°, injine).

c B, pourvu

40

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.2.2

EXEMPLE. Sous-suite. - DEFINITION. - Soit (Xn)neN une suite d'elements de I'ensemble E. On appelle sous suite (ou suite extraite) de la suite (Xn)neN toute suite (xtp(n»neN, 00 qJ est one application strictement croissante de N dans IN. Dans Ie cas 00 qJ est n ~ n+k, (k fixe), on parle de suite tronquee.

Remarquons

que

lim
n-++oo, neN

qJ(n)

= + 00,

ce qui resulte

de

'V n EN qJ(n) ~ n (par recurrence

sur n). On en deduit espace topologique admet

THEOREME. Si une suite d'elements d'on one limite I, toute sous suite admet 1 pour limite.

La reciproque n 'est pas vraie : une suite divergente peut admettre des sous-suites convergentes. Cependant toute suite tronquee d'une suite divergente est divergente.

4° Limite d'une fonction

fonction F = Fl de
X ...

»aleurs dans un produit. - lei ! est une I'espace topologique Evers l'espace topologique produit x Fq• On introduit les projections canoniques :

On a visiblement

'V b

lim
y-+b, yeF

Si(Y) = si(b).

(1)

THEOREME. Pour que ! admette 1 pour limite au point a suivant A, (A c Def'(j"), a E ..4), il faut et ll suffit que, pour tout i E lNq, s, o ] admette si(/) pour limite au point a suivant A.

La condition est necessaire. de (I). La condition est suffisante. -

Resulte du theoreme Supposons

du 3°, compte tenu remplie. Soit

la condition

V E '\J(/) dans F. On sait qu'il existe des voisin ages VI E '\J(s;(l» dans Fi, tels que {I} c VI x ... X Vq C V. A Vi on peut associer U, E '\J(a) tel que SiO!(Ui (")A)
C

Vi' En posant
U
E

1= 1

n o, on
q

constate
C

<tY(a)

et

feu

n A)

5° V ne propriiti des fonctions Ii valeurs dans JR. - PROPOSITION. - Soient E un espace topologique,J, g, h trois fonctions de Evers JR, A une partie de E incluse dans les ensembles de definition des trois fonctions, et a un point de A. Si pour tout x E A, f(x) ~ hex) ~ g(x) et s'il existe I = lim f(x) = lim g(x), I E JR, x~G'.xeA xeA alors I = lim hex).
X~Q. X~Q.xEA

Soit V un voisinage de 1 dans iR que l'on peut prendre sous forme d'un intervalle ouvert eontenant I. De I = lim f(x) (resp I = lim g(x» on deduit l'existenee de V, E 'lJ(a) (resp. V2
E

'lJ(a»

tel que f(V,

x .... , x e "

11

A) c V (resp. g(V2
11

x-a,

xe

11

A) c V).

VI 11 V2 E Cn(a) et, pour tout x de V, done hex) appartient a V.

V2

11

A, on a : f(x)

et g(x) appartiennent

V,

2.2.3

LIMITES

ET CONTINUITE

41

2.2.3. Continulte en un point

1° DEFINITION. - Soient E et F deux espaces topologiques, lone fonction de Evers F, D son ensemble de definition. La fonction I est dite continue en on point a E D si et seulement si :

v
REMARQUES, -

V E '\7 [/(a)] f(a)

=

3 U E '\7(a) lim
x~a,
xeD

I(U

(l

D) c V

ce qui s'ecrit encore:

que U D = {aj,

f(x).
en prenant de U e 'U(a) tel

1"\

aJ Si a est un point isole de D, on constate que f est continue au point a, pas un point isole de D, alors a e D\{aj, f(a)
=

b) Si a n'est equivaut it :

et la continuite

au point

lim

f(x),

2° Propriites. - La continuite en un point etant un cas particulier de la limite suivant un ensemble, tout ce qui a ete fait en 2.2.1 s'appJique. Nous reprendrons seulement quelques-unes de ces proprietes en raison de leur importance. Les notations sont ceIIes de la definition precedente,
a) Soit U un voisinage de a. La fonction I est continue au point a si et seulement si la restriction de I Ii U est continue au point a. C'est un cas particulier de 2.2.1. 1° Proposition II, exemple. b) Soient E, F, G des espaces topologiques, I une fonction de Evers F, g unefonction de F vers G. Soient A unepartie de Def (f) telle queI( A) c Def (g), et a E A. Dans ces conditions, siI admet une limite bE Def (g) aupoint a suivant A, et si g est continue en b, alors g 0 I admet g (b) pour limite en a suivant A. C'est un cas particulier du theoreme de composition des Iimites. c) Soient E, F, G des espaces topologiques, I (resp. g) une fonction de E vers F (resp. de F vers G). Si I est continue au point a, et g continue au point I(a), g 0 I est continue au point a. C'est un cas particulier de b). d) Soient E un espace topologique, F un espace topologique produit Fl x ... x Fq, Si la projection de F sur Fi• Pour qu'une fonction I de Evers F soit continue au point a, il faut et il suffit que pour tout i E Nq' S I 0 I soit continue au point a. Resulte de 2.2.2, 4°.

3° F onctions definies sur un produit. - Icij" est une application de I'espace topologique produit E = E1 x ... xEp dans I'espace topologique F. Soit a = (a1>... , ap) un point de E. Nous disposons des applications: qui sont dites applications partielles de I au point a.

42

ESPACES

TOPOLOGIQUES = f o (J)a,) avec

- ESPACES

METRIQUES

2.2.4

Nous avons

CPa,)

On constate que (J)a,) est continue en tout point de Ej (au titre de fonction it valeurs dans un produit, dont les composantes sont continues). II resulte alors de l'etude de la continuite d'une application composee :
THEoREME. Sif: El x ... xEp ~ Fest continue au point a = (al' ... , ap), alors la j-ieme application partielle de f en a est continue au point aj,

(1 ~ j ~ p).
REMARQUE. - La reciproque est fausse. Le lecteur (0, 0) la fonction f de IR2 vers IR definie par : s'en assurera en etudiant au point

f(O,O)

=0

et

f(x, y) =

-2--2
X

xy

+y

pour

(x, y) "# (0, 0).

2.2.4. Continuite sur un espace

et

f one application de
i) ii) iii)

THEOREME

ET DEFINITION.

Soient E et F deux espaces topologiques E dans F. Les assertions suivantes soot equivalentes :

f est continue en tout point de E. L'image reclproque par f de tout ouvert de F est on ouvert de E. L'image reciproque par f de tout ferme de F est on ferme de E.

On dit que f est continue sur E si et seulement si elle verifie ces assertions.
- 'i) ~ ii). Supposons f continue en tout point de E. Soit V un ouvert de F. Pour tout aef-l(V), Vest un voisinage def(a). II existe done Ue '\1(a) tel que f( U) c V (ici Def (f) = E). De U c (V), on deduitj""! (V) e'\1 (a); (V), voisinage de chacun de ses points, est un ouvert de E.

r:

r:'

- ii) ~ i). L'hypothese est ii). Soit a e E. Les voisinages ouverts d'un point constituent une base de voisinages de ce point. Pour tout voisinage ouvert V def(a), U = f-l(V) est un voisinage ouvert de a, etf(U) c V.fest done continue en a. ii) ~ iii). Verification immediate par passage au complementaire. 0
EXEMPLES. - a) Soient Fun espace topologique, et E un sous-espace de F. L'injection canonique j: E _ F est continue sur E. En effet, pour tout ouvert V de F, j-l(V) = E 1"1 V est un ouvert de E. 0 b) Soient E = E, x ... x E; un espace Chaque p, est continue sur E. Pour elementaire, tout ouvert V de Ei, p,-1 (V) done un ouvert de E. topologique produit, E'-1
X

p, : E _
X

E, les projections. x E. est un ouvert

E1

X ... X

E,+

1 X ...

On constate, dans ces deux exemples, que la topologie induite (resp. la topologie produit) sur E est la plus petite partie de (j'(E) telle que l'injection canonique (resp. chacune des projections Pi) soit continue.

2.2.4

LIMITES

ET CONTINUlTE

43

PROPOSITION. Soient E et F deux espaces topologiques, let 9 deux applications de E dans F. Si let 9 sont continues et si Fest separe, I'ensemble {x EEl I(x) = g(x)} est un ferme de E. II s'agit de I'image reciproque de la diagonale de Fx F qui est un ferme (F separe) par I'application x 1----+ (f(x), 9 (x)) qui est continue sur E (2.2.3,

r4

0
{x EEl I(x)

ApPLICATION. Les hypotheses et les notations etant cel/es de la proposition, s'iI existe une partie dense A de E sur laquel/e let 9 coincident, alors 1= g.

= g(x)}

est un ferme de E contenant A ; c'est done A

E.
C

o
1-1 (A).

EXERCICE. lest continue si et seulement si, pour toute partie A de F, 1-1 (A) -

2° Homeomorphismes, - DEFINITION. - Soient E et F des espaces topologiques. On appelle homeomorphisme de E sur F toute bijection continue de E sur F, dont la bijection reclproqae est continue sur F. Deux espaces topologiques sont dits bomeomerphes si et seulement s'i1 existe un homeomorpbisme de I'un sur I'autre.
*EXEMPLES. a) Le lecteur verifiera que x R sur ]-1,
1--+

1 :IXI est un homeornorphisme

x
1--+

de

+ 1[,

I'homeomorphisme

reciproque etant

1 ~IXI' II en resulte que IR.

est homeomorphe a I'intervalle ]-1, +1[. En utilisant ensuite les hornotheties x 1--+ ax (a "# 0) et les translations x 1--+ a+x de R dans R, on montre que Rest horneomorphe a tout intervalle ouvert non vide de R.
b) De meme l'application

1--+

_!_ de ]0, 1[ sur ]1, + 00 [ permet de montrer que IR.

x

+ 00 [, puis a toute derni-droite ouverte de IR. (par Ie precede ci-dessus) .• PROPOSITION. Un homeemorphisme de E sur F transforme un ouvert de E (resp. un ferme de E) en un ouvert de F (resp. un ferme de F). En effet I'image par I est I'image reciproque par I-I qui est continue. 0
est horneomorphe ]1, REMARQUE. Une application bijective de E sur F peut etre continue sans que 1-1 soit continue. (On comparera ce resultat avec les resultats concernant les morphismes bijectifs d 'une structure algebrique), EXEMPLES. a) On prend pour E l'ensemble R muni de la topologie discrete, et pour F l'espace topologique R (topologie usuelle); 1= IdR est bijective et continue, mais 1-1 n'est pas continue. *b) Soient E = [0, 21t[ et F = U = {z E «: I [z] = I}. Fest muni de la topologie induite par celie de R2 = «:. L'application t 1--+ elt de E dans F est continue, bijective, mais I-I n'est pas continue au point 1 E U.•

3° Composition des [onctions continues. - THEOREME. - Soient E, F, G des espaces topologiques, I une application de E dans F, 9 une application de F dans G. Si let 9 sont continues, alors 9 0 I est continue. Simple consequence de 2.3.3, 2 c). 4 Continuite et sous-espaces. - THEOREME I. - Soient E et F des espaces topologiques, A un sous-espace de E et I :E ~ F une application. Si I est continue sur E, la restriction IIA est continue sur A. En notant j: A ~ E I'injection canonique (continue) on a : IIA = 10 j. Elle est continue d'apres 30. 0
0 0

44

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.2.5

REMARQUE. Si f est continue en tout point de A, flA = f 0 j est continue sur A (2.2.3, 2° c). Mais la reciproque est fausse comme Ie montre I'exemple suivant :
E=F=IR; flA A

= [0, I);

fest la fc nction caracteristique de A, definie par f(x) = I si x e [0, I) et f(x) = 0 si x ¢ [0, I). est continue (fonction constante) mais f n'est continue ni en 0 ni en I.

THEOREME - Soient E, F, G des espaces topologiques, F etant un sous-espace de G, et II. j : F _ G I'injection canonique. Une application f : E _ F est continue si et seulement si j 0 f: E _ G est continue.

~a

II suffit de remarquer que les ouverts de F sont de la forme j - I (U), ou U est un ouvert

2.2.5. Complement: bases de filtre

La notion de base de filtre ne sera utilisee qu'aux 5.1.1, 6.2.3 et 6.3.6; son etude peut etre differee.

1° DEFINITION. - On appeUe base de filtre sur un ensemble E (qui n'est pas necessairement un espace topologique) toute partie $ de ~ (E) verifiant les axiomes :
$ :F 0 et V(X, Y) e$2

0¢$
3Ze$

ZcXnY

EXEMPLES. a) Soient E un espace topologique, et a un point de E. Toute base de voisinages de a est une base de filtre.
b) Soient E un espace topologiqde, A une partie de E et a un point de A des voisinages de a constituent une base de filtre. c) L'ensemble des parties [n, Frechet.

A.

Les traces sur

+ so [ de

IR est une base de filtre, appelee base de filtre de

F un espace topologique, f une application de E dans F et $ une base de filtre sur E. On dit que f admet un point / e F pour limite suivant la base de filtre $, et on ecrit / = lim f, si et seulement si :
t6

2° Limite suivant une base defiltre, -

DEFINITION. -

Soient E un ensemble

v Ve

'\J(/)

3Be$

f(B)

c: V.

EXEMPLES. En reprenant les exemples du 1°, on retrouvera successivement les notions de continuite en un point, limite suivant un ensemble, limite d'une suite. En particulier, lorsque 93est la base de filtre consideree dans I'exemple b) du 1°, I = lim f signifie I = lim f(x).
$

x +o,

xeA

3° Propriitis. - Les limites suivant une base de filtre jouissent de proprietes similaires a celles que nous deja mises en evidence dans les cas part iculiers qui viennent d'etre evoques. Citons, entre autres, l'unicite de la limite lorsque l'espace Fest separe.

2.3.1

ESPACES

METRIQUES

45

2.3. ESPACES M~TRIQUES

2.3.1. Distances
1 DEFINITION I. - Soit E on ensemble. On appeUe distance sur E toute application d: E x E --+ IR+ verifiant les axiomes:
0

(D1) (D2) (D3)

V (x, y) V (x, y)

E E2 E E2 E

d (x, y) = 0
d(x, y)

-<=>- x

=y

d(y, x)

V (x, y, z)

E3

d(x, y) ~ d(x, z)+d(z,

y)

Cette derniere inegalite porte Ie nom d'inegalite trianguiaire.

PROPOSITION. -

Si d est one distance sur E:

E

V (x, y, z)

E3

Jd(x, z) - d(z, y)J ~ d(x, y).

(1)

On a, d'apres (D3) :
d(x, z) ~ d(x, y)+d(y,

z) et

d(z, y) ~ d(z, x)+d(x,

y)

d'ou, en utilisant (D2)

d(x, z)-d(z,

y) ~ d(x, y)

et

d(z, y)-d(x,

z) ~ d(x, y)

ce qui, par definition de la valeur absolue, equivaut

(1)

o
d: ExE --+IR+

DEFINITION II. - On appeIJe espace metrique tout couple (E, d), 00 d est one distance sur l'ensemble E.

2° EXEMPLES. definie par:

a) Soit E un ensemble quelconque. d(x, y) = 0 d(x, y) si si x=Y x "# y

L'application

est une distance sur E. b) Sur IR (resp. sur CC),(x, y)

f---+

Ix- yl est une distance dite distance usuelle.

Convention. - Lorsqu'on parlera de I'espace metrique IR (resp. CC),il s'agira (par abus de langage) de (IR, d) (resp. (CC, », oil d est la distance usuelle. d Plus generalement, si f : E --+ IR (resp. est une distance sur E. c) Soit E

f :E =

--+ CC)est injective, (x, y)

E

f---+

I!(x) - !(Y) I

IRn (resp. E

C"), Pour x
n

(x" ... , xn)

E et y

(y"

... , Yn) E E, posons :

",(x, y)

"2(X, y) =

Ct, Ix,- Yi12)"2

sup
lE:';(,.

L ,=, Ix,-yd

"oo(X, y) =

IX,- Yd

46

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.3.1

On verifie facilement que et "00 sont des distances. Pour qui n'est autre que la distance euclidienne, on verifie l'inegalite triangulaire en utilisant I'inegalite de Minkowski du 11.1.2.3, P. On dit que 01, O2 et 000 sont les distances standard sur [I\l" (resp. 1[").
REMARQUES. -

"1

"2'

a) Pour n

1, "1

"2

= "00

(distance

usuelle sur [I\l (resp. sur C). usuelle sur C (en identifiant

b) Pour n = 2, la distance Cit [I\l2).

O2 sur

[I\l2 n'est autre

que la distance

3° Boules. - DEFINITION. - Soient (E, d) un espace metrique, a un point de E, r E 1R!. Les ensembles :
Bo(a,r)= {xEEld(a,x) <r} Bf (a, r) = {x EEl d(a, x) ~ r} S (a, r) = {x EEl d(a, x) = r}

sont appeles respectivement boule ouverte, boule fermee, sphere de centre a et de rayon r. On constate facilement {a} c Bo(a, r) c Bf(a, r). En particulier aucune boule n'est vide. II n'en est pas de meme des spheres.
EXEMPLES. -

non

vides, ouverts

0) Dans IR, les boules ouvcrtes (resp. fermees) (resp. non reduits it un point, fermes),

sont les intervalles aux distances

bornes standard

b) Representons dans [I\l2 :

par une figure les boules

de centre

0 associees

FIG. 1

4° Distance a un ensemble, diametre. - DEFINITION I. - Soient (E, d) un espace metrique, a on point de E, et A one partie non vide de E. Le reel inf d(x, a) est appele distance de a a A et note d(a, A).
xeA EXEMPLE. -

Dans

IR, dia, CQ) = 0 pour

tout

E IR.

DEFINITION II. vide de E. L'element

Soient (E, d) on espace metrique et A une partie non sup d(x, y) de 1R+ est appele dlametre de A et note
(x, v) e.(2

s (A).

DEFINITION III. - Une partie A de l'espace metrique (E, d) est dite bornee si et seulement si elle est vide ou si fJ(A) < + 00.

2.3.2.
PROPOSITION. Une si et seulement si elle est On peut se limiter aux - Soit A une partie

ESPACES

METRIQUES

47

partie A d'un espace metrlque (E, d) est bornee contenue dans une boule fermee. parties non vides. de la boule BJ(a, r). Alors :
(d(x, a) ~ r) /\ (d(y, a) ~ r)

V (x, y) e A2

et done, par I'inegalite trangulaire :

V(x,y)eA2 d(x, y) ~ 2r. A (et, en partieulier, BAa, r ) est done bornee.

- Inversement soit A une partie bornee de E. Nous pouvons ehoisir r e 1R! tel que 15(A) ~ r, beE et a e A. Considerons la boule ferrnee BJ(b, r+dia, b». Pour tout x e A, on a :
d(x, b) ~ d(x, a)+d(a, D'ou: b) ~ r+dta, b» b) A c Bf(b, r+d(a,

o
une partie bornee peut etre

REMARQUE. Le centre d 'une boule ferrnee contenant choisi arbitrairement dans E,

DEFINITION IV. - Une suite d'elements de l'espace metrique (E, d) est dite bornee si et seulement si I'ensemble de ses valeurs est une partie bornee de (E, d).

2.3.2. Topologie induite par une distance

Dans les demonstrations qui suivent, Ie lecteur debutant est invite s'aider d'une figure. Cela revient en fait se placer dans I'espace (IR 2, (52), I1faut cependant prendre garde ne pas qenerallser abusivement des proprietes qui peuvent parattre evidentes sur la figure.

1 THEOREME ET DEFINITION. - Soient (E, d) un espace metrique et A une partie de E. Les assertions suivantes sont equivalentes :
0

i) A est reunion de boules ouvertes.

ii)

Va e A

3 r e 1R!

Bo(a, r) c A.

L'ensemble lJ des parties A de E verifiant i) et ii) est une topologie sur E, dite topologie induite par la distance d (ou associee Ii d). i) ~ ii). Soit (Bo(aj, ri»i eI une famille de boules ouvertes, et A leur reunion. Considerons a e A; il existe i e I tel que a e BO(ai' r;); Ie reel ri-d(a, a,) est strietement positif; designons Ie par r. On a: Vx eE et done : VxeE dia.; x) ~ d(aj, a)+d(a,
x)

48

ESPACES

TOPOLOGIQUES

- ESPACES

MErRIQUES

2.3.2

ii) ~ i). Soit A une partie de E verifiant ii). A tout a E A, associons un ra > 0 tel que Bo(a, ra) c A (axiome du choix). Par construction:

Or tout a

A verifie : a

Bo(a. ra); on en deduit : Ac

aeA.

U Bo(a,

ra)' A n BE b

- II reste it montrer V (A, B) E 1)2 (les autres verifications etant imrnediates).

Soient (A, B) E 1)2 et a E A n B. II existe deux reels strictement positifs r et r' tels que: Bo(a, r) c A et Bo(a, r') c A. Posons r" = min {r, r '}. On a r" > 0, et on constate : Bo(a, r") c Bo(a, r) n Bo(a, rf) cAn A n B verifie ii), et done A n BE
1).

o
espace

EXEMPLE. Le lecteur verifiera que la topologie de JR induite par la distance usuelle de IR est la topologie usuelle de JR.

Convention. - Lorsque nous parlerons de la topologie d'un metrique (E, d), il s 'agira toujours de la topologie induite par d.

2 Propriitis.
0

Dans ce qui suit, (E, d) designe un espace metrique. de la definition de la topologie

a) Toute boule ouverte est un ouvert; toute boule fermee est un ferme. - La premiere assertion est consequence de(E, d).

- Soit F la boule fermee Bf(a, r). Considerons b E E\F. Le reel dta, b)-r est strictement positif; designons Ie par r', En utilisant d(a, x)+d(x, on constate : b) ~ dia, b),

VXEE

(d(b, x)

< r ')

(d(a, x)

> r)

Ainsi Bo(b, rf) c E\F, et done E\F est un ouvert.

b) L'ensemble des boules ouvertes irespi fermees) de centre a est une base de voisinages de a. II en est de meme de i'ensemble des boules ouvertes (resp. fermeesy de centre a et de rayon lin (n E IN*). II s'agit de consequences immediates des definitions.

ApPLICATION: TRADUCTION DE LA CONTINUITE. Soient (E, d) et (F, ~) des espaces metriques, I: E ~ F une application. La definition de la continuite de I au point a E E, donnee au 2.2.3, 10 dans Ie cas de deux espaces topologiques est ici equioalente a VeE

JR.!

IX E

JR.!

Vx

(d(a, x)

<

IX)

(b [/(a),

I<x)]

< e).

2.3.3

ESPACES

METRIQUES

49

Le lecteur oerifiera que l'on peut remplacer d(a, x) par des ineqalites au sens large. On dispose, de meme, d 'une nouvelle definition suivant une partie. c) Tout espace metrique est separe.

<

IX

ou ()(/(a), I(x»

<

de la limite en un point,

Soient a et b deux points distincts de E2. Posons 6 = d(a, b); on a 6 > O. Les boules ouvertes U et V de centres a et b, de rayon 6/2, qui sont des voisinages de a et b sont disjointes. En effet s'il existait x E Un V, de d(a, b) :;:;d(a, x)+d(x, ce qui est absurde.
d) Soient A une partie non vide de E, et a un point de E. Alors d(a, A)

b)

on deduirait

< 6/2+6/2,

o
=
0 equioaut

a:

a e A. En effet l'assertion
x.A

: Vee

JR.!

3x e A

d(a, x)

< s equivaut d'une part

d(a, A)

inf d(a, x) = 0, d'autre part

c'est-a-dire

a:

=0

a:
Vee

JR.!

Bo(a, e) n A # 0,

c'est-a-dire

a:

aeA

3° lsometrie. - DEFINITION. - Soient (E, d) et (F, (» deux espaces metnques, On appelle lsometrle de E sur F toute bijection I: E -+ F telle que :

v (x, y) E E2

() [f(x),/(y)]

= d(x, y).

On remarque que [-1 est alors une isometrie de F sur E. Comme continue (cf. 2° b), et qu'il en est de me me pour [-1, on a : THEOREME.Toute isometrie est un homeomorphlsme.

1est

Notons, d'autre part, que la cornposee de deux isometries est une isometrie,

2.3.3. Distances topologiquement equivalentes, distances equivalentes

1° DEFINITION. - 00 dit que deux distances sur un m~me ensemble E soot topologiquement equivaleotes si, et seulement si eUes ioduisent la m~me topologie sur E.
L'equivalence topologique est manifestement une relation d'equlvalence sur I'ensemble des distances sur un ensemble donne.

2° Caracterisation de deux distances topologiquement equivalentes. THEoREME.·_ Soient d et d' des distances sur un ensemble E. Notons Bo (resp B~) les boules ouvertes de I'espace (E, d) (resp. (E, d'». A10rs d et d'

50

ESPACES

TOPOLOGIQUES equivalentes

- ESPACES

METRIQUES

2.3.3

sont topologiquement conditions : 'r/ a 'r/ a

E E

si et seulement

si elles verifient les deux (1) (2)

E
E

'r/ r 'r/ r'

IR! 3 r' E IR! E IR! 3 r E IR!

B~(a, r') c Bo(a, r) Bo(a, r) c B~(a, r').

Designons par 1'5 (resp. 1'5') la tate que (I) traduit la continuite topologique (E, 1'5') dans I'espace II en resulte que (1) equivaut a 1'5 c
EXEMPLE. -

topologie induite de I'application topologique (E, 1'5'. De meme (2)

une distance

par d (resp. d'). On consf: x ~ x de I'espace 'b), en tout point a E E. equivaut a 1'5' c 'b. 0
sur E, les distances

Le lecteur

verifiera y) y)
E £2

que, d etant

d' et d",

definies

par :

v (x, v (x,

d'(x, y) = inf {I, d(x, y)}

d"( it d. bornees. x, Y )

E2

d(x, y) 1+d(x, y)

sont

topologiquement II remarquera

equivalentes

que d' et d" sont

Generalisation. application d: E2 ~

- DEFINITION. On appelle pseudo-distance sur un ensemble E, toute JR+ verifiant les axiomes (D,), (D2) et (D) (definition I du 2.3.1, 1°).

On peut definir, comme pour une distance, les boules et la topologie induite par une pseudodistance d. On demontre, comme dans I'exemple precedent, que cette topologie est aussi induite par les distances d' et d" : d' = inf (I, d) alors d"(x, y) = I). et d"

d!

1 (en convenant

que si d(x, y)

= + 00.

3° DEFINITION. - Soit E un ensemble. On dit que deux distances d et d' sur E sont equivalentes si et seulement s'Il existe des reels strictement positifs k et k' tels que: 'r/ (x, y) 'r/ (x, y)
E E

E2 E2

d(x, y) ~ k d' (x, y) d' (x, y) ~ k' d(x, y). sur I'ensemble des distances.

(1) (2)

II s'agit d'une relation d'equivalence

THEOREME. Deux distances equivalentes sont topologiquement equivalentes. On applique Ie theoreme du 2°, en prenant, pour (I), r' = rjk et, pour (2), r = r'[k:', 0
REMARQUE. -La reciproque est fausse. Soient d la distance usueIIe de JR, et d' = inf (I, d). S'il existait un reel k tel que d s; kd', on aurait, pour tout reel x ;;. I : d(O, x) ,;;;k d'(O, x), et done x ,;;; k. 0 EXEMPLE. Les distances standard (done topologiquement equivalentes).

sur E = ~. (resp. E = en) sont deux it deux equivalentes

Ces distances Soit (x, y) De meme :

ont 6t6 defmies au 2.3.1, 2°. On a : <'i00 (x, y) = Ix;o - y;01, pour un certain io EN
•.

E £2.

On en deduit :

<'ioo(x, y)';;; <'i,(x, y)

et

<'i, (x, y) ,;;; n<'ioo(x, y).

2.3.4

ESPACES

METRIQUES

51

Enfm 01 et Ozsont equivalentes par transitivite, Plus precisement :

01(X, y) ~ noz(x, y)

et

Oz(X, y) ~ JnOI(X,

y).

4° Espace metrisable. - DEFINITION. - Un espace topologique (E, b) est dit metrisable si et seulement s'il existe one distance d sur E qui induise la topologie b sur E.

Les differentes distances qui correspondent ainsi giquement equivalentes entre elles.

b sont done topolo-

On demontre qu'il existe des espaces topologiques non metrisables, Nous n'en rencontrerons pas dans ce cours (cf. exercice 2.50).
THEoREME. -

L'espace topologique

JR. est

metrisable, I definie par g(x)

·Soitl

= ]-1, + 1[. L'application

t

g : JR ~

= 1 :Ixl

est une bijection continue,

g -1(t) = --,

dont Ia bijection

reciproque,

definie par

I-Itl

est, elle aussi, continue.

C'est un homeomorphisme (n" 2.2.4, 2°). Soit g Ie prolongement de g defini par g( + (0) = I et g( - (0) = -1. Le lecteur verifiera qu'il s'agit d'un homeomorphisme de JR., muni de sa topologie usuelle, sur J = [-1, + I]. Le caractere injectif de g permet de montrer
(x, y) ~ Ig(x) - g(y)1

facilement que

est une distance sur JR, notee fJ. Designons alors par b la topologie usuelle de JR., par b' la topologie induite sur JR. par fJ, et par f l'identite de iR. Posons enfin q> = g 0 f Pour tout
(x, y)
E

iR 2 :

fJ(x, y)

Ig(x)-g(y)1

1q>(x)-q>(Y)1

q> est ainsi une isometrie de (iR, fJ) sur J. C'est done un homeomorphisme de (iR, b') sur J. g etant lui meme un homeomorphisme de (JR., b) sur J, il en resulte que f = 0 q> est un homeomorphisme de (JR, b') sur (JR., b)

etque b

b'..

r:

2.3.4. Sous espaces metriques, espaces produits

1° THEoREME ET DEFINITION. - Soient (E, d) on espace metriqne et F one partie de E. La restriction Ii Fx F de d est one distance, notee encore d; (F, d) est appele sous-espace metriqne de (E, d). La topologie associee Ii d sur Fest la topologie induite sur F par celie de (E, d). Les boules du sous-espace F sont les intersections avec F des boules de E. Le reste du theoreme s'en deduit, 0

52

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.3.5

REMARQUES. a) Les restrictions a F de deux distances sur E peuvent etre equivalentes (resp. topologiquement equivalentes) sans que les distances elles-mernes Ie soient. b) Nous demontrerons ulterieurernent que la distance usuelle sur JR n 'est pas restriction d 'une distance sur iR.

2° THEOREME. - Soient (E;, d;);eNn une famille fmie d'espaces metriques, et 13; les topologies induites par les d;. L'espace topologique (E, 13), 00 E est E 1 X ••• X En et 00 13 est la topologie produit des 13; est metrisable,
Nous allons definir trois distances sur l'espace produit : • )1/2 Dl (x, Y) = I di(x" Yi) ; D2(X, Y) = ( i~1 di(x" Yi)2
i=1
i=I •...• ,.

x = (XI' ... , X.) et Y = (Ylo ... , Y.) On montre, comme pour les distances standard sur ~., que ce sont des distances et qu'elles sont equivalentes, Elles definissent done toutes les trois la meme topologie; montrons qu'il s'agit de la topologie-produit 1). Utilisons pour cela la distance Doc' Soit 0", la topologie qui lui est associee. Pour r > 0, Oll la boule Bo(a, r) de (E, D",) n'est autre que
i=1

Ii Bi,o(ai'

r) en notant Bi,o les boules ouvertes

de I'espace metrique (E" di); c'est un ouvert elernentaire. Tout element de 0", etant reunion de telles boules, il en resulte 0", C 0. Inversement soit A {a}
c
i=1

Ii Ai

0. Pour tout a

A, il existe des Ai

A. Ai etant un ouvert de Ei, il existe ri >

11

° tel que B" o(alo ri)

c
;=1

c E, (i E IN.)

tels que A,
c

0i et

AI' En conside-

rant r =

r e t , ...•

min

rl, et en remarquant r > 0, on peut ecrire : {a}

c
i=l

rt s; o(al, r) Ii s; O(ai' ri)

c
i=1

A,

A
E

Or

i=l

rt B

I,

O(al' r) n'est autre que Bo(a, r) pour D",. Ce qui montre : A

0",

On dit que D1, D2 et D", sont les distances standard sur E, associees aux d..
REMARQUES. a) Le lecteur notera qu'on ne definit pas d'espace metrique produit. b) En prenant (E" di) = (JR, d) (distance usuelle) on constate que la topologie usuelle de 1R..

est induite par chacune des distances standard.

2.3.5. Limite et eontlnuite dans un espace metrique

1 Limite d'une suite dans un espace metrique. - THEOREME. ° Pour que la suite (X"),,eN dOelements de I'espace metrique (E, d) admette lEE pour limite, iI faut et Il suffit que la suite [d(x", IHleN de reels admette 0 pour limite. Consequence immediate de la definition de la limite d'une suite (2.2.1,2°)0

etudiees au sous-chapitre 2.2, et en particulier de mettre

Ce paragraphe a pour but de preciser certaines notions

en evidence le role fondamental joue par les suites dans un espace metrique.

2.3.5

ESPACES

METRIQUES

53

2° Caracterisation des fermes d'un espace metrique. - THEOREME. Soit A une partie d'un espace metrtque (E, d). Un point a E E appartient a I'adherenee A de A si et seulement s'iJ est limite d'une suite d'elements de A. - Si a = lim Xn, avec x ; E A pour tout n, alors a E A d'apres 2.2.2, 1°. - Inversement, soit a E .1. Construisons une suite en associant it chaque

n EN un element

Xn

arbitrairement choisi dans An

E

s; (a,

n~ 1) (qui n'est

pas vide d'apres a E A). On a done : x, nEN, d'ou : a = lim x.,

A et dta, xn) < I/(n+ I) pour tout 0

COROLLAIRE. Une partie A d'un espace metrique (E, d) en est un Cerme si et seulement si toute suite convergente (dans E) d'elements de A a sa limite dans A. On traduit que A est un ferme par A c A. o

3° Suites et limite de fonction. - THEOREME. - Soient (E, d) un espace metrique, F un espaee topologique, f une Conctionde Evers F, A une partie de E contenue dans Def (f), et a E .1. Pour que f admeUe / E F pour limite en a suivant A il Caut et iJ suffit que pour toute suite (xn)n e N d'elements de A, de limite a, la suite [f(Xn)]neN ait pour limite /.
La condition est necessaire.

En effet a lim
11-++00.

lim Xn peut s'ecrire

a=

ip(n),

neN

ou l'on a pose ip(n) = Xn• On a alors f(xn) = fa ip(n). Xn E A permet d'ecrire ip(N) c A, et l'on peut alors appliquer Ie theoreme de composition des limites (2.2.2, 3°).
La condition est suffisante. Par l'absurde : si f n'admet pas / pour limite

en

suivant

A(l),

on a : Y U E '\rea) ftU n A) ¢ V. dans

3 V E '\rei)

Construisons une suite (Xn)n eN en choisissant arbitrairement

An Bo(a, I/(n+ I»

un element x, tel que f(xn) ¢ V. Par construction (xn)n eN est une suite d'elements de A, ayant a pour limite [dCa, xn) < I/(n+ I)]. Or [(Xn)]n eN ne peut avoir / pour limite en raison de: f(xn) ¢ V. 0
COROLLAIRE I. - Avec les m@mesnotations, pour que f admette une limite en a suivant A, il Cautet il suffit que, pour toute suite (xn)n e N d'elements de A, admeUant a pour limite, la suite [f(Xn)]neN soit convergente.

(I)

Ceci peut se produire de deux facons :fn'a pas de limite, ou bienfa une limite differente

de I.

54

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.3.6

La condition

est evidemment

necessaire.

- Supposant la condition remplie, il s'agit de prouver que si (x"),, e N et (y"),, e N sont deux suites d'elements de A admettant a pour limite, les suites [/(x,,) )" e N et U(y"»),, e N ont meme limite. On y parviendra en considerant qu'il s'agit de deux sous-suites de la suite dite « suite melangee s

laquelle converge puisque la suite xo' Yo, ... , x"' y", ... admet a pour limite.
COROLLAIRE II. - Soient (E, d) on espace metrlque, F on espace topologique, D one partie de E, I: D -+ F one application. A10rs 1 est continue en a ED si et seulement si pour toute suite (X"),,eN d'cHementsde D, admettant a pour limite, [f(X"»),,eN admet I(a) pour limite.

2.3.6. Valeurs d'adherence d'une suite

!
1
0

Le lecteur oerifiera que les definitions et theoremes donnes dans les trois premiers paragraphes s'etendent sans difficultes a des espaces topologiques. II n'en est pas de meme de tous resultats suivants.

!
(I)
(2)

DEFINITION. Soit (x"),, e N une suite d'elements de I'espace metrique (E, d). Un element a E E est dit valeur d'adherence de la suite (X"),,eN si et

seulement si :

v V E '\J(a)
THEOREME. -

V N EN

3n~ N

x;

V.

Comme dans Ie cas des limites, on peut remplacer dans cette definition de voisinage de a (par exemple, l'ensernble des boules ouvertes de centre a).

'U(a) par une base

L'assertion (1) est equivalente

{n EN

a:

VV -

'\J(a)

I x, E V}

est on ensemble infini.

Supposons (1) fausse. Alors :

3V
E

'\J(a)

3 NEN
C

Vn ~ N

X,,¢ V.

II en resulte {n E Nix" E V}

[0, N[ et (2) est fausse.

- Supposons (2) fausse. II existe V E '\J(a) tel que {n E Nix" E V} est fini. En prenant N> Max {n E Nix" E V} on aura : V n ~ N x; ¢ V, et ainsi (1) est fausse. 0
des »aleurs d'adherence. - THEOREME. - Soit (X"),,eN one suite d'elements de I'espace metrique (E, d). Posons X" = {Xk I k ~ n}. L'ensemble des valeurs d'adberence de la suite (X"),,eN est X". C'est donc "eN un ferme de E. 20 Ensemble

2.3.6 L'assertion

ESPACES METRIQUES (1) peut s'ecrire successivement 'r/ VE 'U(a) 'r/ n EN 'r/ NEN ('r/ V E 'U(a) 'r/nEN :

55

"eN COROLLAIRE. Si one suite d'elements de (E, d) prend ses valeurs sur one partie A de E, les valeurs d'adherence de la suite appartiennent a A. Par hypothese,

aEX" X".

x, c

A, done

X" c A et

ne

n X" c A.
N

0
C'est Ie cas pour

REMARQUES. a) Une suite peut ne pas avoir de valeur dadherence. (n)a e N' Ici : X. = {n, n+ I, ... = X. et } =0.
•• N

n x.

est fausse.

b) Une valeur d'adherence de (x.) est adherente it I'image de la suite, mais la reciproque

3° THEOREME. - Soient E et F des espaces metriques, I: E -+ F une application continue sur E, (X"),,eN une suite d'elements de E. Si a est valeur d'adherenee de la suite (x"),, eN, I(a) est valeur d'adherence de la suite [f(x")],, e N' Soit V E 'U (r(a». II existe U E 'U (a) tel que I( U) c V. Le theoreme resulte alors de : {n E Nix" E U} c {n E NI/(x,,) E V}. 0
ApPLICATION. Soient (Ei' di)ieN une famille d'espaces metriques, E I'espace produit (muni d'une metrique induisant la topologie produit). Si (x.). eN est une suite d'elements de E et a une valeur d'adherence de cette suite, pour tout i EN., la projection Si(a) est valeur d'adherence de la suite [Si(X.) 1. eN' On se gardera d'enoncer une reciproque : identifions (C it IR2, et considerons la suite definie par z; = x.+iy. = i·. I est valeur d'adherence (dans 1R)de (x.). eN et de (Y.). e N' Mais (I, I) n'est pas valeur d'adherence de (z.). e N'
n

4° Caracterisation des »aleurs d'adherence. d'elements de I'espace metrique (E, d).

Soit

(x"),, eN une suite

THEOREME. Pour que a E E soit valeur d'adherence de la suite, il faut et il soffit qu'i1 existe one sous-suite qui converge vers a.

- Supposons que a =·lim xq>(,,)' ou qJ : N -+ Nest strictement croissante. Soient V E 'U(a) et N EN. II existe no EN tel que, si n ~ no, alors xq>(,,) E V. Posons nl = max (no, N) et n2 = qJ(n1), ce qui impJique n2 ~ n1' Nous avons n2 ~ Net X"2 E V; a est done valeur d'adherence. 0 - Inversement so it a une valeur d'adherence de la suite (X"),,eN' truisons par recurrence une sous-suite qui converge vers a. Choisissons arbitrairement qJ(O). Supposons qJ(n) et (3) assure la stricte croissance dta, qJ(n-1) connu Cons(n ~ 1). (3) 1

D'apres (1) on peut trouver un entier, note qJ(n), tel que

> qJ(n-l)
xq>(,,»

<-

(4) de xq>(,,) vers a.

de qJ, et (4) la convergence

56

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.3.6

COROLLAIRE I. de la suite.

Si lim XII = I, alors 1 est unique valeur d'adherence

En fait ee eorollaire vaut des que E est un espaee topologique separe, Soit alors l' #- I. II existe V E "Y(/) et WE "Y(l') tels que V (\ W = 0. Comme il existe N tel que x, E V, et done x, ¢ W, des que n ~ N, on eonstate que {n E Nlxn E W} est fini ; l' n'est pas valeur d'adherence. D COROLLAIRE - Si a est valeur d'adherence d'one sous-suite, alors a II. est valeur d'adherence de la suite consideree. En fait ee eorollaire vaut des que E est un espaee topologique. Soit alors a une valeur d'adherence de la suite (Xcp(nJnE IIJ' Pour V E "Y(a) et N E N donnes, il existe p ~ N tel que x'I'(p) E V; eomme cp(p) ~ p, il en resulte que a est valeur d'adherence de (xn)n IIJ' D
E

5° Limite superieure et limite inferieure. - Nous allons ici nous interesser plus specialement aux suites d'elements de IR.
THEoREME ET DEFINITION 1. Soit (XII)IIeN one suite d'elements de IR. On note XII l'ensemble {Xk Ik ~ n}. La suite definie par all = sup XII (resp. b; = inf XII) est convergente dans iR, et sa limite est la plus grande (resp. la plus petite) valeur d'adherence de la suite (XII)IIeN' On l'appeUe limite su,erieure (resp. limite inferieure) de la suite (XII)IIeN, et on la note lim sup XII (resp. lim inf XII)'

XII etant une partie de

C

iR, on connait I'existence de iR admet une borne

all = sup XII'

De XII+1 -

XII on deduit all+1 ~ all' inferieure

La partie {all In E IN} de

L E lit

Nous allons montrer que la suite (all)neN

converge vers L dans

iR.

Soit V E CU' (L), que nous pouvons supposer etre un intervalle ouvert contenant L. D'apres la definition de L il existe no E IN tel que et D'ou, pour tout n ~ no : L ~ all ~ ano' et done all E V. 0 _. On a, d'autre part, Xn+1 C XII' II en resulte que, pour n donne, la suite (akh;lo est une suite d'elements de X Comme L est limite de cette suite, on aLE X D'ou : LEn XII et done L est valeur d'adherence de la suite (XII)IIeN' lieN
II II' II'

- Soit maintenant L' une autre valeur d'adherence de la suite (XII)' On sait que L' est limite d'une sous-suite (Xq>(II»)' Par definition Xq>(II) E Xq>(II) est done xq>(n) ~ aq>(n)' Par passage a la limite, on obtient L' ~ L. 0 Lei>proprietes relatives a la limite inferieure se demontrent de la meme facon, ou en utilisant : lim sup (-XII) = -lim inf (XII)'
REMARQUES. _

a) Toute suite de reels a une valeur d'adherence dans

IR

(cf. espaces

compacts).

2.3.7

ESPACES

METRIQUES

57

b) Le lecteur verifiera que la suite de reels (x.) est majoree dans IR si, et seulement si

lim sup (x.) <

THl30REME

+ 00.

ment si:

II. -

La suite lim inf lim inf

(xn) a

(Xn)neN

d'elements de
(xn) (xn)

JR. converge si
(xn).

et seule-

(xn) = (xn)

On a alors: - Si la suite de la suite, done :

lim sup = lim sup

a, a

= lim

converge vers

est I'unique valeur d'adherence

(xn).

= lim inf (xn) = lim sup

- Inversement, supposons a = lim inf (xn) = lim sup (xn). En conservant les notations de la definition, pour tout intervalle V E CU' (a) on peut trouver N tel que :
(an E V)
1\

(bn E V)

ce qui implique [bn, an] C V, et done Xn E V. Les voisinages-intervalles constituant une base de voisinages de G, Ie theorerne est demontre. 0
• Nous laissons au lecteur Ie soin de verifier les resultats suivants :
THI\OREME. -

Soient (x.) et (y.) deux suites d'elt\ments de 1R.

i) Si x • .;; y. pour tout n, alors :

lim sup (x.) .;; lim sup (y.)

ii) Si x.+y.

et

lim inf (x.) .;; lim inf(y.)

est defini pour tout n, alors: sup (y.) et limsup(x.Hliminf(y.).;;

II,

lim sup (x.+y.) .;; lim sup (x.Hlim lorsque les deux membres sont definis.
iii) Si x. ;;.0 et Y. ;;.0 pour tout

lim sup (x.+y.)

alors :

lim sup (x.y.) .;; (lim sup (x.)) (lim sup (y.» et (lim sup (x.» (lim inf(y.)} .;; lim sup (x.y.) lorsque les deux membres sont deffnis,
iv) Si x. ;;. 0, alors :

lim sup (I/x.) en convenant ici que I/O =

I/Iim inf(x.)

+ 00 .
= x,

• Nous retiendrons plus particulierement

COROLLAIRE. -

Si x. ;;. 0 et y. ;;.0 pour tout n, et si lim (x.) lim sup (.\'.y.)

=

alors :

x lim sup (y.).

2.3.7. Continuite uniforme

1 Soient (E, d) et (F, c5) des espaces metriques, La continuite sur E d'une application f de E dans F peut se traduire par:
0

'V

'V

8E

JR.!

3 IX E

JR.!

'V

x'

(d(x,

x')

<

IX ~

c5[J(x), f(x')]

<

8).

58

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

1.3.7

Le nombre exdepend bien entendu de 8, mais aussi de x. Dans certaines questions, il serait commode que ex ne depende pas de x, ce qui conduit a poser:
DEFINITION. - Soient (E, d) et (F, c5) des espaces metriques, Vne application f de E dans F est dite uniformement continue si et seulement si : V8
E

lR!

IX E

lR!

V (x, x')

E £2

(d(x, x')
pcut

< IX ==+ c5[1(x),/(x')]

< 8).
<e

RnIARQUE. Comme dhabitudc. par de, incgalites larges.

on

rcmplacer dtx, x') < :x ou ~(f(x),f(x'»

THEOREMEI. -

Toute

application

unfformement

continue

est continue.

Verification immediate. On notera que la reciproque est fausse.

Le lecteur dernontrera, par simple application de la definition, que x f-> I/x est une application continue, mais non uniforrnernent continue, de ]0, I] dans 1R. (Une demonstration en sera donnee comme application du theorerne de prolongement des applications uniforrnement continues).

THEOREMEII. - La composee de deux applications tinues est uniformement continue.

uniformement

con-

Verification immediate.

2° Applications lipschitziennes. DEFINITION. - Soient (E, d) et (F, c5) des espaces metrlques, k un reel positif. Une application f de E dans Fest dite Iipschitzienne de rapport k, (ou k-Iipschitzienne), si et seulement si :

V (x, x')
Lorsque k

E2

c5 [f(x), f(x')]

:::;k d(x, Xi). (ou de contraction).

< 1, on parle d'application contractante

THEOREME.- Toute application k-Iipschitzienne est uniformement continue. La composee d'one application k-Iipschitlienne et d'one application k'-Iipschitzienne est kk'-Iipschitzienne.

Verification immediate.
EXEMPLES.

gique-produit

- a) Soit (E, d) un espace rnetrique. On dcsigne muni de la distance :

par (E2, dl) l'espace topolo-

d, [(x y), (x', y')] Id(x', y') - d(x, y)1

=
:!i;

dtx, x')

+ dey,

y').

Une simple application de I'inegalite triangulaire montre : dl [(x, y), (x', y')] I de II en resulte que (x, y) f-> d(x, y) est une application lipschitzienne de rapport (E2, dl) dans 1R; d, induisant sur E2 la topologie produit, on a :
THl30REME. A et -

L'application (x, y)
-

f->

dix, y) de !'espace produit dans IR est continue.

ApPLICATION.

A sont egaux.

Soit A une partie non vide d'un espace metrique (E, d). Les diametres de

~(A) :!i; ~(A) resulte de A c A. Inversement, soit (a, b) E (A)2. II existe deux suites (an) et (bn) d'elements de A, de limites respectives a et b. D'apres Ie theorerne : dia, b) = lim dean, bn) D'ou : dia, b) :!i; ~(A), et ~(A) :!i; ~(A).

2.4.1

ESPACES

COMPLETS

59

f--+

b) Soient (E, d) un espace metrique et A une partie non vide de E. L'application d(x, A) de (E, d) dans IR est lipschitzienne de rapport I, et done continue.

Laisse en exercice au
3° Applications II valeurs

lecteur.
dans un produit. -. THEOREME. -

Soient (E, d) un espace

i=l

metrlque, (Fi' di)i

N.

une Camille finie d'espaces metriques, F I'ensemble produit

Ii Fi.

On

designe par Si les applications projections de F sur Fi, par (j I'une des trois distances standard sur F. Alors une application f de E dans Fest uniformement continue si et seulement si chaque s, 0 f: E ~ F, est uniformement continue. Verification facile (on pourra remarquer que chaque Si est lipschitzienne de rapport I). D

2.4. ESPACES COMPLETS

Nous allons generaliser aux espaces metriques fa notion de completude, deja rencontree pour les corps values au chapitre 1.

I
(1)

2.4.1. Suites de Cauchy

Soit (E, d) un espace metrique.
1° DEFINITION. - On appelle suite de Cauchy toute suite (x n) n eNd' elements de E verifiant :

'i 8 E 1R! 3 N

IN 'i n ~ N

'i p ~ N

II est important de noter que cette definition est liee a la structure d'espace metrique ; la notion de suite de Cauchy n'a aucun sens dans un espace topologique (voir 2°).
REMARQUES. a) Dans (I), on peut remplacer d(x., xp) < 8 par d(x., xp) b) En utilisant les ensembles X. = {xklk ~ n}, (I) s'ecrit simplement :
~

8.

lim (j(X.) = O.

PROPOSITION.-

Toute

suite convergente

est une suite de Cauchy.

E

On suppose qu'il existe x = lim xn• Soit 8 E 1R!. On peut trouver N tel que: 'in ~ N d(x", x) < 8/2. Si on prend n ~ N et p ~ N, alors : d(x", xp)
~

IN

d(xn' x)

+ d(x,

xp) <

8.

2° Changement de distance. - TIffioREME. - Soient d et ~ deux distances equivalentes sur E. Une suite (Xn)neN d'elements de E est de Cauchy dans (E, d) si et seuiement si elle est de Cauchy dans (E, ~). Verification aisee, laissee au lecteur.

60

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.4.2

Sur JR, d et ii sont respectivement la distance usuelle et la restriction a JR de la distance definie sur iR (2.3.3, 4°) ; on sait qu'elles sont topologiquement equivalentes. _!:asuite n f--+ X. = n n'est manifestement pas de Cauchy dans (JR, d); elle est convergente dans JR, et done de Cauchy dans (JR, ii).

On notera que ce resultat n'est pas valable pour des distances topologiquement equivalentes, comme Ie prouve I'exemple suivant :

3° Proprietes des suites de Cauchy. Cauchy est borDt!e.

THI~OREME

I. -

Toute suite de

Les notations sont celles du 1°. On a: lim J(Xn) = 0, done J(Xn) < + 00 pour une valeur m de n au moins. De Xo = {xo, ... , xm-1} U Xm, on deduit aisement J(Xo) < + 00. 0
THEOREME II. limite de la suite.

Toute valeur d'adherence d'une suite de Cauchy est

aE

Les notations sont encore celles du 1°. Par hypothese,

J(Xn) = J(Xn), (2.3.7.2°), on deduit que, pour tout a E IR!, ilexiste unentier N tel que J(XN) ~ e. Alors, pour tout n ~ N, a E XN et x; E XN impliquent:

neN

n Xn.

De

o
COROLLAIRE.

Une suite de Cauchy a au plus une valeur d'adherence. Resulte de l'unicite de la limite. 0
-

THEOREME III. Soient (E, d) et (F, J) des espaces metriques, f one application uniformement continue de E dans F. Si (xn)n e N est one suite de Cauchy de E, alors f(xn)n e N est one suite de Cauchy de F.

Soit a E IR!. Commencons 'i (X, Y)

(Xn)n
eN

par lui associer exE IR! tel que:

E2

(d(x, y)

< ex ~

J [f(x), f(y)]

< e)
E

etant une suite de Cauchy, on peut associer

ex un N

N tel que :

II en resulte : 'in ~ N

v» ~

REMARQUE. La notion de continuite uniforme n'est pas topologique. Reprenons en elfet I'exemple du 2.4.1., 2°. IdR est uniforrnement continue au titre d'application (JR, d) ~ (JR, d), (trivial), mais elle ne I'est pas au titre d'application (JR, ii) ~ (JR, d), puisqu'elle transforme alors la suite de Cauchy n 1--+ n en une suite qui n'est pas de Cauchy. 0

2.4.2. Espaces complets

DEFINITION. Un espace metrlque (E, d) est dit complet si et seulement si toute suite de Cauchy de (E, d) est convergente.
0

2.4.2

ESPACES

COMPLETS

61

L'assertion (1) du 2.4.1, 1° porte alors Ie nom de « Critere de Cauchy». Son interet vient de ce qu'elle caracterise les suites convergentes d'un espace metrique complet, sans faire intervenir la limite.
REMARQUE.- En appliquant Ie 2.4.1, 2°, on constate que la cornpletude d'un espace metrique est invariante par changement de distance equivalente, En revanche, en conservant les notations de ce 2°, (JR, d) est complet alors que (JR, b) ne l'est pas.

2° Sous-espaces d'un espace complet. -

THEOREM!:

espace metrique, et F une partie de E. Si Ie sous-espace alors F est on ferme de E.

I. - Soient (E, d) un (F, d) est complet,

Soit (Xn)neN une suite d'elements de F qui converge dans E. Convergente dans E, la suite est de Cauchy (dans E comme dans F). (F, d) etant complet, eIle converge dans F. Fest alors un ferme de E d'apres Ie coroIIaire du 2.3.5, 2°.
THEOREME II. Soient (E, d) on espace metrlque complet, et F one partie de E. Le sous-espace (F, d) est complet si et seulement si F est on ferme de E.

Si (F, d) est complet,

F est un ferme (theoreme

I).

- Supposons que F est un ferme. Toute suite de Cauchy de (F, d) est une suite de Cauchy de (E, d), et done converge dans E. Mais F etant un ferme, sa limite est dans F; eIle converge done dans (F, d). 0

3° Espaces produits. -

THEOREME.

Soit (Ej, dj)jeNp

one famille finie E=

j=

d'espaces metriques complets. On designe par E l'ensemble-produit

nE
P 1

j•

Alors I'espace metrique (E, d) 00 d est I'une des trois distances standard defmies au 2.3.4, 2°, est complet. Soit (Xn)neN une suite de Cauchy projection canonique E -+ Ej, de (E, d). En notant ddSj(x), Sj(Y)] On en deduit facilement que [Sj(xn)]n pour
e

Sj I'application

~ d(x, y).
est done conver0

Nest une suite de Cauchy de (Ej, dJ

E

EIle est done convergente gente (2.2.2,4°).

tout i

lNp; (Xn)neN

EXEMPLE. [RP, muni de I'une des trois distances standard b, est complet et si F est un ferme de [RP, alors Ie sous-espace (F, b) est complet.

4° Propriite des fermes emboltes. espace metrlque complet et (Fn)n i) ii)

eN

THEOREME. Soient (E, d) on one suite de fermes non vides de E verifiant:

Vn

IN

lim b(F n)
n.N

Alors

= 0 (00 b designe ici Ie diametre),

F n est reduit

a un

point.

62

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.4.2 telle que:

Les F" n'etant pas vides, on peut construire+!' Vn

E

une suite (X"),,eN

IN

x;

F".

La decroissance de (F"),, e N donne, avec les notations habituelles : X" c F,,; on en deduit : <>(X,,) ~ ~(F,,) et lim ~(X,,) = o. La suite est de Cauchy. Designons par l sa limite. On a Mais, F" etant ferme, X" c F" et done {I} c F".
"eN

n
n

{I}

"eN

n K".
o

L'unicite tient it ce que, si x et y sont des elements de

Vn
REMARQUE.

ElN
-

d(x, y) ~ ~(F,,),

et done

d(x, y)
=

= O.

"eN

n F",

les ferrnes F;

On notera limportance de lhypothese lim o(Fn) [n, + OCJ [ sont « emboites », et pourtant F; = 0.
nEN

O. Ainsi, dans JR.,

5° Critere de Cauchy pour les [onctions, - THEOREME. - Soient (E, d) on espace metrtque, (F,~) on espace metriqae complet, I une fonction de E vers F, A one partie de Def (I) et a E A. Pour que I admette one limite en a suivant A, iI faut et iI suffit que : V
8E

JR.! JR.!

3U

'\Y(a)

V (x, x')

(U n A)2

s [I(x),
lim I(x),
xeA

I(x')]

<

8.

(1)

La condition est necessaire, V

8E

Si 1

on a :

x-+o,

3U
E

'\Y(a) :

VXEUnA

Si (x, x')

(UnA)2

s [f(X),

I(x')]

s (I(x), 1) < 8/2. s [f(X), /] + s [I, I(x')]

< 8.

La condition est suffisante. - On suppose (1) verifiee. Soit (X")"eN une suite d'elements de A, admettant a pour limite. Soient 8 E JR.!, et U E '\Y(a) associe it 8 par (1). On peut trouver N E IN tel que: V n E IN x; E U. II en resulte que, si n ~ N et p ~ N, alors (x"' xp) E (U n A)2, et done :

s [f(x,,),

I(xp)]

<

8.

La suite [f(x,,) ]" e Nest ainsi de Cauchy, et done elle converge puisque (F, ~) est complet. Le corollaire I du 2.3.5, 3° per met alors de concIure.

REMARQUE.

A titre d'exercice, Ie lecteur pourra etendre Ie theoreme au cas

01'1 E

est

suppose topologique. 6° Prolongement des applications uniformement continues. - THEOREME. Soient (E, d) un espace metrlque, (F, 0) un espace metrique complet, A une partie dense de E (.4 = E), Soit f : A -+ F une application uaiformement continue. Alors il existe une et une seule application continue J: E -+ F prolongeant f. De plus i est uniformement continue. - L'unicite resulte de la proposition du 2.2.4, 1°. - Construisons un prolongement de f: soit a E E (done a E .4). L'uniforme continuite de f nous donne :
VeE JR.!
(t'

3 :x E JR.!

V (x, x') E A2

(d(x, x') < :x ~

b[j(x), f(x')]

< e)

(2)

On peut eviter Ie recours

l'axiorne

du choix par une recurrence.

2.4.3

ESPACES

COMPLETS

63

Soit U la boule ouverte de centre a et de rayon rx/2 dans (E, d). En remarquant que, pour (x, x') E U2, on a d(x, x') < rx, on constate : V (x, x') E (A n U)2 b[f(x),f(x'») < e. Le critere de Cauchy pour les fonctions nous montre alors I'existence d'une limite pour f lorsque x tend vers a en appartenant it A. Nous poserons J(a) = lim f(x). La continuite de f sur A nous assure : JI A = f Verifions que Jest uniformernent continue sur E.
x-a, xeA

Soient e E IR.!, et un rxE IR.! associe it e par I'assertion (2). Pour (x, x') E £2, verifiant d(x, x') < a/2, ecrivons x = lim x, et x' = lim x~, avec (x., x~) E A2; Pour n assez grand, d(x, x.) < a/4 et d(X', x~) < a/4, ce qui entraine d(x., Y.) ~ d(x., x)+d(x, x')+d(x', x~) < a. On a alors .5 [J(x.), f(x~)] < e, et par passage it la limite, en utilisant la continuite de b :
b [J(x), J(x'»)

~s

EXEMPLE. Soit f : )0, I) _IR. definie par f(x) = i]». Elle est continue. Mais elle n'est pas uniforrnement continue car dans ce cas elle serait prolongeable it [0, I]. On aurait J(O) = lim l/x = + 00, ce qui contredirait J(O) E IR.. 0
x"'O.x>o

2.4.3. Theoreme du point fixe

1 Le theoreme du point fixe est un outil fondamental de I'Analyse. En dehors de ses applications immediates en analyse numerique (resolution d'equations par la methode des approximations successives), il possede d'importantes applications theoriques en calcul differentiel (theoreme des fonctions implicites, equations differentielles),
0

- Rappelons que I'on appelle application contractante (ou contraction) toute application k-lipschitzienne de rapport k < 1.
THEOREME DU POINT FIXE. - Soient (E, d) un espace metrique complet non vide, etf: E -+ E une application k-contractante. L'equationj'(x) = x admet une solution et une seule, obtenue comme limite de la suite recurrente (xn)n E III obtenue en choisissant arbitrairement Xo E E et en convenant :

'v' n Unicite. -

IN

xn+

= f(xn)·

Soient a et b deux solutions de l'equation. d [J(a), f(b)] ~ k d(a, b)

L'inegalite

s'ecrit :

d(a, b) ~ k d(a, b).

Comme 0 ~ k < 1, cela exige d(a, b)

Existence. -

0, et done a

b.

(Xn)neN associee

Choisissons arbitrairement Xo E E et considerons la suite Xo par la convention: 'v' n E IN Xn+1 = f(xn). d(xn+
'v' n
E l'

Pour n ~ 1 : d'ou, par recurrence: IN

Xn) ~ k d(xn' Xn-1)

d(Xn+1' Xn) ~ k" d(X1' XO)·

64

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.4.3

Soient n et p deux entiers, avec p

< n pour fixer les idees. On a :

d(xp+q, Xp+q+l)
"-p-l

"-p-l d(x", Xp):::;;

et done :

q=O

d(x", Xp) :::;; (Xl' Xo) d

q=O

k+• geometrique, il vient

pq

En utilisant la somme des termes d'une (compte tenu de 0 :::;;k < I) :

progression

(1) En utilisant lim kP = 0, on en deduit que (X"),,eN est une suite de Cauchy.
p-+

+ co

E etant complet,

la suite admet une limite, que nous designons

par a.

Entin, f etant lipschitzienne, elle est continue. Ainsi lim f(x,,) mais lim X,,+l = a; l'unicite de la limite nous donne: f(a) = a.
z
REMARQUE. d(z, x p) : De (I) on deduit, par passage il la limite, en utilisant

= f(a);
0
de

la continuite

f--->

qui fournit

un majorant

de l'erreur

commise

en rernplacant

a par xp'

2° Compliment.

Si[est

une application \lqeN

de E dans E, on definit les iterees de [par 1"+1 =[01"

[0 = IdE' et:

THEOREME. - Soient (E, d) un espace metrique complet non vide, etfune application de E dans lui-meme, dont une iteree f' est contractante. Alors I'equation f(x) = x admet une solution et une seule, et cette solution est limite de toute suite de la forme n 1-+ !"(xo), (xo e E). Toute solution de [(x)

x est manifestement a de f"(x)

I

solution

de f"(x)

x. 0'0\1 l'unicite.

Montrons

que la solution

x est solution

de [(x)

x. On a :

1"+
On en deduit Ce qui montre : [(a)

(a)

((f'(a»

= f"([(a».

= ['(f(a».
def"(x)

que [(a) est solution

x. L'unicite

donne[(a)

a.

A ppliquons Ie theorerne du point fixe s f", en partant ici de f' (xo), ou Xo est arbitrairement choisi dans E, et ou 0 ,,;;r < q; a est la limite de la suite ([·'+'(Xo». e Ns et done la limite de la suite (!"(xo eN (extension. par recurrence, de l'exernple a) du 2.2.2,2°). 0

».

3° Le thioreme du point fixe « avec parametre ». - THEOREME. Soient E un espace metrique complet non vide, A un espace topologique, et f: E x A -+ E une application. On suppose que pour tout x E E, A 1--+ f(x, A) est une application continue de A dans E, et que pour tout A E A, f). : x 1--+ f(x, A) est une application k-contractante de E dans E, k etant independant de A. En appelant alors a). I'unique point fixe de fA, I'application A 1--+ a). de A dans E est continue.

2.5.1.

ESPACES

COMPACTS
E

65

fJ.(a,)

Montrons la continuite en Ao E A. Pour tout A = a;... On peut alors ecrire :

A, on dispose de

d(a;.., a;..o) = d[J;..(a;..), f;"o(a;..o)] ~ d[J;..(a;..), f;..(a;..o)]

f;.. etant contractante de rapport k :

+ d[J;..(a;..o)'

f;"o(a;..o)]

d(a;.., a;..o) ~ k d(a;.., a;..o) + d [J(a;..o' A), f(a;..o' Ao)] ce qui s'ecrit : Comme 0 < 1- k, I'assertion resulte alors de la continuite en Ao de

o
REMARQUE. Pour Xo E E fixe, l'hypothese sur la continuite de A 1---+ f(xo, A) en AO E A exige, en fait, que l'on suppose que f: (x, y) 1---+ f(x, A) est continue en (xo, AO), ainsi qu'on Ie constate en utilisant :
d[f(x, A), f(xo, AO)] .;;; kd(x, xo)

d[f(xo,

A), f(xo,

AO)].

2.5 ESPACES COMPACTS

2.5.1. Espaces topologiques compacts

1 THEOREME. - Soit (E, 'b) on espace topologique. Les deux assertions suivantes sont equivaIentes :
0

i) De tout recouvrement de E par one Camille (Ai)ieI d'ouverts, on peut extraire on sous-recouvrement fini. ii) De toute Camille (Fi)ieI de Cermes de E, dont I'intersection est vide, on peut extraire one sous-Camillefinie dont I'intersection est vide.

Verification immediate par passage aux complementaires,

DEFINITION. - Un espace topologique est dit compact si et seulement s'il est separe, et s'i1 verifle I'assertion i) qui est dite axiome de BOREL-LEBESGUE.

Rappelons que l'hypothese de separation est toujours verifiee pour les espaces metriques. EXEMPLES, a) Tout espace topologique separe et fini est compact. Un espace discret est compact si et seulement s'il est fini.
b) IR n 'est pas compact. Soit A. = I-n, + co [, (A.). ouverts; il n 'existe pas de sous-recouvrernent fini,
eN

est un recouvrement

par des

- Convention. - Un recouvrement (Ai)ieI par des ouverts Ai de E est plus simplement appele «recouorement ouvert». 2 Propriiti des fermis emboitis. - THEOREME. - Soient (E, 'b) on espace compact et (Fn)n e N une suite decroissante (pour I'inclusion) de fermes non vides. Alors F; =F 0.
0

neN

66

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.5.1
SOUS-

En effet supposons

famille finie de (F,,) d'intersection vide. Mais, la suite (F,,) etant decroissante, I'intersection d'une telle sous-famille est egale a l'un des F" qui n'est pas vide. On aboutit a une contradiction. D 3° Partie compacte. - DEFINITION. - Soient (E, b) un espace topologique, A une partie de E. A est dite partie compacte de (E, b) si et seulement si Ie sous-espace (A, 'bA) est compact. En utilisant la definition de la topologie induite, on obtient les caracterisations suivantes :
THEOREME I. - Soit A une partie de l'espace topologique separe (E, 'b). A est compacte si et seulement si, pour toute famille (AI)leI d'ouverts de E tels que A c: AI' il existe une sous-famille finie (Alk)l"k"" telle que:
leI

"eN

n F"

= 0. De

ii) on deduit I'existence d'une

c:

" U A'k' k=l

THEOREME II. Soit A une partie de l'espace topologique separe (E, b). A est compacte si et seulement si, pour toute famille (F')'el de fermes de E tels que A n ( F,) = 0, il existe une sous-famille finie (F'k) 10"" telle que:
leI

4° Propriitis des parties eompaetes. - THi30REME I. compacte d'un espace topologique separe (E, 'b) est fermee,

Toute partie

Soit A une partie compacte de E. Considerons un point a E E\A. Pour tout x E A, on a : x # a. On peut done trouver des voisinages ouverts U", E '\Y (x) et V", E '\Y (a), tels que U", n V", = 0. (U",)", e A est un recouvrement ouvert de A. II existe donc (Xl, ... , x,,) E A" tel que :
A c:

1=1

" U

U"".

Posons
A nV

U=

~~.

= 0, ce qui s'ecrit

1= 1

" U

U"',

et V

1= 1

" n

V"". On constate : Un V = 0, et

a fortiori
D

V c: E\A.

Comme V

E '\Y(a),

le theoreme en

THi30REME II. Soit (E, b) un espace topologique compact. Une partie de E est compacte si et seulement si elle est fermee. - Si A c: E est compacte, elle est fermee (theoreme I). - Inversement, soit A un ferme de E. Vne famille (F')leI de fermes du sous-espace (A, 'b A) est aussi une famille de fermes de E. La compacite de (A, 'bA) resulte alors de I'assertion ii) de la definition. 0

2.5.2

ESPACES COMPACTS

67

SO Image continue d'un compact. - THEOREME.- Soient E un espace topologique compact, F un espace topologique separe, et I une application continue de E dans F. Alors I(E) est une partie compacte de F. F etant separe par hypothese, considerons une famille (AI)ieI d'ouverts de F tels que feE) c U AI. f etant continue, r: (AI) est un ouvert de E.

D'autre part

U-1(AIHeJ.

vrement ouvert de E; on peut en extraire un sous-recouvrement De 1-1 (AI) = E on deduit AI => I(E).
leJ

leI

UI

-1 (AI)

Ie I = 1-1

(U AI)
Ie I

= E. On dispose done d'un recou-

leJ

fini 0

COROLLAIREI. - Soient E et F des espaces topologiques, F etant separe. Si I est une application continue de E dans F, I'image par I de toute partie compacte de E est une partie compacte de F.

*En utilisant Ie theoreme du 2.5.3, 2° nous aurons en outre:

COROLLAIREII. - Une fonction numerique (F = JR.) continue compact non vide est bornee et atteint ses bornes., sur un

6° Application aux homeomorphismes. - THEOREME.- Soient E et F des espaces topologiques, E etant compact et F separe. Toute application I bijective et continue de E dans F est un homeomorphisme, II faut prouver que 9 = 1-1 est continue. Pour cela, montrons que 9 - 1(A) est ferme pour tout ferme A de E. En effet un ferme de E est un compact, et 9 -1(A) = I(A) est compact car I est continue. I(A), compact dans I'espace separe F, est ferme. 0
EXEMPLE. Soit (E, 'b) un espace topologique separe, On appelle arc continu dans (E, 'b) toute application continue f de I dans E, ou I est un intervalle (ou une derni-droite) de IR Si I est un compact [a, bj, etfinjective, on parle d'arc de Jordan. Dans ce cas,f(I), appele support de I' arc f, est homeomorphe a I.

2.5.2. Espaces metriques compacts

1 ° PROPOSITION.- Un espace metrique compacte d'un espace metrique est bornee, compact est borne. Une partie

II suffit de recouvrir I'espace, ou la partie, par la famille des boules ouvertes de rayon r donne, et d'en extraire un recouvrement fini. 0 2° THEOREME FONDAMENTAL. Un espace metrique (E, d) est compact si et seulement s'i1 verifle I'assertion suivante, dite axiome de BOLZANOWEIERSTRASS: Toute suite d'elements de (E, d) admet une valeur d'adherence (i.e. de toute suite d'elements de (E, d) on peut extraire une sous-suite convergente).
- La condition est necessaire. - Si l'espace est compact, et si (X"),,eN est une suite de points de cet espace, l'ensemble des valeurs d'adherence de la suite est X"' (avec les notations habituelles (2.3.6. 2°)). La suite "eN

68

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.5.2

(X n)n e Nest une suite decroissante On sait qu'alors : Xn #: 0

neN REMARQUE. -

de fermes non vides dans un compact.

Cette demonstration reste valable dans un espace topologique quelconque.

La condition

est suffisante.

Nous

procederons

par etapes.

LEMME I. Soil (E, d) un espace metrique dans lequel toute suite admet une valeur d'adherence. Alors pour tout e E IR!, il existe un recouvrement fini de E par des boules ouvertes de rayon e.

e etant donne, supposons qu'un tel recouvrement n'existe pas. On peut alors construire par recurrence une suite (xn)n e N telle que, Xo etant arbitraik=O Vne telle suite verifie : d(xn' xp) ~ e des que n #: p. On ne peut done en extraire aucune suite de Cauchy; a fortiori (xn) n'a pas de valeur d'adherenee. 0
LEMME II. Soit (E, d) un espace metrique dans lequel toute suite admet une valeur d' adherence, et soit (A i)i e I un recouvrement ouvert de E. Alors il existe e E IR! tel que, pour tout x E E, la boule ouverte Bo(x, e) est incluse dans l'un des A I.

rement

choisi,

Xn+l

rt

U BO(Xk' e).

Par l'absurde. VeE IR! En utilisant

Faisons

I'hypothese

: ViE! (4) une suite (xn)n e N telle que: (1)

3XEE
V n E N*

les valeurs

lin de s, on construit
ViE I

Soit x une valeur d'adherence de cette suite. Puisque (AI)lel est un recouvrement de E, il existe k E I tel que x E Ak• On en deduit qu'il existe a E IR! tel que Bo(x, a) c Ak• Puisque x est valeur d'adherence, et xm E Bo on peut trouver m EN* tel que m

> 21a 0

(X, ~).

En utilisant

11m

< al2 on a : BO(xm, 11m)

avec (I).

c Bo(x, a)

et done Bo(xm' 11m) c Ak, en contradiction

• Nous sommes maintenant en me sure de demontrer que la condition est suffisante. Considerons un espace metrique (E, d) dans lequel toute suite admet une valeur d'adherence. Soit (Ai)i e I un recouvrement ouvert de E. Le lemme II fournit un e E IR! tel que toute boule ouverte Bo(x, e) soit contenue dans un Ai. L'espace pouvant etre recouvert par un nombre fini de ces boules, (lemme I), ille sera afortiori par les AI correspondants. 0 Notons que le theoreme fondamental peut s'enoncer : sur un espace metrique, iI y a equivalence entre les axiomes de BOREL-LEBESGUE de et BOLZANOWEIERSTRASS.

2.5.2

ESPACES

COMPACTS
E

69

THl30REME II. Soient (E, d) un espace metrique compact, et (xn)n 1\1 une suite d'elements de E admettant une unique valeur d'adherence a E E. Alors la suite admet a pour limite. Faisons l'hypothese (If) : a n'est pas limite de la suite. On dispose de V E 'U'(a) tel que, pour tout N E N, il existe m ~ N tel que Xm ¢ V. Le lecteur en deduira que l'on peut construire par recurrence une suite extraite de la premiere, (xcp(n»)n 1\1 telle que xcp(n) ¢ V pour tout n. D'apres Ie theoreme precedent, cette suite admet une valeur d'adherence qui, etant valeur d'adherence de la suite donnee d'apres 2.3.6,4°, est necessairement a; ceci est manifestement une contradiction. (H) est donc absurde. D
E

REMARQUE.

La demonstration est valable si E est un espace topologique compact.

3° THEOREME. - Tout espace metrique compact est complet. En effet, si (E, d) est compact, toute suite de Cauchy admet une valeur d'adherence, et done converge (2.4.1, 3°, theoreme II). 0
REMARQUE. L'enonce de ce theorerne est a priori surprenant: la compacite est une notion topologique, done invariante par changement de distances topologiquement equivalentes, ce qui n'est pas Ie cas general pour la completude, II en resulte que dans Ie cas des espaces compacts deux distances topologiquement equivalentes definissent les memes suites de Cauchy. Cette situation sera expliquee au 6°.

4° Espaces produits. - 1'HEOREME. Soient (Ei' dJ (1 ~ i ~ p) des espaces metriques non vides. L'espace topologique produit E est compact si et seulement si chaque espace topologique E, est compact. - Si E est compact, E, est compact comme image de E par I'application continue Pi (les projections Pi : E --+ E, sont surjectives car chaque E, est non vide). D - Supposons chaque E, compact. E etant metrisable, nous pouvons appliquer Ie theoreme fondamental duo2° (sans qu'il soit necessaire d'expliciter la distance choisie sur E). Soit (X"),,eN une suite d'elernents de E. E1 etant compact, il existe ({J1 : N --+ N strictement croissante telle que la suite [P1 (Xtp ("j)]n e N converge dans E1• De meme il existe ({J2 : N --+ N strictement croissante telle que [P2(XtpIOtp2("j)]"eN converge dans E2• Mais notons qu'alors la suite [P1(XtpIOtp2("j)]"eN converge dans E10 comme sous-suite de la suite convergente
I

[P1 (xtpl("j)]" e N'

Par recurrence on construira une sous-suite (Xtpl ° tpp("»" e N de (x"),, e N, telle que chacune de ses composantes dans E, (I ~ i ~ p) soil. convergente. Cette suite est convergente et (x"),, N admet une valeur d'adherence, 0
0 ••• E

REMARQUE.

On peut dernontrer ce theorerne dans Ie cadre des espaces topologiques

quelconques.

5° THEOREME DE HEINE. - Toute application continue f d'un espace metrique compact (E, d) dans un espace metrlque (F, <5) est uniformement continue.

70

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES
E

2.5.3 E un

CXx E

e E JR.! etant donne, la continuite de f permet d'associer a tout x JR.! (qui depend, naturellement, de e) tel que: VY E E (d(x, y) < CXx ~ b [f(x), f(y)] < e/2).

Les boules ouvertes Bo (x, cxx/2), que nous designerons par Bx, constituent un recouvrement ouvert de E. On peut done trouver des points Xl> ••. , x; de E tels que E Soit cx
ieNn

j=1

Bx,'

= Min (cxx.l2). Considerons (x, y) E E2 tel que d(x, y) < cx.

II existe k E Nn tel que x E Bx". D'apres I'inegalite triangulaire : d(Xk' y) :::;; d(Xk' x) +d(x, y) < cxx,,/2+cx :::;; cxx" On a alors: [f(x), f(y)] :::;; [f(x), f(Xk)] + [f(Xk), f(y)] < e/2 + en b

e.

6° Retour sur les distances equival.!ntes. - Soient d et 0 deux distances sur un merne ensemble E. Appelonsfl'application identique de I'espace metrique (E, d) dans I'espace metrique (E,o). On verifie facilement que d et 0 sont topologiquement equivalentes (resp. equivalentes) si et seulement sifest bicontinue (resp. lipschitzienne ainsi quef-I).
On est alors conduit it introduire une notion « interrnediaire » dequivalence : d et 0 seront dites uniformement equioalentes si et seulement si f ei f " I sont uniformement continues. On verifie que la notion de suite de Cauchy, done d'espace complet, changement de distances uniformernent equivalentes (2.4.1,3° theorerne III). est invariante par

On remarque aussi que, lorsque (E, d) est compact, toute distance topologiquement equivalente it d lui est uniformernent equivalente. Cette remarque explique a posteriori qu'un espace compact reste complet par changement de distances topologiquement equivalentes,

2.5.3. Compacts de JR.

1° THEOREME DE BOREL-LEBESGUE. - Tout segment [a, b], a s; b, de JR. (muni de la topologie usuelle) est compact. - Soit (Aj)ieI une famille d'ouverts de JR. recouvrant [a, b], c'est-adire tels que [a, b] c U Aj• Nous designons par E I'ensemble des x E [a, b] tels que [a, x] est recouvert par un nombre fini de AI' II s'agit de montrer :
bEE.
iel

- Remarquons d'abord que E n'est pas vide, car a E E (par hypothese: 3 i E I a E A;). Partie non vide et majoree (par b) de JR., E admet une borne superieure P E [a, b]. - II existe k E I tel que PEAk; comme Ak est ouvert, iI existe y E] - 00, P[ tel que [y, P] c Ak• De P = sup E et y < p, on deduit l'existence de e EE tel que y < e:::;; p. On peut recouvrir [a, e] par un nombre fini d'ouverts AI; en leur adjoignant A k' on constate qu'on peut recouvrir [a, P] par un nombre fini de AI' On a done pEE.

2.5.3

ESPACES COMPACTS

71

- Supposons alors {3 < b. En raisonnant comme ci-dessus, on montre qu'il existe y' E ]{3, b] tel que [{3, y'] c: Ak• Le recouvrement fini de [a, {3] mis en evidence ci-dessus est aussi un recouvrement fini de [a, y']; on a y' E E, en contradiction avec {3 = sup E. Finalement bEE. 0 2° TIffioREME. - Les parties compactes de JR en sont les Iermes bornes. - Par borne on entend ici borne pour la relation d' ordre de JR, ou - ce qui revient au meme - borne pour la distance usuelle de JR. - Dans tout espace metrique, une partie compacte est fermee et bornee (2.5.1, 4° et 2.5.2, 1°). - Inversement, soit A c: JR, ferme et borne. De A borne on deduit l'existence de (a, b) E JR2 tel que: A c: [a, b]. A etant ferme dans JR, it est aussi ferme dans [a, b] qui est un compact de JR d'apres Ie 1°. A est ainsi un compact de [a, b] (2,5.1, 4°, theoreme II), done un compact de JR (2.1.4, 3°). JR est compact. Toute suite d'elements de iR admet une valeur d'adherence (sa limite superieure ou sa limite inferieure), iR etant metrisable, c'est un espace compact. 0
Notons que I'on peut en deduire Ie theorerne du I·, car tout segment de IR eSI un ferme de

3 ° THEoREME.-

iR.

4° Compacts de JRP. - THEOREME.- Les parties compactes de JRP sont les parties fermees de IRP qui sont bornees pour l'une des trois distances standard deW. contenue dans un pave produit de compacts.
EXEMPLE. -

On raisonne comme pour JR, en remarquant qu'une partie bornee est

i=l

n [aj,
P

btJ, et qu'un tel pave est compact comme

Les boules fermees, les spheres sont des compacts de IRP. de IRP, on peut extraire

COROLLAIRE. De toute suite bornee d'elements une sous-suite convergente.

REMARQUE. -

Les resultats du 4° s'etendent

it

CPo

5°* Une application: le thioreme de d'Alembert. - THEOREME. polyn6me non constant de

ce [X]

admet au moins une racine dans

ce.

Tout

Nous anticipons sur l'etude des operations sur les Iimites (3.1.4, 2°). - Soit P = L anXn un polynome non constant de ce [X], de degre
neN

p ~ 1.

Pour z ¥- 0 ecrivons : P(l/z) = apz-P lim anzp-n

%-+0

) 1 p-1 1 + - L anzp-n . apn=o

En utilisant:

0 et lim lapz-PI
%-+0

+00

on constate :

lim IP(1/z)1
%-+0

+ 00.
(IP(z)1

II existe done R E JR + tel que 'V z E ce (jz] > R) ~

> IP (0)1).

72

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.6.1

L'application z 1-+ IP(z)1 est une application continue de ce dans 1R. Dans ce, Ie disque ferme de centre Oc de rayon R est compact. Ainsi il existe un point Zo de ce disque tel que Ip(zo)1 = inf Ip(z)1 (2.5.1, 5°).
!z!<:;R

Comme 0 appartient it ce disque, Ip(zo)1 ~ Ip(O)1 est donc :

Ip(zo)1
=

inf Ip(z)1 .
zeC

lei P(z)

Montrons P(zo)

= o. Par translation

1-+

Z-Zo
zeC

supposons Z{J = O.

n=O • Si ao = 0 Ie theoreme est demontre,

• Supposons ao :F O. On a : 'I z e ce

anzn avec ap :F 0, p ~ 1 et laol

= inf IP(z)l·

1 ~ 11 + ntl bnznl 1 ~ 11 + bnozno +

=D

Po sons : no = min {n e 1N* Ibn :F O}. Ainsi : 'I z e ce bnznl· n=no+ 1 bno; west non nul et en utilisant

Soit w un element de ce tel que wno z 1-+ zk» on obtient, en posant bn/w

'Izece

1~ll-zno+

n=no+l

c; :

Cnznl~ll-znol+1

n=no+l

Cnznl·

En particulier, pour tout reel x e ]0, 1[, on a :

o~

_xno+

If

n=no+ 1

cnxnl,

et done

If

n=no+ 1

cnXn-nol ~ 1

ce qui est en contradiction avec : lim

x~O,
X

e ]0, l[

n = no+1

cnxn-no

= o.

2.6. CONNEXITJ: Nous nous proposons de mathematiser fa notion intuitive d' espace topofogique « d'un seuf tenant».

2.6.1. Espace topologique connexe

1° THEOREME ET DEFINITION I. - Soit E on espace topologique. Les assertions suivantes soot equivaleotes : i) n existe one partie propre de E (autre que E et 0), qui est a la fois ouverte et fermee,

2.6.1. ii) iii)

CONNEXITE

73

n existe one partition de

E en deux ouverts.

existe one partition de E en deux fermes,

Un espace topologique est dit connexe si et seulement s'll ne verifie pas ces assertions.
On remarquera que, la definition etant donnee sous forme negative, son usage conduira generalement a un raisonnement par l'absurde.

- L'equivalence de ii) et iii) est immediate par passage au complementaire. - Si A est une partie propre de E, a la fois ouverte et fermee, B = E\A est une partie propre de E, a la fois fermee et ouverte ; (A, B) est une partition de E en deux ouverts (et aussi en deux fermes). - Si (A, B) est une partition de E en deux ouverts, A et B sont non vides, distincts de E, ouverts par hypothese, et fermes au titre de complementaire d'un ouvert. 0
DEFINITION II. - On appelle partie connexe d'on espace topologique E toute partie qui, munie de la topologie induite, est un espace connexe. deE. Le lecteur est invite it traduire cette definition en nutilisant que des ouverts (ou des ferrnes)

EXEMPLE. )0, I [ u )1, 2[ est une partie non connexe de lR. Un singleton est connexe. Nous verrons plus loin des exemples non triviaux despaces connexes.

DEFINITION

gique qui est

a la fois ouverte et connexe.

Ill. -

On appelle domaine toute partie d'un espace topolo-

2° Caracterisation des espaces eonnexes, - THEoREME. Un espace topologique E est connexe si et seulement si toute application continue de E dans I'espace discret D = {O, I} est constante. - La condition est necessaire. - Supposons E connexe, et I: E -+ D continue. {O} est ouvert et ferme dans D, done 1-1 (0) est ouvert et ferme dans E. On a done necessairement 1-1 (0) = E ou 1-1 (0) = 0. Dans chacun de ces cas, I est constante. 0 - La condition est sujJisante. - Supposons E non connexe. Ecrivons E = Au B, avec A et B ouverts (et fermes), non vides, et disjoints. Definissons I par I(x) = 0 si x E A et I(x) = 1 si x E B. Elle n'est pas constante (A et B sont non vides). Elle est continue (etudier les images reciproques des quatre ouverts de D). 0
Cette caracterisation a l'avantage sur la definition de permettre un raisonnement direct.

3° Image continue d'un connexe, - THEOREME. - Soient E et F des espaces topologiques, I :E -+ F one application continue. Si E est connexe, I(E) est one partie connexe de F. Plus generalement si AcE est one partie connexe, I(A) est one partie connexe de F. On suppose que E est connexe. Soit g I'une quelconque des applications

74

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.6.1

continues de I(E) dans D = {O, I}; go I: E -+ D est continue, et done constante (d'apres la connexite de E); cela exige que g soit constante. 0 4° TlffioREME. - Soit A one partie connexe de I'espace topologique E. toute partie B teUe que A c:: B c:: A est connexe. En particulier A est connexe. Soit f: B -+ D, continue. A etant connexe, flA est constante. A etant dense dans B, I est constante sur B (prolongement par continuite).
A10rs
RI:\lARQUE. lnvcrsernent, A pcut eire conncxe sans que A Ie soit. "Ain,i A = 10, I[ vll, 2[ n'est pas connexe, alors que A = [0, 2ll'est •.

dans

IR,

5° TlffioREME. - Soit (Ai)lel one famille de parties connexes de E, teUe qu'i1 existe io E I verifiant : ViE I Ai 11 Alo # 0. A10rs A = Al est one partie connexe de E. Ie I

F10.2

Soit I une application continue de A dans D (notation du 2°). Chaque restriction j'[x, est continue, done constante. A cause de Ai 11 Aio # 0,flAi prend la meme valeur que IIAlo' Done I est constante. 0
COROLLAIRE. -

Si

Ie I

n Ai # 0,

Ie I

Ai est connexe.

REMARQUE. Une intersection de parties connexes n'a aucune raison d'etre connexe. Le Iecteur s'en persuadera par un simple dessin. .

6° Composante connexe. - THEoREME ET DEFINITION. - Soit a un point de E. II existe one plus grande partie connexe de E dont un point est a. C'est on ferme de E. On l'appeUe composante connexe de a dans E. La famille (Ai)!.1 des connexes de E dont un point est a n'est pas vide (puisque {a} est un connexe de E). D'apres Ie theorerne du 5°, sa reunion A est Ie plus grand connexe de E dont un point est a. En utilisant Ie theoreme du 4° on constate A = A. Le lecteur verifiera que, C(x) designant la composante connexe de x, « Y E C(x) » est une relation d'equivalence.

2.6.2

CONNEXITE
, Ep xEp

75
des espaces est connexe

7° Espaces produits. - THEOREME. Soient E1, topologiques connexes non vides. Le produit E = E1 x si et seulement si cbaque EI est connexe.

- La condition est necessaire. - Les E, n'etant pas vides, chaque EI est I'image de E, espace connexe, par la projection canonique Pi : E + EI qui est continue. June La condition est suffisante. - Supposons chaque application continue de E dans D = {O, I}. EI connexe. Soit

Chaque application partielle ({)a,i: Er+ D (notation du 2.2.3, 3°) est continue, done constante. Considerons deux points quelconques (Xl> ••• , xp) E E et (Yl> ... , Yp) E E : Ona: (la premiere application partielle en (Xl'· ... ,
Xp)

est constante).

De meme : f(Yl' X2' X3' ... , Enfin, par recurrence :

xp) = f(yl> Yl, X3, ... , xp).

o
2.6.2. Connexes de JR
1° THEOREME.-

JR est connexe.
de JR,

- Montrons d'abord qu'une partie A non vide, ouverte et fermee ne peut etre minoree (resp. majoreey.

En effet, dans le cas contraire, elle aurait une borne inferieure (resp. superieure) a E IR. De A ferme non vide, on deduirait a EA. De A ouvert, on deduirait alors l'existence de ocE IR'!;.tel que ]a - oc, a + oc[ c A, ce qui est incompatible avec a = inf A (resp. a = sup. A). - Supposons maintenant JR non connexe. II existe une partie pro pre A de JR, ouverte et fermee. Choisissons X E JR \A. Les ensembles A n [x, + 00 [ et An ]- 00, x] ne peuvent etre simultanement vides. Supposons par exemple A' = A n [x, + 00 [ non vide. Intersection des fermes A et [x, + 00 [, A' est un ferme de JR; x ¢ A permet de considerer A' comme intersection des ouverts A et ]x, + 00 [ de JR, et done comme un ouvert de JR. Comme A' est minore, it y a une contradiction avec la remarque preliminaire. 0 2° Parties eonnexes de JR. sont les inte"aIIes de JR. (Rappelons qu'au THEOREME.Les parties connexes de JR d'appeler intervalle de

- Un intervalle ouvert de JR est soit vide soit homeomorphe a JR (2.2.4, 2°); dans tous les cas it est connexe (2.6.1, 3°). Soit maintenant I un intervalle quelconque de IR; si I est vide ou reduit a un point, alors 1 est

JR tout intervalle de

iR

2.1.6, 2° nous avons convenu inclus dans JR).

76

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.6.3

eonnexe; sinon po sons J = 1; J est un intervalle ouvert, done un eonnexe; d'autre part J c Ie]; d'apres 2.6.1 4°, I est eonnexe. - Inversement soit 1 une partie de JR. qui n'est pas un intervalle. D'apres Ie theoreme II du 2.1.6, 2°, on peut trouver trois reels a, b, c tels que
(a, b)
E

12,

<

< b,

c¢1

Posons A = ]- 00, c[ n 1 et B = ]c, + 00 [ n I. On eonstate que (A, B) est une partition de 1 en deux ouverts de I; il en resulte que I n'est pas connexe.

3° Application. - THEOREME DES VALEURS INTERMEDIAIRES. - Soient E un espace topologique connexe, et f: E -+ JR. une fonction numerique continue.

Si

}' E

f prend les valeurs oeet p, elle prend aussi toutes les valeurs intermediaires ]oe,Pl.

En effet f(E) est un connexe, et done un intervalle de JR. Si oeet deux points de f( E), alors ]oe,P [ c f( E).
REMARQUE. -

sont

Tout ce qui precede s'applique aussi

a R.

2.6.3. Connexlte par arcs

1° Chemins d'un espace topologique. - DEFINITION. Soit E un espace topologique. On appelle chemin toute application continue <p : [oe, ] -+ E P d'un segment [oe,P] de JR - qu'on pourra Ie plus souvent supposer etre [0,1]dans E; <p([oe, PD est la trajectoire du chemin; <p(oe) en est I'origine; <p(P) Pextremite ; on dit que <p « joint les points <p(oe) et <p(P»). Notons que la trajectoire est un connexe deE, au titre de l'image du connexe [oe,P] de JR par I'application continue <p.
2° Espace connexe par arcs. - DEFINITION. - Un espace topologique E est dit connexe par chemins (ou par arcs) si, et seulement si deux quelconques

de ses points peuvent etre joints par un chemin.

THEOREME. -

Soit E un espace topologique connexe par arcs. Alors E

est connexe. Soitfune application continue de E dans D = {O, I}. Pour tout (a, b) E E2, il existe un chemin <p: [0, 1]-+ E d'extremites <p(0) = a et <p(l) = b.

f 0 <p : [0, 1]-+ D est continue. Comme [0, 1] est connexe, f constante; on a, en particulier : (fo <p) (0) = (fo <p) (I), et done f(a) II en resulte que fest constante sur E.
L'exernple suivant montre que la reciproque est fausse : Soit I: )0, I) ~ R2 t
1---+

<p est

= feb).

(r, sin nit).

c = 100,

I)) est I'image par l'applicationj" - visiblement continue - du connexe )0, I) de

EXERCICES

77

JR; c'est done un connexe de JR2. Son adherence C est egalernent connexe. Le lecteur verifiera, it titre d'exercice : que C\C= {(O,Y)lye[-I, +IJ) qu'il n'existe pas de chemin de JR2, d'origine (0,0) et d'extremite (I, 0) dont la trajectoire soit incluse dans C. 0 PROPOSITION. Soient E un espace topologique et A une partie de E. La trajectoire de tout chemin joignant un point de I'interleur de A et un point de l'exterleur de A rencontre la frontiere de A.

Si l'image y d'un tel chemin etait contenue dans E\Fr(A), qui est la reunion de l'interieur et de l'exterieur de A, les intersections de y avec ces deux parties de E definiraient une partition du connexe y en deux parties ouvertes, ce qui est impossible. 0

EXERCICES
TOPOLOGIE GENERALE. -

topoloqique (E, t».

2.01. -

Dans les exercices qui suivent E desiqne un espace

Montrer que si U et V sont deux ouverts disjoints de E, U et V sont dis-

..!I.

.2-

joints.
2.02. - Soient A un ouvert de E, et B une partie quelconque de E. Montrer que B.«: A n B. En deduire, toujours en supposant A ouvert : i) A n B = 0 ~ A n B = 0; ii) Si B est dense dans E, A n B

A r.

= A;

iii) Si A et B sont denses dans E, A n B est dense dans E.

Donner un exemple, avec A non ouvert, de parties denses dont I'intersection n'est pas dense.
2.03. -

Soit A une partie de E. Montrer les inclusions:

Fr(1)
c Fr(A);

Fr(A) c Fr(A);

Fr(A

u B) c Fr(A)

u Fr(11)

Montrer que si A n B

0, alors Fr(A u B)

Fr(A)

u Fr(B).

Si A est ouvert (resp. ferme) l'interieur de Fr(A) est vide. Ce resultat est-il vrai pour une partie A quelconque ?
A n Fr(A)

Montrer qu'une partie A de E est un ouvert (resp. un ferme) si et seulement si = 0 (resp. Fr(A) c A); A est ouvert et ferme si et seulement si Fr(A) = 0.
B c F. Determiner

2.04. - Soient E et F deux espaces topologiques, AcE, la frontiere de A x B.

2.05. -

Soit A une partie de E. Montrer que A u (E\A) et dense dans E.

r-...

78 2.06. -

ESPACES Soit (AJi

leI

TOPOLOGIQUES
eI

- ESPACES

METRIQUES

une famille de parties de E. Etudier Ie cas I fini.

a) Comparer b) Comparer

U Ai' leI Ai' leI Ai' leI AI· U U U

leI

n AI' n AI, n AI·

leI leI

c) Comparer

leI

U Ai> U Al et
leI

l'interieur de

leI

U AI.
a deux
dis-

d) On suppose card I;': 2, chaque Al dense dans E, et les Al deux joints. Montrer que Al = 0 pour tout i E I.

2.07. -

Montrer que les assertions suivantes sont equivalentes

a) Tout singleton est un ferme de E.

b) Pour tout couple de points distincts de E, il existe un voisinage de I'un qui ne contient pas I'autre.
c) Pour tout point x
E

E, {x} est I'intersection de tous les voisinages de x.

2.08. - Soient A et B deux parties de E, U une partie de A II B. On suppose que U est un ouvert du sous-espace A, et un ouvert du sous-espace B. Montrer que U est un ouvert du sous-espace A v B. A-t-on la meme propriete avec les fermes ? 2.09. - Soit (UJi eI un recouvrement ouvert de E. Montrer que la partie A de E est fermee si et seulement si A II U, est un ferme du sous-espace U, pour tout i E I. 2.10. - Une partie A de E est dite localement fermee si.et seulement si : pour tout x E A, il existe un voisinage V de x tel que V II A soit un ferme du voisinage V. Montrer que A est localement ferme si et seulement si A = U II F, avec U ouvert et F ferme. 2.11. - On munit lR de la topologie suivante : on appeUe ouvert toute partie vide ou de complementaire fini ou denombrable. Montrer qu'il s'agit d'une topologie, et que, pour cette topologie, toute intersection denombrable d'ouverts est un ouvert. Caracteriser les parties de lR sur lesqueUes cette topologie induit la topologie discrete. lR est-il separe pour cette topologie ? 2.12. - Soit A une partie infinie non denombrable de lR et A' I'ensemble des x E lR tels que tout voisinage de x contienne une partie infinie non denombrable de A. Montrer que A' n'est pas vide et que A c: A' u D, D etant au plus denombrable. 2.13. - Montrer que tout ouvert de lR est une reunion finie ou denombrable d'intervalles ouverts deux a deux disjoints. 2.14. application: Soient (E, 13) et (F, 13') deux espaces topologiques et

f :E __

F une

EXERCICES
a) Montrer que les assertions suivantes sont equivalentes :

79

i) / est continue; iii) PourtoutB

ii) Pour tout AcE,

c F,f-1(iJ)

c/-

~1

/(A)

/(A)

(B);

iv) Pour tout B c F,f-1(B)

---- c/-1(B).

b) Soit (A,), el un recouvrement ouvert de E. Si les restrictionsj'[x, sont continues pour tout i E I,/ est continue. c) Soit (Fl), el un recouvrement de E par des fermes, On suppose que pour tout x de E, il existe un voisinage V E 'U' (x) ne rencontrant qu 'un nombre fini de Fl' Montrer alors que si les restrictions /IF, sont continues pour tout i E I, / est continue. 2.15. - Soient (E, 1J) et (F, b') deux espaces topologiques et f : E _ F une application continue. Soit I' Ie graphe de J, muni de la topologie induite par la topologie produit de Ex F. Montrer que E et r sont homeomorphes, 2.16. - a) Soient E et F deux espaces topologiques et /: E _ F une application continue. Montrer que si A est dense dans E, alors /(A) est dense dans /(E). b) On admet que t t----t eit est un morphisme continu et surjectif du groupe (JR, +) dans le groupe (U, .), muni de la topologie usuelle. Montrer que tout sousgroupe de (U, .) est fini oudense dans U. Montrer que.etant donne IX E JR\<Q, I'ensemble {eimln E Z} est dense dans U. (On rappelle : U = {z E CCliz I = I})

Esr ACES
(E, d).

METRIQUES.

Saul indication du contraire E desiqne un espace metrique

2.17. - Soit cp: JR+ _JR strictement croissante, verifiant cp(O) = 0 et cp(u+v) ~ cp(u)+cp(v) pour tout (u, v) E JR~. Montrer que (x, y) t----t cp[d(x, y)] est une distance. Exemple : on prend pour E l'ensemble JR, muni de la distance usuelle, et pour cp : i) cp(u) = 1_!!__ ii) cp(u) = In (1

+u

+ u)

iii)

cp(u)

ua

(0

<

IX

<

1).

Com parer les distances ainsi obtenues sur JR

2.18. -

a la distance

usuelle. si et seulement (I)

On dit d'un espace metrique (E, d)qu'il est ultra-metrique

si:

v (x, y,

z)

E E3

d(x, y) ~ sup [d(x, z), d(z, y)]

a) Montrer que si d(x, z) # d(z, y), (1) est une egalite, En deduire que dans E tous les « triangles» sont « isoceles », b) Montrer que toute boule ouverte (resp. fermee) est un ensemble ouvert et ferme, En designant par $(x, r) une boule ouverte ou une boule ferrnee, montrer :

v Y E $(x,

r)

$(x, r)

$(y, r).

c) Montrer que les boules ouvertes de rayon r > 0 contenues dans la boule fermee $,(x, r) en constituent une partition, les distances mutuelles de deux telles boules ouvertes distinctes etant r. d) Montrer que dans un espace ultra-metrique, une suite (xn) est une suite de Cauchy si et seulement si lim d(xn> xn+ 1) = O.
n~+oo

80 2.19. -

ESPACES
Exemples

TOPOLOGIQUES
d'espaces

- ESPACES

METRIQUES

ultra-metriques

(exercice predecent),

a) Soit E = K[[X]]I'ensemble des series formelles it coefficients dans Ie corps commutatif K (Algebre I. 7.4.1). On pose d(S, T) = e-w(S-Tj pour S T, et d(S, S) = 0, w(S) designant l'ordre de la serie formelle S. Montrer que (E, d) est un espace ultra-metrique, Montrer que l'ensemble F = K [X] des polynomes it coefficients dans K est dense dans E. En deduire

+00

une justification de l'ecriture S

a.X· d'une serie formelle.

WE

11=0

b) Soient p un nombre premier et

peut s'ecrire x

= p«

i, avec (ex, a,
1---+ 1---+

]0, 1[ un reel. Tout rationnel non nul x et 101 = o.

b)

7l3, a et b etant premiers avec p. L'entier ex

= w«,

est ainsi determine de maniere unique. On pose alors Ixl

i) Montrer que x ii) Montrer que (x, y)

[x] est une valeur absolue sur CQ. Ix- yl est une distance ultra-metrique sur CQ.

2.20. -

lR est muni de Ia distance usuelle. {( _1)·

a) L'ensemble

n! 1 In

~.j}

b) Etudier l'adherence de l'ensemble c) Etudier l'adherence de l'ensemble

HI
+~

est-il ferrne ?
(n, p) E (N*)2} .
+P

{G + ~)" I
A)

(n, p) E (N*)2} .

2.21. -

L'ensemble {sin (In

n) I n E N*}

est une partie dense de [ - 1,

1].

2.22. Montrer:
a)

Soit A une partie de E. Pour ex E lR~, on pose:

B(A, ex)

{x

Eld(x,

< ex}.

B(A, ex) =
=
«eR:

b) A 2.23. -

U
xeA.

Bo(x, ex).

B(A, ex).

Soient A et B deux parties de E, espace metrique, verifiant

A {"\ Ii =

A {"\B

0. A
c:

Montrer qu'il existe deux ouverts U et V teis que:

EXERCICES GENERAUX

U; B

c:

V; U {"\V

0.

+",

2.24. -

Soit (E.).

eN.

une suite d 'ensembles non vides; on pose E =

E N*lx.

Pour (x, y) E E2, X = (x.) et y = (y.), on pose d(x, y) = I/inf {n en convenant 1/ + 00 = O.

n=1

n E•.

Y.}

a) Montrer que (E, d) est un espace metrique complet. II est meme ultra-metrique (cf. ex. n° 2.18).

EXERCICES b) Montrer que (E, d) est compact si et seulement si chaque En est fini.

81

c) On dit d'un espace topologique qu'il est localement compact si et seulement si tout point possede un voisinage compact. Montrer que (E, d) est localement compact si et seulement si En est fini pour tout n, sauf peut-etre pour un nombre fini de valeurs de n.

2.25. - Dans cet exercice, Ie mot denombrable sera pris au sens fini ou denombrable. On admettra qu'il existe une bijection de ]N'N sur JR. Un espace topologique (E, 'l'J) est dit base denombrable si et seulement s'il existe une partie denornbrable $ de 'l'J telle que tout U E 'l'J soit reunion d'elements de $.

a) Montrer qu'un espace metrique (E, d) est a base denombrable si et seulement s'il existe une partie denombrable de E dense dans E. En deduire qu'un espace metrique a base denombrable est equipotent a une partie de JR. b) Montrer que tout espace metrique compact est

base denombrable.

c) Plus generalement, montrer qu'un espace metrique est base denombrable si et seulement si, de tout recouvrement ouvert de E on peut extraire un sous-recou-

vrement denombrable, soit

a base denombrable,

d) Determiner une condition pour que l'espace (E, d) de l'exercice precedent

2.26. - Soit (E, d) un espace metrique. Montrer que E est compact si et seulement si tout sous-espace discret et infini de E est non ferrne dans E. 2.27. - Soit (E, d) un espace metrique, A un compact de E, Bun ferme de E tels que A ("\ B = 0. Montrer que d(A, B) > O. 2.28. - Soit (E, d) un espace metrique, A et B deux compacts de E. Montrer qu'il existe (a, b) E A x B tel que d(a, b) = d(A, B). Montrer que cette propriete subsiste, lorsque E = JRn, si l'on suppose A compact et B ferme (on essayera de se ramener au cas ou B est compact). 2.29. Soient (E, d) un espace metrique compact, et f: E ~ E telle que:

v (x, y)

EE2

(x oF y ~

d(f(x),f(y)]

<

d(x, y»
xeE

Montrer que f admet un unique point fixe. (On pourra considerer inf d[x, f(x}]).
2.30. - a) Soient E et F deux espaces topologiques, E etant compact. Soit A une partie ferrnee de l'espace-produit Ex F. Montrer que la deuxieme projection de A est une partie fermee de F. b) Soient E et F deux espaces topologiques, F etant separe. Montrer que si f: E ~ F est continue, son graphe est ferme dans Ex F.

Montrer par un exemple que la reciproque est fausse. Montrer que la reciproque est vraie si on suppose de plus F compact.

82

ESPACES

TOPOLOGIQUES

- ESPACES

METRIQUES

2.31. - a) Soient E et F deux espaces topoIogiques, A un compact de E, Bun compact de F. Soit W un ouvert de Ex F, contenant A x B. Montrer qu'il existe un ouvert U contenant A, un ouvert V contenant B teis que A x B c U x V c W. (On etudiera d'abord Ie cas B = {b}.)
b) Retrouver

Ie a) de I'exercice precedent, en utilisant Ie resultat ci-dessus.

c) Soient E et F deux espaces topoIogiques, E etant compact. Soient A un ferme de Ex F, B la deuxieme projection de A (B c F). Pour tout y e B, on pose : A-1(y)

{x eEl (x, y) e A}.

Soient Yo e B et V un ouvert de E contenant A -1 (Yo)' Montrer qu'il existe W, voisinage de Yo dans F, tel que: V yeW A-1(y) c V.

2.32. -

Soient E espace metrique compact et f: E -+ E verifiant : d[f(x),f(y)] ~ d(x, y).

V (x, y) eE2

a) Pour (a, b) eE2, on considere Ies suites (a.) et (b.) definies par: ao = a, bo = b, a.+ 1 = f(a.} et b.+ 1 = f(b.}. Montrer que pour tout 8 e R!, il existe n e IN· tel que dia, a.) ~ 8 et deb, b.) ~ 8.
b) En

deduire

d(a1' b1) = dta, b) et feE} = E.

c) Montrer que fest 2.33. R

une isometric de E sur E.

Trouver l'erreur dans Ie raisonnement suivant :

= lR».

« R est un sous-espace complet de R, done il est ferme, Comme il est dense,

2.34. - Soit (K.). eN une suite decroissante de parties compactes non vides d'un espace topologique separe E. Montrer que K. est non vide et que, quel que soit l'ouvert U de E contenant
• eN

n K., il existe lN tel que:

.eN

Vn ~ N

K. c U.

2.35. - Soit E un espace metrique, A une partie de E. Pour que A soit compacte, il faut et il suffit que toute suite de points de A admette une valeur d'adherence dans E. 2.36. - Soit E un espace metrique dans Iequel toute boule fermee est compacte. Montrer que E est complet. 2.37. - Soient E et F des espaces topologiques separes, etf: E -+ F. On suppose: i) F est compact. ii} Pour tout x e F,f -1 (x) est compact. iii) Pour tout ferme A de E, f(A) est un ferme de F. Montrer que E est compact. Donner des exempies oil deux hypotheses sont veriflees, sans que E soit compact.

EXERCICES 2.38. Soit (E, d) un espace metrique complet non vide. une suite d'ouverts denses dans E. Montrer que G =

83

a} Soit (G.}.eN

est dense dans E.

• eN

n G•

b) On appelle ensemble rare toute partie de E dont l'adherence est d'interieur vide. Montrer que E n'est pas reunion denombrable d'ensembles rares.
c} On suppose E

=U

eo

A., A. etant ferrne, Montrer que G

ouvert dense dans E.

.=0

= U A.
.=0

eo

est un

d} Montrer que dans R, Ie complementaire d'une partie denombrable est dense. (Demonstration elementaire, ou corollaire de ce qui precede).

2.39. - Soient (E, d) un espace metrique complet, et U un ouvert de E, U "# E. On note Fie cornplementaire E\U. Pour (x, y) e U2, on pose: t5(x, y}
=

d(x, y)

+ 'd(X~

F} - d(Y~ F} ,. equivalente

Montrer que t5 est une distance sur U, et qu'elle est topologiquement a la restriction de d a U. Montrer que (U, t5) est complet.

2.40. - Soient E, F deux espaces metriques, I: E _ F une bijection. On suppose I uniforrnement continue, et 1-1 continue. Montrer : (F complet ==+- E complet). La reciproque est-elle vraie? 2.41. - Soit I: R - Rune application continue. On suppose I'existence, pour I, de limites tinies lorsque x tend vers + 00 ou - 00. Montrer que I est uniformement continue sur R. 2.42. - Soit (X.}.eN une suite de reels. Montrer que si la suite (x, + 1 -X.}.eN admet une limite Ie R, la suite (x./n}.eN. admet la meme limite. Montrer que si
(X.}.eN admet une limite I dans R,

(! ± Xl)
n
k=O

fteN.

admet la meme limite. Entin, si admet

x, e R!

pour tout n, et si (x.+1)

Xn

la meme limite. 2.43. i) ii}

aeN

admet une limite Ie R+, (x~/·}.eN.

Soit (x.).

e N.

une suite de reels verifiant : x.+xp~x.+p.

V(n,p}eN*xN* 3 MeR V n e N*

Ix.1 ~ M.
n
p

Soit p ~ 1 tixe et soit eft la partie entiere de ~. a} Montrer que, pour tout n e N*, e.xp ~ x.+M(n-pe.}. b} En deduire que pour toute valeur d'adherence a de (x./n}.N.' Que peut-on en deduire pour la suite ( x. )
n
neN.

on a : xp/p ~ a.

84 2.44. -

ESPACES

TOPOLOGIQUES

- ESPACES MErRIQUES

Soient (X.).eN et (P.).eN deux suites de reels verifiant P. ~ 0 ii)

n .... +oo k=O

i) V n e lN

lim

Pk

= +00

a) Soit no e lN tel que, pour n ~ no,

k=O

Pk > O. On pose alors, pour n ~ no,

b) Qu'en 2.45. -

Montrer : lim inf x, ~ lim inf Y. ~ lim sup Y. ~ lim sup x •. deduit-on lorsque (X.).eN est convergente (dans R)? Soit (X.).eN. une suite d'elements de R!, admettant 0 pour valeur Montrer qu'il existe une infinite d'indices n tels que:
X. ~

d'adherence,

x".

2.46. -

Soient (X.).eN et (e.).eN des suites de reels, telles que e. ~ 0, lim e.

=

et

Montrer que I'ensemble des valeurs d'adherence de (X.).eN est un intervalle de

+00

R.

2.47. -

Soit 1= [0, I]; d(x, y)

posons E

on pose:

n=l

n I.,

ou I. = I. Pour x e E et y e E,

,,~+oo

lim

"1 .=12

L --;;x.- y.1 I

Montrer que (E, d) est un espace metrique complet. Peut-on remplacer I = [0, 1] par 1= ]0, 1]1
2.48. -

Etudier la suite (X.).eN definie par: xo> - 1;

Xn+1

x. - In (1

+ x.) I: [0, 1]11<Q __ R

2.49. -

Etudier la continuite et la continuite uniforme de

definie par

Jet)

I-t

IJ-

eeR!

2.50. - Soit E I'ensemble des applications de [0, 1] dans lui-meme, Soient 10 e E, et (X;)ieN. une famille finie d'elements de [0,1]. On pose: V(fo, e ; XI' ... , x.)
=

{Ie E I Vie IN. I/(Xi)- 10(Xj)I < s},

a) Montrer que l'ensemble lJ des reunions d'ensemble du type V(fo, s ; XI' ... ,x.) est une topologie sur E, et que (E, lJ) est separe,
b) Soit S la partie de E constituee des fonctions de E nulle sauf peut-etre en un nombre fini de points. Montrer que S est dense dans E.

EXERCICES

85

c) Soit (fn)neN une suite d'elements de S, qui converge dans E. Montrer que I'ensemble des points ou I = lim In est non nulle est au plus denombrable.
d) En deduire que E n'est pas metrisable, 2.51. - Soient a et b deux reels tels que alb est dense dans lR.
E

lR\<Q.Montrer que lNa+ 7tb

Applications. - i) Pour tout reel () tel que ()In E lR\<QI'ensemble des nombres complexes de la forme ein 9 avec n E lN est dense dans U, ensemble des nombres complexes de module I.
ii) Pour tout reel () tel que ()In est dense dans [- I, I].
CONNEXITE. E

lR\<Q,I'ensemble des reels sin n{), avec n

lN,

(E, 1'» desiqne un espace topologique.

An B i' 0, alors Au Best

2.53. -

2.52. -

Montrer que si A et B sont deux parties connexes de E, telles que connexe. Le resultat subsiste-t-il avec An B i' 0?

et Bn(E\A)
2.54. 2.55. -

Soit A une partie de E, B une partie connexe telle que B n A i' 0 i' 0. Montrer qu'alors BnFr (A) i' 0. L'espace (lR\<Q)2est-il connexe? Montrer que lR et lR2 ne sont pas horneomorphes. Montrer que [0, 1] I Izl = I} ne sont pas homeomorphes.

et U

{z

E (:

2.56. - Soit (E, d) metrique connexe. On suppose d non bornee, Montrer que toute sphere est non vide. 2.57. - Donner un exemple, dans lR2, d'une suite decroissante de connexes dont I'intersection est non connexe. Montrer que si E est compact, toute suite decroissante de ferrnes connexes a une intersection connexe. 2.58. - Soit (E, d) un espace metrique compact tel que, pour toute boule ouverte
Bo(a, r),

son adherence soit la boule ferrnee

Bf(a,

r).

Montrer que toute boule de

est

connexe.
2.59. - Soient E un espace metrique compact, non vide, a un point de E, C la composante connexe de a (2.6.1, 6°), (A i)i ella famille des parties a la fois ouvertes et fermees de E dont un point est a. On pose B = Ai. Montrer : C = B.

n
i

3
ESPACES VECTORIELS NORMES

!
ii) iii)

Dans tout Ie chapitre, IK desiqne soil Ie corps des reels, soit Ie corps des complexes .. ce corps est muni de la topologie usuelle.

3.1.1. Espaces vectoriels normes

1° Normes. - DEFINITION. - Soit E un espace vectoriel sur Ie corps lK. On appelle norme sur E toute application N : E ---+ 1R+ verifiant les axiomes suivants :

i) "IxEE
"I x E E "I (x, y) "I ex E E2
E

IK

(N(x) = 0 ~ x = 0E) N(exx) = lexl N(x) N(x+y) ~ N(x)+N(y).

Notons que N(OE) aisement :

=
E

0 (en prenant ex
E2 E2 IN(x)-

0 dans ii). Le lecteur verifiera

"I (x, y) "I (x, y)

N(Y)I ~ N(x-y)

qui, en changeant y en - y, donne :

E

IN(x) - N(Y)I ~ N(x+ y).

f----->

EXEMPLES.

a) IK etant considere comme IK-espace vectoriel, x

[x] est une norme

b) Sur Ie IK-espace vectoriel IKn(ou sur Ie IR-espace vectoriel ICn)on peut definir les trois nonnes suivantes, qui sont dites normes standard sur IKn. v,(x)
=

sur IK.

L
i=

Ix,l;

vz(x) = (x = (XI'

(t

Ix,lzr
l

... , xn)).

Pour la verification de iii), dans Ie cas Vz, on utilise l'inegalite de Minkowski (11.1.2.3,1°). Notons que VI et Vz sont des cas particuliers de la norme :
vp(x)

= ( ,~,

IxilP

)ljP

(p reel;;. 1)

qui sera introduite au 4.5.1, 5°. * c) Sur Ie IK-espacevectoriel E des applications continues de [0, 1] dans IK,on dispose des nonnes:
N,(f) N 00 (f)

I/(t)1 dt; I/(t)I·.

Nz(f)

(f'

I/(t)12 dt

)Y.

= sup

r e jo, ')

Generalisation. - On appelle semi-norme sur un IK-espace vectoriel E, toute application N: E _IR+ verifiant les axiomes ii) et iii). * Ainsi dans I'exemple c) ci-dessus, si on remplace E par I'espace vectoriel des applications integrables sur [0, 1], N, et N2 sont des semi-normes. *

3.1.1.

ESPACES

VECTORIELS

NORMES

87

2° Espaees vectoriels norm/so - DEFINITION. On appelle lK-espace vectoriel norme (en abrege : e.v.n.) tout couple (E, N) oil E est un lK-espace vectoriel et N une norme sur E. Lorsqu'il N(x) = [x]. n'y a pas de risque de confusion, on adopte la notation :

Si F est un sous-espace vectoriel de E, il est clair que la restriction N~ est une norme sur F. (F, ~) est alors appele sous-espace vectoriel norme de I'e.v.n. (E, N). 3° Distance induite par une norme, - TIffioREME ET DEFINITION. Soit (E, 11'11) un e.v.n. L'appIication (x, y) 1---+ Ilx- yll est une distance sur E, appelee distance induite par la norme. La topologie induite par cette distance est dite topologie de la norme. Verification immediate.
Dans la pratique, par abus de notation, nous utiliserons en general la merne lettre E pour designer I'ensemble sous-jacent, l'espace vectoriel, I'e.v.n., I'espace rnetrique et I'espace topologique. PROPRIETES. -

a) La distance induite
E

est invariante

par

translation.

Soit d la distance

par la norme. d(x+z, y+z)

On verifie : = d(x, y). de la boule de meme

'V (x, y, z)

E3

Ainsi toute boule de E se deduit par une translation nature, de meme rayon, et de centre 0 E'

b) L'ensemble des boules de nature donnee, de centre OE' est invariant par homothetie (de rapport non nul). Ces deux proprietes nous conduiront boules de rayon 1 et de centre 0 E' souvent

nous

ramener

des

La boule Bo(OE, I) est dite boule unite ouverte. La boule B/(OE, I) est dite boule unite fermee. La sphere S(OE, I) est dite sphere unite. Elle n'est pas vide des que E '" {OE}' car elle contient alors x/IIx] pour tout x E E\{OE}'

c) L'application done continue.

1---+

Ilxll

de E dans 1R. est /ipschitzienne E2,

de rapport 1, 0

En effet, pour tout (x, y)

Illxll-llylll

~ Ilx- YII.

4° Espaces de Banach. - DEFINITION. - On appelle espace de Banach tout e.v.n. dont I'espace metnque associe est complet (abrevlativement : tout e.v.n. complet).
EXEMPLE. -

IKn est un espace de Banach,

pour chacune
N1)leNn

des trois nonnes

standard.

S° Espaees produits. meme corps lK. L'espace

Soit

(Ej,

une
=

vectoriel

produit

;=1

n E; peut
n

famille

d'e.v.n.

sur

Ie

etre muni de la

88

ESPACES

VECTORIELS

NORMES

3.1.1

topologie produit des topologies des Ei• On sait deja qu'il s'agit d'une topologie d'espace metrisable. On cons tate que les trois distances standard defmies au 2.3.4, 2° proviennent en fait des trois normes suivantes :

VI(x) ", tl

Ni(x);

V2(X)
ieN,.

(ti

[Nj(X)]2)'h

voo(x) = max Nj(x). qui sont dites normes standard associees aux Ni• Lorsque nous parlerons d'espace norme produit, il s'agira de E, muni de I'une de ces trois normes, qui definissent trois distances equivalentes. En utilisant 2.4.2, 3°, on constate que si les E, sont des espaces de Banach, il en est de meme de E.
6° Parties con vexes d'un e.v.n. - a) DEFINITION I. - Soient E un OCespace vectoriel, x et y des points de E. On appeUe segment de E d'extremites x et y l'ensemble [x, y] = {z E E 13 t E [0, 1] z = tx+(I-t)y}.

Dans Ie cas d'un e.v.n., il s'agit de la trajectoire d'un chemin.

polygonale.
DEFINITION III. - Une partie A d'un OC-espace vectoriel E est dite convexe si et seulement si, pour tout (x, y) E A2, Ie segment de E d'extremites x et Y est contenu dans A. DEFINITION IV. - Soient A une partie d'un OC-espacevectoriel E, et a un point de A. On dit que A est etoilee relativement a si, et seulement si, pour tout x E A, Ie segment de E d'extremites x et a est contenu dans A.

ieNn

DEFINITION
[Xi'

yJ

II. - Soit E un OC-espace vectoriel. Toute reunion finie de segments tels que Yi = Xi+ I pour tout i E Nn-1 est dite ligne

Ces definitions s'etendent aux espaces affines.

b) THEoREME I. - Toute boule $, ouverte ou fermee, d'un e.v.n. est convexe. Montrons Ie dans Ie cas: $ = Bo(a, r). Soient (x, y) E $2 et t E [0, 1]. Alors Iltx+(I-t)y-all, qui s'ecrit IIt(x-a)+(I-t)(y-a)ll, est majore par t Ilx-all + (I-t) Ily-all, et done strictement majore par r. 0 THEOREME II. - Toute partie convexe non vide A d'un e.v.n. E est une partie connexe par arcs (et donc connexe) de E. Soit (x, y) E A2. Associons lui I'application : o : [0, 1] ~ E t.~ tx+(l-t)y.

Pour tout (t', t")

([0,1])2, on a : cp(t')-<p(t") 11<p(t') <p(t")11~ It'-t"lllx-yll -

(t'-t")(x-y)

et:
A,

<pest done continue. On a [x, y] [x, y] est incIus dans A.

= <p([0, 1D. Or, d'apres la convexite de

3.1.2

ESPACES

VECTORIELS

NORMES

89

THEOREME III. Soit A une partie non vide d'un e.v.n. E, a la fois ouverte et connexe (on a dit que A est un domaine de E). Alors A est connexe

par arcs; on peut meme joindre deux points quelconques de A par une Iigne polygonale de E, incluse dans A.

Fixons a E A et etudions l'ensemble A' c A constitue par les points de A qui peuvent etre joints a a par une ligne polygonale incluse dans A. - A' n'est pas vide, a cause de a E A'. - A' est une partie ouverte de A. - En effet soit x E A'. Puisque x est un point de l'ouvert A de E, il existe une boule ouverte $ = Bo(x, r) de E incluse dans A. Pour tout y E $ on obtient une ligne polygonale de E joignant a a y en adjoignant Ie segment [x, y] - qui est inclus dans $ et done dans A - a une ligne polygonale joignant a a x. D'ou y E A' et $ cA'. - A' est une partie fermee de A. - En effet soit A" l'adherence de A' dans A, et soit x E A". D'apres x E A, il existe une boule ouverte $ = Bo(x, r) de E incluse dans A Ayant arbitrairement choisi y dans l'ensemble non vide A' () $, nous pouvons joindre y a a par une ligne polygonale incluse dans A ; en adjoignant a celle-ci Ie segment [x, y], qui est inclus dans A, on constate x E A'. On en deduit : A" = A'. 0 - A etant connexe, la seule partie non vide de A a la fois ouverte et fermee est A, et done A' = A. 0 Notons que la partie vide d'un e.v.n. est convexe, connexe pour arcs et ouverte. On peut done supprimer « non vide» dans les enonces des theoremes II et III.
COROLLAIRE. Une partie ouverte d'un e.v.n. est connexe si et seulement si elle est connexe par arcs. On sait en effet que toute partie connexe par arcs est connexe (2.6.3, 2°).

3.1.2. Applications lineaires continues

Dans ce paragraphe, E et F desiqnent des IK-espaces vectoriels normes. II est d'usaqe de noter I:(E, F) l'ensemble des applications lineaires continues de E dans F (resp. 1:.(E1, ... , E. ; F) l'ensemble des applications n-lineaires continues de E1 x ... x E; dans F). L'ensemble de toutes les applications lineaires de E dans F (resp. n-lineaires de E1 x ... x E. dans F) sera note L(E, F) (resp. L.(E1> ... , E.; F» dans les rares occasions ou if interoient dans Ie Cours d' Analyse. C(E, IK), note E', est dit dual topoloqique de E. 1° Caracterisation des applications lineaires continues. THEOREME.-

Soient E un IK-e.v.n., Fun IK-e.v.n., et u une application lineaire de E dans F. Les assertions suivantes sont equivalentes : i) u est continue sur E;

90

ESPACES

VECTORIELS

NORMES

3.1.2

ii) u est continue en E ; iii) u est bomee sur la boule unite fermee B = {x e E I IIxII iv) u est bornee sur la sphere unite . S = {x e E Illxll v) Il existe un reel k tel que: V x e E Ilu(x)1I ~ k [x] ; vi) u est lipschitzienne; vii) u est unlformemeat continue. i) ~

~ I}; = I};

ii). Simple consequence d'une definition. iii). Par hypothese, u est continue en 0E. Ayant choisi (par exemple 80 = 1), on peut lui associer ao e IR! tel que: ii) ~
VxeE

80

e IR!

Pour tout x e B, on a Ilaoxil ~ ao, et donc IIu(aox) II ~ 80' ce qui s'ecrit Ilu(x)11 ~ 80/ao· 0 iii) ~ iv). Trivial. iv) ~ v). Par hypothese il existe k e IR+ tel que : V xeS Pour tout x ilu(x)11 ~ k.

e E\{OE}

on a

II~II e S,

et done

Ilu ( II~II )11 ~

k, ce qui

s'ecrit Ilu(x)11 ~ k [x], -En outre, cette derniere = 0E. v) ~ vi). L'hypothese etant v), on a: V (x, y) e E2 vi) ~ vii) et vii) ~ Ilu(x)-u(Y)11 i). Resultats = Ilu(x-y)1I connus.

inegalite est verifiee pour

0
~ k Ilx-yll. 0

2° L 'espace vectoriel normi qE, F). - THEOREME ET DEFINITION. Soient E et F des ]I(-e.v.n. L'ensemble qE, F) des applications lineaires continues de E dans F est un sous-espace vectoriel de I'espace vectoriel L(E, F) des applications lineaires de E dans F.
u
1-----+

La boule B et la sphere S etant celles qui ont ete definies au 1°, l'application Ilull = sup lIu(x)11 est one norme sur qE, F).
xeB

Si E =1= {OE}, on a : Vuef..(E, F) Pour tous (u, v) e (l.(E,

Ilull =

sup
X;"OE

IIu(x) II -11-1-1 =
X

sup Ilu(x)lI·
xeS

F»2,

(a, p) e]l(2 et x e E, on a

II (au+pv)

(x)

II =

lIau(x)+pv(x) associes

II ~ lal II u(x) 11+IPIII

vex)

II

(I)

et, k et k' etant respectivement lI(au+pv)

a u et

v (assertion IIxll

v) du 1°) :

(x)1I ~

(Ial

k+ IPlk')

D'ou :

(au + pv) e l.(E, F). nulle, est ainsi un sous-espace de L(E, F,).

f..(E, F), qui contient I'application

3.1.2

ESPACES

VECTORIELS

NORMES

91

- On sait que, pour tout u E qE, F), I'application continue u est bornee sur B. D'ou I'existence de I'application 11"11 : qE, F) -+ lR+. Si Ilull = 0, alors, pour tout x E B, Ilu(x)11 = 0 et done u(x) = OF. Tout vecteur x E E s'ecrivant Ilxll y, avec y E B, on a u(x) = OF pour tout x E E; u est done l'element nul de L(E, F). - 11a: = Ia:lliull et Ilu+vll ~ Ilull + Ilvll se verifient tout aussi faciull lement en utilisant (I). Soient' a

= sup II ~I(XI)III et b = sup

X"OE

Ix

Ilu(x)ll,
1----+

(lorsque E #= {OED.

xeS

On a:

b ~ [u], En remarquant que x

11;11 est une surjection

de E\{0E} sur S, on obtient a = h. Enfin de la definition de a on deduit : ('r/ x E B IIu(x) II ~ a), et done Ilull ~ a. 0
REMARQUE. -

II est utile de retenir que Ilull est Ie plus petit des reels positifs k tels que:
'rIxeE Ilu(x)

II ~ kllxll

Convention. - L'espace qE, F) sera toujours considere comme muni de la norme definie ci-dessus. Celle-ci depend, bien entendu, des normes considerees sur E et F. Soient E, F, G des 1K-e.v.n. Pour tous u E L(E, F) et E qE, G) et Ilv 0 ull ~ Ilvll Iluli. - L'appartenance de v 0 u a qE, G) tient au fait que la composee de deux applications lineaires (resp. continues) possede la merne propriete.
v
E 0

3° THEoREME. qF, G), on a v

De:

'r/ x 'r/

et on deduit
D'ou:

yE

'r/xEE

Ilull [x] IIv(y)11 ~ Ilvll Ilyll Ilv 0 u(x)11 ~ [v] Ilull [x]. Ilv 0 ull ~ Ilvll Iluli.
Ilu(x)11 ~

4° Applications lineaires bieontinues. - THEOREME. Soient E et F des 1K-e.v.n.,et u one surjection Iineaire de E sur F. Pour que u soit on homeomorphisme, il Caut et Il suffit qu'i1 existe des reels a: et f3 strictement positifs tels que:
'r/xEE

a: Ilxll ~

iiu(x)1\

f3 [x].

(2)

La condition est necessaire. sont continues.

Par hypothese u est bijective, u et u-1

II existe f3 E lR+ tel que: 'r/ x E E IIu(x) II ~ f3 Ilxll. II existe Y E lR+ tel que: 'r/ y E F Ilu-1(Y)11 ~ Y Ilyll, et (en Ie remplacant eventuellement par un reel plus grand), on peut supposer Y E lR.!, ce qui permet de poser y = a:-1• On peut aussi supposer f3 E lR.!. En faisant y = u(x) dans la derniere inegalite, on obtient :
'r/xEE

Ilxll ~ a:-1

Ilu(x)ll.