D´efinition : Une relation d’ordre (partiel) sur un ensemble Xest une partie Rde
X×Xtelle que
•(x, x)∈ R ∀ x∈X,
•(x, y)∈ R ,(y, x)∈ R =⇒x=y,
•(x, y)∈ R ,(y, z)∈ R =⇒(x, z)∈ R .
L’ordre est total si deux ´el´ements peuvent toujours ˆetre mis en relation.
Autre notation :
•x≤y⇐⇒ (x, y)∈ R
•x < y ⇐⇒ (x, y)∈ R et x6=y
Exemple : L’inclusion A⊂Best un ordre partiel sur les parties d’un ensemble X.
D´efinitions :
x∈Xest un majorant, resp. un minorant de A⊂Xsi x≥y, resp. x≤y∀y∈A.
x∈Xest maximal, resp. minimal si y≥x, resp. y≤x=⇒y=x.
Lemme de Zorn : Tout ensemble non vide ordonn´e inductif poss`ede un ´el´ement maxi-
mal (inductif signifie que toute partie totalement ordonn´ee poss`ede un majorant).
Remarques :
•Axiome de la th´eorie des ensembles, ´equivalent `a l’axiome du choix .
•Application 1 : Tout espace vectoriel Eposs`ede une base. Plus pr´ecis´ement, tout
syst`eme libre dans Epeut ˆetre compl´et´e en une base de E, et tout syst`eme de g´en´era-
teurs dans Epeut ˆetre ´epur´e en une base de E.
•Application 2 : Dans un anneau commutatif, tout id´eal est contenu dans un id´eal
maximal (th´eor`eme de Krull).
•Application 3 : th´eor`eme de Tychonoff
•Application 4 : th´eor`eme de Hahn–Banach
D´efinition : Un espace topologique est localement compact s’il est s´epar´e et si tout point
poss`ede un voisinage compact.
Exemple : Rnest localement compact.
Quelques propri´et´es des espaces localement compacts :
•Dans un espace localement compact X, tout point xposs`ede un syst`eme fondamental
de voisinages compacts (i.e. tout voisinage de xcontient un voisinage compact de x).
•Dans un espace localement compact X, une partie Yest localement compacte (pour
la topologie induite) si et seulement si Yest l’intersection d’une partie ouverte et d’une
partie ferm´ee de X.
•Tout espace localement compact est de Baire.
Proposition : Compactifi´e d’Alexandroff b
X=X⊔ {∞} d’un espace localement com-
pact (non compact) X:
•Les ouverts Ude Xet les compl´ementaires b
XrKdes parties compactes Kde X
constituent une topologie sur b
X,
•b
Xest compact,
•Xest ouvert dans b
Xet la topologie induite par b
Xsur Xco¨ıncide avec la topologie
initiale de X.
Exemple : c
Rn=Sn.
Propri´et´e fonctionnelle du compactifi´e d’Alexandroff : C( b
X) = C0(X)⊕C.