Axiome de l'ensemble des parties

En mathématiques, l'axiome de l'ensemble des parties est l'un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo-Fraenkel.

L'axiome affirme l'existence pour tout ensemble E, d'un ensemble auquel appartiennent tous les sous-ensembles de E, et seulement ceux-ci. Un tel ensemble est nommé ensemble des parties de E, d'où le nom de l'axiome.

Cet axiome s'écrit dans le langage formel de la théorie des ensembles, qui est un langage égalitaire du premier ordre avec la relation d'appartenance comme seul symbole primitif non logique. On peut tout d'abord définir formellement l'inclusion :

AB    signifie    ∀ x (xAxB) .

L'axiome s'écrit alors :

EPA (APAE).

qui se lit en français :

Pour tout ensemble E, il existe un ensemble P tel que tout ensemble A est un élément de P si et seulement s’il est une partie de E.

Il n'est pas nécessaire d'énoncer dans l'axiome l'unicité de cet ensemble P pour un E donné. Celle-ci est assurée par l'axiome d'extensionnalité. On peut donc parler de l'ensemble des parties de E, et on note celui-ci habituellement « P(E) » ou « \mathcal{P}(E) » ; la lettre P gothique « \mathfrak{P}(E) » a été aussi beaucoup utilisée.

Rôle de l'axiome

En présence de l'axiome de l'infini, l'ensemble des parties permet de prouver l'existence d'ensembles infinis non dénombrables.

En raison du théorème de Cantor, en itérant l'ensemble des parties sur des ensembles infinis on obtient des ensembles de plus en plus « grands » ; pour cette raison l'axiome renforce considérablement la théorie (voir la hiérarchie cumulative). Or pour des raisons théoriques on peut avoir besoin d'une axiomatique faible, ainsi la théorie des ensembles de Kripke-Platek, qui permet de caractériser certaines classes d'ensembles et d'ordinaux, ne comprend pas cet axiome.

En contre-partie il peut être utile d'ajouter les entiers comme éléments primitifs (ur-elements). Pour prendre un exemple très simple, la logique du second ordre, que l'on peut voir comme une théorie des ensembles très faible, n'a pas d'équivalent de l'axiome de l'ensemble des parties. Mais si on a les entiers (donnés par exemple par 0 et un symbole pour le successeur) dans le langage, on peut développer l'arithmétique du second ordre, et donc, avec quelques axiomes, une théorie suffisante pour l'analyse réelle usuelle (on a les entiers et les ensembles d'entiers, mais pas les ensembles d'ensembles d'entiers).

Il a été démontré que la théorie ZF privée de l'axiome de l'ensemble des parties admet une interprétation dans la théorie Z privée de cet axiome[1].

En théorie des types, les sous-ensembles d'un ensemble E sont d'un type différent, plus complexe, que les éléments de E.

Notes et références

  1. V. G. Kanovei, Matematicheskie Zametki, Vol. 30, N°3, pp. 407-419, septembre 1981 ; publié en anglais par Springer aperçu en ligne

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Axiome de l'ensemble des parties de Wikipédia en français (auteurs)

Regardez d'autres dictionnaires:

  • Axiome De L'ensemble Des Parties — En mathématiques, l axiome de l ensemble des parties est l un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo Fraenkel. L axiome affirme l existence pour tout ensemble E, d un ensemble …   Wikipédia en Français

  • Ensemble Des Parties D'un Ensemble — En mathématiques, l ensemble des parties d un ensemble désigne l ensemble des sous ensembles de cet ensemble. Sommaire 1 Définition 2 Propriétés 2.1 Cardinalité …   Wikipédia en Français

  • Ensemble des parties — d un ensemble En mathématiques, l ensemble des parties d un ensemble désigne l ensemble des sous ensembles de cet ensemble. Sommaire 1 Définition 2 Propriétés 2.1 Cardinalité …   Wikipédia en Français

  • Ensemble des parties d'un ensemble — En mathématiques, l ensemble des parties d un ensemble désigne l ensemble des sous ensembles de cet ensemble. Sommaire 1 Définition 2 Propriétés 2.1 Cardinalité 2.1.1 …   Wikipédia en Français

  • Axiome De La Paire — En mathématiques, l axiome de la paire est l un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo Fraenkel. Sommaire 1 Exposition 2 Généralisation 3 Sch …   Wikipédia en Français

  • Axiome de la paire — En mathématiques, l axiome de la paire est l un des axiomes de la théorie des ensembles, plus précisément des théories des ensembles de Zermelo et de Zermelo Fraenkel. Sommaire 1 Exposition 2 Généralisation 3 Schéma de remplac …   Wikipédia en Français

  • Axiome de limitation de taille — En théorie des ensembles, plus précisément en théorie des classes, l axiome de limitation de taille a été proposé par John von Neumann dans le cadre de sa théorie des classes. Il formalise en partie le principe de limitation de taille (traduction …   Wikipédia en Français

  • Axiome De Séparation — Schéma d axiomes de compréhension Le schéma d axiomes de compréhension, ou schéma d axiomes de séparation est un schéma d axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en… …   Wikipédia en Français

  • Axiome de compréhension — Schéma d axiomes de compréhension Le schéma d axiomes de compréhension, ou schéma d axiomes de séparation est un schéma d axiomes de la théorie des ensembles introduit par Zermelo dans sa théorie des ensembles, souvent notée Z. On dit souvent en… …   Wikipédia en Français

  • Axiome de remplacement — Schéma d axiomes de remplacement Le schéma d axiomes de remplacement, ou schéma d axiomes de substitution est un schéma d axiomes de la théorie des ensembles introduit en 1922 indépendamment par Abraham Adolf Fraenkel et Thoralf Skolem. Il assure …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”