Professional Documents
Culture Documents
NO 15 de lEnseignement Mathmatique
INTRODUCTION
A LA THORIE DES ENSEMBLES
ET A LA TOPOLOGIE
par K. KURATOWSKI
(epuis)
algbriques
et s,tructures
topologiques
(puis)
J.-P. SERRE
mromorphes
par G. VALIRON
9. Larithmtique
des corps quadratiques
par A. CHTELET
10. Problmes de mesure
par H. CARTAN, J. D~XMIER, P. DUBREIL, A. LICHNEROWICZ,
Il.
A. REVUZ
Differentialgeometrie
und Topologie (Internationales
Kolloquium, Zurich 1960)
von R. BOTT, H. BUSEMANN, S. S. CHERN, B. ECKMANN, P. J. HILTON,
F. HIRZEBRUCH, A. LICHNEROWICZ, J. MILNOR, N. E. STEENROD, R. THOM
Bore1
INTRODUCTION
A LA THORIE DES ENSEMBLES
ET A LA TOPOLOGIE
KAZIMIERZ
KURATOWSKI
Professeur
lUniversit
de Varsovie,
membre de lAcadmie polonaise des Sciences
TRADUIT
DE
LDITION
ANGLAISE
par
M. VUILLEUMIER
Dr s Sciences
LENSEIGNEMENT
Institut de Mathmatiques
MATHMATIQUE
de lUniversit
de Genve
1966
Edition originale
K.. KURATOWSKI
WSTQP
DO TEORII
Patistwowe
lMNOGO%I
Wydawnictwo
1 TOPOLOGII
Naukowe,
1955
Copyright
0
1966
by PAfiSTWOWE
WYDAWNICTWO
WPLRSZAWA
Imprimerie
KUNDIG,
Albert
NAUKOWE
Genve-Suisse
TABLE
Prface ldition
Prface ldition
anglaise
franaise
DES MATIRES
PREMIRE
THORIE
Introducti(on
la premire
0 1. La disjonction
et la conjonction
4 2. La ngation
.................
5 3. Limplication
.................
Exercices ...................
DES ENSEMBLES
. . . . .
FONCTIONS
PRODUITS
11
12
13
14
des propositions
ENSEMBLES.
FINIES
III.
. . .
PROPOSITIONNEL
11. ALGBRE
DES
OPRATIONS
5 1.
5 2.
5 3.
0 4.
Q 5.
$ 6.
PARTIE
partie
I. CALCUL
5 1.
5 2.
5 3.
5 4.
5 5.
0 6.
1
2
....................
....................
. .
. .
.
.
.
.
.
.
.
.
.
.
.
15
16
17
19
21
22
24
PROPOSITIONNELLES.
CARTSIENS
Lopration
{x: y (.x)} .....................
Les quantificateurs
......................
Couples ordonns .......................
Produit cartsien .......................
Fonctions propositionnelles
de deux variables ..........
Produit cartsien de n ensembles. Fonctions propositionnelles
variables ...........................
26
27
29
30
31
de n
33
VI
THORIE
DES ENSEMBLES
0 7. Idaux et filtres
. . .
0 8. Remarques sur les axiomes
Exercices
. . . . . .
IV.
Dl.
0 2.
9 3.
$4.
5 5.
5 6.
5 7.
0 8.
.
. .
.
LA NOTION
DE
LES OPRATIONS
ET TOPOLOGIE
. .
FONCTION.
INFINIES
La notion de fonction
................
Oprations gnralises
................
La fonction F, ={y: p (x. y)} .............
Images et images rciproques dtermines par une fonction
Les oprations S(R) et P(R) ..............
Familles densembles addit.ives et multiplicatives
.....
Familles borliennes
.................
Produit cartsien gnralis
..............
Exercices .......................
V. LA
NOTION
DE PUISSANCE
DUN
ENSEMBLES
DNOMBRABLES
5 1. Fonctions biunivoques
.
.
5 2. Ensembles quipotents
.
.
Q 3. Ensembles dnombrables
.
Exercices
. .
. . . . . . . .
VI.
OPRATIONS
LES
0 1.
0 2.
8 3.
Q4.
Dfinitions
.
Similitude.
Types
Ordre dense . .
Ordre continu
.
Systmes inverses.
Exercices . . . .
. .
. .
.
38
39
41
42
43
44
46
47
48
ENSEMBLE.
. .
. .
52
54
55
59
Addition et multiplication
.
Exponentiation
. .
. . . . .
Ingalits entre nombres cardinaux
Proprits du nombre C .
. .
Exercices .
. . . .
. . .
VII.
5 1.
5 2.
8 3.
5 4.
$ 5.
34
35
36
R.ELATIONS
. . . . .
dordre
. . .
. .
. . . .
. . . . . . .
Limites inverses
.
. . . .
.
. .
. .
.
. .
61
63
67
70
73
DORDRE
. .
.
74
74
76
76
77
79
TABLE
VIII.
DES MATIRES
LE BON
VII
ORDRE
l.Lebonordre
........................
4 2. Thorme sur linduction
transfinie ...............
0 3. Thorme sur la comparaison des nombres ordinaux ........
0 4. Ensembles de nombres ordinaux
................
$5. Le nombren
........................
9 6. Larithmtique
des nombres ordinaux ..............
8 7. Thorme sur la possibilit de bien ordonner un ensemble quelconque
Exercices ...........................
DEUXIME
81
82
82
85
86
88
90
95
PARTIE
TOPOLOGIE
Introduction
la deuxime
IX.
8 1.
0 2.
0 3.
5 4.
5 5.
0 6.
7.
ESPACES
partie
MTRIQUES.
. .
ESPACES
. .
. . .
97
EUCLIDIENS
0 1.
5 2.
5 3.
0 4.
Q 5.
0 6.
Q 7.
. . . . .
bornes
.
.
103
104
105
105
106
107
109
110
TOPOLOGIQUES
Dfinition.
Axiomes de la fermeture
..............
Rapports avec les espaces mtriques
..............
Proprits algbriques de la fermeture.
.............
Ensembles ferms. Ensembles ouverts ..............
Oprations sur les ensembles ferms et les ensembles ouverts ...
Points intrieurs
.......................
Dfinition
de lespace topologique
partir de la notion densemble
ouvert ............................
5 8. Base et sous-base de lespace. .................
4 9. Topologie relativise aux sous-ensembles dun espace topologique
.
$10. Comparaison
de topologies
..................
Exercices ...........................
111
111
113
114
115
117
118
119
120
120
121
VIII
THORIE
XI.
5 1.
5 2.
1 3.
5 4.
5.
0 6.
. .
. .
. .
PRODUITS
ESPACES
124
125
126
127
127
128
129
CONTINUES
131
133
137
144
147
148
150
152
CARTSIENS
XIV.
0 1.
0 2.
0 3.
5 4.
5 5.
APPLICATIONS
. .
. .
. .
Continuit
..........................
Cas des espaces mtriques ...................
Distance dun point un ensemble. Extension des fonctions continues
Espaces normaux. Gnralisation
du thorme de Tietze .....
Espaces compltement
rguliers
................
Homomorphismes
......................
Exemples dhomomorphisme.
.................
Exercices ...........................
XIII.
Q 1.
# 2.
5 3.
5 4.
5.
5 6.
7.
ET TOPOLOGIE
DIVERSES
FAMILLES
DENSEMBLES.
LENSEMBLE
DRIV
XII.
Q 1.
5 2.
0 3.
5 4.
5 5.
5 6.
5 7.
DES, ENSEMBLES
.
.
.
.
155
155
157
158
159
160
163
164
BASE DNOMBRABLE
..........
de Cantor-Bendixson
167
168
169
171
173
174
TABLE
XV.
5 1.
5 2.
0 3.
5 4.
ESPACES
MTRIQUES
ESPACES
177
178
178
180
181
......
COMPACTS
CONNEXIT
. .
.
.
. .
.
0 1. Ensembles
0 2. Proprits
NOTION
DE
.
. .
. .
. .
216
218
223
224
225
226
231
LOCALE
183
183
185
187
189
200
201
203
205
209
CONNEXIT
Dfinition.
Ensembles spars . . .
Proprits des espaces connexes . .
Composantes
. .
. . .
Produits cartsiens despaces connexes.
Les continus .
.
. . .
. .
Proprits des continus
. .
. . .
Exercices
. . . . .
. .
XVIII.
Q 1.
5 2.
0 3.
0 4.
COMPLETS
...................
Dfinition
......
...................
Proprits fondamentales.
Produits cartesiens. Thorme de Tychonoff ...........
Compactification
(de Lech-Stone) des espaces compltement
rguliers
.................
Espaces compacts mtriques
Topologie
de convergence uniforme de Yx ..........
Topologie compacte ouverte .................
Discontinu
de Cantor ....................
Applications
continues du discontinu de Cantor ........
Exercices ..........................
XVII.
0 1.
0 2.
0 3.
5 4.
5 5.
9 6.
IX
.................
Espaces mtriques complets
Le thorme de Cantor ...................
Le thorme de Baire ....................
Extension dun espace mtrique un espace complet
Exercices ..........................
XVI.
0 1.
0 2.
0 3.
5 4.
5 5.
5 6.
5 7.
0 8.
9.
DES MATIRES
...
. . . . .
. . . . .
234
234
236
238
243
DIMENSION
de dimension 0 .
. . . . . . .
des ensembles de dimension 0 . . . .
245
246
THORIE
DES
ENSEMBLES
ET
XX.
5 1.
5 2.
5 3.
Q 4.
SIMPLEXES
246
248
250
.............
ET LEURS
PROPRITS
Les simplexes
........................
La subdivision simpliciale
...................
Dimension
dun simplexe
...................
Le thorme du point fixe ...................
Exercices ...........................
XXI.
5 1.
5 2.
5 3.
0 4.
0 5.
5 6.
LES
TOPOLOGIE
Groupes
Simplexes
Le bord
Groupes
Nombres
Groupes
Exercices
COMPLEXES.
CHAINES.
abliens
.
orients. Chanes
dune chane. C:ycles
dhomologie
.
de Betti
. . .
de cohomologies
. .
.
XXII.
251
252
254
256
260
HOMOLOGIES
.
.
.
COUPURES
DU
262
264
266
267
269
270
271
PLAN
280
281
285
287
289
290
294
LISTE
297
298
INDEX
DES
SYMBOLES
. .
IMPORTANTS
.
.
. .
. .
. . .
278
279
PRFACE
A LDITION
ANGLAISE
Septembre
1960
KLJRATOWSKI
PRFACE
A LIZDITION
FRANAISE
THORIE
DES
ENSEMBLES
ET
TOPOLOOIE
KURATOWSKI
INTRODUCTION
A LA
PREMIRE
PARTIE
THORIE
DES
ENSEMBLES
INTRODUCTION
THORIE
DES
ENSEMBLES
INTRODUCTION
sont englobes dans la thorie des ensembles (par des auteurs tels que
Dedekind,
Du Bois-Reymond,
Bolzano), mais nanmoins, ltude
systmatique des proprits gnrales des ensembles, ltablissement
des dfinitions et thormes fondamentaux et la cration, sur leur base,
dune discipline
nouvelle
des mathmatiques,
cest luvre
de
G. Cantor (durant les annes 1871-1883).
Ce sont des problmes danalyse, les fondements de la thorie
des nombres irrationnels, la thorie des sries trigonomtriques,
etc.,
qui ont t lorigine des recherches dont est sortie la thorie des
ensembles. Cependant, cette thorie a continu par la suite se
dvelopper dans une direction abstraite, indpendamment
des autres
branches des mathmatiques. Ce fait, ajout une certaine tranget
des mthodes, entirement diffrentes de celles employes jusqualors,
a t cause de ce que beaucoup de mathmaticiens
ont regard, au
dbut, cette nouvelle branche des mathmatiques
avec une certaine
dfiance et une certaine rpugnance. Au cours des annes, cependant,
quand la thorie des ensembles eut montr son utilit dans beaucoup de
branchesdesmathematiques,
commela thoriedes fonctions analytiques
oula thorie de la mesure, et quand elle devint une base indispensable pour
de nouvelles disciplinesmathmatiques
(tellesque la topologie, la thorie
des fonctions relles, les fondements
des mathmatiques),
elle fut
admise comme une branche et un outil importants des mathmatiques
modernes.
Parmi les livres qui peuvent tre utiles dans ltude de la thorie
des ensembles, nous mentionnerons les suivants (les livres de topologie
mentionns dans lintroduction
de la partie II contiennent galement
les notions de base de la thorie des ensembles):
P. S. Einjiihrung
in die Mengenlehre und die Theorie
der reellen Funktionen, Berlin 1956.
BERNA~S, P. Axiomatic Set Theory, N.-Holland
Publ. Comp., Amsterdam, 1958.
BOURBAKJ,
N. Thorie des ensembles, Paris, Hermann,
NOS 1141,
1212, 1258.
BREUER, J. Introduction
to the Theory oJ Sets, Prentice-Hall
Inc.,
Englewood Cliffs, N.J., 1958.
FRAENKEL, A. Abslract Set Theory, N.-Holland
Publ. Comp., Amsterdam 1953.
ALEXANDROV,
10
THORIE
L)ES ENSEMBLES
A. and Y. BAR-HILLEL,
Foundations qf set theory, Amsterdam, 1958.
HALMOS, P. Naive Set Theory, Van Nostrand Comp., Princeton, N.J.,
1960.
HAUSDORFF,
F. Mengenlehre, Berlin 1927 (Set Theory, Chelsea, New
York, 1957).
HILBERT,
D. und BERNA~S, P. Grundlagen der Mathematik,
2 vol,
Berlin 1934- 1939
KAMKE,
E. Mengenlehre, Berlin 1955 (Theory of Sets, Dover Publications, New York 1950).
KLAUA, D. Allgemeine Mengenfehre,
Berlin 1964.
NATANSON,
1. P. Theory of Functions of a Real Variable, Ungar,
New York 1955, chapitres 1 et II.
SIERPINSKI,
W. Algbre des ensembles, Monografie
Matematyczne,
Warszawa-Wroclaw
195 1.
SIERPINSKI,
W. Cardinal and ord,fnal numbers, Monographie
Matematyczne, Warszawa-Wroclaw
1958.
SUPPES, P. Axiomatic Set Theory, Van Nostrand
Comp., Princeton,
N.J., 1960.
TARSKI, A. Cardinal Algebras, Oxford Univ. Press, New York 1949.
FRAENKEL,
CHAPITRE
CALCUL
PROPOSITIONNEL
et la conjonction
des propositions
OVOEO,
Ovlrl,
lvO=l,
lvl=l,
(2)
OAOEO,
OAl-0,
lAoE0,
1AlEl.
Le signe dquivalence
utilis dans les formules prcdentes se
prsente entre propositions;
Iquivalence c1 = fi a lieu si et seulement
si CI et p ont la mme valeur logique.
La disjonction et la conjonction
des propositions
sont commutatives et associatives, cest--dire
CIV/?EfiVCI,
CiAfi-/?AU,
(3)
CI
(/?!y)
La distributivit
(CCVP)
y,
C!
(DAY)
(UAP)
y.
12
THORIE
DES
ENSEMBLES
11
On peut vrifier les lois prcdentes - ainsi que toutes les lois du
calcul propositionnel
- en substituant les valeurs 0 ou 1 aux variables
et en appliquant les formules (1j1 et (2).
Q 2. La ngation
Nous introduirons
ensuite lopration de ngation dune proposition c1que nous noterons par CC(ou par - M). La ngation dune proposition vraie est une propositio-n fausse, et rciproquement,
la ngation dune proposition
fausse est une proposition
vraie. Nous avons
donc le tableau suivant:
lE0,
De l on obtient
(7)
Deux
dcoulent
(8)
OEl.
thormes fondamentaux
de la logique
facilement des formules (l), (2) et (6):
cl v CI = 1,
AU
aristotlienne
0;
ce sont le principe du tiers exclu (principium tertii exclusi) et le principe de contradiction (elles sont formules en logique classique de la
manire suivante : de deux propositions
contradictoires,
lune est
vraie; aucune proposition
ne peut tre vraie en mme temps que sa
ngation).
De plus, on a les lois importantes de de Morgan :
(9)
(M
(10)
(aA/?)
/?)
A p
CX
CI V p.
La premire de ces lois affirme que sil nest pas vrai que lune des
deux propositions CI ou p est vraie, alors les deux propositions c( et fi
sont fausses (ou encore, la ngation de lune et de lautre proposition
CALCUL
31
13
PROPOSITIONNEL
(11)
(12)
tl*
(13)
Et (a v fi = 1) ;
= 1 ) (O*l)
= 1 ) (l=S-O) = 0, (l*l)
E 1.
si a *
fi et fl =- a alors
CI = b.
14
THORIE
position
(reductio
(de laquelle
ad absurdum)
DES ENSEMBLES
[I
Exercices
1. Montrer que si t( est une proposition
vraie alors p * c( est aussi une proposition vraie. [Indications:
ici et clans les exercices qui suivent, appliquer les
tableaux (Czro-un )) (l), (2), (6) et (13)].
2. Si a+
fausse, alors a*
p*a+-r
5.Sisr*pety*6,alors~(A
6. Sia+p,alorsrr\
p.
y*pAWet~v~~*~VS.
p=ccetuvP=P.
7. Montrer
que G( v (C~Ap) = IN = G(A (EV~)
(foi dabsorption).
faon plus gnrale on a: GCV (@A y) =- (a v p) A (a V y) .
que (m vP)
8. Soit (d(p) = [(d(A p) V (cdA f3)] . Montrer
p)] . On appelle 01L p la diffrence symtrique des propositions
est sa signification logique?
(a~
Dune
[(ccl
f3) A
d( et p; quelle
CHAPITRE
ALGBRE
DES
OPRATIONS
5 1. Oprations
II
ENSEMBLES
FINIES
16
THkORIE
Ainsi,
B-A=0
dans la figure
DES ENSEMBLES
2 on a A n B = 0 et dans la figure
3,
fypJ(-Jjp-JfYjJ
fig. 1
fig. 2
fig. 3
Les oprations sur les ensembles sont en relation troite avec les
oprations sur les propositions.
Ecrivons x E A pour signifier que x
est un lment de lensemble A (nous conviendrons
de noter les
lments par des lettres minuscules et les ensembles par des lettres
majuscules); on a alors les quivalences suivantes, qui ont lieu pour
tout x:
(1)
[xEAuB]
(2)
[EA~B]
= [EA]
A [xEB] ,
(3)
[xEA-B]
SE [xEA]
A [XE~?] .
[xA]
[X~I]
Grce aux formules (1:) (3) on peut facilement dduire des thormes sur le calcul des ensembles partir de thormes analogues du
calcul des propositions.
Notons que
(4)
si lquivalence
et en consquence la dmonstration
de lgalit A = B se rduit
montrer que x appartient A si et seulement si il appartient B.
ALGBRE
9 31
DES
17
ENSEMBLES
(5)
AnB=BnA.
La
loi
AU(BUC)
= (AUB)UC,
A n(BnC)
= (Ad?)
n C.
de distributivit
A n (BuC)
(7)
= (AnB)
u (AnC)
(8)
n (CuD)
= (AnC)
u (BnC)
u (AnD)
u (BnD)
u (BnD)
n (CuD)
= [(AuB)nC]
= (AnC)
u [(AuB)nD]
u (BnC)
=
u (AnD)
Ainsi en gnral, comme dans larithmtique, si lon veut dvelopper lint.ersection de deux runions, on doit prendre lintersection de
chaque terme de la premire runion avec chaque terme de la seconde
runion et alors former la runion des intersections ainsi obtenues.
Lanalogie entre larithmtique et le calcul sur les ensembles
nest cependant pas complte. Par exemple, en contraste avec larithmtique, les rgles immdiates suivantes
(9)
AuA
=A,
(10)
AnA
=A,
mettent en vidence que ni les multiples ni les puissances ne se prsentent dans lalgbre des ensembles.
3 3. Linclusion
_--
18
THORIE:
DES
ENSEMBLES
VI
[A c B] E [limplication
En particulier,
tout x] .
il sensuit que
A CA,
(12)
si A c B et B C A,
alors
A = B,
E [xEB] ,
*XEB
et XEB
que
si A c B et B: C C,
(AnB)
+XEA
alors
A C C,
A - B c A,
c l4 c (,4uB),
si A c B et C C 1)) alors
(AU~)
C (Bull)
et (AnC)
Les quivalences
(17)
(AcB)
E (AnB=A).
c (Bd)).
ALGBRE
9 41
DES
19
ENSEMBLES
(AuB)c(BuB)
= B,
(AuB)
(18)
n (AuC)
= A u (BnC)
n (AU~)
= (AnA)
u (BnA)
u (AnC)
u (BnC)
Au(BnA)u(AnC)u(BnC).
(19)
AnB
(20)
Au(B-A)=AuB,
(21)
A-(AnB)=A-B,
(24
An(B-C)
8 4. Espace. Complmentaire
=A
-(A-B),
= (AnB)-
C.
dun ensemble
20
THORIE:
DES
ENSEMBLES
[II
de A (par rapport
lespace 1).
x E A =- [x64]
(23)
E X+/l.
(24)
0=1,
A
(25)
AuA
(26)
Les formules
= A,
= 1,
AnA=@.
la formule
.4 - B = A n Il ,
(27)
= [xEA]
La formule
(28)
immdiatement
A [xEB]
au moyen de lintersection
= [xEA]
A [xEB]
A alors
3 [xdnB]
(,4uB)
= An
que
B.
et du
B,
aux lois de
51
ALGBRE
(AnB)
(30)
car on a, dans le premier
x E(AuB)C
DES
21
ENSEMBLES
= A u B )
cas,
= [XE(AUB)]
= [(XEA) v (XEB)]
= [XEA]
A [XEB]
E x E (AnB)
et le second cas se dmontre
La formule vidente
implique
An1
(31)
=A
(32)
u (AnB),
= (An@
u (AnB).
[AcB]
E [AnB
suivante
= 01.
de lalgbre
des ensembles
Dans les considrations prcdentes, on na utilis que quelquesunes des proprits des ensembles. Ces proprits peuvent tre prises
comme un systme daxiomes desquels dcoulent tous les thormes
de la thorie des ensembles donns plus haut.
Ainsi, prenons comme concepts premiers les concepts densemble,
dlment et de relation dappartenance,
cest dire la relation x E A ,
et posons les quatre axiomes suivants.
1. AXIOME
DUNICIT.
Si les ensembles A et B ont les mmes
lments alors A et B sont identiques.
22
TH;ORIE
DES ENSEMBLES
AXIOME
DEXISTENCE.
de Boole l
Nous allons donner maintenant une autre nthodr de conception axiomatique de lalgbre des ensembles.
Prenant comme concepts premiers lensemble 0 et les opcrations
u, n, -> nous posons les axiomes suivants:
(1)
AuB=BuA,
(2)
AnB
= BnA,
9 61
ALGBRE
DES
23
ENSEMBLES
(3)
A u (BUC)
= (AUB)
u c )
(4)
A n (BnC)
= (AnB)
n C,
Au0
(5)
=A,
Au(AnB)
(6)
A n (BuC)
(7)
= (AnB)
An(AuB)
oo>
(A-B)uB
(9)
(10)
=A,
u (AnC)
=A,
= AuB,
(A-B)nB
= 0.
(11)
Ajoutons
An1
que linclusion
(AcB)
=A.
(cf. (17))
3 (AuB=B).
La thorie base sur les axiomes que lon vient dnoncer est
appele algbre de Boole. Les applications
de lalgbre de Boole
stendent bien au del de la thorie des ensembles; en effet, on na
pas besoin dinterprter
les variables A, B, .. . comme des ensembles;
si par exemple, on les interprte comme des propositions, on obtient
le calcul propositionnel.
Cest ce qui explique la dualit entre le calcul
propositionnel
et lalgbre des ensembles : la disjonction (ou somme)
v des propositions,
correspond
la runion (ou somme) u des
ensembles, la conjonction
(produit)
A des propositions,
lintersection (produit)
n des ensembles, la ngation CI dune proposition CI, le complmentaire
A dun ensemble A, etc. (voir aussi Chapitre IV, $ 3).
Rcemment, dautres interprtations
de lalgbre de Boole ont
permis de lappliquer
dans des domaines varis des mathmatiques,
et mme en dehors des mathmatiques (par exemple, dans la thorie
des rseaux lectriques).
24
THORIE
[II
I>ES ENSEMBLES
Exercices
1. Dmontrer
les formules
suivantes:
(4
Au(AnB)==A
=An(AuB),
(b)
(AUB)
Cc)
A - (B-c)
-- c = (A-C)
= (A-B)
A - (BU~)
(4
u (B-C)
>
u (AnC),
= (A-B)
C.
2. Lensemble
A - B = (A-B)
u (B-A)
A 2 (B= C) = (A-LB) 2 C
A n (B:
C) = (AnB)
(associativit),
(distributivit),
2 (AnC)
AuB=A-B~(Anll),
A--B
= Ai
(Ane).
(0
(ii)
(iii)
(iv)
(4
les formules
x + (y+z)
il existe un lment
=y+x,
= (x-tu)
+ z,
0 tel que x + 0 = x ,
tel que y + z = x ,
x.y=y.x,
(4
x . (y.z:l = (x.y)
. z,
(vii)
x . (.V-tz) := x . y + x
z.
un
donns de lespace
1, et posons
Ex.]
ALGBRE
DES
25
ENSEMBLES
est appele un constituant de lespace (par rapport aux ensembles A,, A,, . . . . A,).
Montrer que les constituants sont disjoints et que leur runion est gale 1 (donc
la dcomposition en constituants effectue une classification des lments selon leur
appartenance aux ensembles A,, A,, . . . . A,,).
6. Reprsenter lensemble A - (II- C) comme la runion
lespace par rapport aux ensembles A, B et C.
de constituants
de
CHAPITRE
III
FONCTIONS
PROPOSITIONNELLES.
PRODUITS
CARTSIENS
Soit donn un ensemble, que dans la suite nous considrerons
comme lespace. Une expression cp (x) qui devient une proposition
quand on substitue x un lment quelconque de lespace considr,
est appele fonction propositionnelle (avec un domaine born de largument; on considre en efIet quelquefois des fonctions propositionnelles dont le domaine de la variable x nest pas rduit un ensemble
fixe.).
Par exemple, si lespace considr est lensemble des nombres
rels, alors lexpression (( .Y > 0 est une fonction propositionnelle;
elle devient une proposition vraie si on substitue X, par exemple, 1,
et elle devient une proposition
fausse si lon substitue x le nombre
- 1.
6 1. Lopration
{ x : rp (x) }
Wdx)},
ou encore par E, cp (x).
Par exemple, dans lespace des nombres rels, lensemble {x : x>O)
est lensemble des nombres positifs, lensemble
{ x : x=x } est
lespace entier des nombres rels, et lensemble { x : x+ 1 =x }
est lensemble vide.
Il dcoule de la dfinition
de lopration
{ x : q (x) } quune
condition ncessaire et suffisante pour que llment a appartienne
lensemble { x : rp (x) } est que la proposition
cp (a) soit vraie. Ainsi
on a lquivalence suivante
(1)
pour
tout
El21
FONCTIONS
27
PROPOSITIONNELLES
suivantes.
(2)
(3)
{ x : cp(4
(4)
(5)
( x : l1/(x) }] 55
Et aE{x:
do il rsulte lgalit
On peut dmontrer
cp(x)}u{x:
$(x)},
5 2. Les quantificateurs
Considrons
sur les fonctions
suivantes
dfinies
Vx cp(xl et A, 40(x).
On lit la formule V, cp (x) : il existe un x qui satisfait la fonction
cp (x) ; lexpression A, 40(x) veut dire que tout x satisfait la fonction
q (x). (Les symboles gX, ZX respectivement Y,, n, sont utiliss dans
le mme sens.)
11 est clair que ces oprations transforment
les fonctions propositionnelles en propositions.
Les symboles de ces oprations V et A
sont appels quantijicateur
existentiel, respectivement,
quantijicateur
universrl.
Par exemple, dans lespace des nombres rels la proposition
V, (x> 0) est vraie mais la proposition
A, (x> 0) est fausse.
La variable x qui est une variable libre dans la fonction propositionnelle 40(x) devient une variable lie dans la proposition
V, cp (x)
1
Jf(x)
vx 40(4
= v, cp(Y).
que
28
THORIE
DES
[III
E:NSEMBLES
= [Y (4
kcY(X)
= [Yod
AY
(6)
Notons maintenant
tration est aise:
(7)
pour
A ..* v@,)].
(8)
(9)
YJdx)
ww]
* V,Y(X)
AV.Yti(X).
V, (x est un nombre
positif)
V, (x est un nombre
ngatif)
kY(X)
A A.,+(X)
(11)
A, Y (xl v kz * (4
= Ax[Y(X)
*
A k(X)]
A, [Y 64 v ti <X>l .
Morgan
(17-9
[AA: Y (x)-j
= vx Y 6) 2
(13)
[V, y <X>l
= A, y (4 .
FONCTIONS
31
29
PROPOSITIONNELLES
Lv(x>
= [VdP(X)]>
V,cp(x)
= [AdP(X)]~
Remarquons
en dernier lieu, quau lieu des symboles V, et A,
on emploie souvent les symboles plus compliqus V,,,,
et A$(,,,
o $ (x) est une fonction propositionnelle
donne, qui sont dfinis
par les quivalences
5 3. Couples ordonns
On dsigne lensemble constitu de lunique lment a par le
symbole ( a } (il faut remarquer que { a } #a), lensemble constitu
des deux lments a et b par { a, b >, et dune manire analogue,
lensemble constitu de a, b et c par { a, b, c } .
Il est vident que les symboles { a, b } et { b, a } dsignent le
mme ensemble. Dans la suite, nous aurons besoin de la notion de
couple ordonn avec un prdcesseur a et un successeur 6, que nous
noterons (a, b) . On considre le couple (a, b) comme diffrent du
couple (b, a) ( moins que a = 6); plus gnralement, les couples
(a, 6) et (c, d) sont gaux seulement si a = c et b = d, en dautres
termes sils ont mmes prdcesseurs et mmes successeurs:
(15)
que la condition
30
THORIE
0 4. Produit
DES
[III
ENSEMBLES
cartsien
(17)
A [YE Y].
(18)
x Y = (X,x
Y)u(X,x
Y),
do
(19)
(XIUX,)
x (YlUYd
=
(20)
(21)
(x,
(X, -X,)
(Xl nx,)
X Y,)
1J (x,
X Y,)
U (x,
X Y,)
U (x,
X Y,),
x Y = (X, x Y) - (X, x Y) )
A [Y1 = YJ .
Les formules
prcdentes peuvent aisment tre interprtes
gomtriquement
si lon suppose que X x Y est le plan daxes Xet Y
et que Xi c X, X2 c X, Y, c Y, Y, c Y.
De la mme manire, on peut facilement interprter
gomtriquement les deux formules:
(23)
(24)
A XB
(AXB)
= (A.xY)n(XxB),
= (AxY)u(XxB),
3 51
FONCTIONS
31
PROPOSITIONNELLES
= (AnX)
x(YnB)
= A
xB,
et
(240)
(AXY)
= (AXY)
$ 5. Fonctions propositionnelles
et
(XXB)
= (XXB).
de deux variables
v, v, cp(XTY>
= v, vx cp (XT Y> 9
(26)
A, A, cpCGY>
= Ay A, cp (x2 Y> .
32
THORIE
oprateurs
suivante :
DES
V et A est significative,
V,~,~~(X~Y)
(27)
[III
ENSEMBLES
et lon a la formule
importante
~,VX~(X>Y).
Le membre de gauche exprime quil existe un xc, tel que, pour toute
valeur de la variable y, cp (x,, y) est vraie; il en rsulte qu tout 4
on peut associer un x ( savoir x == xO) tel que rp (x, Jo) est vraie, et
cest bien ce quexprime le membre de droite.
Dautre part, limplication
dans le sens oppos na pas lieu
(comparer avec la formule (9)). Par exemple, dans le domaine des
nombres rels, il est vrai que
<Y);
mais la proposition
I\x v, ( If(x)
I < Y>
valeurs
A,,, CP6,~)
vx bc4
ww]
on peut remplacer
=+-V,,y[cp(4
- V.rp(x)
A *(Y)]
la formule
(9) par la
A Vx$(x).
9 61
Dune
FONCTIONS
manire analogue,
33
PROPOSITIONNELLES
par la formule
* k [p (xl ti W-J *
de n ensembles. Fonctions
propositionnelles
kV6
hI(l
i-l I <4
=- (If(xo+h)
-fC%>
I <4 3
Si lon intervertit
lordre des quantificateurs
AZ et V, on obtient
une condition plus forte, la condition de continuit uniforme. Puisque,
aprs cette inversion, le quantificateur
V6 suit A, mais prcde encore
A,, il est clair que 6 dpend de E mais non de x (ce que signifie justement
la continuit uniforme ).
34
THORIE
DES
ENSEMBLES
[Ill
(34)
A, 1 a,+,
b 1 < E.
suite de fonctions
fiLfi>
(35)
A, kV,
Al If,+nW
-f(x)
I < 8.
En intervertissant
lordre de A, et A,, on obtient une condition
quivalente. Si maintenant on intervertit
A, et V,, on obtient une
condition plus forte, dont. la condition (35) dcoule,
(36)
~Evm~xklfn,+n(4
cest la condition
de convergence
-f(x)1
< Ei
uniforme.
[b
v, A, <pb> .Y>4-j
la rgle
= vx A, v, [p (x2 Y, 41 .
5 7. Idaux et filtres
Toute famille R ) (non vide) de sous-ensembles dun ensemble 1
donn est nomme idal si les deux conditions suivantes sont satisfaites :
[AR]
(38)
[AER]
(39)
Toute famille
(40)
(41)
A [~CA]
A [&.R]
+BER,
=G.(AU@
ER .
A [4CB]
A [&S]
lorsque:
GBES,
* A n BeS.
dont
les
ci81
FONCTIONS
35
PROPOSITIONNELLES
pour tout Xc
1, ou bien XER,
ou bien (1-X)ER.
par { x : rp (x) } ,
= {x:
= {x:
(~=a)
[(~=a)
A (xEA)},
v (x=b)]
A (~GA)}.
36
THORIE
[III
DES ENSEMBLES
couple
ordonn
demande
lemploi
v (xEB)]
A (XE~) }
dcoule de laxiome V.
Laxiome IV est aussi superflu dans les applications, car sa place
apparat laxiome qui affirme que lespace considr est un ensemble.
Exercices
1. Montrer quaucune des implications
place par une quivalence.
2. Montrer
de la formule
que
v,P~~~~A.~~~~-v,A,~<p~~~vo~Y~l-~,v,~<p~~~vll,~Y~l,
v, 2 (X) A A <$ (X) z v, A, 1~(X) A + (Y)] - Ay v, h (x) A d (Y)] .
3. Dmontrer
les quivalences
AX{[A,~(X>YW4JW}
suivantes:
- A,V,tcp(x,Y)*+(x)l,
Ex.]
FONCTIONS
4. Ecrire la dfinition
$(J x, y ) dy en utilisant
37
PROPOSITIONNELLES
de la convergence
uniforme
de lintgrale
gnralise
les quantificateurs.
de celle
de lespace 1. Considrer
la famille
CHAPITRE
LA NOTION
DE
LES OPRA,TIONS
1V
FONCTION.
INFINIES
0 1. La notion de fonction
Djnition.
Soient X et Y deux ensembles donns. Par fonction
(application,
transformation)
dont les arguments parcourent
lensemble X et dont les valeurs appartiennent
lensemble Y (image)
nous entendons tout sous-ensemble f du produit cartsien X x Y
qui a la proprit qu tout x E X il correspond un et un seul y tel
que (x, y) E f. Lensemble de toutes les fonctions f est not Y.
Au lieu de f E Y on crira aussi
f:X
Dhabitude
--+Y
ou
XL+Y.
On a donc
=f(x)}.
9 21
FONCTION,
OPRATIONS
39
INFINIES
Toute fonction
propositionnelle
p (x, y) de variables x et y,
ayant les ensembles X et Y comme domaines respectifs de variation
(cest--dire une relation dans le sens de la logique), dtermine
lensemble R c X x Y suivant
R = UW):<P(X>Y)}.
Remarque 2. Soit A c X et B C Y. Si f : X -+ Y et f
forme .4 dans B, on crit
./-:(X,4
trans-
-(Y,B).
h (x> = 9 [f(x)]
-2
T
k
est commutatif
lorsque g Qf = k Qh , cest--dire
lorsque
g [f <X)l = k [h W] .
0 2. Oprations
gnralises
40
THORIE
DES
ENSEMBLES
[IV
dun ensemble fixe X (autrement dit, les valeurs sont des lments de la
famille 2 des parties de lensernble X). Nous crirons F, au lieu de
F (0.
Introduisons
les deux oprations
suivantes sur les fonctions,
appeles respectivement runion gnralise et intersection gnralise
(qui correspondent aux quantificateurs
V, et A,).
U, F, est lensemble auquel appartient
x si et seulement si x
appartient lun au moins des ensembles F, (on note aussi cet ensemble
Ct FA
ll, F, est lensemble auquel a.ppartient x si et seulement si x appartient tous les ensembles F, (on le note aussi par L7, F,).
En utilisant les notations de la logique, cela signifie que
(1)
>
(2)
[xEn,F,l = A,[~~F~I.
= F,uF,u...uF,,
n,F,
= F, nF,
n . . nF,.
Ajoutons que lorsque F est une suite infinie densembles, cest-dire que T est lensemble des nombres naturels, on utilise la notation
UT= i F, au lieu de U, F, , et ni:=, F,, au lieu de n, F, .
Citons maintenant
quelques formules facilement dmontrables
((4) dnote les formules de de Morgan gnralises):
(3)
f-p, ccF,
c: UtF,,
(4)
(5)
At[FtcA:)
=: U,F, c A,
(6)
A, [14~~r~j
= A c i-p,.
tn,F,)
= UT;,
FONCTION,
0 31
OPRATIONS
INFINIES
41
propositionnelle
de deux variables
les espaces X et Y respectivement.
Pour un x0 fixe,
( y : q (x,, y) } est une partie de lespace Y. Aussi par
(7)
Fx = {Y:Y(x,Y))
(8)
wY:Y(x>Yu
(9)
n,b:dxw
= (Y:VxY(-%Y))
= IY:A~YOX,Y)I.
{y:Vx~(x,y))estlaprojectionsurYde((x,y):cp(x,y)}.
42
THORIE
IDES
ENSEMBLES
[IV
EXEMPLE.
Daprs la dfinition
paramtrique
du cercle S de
centre (0, 0) et de rayon Y, le point (x, y) appartient au cercle sil
existe un t tel que
x = r COS 1,
(11)
y = r sin t ;
on a donc
s = {(x,y):V,[x==
Cela
trique
X x
A x
tions
rcos t] A [y=r
sin t]}.
signifie que les formules (11) qui donnent la dfinition paramdu cercle S dfinissent ce cercle comme projection sur le plan
Y dune hlice qui se trouve dans lespace trois dimensions
Y x T et qui est dfinie (implicitement)
par le systme dqua(11).
[YEf(Nl
(12)
= vx t-x-q
A [Y =f(x>l
ou encore
f(A)
-1
T
= { Y : vx [-=AI
A [Y =f(x)l
>.
[XEf-(B)]
E [J(x)&?],
ou f-(B)
= {x:f(x)EB}.
ci 51
FONCTION,
OPRATIONS
43
INFINIES
f(Al
u-h)
= f(Al)
et plus gnralement
(15)
uf(%)
f(Al n 4) C f(4)
et plus gnralement f(fl,
(15a)
.!-(A,) -f(Ad
f-l
(16)
@,uB,)
f-U-L
G,) = n,f-W
=f-(B,)
j-f-(B)
= B
si f:X
-+ Y, g: Y-+Z
(20)
>
9
-f-(Bd,
si
B C~(X),
A c.rf(A)
(19)
(B2)
= f- W nf- W,
f-@l-B,)
(18)
(B,) uf-
G,) = J,f-(G,)
f-(n,
(17a)
= f-
f-(B,nBJ
(17)
nf(A2)
FJ C fl,f(F,)
>
et h = g.f,
h-(C)
=f-(g-l(C))
on a
pour
tout
C c Z.
c Ft
S (R) et P (R)
A ct des oprations U et fl dfinies sur des fonctions, on considre les oprations S (R) et P(R) dfinies sur des familles densembles.
Ainsi, R tant une famille de parties dun ensemble fixe A, on dsigne
par S(R) la runion et par P(R) lintersection de toutes les parties
de la famille R, cest--dire, pour tout x E A,
Na)
@lb)
x E S(R)
x EP(R)
SE V, [xEXER]
= Ax[X~R+x~X]
44
THORIE
DES
ENSEMBLES
[IV
= A, u A, u . . . u A,,
P(R)
= A, n A, n . . . n A,, .
On constate facilement
P(R)
S(0)
que
P(0)
= A et S(ZA)
= A.
[XER]
[XER]
[XER]
densembles
A [YlrR]
R est additive si
3 [XUYER]
+ [X~YER]
>
si
A [YER]
si
A [Y IER] =z. [X - Y ER] .
0 61
TH:ORME.
FONCTION,
OPRATIONS
45
INFINIES
Z de parties de lensemble A
il existe
1, une plus petite famille
additive
multiplicative
R, telle que Z
additive et soustractive
R, ,
R, telle que Z C R, ,
telle que Z
R, .
R, = P(A).
R, = P(J+-).
La dmonstration
du fait que la famille R, satisfait la condition
est tout. fait analogue la dmonstration
prcdente.
Enfin, on dfinit la famille R, dune manire analogue.
2.
46
THORIE
DES ENSEMBLES
UV
8 7. Familles borliennes
On dit que la famille densernbles R est dnombrablement additive
ou dnombrablement multiplicative si les conditions X, E R , n = 1, 2, . ..
entranent que
(27)
Z de parties de A, il existe
dt;nombrablement
additive
dnombrablement
multiplicative
borlienne
R, telle que
R, telle
RP telle que Z c RP .
9 81
FONCTION,
OPRATIONS
47
INFINIES
tout n.
II;= 1 A, .
est lensemble
Ainsi on a
E F, ,
(31)
Tout comme dans le cas dun nombre fini de facteurs, nous appelons coordonnes du point fi n, F, les valeurs f(t) de la fonctionf.
48
THORIE
Ainsif(t)
DES
ENSEMBLES
(32)
[IV
def, et lapplication
74 ( f>
TC,dfinie par
=: f(t)
est la projection
de IZ,F, sur F, .
Quand T est lensemble des nombres naturels, les oprations
Il, et Il:= 1 sont identiques. Il est aussi facile de voir que si F, = X
pour tout t E T, alors n, E; = XT. Dans ce cas, la fonction n, : XT-+X
dfinie par la formule (32) est nomme lvaluation
de Zensemble
XT en t. Les fonctions 71, induisent la fonction 71: T -+ X (XT), nomme
valuation
de XT.
* Remarque.
Dune faon plus gnrale, tant donn un ensemble
de @ en t la fonction e, : @ + X
@ c XT, on entend par Pvaluation
dfinie par la condition
e,(f)
(33)
= f(t>l
pour
tout
fe
@.
de @.
Soit gf lvaluation
gf(h)
= h(f)
Le diagramme
suivant
(34)
de X
enfE
pour
lz~X@,
donc
est commutatif
T\
Autrement
Q>, cest--dire
~~
\
e \
LZ
gf:XO-+X.
(ici Z = X@):
-+
/;;;-;f
,/
Sf
dit,
f := gf * e .
(35)
les formules
nt (5 l-3 GI = nt fi n nt 1% >
ut (fi u Cd = ut fi u ut Cg,
Ex.]
OPRATIONS
FONCTION,
49
INFINIES
(b)
Cc)
Ut (h n Cd C Ut,, (fi n Cd = Ut Ft n Ut Gt ,
(-jt(Aufi)=Auntfi,
(4
Ut(AnFt)=AnUtF,.
le signe dinclusion
que si
A, 3 A, 3 . 1 A, 3 . . . et
2. Montrer
B, 1 B, 1 . . . r) B,, I) . . .
alors
3. Montrer
que
tut fi) x (ut G) = ut,, (fi x Gs) >
<nt Ft) X (I% Gt) = fh,s (Ft X Gd ,
o t, s E T.
4. Si F, C F, pour ut = 1, 2, . . . . alors
F, = (F,-F,)
(FI-F,)
. U
F,.
n&
Si F, 1 Fr 1 F2 3 . . . . alors
(FI-&)
(F3-F4)
ni%
F, -
F,,
I(F,-F,)
u (F2-FJ
u . ..] .
5. Sin~=tAnnnnm,lBn=OetB,=l,alors
infrieure
Fn+k.
Dmontrer
(a)
(b)
(c)
(d)
(e)
lim inf A,a u lim inf B,, C lim inf (A,, u Il,,),
(f)
(g)
(h)
50
THORIE
DES ENSEMBLES
[IV
7. Si lim sup F,, = lim inf Fn on dit que la suite FI, F2, . . . converge vers la
limite
lim & = lim
Montrer
que
(a)
Si FI C FS C . . . . alors IJ,Zl
F,, = lim F, ,
(b)
Si FI 1 F2 1 . . . . alors nF=r
1 sixEA,
fA (4 =
montrer
i 0 si xEAC,
Iquivalence
[F = lim Fn] = [fi (x) = lim fF, (x)] .
9. Dmontrer
les formules:
(a)
f(A n f-'(B))
(b)
=f(A)
I? B,
(c)
si B, C B,, alorsf-l(El,)cJ-l(B~).
10. Soit g = f/A . Montrer
que
g-l(B)
11. Montrer
:= Anf-l(B).
que
(a)
(b)
u, n, ky C n, U, KY ,
si les conditions x f x1 et y # y1 entranent
(cl
(utiliser
Fx,v n Fx,,yl -
laxiome
du choix),
que
0,
alors
u, n, FX,~ := n,
u, &,Y .
12. R tant une famille densembles on dsigne par R, la famille de tous les
ensembles de la forme 2 = X - Y, o X, Y E R . Montrer que R, C R,, et
montrer par un exemple que linclusion inverse peut tre fausse.
13. Montrer
que
s(R,uR,)=S(R,)uS(R,),
Montrer que si les lments
s(R,nR,)CS(R,)nS(R,).
de R, u Rz sont des ensembles disjoints,
S(R,nR,)
14. Montrer
=s(RJnS(R,).
que
P (R,) n P (I;L,) C P(R,
15. Montrer
n R,) .
que
2AnB
2A
;!B
>
$VAt
f-j,
2At
alors
FONCTION,
Ex.]
INFINIES
51
la fonction n : Zy -+ Zqui
est
OPRATIONS
f : X+
Y induit
Z(Zy) la fonction induite par d. Dmontrer quen dside Zx et par g celle de Zy , le diagramme suivant est com
f
X
-Y
J
V
o U remplace
Zczx)
et V remplace
V et g : Y -+ W, on appelle fonction-produit
V x W dfinie par la condition
h(x,J)
Montrer
Zczy)
la
= (f(x),g(.v)).
que pour M C V et N C W, on a
h-(MxN)=f-(M)
xg-l(N).
et ZEI&X~.
u =h(z)-A,[u(t)=f,(z(r))]
Montrer
que pour Mt C V, , on a
h-mt
M)
= Kh-l(M)
>
et pour At C X, , on a
h (nt 4
= IJt ft (4) .
Montrer
Y, pour t E T. Posons f : X+
=fr.
etpourAC
g (x))
=f-(WnC1(N).
complexe
que pour M C V et N C W, on a
((f;g))-(MxN)
o7Tt~f
foncfion
= nt .ft - 1 m
X,ona
f (4
c 11, ft (4.
TI, Y, ,
CHAPITRE
LA NOTION
DE PUISSANCE
DUN ENSEMBLE
ENSEMBLES
DNOMBRABLES
0 1. Fonctions
biunivoques
[Xl # x21=+[fh)
(1)
CmZ)]
si
(2)
[Y = f(x)]
(3)
THORME
1. Linverse
= [.c = f-l
dune bijection
En effet, on a
(4)
(f-.1)-'
= f.
(Y>] .
est une bijection
9 11
PUISSANCE
DUN
53
ENSEMBLE
Gomtriquement,
le passage de la fonction la fonction inverse
peut tre interprt (dans le cas o X et Y dsignent chacun lensemble
des nombres rels) comme la rflexion du graphe de la fonction par
rapport la droite y = x .
THORME 2. La composition de deux bijections est une bijection,
En dautres termes, si f est une application biunivoque
de lensemble X sur lensemble Y et g une application
biunivoque
de
lensemble Y sur lensemble 2, alors la fonction h dfinie par la
condition h (x) = g (f(x)) est aussi une application
biunivoque
de
X sur 2.
En effet, si h (x1) = h (xJ , alors g (f (x1)) = g (f (x2)), do il
rsulte que f(xi)
= f(xz) , et en consquence x1 = x2 .
Sous lhypothse que la fonction f est biunivoque,
les inclusions
(15) et (19) du chapitre IV, $4, peuvent tre remplaces par les identits
f(A,nAJ
(5)
et plus gnralement
f(ll,
= f(A,) nf(AJ
F,) =
n,jp,) ,
A = f-f(A)
(6)
.
on a en plus de lquivalence
symtrique
C-=4 = [fW.m>]
(7)
E fl,f(A,)
= A,f(x)
Es
= A, x E A, =
= x E n, A, = f(x)
XE~-f(A)
=~(X)E~(A)
Ef(n,
= XEA.
A,),
54
THORIE
DES
ENSEMBLES
iv
* Remarque.
Soit, comme dans la remarque du chapitre IV 0 8,
Qc XT, e : T -+ X@ 1valual:ion de Qi, et gf : X@ -) X lvaluation
de X@ enf. Si la fonction e est biunivoque, on a daprs lidentit (35)
du chapitre IV, la formule
f.e-
C sf,
cest--dire
f(e
h E e(T)
$ 2. Ensembles quipotents
sil existe une
On dit que deux ensembles X et Y sont quipotents
application biunivoque
de X sur Y.
Si lensemble X est un ensemble fini, X = (a,, .. .. a,,), alors
lensemble Y est quipotent x: si et seulement si il a le mme nombre
II dlments. La notion dquipotence
concide donc, dans le cas
densembles finis, avec la notion lmentaire
de mme nombre
dlments, cependant, elle peut aussi bien sappliquer aux ensembles
infinis.
Par exemple, lensemble des nombres naturels impairs est quipotent lensemble des nombres naturels pairs, car la fonction
f(n) = y1 + 1 tablit une correspondance
biunivoque
de lensemble
(1, 3, 5, . ..) sur lensemble (2, 4, 6, ...).
De la mme manire, lensemble des nombres naturels est quipotent lensemble des nombres pairs (ce qui montre quun ensemble
infini peut tre quipotent lune de ses parties propres !). Ici, la
correspondance
biunivoque
est donne par la fonction f(n) = 2n .
Deux intervalles
a < x <: b et c < x < d sont quipotents,
comme on le montre facilement en utilisant une fonction linaire.
Lintervalle
ouvert - n/2 < >c < -t 7c/2 est quipotent lensemble
de tous les nombres rels, lapplication correspondante tant y = tg x .
Dans la suite nous montrerons que lensemble des nombres naturels
nest pas quipotent lensemble des nombres rels; il en rsultera que,
dans le domaine des ensembl.es infinis,bl
existe des ensembles non
quipotents;
nous montrerons
mme quil existe une infinit
densembles infinis dont deux ne sont jamais quipotentg
On crit
X-Y
pour exprimer le fait que les ensembles X et Y sont quipotents.
notation est justifie par le thorme suivant.
Cette
9 31
PUISSANCE
THORME: 3. Lquipotence
et transitive, cest--dire,
55
ENSEMBLE
rjexive,
symtrique
x-x,
(8)
X-
(9)
(10)
DUN
[X-Y]
Y*
Y-X,
A [Y-Z]
*x-z.
Dmonstration.
La formule (8) dcoule du fait que lidentit
cest--dire la fonction ,f(x) = x , est une application
biunivoque
de lensemble X sur lui-mme. Les formules (9) et (10) dcoulent des
thormes 1 et 2 respectivement.
Le thorme 3 permet de classer les ensembles selon quils sont
quipotents ou non. Cela conduit tendre aux ensembles infinis la
notion lmentaire du nombre dlments. Ainsi tout ensemble X
on associe un nombre cardinal, ou puissance, que lon dsigne par le
symbole x, de telle manire que le mme nombre cardinal (ou la
mme puissance) correspond deux ensembles distincts si et seulement
si ces emsembles sont quipotents.
Le nombre cardinal dun ensemble fini est le nombre de ses lments.
Remarque. Les nombres cardinaux ne jouent quun rle auxiliaire
dans la thorie des ensembles, vu que tous les thormes de la thorie
des ensembles peuvent tre formuls sans les utiliser. Cependant,
lorsquon les emploie, beaucoup de thormes gagnent en clart, et
lon peut mieux mettre en vidence leur analogie avec les thormes de
larithmtique.
Au point de vue de laxiomatisation
de la thorie des ensembles,
il sagit l dun nouvel axiome affirmant lexistence des nombres
cardinaux.
0 3. Ensembles dnombrables
Un ensemble est dit un ensemble injini dnombrable sil a la
puissance de lensemble des nombres naturels; en dautres termes,
si tous ses lments peuvent tre rangs en une suite infinie de termes
distincts.
Les ensembles finis sont aussi dits dnombrables.
56
THORIE
DES ENSEMBLES
non
[V
si
ses lkments
peuvent
tre rangs
1. Lensemble
THORME
des nombres
Pn = 113 2
pn q, c .h- 1 qn- 1 9
a, 6 pn qn .
Dans lintervalle ferm (O,l] on choisit pour p1 q1 lun des intervalles (0,1/3), (1/3, 2/3), ou (2/3, l), qui ne contient pas le point a,.
De mme, dans lintervalle p1 cl, on choisit un intervalle p2 q2 de
longueur 1/9 qui ne contient pas le point a2. En gnral, dans lintervalle ferm p.- 1 qn- 1 on choisit un intervalle ferm pn qn de longueur
1/3 qui ne contient pas le point a,.
Soit c le point commun tous les intervalles pn qn:
{c>
f-r=1P,4n,
cest--dire
c = lim p, = lim q, .
-CE
Il+*
ensemble
2. La
runion
de deux
ensembles
dnombrables
est un
dnombrable.
A u B .
PUISSANCE
9 31
DUN
57
ENSEMBLE
dun nombrejni)
<1,1>,(1,2),
Q,l),<l,
3),<2,2),
<3,1>, ... .
(13)
) am2,
. ...
a mn,
. ..
.. . .. . . .. . .. .. .
58
THORIE
DES ENSEMBLES
all>al2,Q21,Q13>
De l on dduit le thorme
...
suivant.
THORME
tiennent
bruble.
Lensemble
Ex.]
PUISSANCE
DUN
59
ENSEMBLE
Exercices
1. Soit la transformation
du plan en lui-mme
tions
x = au + bv , y = CU + dv .
Donner les conditions que doivent satisfaire les coefficients a, b, c et d pour que
cette transformation
soit biunivoque.
2. La transformation
homographique
du plan de Gauss (cest--dire
des nombres complexes avec le point linfini)
du plan
w = (az+b)/(cz+d)
est-elle biunivoque?
3. Soit uIr u2, . . . . u,, . . . une suite de nombres
un = C, . cnl c,,
rels, et soit
. Crin . . .
e, = 1 si crin = 0 .
extrmits
rationnelles
(dans
6. Montrer
Indication
dintervalles
disjoints
est dnombrable.
des rationnels
est dnombrable.
60
THORIE
limite droite
lexercice 6.
DES ENSEMBLES
gauche et une
Utiliser alors
(1%
Soit X un ensemble et p une relation dquivalence dont les variables parcourent lensemble X. Quel que soit llment x0 de X, lensemble
P(x,)
(16)
== {x:x,px}
est appel classe dquivalence : la famille des classes dquivalence est appele
ensemble quotient et note X/p. Montrer que les lments de X/p sont disjoints et
que leur runion est X.
10. Dmontrer le thorme rciproque : toute famille R densembles
et non vides dtermine une relation d?quivalence p telle que
R = LWWPI
(17)
disjoints
11. Soient
(18)
P,f(.o
Dmontrer
lexistence dune transformation
diagramme ci-dessous soit commutatif
.
F : X,/pl+
que si lquivalence
(19)
a lieu, la transformation
pz f(x")
X,/pz
telle que le
CHAPITRE
OPRATIONS
VI
(1)
et multiplication
Remarquons
toujours
siXnY=W.
deux ensembles
disjoints
X,
et Y, tels que 2, = y et
n.r=xxy.
62
THORIE
DES
ENSEMBLES
[VI
a + a = a, a.a
= a, a +n
= a, an
= a,
m*(n+p)
= m*Tt + m.p.
Yn Z = 0 .
xx(Yuz)~=xxYuxxz,
(XxY)n(XXZ)l
= x x (YnZ)
= 0,
--~~
et donc X x ( YuZj
= X x Y + X x Z, ce quil fallait dmontrer.
Il en rsulte (par induction) que
(6)
m.n=m+m+...+m,
m . (n + 1) = m . IZ + m . 1 = m * n + m .
Lquation
(6) exprime que m * y1 est la puissance de la runion
de n ensembles disjoints dont chacun est de puissance m. Ce thorme
peut se gnraliser une somme innnie de termes comme suit.
Soit 7 = n et soit F une Jonction dont les arguments parcourent
lensemble T et dont les valeur,r sont des ensembles disjoints de puissance m, cest--dire
(7)
Ft = m , F, n F,, == 0 pour
alors
(8)
zzzzzzz=
UtF, = m.n.
t # t ,
3 21
OPRATIONS
SUR
LES
NOMBRES
63
CARDINAUX
(9)
= g,(x),
o x~F,ett~T.
f(x,
t) = f(x,
t) , cest--dire
connues de larithmtique
(11)
(m.n)P
(12)
($)Y
(13)
Eneffet,soitm=??,n=?etp=T.
Pour montrer la formule
(14)
m+p
yXuT
. nP
des nombres
= mp.np,
=
n.P
- Yx x Y T pourvu
que
que X n T = 0 .
64
THiiORIE
DES
ENSEMBLES
[VI
(15)
-XT
x YT.
= (g(t),
h(t))
o g(t)EX
et h
OnadoncgEXTethE
Y I . On a ainsi associ la fonctionfun
couple
de fonctions (g, h), cest-;i-dire un lment de lensemble XT x YT .
II est facile de vrifier que cette correspondance
est bijective, ce qui
conduit lquivalence (15).
Enfin pour montrer (13), il faut dmontrer que
(yy
(16)
yXXT.
Ch(4
= fc?
4 9
= nm . n = nm * n ,
se rduit un seul
9 21
OPRATIONS
CARDINAUX
65
et par induction
nm = n.n...:n,
(18)
f4Cx)
est la fonction
Lensemble
la mme
i 0 pour
xEA,
X~X
- A
caractristique de lensemble A.
( 0,l } et lensemble
des parties
puissance,
soit la puissance
de lensemble
X ont
2, o m = X=.
Dmonstration.
Associons tout ensemble A c X sa fonction
caractristiquef,.
Cette correspondance est biunivoque, car si A $ B ,
alors pour tout a E A - B on a fA (a) = 1 et fB (a) = 0, do il
rsulte .fA # fB . Enfin, tout lment de { 0,l } est la fonction caractristique dune partie de lensemble X.
Nous allons maintenant dmontrer le thorme suivant:
THORME.
DE CANTOR.
2 # m ; en
ensemble na la mme puissance
que la famille
dautres
termes, aucun
de ses sous-ensembles.
Dmonstration.
Il suffit de montrer que si F est une fonction dont
les arguments parcourent lensemble X et dont les valeurs sont des
parties de lensemble X, il existe toujours un ensemble Z c X qui
nest pas une valeur de cette fonction (cest ce quon appelle le thorme
de la diagonale).
En effet, le thorme de Cantor en rsultera
puisque, si lensemble X avait la mme puissance que la famille de ses
sous-ensembles, il existerait une fonction F (biunivoque)
dont les
arguments parcourraient
lensemble Xet qui prendrait comme valeurs
tous les sous-ensembles de X.
[VI
66
Envisageons
lensemble
2 dfini par
z = {x:
(20)
x$F(x)}
= x$F(x).
on obtient
i= x()$F(x,),
lhypothse.
1. Le thorme de la diagonale peut tre illustr gomtriquement de la manire wivante. Soit X lintervalle ferm 0 .< x < 1.
On place lensemble F(x), qui par hypothse est un sous-ensemble
de cet intervalle, sur la verticale passant par le point x. De cette
manire, on obtient un ensemble A4 = { (x, y) : y E F(x) } contenu
dans le carr X x X . Soit P la dliagonale de ce carr. Alors, lensemble
Z est la projection de lensemble P - A4 sur laxe des X.
Remarques.
2*. La dmonstration
du thorme de Cantor que nous avons
donne permet de vrifier facilement que la famille des parties de
lensemble X na la mme puissance quaucun de ses sous-ensembles.
11 sensuit immdiatement
quil nexiste pas un ensemble de tous les
ensembles
(car la famille de ses parties serait elle-mme un de ses
sous-ensembles).
Cette mme conclusion dcoule dailleurs directement du thorme
de la diagonale, car sil existait un ensemble X de tous les ensembles
alors la fonction F dfinie par la condition F(x) = x (cest--dire
lidentit) prendrait videmment comme valeurs toutes les parties de
lensemble X (puisque ces parties seraient des lments de lensemble
n
Ajoutons que de lhypothse (fausse) que lensemble
ensembles existe il rsulterait lexistence de lensemble
de tous les
z = (,x:x$x).
Cependant, lexistence de l.ensemble Z conduit
contradiction
(appele antinomie
de Russell),
do ZEZ
= Z&Z.
immdiatement
une
car x E Z = x$x ,
3 31
OPRATIONS
SUR
LES
NOMBRES
67
CARDINAUX
Y*X.<Y.
(21)
Le thorme
vante :
(22)
de Cantor
de la manire sui-
m < 2:
En effet,
m # 2, et en mme temps m h< 2, puisque lensemble
,Y a la mme puissance que la famille de ses sous-ensembles composs
dun seud lment.
68
THORIE
[m<n]
les formules
A [n<p]
suivantes:
* m Gp,
ln~n~m+p<n+p,
(25)
m<n*mp<np,
(26)
(27)
nt <l-t =a p <p.
WI
DES ENSEMBLES
<ll
== 1TP
<lP,
demontrer
le thorme
si m 5 n et si n 5 m alors
fondamental
de
m = n .
Dmonstration.
Soit 7 = m . Puisque n < m , lensemble X
contient un sous-ensemble Y de puissance n. Mais puisque m < n ,
lensemble X est de puissance gale celle dun sous-ensemble de
lensemble Y; ainsi il existe une fonction biunivoque J dfinie sur X
et telle que
f(X>c
(29)
YCX.
z = Y-f(X),
biunivoque
5: = z uf(Z)
uff(Z)
de X sur Y. Posons
u . ..
FIG. 4
0 31
OPRATIONS
On dfinit
SUR
la fonction
LES
g(x)
69
CARDINAUX
g comme suit:
Ix
(31)
NOMBRES
pour
= ifcx)
pour
- S.
XEX
montrer
g(X)
(32)
xeS,
que lgalit
suivante
a lieu
= Y.
Puisque S c X, on a
x
(33)
Su(X-S)
(34)
= g(S)ug(X-S)
Suf(X-S).
IV, 6 4, on a
(35)
-S)
= z uf(S)
(30) en considration,
z uf(X)
= (Y-f(X))
uf(X
-S)
= z uf(X)
on a
uf(X)
= Y.
(36)
= 0.
g(S)
= S et g(X-S)
=f(X-S)
=.f(X)
-f(S);
70
THORIE
-f(S)
DES
==Y(X)
= J(X)
ENSEMBLES
[VI
- Z car f(X)
-- (Zuf(S>>
= f(X)
n Z = 0,
do
- s
en vertu de (35).
-J(S))
= 0, et de l, la formule (36)
Donc on a S n (f(X)
dcoule en vertu de (37); on a ainsi dmontr le thorme de CantorBernstein.
Une autre forme de ce thorme, qui est souvent utilise dans les
applications, est la suivante :
(38)
si A c B c C et z = f
alors
z = B = ?.
(39)
du nombre c
(28) que
c=c+n=c+a=c+c=n.c
de lensemble
8.
OPRATIONS
41
La gnralisation
induction.
SUR
LES
n termes
NOMBRES
71
CARDINAUX
est obtenue
immdiatement
par
2 = c.
(41)
= (O.t, t, ...)2
et si t E A - B , on pose
f(t)
cest--dire,f(t)
= (1: t, t, ...)2 (d ans le systme binaire de numration).
Il est facile de vrifier que la fonction f est biunivoque.
En mme
temps,
{x:O<x<l}cf(A)c~,
et donc A == f (A) = c en vertu de (38). On en dduit que
aa = c = ca,
(42)
car (cf. (26))
= z(fl*) = 2 .
De mme on a
(43)
ltn
= c pour
n > 2.
c = Cll
= C c = cn = c (n est un nombre
naturel
> 1).
En effet,
c<c.a<c.c<c<c
= c.
72
TH.ORIE
des nombres
de puissance
c.
Donnons
a et c :
enfin la dernire
DES
ENSEMBLES
[VI
se rapportant
aux nombres
2 = a = cc.
(45)
et posons
f(x,y)
(46)
= O.a,b,a,b,...u,b,
. .
entrane que
a,
cest--dire
= SI,
b,
== bI , u2 = az,
x = X et y = j .
b,
= 6,)
.. . .
j)
Ex.]
OPRATIONS
CARDINAUX
73
Exercices
1. Soit R une famille densembles
Montrer
que S (R) = c .
ZZZ.
2. Soit A, = c pour n = 1, 2, . . . . Montrer
que
A, x A, x . . . = c.
.-
n, Ft .
Indication
puisJ(a)
a,, a2,
= a,+ 1.
CHAPITRE
RELATIONS
VII
DORDRE
0 1. Dfinitions
Soit un ensemble A et une relation sur ses lments, cest--dire
une fonction propositionnelle
cp I:X, y), crite x < y , dont le domaine
de variation des arguments, est ri. Considrons les quatre conditions
suivantes (de rflexivit, dantisymtrie, de transitivit et de linarit) :
1.
2.
3.
4.
pour
si x
si x
quel
tout
-L<y
< y
que
x, x &x,
et y 4 x , ;alors x = y ,
et y < z alors x -< z ,
soit le couple x, y, ou x < y ou y -< x .
<-y
i,, 1;; XL
Types dordre
0 21
similitude,
RELATIONS
ou simplement
similitude)
75
DORDRE
telle que
lui-mme,
alors lensemble
si lensemble
C.
B est
B est sem-
76
THORIE
DES
[VII
ENSEMBLES
On pose f(al)
= 0 ; on prend pour f(aJ
un nombre rationnel
(arbitraire)
plus petit quef(al)
au cas o a2 < a, et plus grand que
f(aJ au cas o a, > a, . Par induction, on dfinit le nombre f(a,+ 1)
de la manire suivante: si dans lensemble A, a,,, prcde tous les
lments a,, a2, . . . a,, alors f(t~,+~) est un nombre rationnel plus
petit que tous les nombres f(a,),f(a,)
. . ..y(~.)
; de mme, si a,,,
suit tous les lments a,, a2, .. . a,,, alors le nombre f(a,+,)
est un
nombre rationnel plus grand que tous les nombres f(a,),f(a,)
.. ..
f(a,) ; enfin, si aucun de ces deux cas ne se prsente, soit ak le dernier
des lments a,, a2, .. . a, qui prcde a,,, et soit arn le premier
parmi ceux qui suivent a,,. t ; on pose alors
f(%+,)
= U(%>
+ f(%>
> /2 .
<
fCaj)
5 3. Ordre dense
On dit quun ordre linaire sur lensemble A est dense si entre tout
couple dlments il existe un lment intermdiaire,
cest--dire si
quel que soit a < b il existe un c tel que a < c et c < b .
Un exemple dordre dense est lordre des nombres rationnels
(par rapport la relation plus petit que ). Ajoutons que tout
ensemble dnombrable
muni dun ordre linaire dense, sans premier
et sans dernier lment, e:st de type il. (Pour la dmonstration,
voir
Hausdorff,
Set Theory,
c.hapitre 3, c) 11, Theorem IV ainsi que
G. Cantor: Sur les JOndements
de la thorie des ensembles
transfnis,
$ 9, traduction franaise parue dans Mmoires de la Soc. des SC.
phys. et nat. de Bordeaux, t. III (Y srie), 1899).
!j 4. Ordre continu
Pour avoir une formulation
plus claire de la dfinition dun ordre
continu, nous introduirons
dabord quelques dfinitions auxiliaires.
0 51
RELATIONS
77
DORDRE
* [Ydj
lment
a de
[x <a]
(1)
f to fl : x,,
-)
xto.
78
THiiORIE
DES
[VII
ENSEMBLES
(2)
et que
f,, =: identit .
(3)
X, ou @ (T,X,f)
est le sous-ensemble du produit
ments z = { zt } tels que
).
ou Lim {Xf,ffotl},
1,%<fl
cartsien
(4)
.
f '0'1 * 7$ = 7-cto
(5)
Nous conviendrons
dcrire
(6)
En consquence
(7)
&;ff,
=f,,>
d'ou fr,l
= ft,'.f,r,.
h, : x, -, Y,
telle que la commutativit
x fo+(8)
f toil
X,1
hfl
hh
1
of Algebraic Topology,
Ann. of Math. 30 (1928).
Ex.]
RELATIONS
79
DORDRE
cest--dire
une application
h m : x,
suivant
+ Y,
soit commutatif
pour tout t E T :
(11)
On voit facilement
que
h,
lest de mme.
Exercices
1. Soit X et Y deux sous-ensembles de lensemble linairement
ordonn A,
telsqueXUY=A,XnY=0et[x~X]~~~Y]~[x<y].Onditquele
couple X, Y est une coupure de lensemble A.
Montrer que si XI, Y, et X,, Y, sont deux coupures de lensemble A, alors,
ou x, c x, ou x, c x1.
2. Montrer que tout ensemble ordonn linairement
est semblable une
famille monotone de sous-ensembles de cet ensemble (c.--d. une famille ordonne
linairement par Iinclusion).
3. Soit R une famille monotone de sous-ensembles de lensemble Z. Montrer
que la famille de tous les ensembles S (X) et P (X), o X C R est aussi monotone.
4. Donner un exemple dun ensemble linairement
ordonn qui nest pas de
type w, mais qui cependant possde un premier lment et qui est tel que chacun
de ses lments est suivi immdiatement
par un autre et prcd immdiatement
par
un autre (except le premier).
80
THfiORIE
DES
ENSEMBLES
[VII
que
a) La famille de toutes les suites infinies termes rels peut tre ordonne de
la manire suivante: la suite lzl, a2, .., a,,, . prcde la suite b,, b,, . . . . b,, . . . sil
existe un k tel que a,, < 6, pour tout n > k ;
bj une famille
de fonctions
[fQl
par la relation
que
de fonctions
dun ensemble
7 b) est un treillis;
CHAPITRE
LE
BON
VIII
ORDRE
Q 1. Le bon ordre
Djinition. On dit dun ordre linaire sur un ensemble A quil
est un bon ordre si tout sous-ensemble non vide de A a un premier
lment.
On appelle les types dordre des ensembles bien ordonns des
nombres ordinaux.
Lensemble des nombres naturels est bien ordonn
(ce qui dcoule directement du principe dinduction).
Donc w est un
nombre ordinal. Par contre, aucun des types o*, q, /z nest un nombre
ordinal.
11 dcoule de la dfinition du bon ordre que tout sous-ensemble
dun ensemble bien ordonn est lui-mme bien ordonn. Il en
rsulte galement que tout lment a dun ensemble bien ordonn
( lexception. du dernier lment, sil existe) a un successeur immdiat
b; savoir, b est le premier lment de lensemble { x : a < x }.
Cependant, un ensemble bien ordonn peut contenir un lment
qui na pas de prdcesseur immdiat sans tre le premier lment.
Par exemple, lensemble form des nombres 1 - l/n (n = 1, 2, . ..)
et de 1 est bien ordonn, mais il nexiste pas dlment dans cet
ensemble qui prcde immdiatement
le nombre 1.
Si lensemble A est bien ordonn, quel que soit lintervalle
commenant B distinct de A, il existe un et un seul lment b dans A tel que
EXEMPLES.
B={x:x<b}.
Ainsi b est le premier lment de lensemble A - B. Cest donc la
borne suprieure de lintervalle
B si B ne contient pas de dernier
lment; au contraire, si B contient un dernier lment, alors b suit
immdiatement
cet lment.
En posant
(1)
P(a)
= {x:x
<a},
82
THORIE
[VIII
DES ENSEMBLES
sur linduction
transfinie
Soit A un ensemble bien ordonn et 40(x) une fonction propositionnelle dont les arguments parcourent lensemble A et qui satisfait la
condition suivante pour tout x:
(4
si A, [(y <x)
:* cp(y)] alors
q(x).
<p(Y)] .
sur la comparaison
ce qui
finie de larithmtique
est un
soit le cas o A est lensemble
(3)
0: 4: c( .
9 31
LE
BON
83
ORDRE
f(xo)
(4)
<,Y)
lment de cet ensemble;
<x0,
(5)
f(f(xo)
on a
) < f(xo>
En comparant alors les formules (5) et (4), on voit que x0 nest pas
le premier lment de lensemble Z, ce qui contredit lhypothse.
THORME 2. Deux intervalles commennnts distincts dun ensemble
bien ordonn ne peuvent pas tre semblables.
Ceci dcoule immdiatement
du thorme prcdent, car de deux
intervalles commenants distincts P (a) et P (b), lun est un intervalle
commenlpant de lautre (suivant que a < b ou que b < a) .
Le thorme 2 peut aussi sexprimer de la manire suivante:
si CI < p alors
(6)
p 4: CI.
(7)
Nous
suivant.
allons
maintenant
dmontrer
dun
a < y.
le thorme
fondamental
84
THORIE
DES
[VIII
ENSEMBLES
Posons
(8)
x = {x:VJ-Y4(x)
=63(Y)].
(9)
pour tout x E X.
Nous allons montrer que lensemble X est un intervalle commenant de lensemble A. Soit x < x E X ; il faut montrer que x E X.
Puisque x E X, il existe (en vertu de (8)) une fonction qui est une similitude de lintervalle PA (x) sur lintervalle
P, [f(x)];
mais puisque
PA (x) est un intervalle commenant de lensemble PA (x) , par cette
application lintervalle
P, (x) est transform en un intervalle commenant de P, [f(x)]
, et d ont en un intervalle commenant de lensemble B; mais cela signifie que x E X donc que X est un intervalle
commenant de lensemble A.
De mme, lensemble f(X)
est un intervalle
commenant
de
lensemble B, car, daprs (9) et daprs (12), chapitre IV, 5 4, on a
(10)
f(X) = { Y
: vx [Y =fW]
<X>l > .
(11)
x =f(X).
= P,(b)
41
LE
Du thorme
BON
3 dcoule le corollaire
satisfont
ou bien 2
85
ORDRE
suivant
A et B sont
la condition
z , ou bien
bien
ordonns,
de trichotomie,
alors
cest--dire
< E , ou bien
> .
la notation
r(u)
(12)
THORME 1. Lensemble
et son type dordre
est u.
suivante :
= {t:r<u}.
r (a) est bien ordonn
(par la relation
<)
la .relation
ensemble
de nombres
ordinaux
<).
il existe
3. Quel
un nombre
que soit
ordinal
un ensemble
plus grand
Cp de nombres
cardinaux
de cet ensemble.
86
THIORIE
DES
ENSEMBLES
[VIII
Y = u,r(5)
ou (E@
E = r(n).
r(Q) > a.
0 51
LE
BON
ORDRE
87
K, = c
88
THORIE
DES ENSEMBLES
[VIII
[(Y 0)
9 61
89
LE BON ORDRE
donc 2 o =. o .
Dautre part, o . 2 = o + o est le type dordre du produit
J x { 1, 2 } (voir lexemple donn plus haut). Comme on voit, la
multiplication
nest pas commutative.
o * w est le type dordre de lensemble des nombres de la forme
k - l/n avec k = 1, 2, . .. et n = 1, 2, .. . . Au lieu de o * o on crit
w2. En gnral, a+ = ~1* CI.
On dsigne par c? (avec c( > 1) le plus petit des nombres plus
grands que nimporte lequel des nombres un, o IZ = 1, 2, . .. .
Plus gnralement, la dfinition dexponentiation,
et de beaucoup
dautres oprations, peut sintroduire laide de la notion de limite.
En effet, soit un nombre ordinal limite (> 0), cest--dire un nombre
qui na pas de prdcesseur immdiat dans lensemble des nombres
ordinaux; soit 40 une fonction qui associe tout nombre 5 < ;1 un
certain nombre ordinal cp (5). On dsigne par
le plus petit des nombres plus grands que tous les nombres rp (5).
On dfinit alors la puissance c@ (pour CI > 1) par les formules
1.
2.
3.
cIo = 1,
&+1
= ur.u
par
90
THORIE
DES ENSEMBLES
[VIII
Larithmtique
des nombres transfinis forme maintenant
une
thorie bien tablie dans la.quelle nous nentrerons pas plus en dtails.
Leons sur les nombres
transjnis,
(Voir par exemple W. SIERPINSKI:
Paris, 1950, chapitre X; Cardinal
and ordinal
numbers;
ou F. HAUSDORFF: Set Theory,
chapitre III.) Les quelques lments de cette
thorie que nous avons donns ici avaient comme principal objectif
de familiariser le lecteur avec les types dordre linaire des ensembles
dnombrables;
tous ces types dordre peuvent sobtenir partir
densembles de nombres reels (ou mme partir densembles de nombres rationnels).
Remarque.
Le nombre
3, si CI = lim cp(5) ,
YCi
Ainsi par exemple, ow est cofinal
sur la possibilit
de bien ordonner
un ensemble quel-
0 71
91
LE BON ORDRE
suivant,
qui
GNRAL
DU CHOIX.
e(X)EX
(16)
pour
tout 0 #XC
A.
Dmonstration.
Soit F (X) = { X } x X , cest--dire lensemble
F(X) est constitu des couples ordonns de la forme (X, x) , o
x E X. Dsignons par R lensemble des valeurs de cette fonction, cest-dire la famille de tous les ensembles F(X), o 0 # X c A . Cette
famille est constitue densembles non vides disjoints. Sur la base de
laxiome du choix (chapitre III, 0 7), il existe donc un ensemble constitu dlments chacun choisi dans lun des ensembles appartenant
R; cet ensemble est la fonction dsire e.
THORME DE ZERMELO. Quel que soit un ensemble A, il existe une
relation qui lui confre une structure de bon ordre,
Dmonstration.
Envisageons les nombres ordinaux /? qui ont les
proprits suivantes: il existe une fonction fp dont les arguments
parcourent lensemble r (p+ 1) et qui satisfait les galits.
(17) fp(0)
pour 5 GB;
en particulier,
fi
f2GV
= e[A= e(A-
{e(A)>],
{e(A),e[A-
{e(A)>]>>.
et (17).
Il en rsulte que lensemble des valeurs de la fonction fp, cest--dire
lensemble fs (r (fi+ 1)) a le type dordre fi + 1 .
On en dduit que les nombres /I forment un sous-ensemble @
de lensemble des types dordre des sous-ensembles de A qui peuvent
tre bien ordonns. Daprs la thorme 3, 5 4, il existe des nombres
ordinaux qui nappartiennent
pas lensemble @. Soit c( le plus petit
dentre eux. Il nexiste donc pas de fonction f, qui satisfasse les condi-
92
THORIE
[VIII
DES ENSEMBLES
tions (17) (o lon remplace fi par CI), et dautre part, quel que soit
/3 < CI, il existe une fonction fa qui satisfait ces conditions.
Nous allons montrer que 1ensemble A peut tre bien ordonn,
son type dordre tant CL
Dans ce but, remarquons tout dabord que, si fi < p et si la fonction g,, a lensemble f@ + 111comme ensemble des arguments et
satisfait des conditions analogues (17) cest--dire
(18)
spr(0)
= e(4,
spf(4)
z= e[A-gpf(r(S))]
POL~~ 5: GB,
(19)
= fs (5)
f(B)
#f(B)
= f(P)
pour
P < (r et .f,(4
= e [A -f,
(r <CO>].
(a))
93
LE BON ORDRE
9 71
SUR LA DFINITION
p.4~ INDUCTION
TRANSFINIE.
h (X) E A pour X c A,
(21)
(24
Esquisse de dmonstration. Soient donns lensemble A et la fonction h. Supposons que le thorme est faux et que u est le plus petit
nombre pour lequel il nexiste pas de fonction f satisfaisant la condition (22). Donc pour tout fi < u il existe une fonction fp satisfaisant la
condition
(23)
f,(t)
= h(fo(r(5)))
pour
5 <P.
= f,(B)
= h (f(r(u>>)
satisfait alors les conditions du thorme, ce qui est contraire lhypothse. Ainsi, le thorme est dmontr.
Pour en dduire le thorme de Zermelo, on fait la substitution
h(X)
= e(A-X)
pour
X # A,
94
THORIE
DES
ENSEMBLES
[VIII
= A,
A<+I
= H(A,)
et AA = UECi A,
Ex.]
95
LE BON ORDRE
Exercices
1. Montrer
que tc + S < .D
eta.S<n.
2. Tout nornbre ordinal est de la forme A + n, o A est un nombre
limite et 12est un nombre naturel ou zro.
: .Utiliser le fait que dans un ensemble bien ordonn
de la forme a, > a2 > a3 >
Indication
de suite infinie
3. Dmontrer
les implications
(4
Cm==zPI *
(~+a<
(b)
(CXE~S)+
(a+yLS+y).
U+N
il nexiste pas
suivantes:
,
S > 0 implique
lingalit
y < S+ y ?
la loi de distributivit:
cL.@-ty)
Montrer
vraie.
ordinal
= a.p
+ y.
(S+ y) . SC= S . x $ y . CCnest pas
ordinaux
c( # 0 et S
p=a.s+p.
Ici les nombres
6 (quotient)
et 0 (reste)
sont univoquement
dtermins.
7. Une suite tramfinie de type < est une fonction dont lensemble de dfinition
est lensemble I (<) et dont les valeurs sont des nombres ordinaux. Une suite
transfinie p est dite continue si quel que soit le nombre ordinal limite y < 1;lgalit
suivante a lieu:
<p(Y) = lim P (5) .
<<Y
Montrer que les suites transfinies <p(4) = c( + 5 et q (5) = CX. E (pour c1> 0)
sont croissantes et continues.
8. Montrer
pour tout E .
Indication:
En admettant que le thorme
nombre c( tel que p (a) < CC.
5 4 p (E)
croissante et continue.
Formons
...
la suite
96
THORIE
DES
[VIII
ENSEMBLES
Soit
A = lim a,. Montrer que <p(A) = A (sous lhypothse que les nombres
iii03
considrs appartiennent au domaine de dfinition de la fonction q).
10. Le nombre A de lexercice 9 est appel nombre critique
Trouver les nombres critiques des suites
de la suite q.
que tout
Q 7).
(tenir
INTRODUCTION
A LA
SECONDE
PARTIE
98
TOPOLOGIE
sur lexistence dune solution de certains types dquations diffrentielles peuvent tre exprim.s coimme des thormes sur lexistence de
points dun espace de fonctio:ns (lespace des fonctions continues)
invariants pour certaines transformations
continues; ces thormes
peuvent se dmontrer par des mthodes topologiques sous une forme
plus gnrale et dune manire plus simple que ce qui a t fait prcdemment sans laide de la topologie.
Le rle du premier chapitre de cette partie (cest--dire du chap. IX)
est auxiliaire. Nous y considrons les espaces euclidiens et notamment
leur gnralisation
naturelle, les espaces mtriques, pour pouvoir y
interprter les notions et les thormes tablis plus tard pour les espaces
topologiques.
Dans les chapitres X XIII nous donnons les notions fondamentales dont on traite dans toutes les parties de la topologie. Le lecteur
connat beaucoup de ces notions de lanalyse, en relation avec lespace
des nombres rels ou complexe,s (tels que point daccumulation,
voisinage, ensemble ferm, etc.); ceci se rapporte spcialement au chapitre XII qui contient des thormes sur les fonctions continues. Des
thormes connus danalyse par exemple sur la continuit uniforme, la
convergence uniforme, la proprit de Darboux, sont dmontrs ici
(et dans les chapitres XVI et XVII) sous des hypothses beaucoup plus
gnrales. Ceci nous permet de reconnatre toute la porte de ces
thormes, ce qui nest pas sans valeur didactique.
Dans les chapitres suivants (XIV-XVIII)
nous nous restreignons
graduellement des espaces plus particuliers:
nous donnons les proprits importantes
des espaces topologiques
base dnombrable
(dont les espaces mtriques sparables sont un cas particulier),
des
espaces complets (avec le thorme de Baire et ses consquences),
des espaces compacts (qui ont t crs afin de gnraliser les sousensembles ferms et borns de lespace euclidien), les espaces connexes (la connexit est lnonc prcis de la notion de continuit
dun ensemble), et des espaces localement connexes (il savre que les
courbes, les surfaces, les varits multidimensionnelles,
dont on traite
en gomtrie diffrentielle,
sont en rgle gnrale des continus localement connexes).
Le chapitre XIX contient des rsultats de la thorie des dimensions.
La notion de dimension -- bien quelle remonte lantiquit
(elle
apparat dj dans les Elments dEuclide) - na t rigoureusement
INTRODUCTION
99
100
TOPOLOGIE
du sicle pass; son objet etait les polygones et polyhdres n dimensions. Une synthse de ces deux thories sest produite relativement
tard, il y a environ 35 ans, et ce fut pour une grande part luvre de
P. S. Alexandrov.
Cette priode a t prcde par la transition des
recherches sur les sous-ensembles de lespace euclidien dans la topologie ensembliste aux recherches sur les espaces topologiques
arbitraires. Cette extension du champ de la topologie sest faite un degr
significatif en connexion avec les nouvelles recherches mathmatiques
sur les notions despace fonctionnel
et despaces une infinit de
dimensions introduites par Hilbert.
Une floraison dune richesse inattendue sest accomplie en topologie ces quarante dernires anrrtes; bien des problmes fondamentaux
ont t rsolus et de nouvelles mthodes dveloppes. La topologie,
qui encore rcemment tait une ,agglomration de thormes mal relis
entre eux, est devenue un systme mathmatique,
et les mthodes
topologiques ont pntr dans bleaucoup dautres domaines des mathmatiques.
Au lecteur qui voudrait accrotre ses connaissances de topologie,
nous pouvons recommander
les livres suivants, dont bon nombre
ont t utiliss par lauteur pour rdiger ce manuel.
ALEXANDROV, P. S. Combinatorial
1956 et 195.7.
Topology,
1, Springer,
Rochester
Berlin 1935, et
Paris 1959.
Graylock,
Scientifiques
No 1045,
of Algebraic
Topology,
1957.
Theory,
Cambridge,
Theory, Cambridge,
1963.
1960.
1960.
1961.
INTRODUCTION
101
Van Nostrand,
Topology,
KOWALSKY, H. J. Topologische
Princeton,
1948.
New York,
1955.
Theory,
Basel-Stuttgart,
Rume,
1961.
KURATOWSKI, K. Topologie,
Monografie
Matematyczne, WarszawaWroclaw, vol. 1 quatrime d. 1958, vol. II, troisime d. 1961.
LEFSCHETZ, S. Introduction
Princeton, 1949.
Princeton
to Topology,
University
der
analytischen
PONTRJAGIN, L. S. Topological
ceton 1939.
Groups,
of Combinatorial
Teubner,
Topology,
Nous voudrions
suivants :
Press, Prin-
Topology,
Analysis,
1964.
Chelsea, New
of Toronto
Press, Toronto
Topology,
Pergamon
Princeton
1942.
1964.
Grundbegrtre
concepts
Graylock,
aussi mentionner
Univ.
to Algebraic
of Manifolds,
Springer,
der Topologie,
Univ.
Topology,
Sets of Points,
Topologie,
Princeton
Stuttgart
Press,
les livres
plus lmentaires
der Topologie,
in elementary
Topology,
Berlin 1932.
Prentice-
102
TOPOLOGIE
BAUM,
J. D., Elements
D., Elements
BUSHAW,
~HOQUET,
G.,
Cours
ojpoint
of General
danalyse,
MANSFIELD,
M., Introduction
PATTERSON,
E. M., Topology,
SIMMONS,
Hill,
Topology,
to Topology,
G. L., et D. W. HALL,
New York 1955.
Mathematical
R.: Treatise
Society., Madras
Publ.,
and Modern
Elementary
on Set
1947.
Paris 1964.
Princeton
Interscience
SPENCER,
1964.
F., Introduction
to Topology
New York, 1963.
VAIDYANATHASWAMY,
Prentice-Hall
set Topology,
1963.
New York
Analysis,
Topology,
Topology,
1956.
McGrawJ. Wiley,
Part 1, Indian
CHAPITRE
ESPACES
MTRIQUES.
IX
ESPACES
EUCLIDIENS
9 1. Espaces mtriques
Dfinition. Un ensemble X est dit un espace mtrique si tout
couple de ses lments, cest--dire tout couple de points x, y de X,
on a associ un nombre rel 1x - y 1 > 0 , appel distance du point x
au point y, qui satisfait les trois conditions:
(1)
1x - y 1 = 0 si et seulement si x = y ,
(2)
IX-Y1
(3)
Ix-yl+ly-zl>lx-zl;
= IY -XI,
(4)
i
i
i=l
Ixi-yi(2
1
de Hilbert.
des suites de
104
TOPOLOGIE
[IX
Ix-,Yl=
CIxi-Yi12
1 i=l
If-sl
(6)
= SUPIf
-scdl.
bornes
1.
et g tant
X (arbitraire)
dans lespace
par
(6),
la formule
deux applications
mtrique
bornes
Y, leur distance
dun
ensemble
1f - g 1 donne
est jnie.
do
9 41
THORME
ESPACES
2.
MTRIQUES.
Lensemble
ESPACES
Y (X, Y)
EUCLIDIENS
105
des applications
bornes
devient un
djinit la distance de ses lments par lga-
IX-Y1
= z ;txm
??I=l
- Y, 1.
La notion de limite dune suite de points, qui est une notion fondamentale en topologie, est dfinie partir de la notion de limite dune
suite de nombres rels, qui est connue de lanalyse lmentaire.
Djnition.
Une suite de points p1,p2, . .. . p,,, . . . dun espace
mtrique converge vers le point p de cet espace, si la suite de nombres
rels 1y, - p 1converge vers zro. On appelle alors le point p la limite
de la suite pl, p2, . .. . pn, . . . et on crit p = limp,.
n-m
Une suite de points ne converge pas ncessairement, mais si elle
converge, sa limite est unique, ce qui justifie la dfinition prcdente.
TOPOLOGIE
106
[IX
(limp,=p)
-iX
= (lim (pn-P
II+E
1 = 0)
= MJ,[(-k)
(9)
=-(IPn-PI
--CE)].
(10)
= {x:1x
-pi
<&}.
Dans lespace des nombres rels, une boule ouverte est un intervalle
ouvert, dans le plan, cest un disque sans sa frontire, et notre terminologie correspond celle de lespace euclidien 3 dimensions.
0 5. Proprits
de la limite
Pour dmontrer
(9)PwP@)P,-Pl
THORME
2. Toute suite convergente est borne. En dautres
termes: lensemble des termes dune suite convergente est born.
ci 61
ESPACES
MTRIQUES.
ESPACES
107
EUCLIDIENS
Les dmonstrations
des thormes suivants ne diffrent pas de
celles donnes en analyse lmentaire pour les suites de nombres rels.
THORME 3. Si p,, = p pour n = 1, 2, . . . . alors lim pn = p .
n+m
THORME 4. (Sur
k,
< k,
< . . . , alors
n-+cc
THORME 5. Toute suite
contient
nombre
fini
. . . . qui
p1,p2,
dont aucune
THORME 6. Ni la convergence
dun
Si
lim pn = p et si
n+m
ne converge
suite partielle
dune
pas
vers p
ne converge
vers p.
suite ni sa limite
ne dpendent
de ses termes.
vers p.
n+5c
z, =
(x,,
condition
ncessaire
y,,) de lespace
X
Xet Y.
et sufisante
pour quune
Y converge vers le point
I x, - x I < 6 et I h - Y I < 8,
108
[IX
TOPOLOGIE
do
5 A, (lim x: =x,,) .
n+m
Supposons
1XL -. x, 1 < 1x - x 1
on a
(11)
(12)
< &.
En appliquant
lgalit (11) pour m = 1, 2, .. .. i, on obtient
lexistence dun k tel que pour n > k les ingalits
(13)
IX;-XII
<E,IX;-X21
<&,...,IX;-Xi/
<E
9 71
ESPACES
MTRIQUES.
ESPACES
109
EUCLIDIENS
1x; - x,1 =
= i (1/2)
Ill=1
[ x; - x, 1 +
I x-m
XE I
6 (x,)/2m < E + E . p
m=i+l
m=l
Soitf,,f,,
mtrique
Y.
uniformment
un k tel que
(1/2)
cc
< c (E/2m) +
Q 7. Convergence
;
m=i+l
. Il en rsulte que
uniforme
de X dans un espace
.-,f,, ... une suite dapplications
Comme en analyse, on dit que cette suite converge
vers la limite f si tout E > 0 on peut faire correspondre
pour tout n > k et tout x E X lingalit
Ifn(x> -f(x)
(14)
a lieu, cest--dire
I< E
si
= f)
3 (lim
+*
If, -fi
= A,VkAn[(n
= 0)
>k) * (SUP If, (4 -f(x)
ainsi au thorme
1. Dans
6) -f(x)
I a]
I ~41 .
suivant.
lespace
lim f, = f
-+U2
uniformment
110
TOPOLOGIE
2. La limite dune
bornes est borne.
THORME
dapplications
Donnons-nous
Ifh)
-fW
[IX
suite
uniformment
I G If(4
If,
- fi
convergente
< E . Comme
il vient
6 [f(X)]
Exercices
1. Soit g2 le plan des nombres complexes; pour tous points z, z E g2, dfinissons 11z - z 11comme suit: lorsqw les points z, z et lorigine du systme de
coordonnes sont aligns, on prend 11z - 2 1) = 1 z - z 1, et dans le cas contraire, 112 - 211 = 1 z 1 -1 1 z 1, o 1 z 1 dsigne comme dhabitude
la valeur
absolue de z.
Montrer que la fonction 11;z - z 1 peut tre envisage comme la distance de
2 z, cest--dire quelle satisfiait les conditions (1) (3) de la distance.
2. Monter
< 6 (B).
3. Dmontrer
lingalit
6 (A u B) -< 6 (A) + S(B)
sous lhypothse
que A n B # @.
n+m -p.
Montrer
CHAPITRE
ESPACES
8 1. Dfinition.
TOPOLOGIQUES
Axiomes de la fermeture
Un ensemble X dlments arbitraires est nomm espace topolorsqu tout A C X on a fait correspondre un A C X de faon
que les axiomes suivants sont satisfaits:
logique
AuB
(1)
= AuB,
(11)
AcA,
(III)
0=0,
(A)
UV)
= A.
de X, lensemble
dune
suite de points
n+x
Nous tablirons
THORME
au pralable
1. p E A si et seulement
suivant.
si
KnA#0
(1)
pour
le thorme
toute
boule
K de centre
p.
112
TOIPOLOGIE
dfinition
de K, on a 1p,, - p 1 < I/n,
p,, E A, on a p E A.
ix
THORME
djnition
(2)
Pour dmontrer
linclusion
inverse, remarquons
tout dabord
que
(A C B) =s-(A C B) .
(1)
(3)
;iuBC
membre membre,
on
AuB.
4 31
ESPACES
113
TOPOLOGIQUES
Soit p E (A). En vertu du thorme 1,s 1, quelle que soit une boule
K de centre p, on a K n A # 0. Soit donc q E K n A, et choisissons
une boule L de centre q telle que L C K (pour cela, il suffit que le rayon
de L soit plus petit que la diffrence du rayon de K et de la distance de
q p). Puisque q E A et que L est une boule centre en q, daprs le
thorme 1 du $1, on a L n A # 0. Mais puisque L C K, on a donc
(Ln A) C (Kn A), do Kn A # 0. On en dduit que pEA (en
vertu de ce mme thorme 1 1).
0 3. Proprits
algbriques de la fermeture
arbitraire,
on a les formules
sui-
(AcB)+(AcB).
A--BCA-B.
AnBCAnB.
n,A,c i-u,,
o la variable
t parcourt
un ensemble arbitraire
T.
ut -4 c u, A, -
114
TOPOLOGIE
x=x.
directe de laxiome
(II).
dfinie
sur lintervalle
Pn = ckl-(x,)>
7
a < x, s; b .
(5)
Posonsp = (~,y).
(6)
(7)
Puisquep
lim x, = x,
-ta
limf(:c,)
= y.
n-+Cc
0 51
ESPACES
115
TOPOLOGIQUES
= f(x)
def,
sont
f erm.
En effet, si les ensembles A et B sont ferms, cest--dire
A = A et B = B, alors
AuB
= Aujj
que
= AuB.
dun nombre
quelconque
densembles
Ar = A,,
nombre
quelconque
densembles
116
TOPOLOGIE
LX
= (X-A)U(X-B),X-U,A,
des
IV,
= n,(X-A,).
En dautres termes:
(8)
p~2
E A,(ACF)
*(peF),
oFestferm,
ou encore,
(9)
p E A z Ac (p E G) * (A n G # 0) , o G est ouvert.
Dmonstration.
Soient p E ;$ et A C F. Il en rsulte A C F = F,
et par consquent p E F.
Inversment, si (A C F) * (p E F), il vient p E A lorsquon substitue A F (en tenant compte de laxiome IV, daprs lequel A est
ferm).
La formule (9) quivaut (8), car limplication
(A C F) * (p E F)
quivaut (p # F) * (A $ F), donc (p E X - F) + [A n (X - F)
# 01, et en passant de la variable F (ferm) la variable G (ouvert), on
passe de (8) (9) (et vice-versa.).
9 61
ESPACES TOPOLOGIQUES
$j 6. Points intrieurs.
117
Voisinages
quelconque
A, lensemble
=X-X-A
(1)
(II)
Int (A) C A,
(III)
Int (X)
C[V)
= X,
= Int (A).
Lensemble A est appel voisinage du point p si p E Int (A), cest-dire si p est un point intrieur de lensemble A. Ainsi, un ensemble
ouvert est voisinage de chacun de ses points. Tout voisinage dun point
p contient un voisinage ouvert du point p, cest son intrieur.
On dit, dune manire plus gnrale, que A est un voisinage de
lensemble B si B C Int (A).
On appelle frontire de A lensemble
Fr(A)
= AnX
A.
118
TOPOLOGIE
[X
lespace des
frontire est
Lintrieur
est le disque
(x : 1x - p
de A a des
Lintrieur
de lintervalle
ferm a < x <
nombres rels est lintervalle
ouvert a < x <
lensemble constitu de ses deux extrmits a et
du disque ferm {X : 1x - p / < p}, dans
ouvert {x : 1x - p ( < p}, et sa frontire est
1 = p}.
&j 7. Dfinition
ouvert
b dans
b, et sa
b.
le plan,
le cercle
Nous allons dmontrer prsent que la notion despace topologique peut tre dfinie partir des ensembles ouverts.
Soit, en effet, X un ensemble dlments arbitraires et R une famille
de ses sous-ensembles jouissant des proprits suivantes :
10 la runion
dun
nombre
arbitraire
dlments
de R appartient
R,
20 lintersection
dun
nombre
fini
dlments
de R est un lment
de R,
30 0 E R,
40 XER.
THORME. La famille
R djnit
une topologie
dans X si lon
convient que R est la famille
des sous-ensembles
ouverts de X.
Plus prcisment: en dfinissant la fermeture (dans le sens de la
famille R) par la condition (9) du $ 5 o G parcourt R, les axiomes
(I)-(IV) sont raliss; de plus, la famille des ensembles ouverts dfinis
laide de cette fermeture (suivant la dfinition formule dans le
5 4) concide avec la famille R.
Dmonstration.
Afin de dmontrer que la nouvelle fermeture
satisfait (I), posons p E .4 u tl. Il sagit de montrer que p E A, ou que
p E B. Supposons le contraire. Il existe alors selon (9) deux ensembles
G~RetH~Rtelsquep~C;,p~H,GnA=0etHnB=0.
IlvientpEGnHet(GnH),?(AuB)=0.Maisalorsp$AuB,
puisque daprs 20 (G n H) E IR.
6 81
ESPACES
119
TOPOLOGIQUES
On a ainsi A u B C A u B. Linclusion inverse rsulte immdiatement de (9). Il en est de meme de linclusion (II) et de lidentit
(III).
Enfin, pour tablir (IV), il suffit de dmontrer que p E 2 * p E A.
Or, soit p E G E R; il sagit de montrer que A n G # 0. En substituant
dans (9) A A, il vient A n G # 0. Soit q E A n G. Il en rsulte en
vertu de (9), en substituant q p, que A n G # 0.
Nous allons dmontrer prsent que la famille des ensembles
ouverts dans le sens de la fermeture dfinie par la condition (9)
(o G E R) est identique la famille R. Soit A ouvert. On a donc
daprs (9)
(PEA)
z(p$X-A)
=V,(~EGER)A[(X-A)nG
=0].
120
TOPOLOGIE
LX
$ 9. Topologie
relativise
de topologies
Ex.]
ESPACES
121
TOPOLOGIQUES
Exercices
1.
Dmontrer que si lensemble G est ouvert, les rgles suivantes sont vrifies
X:
(4
GnkcGnX,
!b)
Gn?=GnX.
2. Montrer
quivalentes :
sont
(1) la fermeture de tout ensemble ouvert est un ensemble ouvert (un tel espace
est appel extrmement
discontinu),
(2) quels que soient deux ensembles ouverts disjoints, leurs fermetures sont
aussi disjointes.
3. Si un espace topologique possde une base dnombrable,
alors lune quelconque de ses bases contient toujours une sous-famille dnombrable qui constitue
elle-mme une base.
4. Dans un espace mtrique,
dmontrer
0 6)
5. Dmontrer
XC
la formule
= 8 (A).
les formules:
Y=z=Int(X)C
ht(Y),
U, ht <XJ C ht CU,Xt),
Fr(X)
Xn
l-Xu(x-X),
1 dsignant
122
TOPOLOGIE
?=
Xu
Fr(X),
Fr(Xu
Y)uFr(Xn
Fr [Int (X)l
Y)ct(Fr(X)nFr(Y))
C Fr(X)
= Fr(X)uFr(Y),
Int(X)nFr(X)=0.
6. Une famille { Xt} de sous-ensembles dun espace donn est dite loca/enwnt
finie, si tout point de lespace possde un voisinage qui na de points en commun
quavec un nombre fini densembles X,. Montrer que sous cette hypothse,
u, x, = u, x, .
7. Soit X un espace mtrique. On dit quun point p E X appartient
topologique de la suite densembles A,, A,, . .. . en symboles
la limite
infrieure
pE Li ,4,
n+m
si tout voisinage de p a une intersection non vide avec A, pour tout n suffisamment
grand.
Dmontrer les formules suivantes,
1) LjA,
2)
= LiA,
A, C B,*
= Li,,
LiA,
3) LiA,uLiB,
C LiB,
>
C Li(A,uB,),
x B,) =LiA,
x LiB,,.
la limite
suprieure
= Ls.l,
= LsA,,
2) A,, C B,,=sLsA,
3) Ls (A,
C LsB,,
B,,) : Ls A,
4) Ls(A,nB,,)C
CJ Ls
13,,
LsA,nLsB,,,
5) si A, = A alors LS A,, = A,
6) Ls A,, = r;
An+k,
n=Ok=O
7) Ls (A,
x B,) C Ls A, x Ls ~8 >
de A,.
Ex.]
ESPACES
8) LiA,-
LsE,
C Li(A,-
TOPOLOGIQUES
123
B,),
9) Li(A,UB,)CLi.~,ULiE,u(LsA,nLsB,).
9. Lorsque Li A,, = Ls A,,, on dfinit la limite topologique
It+ou
n-cc
densembles A,, A,, . .. . en symboles Lt A,,, comme lensemble
n-+m
Lf A,, = Li A, = Ls A,.
n-m
n+cc
?lP
Dmontrer
les formules
1) Lt A, = LtA,
suivantes:
= LIA,,
u Lt&,
= 2 ,
n=l
m
= (j ,, ,
6) Lt (A,
n=l
x B,) = LtA,
x Lt&,
de la suite
CHAPITRE
DIVERSES
XI
FAMILLES
DENSEMBLES.
ENSEMBLE DRIV
0 1. Ensembles borliens
Les ensembles borliens sont les ensembles appartenant la plus
petite famille R de sous-ensemlbles dun espace donn qui satisfait
les conditions suivantes :
(a)
tout ensembleJi?rm
appartient
R,
(b)
si X,,~Rpouun
(c)
21
DIVERSES
FP,MILLES
DENSEMBLES
125
126
TOPOLOGIE
[XI
ferm,
alors
la runion
frontire
et B un ensemble
A u B est un ensemble
frontire.
0 3. Espaces FI.
Espaces LT~
1. Un espace topologique
est dit espace
tout ensemble compos dun seul point est ferm:
Dfinition
(1)
Y1 lorsque
(P} = {PI *
(2)
PEG,
qEH
et GnH
= 0.
9 51
DIVERSES
FAMI[LLES
127
DENSEMBLES
Points isols
lorsque
daccumulation
de A
-~
PEA -{P}.
point
THORME 1. Une
condition
ncessaire
ncessaire
En particulier:
il suffit
pour
que lensemble
et sufisante
A est quil
{p}.
pour
pour
existe
pour
que le point
p soit un point
p = lim pn ,
n-+cc
que
le
une condition
daccumulation
que
le
un ensemble
et sujsante
de lensemble
A est que tout
p contienne
un point de A distinct
il faut et
ncessaire et
de X est que
Pn#P.
5 5. Ensemble driv
Lensemble
ensemble
driv
1.
A = AuAd.
2.
(AU@~
= AduBd.
128
1'OPOLOGIE
3.
U,A;C
(UtA,)d.
4.
Addc Ad.
5.
Ad=Ad.
Les formules 1. 3.
dailleurs vraies dans tout
tration de 4.
Admettons que p $ Ad,
ouvert G tel que p E G et G
(3)
soi.
1. La fermeture
Ex.]
DIVERSES
FAMILLES
129
DENSEMBLES
Dmonstration.
Soit A un ensemble dense en soi, cest--dire,
satisfaisant la formule (3). Il en dcoule, daprs la formule l., Q 5, que
Ad = A u Ad = 2 ,
(4)
do on obtient,
en appliquant
(A)
les formules
= (AuA~)~
2. et 4., 5 5,
= Ad Add = Ad;
q
= A. Ainsi,
THORME
2. La runion dun nombre
denses en soi est elle-mme dense en soi.
lensemble
arbitraire
A satisfait la
densembles
U, A, C U, Af c (U, AJd .
THORME
3. Tout espace e,st la runion de deux ensembles dont
lun est ferm et dense en soi et dont lautre ne contient aucun SOUSensemble non vide dense en soi.
Dmonstration.
Dsignons par C la runion de tous les sous-ensembles de lespace donn qui sont denses en soi. Il rsulte du thorme
2 que lensemble C lui-mme est dense en soi et donc, en vertu du
thorme 1, que C est aussi dense en soi; donc C est un sous-ensemble
de C, C C, cest--dire que C est ferm. Enfin, lensemble X - C
tant disjoint de C ne contient aucun sous-ensemble non vide et dense
en soi.
Remarque. Les ensembles qui sont simultanment ferms et denses
en soi sont aussi appels ensembles parfaits. Ils sont donc caractriss
par lgalit A = Ad. Les ensembles qui ne contiennent aucun sousensemble non vide dense en soi sont aussi appels ensembles clairsems.
Exercices
1. Dmontrer
que: (a) le complmentaire
dun ensemble-G6 est un ensemble(b) la runion dune suite infime densembles-F,
est un ensemble-Fv; lintersection de deux ensembles-F, est un ensemble-F,.
Etablir les thormes relatifs aux ensembles-Ca duaux de (b) [utiliser les rgles
de de Morgan].
F,;
130
TOPOLOGIE
1x1
sous-ensemble
ouvert
dun nombre
quelconque
FI
sur X
de topologies
X a la proprit
(A) si A, B C X et A n B
que :
CHAPITRE
APPLICATIONS
XII
CONTINUES
$j 1. Continuit
Dfinition. Soient X et Y deux espaces topologiques et f : X + Y.
On dit que lapplicationfest
continue au point x,, lorsquon a limplication
x0 E A *f(xJ
(1)
of (A) pour
tout A CX .
(2)
Dmonstration.
et que
x0 of-
(B) =af(x(,)
EB pour
1) Admettons
(B).
f(xO) ~f[f-l
(B)].
donc f(x,,) E B.
que la condition
Substituons
Mais f[f-
tout B C Y.
(1) est satisfaite
(B)] C B (camp.
(B).
chap.
Il
IV
vient
(18)),
B, do j-(x0) Es.
COROLLAIRE
1. La continuit de f au point x0 quivaut la
condition suivante : si C est un voisinage du point f (x,), f - 1 (C) est
un voisinage du point x,, ,. en dautres termes: tout ensemble ouvert
H (dans Y) contenantf (x0) correspond un ensemble ouvert G (dans X)
contenant x0 tel que f (G) C H.
Y - C, on obtient
132
(2)
TOPOLOGIE
[XIT
f(xo)EX-Y-C~XoE:X-f-l(Y-C)=x-X-f-l(C),
cest--dire
f(xo)
(2)
(C)] .
THORME
f(A)
(3)
Pareillement:
(4)
CJ(A)
pour
et il
tout A C X.
Dmonstration.
(B) Cf-(B)
1) Admettons
pour
tout B C Y.
et que y, E f (A).
que la condition
et que x0 E A.
21
APPLICATIONS
133
CONTINUES
COROLLAIRE
appartenant
Dmonstration.
11 sagit de montrer que lhypothse formule
dans le corollaire implique que lensemble f-l
(G) est ouvert quel
que soit lensemble ouvert G. Or, cela rsulte du fait que la famille de
tous les ensembles ouverts est engendre par la sous-base au moyen
des deux oprations: intersection finie et runion, et que (cf. Chap. IV
(1% (17)):
f-(nQ,>
= ~f-l<QtL
f-(UQJ
f
= Uf-(Q,).
*
[.f(xo)] E g [f(A)],
G =s. I,f(x)
-j-(x0)
1 < E.
kVSL{(l~-XO
I <@ *(If(x)
-.f(xo)
l < E)}
134
-TOPOLOGIE
[XII
de Heine :
f : X -+ Y soit continue au
THORME
2. Pour que lapplication
point x0, il faut et il su@ que
lim x, = x0
n-+IX
(6)
entrane
limf(x,)
+DZ
(7)
= f(x0)
I C:d) A (If(x)
(8)
l xn -
-f(xo)
laxiome
12 4.
du choix) une suite
x0 ( < I/n
et
(9)
Lingalit
(8) entrane lgalit (6), do il rsulte, la fonction
tant continue au sens de Heine au point x0, que lgalit (7) a lieu.
Mais lgalit (7) est en contradiction
avec lingalit (9). Ainsi,
lhypothse que (5) nest pas vrai conduit une contradiction.
En second lieu, supposons quefsatisfasse
(5), et que (6) ait lieu.
Ainsi il existe un k tel que ( ;r, - x0 1 < 6 pour tout n > k. Donc,
daprs (5), I~(X,> - f(xo> 1 .< E. Cela veut dire que lgalit (7) a
lieu, donc f est continue au sens de Heine au point x0.
Remarque. Si f est une fonction continue valeurs relles, cest-dire si f : X + 6, on conclut du corollaire 2 du $ 1 que les ensembles
{x :f(x)
X< a} , {x :f(x)
> a} , (x : a <f(x)
< b)
9 21
APPLICATIONS
135
CONTINUES
< u} , {x :f(x)
> u} ) (x : a <f(x)
< b)
sont ouverts.
Cest bien le cas puisque ces ensembles sont les images rciproques
des ensembles ferms
{Y :Y <a},
{y:y>a},
{y:a
<y<b)
{y:y
{y:u
<y
<a},
>a},
<b}
respectivement.
THORME 3. La limite dune suite uniformment
convergente
dapplications
continues f,, n == 1, 2, . ... dun espace topologique X
dans un espace mtrique Y est une application continue.
Dmonstration.
Posons
f(x)
== lim f, (x) .
(10)
Ifk(x) --f(x)
I< E
a lieu.
Puisque la fonction fk est continue au point x0, il existe un ensemble
ouvert G contenant x,, tel que
(11)
(10) on a
1 < 3s pour
136
[XII
TOPOLOGIE
* [~yw
= f<z>]
t,.
6. La fonction
Demonstration.
1x - y 1 est continue.
Posons
lim x, = x , lim y, = y ,
+CC
n-*m
(13)
Daprs
(14)
lingalit
du triangle
IY,-Yl
<E.
1x - y 1 CG1x - x, I + I x, - y, I + I y, - y I .
II dcoule des ingalits
(15)
<E,
1 X - Y / < 1 X, - Y, 1 + 2.
9 31
APPLICATIONS
Dune manire
analogue,
137
CONTINUES
de lingalit
I XII -ynl~~lXn-XI+I~-YI+lY~-YI
on obtient
I xii -
(16)
y, 1 *< 1x - y 1 + 2E.
Fig. 5
Daprs
lb, -YnI
-- lx -YIl
c2.5.
dun point
un ensemble.
Extension
que la fonc-
des fonctions
La distance dun point x un ensemble non vide A est par dfinition le nombre
(17)
p(x,A)
= inf{lx
-al:a~A}.
138
[XII
TOPOLOGIE
alors
[p (x, A) = 01 = (XEA) .
THORME
5. La fonction
(pour un A fixe).
(18)
A est vide.
<6.
Fig. 6
(x-a!
(19)
Sp(x,A)+d.
p(x,A)5[x-al-~Ix-a[
+Ix-x[
<p(x,A)
121)
Les ingalits
(22)
on a
<p(x,A)
+ 26.
que
+ 6 + 6.
APPLICATIONS
5 31
139
CONTINUES
(22), cest--dire
que la
(23)
Dmonstration.
G = {x:p(x,A)
Posons
<p(x,B)},
H = {x:p(x,B)
<p(x,A)}.
Les ensembles G et H sont ouverts. En effet, en vertu de la continuit des fonctions p (x, A) et p (x, B), la fonctionJ(x)
= p (x, B) p (x, A) est aussi continue. Il en rsulte, puisque
G = {x : p (x,B)
- p(x, A) > 0} ,
est
un ensemble-G,.
Dmonstration.
Soit F = F, et posons
K(F,&)
= {x:p(x,F)
< E}.
K (F, E)
K (F, lin) .
140
[XII
TOPOLOGIE
(a>
R.
(24)
.f(x)
(25)
- 1 <f(x)
- 1 pour
XEA,
1 pour
XGB,
<c 1 pour
= b (x, 4
- P (x3 B)}lb
x $A u B
les thormes
(x> 4
3 5, que la
+ P (x3 B))
(26)
(27)
If(x)
(28)
Dmonstration.
pour
tout x E X ,
tout x E X - F
pour
tout XEF.
Soit
A = {x :f(x)
> (1/3) p} .
9 b> = (w
satisfait-elle
les conditions
9 2);
APPLICATIONS
0 31
8. l) (Thorme
THORME
continue,
valeurs
espace mtrique
termes,
lespace
relles
sur un sous-ensemble
ferm
F dun
X, peut
il existe
X entier
et telle
que
f*
= f(x)
(30)
De plus,
dextension
d$nie
141
CONTINUES
sif
(x)
est borne,
If(x)1
(31)
pour
tout
x EF .
soit
<p(#.O)
pour
fout
tout
x EX
XEF,
alors
(32)
If*(x)
1 < p pour
F .
Dmonstration.
Considrons en premier lieu le cas o la fonction f
est borne, donc satisfait lingalit (31). On dfinit une suite de fonctions continues g,, g,, . .. par induction de la manire suivante. On
pose g, (x) = 0 pour tout x E X. Etant donn n > 0, supposons que
les fonctions g, (x), . . .. g, (x) satisfont lingalit
(33)
If(4
x EF .
(34)
(35)
une fonction
les conditions
<(2/3+),~
pour
p pour
par f(x)
continue
g,, r
suivantes:
X~X
x EX - F ,
n+l
(36)
If(x)
x EF .
i=O
(37)
Si
Cx> .
i=O
Nous utiliserons
ce thorme
142
TOPOLOGIE
[XII
= hf(x)
pour
XEF,
Ih*(x)l
< 1 pour
X~X.
= h-lb*(x)
le thorme
pour
XEX,
et pour tout x E F on a
= h--l hj(x)
se trouve
dmontr
= f(x),
dans toute
sa gnralit.
Nous dmontrerons
ce corollaire pour le cube de Hilbert Z? =
.Y x 3 x ... par exemple, la dtfmonstration
dans les autres cas tant
analogue.
Pour tout x E F on af(x) E 9 x 9 x . .. . cest--dire
f(x)
9 31
APPLICATIONS
143
CONTINUES
Toute
ensemble.ferm
F dun
(cest--dire
lensemble
satisfont
lgalit
un voisinage
COROLLAIRE
(x>,f;
xt + xi
de lensemble
fonction
continue
d$nie
sur
un
sous-
espace mtrique
X valeurs dans la sphre Y,
des points de lespace 8 dont les coordonnes
== 1) peut
+ . . . + xz,,
F (pour
la topologie
En vertu du corollaire
f * E (&Y+ 1)x de la fonction J Posons
Dmonstration.
G = {x:f*(x)
tre
tendue
dans
de X).
# O}.
sur lensemble
Remarques.
Les espaces (mtriques)
qui peuvent tre substitus
dans le corollaire 1 aux espaces Q, Y, etc., sont appels des rtractes
absolus, ceux qui peuvent tre substitus dans le corollaire
2 aux
espaces Y,, sont appels des rtractes de voisinage. (Ces notions ont t
introduites par K. Borsuk).
Cette terminologie
est en rapport avec la notion de rtraction.
On dit, en effet, quun sous-ensemble R dun espace X est un rtracte
de cet espace sil existe une application continue f de lespace X sur
lensemble R telle que f(x) = x pour x E R (cette application
est
appele rtraction; une projection du plan 8 sur un axe est un exemple
de rtraction).
Ainsi, on peut montrer quun rtracte absolu est un espace qui est
un rtracte de tout autre espace qui le contient et dans lequel il est
144
TOPOLOGIE
[XII
Gnralisation
du thorme de Tietze
Dfinition.
Un espace topologique
X est dit normal
lorsqu
tout couple densembles ferms disjoints A et B correspond un couple
densembles ouverts disjoints G et EI tels que
ACGetBCH.
(38)
(39)
et CCC.
(40)
Dmonstration.
forme
que
(41)
(42)
r = k/2
= 0 pour
xcA
etf(x)
de sous-ensembles
A et B
X correspond
une fonction
1 pour
XEB.
ef X -- B = G (1) ,
~_
r < r =S G(r)
C G (r) .
9 41
APPLICATIONS
145
CONTINUES
f(x)
x E G (0)
sup {r : x 4 G(r)}
pour
x # G (0).
On a donc
r <f(x)a,x#G(r)*r
(44)
<f(x).
(45)
Or, considrons
(46)
- (W)
c:f(x>
<.f(xd
+ (1/2)
un r tel que
fkJ
< r <fc%>
+ (w+)
et posons
H=G(r)-G[r-o]
(en convenant
146
[XII
TOPOLOGIE
que
x,~G(r)
Selon
XEH
et x,,#G[r-(1/2)]
(47)
*XE~
et (44),
1 c[r.
- G[r-(1/2)]
G[r-(1/2)]
< r, ainsi
*r
que
- (1/2) <f(x).
En rapprochant
ces formules
Remarque. La proprit
des espaces normaux nonce dans le
lemme 1 caractrise ces espaces.
En effet, en supposant quefsatisfait
la thse du lemme, on dfinit
les ensembles G et H de la formule (38) comme suit: G = {X :Y(x)
< 1/2} et H = {x :f(x) > 1/2).
LEMME 2. Soient Xun espace normal, F = F etf : F + 3 continue
et telle que 1f(x) ( < p (# 0). Il existe alors une fonction continue g
djnie sur X et telle que
(48)
If(x)
(49)
tout x E X
pour
tout x E F .
Dmonstration.
A = {x : [f(x)
et B = {x : [f(x)
DE TIETZE
GNRALIS.
Soient X normal,
F = F et
f : F + 8. On a alors
(50)
'cf*:X-+8,
o f * est continue.
De plus, d peut tre remplac dans cet nonc par Y.
La dmonstration
dans le cas de f born est tout--fait
celle du 9 3 (sauf que lon renonce la condition (35)).
analogue
9 51
APPLICATIONS
147
CONTINUES
rguliers
Dans le domaine des espaces Y1 les espaces compltement rguliers se prsentent comme une gnralisation importante des espaces
normaux. Voici leur dfinition.
Djnition. Un espace topologique X est dit compltement rgulier
lorsqu tout point p et tout ensemble ferm F qui ne contient pas
ce point correspond une fonction continue f : X -+ 3 telle que
f(p)
(51)
= 0 et f(x)
= 1 pour
XEF.
que:
rgulier
dun
est rgulier.
espace compltement
3. Tout espace FI
rgulier
4. Tout espace FI
normal
est compltement
rgulier.
rsulte du lemme
durysohn
La dernire
proposition
rgulier
est
du 9 4.
2. Pour dmontrer
quun espace topologique
X est
rgulier, on peut, dans la dfinition ci-dessus, restreindre
148
[XII
TOPOLOGIE
<f(X)
<V}
= Ui{ x:u
<f;(x)}
nfli{X:fi(X)
-=CV},
[f(x)
f(x)]
q*
(x
x)
Toute application
biunivoque
g = ,f - dfinie (pour y Es)
(53)
= [Y = f(x)]
[g (Y> = x]
inverse
=j;
9 61
APPLICATIONS
2. si f est un homomorphisme,
3. la relation
et transitive.
dtre
149
CONTINUES
alors f-
homomorphe
i lest galement,
est rflexive,
symtrique
THORME
1. Soit f : X -+ Y une application
biunivoque.
que f soit un homomorphisme,
il faut et il s@t que
xEA
(54)
-~(X)E~(A)
pour
fout
Pour
et A C X.
.xEX
Dmonsfration.
Posons g = f-.
Donc g : Y + X, g [f(x)] = x
et g-i -J
Admettons quefest
un homomorphisme.
En vertu de la continuit de f, on a limplication
(1) du 9 1. Dautre part, g tant continue,
on peut substituer dans (1) (en y omettant lindice 0) g la place de f,
f(x) x et f (A) A. Limplication
ainsi obtenue, rapproche de limplication prcdente, donne lquivalence (54).
Inversement, en admettant lquivalence
(54) et en y substituant
x = g (y) et A = g (B), on en dduit la continuit de g. La continuit
de f tant vidente, on en conclut que f est un homomorphisme.
Remarque
1. Avec lhypothse supplmentaire que X est un espace
9 r, on peut omettre lhypothse de biunivocit de j:
Supposons en effet que f (x0) = f (xi). Posons A = {x0}. Il vient
j(xi) E f (A). En admettant lquivalence (54), on en dduit que xi E A.
Mais 2 = {x0) puisque X est Fi; donc .x0 = xi.
condition
(55)
xE,f-(B)
biunivoque
Remarque
Sf(X)EB
de X sur Y, la
p our tous x EX et B C Y.
La dmonstration
ne prsente aucune difficult.
Il est aussi facile de dduire du thorme 1 le thorme
THORME
des conditions
homomorphisme
(56)
f-l
(57)
(58) les images
ensembles
(B)
= f(A)
= f-(R)
et les images
ferms.
pour
biunivoque
et sujsante
tout
pour
rciproques
suivant
de X sur Y, chacune
pour que f soit un
A C X,
tout
B C Y,
des ensembles
ferms
sont des
150
TOPOLOGIE
THORME
cation
faut
3. Soient
biunivoque
et il sujt
toute
suite
dlments
que
soit
et f une appli-
un homomorphisme,
il
ait
(iim,xn =x0)
(59)
pour
de X sur Y. Pour
que lon
[XII
F [limf(x,)
= 10
= f(x,)II
de ?L
0 7. Exemples dhomomorphislmes
1. Soit a < x < b et c < J/ < d, o a < b et c < d, deux intervalles ferms de nombres rels. La fonction
y =
((d-
a)
est un homomorphisme
qui applique le premier intervalle sur le
second. Ainsi, deux intervalles
ferms quelconques sont toujours
homomorphes.
Cette mme fonction tablit un homomorphisme
de lintervalle
ouvert a < x < b sur lintervalle
ouvert c < y < d.
2. La fonction y = tg x tablit un homomorphisme
de lintervalle
ouvert - 7112< x < 7112 sur 1espace entier des nombres rels. Son
inverse est la fonction x = arc tg y.
3. Une condition ncessaire et suffisante pour quune fonction
relle continue dfinie sur lintervalle ferm a < x <; b soit un homomorphisme, est quelle soit strictement monotone.
4. Considrons dans lespace euclidien 3 dimensions &3 la surface
de la sphre x2 + y2 + (z- 1)2 = 1, et traons une droite du point
9 71
APPLICATIONS
CONTINUES
151
un espace
born.
Dmonstration.
Soit X un espace mtrique. Introduisons
une
(( nouvelle distance I/ x-yil,
dfinie par I/x-yll
= Ix--y1
si 1x - y ) -< 1, et Ij x - y 1) == 1 si 1x - y ) > 1. Il est facile de
vrifier que cette nouvelle distance satisfait aux conditions (1) (3)
de la dfinition des espaces mtriques (chapitres IX, 3 1).
En introduisant la nouvelle distance II x - y II dans lespace X, on
a transform lespace mtrique .Y en un espace mtrique X*. Lapplication f : X + X* dfinie par ,f(x) = x est un homomorphisme;
cela dcoule du fait que les conditions
lim I/x, - y 11 = 0 et lim 1x, - y 1 = 0
n-m
-02
sont quivalentes.
Puisque, quels que soient deux points x et y on a /I x - y 11< 1,
lespace X* est born; plus prcisment, on a 6 (X*) < 1.
Remarque 2. Quand, dans le chapitre IX, $3, nous avons considr
lespace X, x X, X . .. x X, >: . . .. nous avions suppos que les
espaces X, taient borns dans leur ensemble. En utilisant le thorme
II
152
[XII
TOPOLOGIE
et
Ix -
(1/2)
Y I = c,
11x,2, - Y, II .
valable
sans
Exercices
1. Soit deux ensembles A et B, tous deux ouverts, ou tous deux ferms, et soit
f une fonction dfinie sur la runion A u R. Dmontrer que si f est continue sur
chacun des deux ensembles A et B. elle est aussi continue sur lensemble A u B.
2. Soit f une application dfinie sur lespace X. Si lespace X est uns runion
densembles ouverts Gt, et si sur chacun de ces ensembles sparmentfest
continue,
alors .f est continue sur lespace X entier.
3. Soit f une application dfinie sur lespace X. Si X == U,$ t A, , o A,
C Int (A,+ t) et si lapplication
f est continue sur chacun des ensembles A,,
alors elle est continue sur lespace X entier.
4. Lensemble des suites de nombres
appel espace de Buire, si la distance entre
et y = (ni, n2, . . .) est dfinie par l/r, r tant
Montrer que cet espace est homomorphe
de lintervalle [O,l].
Indication:
f(x) = 1
<ml
+ II
4 ,,.
1 %
) < c>.
Ex.]
APPLICATIONS
CONTINUES
153
X la nouvelle
on dfinit un homomorphisme
de X sur lui-mme.
En dduire que lensemble des suites de nombres rels x = (x,, x2, . ..) est un
espace mtrique avec la dfinition suivante de la distance:
P CG B)
et
SUP P 0: 4 .
YEB
Montrer que la distance ainsi dfinie, que nous notons par le symbole
dist (A, B), mtrise lensemble R (X) (cest--dire que dist (A, B) satisfait les conditions (1) (3) du 0 1, chap. IX).
8. Un espace mtrique (born) X est dit totalement born sil existe pour tout
E > 0 un recouvrement fini form densembles de diamtre < E.
Dmontrer que pour que X soit totalement born, il faut et il suffit qu tout
E > 0 corresponde un ensemble fini Fe tel que p (x, F,) < E quel que soit x.
9. Montrer
lement.
154
TOPOLOGIE
[XII
Indication
PuQ-
X,P~(ALJB)=-A,
: Utiliser
le lemme dUrysohn.
Qn(AuB)=B.
, A, C X
du thorme
prcdent le corollaire
suivant:
CHAPITRE
PRODUITS
0 1. Produit
cartsien
XIII
CARTSIENS
Le produit cartsien Z = X
vertu de la dfinition suivante:
Y est muni
dune
topologie
en
Dfinition. On admet commSe base de Z la famille de tous les produits G x H o G est ouvert dans X et H ouvert dans Y.
Cette dfinition est correcte puisque (cf. Chap. III (21)):
(GI x HI) n CG2 x ffd
= (G,nGJ
x (H,nHJ
(dans X
ST
s, t
continues
=y,don:,:(XxY)-+Xetn,:(XxY)-+Y.
Les applications
X et Y.
THORME
1. Les projections
conti-
nues.
Autrement
continue.
156
TOPOLOGIE
[XIII
= {(x,y):x~G}
dans Z, car
= G x Y.
=f-(G)ng-(H),
est
prouvent
que la rciproque
THORME 4. Soient : f : U + X et g : V -t Y. Pour que Iapplication-produit (cf. Ch. IV, exercice 17) h = (fxg) : U x V -f X x Y
soit continue, il,faut et il sujjt que fet g soient continues.
Dmonstration.
Par dfinition
h (u, v) = < f(u), g (v) >, donc
en posant, pour vo fixe, h, (u) = h (u, v,), il vient f = xl 0h,. En
supposant h continue, la continuit def rsulte du thor. 3 ; il en est
de mme de g.
PRODUITS
0 31
Limplication
cice 17):
6 3. Invariants
un ensemble
=Y-(G)
de la multiplication
1. Le produit
THORME
157
CARTSIENS
(voir
x g-l(H).
cartsienne
cartsien
de deux
ensembles
ferms
est
jerm.
-(AxB)
= [(X-A)
x Y]u[X
x (Y-B)].
THORME
car,tsien
de deux espaces FI
(en tant
est un espace
.Y 1
3. Le produit
THORME
cartsien
X x
Y de deux
espaces
y-2 est
un espace JC2.
Dmonstration.
Soient zi =z (xi, yl), z2 = (x,, y2) et z1 # zz.
Il est donc lgitime dadmettre que x1 # x2. Lespace Xtant T-2, il
existe deux ensembles ouverts G, et G, tels que x1 E G,, x2 E G, et
G, n Gz = 0. En posant Q, = G, x Y et Qz = G, x Y, on en
conclut que zi E Q,, z2 E Q, et Q, n Q2 = 0. Les ensembles Q,
et Q2 tant ouverts, notre conclusion signifie que X x Y est un espace
?Y 2.
4. Le produit
cartsien
X x Y de deux
rguliers
est compltement
rgulier.
THORME
pltement
espaces
com-
Daprs le 0 5 du Chap. XII (voir Remarque 2) il suffit de dmontrer que F tant un ensemble ferm dans X et xg un point de X - F,
il existe une fonction continue f : X X Y + 3 telle que
f(x,,
y) = 0 et f(x, y) = 1 pour
x EF .
158
TOPOLOGIE
[XIII
= 0 et g(x)
rgulier,
= 1 pour XEF.
y) = g (x) .
diagonale de X x X, cest--dire
A = {(x, y) : x = y>, est homkomorphe X.
THORME
xx
1. La
lensemble
Dmonstration.
Posons h(x) = (x,x).
Donc h :X -+ A. On
constate aussitt que h est une bijection continue (daprs le thorme
2 du 0 2) et que h-l est continue (comme identique ni).
La deuxime partie du thorme affirme que lensemble X x X A est ouvert. Or, soit (x, y) E (X x X - A), cest--dire x # y. X
tant un espace F2, il existe deux ensembles ouverts G et H tels que
x E G, y E H et G n H = 0. Autrement dit
il en rsulte
que lensemble
Dmonstration. Posons h (x) = (x, f (x)). Comme dans la dmonstration du thorme 1, on constate que h est un homomorphisme
de X sur F.
9 51
PRODUITS
= [Y=~(X)]
159
CARTSIENS
partie du thorme,
3: [(x,y)~F],
posons g (x, y) =
c..d.F
= g-(d).
Lapplication-produit
g tant continue (selon le thorme
4 2) et A tant ferm, on en conclut que F est ferm.
0 5. Produits
4 du
cartsiens gnraliss
(1)
= f(t),
donc rr, : Z + X, .
Qt,G
(2)
7ct -l
est
de
E G)
continue.
dans .Y,.
160
[XIII
TOPOLOGIE
= h- [nf(G)]
= ht (G) .
7r* A, = n, n; (A,).
Remarque. Dans la formule (2) on peut restreindre la variabilit
de G une sous-base de X,.
En effet Y tant une sous-base de X, et G un sous-ensemble ouvert
de X,, n; (G) se dduit des ensembles 7~~~
(H) o H E Y, comme G
se dduit des ensembles H ( laide des oprations de lintersection
finie et de la runion).
THORME 4. Les proprits dtre un espace FI, dtre un espace
F2, dtre un espace compltement rgulier, sont des invariants de la
multiplication
cartsienne gnralise.
Les dmonstrations sont tout--fait analogues aux dmonstrations
correspondantes
exposes dans le 4 3.
5 6. XT conu comme espace topologique.
Le cube 9
n,(f)
= f(t),
do rt, : XT + X .
4 61
PRODUITS
THORME 1. Lapplication
THORME 2. Soit
cp : W +
161
CARTSIENS
: XT +
71,
X est continue.
W un espace topologique.
XT soit continue,
ilfaui
Pour
que lapplication
des applications
On a en outre le thorme
THORME 3. Soient
famille
dapplications
suivant:
T un
espace
continues.
Sous
continue
topologique
et
ces hypothses,
gr(h)
(2)
= h(f)
pour
une
lvaluation
de T dans X@.
de Xa, en ,f~ @,
Dmonstration.
cest--dire
@ C XT
donc gf:X4+X.
heX@,
THORME 4. Tout
morphe
Plus
espace
un sous-ensemble
prcisment,
semble @ = (xx),,,
est un homomorphisme
X tant
(=
est homo-
lvaluation
e de Ien-
continues
cp : X -+Y)
= .f(x)
lespace
regulier
envisag,
Rappelons
(cf. Chap. IV (33)), on a
[e,](f)
compltement
cube gnralis.
ensemble
des fonctions
de X dans 9@.
Dmonstration.
(3)
Y1
dun
que par
dfinition
de lvaluation
pour fe @ , et e, : @ + 4.
que fk>
#f(Xd.
do exl # exp.
Reste dmontrer que lalpplication
inverse de e est continue,
autrement dit que G tant un ensemble ouvert dans X, lensemble
162
[XIII
TOPOLOGIE
e (G) est ouvert dans e (A), cest--dire: qu tout x0 E G vient correspondre un Q ouvert dans Z = $@ tel que
(4)
ex,, E
Q et [QneC-V]
X tant compltement
f(x,,)
(5)
Dfinissons
C e (GI +
= 0 et f(x)
lensemble
= 1 pour x # G .
Q par la condition:
(6)
Q = Z - g; (1) .
Lopration
gs tant continue, lensemble g/ i (1) est ferm, donc
Q est ouvert. De plus e+, E Q, car daprs (2) et (3):
BS (e,J
La deuxime
daprs (6)
= exo (f)
partie de la formule
Q ne(X)
(7)
C gf,
= f(xo>
puisque X-f-
En effet,
- gSi(l)
du Chap. V, 4 1)
do [f.e-i1-i
C e(X)
1.
== e(X)
C gf
Q ne(X)
- e[f-(l)]
, c..d. eOf-
C gf
Ce(G)
(1) C G.
COROLLAIRE.
Pour quun espace FI soit compltement rgulier,
il faut et il sujt quil soit topologiquement
contenu dans un cube
gnralis.
si x0 $ F = F C X , il existe un
f E@tel
que f(xo)
~.
6 f(F) .
0 71
PRODUITS
CARTSIENS
163
164
[XIII
TOPOLOGIE
Exercices
1. Soit A C X et B C Y, dmontrer
les formules
suivantes:
B) = [Fr ((A)
%] u [A x Fr(B)]
x B
fermI
de lespace mtrique
X, et soit
F.
que lensemble
un sous-
6. Soit donn le systme inverse {T, F, g} (cf. chap. VII, 5 5). Soit F,, pour
t E T, un espace mtrique (ou plus gnralement un espace compltement
rgulier),
et gf; une application continue (pour t, < ti). Dmontrer que:
1) lensemble Z = l@ {r, F, g} est ferm dans ITtsl. F, (pour la topologie
de Tychonov) et donc compltement
rgulier;
2) les ensembles de la forme Z n {J : fi E G}, o t E T et G est un ensemble
ouvert arbitraire dans Ft, forme une base de Z;
3) si M C Z, alorsfe
de M sur F,;
alors
Ex.]
PRODUITS
165
CARTSIENS
est un homomorphisme;
dun
ouverte;
nombre
8. On dit quune structure uniforme est dfinie sur X par rapport une famille
U (non vide) de sous-ensembles du produit cartsien X x X, si les conditions
suivantes sur U sont remplies:
a) si VE U alors V contient
XEX},
b) si VE U alors lensemble
la diagonale
de X
X, soit lensemble
{(x, x) :
U,
c) si VI> Vz E U alors VI n V, E U,
d) si VEU
et V C Z, alors ZEU,
{(x, y) :
f) P(U) = diagonale de X x X,
alors X devient un espace topologique
XEAE
FI
compltement
A,{y:(y,x)EV)
AA
rgulier en posant
f
0.
Montrer quune structure uniforme peut tre dfinie sur tout espace mtrique
X(sans altrer sa topologie) comme la famille de tous les ensembles qui contiennent
des ensembles de la forme
v,={(X,J):IX-y1
<E},OE>o.
dfinie
pour
6 est symtrique,
A6B
v (ASC)]
= (x = Y),
y1 compltement
(x E 2) = (x8A)
rguherlorsquon
166
TOPOLOGIE
[XIII
CHAPITRE
ESPACES
5 1. Proprits
A BASE
XIV
DNOMBRABLE
gnrales
Daprs la dfinition gnrale (voir chap. X, 9 8), un espace topologique X est base dnombrable sil existe une suite (finie ou infinie)
densembles ouverts G,, G,, . .. . telle que tout ensemble ouvert de X
sobtient comme runion dlments de cette suite.
THORME
1. Tout sous-ensemble dun espace base dnombrable
admet une base dnombrable.
En effet, E tant lensemble envisag et G1, G,, . . . la base de lespace, les ensembles E n G,, E n G,, .. . constituent une base de E.
THORME 2. (de Lindelof).
Soient X un espace base dnombrable
et {H,} , o t E T, une famille densembles ouverts. II existe alors une
suite (nie ou infinie) dindices t,, t,, .. . telle que
U, Ht,, = U, H, .
(1)
Dmonstration. Soit G,, Gz, . .. une base de lespace. Soit k,, k,, . ..
la suite des nombres i tels que Gi est contenu dans lun des ensembles
H,. Ainsi tout k, correspond un certain indice t, tel que Gk, C H,,.
On a donc
(2)
U, Gc,, c Un Kn
Il reste dmontrer
c Ut Ht .
linclusion
Ut Ht c Un Htn +
(3)
Soit p E H,. Puisque la suite G,, G,, ,.. forme une base, il existe
un i tel que p E Gi C Ht. Mais le nombre i appartient la suite
4, k,, ...y de sorte que
PEU,, G+
do il rsulte daprs (2)
PEU~H~,,Linclusion
12
(3) se trouve
ainsi dmontre.
168
TOPOLOGIE
[XIV
Djnition.
On appelle recouvrement de lespace X toute famille
densembles dont X est la runion. Le recouvrement
est dit ouvert
si ses lments sont des ensembles ouverts.
Le thorme de Lindelof implique que tout recouvrement ouvert
dun espace base dnombrable
contient un recouvrement
dnombrable.
THORME
3. Le produit
despaces base dnombrable
est sparable.
dnombrable.
2. Tout
espace mtrique
sparable
admet
une base
0 31
169
1. La famille
Dmonstration. Soit G,, G,, . . . une base de lespace. A tout ensemble ouvert H il correspond une suite de nombres naturels k,, k,, .. .
tels que
H = U;, G,,, .
Il en rsulte que le nombre densembles ouverts est au plus celui de
toutes les suites de nombres naturels, cest--dire au plus c.
La seconde partie du thorme suit immdiatement de la premire,
car si lon associe tout ensemble ouvert son complmentaire,
on
, applique biunivoquement
la famille des ouverts sur la famille des
ferms.
THORME
2. Tout espace FI
base dnombrable
a une puissance
\< c.
Cela dcoule de ce que, par hypothse,
dun seul lment est ferm.
170
TOPOLOGIE
[XIV
P?I(H) E H.
distincts,
Dmonstration.
Puisque tout point isol constitue lui seul un
ensemble ouvert de lespace (voir chap. XI, 9 4, th. 2) la famille des
ensembles dont chacun est constitu dun point isol est une famille
douverts disjoints, et elle est dnombrable en vertu du thorme 3.
Soit Z un sous-ensemble dun espace base dnomIensemble de ses points isolis est dnombrable.
COROLLAIRE.
brable;
171
9 41
Remarque.
Si lespace Y a la puissance c, alors lespace Yx a aussi
la puissance c, puisque cest dj le cas de lensemble des applications
constantes. 11est intressant de noter que sous lhypothse que lespace
X a la puissance c, il y a plus dapplications
discontinues que dapplications continues, puisque lensemble de toutes les applications de
X dans Y a la puissance cc > c (cf. chap. VI, Q 4, (45)).
0 4. Plongement
THORME
morphe
D'URYSOHN.
Tout
un sous-ensemble
espace
mtrique
du cube de Hilbert
sparable
X est homo-
2.
scrit
xc
2.
top
Dmonstration.
Daprs le thorme
supposer que
6 (,Y) < 1 .
Soit pl, p2, . . . une suite de points dense dans lespace X. A tout
x E X on associe un point du cube de Hilbert de coordonnes ))
1x - p1 j , 1x - p2 1, . . .. cest--dire
(5)
Les fonctions
(6)
h(x) = oX-P~I,lX-Pzl,.~~,lX-Pnl
,... 1.
4 (4 = I x - PnI
implique
(8)
lim xk = x.
k-rm
172
TOPOLOGIE
[XIV
Soit E > 0. Puisque la suite pl, pz, . . . est dense dans lespace X,
il existe un point pi tel que
1X __
(9)
Il rsulte des formules
pj
1 < E.
1 xk
pj
1 <
1X
pj
1 f
Xk 1 :< ) X -
pj
1 +
( pj
Xk 1 <
3E
pour tout k > k,. Cela signifie que (8) est bien rempli.
Remarque 1. Comme tout sous-ensemble du cube de Hilbert est
un espace mtrique sparable, il dcoule du thorme prcdent que,
du point de vue topologique,
les espaces mtriques sparables et les
sous-ensembles du cube de Hilbert sont quivalents.
*Remarque 2. Lhypothse
que X est mtrique sparable peut
tre remplace par lhypothse moins restrictive que X est un espace
9, normal base dnombrable.
Pour sen convaincre, dsignons par G,, G,, . .. une base de X et
envisageons lensemble des couples (i, j) tels que Gi c Gj. Daprs
le lemme durysohn
(Chap. XI[I, $ 4) il existe une fonction continue
,fij : X -+ 4 telle que
(11)
&(x)
= 0 pour
x E Gi et
fij(x)
= 1 pour
x E X - Gj .
k(x)
(g1(x),g,(x),...)E~.
0 51
ESPACES
BASE
173
DNOMBRABLE
cest--dire
(13)
II est galement
cest--dire
facile de montrer
que lensemble
A0 est ferm
A0 = A0 >
(14)
et que
(AuB)O
(15)
Le thorme
= A0 u BO.
suivant.
quel que soit
174
TOPOLOGIE
[XIV
Or A - A0 C S, puisque p E A n
OPEA - A0, est dnombrable.
G n(pj. Donc, lensemble A - A0 lui-mme est dnombrable.
Puisquun ensemble dnombrable ne peut videmment pas avoir de
point de condensation, il rsulte de ce thorme que
(A -AO)O
(16)
= 0.
De l on dduit que
x0 = x00
(17)
X0) implique,
en
= x00 .
du thorme
prcdent
et du
Exercices
1. Donner
2.
2. Soit (A; R) lensemble des nombres rels muni de la topologie qui a pour
base la famille B des intervalles semi-ouverts [a, b) = {x : a < x < b} , a et b des
nombres rels.
Montrer que
a) les lments de la base B sont la fois ouverts et ferms;
b) lespace (X, R) est sparable mais na pas de base dnombrable;
Indication:
remarquer
ensemble dont le infimum
un
Ex.]
175
Indication:
Montrer quil
de la puissance du continu.
4. Dmontrer
que 40 - B C (A - B)O .
5. Dmontrer
les rgles:
1, chapitre
densembles
ouverts
disjoints
6. Supposons quon a associ tout nombre ordinal 5 < ICun ensemble ouvert
Ay de lespacr base dnombrable A, de telle manire que Ay+ 1 C A y et As+ 1# A<
Montrer que ncessairement CI< Q (cest--dire quil nexiste quun nombre
dnombrable de As).
Indication : Soit G,, G2, . . . une base de lespace X. On associe tout [ ( lexception au plus du dernier) un nombre n (5) tel que
G NC) C 4
7. Dmontrer
Ay sont ferms.
le thorme
et G(e)
analogue
Ay+,
0.
obtenu en supposant
= Xd, X(E+)
zz (xt;)d,
= n,,,
A(c) (A nombre
ordinal
limite).
Dmontrer (en utilisant lexercice 7) qu partir dun a < fi tous les ensembles
drivs sont gaux entre eux.
10. Dduire du thorme
utilisant le thorme 4, 5 3.
11. Dmontrer
exercice 8).
prcdent
le thorme
de Cantor-Bendixson,
en
176
TOPOLOGIE
[XIV
1) Donner un exemple dun espace qui satisfait le premier axiome de dnombrabilit et qui na pas de base dnombrable.
2) Dmontrer que tout espace mtrique satisfait le premier axiome de dnombrabilit.
3) Soit X,, t E T, des espaces topologiques satisfaisant le premier axiome de
dnombrabilit.
Alors le produit IJtsT X,, muni de la topologie de Tychonov
satisfait le premier axiome de dnombrabilit
si et seulement si tous les espaces
XC lexception au plus dun nombre dnombrable
sont topologie grossire.
14. Un espace est dit localernen~~ sparable au point p sil existe un voisinage
sparable de p. Donner un exemple dun espace mtrique qui nest sparable en
aucun de ses points.
Indication
: Utiliser
une construction
CHAPITRE
ESPACES
XV
MTRIQUES
COMPLETS
1 Pn
cest--dire
y
j
,
,
Ii-
Pk
1 <
si
(2)
En particulier,
(3)
pour n = k on a
1 Pk
Lingalit
1 <
E/2.
II > k.
178
TOPOLOGIE
[XV
0 2. Le thorme de Cantor
THORME (de Cantor). Soit F, une suite dcroissante densembles
ferms non vides dans un espace mtrique complet:
F, 3 F, 3 . . . 3 F, 3 F,+l
(4)
3 .. . .
Si
lim 6 (F,) = 0,
n-tm
(5)
alors
n:=, F, # !? .
(6)
Dmonstration.
Envisageons
une suite p1,p2, . . . avec pn E F,,.
Cest une suite de Cauchy; en effet, daprs (5), quel que soit E > 0
il existe un k tel que 6 (F,) < E pour tout n > k; daprs (4), on a en
outre que pn E F C Fk, do il rsulte que, pour tout n > k, p,, pK E Fk,
donc que
I in - ~k I G 6 (F,J =C e .
Puisque lespace est complet,
9 31
ESPACES MTRIQUES
COMPLETS
179
s, 3 s, 3 s, 3 . . . 3 s, 3 . . . )
(9)
,f?, n F, = 0
et
(10)
dolim
S(S,)
lt=CC
= 0,
donc lim 6 (S,) = 0, puisque 6 (S,) = 6 (S,,) (cf. exercice 4 du chapitre X).
Daprs le thorme de Cantor, on dduit de (8) et (10) quil existe
un point p appartenant tous les ensembles S,,. Donc, daprs (9)
180
TOPOLOGIE
[XV
chacun constitu dun seul point: X = {pl} u (pz} u . . . . Mais chacun de ces ensembles est un ensemble frontire ferm, puisque chacun
des points pn est un point daccumulation de lespace X.
Comme lespace & des nombres rels est complet et dense en soi,
nous avons ainsi obtenu une nouvelle dmonstration de lingalit
c > a.
3. Lensemble des nombres irrationnels nest pas un ensemble-F,
dans lespace & (do lensemble des nombres rationnels nest pas non
plus un ensemble-G,).
En effet, si le contraire tait vrai, lensemble des nombres irrationnels serait la runion dun nombre dnombrable densembles frontires ferms (puisque lensemble des irrationnels est lui-mme un
ensemble frontire). Mais, puisque lensemble des nombres rationnels
est la runion dun nombre dnombrable densembles qui se rduisent
chacun un point - donc densembles frontires ferms - lespace
entier 8 serait reprsent comme runion dun nombre dnombrable
densembles frontires ferms, ce qui contrediraitle thorme de Baire.
un espace complet
AUXILIAIRE.
Dmonstration.
Admettons que 1f, - fk [ < E pour n > k. Par
consquent, pour x fixe, on a j f, (x) - fk (x) j < E et la suite fl (x),
.fi (X)>**. satisfait la condition de Cauchy. Posons donc f(x) =
limfn (x). Cette convergence est uniforme. En effet, lingalit
P?=CC
I fm (xj - .h C-4 I < E a lieu pour tout m > k, donc 1f, (x) - f,, (x) 1
< 25 do If. (x) - limf,,, (xj / < 2c, et finalement 1f, (x) Ill=00
f(x) 1 < 25 .
Il en rsulte dune part que fe @(X, Y), car la limite dune suite
uniformment convergente de fonctions continues bornes est continue
et borne (camp. chap. XII, 852, th. 3 et chap. IX, 9 7, th. 2), et dautre
part, que f = limf, (daprs le th. 1 du chap. IX, 9: 7).
n=m
Ex.]
ESPACES
MTRIQUES
181
COMPLETS
l = I x - x l
X est isomtrique
un sous-en-
(1)
dans le
= Ix-pl-lx-ai.
h : X + @ est une
I h, - h, I = I P - 4 I .
(2)
Dmonstration.
Dabord, h, est borne, car [ h, (x) 1 < 1p - a /
daprs (1). En vertu du lemme tout revient donc tablir (2). Or
I~,W-~,(4l
= lIx-Pl-lx-9ll~lp-9l,
do
I h, - h, I G I P - 3 I *
Dautre
part
h,(p)
-h,(p)=
-Ip-al-IP-ql+lp-al,
do
I h, - h, I > I P - q I .
Remarque. Dans le cas o lespace X est born,
h, par la formule pIus simple: h, (x) = 1x - p 1 .
on peut dfinir
Exercices
1. Montrer par un exemple que le thorme
un espace mtrique arbitraire.
2. JLe produit
mule
( (Xl,Y,)
est complet.
- <%Y,)
1 = { 1 Xl -- x2 p + 1Y1 - Y2 p)+ *
182
TOPOLOGIE
[XV
y 1 = c (1/2) 1 xn - Y, ) / (1 T 1 x, - Y,, 1 ).
Il=1
lexercice 5 du chapitre
est homiomorphe
X111.
CxEZ)-
~kVmAiIfm+i(X)-fm<x>I
<I1lk.
(thorme
de Hahn).
7. Dmontrer
ex. 7) lest aussi.
lespace B(X)
de Cantor:
Etant donn
0,
on a alors n, Ft # 0 .
9. Donner un exemple dun espace mtrique
qui ne soit pas totalement born.
born, complet
et sparable
CHAPITRE
ESPACES
XVI
COMPACTS
0 1. Dfinitions
Un espace topologique
X est dit compact si tout recouvrement
ouvert de X contient un recouvrement
fini de X.
Autrement dit: si (G,} est une famille densembles ouverts telle
que ut G, = X, il existe un systme fini dindices t,, . . .. t,, tel que
X = Gtl u . .. u G,,.
On constate aussitt que cette condition, dite condition de BorelLebesgue, quivaut la suivante, dite condition de F. Riesz : si {F,}
est une famille densembles ferms telle que fl, F, = 0, il existe un
systme fini dindices tl, .. . . t, tel que Ft, n . .. n F,n = 0.
EXEMPLES. Lintervalle
Y, le cube 9 sont des espaces compacts.
Dune faon plus gnrale, tout sous-ensemble ferm et born de
lespace & est compact (voir 8 5).
Si X = A u B o A et B sont compacts, X est compact.
fj 2. Proprits
THORME
fondamentales
1. A tant un sous-ensemble compact dun espace Y-,,
A est ferm.
Dmonstration. Il sagit de montrer que X - A est ouvert, cest-dire qu tout point b E X -. A correspond un G ouvert tel que
bEGCX-A.
X tant Y2 par hypothse, tout x E A correspond un couple
densembles ouverts U, et V, tels que
b E U, , XE~,
et U,nV,
= 0.
u . . . u (AnV,,)
184
TOI'OLOGIE
THORME
2.
[XVI
X est compact.
Dmonstration. Supposons que les ensembles G, o t E T ouverts
dans F constituent un recouvrement de F. Soit H, un ensemble ouvert
dans X tel que F n H, = G,. La famille des ensembles H,, avec
t E T, augmente de lensemble H = X - F, constitue donc un recouvrement ouvert de lespace X tout entier. Cet espace tant compact,
il existe un systme fini dindices t,, .. .. t, tel que
X = H u Ht1 u 1.. u HrrL, do F = Gtl v . . . u Gtn.
Nous sommes parvenus ainsi, un recouvrement
prouve que F est compact.
THORME
3. Limage
compact est compacte.
fini de F, ce qui
continue
dun
espace
Dmonstration,
Soit j : X -+ Y une application continue de X sur
Y. Soit (G,} un recouvrement
ouvert de Y. Donc (f- (G,)} est un
recouvrement
ouvert de X. Comme X est compact, il vient
X = f-(G,J
u . . . uf-
(GJ
do
Y = G,, u . . . u Gtn.
COROLLAIRE
espace r2.
(donc compl-
tement rgulier).
Dmonstration.
Soient A et B deux ensembles ferms disjoints.
En procdant comme dans la dmonstration
du th. 1, on montre
qu tout point b E B correspondent
deux ensembles ouverts G, et
H,, tels que b E G,, A C Hb et G, n Ht, = 0 (avec les notations du
th. 1, on pose en effet
G, = U,I n . . . n lJx9 et H, = Vx, u . . . u V,,J .
185
ESPACES COMPACTS
ci 31
Dmonstration. Dsignons par m la totalit de tous les recouvrements ouverts essentiellement infinis de X. Par hypothse %Il nest pas
vide.
!JR jouit de la proprit suivante: tant donne une suite transfinie
{P,} (cf. chap. VIII, 8 7) et monotone (cest--dire que c( < p 3
P, C PI,) termes appartenant !XX, on a (U, P,) E %Il.
En effet, U, P, est videmment un recouvrement
infini. De plus,
ce recouvrement
est essentiellement infini. Car, sil contenait un
recouvrement
fini G,, . . .. G,, il existerait un systme fini a,, . ... c(,
tel que Gi E P,; et, B dsignant le plus grand parmi les nombres
C(l, . ..> a,, on aurait Gi E P, pour tout i. Mais alors P, ne serait pas
essentiellement infini.
Cette proprit de m tablie, on en conclut (cf. chap. VIII 0 7)
que !IX contient un lment P maximal. En dautres termes, si H est
ouvert ct H $ P, le recouvrement
P u {H} nest pas essentiellement
infini; il existe donc un systme fini G,, .. . . G, tel que
(1)
Hu
C, u G, u . . . u G, = X et Gi~P
pour
i = l,...,
n.
186
TOPOLOGIE
[XVI
(2)
(H,$P)
(HI@)
* (HI nH2#P)
(H$P)(H<rG)
(3)
qui nappartien-
*(G$P).
En effet, la condition
Hj I$ P, j = 1, 2, implique
lexistence des ensembles Gj,r, . . .. Gj,nj tels que
(4)
(camp.
(1))
(H,nH,)
(5)
do (H,nH,)
6 P puisque P est essentiellement infini.
Afin dtablir (3), supposons que H # P. On peut donc admettre
que lgalit (1) est ralise. En supposant que H C G, on a donc
GvG,vG,v...vG,
=X,
qui napparde X.
un G tel que
elle contient
C G.
DE TYCHONOV.
L.eproduit
9 41
ESPACES
187
COMPACTS
(7)
X, = G, u . . . u G, o Gi~V,,
11 en rsulte selon (6) et la formule
Ui Qt,ci = Ui {f:f(t>
= {f:f(t)dJiGi}
c..d. Q,,c;~U,
o i <n.
E Ci]>
= Z.
G EV, *f(t)
$G.
fE Q,,, *f(t)
0 4. Clompactification
rguliers
Lech-Stone)
$G .
[XVI
TOPOLOGIE
188
@ = (9X&
(= ensemble
un homomorphisme
px
(1)
f : X + S)
est
= p-).
FONDAMENTAL.
: e(X)
Soit
+ 9; admet
: X -f 9
une extension
continue.
continue
Lapplication
f * : Z -+ 4,
savoir
(2)
LEMME
ident$ons
continue.
fCf*:Z+4,f*
GNRALIS.
Donnons-nous
X avec e (X). Soit ,f : X-t
un ensemble
yT continue.
arbitraire
On a alors
T et
fCf":Z+4=.
(3)
(comme
rgulier.
continue.
X avec e (X),
(4)
En identifiant
fCg:bX+
Dmonstration.
Y tant un espace Fr
(daprs le th. 4 du 0 2), Y peut tre conu
dun cube yT pour un Tconvenablement
dfini.
En appliquant la formule (3) posons g = j*
formule (4) est remplie. En elIet, la continuit
de Y impliquent que
-~
g(/w)
= g(W) c g(X) =f(X)
compltement
rgulier
comme sous-ensemble
On a donc f : X -+ 9T.
/ fiX, do f C g et la
de g et la compacit
c H = Y.
Remarque.
La compactification
de Lech-Stone est maximale
dans
ce sens que, quelle que soit la compactification
Y de X (o Y est y,),
il existe une application continue de j?X dans Y qui est lidentit sur A.
0 51
ESPACES
189
COMPACTS
(1)
ferms
telle
# 0,
alors
fl;z,F,
(2)
Elle est aussi quivalente
(ii) Etant
non-vides
donne
une
# 0.
la suivante
suite
(dite de Cantor):
descendante
densembles
ferms
F, 3 F, 3 . . . 3 F, 3 . . . ,
(3)
on a lingalit (2).
En effet, en supposant que la condition (3) est satisfaite, ilvient
Fk, n . . . n Fk, = Fi # 0 o j est le plus grand parmi les indices
k 1, . . .. k,. Donc la condition (i) tant suppose vrifie, lingalit (2)
en rsulte. Ainsi (i) implique (ii).
Limplication
inverse est immdiate puisque
F, n F, n . . . = FI
n(F,nF,)
n . . . n(F,n...nF,)
et
FI
1 (F,nF,)
3 . . . 1 (F,n...nF,)
1 .. .
n .. .
190
TOPOLOGIE
[XVT
(iii) toute suite injinie de pohts pl, p2, .,. admet une suite partielle
convergente pkI, pkz, . . . (o k, < k, < . ..).
Dmonstration.
1) Admettons
dabord que X est mtrique et
dnombrablement
compact; la condition (ii) de Cantor y est donc ralise. Soit p1,p2, . . . une suite de points de X. Il sagit de dmontrer
lexistence dun point p et dune suite partielle pk,, pkp, . .. telle que
p = limpkn. Considrons la suite densembles P,, P,, . .. o P,, =
ll=CC
b,>~n+o
. ..}. D' aP res
' ('311 1'1 existe donc un point p E P, pour tout n.
On en conclut que la boule K(p, lin) contient des points en commun
avec P,,, do rsulte facilement quil existe une infinit dindices
m > ntelsquelp,
- p / < l/n. La dfinition de la suite k, < k, < . . .
sen dduit facilement.
2) Admettons prsent que la condition (iii) est ralise. Il sagit
den dduire la condition (ii).
Le chemin de la dmonstration est semblable celui de la dmonstration du thorme de Cantor pour les espaces complets. En effet,
soit p,, un point choisi arbitrairement
dans lensemble F,. De la suite
(p,} on extrait une sous-suite pkI, pkz, .. . qui converge vers un point
p de lespace. Puisque daprs (3), chacun des ensembles F, contient
presque tous les termes de la suite pl, pz, . .. . et donc de la suite pk,,
pk, .. .. on a que p E F,,, car les ensembles F, sont ferms. Cela signifie
que lingalit (2) est satisfaite.
LEMME 2. Tout espace mtrique et dnombrablement
compact
est sparable. Plus encore, quel que soit un nombre E r 0, il existe un
ensemble fini A, = {pl, p2, . . ..p.J tel que
(4)
cest--dire que tout point x est une distance plus petite que E dun
point de A,.
On dfinit lensemble A, inductivement.
Soit I;~ un point arbitraire
de lespace. Soit p2 un point omelconque de lespace tel que ( p1 - p2 1
> E, si un tel point existe; si ce nest pas le cas, on pose A, = {pl>.
En gnral, pn est un point tel que
(5)
tout m < n ,
0 51
ESPACES
COMPACTS
191
1. Tout
espace mtrique
X dnombrablement
compact
est compact.
Donc, dans le domaine des espaces mtriques, la notion de compacit concide avec celle de compacit dnombrable.
Dmonstration. Soit G, un recouvrement
ouvert de A. Daprs le
lemme 2, X est sparable et contient par consquent une base dnombrable (voir chap. XIV, 0 2, th. 2); le thorme de Lindelof y est donc
applicable (voir chap. XIV, 0 1, th. 2). On a donc
I Pn - Pj I < &
192
TOPOLOGIE
[XVI
(7)
Nous allons montrer
que
lim pn = p .
n-x
(8)
Daprs
(9)
1 Pk,
--pi
<E.
(10)
En additionnant
on obtient
ce qui dmontre
THORME
<: 3~ pour
membre,
n > j ,
lgalit (8).
<: d(A,)
+ 2<
COROLLAIRE
1. Dans lespace 8, il y a identit
compacts et ensembles ferms borns.
entre ensembles
Dmonstration.
un sous-ensemble
rsulte, daprs le
est ferm, la borne
0 51
ESPACES
193
COMPACTS
tiennent f(X).
Il existe donc un x0 tel que m, =f(xo)
et un x1 tel
que m, = ,f (x,), ce quil fallait dmontrer.
On introduit la notion de continuit uniforme dans les espaces
mtriqu.es, de la mme manire quen analyse.
Nous dirons en effet que lapplicationf
dfinie sur lespace mtrique
X valeurs dans lespace mtrique Y est uniformment continue, si
quel que soit E > 0 il existe un 6 > 0 (ne dpendant que de E) tel
que la condition / x - x 1 < 6 implique lingalit j f (x) - f (x) /
< E pour tout couple arbitraire x, x de points de lespace X; en symboles cette condition scrit:
AeVa A,, A,,, {[ 1x -x
1 < 61 =a [ If(x)
-f(x)
1 < El}.
y = ex (-Co<~<+co).
part, on a le thorme
TH!ORME 4. (Gnralisation
du thorme de Heine sur la continuit uniforme). Une al;plication continue f: X -$ Y o X et Y sont des
espaces mtriques et X est compact, est uniformment continue.
Dmonstration.
Supposons au contraire que lapplication f nest
pas uniformment
continue. Il existe donc un E > 0 tel que pour tout
6 > 0 Ii1 existe un couple de points x, x de lespace X qui satisfont
les conditions
I XI - x 1 < 6 et I~(X)
-f(xU)
12 E
cest--dire
VEA6VxVx{[IX-XI
<q
De l il rsulte en particulier
de points xl, xi, tels que
A [If(x)
-f(xU)I
>E]}.
(11)
Ifc4
(12)
Puisque
lespace
-@II> I z E1
X est compact,
on peut extraire
de la suite
194
[XVI
TOPOLOGIE
suite partielle
convergente
lim xi,
n-tas
(13)
xk,,
xk2,
*..
Posons
= x .
(14)
Comme lapplicationf
lim f(xk,)
n-rm
est continue,
= f(x)
et lim f(x&
n-raz
= ,f(x) ,
do
lim If&,)
n-cc
ce qui est en contradiction
-fkJ
l = 0,
avec lingalit
(12).
5 (sur la convergence
*THORME
saire et sufisante
pour quune
dfmies sur un espace mtrique
lapplication
j;
continue).
suite dapplications
compact
converge
Une condition
continues fi,
uniformment
nces-
f2, ...
vers
lim x, = x
n-+02
(15)
entraine
(16)
. . . converge
[On dit que la suite dapplications jl,f2,
si la condition (15) implique la condition (16).]
Dmonstration.
uniformment
tel que
(17)
I < E
continuement
lgalit (16).
0 51
ESPACES
Comme lapplicationfest
continue,
formment convergente dapplications
th. 3) on a daprs (15)
D-(X) --f(x)
(19)
195
COMPACTS
I< E
grand,
I < 2E 9
(16).
St&ance.
Supposons que la suite dapplications
continues f,
converge continuement vers lapplication J; mais quelle ne converge
pas uniformment.
Donc,
wLwk~[k>~]
A [IMX)
-f(x)
I > El 7
on
(20)
et
lfk,(x,>
(21)
-f(x.)
1 > s pour
n = 1,2, . . . .
(23)
xJ, = x, pour
k,-,
< m <k,
(o k, = 0).
Evidemment,
lim XL = lim x, = x .
m-rcc
n-m
De l, en vertu
on a
de la convergence
continue
de la suite fi,fi,
. ...
196
[XVI
TOPOLOGIE
et donc
(24)
= f(xd
= fW
que lingalit
If,,, (x,> - f(x,>
(25)
I < 1in
(26)
(27)
Les formules
= f(x)
-fnr,k>
(15) et (20)
que
I = 0y
- f(x,)
l = 0;
des
9 51
197
ESPACES COMPACTS
X x Y de deux espaces
Dmonstration.
Soit z, = (JC,,,y,) EX x Y, cest--dire x,, E X,
yn E Y. 11 sagit de montrer que la suite zr, z2, . . . contient une suite
partielle convergente.
On peut extraire de la suite x1, x2, . .. une suite partielle convergente, puisque lespace X est compact. Soit donc
lim xk, = x .
n+m
(28)
(29)
Daprs
(28), on a
lim xrkn = x .
n-on
(30)
De (29) et (30) on obtient
lim bkn
n-cc
, Y&
= (x2 Y>
cest--dire
lim zFkn = z .
n-50
on peut
:
198
[XVI
TOPOLOGIE
convergente
Dune manire analogue, on peut montrer que le produit cartsien dun nombre fini despaces mtriques compacts est un espace
compact.
Dune faon plus gnrale, on a. la proposition
suivante:
2. Si les espaces mtriques X,, X,, . . . sont compacts,
lespace X, X X, X . .. est compact.
PROPOSITION
Dmonstration.
Soit pl, pz, . .. une suite de points
X, x X2 x . . .. cest--dire
p, = (xi, xi, . ..) x;, . ..) > avec xn EX,
pour
de lespace
n, m = 1, 2, . . . .
(31)
(32)
De la mme manire,
= x .
(33)
Soit
<: j, < . . .
Soit
lim xt,, = x2 .
IIirn
(34)
En continuant
ce procdii,
on dfinit
que q
que
< .. . ,
de la suite
4 51
pl,pz,
ESPACES
199
COMPACTS
. . . . La suite
XL,, x1.
hll
**
est donc une suite partielle de la suite xi,, x,$ xi,, .. .. do il rsulte
daprs (32) quelle converge vers xi. De la mme manire, la suite
X2.
kJ~
2
, sxkji
, ...
vers x.
Nous avons ainsi montr que la suite (35), qui forme une suite
partielle de la suite pi, p2, . . .. converge vers 4. Cela signifie que lespace
X, x X2 :< . . . est compact.
Dfi:nition
2. Etant donns deux recouvrements
dun
(arbitraire)
{A,} et {B,}, on dit que le deuxime est ~lusfin
premier lorsqu tout u correspond un t tel que B, C A,.
THOR:ME 7. Soit X un espace compact
mtrique
G, v .., u G,,, o Gi est ouvert pour i = 1, 2, .. .. m.
espace
que le
et X = G, u
II existe alors
un nombre
E > 0 (nomm
coejcient
de Lebesgue
du recouvrement
tel que tout recouvrement
de X form
densembles
Go, G,, . ..> G,)
G,, G,, . . . . G,,.
diamktre
infrieur
E est plus.fin que le recouvrement
Autrement
0 ) ...) m.
Dmonstration.
Posons Fi = X - Gi. Il sagit de montrer que
lensemlble Z ne peut avoir de points en commun avec chacun des
ensembles F,, F,, . . . . F,.
Quel que soit un ensemble (x,, .. .. x,,) o x0 E F,, . . . . x, E F,,
son diamtre 6 est videmment
le plus grand parmi les nombres
1xi - xj 1 o i et J parcourent les entiers de 0 m; on en dduit facilement que 6 est une fonction continue dfinie sur le produit F, x . . .
x F,,. Soit E sa borne infrieure. Comme compact, ce produit contient
un point o cette borne est atteinte; posons 6 (a,, . . .. a,,) = E, o
ai E Fi. Il en rsulte que E > 0, car dans le cas contraire, on aurait
a, = . .. == a,, ce qui est impossible puisque, par hypothse F, n . . . n
F,, =
0.
200
TOPOLOGIE
[XVI
0 6. Topologie
de convergence uniforme
de Y
est compact
et
Y complet,
lespace
Yx est complet.
une drive
en un point
6 lensemble
au moins constitue
des fonctions
un ensemble
frontire.
201
ESPACES COMPACTS
71
Q 7. Topologie
compacte-ouverte
de Y
(1)
o C est compact
H) == {f:f(C)
C X et H ouvert
c H}
C Y.
1. Si X est compact et Y mtrique, la topologie compacte-ouverte de Yx concide avec sa topologie de convergence uniforme
(djnie dans le $ 6).
THORME
o x E C .
(3)
x = c, u . . . u c,,
6 [fo(Ci)]
< 42,
i = 1, . . . . n.
202
TOPOLOGIE
[XVI
Soient
(4)
dmontrer
que
f. E ni I(Ci,
(5)
Hi) c Q>.
Or daprs (3), il vient j f0 (x) - f,, (xi) / < a/2 pour tout x E Ci,
f0 E r (Ci, Hi);
donc f0 (x) E Hi. Ainsi f0 (Ci) C Hi, cest--dire
do la premire partie de la formule (5).
Dautre part, sife r (Ci, Hi), on a pour x E Ci daprs (4) et (3):
IfCx)
fi
Cx>
En vertu de lgalit
trouve tablie.
I fCx)
.fO
Cxi>
If0
(3), la deuxime
Cxi>
f0
Cx>
I < &*
partie de la formule
(5) se
(fo,xo>~Q
(7)
f (x)
-+ Y
lendit,
que :
2
EH .
(8)
la formule
(6) se trouve
ralisee.
x G,
9 81
ESPACES
203
COMPACTS
o t, ne prend que lune des deux valeurs 0 ou 2. Ce sont donc les nombres de lintervalle
[O,l] qui peuvent scrire dans le systme ternaire de
numration sans le chiffre 1.
Par exemple, 1/3 appartient %Tcar
1/3 = 0/3 + 2/9 + 2/27 + . . . + 2/3 + . . . = (0.0222...),
(119,2/9),
.. . .
Fig. 1
204
TOPOLOGIE
[XVI
(2)
THORME
1. Le discontinu de Cantor est homomorphe
sance injnie de lensemble conslitu de deux lments :
yn = {0,2}
x {0,2}
x {0,2}
la puis-
x .. . .
top
2. V2 = %.
top
3. %? x V x +? x . . . = $5.
top
= [py,
il peut tre
205
ESPACES COMPACTS
6 91
La double suite {p$)}, n = 1, 2, . ... m = 1, 2, . ... peut tre transforme (cf. chap. V, 9 3, (13) et (14)), en une simple suite
pi,
pp,
pi, pp,
py,
pi3, . . . .
>
de ces intervalles
dans
= 0
La dmonstration
que les ensembles P, sont ouverts-ferms
ne
prsente aucune difficult. Pour dmontrer que ces ensembles forment
une base de lespace %, il suffit de remarquer que les intervalles de la
premire ligne ont une longueur de 113, ceux de la seconde, de 1/9, ceux
de la n-ime ligne, de 1/3; de plus, les intervalles de chaque ligne
forment un recouvrement
de lespace V.
Q 9. Applications
THOREME
de lensemble
1. Lintervalle
de Cantor.
q(t)
206
[XVI
TOPOLOGIE
Fig.
Dmonstration.
Puisque, daprs le thorme 3, 9 8, lensemble
%?x %? x w x . . . est une image continue de lensemble %, il suffit de
montrer que lespace &? = 9 x Yp x 9 . .. est une image continue
de lespace W x %Yx % x . .. . Ainsi, si lon reprsente le point p de
ce dernier espace sous la forme (3) on pose
(5)
f(P)
= [cp(P1bP(P2),
. . ..4o(P).
. ..]Y
207
ESPACES COMPACTS
9 91
THORME
3. Tout espace mtrique compact est limage
dun sous-ensemble ferm du discontinu de Cantor.
continue
Le thorme
En vertu du thorme
lemme suivant.
compact non-vide
est limage
le
LEMME.
Dmonstration.
Puisque la suite P,, P,, . .. forme une base de
lespace %? (voir th. 4, 0 8), lensemble ouvert W - F est la runion
dun certain nombre de termes de cette suite. Aussi, posons
(6)
V - F = G, LJ G, u . . . ,
208
TOIOLOGIE
[XV1
(7)
k-rm
alors
limf(x,)
(8)
= f(x) , cest--dire
limf(x,)
Dsignons
= x .
k-cc
k-toc
(9)
xk
E G(k)
(10)
- qnl = P(P~>GJ
GP(x,
Gn)>
q,,(k)
1 <p
(x,
G,,,,)
<
1x
xk
1 ;
il en rsulte
1 h(k)
xk
1 <
1 Pn(k)
h(k)
1
-t-
1 b(k)
xk
1 <
1x
xk
1 +
6 (G,(k))
lim pnckj = x .
+a
ftXk)
de la dfinition
h(k)
>
de la fonction
,f et
Ex.]
ESPACES
209
COMPACTS
Exercices
1. Dmontrer
le thorme
suivant.
U.
i=O
2. Dmontrer
le thorme
suivant
(de Wallace) :
quelquesoitpEX.
Dmontrer que Xest compact et LT,, quil satisfait le premier axiome de dnombrabilit mais nest pas sparable.
4. Dmontrer quune condition ncessaire et suffisante pour que lespace (Fr)
X soit dnombrablement
compact es1 que lensemble driv de tout sous-ensemble
infini de X soit non-vide.
5. Dmontrer que si fest une application continue de lespace X sur lespace
(FI)
Y et si la suite A, 3 A, 3 . . . est une suite dcroissante de sous-ensembles
dnombrablement
compacts de lespace X, alors
f(rl,m=lA,) = ll,m=,f(A").
6. Soit f une application continue
relation dquivalence dfinie par
et F-n sur Y, et p la
= fc=z)) .
210
[XVI
TOPOLOGIE
Montrer
que
3) (YX)T
= yxx
7. , si X et 7 sont compacts.
top
Ex.]
ESPACES
Indication
: Montrer
211
COMPACTS
que
A, v, Y (4 = v, A, P (4 .
De mme, lquivalence prcdente a lieu sous lhypothse
et que les ensembles {x : vn (x)> sont ouverts.
soit
15. Dmontrer la gnralisation suivante du thorme de Cantor: si les ensembles FI, F,, . dun espace mtrique compact sont ferms et non vides alors
Ls F # 0
n+m
(cf. chap. X, ex. 8).
16. Montrer que quel que soit un espace mtrique non compact, on peut y
dfinir une fonction valeurs relles qui est borne et natteint pas sa borne supIndication
: Utiliser le thorme dextension de Tietze.
rieure.
17. Montrer quun espace mtrique
sous-ensemble propre de lui-mme.
un
18. Dmontrer quune condition ncessaire et suffisante pour quune application f dfinie sur un espace mtrique quelconque X (compact ou non) dans un
espace mtrique Y soit uniformment
continue est que la condition
lim 1 X - x; 1 == 0
n+m
implique
la condition
lim 1f(.w,) - f(xi)
*+Cc
( = 0
formes de points de A.
E pour n = 1, 2, . ,
212
TOPOLOGIE
20. Dmontrer
le thorme
[XVI
d Banach :
X dans lui-mme
et si
If(xl>-f(x,)I~kIx,-x,I
a lieu, avec 0 < k < 1, alors il existe un et un seul point
f(XJ = x0.
Indication:
On construit par induction
une suite de points x,, x2, . . . en
posant x1 un point arbitraire de lespace X, et x, = ,f(.x,- l). Montrer que la suite
ainsi construite est une suite de Cawhy ; en posant alors x,, = lim x,, montrer que
-trn
&Vo) z= x0.
21. Dmontrer,
en utilisant le thorme prcdent de Banach, le thorme
suivant sur lexistence et lunicit
des solutions dune quation diffrentielle:
Soit lquation diffrentielle
6)
44d.x = f(x,
Y),
If(x,Y1)-f(x,Y*)I~MIY,-Y,I
a lieu pour tout couple de points (x, yl), (x, y& E G. Alors, quel que soit un point
(x0, y0) E G, il existe un 6 > 0 tel que dans lintervalle
[x,, - 8, x,, + 61 il existe
une et une seule fonction g satisfaisant lquation (i), cest--dire
(iii)
et les conditions
initiales
(iv)
Y() = B (X) .
: Au lieu de lquation
quivalente
Indication
intgrale
Cv)
diffkrentielle
Y = Jo +
fk
(i), on considre
lquation
Y> d .
(vi)
(ii), on montre
petit lingalit
Ihs,-hg,I~k(g,-g,(,O<k<l,
a lieu. Appliquant
alors le thorme de Banach (exercice 20) lespace 6>, on
conclut quil existe une et une seule fonction g telle que hg = g; cest une solution
de lquation (v). et donc aussi de lquation (i), et elle satisfait la condition (iv).
Ex.]
ESPACES
213
COMPACTS
22. Thorme sur les fonctions implicites. Soit g une fonction continue de deux
variables x et y possdant une drive partielle par rapport y continue dans un
carr de centre (x0, y); soit en outre
(x)) == 0
et fh)
0.
dans un voisinage du point
= yo ;
au point
g (4 Y)
h(x, y) = y .- y0 - ~
.
g; (x0, Yo)
ramener la dmonstration
au thorme
suivant:
Soit h une fonction des variables JC et y, qui est continue et possde une drive
partielle par rapport y dans le carr K de centre (x0, yo) et de ct 2d; soit aussi
h Go>
== 0 = h;
yo)
(xo,
yo) .
Alors, il existe une et une seule fonction f continue dans un voisinage du point
x0 telle que
(vii)
(x:0 + Y0 et f (x0) = Jo .
f (x, = h (x,f
Esquisse
de dmonstmtion.
d suffisamment
petit
pour que
Ih;(x,y)I<$
Soit ZI un intervalle
pour (x,v)~K.
ferm suffisamment
Ih(x,yo)j.<
$dpour
xEZI.
SoitZ,=(y:Iy-yoj<d).
A
fonction
pour x E Z, .
On obtient
1 Ff, (4 -
F* (4 1 = 1 h (x,fi
(x)) -- h (x,&
= )fi(X)-.f2(X)IJh;(X,Zx)I
o fi (xl < Ix -c Jz (4 .
On en dduit que
IFfI-
QI
~$jfd-zl.
(x)) 1
<+)fm-.f2(x)y),
214
TOPOLOGIE
[XVI
En mme temps FZ E Z,l, ce que lon dmontre facilement partir de lingalit ( h (.x, y) 1 :< 1 h (x, y) - h (x, y,) 1 + 1 h (x, y,,) ( Finalement, Ff (x0) = y,,.
On peut donc appliquer le thorme de Banach, et il en rsulte quil existe
une fonction f telle que Ff = f, cest--dire qui satisfait les conditions (vii).
23. Soit X et Y deux espaces metriques. Dans lensemble Yx des fonctions
continues dfinies sur X valeurs dans Y, on introduit la topologie dfinie comme
suit: pour <I> C Yx, soit
(*)
1F
compact
F de X)
o @ 1 F dsigne lensemble des fonctions de la forme .f 1 F, o ,f~ 0, et o la topologie dans lespace Yx est dfinie comme dans le 5 6.
Montrer que:
1) Si Xest un espace compact, alors la topologie
concide avec la topologie considre, dans le 5 6.
2) La topologie
introduite
introduite
par la formule
(*)
Yx muni de la topslogie
que Y : Yx -t Lim
{T, \k, r}
F;
cest--dire
24. Soit le systme inverse {T, F, g} (cf. chap. VII, 5 5), o les espaces Fz sont
compacts et y-z et g:o sont continues. Montrer que la limite de ce systme est un
espace compact.
25. Soit X un espace mtrique compact et 2x la famille des sous-ensembles
ferms de X. Montrer que si lon d-finit la distance dans 2x comme dans le chap.
XII ex. 7, alors 2x est compact (topologie de Hmudwf).
26. Soit X un espace topologique et 2x la famille des sous-ensembles ferms
de X. On dfinit dans 2x une sous-base comme tant La famille des ensembles de la
forme 2G n 2x et 2X - 2X-G (topologie de VietoriJ).
Ex.]
ESPACES
Montrer
215
COMPACTS
que :
15
si 2x est Fz.
de Vietoris concide
CHAPITRE
XVII
CONNEXIT
5 1. Dfinition.
Ensembles spars
Un espace topologique X est dit connexe sil ne se laisse pas dcomposer en deux ensembles ferms., non vides et disjoints. Autrement dit,
si les conditions
~=AuB,A=A,B=B,A#~~;B,
(1)
entranent
lingalit
AnB
(2)
EXEMPLE.
# 0.
(3)
et
(4)
AnX
-A
= 0,
c..d. Fr(A)
=: 0.
217
CONNEXIT
ii 11
(6)
on a
(hB)
(7)
u (Ad)
# 0.
(8)
u (Ad)
= 0)
on peut dire que lensemble C est connexe sil ne peut pas tre dcompos en deux ensembles non vides spars.
Nous allons dmontrer plusieurs proprits des ensembles spars
qui nous seront utiles dans la suite.
2. Si les ensembles A et B sont spars et si A, c A
et B, c B, les ensembles A, et B, sont aussi spars.
THORME
Laffirmation
(A1nB,)
rsulte de linegalit
u (A,d,)
suivante
c (?inB)
u (Ad)
= 0.
218
TOFOLOGIE
THORME
spars,
[An
3. Si les ensembles
alors
les ensembles
[XVII
A et B et les ensembles
A et C sont
A et B v C le sont aussi.
u [AnBuC]
(AnB)u(AnC)=
0.
ou tous
=(AnB)u(AnC)u
THORME
deux ferms,
4. Si les ensembles
les ensembles
A -
B et B -
A sont spars.
On a
Dmonstration.
A-Bn(B-A)=An(X-B)nBn(X-A)
cAnX-BnBn(X-A);
Si A = A, alors
AnX-BnBn(X-A)cAn(X-A)=0.
Si lensemble
B est ouvert,
AnX-BnBn(X-A)c(X-B)nB=0.
Dune manire
analogue,
on dmontre
que
(A-B)nB-A=0,
do
il rsulte
$j 2. Proprits
A -
B et B -
THORME
connexe
invariant
A sont spars.
1. Limage
par une application
continue
dun
termes, la connexit
est un espace connexe ; en dautres
des applications
contirwes.
espace
est un
Dmonstration.
Soit j une application continue de lespace X et soit
J(X) = Y. Supposons que lespace Y nest pas connexe, et dmontrons
qualors lespace X ne lest pas.
Soit donc A et B deux ense:mbles ferms non vides tels que
AvB=Y
(9)
et
AnB
(10)
=0.
f-'(A)uj-'(B)
=f-'(Y)
= X.
5 21
219
CONNEXIT
Les ensembles f- i (A) et ,f- i (B) sont non vides, et, puisque,
lapplicationf
est continue, ils sont galement ferms (voir chap. XII
9 1, corollaire 2); utilisant (10) (cf. chap. IV, 0 4, (17)), on a
f-(A)nf-(B)
=fe(AnB)
= 0.
{x:x
<a},
ferms et ouverts,
{x:a<xdb},
{x:x
>-a},
et finalement,
(x:x
>a},
les ensembles
de la
{x:a<x<b}.
En effet, si lensemble A nest pas de lune des sortes que lon vient
dnumrer,
alors il existe un nombre d# A et des nombres xi,
x2 e A tels que x1 < d < x2. Lensemble /4 est alors la runion de deux
ensembles non vides M et N contenus respectivement
dans les
ensembles spars
{x:x
< d) et {x:x
> d},
220
[XVII
TOPOLOGIE
= { ,; pou:
; zg!
est une fonction continue valeurs relles dfinies sur lespace X qui
na pas la proprit de Darboux.
# 0.
# 0,
soit
(11)
Cn[(CnAn(X-A))U(~-AnA)]
f 0.
On a aussi
_-
CnACA,X-AcX-A,
~C-ACX-A,ACA.
CnAnX
A =
CnFr(A).
9 21
CONNEXIT
221
THORME
5. Si les ensembles C et D sont connexes et ne sont
pas spars, alors leur runion est connexe.
6. Si {C,}
Dmonstration.
Posons, comme auparavant,
S = M v N o
M et N sont spars. Daprs le thorme 4, on a pour tout t, soit
C, c M soit C, c N. Donnons-nous
un C, # 0. Il est lgitime
dadmettre que C, c M. Nous en dduirons que N = 0, ce qui
achvera la dmonstration.
Soit t un indice arbitraire et t tel que
C, c C,, et C, c C,,. La premire inclusion implique que C,, $ N,
(puisque CtO $ N), do C,, c M, donc C, c M, (puisque C, c C,.).
Il en rsulte que S c M, do N = 0.
THORME 7. Si lensemble C est connexe et si C c A c c, alors
lensemble A est aussi connexe.
222
TOPOLOGIE
En particulier,
la fermeture
Dmonstration.
Posons
Conformment
au thorme
c c ?? et par consquent
A c ci. 11 en rsulte que N
[XVII
A = A4 u N o M et N sont spars.
4, on peut admettre que C c M. Donc
c n N = 0, do A n N = 0 puisque
= 0.
(12)
Supposons que
CuM
(13)
= AuB,
(14)
= AuBuN
= Au(BuN)
M =
CU
M = CU[M~~(CUMUN)]
=CUM~(&?I>N)
= CuM,
223
CONNEXIT
9 31
Q 3. Composantes
THORME
1. Toute composante est un ensemble connexe. De plus,
une composante S est un ensemble connexe maximal, dans ce sens que
si C est un ensemble connexe, alors
(SCC)
(15)
Dmonstration.
forme
a(C=S).
Soit S la composante
s := QC,,
o les ensembles C, dsignent les ensembles connexes contenant p.
Daprs le thorme 6 0 2 (voir la remarque suivant le thorme 6),
S est un ensemble connexe.
De plus, si S c C, alors p E: C, do C est de la forme C = C,.
Il en rsulte C c S, donc C = S.
THORME
3.
Deux
composantes
distinctes
sont
toujours
des
ensembles spars.
Dmonstration. Si les composantes S, et S, ne sont pas spares,
alors lensemble S, u S, est connexe (voir thorme 5, 0 2), do
S, u S, c S, et S, u S, c S2, cest--dire S, = S,.
EXEMPLE. Dsignons par Z le segment, situ dans le plan, constitu
des points (x, y) tels que x = l/n et 0 < y < 1 pour n = I,2, . . . .
Dsignons aussi par Z, le segment dfini par x = 0, et 0 < y < 1.
Soit A := Z, u ZI v Z, u . .. . Les composantes contenues dans lespace
A sont les segments Z,,,, m > 0. Remarquons que la composante Z,,
nest pas un ensemble ouvert dans lespace A.
THORME 4. Si A est un sous-ensemble connexe de lespace connexe
X et si C est une composante contenue dans lensemble X - A, alors
leyemble X - C est connexe.
224
[XVII
TOPOLOGIE
(16)
MuN.
= (AnC)
u(AnN)
= 0,
on a que C v N c X - A, do
CCCLJNCX-A.
(17)
1. Le produit
est connexe.
Dmonstration. Il suffit de rnontrer que (.x1, yr) et (x,, yz) tant
deux points arbitraires de lesp,ace X x Y, il existe un sous-ensemble
connexe de cet espace qui les unit. Cest le cas de lensemble
(18)
(bl}
x Y) " (X x bb)').
1'. Le produit
connexe.
Dmonstration.
Il est lgitime dadmettre que Xt # 0 pour tout
t E T. Soitf,, un lment fixe de lespace U, X, (qui, dans cette dmons-
9 51
225
CONNEXIT
tration, pourrait tre nomm lorigine des axes )), tel le point 0, 0, . . .
pour le cube de Hilbert). Faisons correspondre
tout systme fini
a = (t1, . . .. t,) dlments de T le produit cartsien C, des espaces /Y,
avec t E a et des ensembles composs de points individuels ,fo (f)
pour t $ a. Autrement
dit, f tant un lment variable de L, X,,
on a
(19)
(fe
C,) = [f(t)
:= fa(t)
Ilfo(t)fipourpourt =t$fiaE a.
t $ c(.
(19)
0 5. Les continus
Un continu est un espace compact et connexe.
Par exemple, un intervalle ferm est un continu. Dautres exemples
sont donns par un disque avec sa frontire, ou un cube ferm dans
lespace n dimensions.
226
TOPOLOGIE
Lensemble
(20)
est un continu
[XVII
Fig. 9
des continus
227
CONNEXIT
5 61
En particulier, si C est un continu non vide et f une fonction continue valeurs relles dfinie sur C, alorsf(C)
est ou bien un point ou
bien un intervalle ferm.
Cest une gnralisation
dun thorme bien connu danalyse,
qui dit quune fonction continue: dfinie sur un intervalle ferm atteint
ses bornes et prend toutes les valeurs intermdiaires.
4. Leproduit carttkien 17, X, de continus X, est un continu
(cf. th. l, $ 4 de ce chapitre, et th. de Tychonov, 0 3, chap. XVI).
THORME
En particulier,
*THORME
6. Si A et B sont deux composantes distinctes dun
espace X compact et Yz, alors Xpeut tre dcompos en deux ensembles
ferms disjoints F et K qui cont,iennent les ensembles A et B respectivement :
.Y =FuK,
FnK=M,
ACFetBCK.
(21)
= PuQ,
(22)
Pn,Q
(23)
P#M#Q,
(24)
= 0,
PEP.
PcG,QcHetGnH=0.
228
[XVII
TOPOLOGIE
Donc, en posant G = X - G et HC = 2 - H, on a
(26)
PnGc
= 0,
(27)
QnH=
0,
(28)
X = G v HC,
(29)
o tET
contenant
p. Par
c := n,o,.
(30)
Posons
F, = D, n G n HC.
(31)
Daprs
(30) on a
il,F,
(32)
car, daprs
Lespace
de (32) (cf.
systme fini
(33)
= CnGnH
= 0,
F,ln...nF,n=O,cest-~-direD,In...nD,,,nGcnHc=O.
Lensemble
Dtl n . . . n D,,, tant
il existe un indice t, E T tel que
ferm-ouvert
et contenant
p,
(34)
On a donc
(35)
D, n G n HC = 0, cest--dire
Dto n G c H .
ouvert
ferm,
= Dto n HC ,
de deux ensembles ferms.
9 61
CONNEXIT
229
Q c C c HC,
cest--dire,
daprs (27),
Q=QnH=RI.
lingalit
(23).
(37)
de
C=A
(38)
(cf. 9 3, (15)).
Si, contrairement
lhypothse du thorme 6, tout ensemble
ferm-ouvert
contenant A contenait aussi B, on aurait B c C, do
B c A (cf. (38)). Mais ceci est impossible, car les composantes sont
disjointes (cf. 5 3, th. 3). Il existe donc un ensemble ferm F tel que
A c F et B - F # 0. Comme lensemble B est connexe, la dernire
ingalit conduit F n B = 0.
Quel que soit un espace mtrique compact, il existe
une application continue de cet espace dans le discontinu de Cantor
qui applique deux composantes distinctes dans deux points distincts
du discontinu de Cantor.
COROLLAIRE.
Dmonstration.
Soit D,, D,, .. . la suite de tous les ensembles
ferms-ouverts
de lespace donn (camp. chap. XVI, 9 5, th. 6).
Nous allons dfinir lapplication f comme suit:
f(x)
= t,/3 + tJ9
+ . . . + t,/3 + . . . >
230
TOPOLOGIE
[XVII
dune
suite
dcroissante
de continus
un continu.
(39)
3 c,
3 . . . 3 c,
1 ...
et
c = n,m=lc,.
(40)
(41)
C, I-I Cc n HC.
F,
= (l-l;=,
C,) n G n HC = C n G n HC = 0
Ex.]
231
CONNEXIT
de Cantor)
(42)
C, c G u HC, cest--dire
C, = (C,nG)
u (C,nH).
Exercices
1. h4ontrer que tout espace connexe compltement
point a au moins la puissance du continu.
rgulier
2. hlontrer que lespace euclidien & (n > 1) reste connexe aprs quon lui
a enlev un nombre dnombrable de points.
Indication : Soit N un ensemble dnombrable de points de lespace @, p et 4
lments de 8 - N; en outre, soit L une ligne droite qui ne passe pas par les points
p et 4. Remarquer que sur la ligne L il existe toujours un point x tel que les segments
px et xq sont disjoints de lensemble N.
3. Soit .4 et B des ensembles tous deux ouverts ou tous deux ferms. Montrer
que si les ensembles A u B et A n B sont connexes, alors les ensembles A et B sont
aussi connexes.
B, C = A n B,
G, n G, # 0, .. . . Gtnel
n Gtn f 0, b E G, .
Zndication : Soit 2 lensemble de 1ous les points qui peuvent tre joints au point
a par une chane. Montrer que lensemble 2 est ferm-ouvert.
232
[XVII
TOPOLOGIE
5. On dit que lespace X est conrwxe entre les ensembles A et B sil ne peut pas
tre dcompos en deux ensembles ferms disjoints lun contenant A et lautre B.
Montrer que sil existe un systme densembles A,, . . . . A, tel que lespace nest
connexe entre aucun couple Ai, Aj (pour i # i), alors il existe un systme densembles ferms disjoints F,, . . . . F. satisfaisant les conditions
X = F,, u . . .
6. Montrer
F,, Ai C Fi pour i = 0, . .. . n .
que la relation
ppq
E (lespace X est connexe entre les points p et q) est une relation
valence (cf. exercice 9, chap. V).
par la relation
dqui-
que
1) toute quasi-composante
est .lintersection
ferms contenant un point donn;
ouverts-
cartsien de n facteurs.
donn. Montrer
lquivalence
: Utiliser
le thorme
indiqu
dans lexercice
et localement
Ex.]
CONNEXIT
233
CHAPITRE
XVIII
CONNEMT
1. Dfinitions
LOCALE
et exemples
Un espace topologique
A est dit localement connexe au point p
si quel que soit un ensemble ouvert G contenant p, p est un point
intrieur de sa composante dans G.
Un espace est dit localement connexe sil est localement connexe
en chacun de ses points.
EXEMPLES
dimensions,
nexes.
Fig.
10
On obtient cet ensemble en joignant le point (O,l> par des segments de droite aux points (0,O) et (lin, 0) pour n = 1,2, .. . .
Cet ensemble nest pas localement connexe en ses points de laxe
des y, sauf au point (0,l).
5 2. Proprits
THORME
1. Toute composante C dun espace localement connexe
est un ensemble ouvert.
0 21
CONNEXIT
235
LOCALE
de la connexit locale.
G,
de H
- C,
de C
236
[XVIII
TOPOLOGIE
santes), on
dmontrer.
a S n (G - S) = S n (G-S)
:= 0,
ce quil
fallait
G = C, u C, u . . . et C, C Int(C,+,)
pour n = 1,2, . . . ,
Dmonstration.
Daprs la deuxime remarque au thorme 4, X
contient une base dnombrable
compose densembles ouverts et
connexes. On a donc
(2)
G = R,uR,u...
o 8, c G pour
n = 1,2, . . . ,
R, n R,+I
+: 0 pour
tout
n.
= R, u Rz u . . . u Rk,+i
par arcs
Djhition
1. Un arc est un ensemble qui est homomorphe
alors
la runion
ab u bc est
31
CONNEXIT
LOCALE
237
Dmonstration.
Soit p un point ade lespace X. Dsignons par F
lensemble de tous les points x qui peuvent tre relis p par un arc.
Il sagit de montrer que F = X ou, ce qui est quivalent (puisque
lespace est connexe), que lensemble F est ferm-ouvert.
Soit q un point arbitraire de lespace. Par hypothse, il existe un
ouvert G contenant q tel qu tout point x de G correspond un arc
xq c x.
Si q E F, il existe un x E F n G. 11 existe donc un arc px et daprs
le thorme 2, un arc pq c px u xq; il en rsulte que CJE F. Donc,
F est ferm.
238
TOPOLOGIE
[XVIII
Ainsi il y a uniformit
dans le choix du y correspondant
au E
(autrement dit, ce choix est indpendant de p). La demonstration
est
entirement analogue celle du thorme 4, 9 5, chap. XVI.
5 4. Continus localement
connexes
(1)
c = clv...uc,.
Dmonstration.
1) Ncessit. Soit {G,} un recouvrement
ouvert
de C. Posons p E GfcP) p our tout p E C. Le continu C tant normal
daprs le th. 4, 5 2, chap. XVI ((donc rgulier), faisons correspondre
tout p E C un H, ouvert tel que
(2)
p EH,
9 41
Envisageons
H = C - {p}
on a la formule
Dsignons
point p et par
CONNEXIT
LOCALE
239
le recouvrement
colmpos de deux lments: G et
; H est ouvert, car C est T2, donc T1. Par hypothse
(1) o Ci est un continu situ soit dans G soit dans H.
par Ckl, C,,,, .. .. Ckr les continus qui contiennent
le
C&, CT,?, . ..y CM8 tous les autres restants. Soit
E = Ckl u Cka u . . . v Ckr.
On a donc
C - E c C,,,? u C,,,? u 1.. u C,,s,
do
C - E C C,l u Cm2 u .,. u C,,s.
Ainsi, p E C - C - E, cest--dire p E Int (E). Finalement E c G,
car p E C,; pour i = I,2, . . .. Y, dou C,; c G et par suite E c G.
COROLLAIRE
(thorme de Sierpinski). Pour quun continu mtrique
C soit localement connexe, il ,faut et il sufit que pour tout E > 0, C
soit la runion dun nombre.fini de continus, chacun de diamtre infrieur
E.
240
[XVIII
TOPOLOGIE
thorme 1, un recouvrement
fini plus fin form de continus;
x = c, u .. . u C, o Ci c f - 1 (HZ;). Il vient
Y = f(C,)
u ...
uf(cJ
et
fCci>
C ff-l
(H,i)
posons
Hti.
donc le recouvrement
y = y(t):,
z = z(t)
o a <t
<b,
y = y(u,v),
z == Z(U,ZI)
oa
<u
:<b,
c <V <d.
Les figures gomtriques qui sont le plus souvent tudies en analyse sont donc localement connexes.
Remarque 3. Le thorme affirmant que limage continue dun intervalle ferm est un continu localement connexe a un inverse : le thorme
suivant, d Mazurkiewicz:
Tout continu mtrique localement
de lintervalle ferm 0 < t < 1.
9 41
CONNEXIT
241
LOCALE
localement
de Mazur-
Dmonstration.
Daprs le thoreme 3, 9 9, chap. XVI, il existe
une application continue f dfinie sur un sous-ensemble ferm H du
discontinu de Cantor et telle que fl[H) = C. Dsignons par a et fi
le premier et le dernier point de lensemble H. Nous allons tendre
lapplicationf
lintervalle entier c$. Lensemble c$ - H tant ouvert
dans c$, cest la runion dune suite dintervalles
ouverts disjoints
(a1 b,), (a2 b,), .. . . Il est clair (que
lim (b,-a,)
+DZ
= 0,
do
(3)
lim If(b,)
-+oO
-f(a,)
1= 0 ,
lim6(L,)
n+m
= 0.
pour
a,<t<b,,
n = 1,2 ,....
242
[XVIII
TOPOLOGIE
Ce fait, dcouvert par Peano (en 1890) fut considr comme tout
fait paradoxal. En effet, cela signifie que le carr Y, a une reprsentation paramtrique continue sur un intervalle ferm, contrairement
lide que cette proprit ne sapplique quaux courbes. 11 en rsulte
que lhypothse de drivabilit
faite habituellement
en analyse pour
les reprsentations
paramtriques
est essentielle de ce point de vue.
Nous donnons ici une dmonstration
directe du thorme de
Peano qui est due Sierpinski.
Fig.
11
Fig.
12
Ex.]
CONNEXIT
LOCALE
243
:= Y,
fbJf@,).
Ce thorme peut aussi tre dduit directement du thorme 3,
9 9, chap. XVI et du thorme de Tietze (Corollaire
1, 5 3, chap. XII).
Exercices
1. Soit E un sous-ensemble ouvert de lintervalle
a < x < b. Montrer que les
composantes de lensemble E sont des intervalles ouverts. De plus, sil y a une
infinit de ces composantes, leur diamtre doit tendre vers zro.
: Utiliser
3 chap. XVII.
244
[XVIII
TOPOLOGIE
: Utiliser
Iexercice
5.
arbitraire
dun
espace localement
connexe.
~.
Fr CU,Et) C Ut Fr W,).
Z&icnGon : Utiliser
le thorme
3 du chapitre
XVII,
0 2.
: Utiliser
lexercice
5.
11. Soit X un continu mtrique localement connexe. Montrer que tout continu
C C X est lintersection dune suite dcroissante de continus localement connexes:
: Utiliser
le thorme
I, 0 4.
c, 3 c, 3> . . . . .
CHAPITRE
NOTION
XIX
DE DIMENSION
X = G, v . . . v G,
(1)
(2)
tel que
(3)
Fi
Gi pour i = 0, . . . . m
et
(40)
FinFj
= 0 pour i #j.
246
[X1X
TCbPOLoGIE
Lensemble
Nous donnons ici sans dmonstration les proprikts les plus importantes des ensembles de dimension 0 (pour des indikations, voir exercices). On aurait dj pu observer certaines de ces proprits sur lensemble de Cantor.
THORME
1. Tout espace de dimension 0 possde une base densembles ferms-ouverts.
densembles
5 3. Espaces n dimensions
D@nition. Lespace Xest dit de dimension -< ,r2lorsqu tout recouvrement ouvert fini (donc satisfaisant (1)) correspond un recouvrement ferm satisfaisant aux conditions (2) et (3), ainsi qu la suivante
(4,)
= 0 pour
NOTION
0 31
247
DE DI.MENSION
THORME.
Pour quun espace compacr X soit de dimension < n,
il faut et il sufit quil existe pour tout E > 0 un recouvrement (2) satisfaisant la condition (4,,), ainsi qu la suivante
(5)
i := 0, 1, . . . . m ,
Dmonstration.
1) Soit X compalct, dim X < n et E > 0. Soit
G 0, .. .. G, un recouvrement
ouvert de .Y tel que 6 (Gi) < E. Par
dfinition de la dimension, il existe un recouvrement ferm Fe, .. .. F,,,
satisfaisant aux conditions (2) - (4,). Lingalit (5) rsulte aussitt
de (3). La condition est donc ncessaire.
2) Pour dmontrer quelle est suffisante, envisageons un recouvrement ouvert G,, . .. . G,. Soit E le coefficient (de Lebesgue) de ce
recouvrement
(camp. Chap. XVI, 0 5, th. 7) et soit FF, . . .. FT un
recouvrement
ferm satisfaisant aux conditions (2), (4,) et (5) (en
remplaant Fi par FJy). Le recouvrement FF, . . .. Fr tant plus fin que
le recouvrement
G,, . .. . G,,,, on peut ranger les ensembles FT en
m + 1 classes disjointes C,, . ... C,, en mettant dans la classe C,
tous les Fi* contenus dans Go, dans la classe C, ceux qui sont contenus
dans G, et qui nappartiennent
pas dj C, etc., finalement: dans la
classe C, ceux qui sont contenus dans G, et nappartiennent
aucune
des classes prcdentes. En posant F, = LX, (cest--dire la runion
des ensembles lments de Ci), on constate aussitt que les conditions
(2), (3) et (4,) sont satisfaites.
Le thorme 3 du 9 2 est videmment un cas particulier du prcdent.
COROLLAIRE.
dimY
< n.
= - 1;
248
TOPOLOGIE
[XIX
plusieurs thormes de la
n est topologiquement
NOTION
9 41
DE
249
DIMENSION
Fig.
Fig.
14
15
* Remarque
1. Toute ligne polygonale qui ne peut pas tre plong,e
topologiquement
dans le plan, contient topologiquement
lune des
deux lignes polygonales des figures 14 et 15.
*Remarque
2. Si dim X -< n, alors lensemble des homomorphismes est dense dans lespace des fonctions ($2nt ).
THORME 3. (Proprit
deux ensembles
il existe
ferms
de normalit
disjoints
un ensemble
ouvert
G tel que
A C G, G n B = 0, dim Fr(G)
THORME 4. La
.ferms
de dimension
THORME
runion
dun
n est encore
5. Quel
nombre
dnombrable
un ensemble
< n - 1.
de dimension
compact
densembles
n.
X de dimension
n,
il existe un sous-ensemble
jerm
T du discontinu
de Cantor
et une
application
continue f de T sur X qui ne prend pas plus de n + 1 jois la
mme
valeur.
250
TOPOLOGIE
[XIX
(4),
Exercices
1. Montrer que tout ensemble de nombres rels qui ne contient pas dintervalle
est de dimension 0.
-7
2. Montrer que IensembIe des points du plan dont une coordonne est rationnelle et lautre irrationnelle
est de dimension 0.
3. Montrer que lensemble des points de lespace euclidien
donnes sont irrationnelles
est de dimension 0.
caractris0 6, corol-
CHAPITRE
LES
SIMPLEXES
ET
XX
LEURS
PROPRITS
Q 1. Les simplexes
Djnition. Soit pO, . .. . p,, un systme de: n + 1 points dans lespace
euclidien n dimensions. Par le sirnplexe p. .. . pn on entend lensemble
de tous les points de la forme
(1)
o
p = oPo + . . . + A,p,,
1, + . . . +A,
(2)
= 1,
et
i > 0.
(3)
Ici la multiplication
dun point par un scalaire et laddition des points
est comprise dans lalgbre des points (ou vecteurs), cest--dire
1(x 1, *..Y x,>
(x 1, *.9x,)
= (-x,,
+ (Y13 . . ..YJ
. . . . Lx,)
= (Xl +Y15
3
. . ..x.+Y*).
Nous supposerons toujours que les points pO, . .. . pn sont linairement indpendants,
cest--dire quils ne sont pas situs dans un
mme hyperplan n - 1 dimensions. Dans le cas n = 2, cela signifie
que les points po, pl, p2 ne sont pas aligns, ou que p. p1 p2 est un
triangle (sans sa frontire);
de mme, quand n = 3, le simplexe
p. p1 p2 p3 est lintrieur
dun ttraedre non dgnr (cest--dire
que les points po, pl, pz, p3 ne se trouvent pas dans un mme plan).
Les coefficients Ao, . . .. ,, sont les coordonnes barycentriques
du
point p; ils peuvent tre interprts comme les masses quil faut attribuer aux points po, . .. . p, respectivement (tout en conservant les conditions (2) et (3)) pour que le point p soit le centre de gravit du systme.
11 est clair que chaque coordonne: barycentrique est une fonction
continue du point p.
252
TOPOLOGIE
[XX
p. . . . p,;
face (ou
les faces
k prend
S = Upi,...pik>
(4)
pour tout systme possible de nombres i,, . . .. i,, o k prend toutes les
valeurs entires entre 0 et iz.
Enfin, remarquons que
1. les simplexes pi, . . . pih de (4) sont disjoints,
2. un point p appartient
tions (1) (2) et
(5)
Q 2. La subdivision
simpliciale
Soit S = p0 . ..pn. une subdivision simpliciale de S est une subdivision en simplexes S = U Si, telle que lintersection des fermetures,
de deux de ces simplexes est ou bien vide ou bien gale la fermeture
Fig.
16
dune face qui leur est commune. La figure 16 illustre une subdivision
simpliciale du triangle, o lon considre comme simplexes de subdivision chacun des petits triangles, leurs cts et leurs sommets.
LES SIMPLEXES
6 21
253
ET L]EURS PROPRITS
Si dans la figure 16, les cts du triangle hchur ntaient pas en visags, la figure ne reprsenterait
p.lus une subdivision simpliciale.
On peut montrer que :
Quel que soit E > 0 il existe une subdivision
simplexes de diamtre < E.
simpliciale
de s en
(6)
Si S Epi,
...
...y A,
n et les autres de dimen-
254
TOPOLOGIE
[XX
(7)
5 3. Dimension
THORME
impair
r = u mod 2,
puisqule u est lui-mme
dun simplexe
1. Si le systme densembles
la condition
63)
F, n . . . nF,,
# 0.
Dmonstration.
Supposons :par labsurde que 1;8 n . .. n F,, = 0
et dsignons par E le coefficknt
(de Lebesgue) (du recouvrement
Go, ...y G,,, o Gi = s - Fi (cf, chap. XVI, 8 5, th. 7). Soit donn
une subdivision simpliciale de ,S en simplexes de diamtre < a. Soit
s un sommet dun des simplexes de la subdivision. Daprs la formule
(4) et du fait que les faces du simplexe S sont disjointes (voir l., 0 l),
il existe une seule face pi, .. . pik qui contient s, do il rsulte daprs (8)
quil existe un index ij tel que s E Fij.
LES SIMPLEXES
0 31
ET LEURS
PROPRITS
255
Posons
m (s) = ij, cest--dire
(10)
s EF,~,, .
(11)
contrairement
si E Fi, :;Oit s0 . . . S, n Fi # 0
lingalit
THORME
2. Soit Pi la runion de toutes les faces du simplexte S
ayant pi comme sommet (en dautres termes, Pi est lensemble des
points de S pour lesquels Ai > 0). Si le systme densembles ferms
F 0, ***>F,, satisfait les conditions
s = Fou...uF,,
(12)
et
Fi C fi 9
(13)
alors la condition (8) est satisfaite, alizsi que la condition (9) (en vertu
du thorme 1).
Dmonstration.
Soit p EP,~ . .. pik. Donc, pour tout j distinct de
chacun des nombres i,, . . .. i, on a j = 0, cest--dire p # Pj, do
p $ Fj en vertu de (13). Daprs (12), on en dduit que
peFo
(14)
Comme la formule
u . . . uFjel
u Fj+l
u . . . u F,.
(15)
il en rsulte quep E Fi,
THORME
. ..
u Fik, et linclusion
Dmonstration.
Daprs le corollaire
du 9 3 du chap. XIX
dim 9 < n. S tant homomorphe
Y, on a donc
dim S s$ n .
(16)
Il sagit de dmontrer
(17)
que
dim S > n - 3 .
256
TOPOLOGIE
[XX
Remarquons
dabord que les ensembles Pi considrs
thorme 2 constituent un recouvrement
ouvert de ,s:
dans le
s = P,]U...UP,.
(18)
Supposons,
contrairement
(17) que
dim LP <, n - 1.
(1%
DE BROUWER.
(20)
J'(P)
= P *
Dmonstration.
De mme que tout p E S peut scrire
forme (l), (2) et (5) tant vrifis, nous crirons
f(p)
(21)
sous la
= A,?po + . . . + 1.: p ,
avec
ng t-..+A?
(274
1,
20.
(23)
Il sagit de montrer
(24)
Dsignons
(25)
= Ai pour
par Fi lensemble
tout
i.
A* a Ai.
LES SIMPLEXES
9 41
ET LEURS
257
PROPRITS
(26)
(27)
il en rsulte que
a donc pour un j < k, ;i$ < ij (cf. (23)). Daprs (25), cela
que p E Fij, et linclusion (13) se trouve ainsi dmontre.
vertu du thorme 1, 8 3, lingalit (9) est satisfaite. Soit donc
n . . . n F,, cest--dire que
a; < a,, ..<,)a; < a .
W)
En additionnant
ces ingalits
on obtient
o* + . . . + a; r;a,
ce qui implique
+ . . . + a2
:= a, + . . . + a,.
(28), lingalit
(24) a lieu.
(1930).
J.
SCHAUDER,
Der Fixpunktsatz
in Funktionalraumen,
Studia Mathematica
258
TOPOLOGIE
(29)
avec les valeurs
telle que
initiales
dg (x)ldx
Autrement
(30)
:= f(x,
y)
une fonction
une fonction
g telle que
= Y, -k J f(t, g (0) dt .
x0
g (x)
trouver
rp la
g telle que
tout x,
(31)
f(x)
Dmonstration.
Sil existait
mentionnes, alors la fonction
(32)
x E CI
une fonction
9 (x> = -f(x)
0 41
LES
SIMPLEXES
ET
LEURS
PROPRITS
259
appliquerait
K sur g(K) c K sans avoir de point fixe, ce qui est
contraire au thorme de Brouwer (voir remarque 2).
En effet, si x E K - C, alors g (x)8 # x, puisque g (x) E C. Mais si
x E C alors g (x) = - x en vertu de (32) et (31), et lon a donc galement g (x) # x, ce qui achve la dmonstration
du corollaire.
Nous allons maintenant
donner une autre formulation
de ce
corollaire en utilisant la notion dhomotopie.
Dfinition. Soient f, g E Y deux applications continues de lespace
X dans lespace Y. On dit que ces deux a.pplications sont homotopes
sil existe une fonction continue h des deux variables x et t, 0 :< t <; 1,
telle que
(33)
et h (x, 1) = g (x) .
+ t (g (xl -f(x)).
Cependant, si Y dsigne la circonfrence dun cercle ou plus gnralement la sphre Y, (cest--dire lensemble des points de lespace
&n+ tels que x: + . .. + xz,, = 1): cela nest plus le cas. En effet,
lidentit et une fonction constante ne sont pas homotopes. Cela signifie
que si
x = Y = Y,,f(x)
=x,
g(x)
= c, CEYn,
= h(x,l-t)
pour XE:?,
et 0 <tr<l.
TOPDLOGIE
260
f* est continue,
pour x E Y,,
cest--dire
f* E (Yf,+.
Eh mme temps on a
= x>
cest--dire que f * est une retraction de Xx,,+ 1 sur Y,. Mais ceci est
impossible en vertu du corollairse prcdent.
Exercices
1. Soit S un simplexe n dimensions dans lespace 8. Montrer que la frontire
du simplexe S est la runion de toutes ses faces de dimension < n.
2. Soit C le continu form par la fermeture du graphe de la fonction y =
sin (I/x) pour 0 < 1 x ( < (1/x) et {dun arc joignant les points (- I/X, 0) et
(I/n, 0) sans couper le reste du continu C. Montrer que toute application continue
de lensemble C dans lui-mme possede un point fixe.
3. Soit S = p0 . . . pn un simplexe et X un espace mtrique avec un recouvrement
ouvert X = G, u . . . v G,.
On considre lapplication
x(x)
= -O (X)Po ?- . + A (x)p, ,
o
xi (XI = P (X, x-GJ/{p
(cest ce quon appelle la
Montrer que
fonction
(X, X-G,)
kuppa).
d) X(X-Ci)
fIPi
du
point
Ui Gi , o la runion
= 0 ;
G,, . . . . G,
Ex.]
LES SIMPLEXES
ET LEURS
261
PROPRITS
Utiliser
le thorme
2, 5 3, et lexercice
: Utiliser
lexercice
5.
dl: S en lui-mme
pour lexercice
4, et poser Fi = g-
C 7;
(ri).
que
1. la subdivision
barycentrique
simpliciale;
2. la subdivision barycentrique
des simplexes de la subdivision
donne une subdivision simpliciale du simplexe entier S.
prcdente
9. Soit Xun espace mtrique compact et Y un espace mtrique. Montrer que les
fonctions f, g E Yx sont homotopes si et seulement si ces fonctions, considres
comme points de Y x, peuvent tre jointes par une image continue de lintervalle .f.
Indication
: Utiliser
lexercice
8, chap. XVI.
CHAPITRE
COMPLEXES,
CHAINES
XXI
ET
HOMOLOGIES
5 1. Groupes abliens
Nous donnons ici les notions et thormes de la thorie des groupes
que nous utiliserons dans ce chapitre.
1. Un ensemble abstrait G est dit um groupe abZien
si on a dfini dans cet ensemble une opration,
appele addition,
qui tout couple a, b E G fait correspondre un lment a + b de G (appel somme des lments a et b) de telle manire
du groupe,
sont satisque les conditions suivantes, dites axiomes
faites.
Djinition
ou groupe
(i) (afb)
commutatif,
+ c =
a.+ C~+C),
(ii) a + b = b + a
(iii) il existe un et un seul lement, not 0, de G qui a la proprit
que a + 0 = a pour tout a E G,
(iv) tout lment a E G correspond un et un seul elment
not - a qui a la proprit que: a + (- a) =: 0.
inverse
Dfinition
2, Si un sous-ensemble G, du groupe G fosme lui-mme
un groupe par rapport lopration
du groupe G, cest--dire si la
condition a, b E G, entrane que (a+b) E G,, et (-- a) E G,, on dit
9 11
COMPLEXES,
CHANES
ET
263
HOMOLOGIES
(4
a - b
E [(a - b) E G,] ,
G,)]
E [a-bEG,]
cest-
a - a = 0 E G, car
= [b-aEG,]
3 [b-a(mod
G,)].
= P(b)]
une opration
P(a)
(4
= [a N b (mod G,)] .
daddition
+ P(b)
zf P (a + b) .
3. Le groupe
f(a +b)
= f(a)
+f@)
On appelle lhomomorphisme
f uns monomorphisme si f est biunivoque; si en outre f(G) = H, alors f est un isomorphisme, et les
groupes G et H sont dits isomorphes, ce que lon crit G s H.
18
264
TOPOLOGIE
[XXI
De mme que la topologie traite des invariants des homomorphismes, la thorie des groupes traite desinvariants des isomorphismes.
Du point de vue de la thorie des groupes, deux groupes isomorphes
ont les mmes proprits.
THORME 2. Si f : G -t H est un homomorphisme, on a 1Of (- a) =
- f(a), 2'f (0) = 0, 3f (G) est un groupe. (0 dsigne llment-zro
de G ainsi que de H).
=f(a)
+Jr(-a),
dof(-a)
= -f(a).
de G, le groupe-quotient
= 0; sif(a) = 0,
on a.f(-a)
= -f(a)
= 0.
On dmontre en outre que
(i) si N = (O}, f est un isomorphisme,
(ii) sif(G) = H, (GIN) z H.
Lisomorphisme demand sobtient en faisant correspondre tout
XE (GIN) llment J (X) E H (notons que si x E X et x E X, on a
f(x) = f(X>>*
5 2. Simplexes orients. Chanes
9 21
COMPLEXES,
CHANES
.ET
HOMOLOGIES
265
Fig.
17
L=
k,S,
+k,S,
+...
-i-k,&,
o s,, . ..) S,,, sont des simplexes orients et k,, . ... k,, sont des nombres
entiers.
266
[XXI
TOPOLOGIE
En particulier,
0 sont de la forme
+ .a. f knpm
entiers.
(2)
aL
i
k=O
alors
wk(PO,
-.?Pk-ldk+l,
.-d%)~
aL = g k, asj.
(31
j=l
Par exemple,
~(P,,P,)
= (pl)
- b.4
T a[vp,)l
+ h,
= 5 T
pO> + (po2 PJ 2
41
COMPLEXES,
CHANES
ET
HOMOLOGIES
267
E)2
-7
21
ii
Pi
PO
Fig.
18
du groupe
aaL = 0,
(5)
0 4. Groupes dhomologies
Dsignons par a,, (K) lensemble des valeurs de lhomomorphisme
8 prises sur le groupe Vo,+ 1 (K). Autrement dit, la chane 2 appartient
268
[XXI
TOPOLOGIE
.B, (K) lorsque 2 est le bord dune chane L E Wnfl (K), cest--dire
z = aL.
(7)
k, + . .. + k, = 0.
qJ .
+ . . . + k,p,
= [kopo+...+k,-,p,-,+(k,-l+k~)p,-l]
+ [ -knpm-,
+kmkJ
0 51
COMPLEXES,
CHANES
269
ET HOMOLOGIES
1
Fig.
19
= (O,l) + (12)
0, 1 et 2.
+ W)
et
z2 = (374) + (4s)
+ (573)
z2
NN0 dans K
+ (0,1,4)
+ (1,5,4)
+ 1(1.2,5) + (2,3,5)
+ (0,3,2).
0 5. Nombres de Betti
On dit que les cycles Cl, C2, .. .. C,,, sont homologiquement indpendants (ou linairement indpendant:3 modula an (K)) si la condition
kl C, + . . . + k,C,
implique
z 0 dans K
que
kl = . . . = k,, = 0.
270
TOPOLOGIE
[XXI
lopration
&Y,.
Ex.]
COMPLEXES,
CHANES
EP HOMOLOGIES
271
6 (PO) =
Ci
(Pi,
PO) o i :# 0 et pipo~K.
Exercices
1. On dit que des homomorphismes
G, s:
G,
fi.
(cest-
G, s
G5
C;/G, -+ 0 >
272
[XXI
TOPOLOGIE
Y +Y) .
Vrifier que
1. (0,O) est llment
zro du groupe Z;
2.-(x,y)=(-x,-y),k(x,y:l=(kx,ky).
4. Le produit cartsien II, Ft dun nombre arbitraire de groupes F,, t E T
(cf. chap. IV, 8 8) est un groupe lorsquil est muni de lopration
+ ainsi dfinie
gale 0;
5. Soit le systme inverse {T, F, cp:: (cf. chap. VII, 0 5). Soit. Ft un groupe, pour
E T, et 9:: un homomorphisme:
rp:A : F,, + of,, pour t, <
Montrer
t,
dirig,
Ft un groupe commutatif
t,
<
tl
pour tout
C F,
cons-
E T et
l = cpz pour
ptllp yt,,
t,
<
t,
<
t,
Ex.]
COMPLEXES,
CHANES
ET
273
HOMOLOGIES
-J(x)
+ j-(x)
mod H,, .
On dfinit un homomorphisme
F, appel homomorphisme
manire que le diagramme suivant soit commutatif:
induit,
de telle
respecti-
CG,Go)5 CH,Ho)
P1
GIG,
o P et R dsignent lapplication
vement .
1R
7
naturelle
H/H,
-rLr
Po 4
si le polydre
-1
Pi
Plll
Fig. 20
Cl
Fig. 21
13. Soit K le complexe constitu par tous les segments et sommets de la ligne
polygonale L donne par la figure 21. On assigne une direction aux segments de L
comme lindique la figure. On dsigne les simplexes de dimension 1 ainsi obtenus
par SI, &, . . . . Sa. Montrer que:
274
[XXI
TOPOLOGIE
6)
Si
i=l
est un cycle;
b) tout cycle de dimension
1 du complexe
groupe dhomologie
du
Zl
IX
4
Sli
z,
s!&
i=l
i=l
Montrer
que:
0 du complexe
K est de la forme
Z = k, Z, + k, Z, ;
b) toute chane de la forme (ii) est un cycle.
Dduire
F%g.
du complexe
K.
22
t&q$7qqp:
t:
Fig.
t:
6
23
Posons
6
L=LtH
et
i=l
montrer
que bL = Z + 2t$ ,
z=
I;
i=
t;;
1
Ex.]
COMPLEXES,
CHANES
ET
HOMOLOGIES
275
tf
i=l
tj
j=l
4
Fig.
4
24
17. Soit K un complexe form de toutes les faces dun ttrahdre S et soit
L le complexe form de toutes ses faces de dimension < 3. Montrer que les trois
premiers nombres de Betti de K sont nuls, que le 0-ime et le premier nombre de
Betti de L sont nuls alors que le deuxime est gal 1.
18. On dsigne par m, le nombre
K. Le nombre
de simplexes de r dimensions
du complexe
.i (-- l)%,
r=o
dEuler du complexe K. On a la formule
suivante (dite
x (K) =
x(K)
ii
(- l)b,
(K) + 1 ,
r=O
276
TOPOLOGIE
[XXI
implique
f(P3
f(p,)
. ..f(~.,)e
K, >
alors on dit que fest une application simpliciule du complexe K, dans le complexe
K,. Quel que soit un simplexe S = pop1 . . . pn E K,, on crit
fG9
= f(Po)f(Pd
. . ..f(Pl
les proprits
= k,J(:$)
+ . . . + k,nf(S,,,).
suivantes de la fonction
a) FG
+LJ
= F(L,) + F(L,)
(ce qui signifie que Fest un homomorphisme
Wn @A);
b) W(L) = F(U) >
F:
c) 2~ 3, WI)*
F(~)E
8, &) >
Z - 0 dans K,=+ F(Z) w 10 dans K,,
2, +=v2, dans K,*
F(ZJ m F(Z,) dans K,.
d) Dduire de a), b) et c) que lapplication
groupe .%,, (K,) dans le groupe Z,, (Ks) .
F induit
un homomorphisme
du
20. Soit G,, . . . . G, une suite densembles ouverts contenus dans un espace
topologique X. Soit pO, . . . . pn une suite de points dun espace euclidien telle que la
condition
c*>
implique que les points pi,, . .. . pik sont linairement indpendants. Le complexe N
compos des simplexes pi, .., piL satisfaisant (*) est appel le nerf de (G,, . . .. G,) .
Montrer que:
1. Si X =po...pn (o tous les sommets du simplexe considr sont linairement
indpendants) et si Gi dsigne la runion de toutes les faces du simplexe contenant
le point pi comme sommet, le nerf de la suite G,, . . . . G,, est le complexe compos
de toutes les faces du simplexe p. ... p,,;
2. si X est un espace mtrique compact n dimensions, alors quel que soit
E > 0 il existe une application continuefde
X dans un polydre n dimensions N,
satisfaisant lingalit 6 [f- (y)] .< E quel que soit y E N.
Indication : Considrer le nerf du recouvrement satisfaisant
du chapitre XIX et lapplication
x de lexercice 3, chap. XX.
la condition
(4,)
Ex.]
COMPLEXES,
CHANES
ET HOllOLOGIES
277
CHAPITRE
COUPURIES
5 1. Proprits
auxiliaires
XXII
DU
PLAN
Y,
9 21
COUPURES
DU
PLAN
279
Fig.
0 2. Coupures
On dit que lensemble A, ouvert ou ferm, est une coupure de
lespace 9, (ou quil spare ou coupe lespace), si lensemble Y, - A
nest pas connexe.
19
280
[XXII
TOPOLOGIE
pcR,
qEQ
et RnQ
:= A.
(1)
f(z)
f(z)
= eu() pour z E B .
9 41
COUPURES
DU
281
PLAN
0 4. Thormes auxiliaires
THORME 1. Soit R une demi-droite
alors z - 1 sur lensemble &T2 - R.
Dmonstration.
Soit cp langle entre R et la direction positive de
laxe des x; on suppose que 0 -i; cp < 2~.
Comme tout point z du plan est de: la forme z = / z 1eia, on peut
supposer que tous les points z qui nappartiennent
pas R sont tels
que cp - 2~c < a < cp . La fonction
u(z)
(3)
est continue
= zg z = zg 1z 1 + ia
De l, on obtient
topologique
X.
le thorme
z 1~6 - R .
suivant,
valable
= e(f(x))
THORME 3. Soit f E 9.
voisinage G tel que
pour
(3),
x EX .
f - 3 sur G .
(4)
Dmonstration. Soit R une demi-droite issue du point 0 et ne contenant pas le point f(x) (cest possible., puisque f(x) # 0). En vertu
de la continuit de f on a, pour un certain voisinage G du point x,
R nf(G)
= 0,
cest--dire
f(G)
c JF2 - R .
282
[XXII
TOPOLOGIE
(5)
soit vrtje.
Dmonstration.
Puisque f - X, la fonction
f(x)
f est de la forme
Posons
u (x)
(6)
7)
(x) - 2,(a) + c .
On a donc
eu(x) = eu(x) ,-u(a) ec = j-(x) )
car
e -()
= I/f(a)
f(x)
= eUCx) = evCx) ,
3 41
COUPURES
DU
283
PLA.N
la fonction u peut tre tendue lespace X entier. Soit v cette extension. On a donc
v E (c?)~ et ZI(x) = u I(X) pour
La fonction
x EF .
cherche.
u E (s2)*
e(x) pour x E A ,
f(x)
le V(X) pour x E B ,
(8)
=
l v(x)
pour XEB,
et soit
x = c, v c, u . . . u c, v . . . )
(9)
et
C, C Int(C,+,)
(10)
Sif-
n = 1,2, . . . .
Dmonstration.
(11)
pour
f(x)
x E C, et u, E (&2)c,
284
TOPOLOGIE
[XXII
(12)
Soit
u(x) = u,(x) pour XE~,.
(13)
En vertu de (12) et (9), la formule (13) dfinit la fonction u univoquement pour tout x E X. Cest une fonction continue, car si x0 E C,,
en vertu de (lO), x0 E Int (Cn+& et comme u (x) = u,+~ (x) pour
tout x E C,, la continuit de u,+ :i au point x0 entrane la continuit de
u en ce point (cf. chap. XII ex. 2).
Enfin, les formules (11) et (12) impliquent que
f(x)
THORME 9. Soit G un ensemble ouvert dans 9, (ou plus gnralement dans un espace X mtrique compact et localement connexe) et
soit f E PG. Si
f N 1 sur C,
(14)
quel que soit le sous-continu
C de G, alors f - 1 sur G.
G = G, u G, v . . . v G, v . . .
Comme lensemble G, est (connexe et ouvert (en vertu du th. 2,
9 2, chap. XVIII), il rsulte de la partie du thorme dj dmontre
que f- 1 sur G,,, cest--dire que f(x) = en(xl pour x E G,,, et
2E (@)Gn.
Posons z,(x) = o, (x) pour x E G,. Comme les ensembles G, sont
ouverts, il en rsulte (chap. XII, ex. 2) que la fonction ZJest continue.
On a donc
f(x)
51
$ 5. Corollaires
COUPURES
285
DIJ PLAN
COROLLAIRE
1. Soit 9 Iintervalle~erm 0 < t < 1. Toutefbnction
f E BF, o F = F c 9, satisfait la formule f - 1.
= 1
Fig. 26
A, n (A, u . . . CJ Ak-el)
soit connexe, pour k = 2, 3,, .. . . n (cf.. fig. 26). On suppose que ces
carrs sont suffisamment petits pour que f - 1 sur chacun deux s-
286
[XXII
TO:POLOGIE
Comme
6 = K, u IY, u . . . u K, v . . .
et comme f - 1 sur K,, en vertu du thorme prcdent,
thorme 8, 0 4, que f - 1 sur 8.
on dduit du
= f [h (x)]
= &x)
= euhel( z) = eV() ,
z non
- 1 sur C.
(19)
< 27~.
a(z)
= fi(z)
+ constante.
0 61
COUPURES
DU
287
PLAN
lim a (z,) = 0 :,
n+m
et si les points z, se trouvent
lim a (z,)
n-ta,
= 271.
entre
z - 1 sur A .
(21)
(22)
Daprs le thorme 2,
au plan P, do, daprs
z - 1 sur Yz - L, do il
puisque A c Y, - L.
Supposons maintenant
et q = CO. Il existe alors
tels que
(23)
92
= RuQ,
et
(24)
- A4.
RnQ=A.
P~R,
qEQ>
288
[XXII
TOPOLOGIE
Nous allons montrer que lhypothse (21) mne une contradiction. En effet, de (21) il rsulte que (cf. th. 6, !$ 4):
z = eu() sur A,
(25)
o u E(&2)Y2.
Posons
eu() pour
(26)
f(z)
=
1Z
pour
z EQ ,
z E R et z # 0.
(27)
(0)
>
Y2 -A
= McJN,
~EM,
qEN,
et
(29)
MnN
= 0.
COUPURES
0 71
NcQ,
McR,
(30)
289
DlJ PLAN
et
RnQ
(31)
= 0.
Soit
F = Y,
(32)
Lensemble
F = Y,
(33)
- (RuQ).
- (RuQ)
(30) et (28) on a
c Y2 - (MuN)
= A,
VER et qEQ.
Ainsi Y, - F est la runion de deux ensembles ouverts et disjoints
R et Q dont lun contient p et lautre q (cf. (32)). Lensemble F spare
donc 9, entre les points p et q. En vertu de la premire partie de la
dmonstration, on a donc z non - 1 sur F. Or, F c A en vertu de (33);
on a donc fortiori z non - 1 sur 4.
8 7. Thormes de Janiszewski
THORME
1. Soit A et B deux ensembles tous deux ouverts ou
tous deux ferms contenus dans Y2. )Si aucun des deux ne spare Y,
entre les points p et q et si lintersection A n B est connexe, alors leur
runion A u B non plus ne spare pas Y2 entre ces points.
Dmonstration.
(34)
Par la transformation
h (z> = (z -P>KZ .- 4)
on ramne la dmonstration
(35)
homographique
au cas (o
p=o,q=co.
TOPOLOGIE
290
[XXII
B = Y2 -B.
de Jordan
92.
Dmonstration.
Supposons par labsurde quun sous-ensemble
ferm F de larc L spare Y2 entre les points p et q. En appliquant
la transformation homographique (34), on peut supposer que ces
81
COUPURES
DU
291
PLAN
RI, R, 2..
Fr(R,)
= C = Fr (R,) .
(38)
(37).
C.
Si lgalit (37) navait pas lieu, lensemble Fr (RI) serait un sousensemble ferm dun certain arc contenu dans C, et daprs le lemme,
il ne sparerait donc pas 9,. Mais cela est impossible, puisque Fr (R,)
spare videmment Y, entre nimporte quel point de R, et nimporte
quel point de R,.
Ainsi, la premire des galits (37) se trouve dmontre; la seconde
sobtient par symtrie.
Il reste dmontrer que la suite (36) ne contient que deux termes.
Supposons le contraire, cest--dire quil existe au moins trois
domaines R,, R,, R,, et soit
(39)
pjeRj
pour j =: 1,2,3.
Lc R3 u {a}
IJ
{b)
292
[XXII
TOPOLOGIE
par les
aq, b v aq, b = C ,
(41)
et
(42)
Soit
A, = aq, bu L,, A,
(43)
= aq, b v L.
(44)
Comme
Fig.
21
81
COUPURES
DU
293
PLAN
partir
de chacun
des deux
domaines
en lesquels
la courbe
le plan.
En gnral, les points qui sont accessibles dun domaine quelconque R du plan forment un ensemble dense sur la frontire de R.
En effet, soit p E Fr (R). Quel que soit E > 0 il existe un point
q E R une distance < E de p. Sur le: segment qp, soit r le premier
point depuis 4 qui appartient Fr (R).. Ainsi, le segment qr se trouve
entirement, lexception du point r, dans le domaine R. Le point r
est donc accessible depuis R. En mme temps, 1r - p / < j q - p 1 CE.
*Remarque
2. Une autre gnralisation
est le thorme suivant (de Schonflies):
du thorme
de Jordan
Soit S la circonfrence
dun cercle et soit C une courbe simple
jerme contenue dans Yz. Tout homomorfihisme
h qui applique S sur C
peut tre tendu un homomorfihisme
h* du plan entier Y, sur luimme,
cest--dire
h* (Yo2) =
Yz
p E S.
9 peut
tre tendu
un
294
[XXII
TOPOLOGIE
Exercices
que si fi
Zttdication : Dcomposer
9~
9,
alors f N 1 .
suivant lquateur
et appliquer le corollaire
2, 0 5.
Ex.]
COUPURES
DU
295
PLAN
: Utiliser
le thorme
4 du chapitre XVII,
5 3.
8. Avec les mmes hypothses sur lespace X, soit A et B deux ensembles disjoints dont aucun ne spare X entre p et q. Dmontrer que A u B ne spare pas
non plus lespace entre p et q.
9. Montrer par un exemple que sans lhypothse
des exercices 6 8 sont faux.
dunicohrence
les thormes
fE (rP)2
de Borsuk-Ulam
Quelle
:= f(--2J.
Q, de rayon 1 et de centre 0,
de 9, dont la projection est
par labsurde que h(p) # 0
2,s 5, et la remarque qui le suit
contradiction
du thorme pr-
complmenune courbe
son complcontient une
296
[XXII
TOPOLOGIE
Indication : Remarquer
composantes de lensemble
que lensemble
y2 - C.
Y, -
R est contenu
dans le
13. Soit R un domaine simplement connexe contenu dans Ly2, et soit L un arc
qui se trouve dans R lexception de ses extrmits. Montrer que larc L spare le
domaine R (cest--dire que R - L nest pas connexe).
14. Dmontrer le thorme plus gnral suivant: Soit R un domaine quelconque de Y, et soit L un arc qui se trouve dans R lexception de ses extrmits;
une condition ncessaire et suffisante pour que cet arc spare le domaine R est que
les deux extrmits appartiennent une mme composante de lensemble 9, - R.
Indication : Dans la dmonstration
de la ncessit de la condition, utiliser le
thorme 6, 0 6, chap. XVII, et le premier thorme de Janiszewski. Utiliser le
second thorme de Janiszewski dans la dmonstration
de la suliisance.
15. Si C est un continu dans Y2, alors chacune des composantes
Y2 - C est un domaine simplement connexe.
Indication
: cf. le thorme
4, 0 3, chap. XVII.
de lensemble
LISTE
DES
PRINCIPAUX
SYMBOLES
Page
uvp,
ur\p,
u+p,u.fi.
. . . . .
u*p
. . .
UAP..
.
AuB,
AnB,
A+B,A.B
0
. .
.
XGA
. .
AcB..
.
A . . . . .
x#A
. . .
AAB..
.
CI-p,o,1,
. . . .
. . . . .
. . . . .
. . . . .
A-B,
. . . .
. .
.
. . . . .
. . . . .
. . . . .
. . . . .
. . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
82
85
86
86
88
103
104
105
105
105
.
.
.
.
.
.
.
.
9,
.
r:,
Y:
:
:
:
. .
711,7c2 . . . . . .
X$(&Y..
. . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
106
110
111
117
125
126
127
131
137
143
148
155
171
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
a:<p..
.
.
.
11
12
13
14
.
.
.
.
.
.
.
15
15
16
18
20
20
514
!4
26
$U;,;<U,i>
. . . .: :. :. .:
27
29
30
9, 9, B, 8
. . . . . .
33
YX . . . . . . . . . . .
38
gaf . . . . . . . . . . 39
Ut F,, Ut 6, .G 6, 4 F, . 40
UE, F,,, f--l:= 1 F, . . . . 40
4.2
fG4,f-'(B),fl
Afc g
s(R),P(R)
. . . . . . .
43
17,m_lA,,17tFt
. . . . .
47
7ct(f), 71,,71 . . . . . 48, 159
Lim inf F,, Lim sup Fn,
Lim F, . . . . . . . .
49
F . . . . . . .
. . .
55
Xlp..........
60
a,c,m+n,m*n.
. . .
61
nm . . . . . . . . . . .
63
x<y
. . . . . . . . .
63
CO,o.l*, v], A . . . . , .
81
r-(u) . .
G....
NI....
a+B,cr*p
IX-Y/
S(X)...
Y(& y>
2.
. .
~limp, .
.
.
.
.
-CC
.
.
.
;y, ;Aj, Fr(i) .
Fr,,
- Fos, Ga, Gs, .
Lr,, Y 2...
.
Ad . . . . . . .
F, YX
.
top
.
.
.
P (x,
A)
.
.
.
E:(p,
c)
tp*
__
-a
AO:. . . . .
v . . . . , .
dim, X, dim
a - b (mod
G / Go . .
G,H.
.
%Y,,(K)
X .
Go)
. .
. .
. . . .
AL..
. .
.
3, WI, g,, (K)
2,
ii,
(K) . . . .
z 2,
. . .
SL..
. . . .
9,f-1
. . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
173
203
245
263
263
263
265
266
267
268
268
270
280
INDEX
ALPHABTIQUE
A
ablien (groupe -), 262.
abscisse, 41.
absolument (famille - multiplicative).,
46.
absorbsion (loi d -), 14 ex. 7.
accessible (point -), 292.
accumulation
(point d -), 127.
additive (famille -), 44.
- (famille dnombrablement
-), 46.
adhrence, 11.
Alexander (lemme d -), 185.
Alexandrov (thorme d -), 182 ex 4.
algbre de Boole, 22, 23.
anneau, 24 ex. 3.
antinomie de Russel, 66.
antipodes, 295 ex. 11.
Antoine (arc d -), 279, 293.
application borne, 104.
- ferme, 165 ex. 7.
- homotope, 259.
- ouverte, 165 ex. 7.
- simpliciale, 275, 276 ex. 19.
arc. 236.
- dAntoine, 279, 293.
- (connexit locale par - s), 237.
argument, 38.
axiomes de lalgbre de Boole, 22, 23.
axiome du choix, 35.
- de continuit de Dedekind, 77.
- (premier-de
dnombrabilit),
175.
- de diffrence, 22.
- dexistence, 22.
- s de fermeture, 111.
- de linfini, 87.
- de runion, 22.
- - gnralise, 44.
- de substitution, 88.
- s de la thorie des ensembles, 21, 35;,
36, 44, 55.
- dunicit, 21.
B
Baire (espace de -),
- (thorme de -),
152 ex. 4.
178.
,-.
c,
INDEX
ALPHABTIQUE
Cantor-Bendixson(thorme
de-), 174,
Cantor-Bemstein
(thorme de -), 68
caractristique dEuler dun complexe,
275 ex. 18.
caractristique (fonction-),
50 ex. 8,65.
cardinal (nombre -), 55.
cardinaux (exponentiation
des nombres -), 63.
- (produit, somme de nombres -), 62.
cartsien (produit -), 30, 33.
- (produit - de deux espaces topologiques), 155.
- (produit - gnralis), 47.
- (produit - gnralis despaces topologiques), 159.
catgorie (ensemble de premire -),
179.
Cauchy (condition de -), 133.
- (suite de -), 177.
Lech-Stone (compactification
de -),
187, 188.
chane, 265.
choix (axiome du -), 35.
- (principe gnral du -), 91.
clairsem (ensemble -), 129.
classe dquivalence, 60 ex. 9.
Clausius (loi de -), 14 ex. 2.
cobord, 270.
cocycle, 27 1.
Cohen, J. P., 87.
cofinal (ensemble -), 74.
- (nombre ordinal -), 90.
cohomologie (groupe de -), 271.
commenant (intervalle -), 77.
commutatif (diagramme -), 39.
- (groupe -), 262.
compact (espace -), 183.
- (espace dnombrablement
-), 189.
compacte-ouverte (topologie -de Yx),
201.
compactification,
187.
- de Lech-Stone, 187-188.
complmentaire,
20.
complet (espace -), 177.
compltement (espace - rgulier), 147.
complexe, 265.
- (fonction -), 51 ex 18.
composante, 223.
compose (fonction -), 39.
condensation (point de -), 173.
299
D
Darboux (proprit de -), 219.
D,edekind (axiome de continuit de -),
77.
dduction, 13.
300
TOPO~LOGIE
E
Eilenberg (thorme d -), 280.
lments conjugus mod Go, 263.
lment maximal, 94.
- satur, 94.
ensemble (axiomes de la thorie des-s),
21, 35, 36, 44, 55.
- de premire catgorie, 179.
- dense, 125.
- dense dans, 80 ex. 5.
- dense en soi, 128.
-- driv, 127.
- driv dordre transfini, 175 ex. 9.
- dirig, 74.
- ferm, 114.
- filtrant droite, 74.
-- frontire, 125.
- nulle part dense, 125.
- ouvert, 114.
- parfait, 129.
- quotient, 60 ex. 9.
- s semblables, 74.
- s spars, 217.
- vide, 15.
ensembliste (produit, somme -), 15.
quations (thorme dexistence des diffrentielles), 212.
quipotence, 54.
quivalence logique, 11.
- (classe d -), 60 ex. 9.
- (relation d -), 60 ex. 9.
quivalents au sens combinatoire,
154
ex. 15.
espace de Baire, 152 ex. 4.
- base dnomlbrable, 167.
- born, 104.
- compact, 183.
- complet, 177.
- connexe, 216.
- base dnombrable,
167.
- dnombrablement
compact, 189.
- n dimensions, 246.
- euclidien n dimensions, 33, 103.
- extrmement discontinu, 121 ex. 2.
- de Frchet, 153 ex. 6.
- de HausdortT, 126.
- de Hilbett, 103.
- s isomtriques, 18 1.
- Y*, 110 ex. 4 et 5.
- localement sparable, 176 ex. 14.
- mtrique, 103.
- normal, 144.
INDEX
301
ALPHABTIQUE
ci
Gauss (plan de -), 278.
graphe dune application,
38, 158.
grossire (topologie -), 121.
groupe ablien ou commutatif,
262.
- de cohomologie,
27 1.
- dhomologie,
268, 277.
- (produit direct de - s), 272 ex. 4.
- quotient, 263.
H
Hahn (thorme de -), 182 ex. 6.
Hsusdorff (espace de -), 126.
- (topologie de - de 2x), 214 ex. 25.
Heine (condition de -), 134.
~ (thorme gnralis de - sur la
continuit uniforme), 193.
Hilbert (cube de -), 105, 153 ex. 12.
- (espace de -), 103.
homomorphe
(espaces -s), 148.
homomorphisme,
148.
homologie (groupe d -), 268, 277.
homologiquement
(cycles - indpendants), 269.
302
TOPOLOGIE
idal, 34.
idal maximal, 35.
idal propre, 35.
image, 42.
- rciproque, 42.
implication,
13.
implicite (thorme des fonctions - S:I,
213 ex. 22.
inaccessible (nombre ordinal -), 90.
inclusion, 17.
indpendant (cycles homologiquement
ou linairement - s), 269.
- (points linairement - s), 251.
induction finie, 82.
- transfinie, 82, 93.
induite (topologie -), 120.
ingalit du triangle, 103.
infini (axiome de 1 -), 87.
injection, 53.
injective (fonction -), 53.
intrieur dun ensemble, 117.
- (point -), 117.
intersection, 16.
- gnralise, 40.
intervalle commenant, 77.
invariant topologique,
150.
inverse (fonction -), 53.
- (limite -), 78.
- (systme -), 78.
isol (point -), 127.
isomtrie, 181.
isomtrique (espaces - s), 181.
isomorphisme,
263.
L
Lebesgue (condition
de Borel-Lebesgue), 184.
Lemme dAlexander,
185.
- dUrysohn,
144.
-- de Zorn, 94.
libre (variable -), 27.
li (variable - e), 27.
limite dune suite de points, 105, Il0
ex. 4.
- infrieure ou suprieure dune suite
densembles, 49 ex. 6.
- inverse, 78.
-- (nombre ordinal -), 89.
-- projective, 78.
~ topologique,
123 ex. 9.
- infrieure topologique,
122 ex. 7.
- suprieure topologique,
122 ex. 8.
LindelOf (thorme de recouvrement
de -), 167.
linaire (ordre -), 74.
linairement (cycles-ou
homologiquement indpendants), 269.
- (points - indpendants), 251.
localement connexe, 235.
- - par arcs, 237.
- (famille - finie), 122 ex. 6.
~ sparable, 176 ex. 14.
loi dabsorbsion,
14 ex. 7.
-- de Clausius, 14 ex. 2.
- de contraposition,
13.
-- de Duns Scot, 14 ex. 3.
- s ou formules de de Morgan, 12,20.
- - gnralise de de Morgan,
28, 40.
-- du syllogisme, 13.
logarithme
(branche continue
lente du -), 2bO.
logique (quivalence -), 11.
~- (produit -), 11.
- (somme -), 11.
univa-
INDEX
ALPHAELTIQUE
303
304
TOPOLOGIE
Q
quantificateur existentiel, universel, 2~7.
quasi-composante,
221, 232 ex. 1.
quotient (ensemble -), 60 ex. 9.
- (topologie de lespace - X/p), 209.
- (groupe -), 263.
- de nombres ordinaux, 95 ex. 6.
R
rang dun groupe, 294.
rciproque (image -), 42.
recouvrement,
168.
relation, 31.
- dquivalence, 60 ex. 9.
- dordre, 14.
- de proximit,
165 ex. 9.
relative (fermeture - E), 120.
relativement (ouvert - E), 120.
relativise (topologie -), 120.
rgulier (espace -), 147.
- (espace compltement
-), 147.
reste de nombres ordinaux, 95 ex. 6.
restriction dune fonction, 42.
rtracte, 143.
- absolu, 143.
- de voisinage, 143.
runion, 16.
- (axiome de -), 22.
- gnralise, 40.
- - (axiome de - -), 44.
Riesz (condition de -), 184.
ruban de Mobius, 214.
Russell (antinomie de -), 66.
S
satur (lement -), 94.
Schauder, J., 257.
Scot (loi de Duns -), 14 ex. 3.
semblables (ensembles -), 74.
sparable (espace -), 168.
- (espace localement -), 176 ex. 14.
spars (ensembles -), 217.
spar (espace -), 126.
Sierpinski (thorme de -), 239.
similitude, 75.
simplement connexe, 295, ex. 12.
simplexe, 25 1.
INDEX
305
ALPHABTIQUE
thorme de Borsuk-Ulam,
295 ex. 11.
- de Brouwer (du point fixe), 256.
- de Cantor, 65, 178.
- - - gnralis, 182 ex. 8, 211
ex. 15.
- de Cantor-Bendixson,
174.
- de Cantor-Bemstein,
68.
- de la diagonale, 15.
- dEilenberg,
280.
- dexistence des quations diffrentielles, 212 ex. 21.
- des fonctions implicites, 213 ex. 22.
- de Hahn, 182.
- de Heine gnralis, 193.
- de Janiszewski, 289, 290.
- de Jordan, 290.
- de Lindelof, 167.
- de Mazurkiewicz, 240.
- de Mazurkiewicz-Moore,
241.
- de Peano, 242.
- de Schonflies, 293.
- de Sierpinski, 239.
- de Sperner, 253.
- de Tietze, 141.
- de Tietze gnralis, 146.
- de Tychonov, 186.
- durysohn,
171.
- de Wallace, 209 ex. 2.
- de Weierstrass gnralis, 192.
- de Zermelo, 91.
Tietze (thormes de -), 141, 146.
topologie compacte-ouverte de Yx, 201.
- de convergenceuniforme
de YX, 200.
- discrte, 121.
- de lespace-quotient
X/p, 209.
- grossire, 121.
- de Hausdorff de 2x, 214.
- induite, 120.
- relativise, 120.
- de Tychonov, 159.
- de Vietoris de 2x, 214 ex. 26.
topologique (espace -), 111.
- (produit cartsien de deux espaces
- s), 155.
- produit cartsien gnralis despaces - s), 159.
- invariant, 150.
- (limite -), 123 ex. 9.
- (limite infrieure, suprieure -), 122
ex. 7 et 8.
totalement (espace - born), 153.
U
Ulam (thorme de Borsuk-Ulam),
295 ex. 11.
ultrafiltre, 35.
unicit (axiome d -), 21.
unicohrent (espace -), 295 ex. 5.
uniforme (continuit -), 193.
- (convergence -), 109.
- (structure -), 165 ex. 8.
uniformment
(espaces - borns), 105.
univalente
(branche continue - du
logarithme),
280.
universel (quantificateur
-), 27.
Urysohn (lemme d -), 144.
- (thorme de plongement
d -),
171.
V
variable libre, lie, 27.
vide (ensemble -), 15.
voisinage, 117.
- (rtracte de -), 143.
W
Wallace (theorme de -), 209 ex. 2.
Weierstrass (thorme de - gnralis),
192.
- (condition de Bolzano-Weierstrass),
190.
Z
Zermelo (thorme de -),
Zorn (lemme de -), 94.
91.
Achev dimprimer
le 31 mars 1966
par Kundig, Genve