D´efinition : Soient fj:Xj→Xune famille d’applications d’espaces topologiques Xj
dans un ensemble X. La topologie finale pour les applications fj(ou topologie la plus
fine rendant continues les applications fj) est d´efinie par
T={A⊂X|f−1
j(A) est ouvert dans Xj∀j}.
Propri´et´e universelle de la topologie finale : Une application f:X→Yde Xdans
un espace topologique Yest continue si et seulement si chaque application compos´ee
f◦fj:Xj→Yest continue.
Exemple : Soit Xun espace topologique, muni d’une relation d’´equivalence ∼. La
topologie quotient sur Y=X/ ∼est la topologie finale pour la projection canonique de
Xsur Y.
D´efinition : Un espace topologique Xest s´epar´e (ou de Hausdorff ) si deux points
distincts peuvent toujours ˆetre s´epar´es par des ouverts disjoints :
∀x, y ∈Xavec x6=y,∃U, V ouverts avec x∈U,y∈Vet U∩V=∅.
Exemple : Tout espace m´etrique est s´epar´e.
D´efinition : Un espace topologique Xest compact s’il est s´epar´e et s’il v´erifie les
conditions ´equivalentes de Borel–Lebesgue.
Quelques propri´et´es des espaces compacts :
•Un espace compact poss`ede la propri´et´e de Bolzano–Weierstrass (condition n´ecessaire,
mais pas suffisante en g´en´eral).
•Une partie d’une espace compact est compacte (pour la topologie induite) si et seule-
ment si elle est ferm´ee.
•Soit f:X→Yune application continue d’un espace compact Xdans un espace
topologique s´epar´e Y. Alors f(X) est compact et fest un hom´eomorphisme (i.e. une
application bijective bicontinue) de Xsur f(X), si fest injective.
Th´eor`eme d’Urysohn : Etant donn´e deux parties ferm´ees disjointes F0et F1dans
un espace compact X, il existe une fonction continue f:X→[ 0,1 ] ´egale `a 0 sur F0
et `a 1 sur F1.
Th´eor`eme de Tietze : Soit Yune partie ferm´ee d’un espace compact X. Alors toute
fonction continue f:Y→Cse prolonge en une fonction continue F:X→Cavec
max x∈X|F(x)|= max y∈Y|f(y)|.
Th´eor`eme de Tychonoff : Un produit X=Qi∈IXid’espaces topologiques est com-
pact si et seulement si chaque composante Xiest compacte.
Exemples :
•Le cube de Hilbert [ 0,1 ]Nest compact.
•Soient Xun ensemble et Yun espace topologique. Rappelons que YXd´esigne
l’ensemble des applications de Xdans Yet observons que la topologie produit sur YX
co¨ıncide avec la topologie de la convergence simple (ou ponctuelle). D’apr`es Tychonoff,
YXest compact si et seulement si Yest compact.
Lemme : Un produit X=Qi∈IXid’espaces topologiques est s´epar´e si et seulement si
chaque composante Xiest s´epar´ee.
D´efinition : Une relation d’ordre (partiel) sur un ensemble Xest une partie Rde
X×Xtelle que
•(x, x)∈ R ∀ x∈X,