Definition:Grothendieck Universe

From ProofWiki
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