Axiome De L'ensemble Des Parties

Axiome De L'ensemble Des Parties

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.

En itérant l'ensemble des parties sur l'ensemble des entiers naturels (voir axiome de l'infini) on arrive vite à des ensembles dont l'utilité en mathématiques n'est pas évidente. Il existe donc des théories faibles des ensembles, comme la théorie des ensembles de Kripke-Platek, qui ne comprennent pas cet axiome. En contre-partie il peut être utile d'ajouter les entiers comme éléments primitifs (ur-elements). L'entier de Von-Neumann n « vit  » en effet dans l'ensemble des parties itéré n fois à partir de l'ensemble vide.

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'ensemble d'entiers).

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

  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Axiome de l%27ensemble des parties ».

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

  • Ensemble de parties de caractère fini — En mathématiques, un ensemble de parties de caractère fini d un ensemble E est un ensemble de parties de E tel que pour toute partie A de E, on a l équivalence entre l appartenance de A à d une part et la propriété que tout sous ensemble fini de… …   Wikipédia en Français

  • Ensemble Fini — En mathématiques, un ensemble E est dit fini si et seulement s il existe un entier n et une bijection de E sur l ensemble des entiers naturels strictement plus petits que n, en particulier, si n = 0, E est l ensemble vide qui est donc bien fini.… …   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

  • Ensemble puissance — 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

  • Axiome (Mathématiques Élémentaires) — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

  • Axiome (mathematiques elementaires) — Axiome Un axiome (du grec ancien αξιωμα/axioma, « considéré comme digne, convenable, évident en soi ») désigne une vérité indémontrable qui doit être admise. Pour certains philosophes grecs de l Antiquité, un axiome était une… …   Wikipédia en Français

Share the article and excerpts

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