Les-Mathematiques.net - Cours de mathématiques universitaires - Forum - Cours à télécharger

A lire
Deug/Prépa
Licence
Agrégation
A télécharger
Télécharger
236 personne(s) sur le site en ce moment
E. Cartan
A lire
Articles
Math/Infos
Récréation
A télécharger
Télécharger
Théorème de Cantor-Bernstein
Théo. Sylow
Théo. Ascoli
Théo. Baire
Loi forte grd nbre
Nains magiques
 
 
 
 
 
Ensembles inductifs et lemme de Zorn next up previous
monter: Ensembles ordonnés et axiome précédent: Ensembles ordonnés

Ensembles inductifs et lemme de Zorn

Définition Soit E un ensemble partiellement ordonné . E est dit inductif si toute partie de E non vide et totalement ordonnée possède un majorant.

Définition Soit E un ensemble partiellement ordonné. Une partie de E totalement ordonnée est appelée une chaîne. Un élément d'une chaîne est appelé un maillon.

Un ensemble inductif est donc aussi un ensemble dans lequel toutes chaînes possède un majorant.

Définition Un ensemble E partiellement ordonné est dit strictement inductif si toute partie non vide de E possède une borne supérieure.

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.


next up previous
monter: Ensembles ordonnés et axiome précédent: Ensembles ordonnés
Emmanuel_Vieillard-Baron_pour_les.mathematiques
 

 
©Emmanuel Vieillard Baron 01-01-2001
Adresse Mail:

Inscription
Désinscription

Actuellement 16057 abonnés
Qu'est-ce que c'est ?
Taper le mot à rechercher

Mode d'emploi
En vrac

Faites connaître Les-Mathematiques.net à un ami
Curiosités
Participer
Latex et autres....
Collaborateurs
Forum

Nous contacter

Le vote Linux

WWW IMS
Cut the knot
Mac Tutor History...
Number, constant,...
Plouffe's inverter
The Prime page