# Definition:Grothendieck Universe

Jump to navigation
Jump to search

## Definition

A **Grothendieck universe** is a set (not a class) which has the properties expected of the universe $\mathbb U$ of sets in the sense of the Zermelo-Fraenkel axioms with the following properties:

- $(1): \quad \mathbb U$ is a transitive set: if $u \in \mathbb U$ and $x \in u$ then $x \in \mathbb U$

- $(2): \quad$ If $ u, v \in \mathbb U$ then $\set {u, v} \in \mathbb U$

- $(3): \quad$ If $u \in \mathbb U$ then the power set $\powerset u \in \mathbb U$

- $(4): \quad$ If $A \in \mathbb U$, and $\set {u_\alpha: \alpha \in A}$ is a collection of elements of $\mathbb U$, then $\displaystyle \bigcup_{\alpha \mathop \in A} u_\alpha \in \mathbb U$

## Justification

A **Grothendieck universe** allows us to work with something "like" the collection of all sets without having to consider classes, which helped Grothendieck in his studies of algebraic geometry.

One can check that if $u, v \in \mathbb U$ and $f: u \to v$ is a mapping, then $f \in \mathbb U$, and similarly the Cartesian product $u \times v \in \mathbb U$, etc. In other words, it is closed under the algebra of sets.

## Source of Name

This entry was named for Alexander Grothendieck.

## Sources

- 1972: Nicolas Bourbaki:
*Séminaire de Géométrie Algébrique du Bois Marie*(SGA4, vol. 1): Appendix $\S \text{II}$