Univers de Grothendieck

En matemàtiques, un univers de Grothendieck és un conjunt amb les següents propietats:

  1. Si és un element d' i si és un element de , llavors també és un element d' . ( és un conjunt transitiu.)
  2. Si i són elements d' , llavors és un element d' .
  3. Si és un element d' , llavors , el conjunt de les parts de , també és un element d' .
  4. Si és una família d'elements d' , i si és un element d' , llavors la unió és un element d' .

Un univers de Grothendieck té l'objectiu de proveir un conjunt on poder realitzar totes les matemàtiques. (De fet, els universos no contables de Grothendieck proporcionen models de la teoria de conjunts amb la relació de pertinença natural, l'operació del conjunt de les parts, etc). Els elements d'un univers de Grothendieck s'anomenen de vegades conjunts petits. Devem la idea dels universos a Alexander Grothendieck, qui els va utilitzar com una manera d'evitar classes pròpies en geometria algebraica.

L'existència d'un univers no trivial de Grothendieck queda fora dels axiomes habituals de Zermelo–Fraenkel per a la teoria de conjunts; en particular impliquen l'existència de cardinals fortament inaccessibles. La teoria de conjunts de Tarski–Grothendieck és un tractament axiomàtic de la teoria de conjunts, emprat en alguns sistemes de demostració automàtics, en els què cada conjunt pertany a un univers de Grothendieck. El concepte d'un univers de Grothendieck també pot ser definit en un topos.[1]

Universos de Grothendieck i cardenals inaccessiblesModifica

Hi ha dos exemples senzills d'universos de Grothendieck:

  • El conjunt buit, i
  • El conjunt de tots els conjunts finitament hereditaris  .

Altres exemples són més difícils de construir. En termes generals, això és perquè els universos de Grothendieck són equivalents als cardinals fortament inaccessibles. Més formalment, el següent dos axiomes són equivalents:

(U) Per cada conjunt  , existeix un univers de Grothendieck   tal que  .
(C) Per cada cardinal  , hi ha un cardinal fortament inaccessible   que és estrictament més gran que  .

NotesModifica

  1. Streicher, Thomas (2006). "Universes in Toposes". : 78–90, Clarendon Press 

ReferènciesModifica

Vegeu tambéModifica