Énoncé d'ordre théorique équivalent (sur ZF) à l'axiome du choix : dans un ensemble partiellement ordonné où tout sous‑ensemble totalement ordonné (chaîne) possède une borne supérieure, il existe au moins un élément maximal.

Principe

Si toute chaîne peut être étendue à une borne supérieure, alors il existe un élément qui ne peut plus être strictement étendu ; cela permet des preuves d'existence d'objets maximaux sans construction explicite.

Démonstration

Usage courant : prouver que tout espace vectoriel possède une base en considérant le poset des sous‑ensembles linéairement indépendants ordonnés par inclusion ; le lemme de Zorn fournit un ensemble indépendant maximal, qui est une base.

Mauvaise application

Appliquer le lemme de Zorn sans vérifier l'hypothèse de borne supérieure pour les chaînes ou confondre maximal et le plus grand (un maximal n'est pas nécessairement comparable à tous les autres) peut conduire à de fausses conclusions ; il est non constructif et garantit l'existence sans méthode pour trouver l'élément maximal.

Conséquence

Permet de nombreux résultats d'existence usuels (bases, idéaux maximaux, clôtures algébriques) et se relie à l'AC par équivalence ; il simplifie des arguments qui sinon nécessiteraient des constructions transfinies explicites.

Inversion

Nier le lemme de Zorn (travailler dans des modèles sans lui) empêche de nombreuses preuves d'existence standard et oblige à des travaux constructifs explicites ; certains résultats équivalents au lemme échouent ou demandent des substituts plus faibles.

Limite

S'applique aux ensembles partiellement ordonnés satisfaisant la condition de borne supérieure pour les chaînes ; il n'affirme pas l'unicité, la constructibilité ou la comparabilité des éléments maximaux et reste muet sur la taille ou la définissabilité.

Tension sémantique

En tension avec les approches constructives et les alternatives basées sur le bien-ordonnancement ; son caractère non constructif contraste avec les méthodes qui construisent des objets maximaux par induction transfinie explicite ou procédures récursives.

Synthèse

Le lemme de Zorn est un principe d'existence concis : sous l'hypothèse de borne supérieure pour les chaînes dans un poset, il existe un élément maximal. Il est équivalent à l'axiome du choix en ZF et sert couramment à obtenir des structures maximales sans fournir de construction explicite.