1 Théorème des catégories de Baire - Département de Mathématiques
1 Théorème des catégories de Baire - Département de Mathématiques
1 Théorème des catégories de Baire - Département de Mathématiques
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
2 Compactifié d’Alexandroff d’un espace localement compact<br />
Etant donné un espace topologique localement compact X, on va construire un espace compact X ′ , unique<br />
à homéomorphisme près, en adjoignant à X un point à l’infini.<br />
Exercice 2.1. Soir X espace topologique localement compact muni <strong>de</strong> sa topologie T . Soit ω un ensemble<br />
n’appartenant pas à X. On pose X ′ := X ∪{ω} et on définit<br />
1. Montrer que T ′ définit bien une topologie sur X ′ .<br />
2. Montrer que X ′ est compact pour la topologie T ′ .<br />
T ′ := T ∪{X ′ K | K partie compacte <strong>de</strong> X} .<br />
On montre maintenant que X ′ est, à homéomorphsime près, l’unique espace compact tel que X soit homéomorphe<br />
au complémentaire d’un point ω ∈ X ′ .<br />
3. Soit X ′ 1 et X ′ 2 <strong>de</strong>ux espaces compacts et ω1 ∈ X ′ 1, ω2 ∈ X ′ 2. Soient h1 et h2 <strong><strong>de</strong>s</strong> homéomorphismes <strong>de</strong> X<br />
sur X1 := X ′ 1 {ω1} et X2 := X ′ 2 {ω2}.<br />
a) On définit l’application h : X ′ 1 → X ′ 2. Telle que h |X1 := h2◦h −1<br />
1 et h(ω1) = ω2. Montrer que h est continue<br />
en tout point <strong>de</strong> X1.<br />
b) Montrer que h est continue en ω1. Conclure.<br />
Application : compactification <strong>de</strong> R n . Dans l’espace R n+1 = R n × R on note (x1,...,xn,u) les coordonnées<br />
du point (x,u). On considère la sphère unité <strong>de</strong> R n+1 d’équation<br />
On note N := (0,1) ∈ S n le pôle nord <strong>de</strong> la sphère.<br />
4. Montrer que la projecion stéréographique<br />
est un homéomorphisme.<br />
5. En déduire le compactifié d’Alexandroff <strong>de</strong> R n .<br />
S n : x 2 1 +...x2 n +u2 = 1 .<br />
p : S n {N} → R n : (x,u) ↦→ x<br />
1−u<br />
Le compactifié d’Alexandroff permet une caractérisation simple <strong><strong>de</strong>s</strong> applications propres entre espaces localements<br />
compacts. Rappelons qu’une application continue f : X → Y définie sur un espace séparé X et à<br />
valeur dans un espace localement compact Y est dite propre si l’image réciproque par f <strong>de</strong> tout compact <strong>de</strong><br />
Y est une partie compacte <strong>de</strong> X. On dit également <strong>de</strong> f qu’elle est fermée si l’image directe <strong>de</strong> tout fermé<br />
<strong>de</strong> X est une partie fermée <strong>de</strong> Y .<br />
Exercice 2.2. Soit X un espace séparé et Y un espace localement compact. Soit f : X → Y une application<br />
propre et F une partie fermée <strong>de</strong> X.<br />
1. Soit V un voisinage compact <strong>de</strong> a ∈ f(F) et W = f −1 (V). Montrer qu’alors f(W ∩F) = V ∩f(F).<br />
2. Montrer que tout voisinage <strong>de</strong> a rencontre V ∩f(F).<br />
3. En déduire que f est une application fermée.<br />
Exercice 2.3. SoientX1 etX2 <strong><strong>de</strong>s</strong> espaces localement compacts. On noteX ′ 1 := X1∪{ω1} etX ′ 2 := X2∪{ω2}<br />
leurs compactifiés d’Alexandroff. Montrer qu’une application f : X1 → X2 est propre si et seulement si le<br />
prolongement ˜ f : X ′ 1 → X ′ 2 défini par ˜ f(ω1) = ω2 est continu au point ω1.<br />
3 <strong>Théorème</strong> d’Urysohn et cube <strong>de</strong> Hilbert<br />
On rappelle qu’un espace séparé est dit normal si toute partie fermée admet un système fondamental <strong>de</strong><br />
voisinages fermés. On a vu que les espaces compacts sont normaux.<br />
Exercice 3.1. Soit X un espace topologique normal. Soient A et B <strong>de</strong>ux fermés disjoints dans X. On note<br />
D l’ensemble <strong><strong>de</strong>s</strong> nombres dyadiques <strong>de</strong> l’intervalle [0,1]. On écrit cette ensemble comme la réunion <strong><strong>de</strong>s</strong><br />
ensembles disjoints suivants.<br />
<br />
1 1 3<br />
D0 = {0,1}, D1 = , D2 = ,<br />
2 4 4<br />
2