29.06.2013 Views

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

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!