Axiomes des théories des ensembles/Introduction

Début de la boite de navigation du chapitre
fin de la boite de navigation du chapitre
Icon falscher Titel.svg
En raison de limitations techniques, la typographie souhaitable du titre, « Axiomes des théories des ensembles : Introduction
Axiomes des théories des ensembles/Introduction
 », n'a pu être restituée correctement ci-dessus.

Ce chapitre expose les axiomes des théories des ensembles. Plusieurs approches complémentaires sont présentées.

L’axiome d’extensionalitéModifier

L’axiome d’extensionalité est commun à toutes les théories des ensembles. En effet, si un être n’obéissait pas à cette loi, il ne pourrait pas être un ensemble. Elle peut être énoncée comme suit.


Début d'un axiome


Ou plus formellement :

 

On peut en conclure qu’un ensemble est complètement déterminé par ses éléments. C’est le cas dès que toutes les vérités atomiques d’appartenance à un ensemble sont définies.

L’approche de Zermelo, Fraenkel et SkolemModifier

Wikipédia possède un article à propos de « Théorie des ensembles de Zermelo-Fraenkel ».

Pour exclure les paradoxes de la théorie de Cantor, il faut faire comme Frege et formuler la théorie d’une façon axiomatique. Mais il faut le faire d’une façon qui exclut les ensembles problématiques tels que ceux de Russell ou de Burali-Forti.

Zermelo a proposé (1908) que tous les ensembles soient construits de façon progressive. Si l’on part de l’ensemble N des entiers positifs et si l’on adopte ensuite P(N) l’ensemble des sous-ensembles de N, P(P(N)) l’ensemble des sous-ensembles de P(N) et ainsi de suite, on obtient des ensembles assez grands pour satisfaire tous les besoins ordinaires des mathématiciens, y compris pour les théories des nombres réels et des espaces de fonctions.

Avec cette image d’un univers d’ensembles construits progressivement à partir des ensembles finis et d’ensembles infinis de base, comme celui des entiers, on peut développer une théorie axiomatique suffisante pour donner des preuves rigoureuses des grands théorèmes de Cantor, aussi rigoureuses que celles des théorèmes d’Euclide.

Les axiomes proposés initialement par Zermelo ne sont pas tout à fait suffisants pour toutes les constructions utilisées dans les preuves de Cantor. Fraenkel et Skolem ont introduit un axiome supplémentaire, l’axiome de remplacement. On appelle ZFC (Zermelo, Fraenkel, axiome du choix) la théorie ainsi définie. Son formalisme dans le cadre du calcul des prédicats au premier ordre a été développé par Skolem. Elle suffit pour démontrer tous les théorèmes de Cantor et une très large partie des mathématiques contemporaines. Elle a été adoptée par le groupe Bourbaki.

La construction des ensembles finisModifier

Wikipédia possède un article à propos de « Ensemble fini ».

La façon la plus naturelle d’introduire les ensembles consiste à supposer qu’on a des non-ensembles, qu’on peut appeler des atomes, que l’on peut rassembler afin de former des ensembles.

Pour réaliser tous les ensembles finis d’atomes, on a seulement besoin des deux règles suivantes :

  • si   est un atome alors   (Singleton de x) est un ensemble ;
  • si   et   sont des ensembles alors   est un ensemble.

En ajoutant la règle suivante, on peut construire tous les ensembles finis d’ensembles finis d’atomes, les ensembles finis d’ensembles finis d’ensembles finis et ainsi de suite.

  • si   est un ensemble alors   est un ensemble.

Habituellement on exclut les atomes de la théorie ZFC. Cela permet de se passer du prédicat unaire « est un ensemble » parce qu’alors tous les êtres sont des ensembles. L’ensemble vide et les ensembles que l’on peut construire à partir de lui suffisent pour tous les besoins. On peut alors se donner les trois axiomes suivants.


Début d'un axiome


Autrement dit,

 .


Début d'un axiome


Autrement dit,

 


Début d'un axiome


Autrement dit,

 .

Ces deux axiomes (singleton et réunion finie) peuvent être déduits d’autres axiomes qui seront introduits plus loin.

L’axiome de l’infiniModifier

Wikipédia possède un article à propos de « Ensemble infini ».

Le nombre infini des ensembles finisModifier

Les axiomes précédents permettent de prouver l’existence de tous les ensembles finis, construits à partir des atomes ou du seul ensemble vide. Les ensembles finis sont en nombre infini, comme les nombres entiers et comme les suites finies de mots.

Mais de l’existence d’un nombre infini d’ensembles finis il ne s’ensuit pas qu’il existe un ensemble infini, c’est-à-dire un ensemble qui contient plus qu’un nombre fini d’éléments. L’existence d’un tel ensemble doit être postulée par un axiome supplémentaire qu’on appelle l’axiome de l’infini. On peut lui donner plusieurs formes, différentes quant à la taille de l’ensemble infini dont on postule l’existence.

La théorie ZFC fait un choix minimaliste. L’axiome de l’infini dit qu’il existe un ensemble assez grand pour contenir des représentants de tous les nombres entiers, et c’est tout. Les autres axiomes, exposés plus loin, suffisent alors pour construire tous les autres ensembles infinis dont on a couramment besoin. D’autres axiomes de l’infini, les axiomes des très grands ensembles, peuvent être introduits ultérieurement si on le souhaite.

Les nombres entiers sont-ils des ensembles ou des expressions formelles ?Modifier

La façon la plus naturelle d’introduire les nombres entiers est de les considérer comme des atomes, des non-ensembles, qui ont une existence indépendante de celle des ensembles. Mais ZFC permet de représenter tous les nombres entiers par des ensembles. Cette représentation est fondée sur les idées de Cantor à propos de la notion de nombre et de sa généralisation aux nombres infinis. Elle enrichit beaucoup les outils conceptuels du mathématicien parce qu’elle conduit à généraliser d’une façon naturelle des théorèmes énoncés initialement à propos des seuls ensembles finis. Elle est tellement intéressante qu’elle a parfois conduit certains mathématiciens, plus cantoriens que Cantor, à voir dans la théorie des ensembles la clé de tous les mystères sur l’essence des nombres, c’est-à-dire sur notre capacité à dire des vérités générales à leur sujet. Ce point de vue est très important à bien des égards mais il ne doit pas faire oublier qu’il y a d’autres approches possibles sur la nature des nombres entiers.

Définir les nombres entiers comme des mots, des expressions formelles, a l‘inconvénient de manquer la généralisation aux nombres infinis mais présente d’autres avantages. La théorie des systèmes formels est en un sens plus fondamentale qu’une théorie générale des ensembles comme celle de Zermelo, parce qu’elle est plus élémentaire.

Au point de vue de la fiabilité des principes, les théories élémentaires sont plus fondamentales que les autres. La question si ZFC est absurde ou non est une question qui se pose vraiment. Qu’elle soit en accord avec l’intuition ne suffit pas pour prouver sa cohérence. La théorie contradictoire de Frege était en accord avec l’intuition. Pour prouver que ZFC est cohérente on a besoin de la considérer comme un système formel, un ensemble de formules. La théorie des systèmes formels est donc une théorie des ensembles plus fondamentale que ZFC.

La représentation des nombres entiers par des ensemblesModifier

On pourrait représenter 0 par l’ensemble vide, 1 par  , 2 par  , 3 par   et ainsi de suite. D’autres définitions sont possibles. La suivante est la plus avantageuse.

  est représenté par l’ensemble vide  .

  est représenté par Singleton de 0, c’est-à-dire  , l’ensemble qui contient un seul élément,  

  est représenté par  , c’est-à-dire l’ensemble qui contient deux éléments, 0 et 1 :  .

  est représenté par  , c’est-à-dire  .

De manière générale,   est représenté par   et contient   éléments,  .

De cette façon tout nombre entier   est représenté par un ensemble qui contient exactement   éléments. La théorie générale des ordinaux, exposée plus loin, montre que cette représentation est très utile pour prouver commodément les théorèmes de Cantor.

L’existence de l’ensemble N des entiers positifsModifier

Sous sa forme la plus élémentaire, l’axiome de l’infini peut être écrit comme ci-dessous.


Début d'un axiome


Autrement dit,

 .

Les autres axiomes qui vont être exposés permettent alors de prouver qu’il existe un ensemble qui contient tous les entiers positifs et seulement eux, c’est-à-dire l’ensemble N des nombres naturels.

L’axiome de la sommeModifier

L’axiome de l’existence de la réunion de deux ensembles suffit pour construire la réunion d’un nombre fini d’ensembles, mais il ne suffit pas pour construire la réunion d’un ensemble infini d’ensembles. Pour cela un axiome supplémentaire est nécessaire, l’axiome de la somme, qu’on peut aussi appeler axiome de la réunion infinie.


Début d'un axiome


Autrement dit :

 .

L’ensemble y est la réunion des éléments de x. On l’appelle aussi l’ensemble-somme de x, ou la somme de x, quand il n’y a pas d’ambiguïté.

On peut déduire l’axiome de la réunion de deux ensembles à partir de l’axiome de la somme si on introduit l’axiome de la paire.


Début d'un axiome


Autrement dit :

 .

L’axiome du singleton est une conséquence de l’axiome de la paire parce que Singleton de x égale Paire de x et x.

L’axiome de l’ensemble des sous-ensemblesModifier

Cet axiome permet de construire des grands ensembles infinis à partir de ce petit ensemble infini qu’est N. Ces nouveaux ensembles infinis sont tellement grands qu’ils sont indicibles. Nulle théorie ne peut nommer tous leurs éléments. Ils seront appelés aussi infinitaires, par contraste avec des ensembles infinis plus élémentaires, tels que N et les systèmes formels, qui seront dits finitaires.


Début d'un axiome


Autrement dit :

 

ou plus brièvement :

 .

y est aussi appelé l’ensemble P(x) des parties de x, ou l’ensemble-puissance de x, ou 2 puissance x, pour des raisons qui seront exposées plus loin.

Avec cet axiome, on peut construire P(N), P(P(N)) et ainsi de suite, en répétant cette opération un nombre fini de fois.

L’axiome de séparation de ZermeloModifier

Wikipédia possède un article à propos de « Schéma d'axiomes de compréhension ».

La plupart des ensembles sont définis comme des extensions conceptuelles, c’est-à-dire qu’ils sont définis comme des ensembles qui contiennent tous les êtres pour lesquels un prédicat est vrai. Comme l’axiome de Frege (tout concept a une extension) est contradictoire, et comme les axiomes précédents suffisent pour faire des ensembles infinis assez grands, Zermelo a réintroduit l’axiome de Frege sous une forme affaiblie, en limitant les extensions conceptuelles à des sous-ensembles d’ensembles déjà définis. Son axiome de séparation peut être énoncé plus précisément comme suit :

Pour tout ensemble x et tout concept, il existe un sous-ensemble de x qui contient tous les éléments de x pour lesquels ce concept est vrai et seulement eux.

Plus formellement, l’axiome de séparation est défini par un schéma d’axiomes, qui détermine des axiomes en nombre infini, qui sont tous des formes particulières de l’axiome de séparation.

Le schéma des axiomes de séparation

Pour tout prédicat   qui contient n+1 variables libres et qui est défini à partir des seuls prédicats fondamentaux « être dans » et « égale » et des opérateurs de la logique du premier ordre, la formule suivante est un axiome :

 .

La construction des extensions relationnellesModifier

Il semble que les axiomes de séparation, tels qu’ils viennent d’être énoncés, ne permettent de définir que les extensions des prédicats unaires et qu’ils nous laissent dépourvus pour les extensions des concepts relationnels. Une astuce formelle montre cependant que tel n’est pas le cas.

L’extension d’un concept relationnel, binaire   pour fixer les idées, peut être définie comme l’ensemble des couples (x, y) qui satisfont à la relation  . La notion de couple n’a pas été introduite mais on peut la définir de plusieurs façons à partir des constructions précédentes. Par exemple, on peut définir le couple de x et y par l’ensemble Paire de Singleton de x et Paire de x et y.

Définir Couple de x et y par Paire de x et y ne convient pas parce qu’on veut que Couple de x et y soit différent de Couple de y et x, quand x et y sont différents, pour des raisons formelles. En revanche Paire de Singleton de x et Paire de x et y convient très bien.

L’extension de la relation binaire   limitée à un ensemble x est alors définie par l’ensemble y tel que

pour tout z, z est dans y équivaut à il existe v et w tels que (z = (Couple de v et w) et z est dans x et  )

L’existence de y est garantie par un axiome de séparation de Zermelo.

La même construction peut être faite pour toutes les relations ternaires et plus. On peut définir Triplet de x, y et z par Couple de x et Couple de y et z, par exemple.

L’axiome de remplacement de FraenkelModifier

Fraenkel et Skolem se sont rendus compte que les axiomes de séparation de Zermelo ne suffisaient pas pour démontrer certains théorèmes de Cantor, mais que pour cela il suffit d’échanger le schéma d’axiomes de Zermelo contre un autre, un peu différent, qui formalise l’idée de la construction d’un ensemble par des remplacements simultanés de tous les éléments d’un ensemble déjà construit.

Plus précisément, on suppose que si   est une relation binaire fonctionnelle alors :

 .

  est appelé ensemble-image, ou image, de   par la relation  .

On peut alors formuler l'axiome de remplacement sous la forme suivante :


Début d'un axiome


  est une relation fonctionnelle veut dire ici qu’elle associe au plus un élément z à tout élément w, autrement dit, pour tout w il existe au plus un z tel que  , autrement dit encore, pour tous w, z et z’, si (  et  ) alors z = z’.

L’axiome de remplacement est formulé par un schéma d’axiomes.

Pour tout prédicat P(w, z, x1…, xn) avec n+2 variables libres (et construit avec « être dans », « = » et la logique du premier ordre) la formule suivante est un axiome :

Pour tout x1…, xn,
si pour tout w, z et z’, (si (P(w, z, x1…, xn) et P(w, z’, x1…, xn) alors z = z’)
alors pour tout x, il existe un y tel que pour tout z, (z est dans y équivaut à (il existe un w tel que (w est dans x et P(w, z, x1…, xn)).

L’axiome de séparation de Zermelo peut être déduit de l’axiome de remplacement. Pour tout prédicat P(x, x1…, xn) il suffit de considérer la relation (P(x, x1…, xn) et x = y).

L’axiome de remplacement respecte la logique de construction progressive adoptée par Zermelo. Il ne permet pas de construire les grands ensembles contradictoires comme celui de Russell parce qu’un ensemble défini par remplacement n’est jamais plus grand que l’ensemble à partir duquel il est défini.

L’axiome de remplacement peut être formulé d’une façon apparemment plus restrictive, mais en fait équivalente, en imposant à une relation fonctionnelle de toujours associer un élément et un seul (et non au plus un) à tout élément de l’ensemble de départ.

L’axiome du choixModifier

Wikipédia possède un article à propos de « Axiome du choix ».

Une reformulation de ZFC, la théorie des classes de Von Neumann, Gödel et BernaysModifier

La théorie des types de Whitehead et RussellModifier

La théorie du zig-zag interdit de QuineModifier

Le problème des définitions non-prédicativesModifier

Les ensembles finitairesModifier

Les ensembles finitaires sont définis avec des moyens élémentaires mais ils sont souvent infinis.

Les mathématiques finitaires consistent à mettre en pratique un principe de progression ontologique, commencer par ce qui est simple, évident, élémentaire, pour poursuivre sur des bases solides.

Texte déplacé ici

L’esprit des mathématiques finitaires : commencer par ce qui est simple et évidentModifier

Qu’est-ce qu’un ensemble finitaire ?Modifier

L’énumérabilité selon SmullyanModifier

Les vérités atomiques sur les ensembles énumérablesModifier

Formules initiales et règles de production pour les vérités atomiques d’appartenance aux ensembles énumérablesModifier

Les théorèmes fondamentaux de l’énumérabilité et de l’indécidabilitéModifier

Les négations des faussetés atomiques et le principe d’induction complèteModifier

Quelques négations de faussetés atomiques de baseModifier

Le schéma d’axiomes du principe d’induction complèteModifier

La négation dans les prédicats finitairesModifier

Les axiomes d’une théorie élémentaire des ensembles finitairesModifier

L’ontologie de Finitaire1Modifier

Les axiomes de Finitaire1Modifier

L’axiome d’extensionalité

Les axiomes d’existence des ensembles

Le principe d’induction complète

Autres formulations des axiomes de Finitaire1Modifier

L’incomplétude des théories finitairesModifier

L’élargissement ontologiqueModifier

Les ensembles infinitairesModifier

Le paradoxe de SkolemModifier

Les énoncés indéfinis et l’élargissement ontologiqueModifier

La théorie générale des ordinauxModifier

La classe des ensembles constructiblesModifier

L’hypothèse du continuModifier

Les très grands ensemblesModifier

L’axiome de fondation, la circularité et les hyperensemblesModifier