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.
Réponses
-
Un univers de Grothendieck c'est essentiellement pareil qu'un cardinal inaccessible
-
Je précise un tout petit peu.
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$. -
Merci pour vos réponses.
J'essaie de regarder ce qu'est un cardinal inaccessible.
ignatus.
Connectez-vous ou Inscrivez-vous pour répondre.
Bonjour!
Catégories
- 163.2K Toutes les catégories
- 9 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 65 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 314 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 773 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres