In set theory, a Grothendieck universe is a set U {\displaystyle U} with the following properties:
If x {\displaystyle x} is an element of U {\displaystyle U} and if y {\displaystyle y} is an element of x {\displaystyle x} , then y {\displaystyle y} is also an element of U {\displaystyle U} . ( U {\displaystyle U} is a transitive set.) If x {\displaystyle x} and y {\displaystyle y} are both elements of U {\displaystyle U} , then { x , y } {\displaystyle \{x,y\}} is an element of U {\displaystyle U} . If x {\displaystyle x} is an element of U {\displaystyle U} , then P ( x ) {\displaystyle {\mathcal {P}}(x)} , the power set of x {\displaystyle x} , is also an element of U {\displaystyle U} . If { x α } α ∈ I {\displaystyle \{x_{\alpha }\}_{\alpha \in I}} is a family of elements of U {\displaystyle U} , and if I is an element of U {\displaystyle U} , then the union ⋃ α ∈ I x α {\textstyle \bigcup _{\alpha \in I}x_{\alpha }} is an element of U {\displaystyle U} . A Grothendieck universe is meant to provide a set in which all of mathematics can be performed. In fact, uncountable Grothendieck universes provide models of set theory with the natural ∈-relation, natural power set operation, etc. Elements of a Grothendieck universe are sometimes called small sets. The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry. Grothendieck’s original proposal was to add the following axiom of universes to the usual axioms of set theory: For every set s {\displaystyle s} , there exists a universe U {\displaystyle U} that contains s {\displaystyle s} , i.e., s ∈ U {\displaystyle s\in U} . The existence of a nontrivial Grothendieck universe goes beyond the usual axioms of Zermelo–Fraenkel set theory; in particular it would imply the existence of strongly inaccessible cardinals. Tarski–Grothendieck set theory is an axiomatic treatment of set theory, used in some automatic proof systems, in which every set belongs to a Grothendieck universe. The concept of a Grothendieck universe can also be defined in an elementary topos.
Properties As an example, we will prove an easy proposition.
Proposition. If x ∈ U {\displaystyle x\in U} and y ⊆ x {\displaystyle y\subseteq x} , then y ∈ U {\displaystyle y\in U} . Proof. y ∈ P ( x ) {\displaystyle y\in P(x)} because y ⊆ x {\displaystyle y\subseteq x} . P ( x ) ∈ U {\displaystyle P(x)\in U} because x ∈ U {\displaystyle x\in U} , so y ∈ U {\displaystyle y\in U} . It is similarly easy to prove that any Grothendieck universe U {\displaystyle U} contains:
All singletons of each of its elements, All products of all families of elements of U {\displaystyle U} indexed by an element of U {\displaystyle U} , All disjoint unions of all families of elements of U {\displaystyle U} indexed by an element of U {\displaystyle U} , All intersections of all nonempty families of elements of U {\displaystyle U} indexed by an element of U {\displaystyle U} , All functions between any two elements of U {\displaystyle U} , and All subsets of U {\displaystyle U} whose cardinality is an element of U {\displaystyle U} . In particular, it follows from the last axiom that if U {\displaystyle U} is non-empty, it must contain all of its finite subsets and a subset of each finite cardinality. One can also prove immediately from the definitions that the intersection of any nonempty class of universes is a universe.
Grothendieck universes and inaccessible cardinals There are two simple examples of Grothendieck universes: the empty set and the set of all hereditarily finite sets. Other examples are more difficult to construct. Loosely speaking, this is because Grothendieck universes are equivalent to strongly inaccessible cardinals. More formally, the following two axioms are equivalent:
… excerpt ends here. Continue reading the full article.
