Univers de Grothendieck
Bonjour,
j'espère ne pas poser de questions trop stupides, mais j'aimerais connaître la taille des univers de Grothendieck. Quelle est la taille de ces univers par rapport aux grands cardinaux ? Y a-t-il une hiérarchie de tailles entre ces univers ?
Merci.
ignatus.
j'espère ne pas poser de questions trop stupides, mais j'aimerais connaître la taille des univers de Grothendieck. Quelle est la taille de ces univers par rapport aux grands cardinaux ? Y a-t-il une hiérarchie de tailles entre ces univers ?
Merci.
ignatus.
Connectez-vous ou Inscrivez-vous pour répondre.
Réponses
Il est facile de démontrer par récurrence transfinie qu'un univers de Grothendieck est nécessairement de la forme $V_{\kappa}$ avec $\kappa=0$, $\kappa = \omega$ ou $\kappa$ cardinal (fortement) inaccessible.
L'axiome des univers de Grothendieck dit que tout ensemble appartient à un tel univers.
Il est donc équivalent à dire qu'il existe une classe propre d'inaccessibles, ou, si tu préfères, il existe des inaccessibles arbitrairement grands : pour tout cardinal $\lambda$ il existe un inaccessible $\kappa > \lambda$.
J'essaie de regarder ce qu'est un cardinal inaccessible.
ignatus.
ignatus.