Académique Documents
Professionnel Documents
Culture Documents
Ensembles Ordonnés Et Axiome de Choix
Ensembles Ordonnés Et Axiome de Choix
net 1
2 Ensembles ordonnés
Définition Soit E un ensemble. Un ordre partiel sur E est donné par une relation
vérifiant, si x, y E:
– est réflexive: x x.
– est transitive: si x y et y z alors x z.
– vérifie: si x y et y x alors x=y.
On notera les relations d’ordre partiel par analogie avec la relation “être plus grand
Définition Soit E un ensemble muni d’un ordre partiel . On dit que les éléments
x et y de E sont comparables si l’une des deux affirmations: xy ou yx est vraie.
Définition Un ensemble est dit partiellement ordoné si il existe une relation sur
E définissant un ordre partiel sur E.
Définition Soit E un ensemble muni d’une relation qui fait de lui un ensemble
partiellemnt ordonné. Si pour tout x et y de E, une et une seule des deux relations: x y
majorant de F si x F, x b.
Un ensemble inductif est donc aussi un ensemble dans lequel toutes chaînes pos-
sède un majorant.
Lemme de Zorn Tout ensemble ordonné non vide et inductif possède un élément
maximal.
Ce lemme est en fait une conséquence directe de l’axiome de choix. Nous considé-
rerons dans ce cours le lemme de Zorn comme un axiome et écarterons pour le moment
l’axiome de choix de nos préoccupations.