Axiome d'extensionnalité

L’axiome d’extensionnalité est l’un des axiomes-clés de la plupart des théories des ensembles, en particulier, des théories des ensembles de Zermelo, et de Zermelo-Fraenkel (ZF). Il énonce essentiellement qu'il est suffisant de vérifier que deux ensembles ont les mêmes éléments pour montrer que ces deux ensembles sont égaux, au sens où ils ont les mêmes propriétés, aucune propriété ne permettra de distinguer un ensemble de l'autre. Dit d'une façon plus approximative^[1], il affirme que quelle que soit la façon dont on définit un ensemble, celui-ci ne dépend que de son extension, les éléments qui lui appartiennent, et pas de la façon dont il a été défini.

Cet axiome peut paraître évident pour la notion intuitive d'ensemble, mais a des conséquences importantes sur la complexité de l'égalité dans la théorie. Pour vérifier l'égalité de deux ensembles, on est amené, à cause par exemple du schéma d'axiomes de compréhension, à vérifier des équivalences entre énoncés de complexité arbitraire, ces énoncés eux-mêmes pouvant utiliser l'égalité entre ensembles (rappelons qu'il n'y a que des ensembles dans les théories des ensembles usuelles).

L’axiome est donc intimement lié à la notion d’égalité de deux ensembles. Il permet de montrer l’unicité d’ensembles caractérisés par la donnée de leurs éléments, tels l’ensemble vide, les singletons, les paires, l'ensemble des parties d'un ensemble…

L’axiome

L’égalité peut être introduite en théorie des ensembles, de diverses façons. Actuellement, elle est le plus souvent considérée comme une relation primitive, axiomatisée au niveau logique. La théorie des ensembles est alors une théorie énoncée dans le langage du calcul des prédicats égalitaire du premier ordre, construit sur la seule relation d'appartenance.

Énoncé en calcul des prédicats égalitaire

Dans ce cas, l'axiome d'extensionnalité s'énonce ainsi :

∀A ∀B [ ∀x (x ∈ A ⇔ x ∈ B) ⇒ A = B ].

On sait que l'inclusion entre deux ensembles se définit par :

A ⊂ B    signifie    ∀ x (x ∈ A ⇒ x ∈ B)^[2]

On en déduit donc une autre formulation de l'axiome d'extensionnalité, qui est d'ailleurs celle originale de Ernst Zermelo.

(A ⊂ B et B ⊂ A) ⇒ A = B.

Axiomes de l'égalité

Rappelons qu'en calcul des prédicats égalitaire, l'égalité satisfait l'axiome de réflexivité, un objet (un ensemble dans le cas de la théorie des ensembles) égale lui-même, en langage formel,

∀x   x = x.

et le schéma d'axiomes suivant, qui affirme que si deux objets sont égaux, toute propriété vérifiée par l'un est vérifiée par l'autre, en langage formel, en tenant compte d'éventuels paramètres a₁ … a_p,

∀a₁ … ∀a_p ∀x ∀y [x = y ⇒ (P x a₁ … a_p ⇒ P y a₁ … a_p)]      pour toute formule P ne contenant pas d'autre variable libre que x a₁ … a_p.

(on en déduit en particulier la symétrie et la transitivité de l'égalité).

On voit ainsi que la réciproque de l'axiome d'extensionnalité -- si deux ensembles sont égaux, alors ils ont les mêmes éléments -- est une propriété usuelle de l'égalité, un cas particulier du schéma que l'on vient d'énoncer :

∀A ∀B [ A = B ⇒ ∀x (x ∈ A ⇔ x ∈ B)].

On peut voir cette axiomatisation comme une formalisation de la définition de l'égalité par Leibniz : deux objets sont égaux quand ils ont exactement les mêmes propriétés, dit par contraposée, deux objets sont différents si une propriété permet de les distinguer. Pour formaliser directement cette définition, il faut pouvoir quantifier sur les propriétés, c'est-à-dire, formellement, les prédicats du langage (bien sûr le choix du langage a des conséquences sur l'égalité, le nom, ou la définition d'un ensemble dans un langage formel, ne peut en constituer une propriété qui se définit dans ce langage). Ceci n'est pas possible en logique du premier ordre, donc en théorie des ensembles usuelle. Si l'on énonce la théorie des ensembles, par exemple ZFC, en logique du second ordre, en étendant les schémas d'axiomes aux nouvelles formules du langage, on obtient une théorie strictement plus forte, qui est équivalente à la théorie des ensembles de Morse-Kelley.^{[réf. souhaitée]}

Définition de l'égalité

Une alternative est de considérer la théorie des ensembles en calcul des prédicats du premier ordre sans égalité, et de définir cette dernière à partir de l'appartenance, par exemple par l'égalité extensionnelle :

x=y signifie ∀z (z ∈ x ⇔ z ∈ y)

On doit alors donner un axiome qui permet de retrouver les propriétés usuelles de l'égalité :

∀x ∀y [∀z (z ∈ x ⇔ z ∈ y) ⇒ ∀u(x ∈ u ⇒ y ∈ u)]

même s'il s'agit juste d'un cas particulier du schéma de l'égalité, on en déduit celui-ci par induction sur la structure des formules

Conséquences de cet axiome

L'axiome d'extensionnalité permet d'assurer l'unicité d'ensembles fondamentaux, tels l'ensemble vide ou la paire de deux ensembles donnés, dont l'existence est directement affirmée par certains autres axiomes.

A cet effet, considérons un prédicat quelconque P, un de ses arguments que l'on notera x étant distingué, les autres, si l'en existe, sont notés a₁ …a_p et servent de paramètres. Il n'existe pas toujours (voir schéma d'axiomes de compréhension) un ensemble A défini comme l'ensemble des objets x qui vérifient P, c'est-à-dire tel que pour tous a₁ …a_p et pour tout x,

x ∈ A ⇔ P x a₁ …a_p.

Supposons que l'on ait démontré l'existence d'un tel ensemble A. Certains axiomes de la théorie des ensembles sont d'ailleurs directement de cette forme. Dans ce cas, cet ensemble A est l'unique ensemble des x vérifiant P : l'unicité est une conséquence immédiate de l'axiome d'extensionnalité.

Nous pouvons alors introduire un symbole particulier pour désigner cet ensemble, par exemple ∅ pour l'ensemble vide, { a } pour le singleton construit à partir de a, ou { a, b } pour la paire formée par a et b,... l'utilisation de ces nouveaux symboles ne modifie pas véritablement la théorie : les théorèmes (exprimés sans ces symboles) restent les mêmes. En fait tout énoncé contenant ces nouveaux symboles peut être remplacée par un énoncé équivalent ne les contenant pas, et ceci se montre en utilisant la propriété d'existence et d'unicité qui a permis de les introduire.

Variantes de l’axiome d’extensionnalité

L’axiome d’extensionnalité apparaît, sous une forme ou sous une autre, dans les axiomatiques de la théorie des ensembles, tant l'égalité extensionnelle semble être constitutive de la notion d'ensemble. Il est cependant possible de s'intéresser, au moins en préalable, aux théories non extensionnelles, qui ont de meilleures propriétés en théorie de la démonstration, à cause du « quotient » complexe qu'induit l'égalité extensionnelle. Par ailleurs, l'axiome peut subir des modifications pour satisfaire certaines exigences.

Notes et références

Voir aussi

• Théorie des ensembles
• Ensemble
• Classes

• Portail des mathématiques