En mathématiques, un univers de Grothendieck est un ensemble U ayant les propriétés suivantes. : si x appartient à U et si y appartient à x, alors y appartient à U (on dit que U est un ensemble transitif) ; si x et y appartiennent à U alors {x, y} aussi ; si x appartient à U, alors l'ensemble P(x) des parties de x aussi ; si (x) est une famille d'éléments de U et si I appartient à U, alors l'union ⋃ x appartient à U.
Alexandre Grothendieck a introduit et utilisé cette idée pour éviter les classes propres en géométrie algébrique.
Les univers de Grothendieck non dénombrables fournissent des modèles de la théorie des ensembles. Dans ZFC, leur existence n'est pas démontrable, puisqu'elle équivaut à l'existence de cardinaux (fortement) inaccessibles non dénombrables.
La est une extension propre de ZFC dans laquelle tout ensemble appartient à au moins un univers de Grothendieck. Le concept d'univers de Grothendieck peut aussi être défini dans un topos..
Propriétés Toute intersection non vide d'univers est un univers.
L'intersection V des univers non vides est un ensemble dénombrable d'ensembles finis arbitrairement grands : les , définis récursivement en extension à partir de ∅, comme ∅, {∅} ou
Si U est un univers de Grothendieck, alors : toute partie d'un élément de U appartient à U ; les produits finisDéfinis à partir du codage ensembliste des couples. et les réunions finies d'éléments de U appartiennent à U ; si (x) est une famille d'éléments de U et si I appartient à U, alors le produit ∏ x et l'union disjointe ∐ x appartiennent à U ; si x est une partie de U dont le cardinal est majoré par celui d'un élément de U, alors x appartient à U ; le cardinal |x| de tout élément x de U est strictement inférieur à |U|.
Lien avec les cardinaux inaccessibles Un cardinal infini c est dit (fortement) inaccessible si c'est un cardinal limite (au sens fort : pour tout cardinal κ < c, 2 < c) et régulier.
Dans ZFC, les deux propositions indécidables suivantes sont équivalentes :
(U) Tout ensemble appartient à au moins un univers de Grothendieck. (C) Tout cardinal est strictement majoré par au moins un cardinal inaccessible.
(U) ⇒ (C). Soient κ un cardinal, U un univers auquel il appartient, et c := sup |x|. Alors, les cardinaux strictement majorés par c sont exactement les cardinaux d'éléments de U. Il en résulte que κ < c et que c est un cardinal inaccessible. (C) ⇒ (U). Soient x un ensemble, A := x et pour tout n, A := la réunion des éléments de A, puis κ un cardinal inaccessible majorant strictement le cardinal de la réunion B des A. On définit ensuite, par récursion transfinie, B pour tout ordinal α < κ, par : B = B, B = B∪P(B) et si α est un ordinal limite, B = la réunion des B pour λ < α, et l'on note U la réunion de tous ces B. On démontre alors, par induction transfinie, que tous ces B, et même tous les éléments de U, sont de cardinal < κ puis, que U est un univers.
Notes et références
Voir aussi Bibliographie
Articles connexes Univers constructible Univers (logique) Univers de von Neumann
Catégorie:Théorie des ensembles Catégorie:Théorie des catégories Catégorie:Nombre cardinal Catégorie:Alexandre Grothendieck