Voir la source de Cardinal inaccessible

En [[mathématiques]], et plus précisément en [[théorie des ensembles]], un '''cardinal inaccessible''' est un [[nombre cardinal|cardinal]] ne pouvant être construit à partir de cardinaux plus petits à l'aide des axiomes de [[ZFC]] ; cette propriété fait qu'un cardinal inaccessible est un [[grand cardinal]].
== Définitions ==

Un cardinal [[infini]] ℵ{{ind|α}} est :
* soit [[ℵ₀]] si α = 0 ;
* soit [[Cardinal limite|limite]] (au sens faible) si α est un [[ordinal limite]] ;
* soit successeur de ℵ{{ind|β}} si [[Ordinal successeur|α = β + 1]].

On dit qu'un ordinal α est [[Cofinalité|cofinal]] avec un ordinal β inférieur si β a le [[type d'ordre]] d'une [[Ensemble ordonné filtrant|partie cofinale]] de α, c'est-à-dire s'il existe une application strictement croissante ''f'' de β dans α tel que α soit la limite de ''f'' au sens suivant : <math>\forall \gamma \in \alpha, \exists \delta \in \beta, \gamma \le f(\delta)</math>.

On dit qu'un cardinal est [[Cardinal régulier|régulier]] s'il n'est cofinal avec aucun cardinal strictement plus petit, et qu'il est '''singulier''' dans le cas contraire. Tout cardinal infini singulier est limite.

On dit qu'un cardinal infini ℵ{{ind|α}}, non dénombrable<ref>Certains auteurs suppriment cette restriction, et considèrent alors que ℵ₀ est inaccessible.</ref>, est '''faiblement inaccessible''' s'il est régulier et limite (au sens faible ci-dessus) et qu'il est '''fortement inaccessible''' (ou simplement '''inaccessible''') s'il est régulier et limite au sens plus fort suivant : <math>\mathrm{card}(x) < \aleph_{\alpha} \Rightarrow 2^{\mathrm{card}(x)} < \aleph_{\alpha}</math>. Si l'on admet l'[[Hypothèse du continu#Hypothèse généralisée du continu et axiome du choix|hypothèse généralisée du continu]]<ref> On sait ([[Paul Cohen|Cohen]], 1963) qu'elle est [[Décidabilité#Décidabilité, indécidabilité d'un énoncé dans un système logique|indécidable]] dans [[ZFC]].</ref>, les deux notions se confondent.

== Modèles et cohérence ==
=== Cardinaux fortement inaccessibles ===
On construit dans [[ZFC|ZF]] la [[Univers de von Neumann|hiérarchie cumulative de von Neumann]], ''V''<sub>α</sub>, α étant un ordinal<ref>''V''<sub>α</sub> est l'ensemble obtenu par récurrence transfinie jusqu'à α en prenant les ensembles fabriqués par réunion des ensembles des parties des ensembles déjà construits.</ref>, qui est une hiérarchie de tous les ensembles bien fondés, et donc de tous les ensembles en présence de l'[[axiome de fondation]]. En particulier ''V''<sub>α</sub> contient tous les ordinaux strictement inférieurs à α.

On montre alors dans ZF que, si κ est (fortement) inaccessible — on dira juste inaccessible dans la suite — l'ensemble ''V''<sub>κ</sub>, muni de l'appartenance restreinte à ''V''<sub>κ</sub> est un [[théorie des modèles|modèle]] de ZF. On peut ajouter l'axiome du choix : dans ZFC, on montre que ''V''<sub>κ</sub> est un modèle de ZFC. On a besoin de la régularité de κ pour démontrer le [[schéma d'axiomes de remplacement]]<ref>Voir par exemple {{Harvsp|Cori-Lascar II|loc=ch. 7}}, {{Harvsp|Krivine|loc=ch. 3}}…</ref> (on peut sans régularité, dans le cas des {{Lien|langue=en|trad=Worldly_cardinal|texte=cardinaux mondains}} singuliers κ, dont toute suite cofinale d'éléments n'est pas définissable au premier ordre dans ''V''<sub>κ</sub>, et ne contredit donc pas le schéma de remplacement).

On déduit de ce résultat que tout modèle ''U'' de ZFC (ou univers), ou bien ne contient pas de cardinaux inaccessibles, ou bien en contient et dans ce cas en contient un plus petit, qu'on note κ ; ''V''<sub>κ</sub> muni de l'appartenance de l'univers ''U'' restreinte à ''V''<sub>κ</sub>, qu'on note ∈<sub>''V''<sub>κ</sub></sub>, est alors un modèle de ZFC. De ce fait les cardinaux de (''V''<sub>κ</sub>, ∈<sub>''V''<sub>κ</sub></sub>) en tant que modèle de ZFC sont les cardinaux de ''U'' qui appartiennent à ''V''<sub>κ</sub>, c'est-à-dire les cardinaux de ''U'' strictement inférieur à κ. Il est par ailleurs facile de vérifier que les cardinaux inaccessibles dans (''V''<sub>κ</sub>, ∈<sub>''V''<sub>κ</sub></sub>) le seraient encore dans ''U'', et donc que (''V''<sub>κ</sub>, ∈<sub>''V''<sub>κ</sub></sub>) ne contient pas de cardinal inaccessible. D'où le résultat suivant.

'''Théorème. —''' Dans ZFC (avec axiome de fondation), supposée cohérente, on ne peut pas démontrer l'existence d'un cardinal inaccessible, c'est-à-dire que, si la théorie ZFC est cohérente, alors la théorie ZFC + « Il n'existe pas de cardinal inaccessible » est cohérente.

Cependant on a un résultat plus fort que la simple non démontrabilité de l'existence d'un cardinal inaccessible. En effet l'existence d'un cardinal inaccessible permet de démontrer l'existence d'un modèle de ZFC, c'est-à-dire la cohérence de cette théorie. Le second [[théorème d'incomplétude de Gödel]] permet d'en déduire le théorème précédent d'une façon plus détournée, mais également un résultat plus précis. Ainsi, dans la théorie ZFC + « il existe un cardinal inaccessible », on démontre des énoncés arithmétiques (comme la cohérence de la théorie ZFC exprimée en utilisant la démontrabilité) qui ne sont pas démontrables dans ZFC<ref>{{Harvsp|Krivine|loc=chap. 9}}.</ref>. A contrario, si on ajoute à ZFC l'[[hypothèse du continu]], qui n'est pas non plus démontrable dans ZFC<ref>Un résultat dont la démonstration, due à [[Paul Cohen]], utilise le [[forcing]].</ref>, on démontre les mêmes énoncés arithmétiques que dans ZFC<ref>{{Harvsp|Krivine|loc=chap. 8}}.</ref>.

On déduit également du second théorème d'incomplétude que la cohérence de la théorie ZFC + « il existe un cardinal inaccessible » n'est pas conséquence de la cohérence de la théorie ZFC, puisque sinon la théorie ZFC + « ZFC est cohérente » démontrerait sa propre cohérence. La théorie ZFC + « il existe un cardinal inaccessible » est en ce sens « plus forte » que la théorie ZFC<ref>Une autre différence avec l'hypothèse du continu, la cohérence de la théorie ZFC + hypothèse du continu est, elle, conséquence de la cohérence de la théorie ZFC, résultat dû à Gödel et utilisant les constructibles.</ref>.

Remarques :
* (''V''<sub>κ</sub>, ∈<sub>''V''<sub>κ</sub></sub>) peut être modèle de ZFC sans que l'ordinal κ soit un cardinal inaccessible, comme on le déduit des caractérisations de l'inaccessibilité en termes de modèles vues plus loin.
* si κ est un cardinal inaccessible d'un univers ''U'', les [[classe (mathématiques)|classes]] de (''V''<sub>κ</sub>, ∈<sub>''V''<sub>κ</sub></sub>) sont, dans ''U'', les parties de ''V''<sub>κ</sub> définissables par des formules avec paramètres dans ''V''<sub>κ</sub> et dont les quantificateurs sont restreints à ''V''<sub>κ</sub>. L'ensemble de ces parties est donc un modèle de la [[Théorie des ensembles de von Neumann-Bernays-Gödel|théorie des classes de von-Neumann-Bernays-Gödel]].
* Pour des raisons analogues ''V''<sub>κ+1</sub> est un modèle de la [[Théorie des ensembles de Morse-Kelley|théorie des classes de Morse-Kelley]]. La cohérence de cette théorie (et celle de la théorie précédente) se démontrent donc dans la théorie ZFC + « il existe un cardinal inaccessible ».

=== Cardinaux faiblement inaccessibles ===
On obtient essentiellement les mêmes résultats pour les cardinaux faiblement inaccessibles que pour les cardinaux inaccessibles : l'existence d'un cardinal faiblement inaccessible n'est pas démontrable et la cohérence de ZFC + « il n'existe pas de cardinal faiblement inaccessible » se déduit de la cohérence de ZFC, qui elle-même se démontre dans la théorie ZFC + « il existe un cardinal faiblement inaccessible ».

Cependant, si les démonstrations suivent la même ligne, elles reposent sur les propriétés beaucoup plus délicates à établir d'une autre construction, la hiérarchie des ensembles constructibles (L<sub>α</sub>), définie inductivement pour tout ordinal α, et que [[Gödel]] a utilisé pour démontrer la cohérence de l'[[hypothèse du continu]], mais aussi de l'hypothèse généralisée du continu (HGC dans la suite) et de l'[[axiome du choix]], relativement à ZF<ref>Voir [[Univers constructible]] et par exemple {{Harvsp|Krivine|loc=ch. 8}} ou {{Harvsp|Kunen|1980|loc=ch. VI}}.</ref>.

La définition de la hiérarchie des L<sub>α</sub> diffère de celle des V<sub>α</sub> pour α successeur : L<sub>α+1</sub> est l'ensemble des sous-ensembles définissables de L<sub>α</sub> avec paramètres dans L<sub>α</sub>. La réunion (au sens intuitif) des L<sub>α</sub> est la classe L, qui, munie de la restriction de la [[Appartenance (mathématiques)|relation d'appartenance]] à L, définit un modèle de ZFC + HGC dans tout univers de ZF. Dans un tel modèle, comme il satisfait HGC, un cardinal faiblement inaccessible est inaccessible. On vérifie que L conserve les mêmes ordinaux, et que les cardinaux faiblement inaccessibles de l'univers le sont encore pour le sous-univers défini par L. Si κ est un cardinal faiblement inaccessible, L<sub>κ</sub> définit un modèle de ZFC(+HGC)<ref>{{Harvsp|Kunen|1980|loc=Corollary 4.12, {{p.|177}}}}.</ref>.

On en déduit alors les résultats d'indépendance annoncés en début de paragraphe de la même façon qu'au paragraphe précédent.

== L'axiome des univers de Grothendieck ==

Beaucoup d'[[grand cardinal|axiomes de grands cardinaux]] se généralisent sous la forme « il existe une [[Classe (mathématiques)|classe propre]] de cardinaux ayant la propriété ''P'' », où ''P'' est une propriété de grand cardinal ; on voit aisément que cela équivaut à « pour tout cardinal α, il existe un cardinal β tel que α < β et ''P''(β) ». Dans le cas de l'inaccessibilité, l'axiome correspondant est donc « pour tout cardinal μ, il existe un cardinal inaccessible κ tel que μ < κ » ; les arguments précédents montrent qu'il s'agit là d'un axiome beaucoup plus fort que la simple existence d'un seul cardinal inaccessible. En supposant ZFC, cet axiome est équivalent à l''''axiome des univers''' de [[Grothendieck]] et [[Jean-Louis Verdier|Verdier]] : tout ensemble est contenu dans un [[univers de Grothendieck]], c'est-à-dire dans un ensemble « stable » pour les opérations ensemblistes usuelles. La théorie formée des axiomes de ZFC et de l'axiome des univers est notée ZFCU ; ce [[système axiomatique]] est utile en particulier en [[théorie des catégories]], où il permet de montrer, par exemple, que toute [[Petite catégorie|catégorie localement petite]] possède un [[lemme de Yoneda|plongement de Yoneda]]. Cet axiome reste cependant relativement faible (en tant qu'axiome de grand cardinal), puisque dans le langage de la section suivante, il revient à dire que ∞ est 1-inaccessible, où ∞ désigne le plus petit ordinal non dans ''V'', c'est-à-dire la classe de tous les ordinaux du modèle ''V'' choisi.

== Cardinaux α-inaccessibles ; cardinaux hyper-inaccessibles ==

Si α est un ordinal quelconque, un cardinal κ est dit '''α-inaccessible''' si κ est inaccessible et si pour tout ordinal β < α, l'ensemble des cardinaux β-inaccessibles inférieurs à κ n'est pas majoré dans κ, et donc de cardinal κ, puisque κ est régulier.

Les cardinaux α-inaccessibles sont des [[point fixe|points fixes]] des fonctions comptant les inaccessibles d'ordre inférieur. Par exemple, soit ψ<sub>0</sub>(λ) le λ-ième cardinal inaccessible ; alors les points fixes de ψ<sub>0</sub> sont les cardinaux 1-inaccessibles. Par [[récurrence transfinie]], soit ψ<sub>β</sub>(λ) le λ-ième cardinal β-inaccessible, alors les points fixes de ψ<sub>β</sub> sont les cardinaux (β+1)-inaccessibles (les valeurs de ψ<sub>β+1</sub>(λ)) ; si α est un ordinal limite, un cardinal α-inaccessible est un point fixe de chaque ψ<sub>β</sub> pour β < α (la valeur ψ<sub>α</sub>(λ) étant le λ-ième cardinal ayant cette propriété).

On voit facilement que l'axiome des univers implique l'existence d'ordinaux α tels qu'il y ait α ordinaux inaccessibles plus petits (mais ils ne sont pas forcément inaccessibles eux-mêmes, et donc, d'après la définition, pas forcément 1-inaccessibles) ; en effet la fonction φ<sub>0</sub> donnant le plus petit ordinal α = φ<sub>0</sub>(β) tel qu'il y ait β ordinaux inaccessibles < α est {{Lien|langue=en|trad=Normal function|fr=fonction normale|texte=normale}} (contrairement à ψ<sub>0</sub>), et satisfait donc au {{Lien|langue=en|trad=Fixed-point_lemma_for_normal_functions|fr=Lemme du point fixe (fonction normale)|texte=théorème du point fixe}} (pour les ordinaux). En revanche, l'existence d'un ordinal 1-inaccessible est strictement plus forte que l'axiome des univers, comme on l'a vu à la section précédente : si α est le plus petit ordinal 1-inaccessible, ''V''<sub>α</sub> est un modèle de ZFCU ne contenant pas de cardinaux 1-inaccessibles. Plus généralement, le même argument montre que si α < β, l'axiome affirmant l'existence d'un cardinal β-inaccessible est strictement plus fort que l'axiome affirmant l'existence d'une classe propre d'ordinaux α-inaccessibles (voir à ce sujet [[Grand cardinal#Hiérarchie de cohérence relative|la hiérarchie de cohérence relative]] des axiomes de grands cardinaux).

Un cardinal κ est dit '''hyper-inaccessible''' si κ est κ-inaccessible (il ne peut bien sûr pas être κ+1-inaccessible). Comme précédemment, pour tout ordinal α, on dit qu'un cardinal κ est '''α-hyper-inaccessible''' si κ est hyper-inaccessible et si pour tout β < α, l'ensemble des β-hyper-inaccessibles inférieurs à κ n'est pas majoré dans κ. Généralisant ces constructions à la notion d'hyper-hyper-inaccessible (les cardinaux κ qui sont κ-hyper-inaccessibles), puis d'α-hyper-hyper-inaccessible, etc., on aboutit aux cardinaux richement inaccessibles<ref>{{Lien web |langue=En |titre=set theory - Mahlo cardinal and hyper k-inaccessible cardinal |url=https://mathoverflow.net/questions/224247/mahlo-cardinal-and-hyper-k-inaccessible-cardinal |site=MathOverflow |consulté le=2021-01-26}}</ref>, lesquels sont les cardinaux κ qui sont hyper<sup>κ</sup>-inaccessibles (une propriété légèrement plus faible que celle qui définit les {{Lien|trad=Mahlo cardinal|fr=cardinal Mahlo|texte=cardinaux Mahlo}}).

== Deux caractérisations de l'inaccessibilité à l'aide de la théorie des modèles ==

D'une part, un cardinal κ est inaccessible si et seulement si κ a la {{Lien|langue=en|trad=Reflection principle|fr=propriété réflexive}} suivante : pour tous les sous-ensembles U ⊂ V<sub>κ</sub>, il existe α < κ tel que <math>(V_\alpha,\in,U\cap V_\alpha)</math> est une [[équivalence élémentaire|sous-structure élémentaire]] de <math>(V_\kappa,\in,U)</math> (en fait, l'ensemble de ces α est [[Ensemble club|fermé et non majoré]] dans κ). Cela équivaut à dire que κ est <math>\Pi_n^0</math>-{{Lien|langue=en|trad=Totally indescribable cardinal|fr=Totally indescribable cardinal|texte=indescriptible}} pour tous les n ≥ 0.

On peut démontrer dans ZF que ∞ satisfait une propriété réflexive un peu plus faible, pour laquelle la sous-structure (V<sub>α</sub>, ∈, U ∩ V<sub>α</sub>) n'est exigée « élémentaire » que par rapport à un sous-ensemble fini de formules. La raison ultime de cet affaiblissement est qu'alors que la relation de satisfiabilité <math>\models</math> (au sens de la théorie des modèles) peut être définie, la notion de vérité elle-même ne peut l'être, à cause du [[théorème de Tarski]].

D'autre part, ZFC permet de montrer que κ est inaccessible si et seulement si (V<sub>κ</sub>, ∈) est un modèle de ZFC au sens de la [[logique d'ordre supérieur|logique du second ordre]]. Alors, d'après la propriété de réflexivité précédente, il existe α < κ tel que (V<sub>α</sub>, ∈) est un modèle standard de ZFC (considéré comme une théorie du premier ordre). Ainsi, l'existence d'un cardinal inaccessible est une hypothèse plus forte que celle de l'existence d'un modèle standard de ZFC.

== Notes ==
{{Références}}

== Références ==
{{Traduction/Référence|en|Inaccessible cardinal|332024560}}
* {{Cori-Lascar II}}, chapitre 7{{Commentaire biblio SRL|Pour une introduction, hiérarchie de von Neumann, cardinaux fortement inaccessibles.}}
* {{Ouvrage|langue=en|auteur1=F. R. Drake|titre=Set Theory|sous-titre=An Introduction to Large Cardinals|éditeur=Elsevier Science|collection=Studies in Logic and the Foundations of Mathematics|lieu=Amsterdam|numéro dans collection=76|année=1974|pages totales=351|isbn=978-0-444-10535-6}}
* {{Ouvrage|langue=en|auteur1=[[Akihiro Kanamori]]|titre=The Higher Infinite|sous-titre=Large Cardinals in Set Theory from Their Beginnings|éditeur=Springer|lieu=Berlin|année=2003|numéro d'édition=2|pages totales=536|isbn=978-3-540-00384-7|lire en ligne=https://books.google.com/books?id=AnycshOBAqIC&printsec=frontcover}}
* {{Ouvrage|langue=en|auteur1=[[Kenneth Kunen]]|titre=Set Theory|sous-titre=An Introduction to Independence Proofs|éditeur=North-Holland|lieu=Amsterdam/New York/Oxford|année=1980|pages totales=313|isbn=0-444-85401-0}}
* {{Krivine98}}
* {{article|auteur=[[Felix Hausdorff]]| titre=Grundzüge einer Theorie der geordneten Mengen | doi=10.1007/BF01451165 | lang=de | année=1908 | journal=[[Mathematische Annalen]]| volume=65 | numéro=4 | pages=435–505}}
* {{article|auteur=[[Wacław Sierpiński]]|auteur2=[[Alfred Tarski]]| titre=Sur une propriété caractéristique des nombres inaccessibles | url=http://matwbn.icm.edu.pl/ksiazki/fm/fm15/fm15129.pdf| année=1930 | journal=[[Fundamenta Mathematicae]] | issn=0016-2736 | volume=15 | pages=292–300}}
* {{article|auteur=[[Ernst Zermelo]]|titre= Über Grenzzahlen und Mengenbereiche | url=http://matwbn.icm.edu.pl/ksiazki/fm/fm16/fm1615.pdf| lang=de | année=1930 | journal=[[Fundamenta Mathematicae]]| volume=16 | pages=29-47}}

== Voir aussi ==
[[Grand cardinal]]

{{portail|mathématiques}}

[[Catégorie:Nombre cardinal]]