ⓘ Grothendieck universe. In mathematics, a Grothendieck universe is a set U with the following properties: If x is an element of U, then P x, the power set of x, ..

                                     

ⓘ Grothendieck universe

In mathematics, a Grothendieck universe is a set U with the following properties:

  • If x is an element of U, then P x, the power set of x, is also an element of U.
  • If { x α } α ∈ I {\displaystyle \{x_{\alpha }\}_{\alpha \in I}} is a family of elements of U, and if I is an element of U, then the union ⋃ α ∈ I x α {\displaystyle \bigcup _{\alpha \in I}x_{\alpha }} is an element of U.
  • If x is an element of U and if y is an element of x, then y is also an element of U. U is a transitive set.
  • If x and y are both elements of U, then { x, y } {\displaystyle \{x,y\}} is an element of U.

A Grothendieck universe is meant to provide a set in which all of mathematics can be performed. 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.

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 a topos.

                                     

1. 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 Px} because y ⊆ x {\displaystyle y\subseteq x}. P x ∈ U {\displaystyle Px\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 contains:

  • All disjoint unions of all families of elements of U indexed by an element of U,
  • All subsets of U whose cardinal is an element of U.
  • All functions between any two elements of U, and
  • All intersections of all families of elements of U indexed by an element of U,
  • All singletons of each of its elements,
  • All products of all families of elements of U indexed by an element of U,

In particular, it follows from the last axiom that if 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 class of universes is a universe.

                                     

2. Grothendieck universes and inaccessible cardinals

There are two simple examples of Grothendieck universes:

  • The empty set, and
  • The set of all hereditarily finite sets V ω {\displaystyle V_{\omega }}.

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:

U For each set x, there exists a Grothendieck universe U such that x ∈ U. C For each cardinal κ, there is a strongly inaccessible cardinal λ that is strictly larger than κ.

To prove this fact, we introduce the function c U. Define:

c U = sup x ∈ U | x | {\displaystyle \mathbf {c} U=\sup _{x\in U}|x|}

where by | x | we mean the cardinality of x. Then for any universe U, c U is either zero or strongly inaccessible. Assuming it is non-zero, it is a strong limit cardinal because the power set of any element of U is an element of U and every element of U is a subset of U. To see that it is regular, suppose that c λ is a collection of cardinals indexed by I, where the cardinality of I and of each c λ is less than c U. Then, by the definition of c U, I and each c λ can be replaced by an element of U. The union of elements of U indexed by an element of U is an element of U, so the sum of the c λ has the cardinality of an element of U, hence is less than c U. By invoking the axiom of foundation, that no set is contained in itself, it can be shown that c U equals | U |; when the axiom of foundation is not assumed, there are counterexamples = ℵ 0 {\displaystyle \mathbf {c} U=\aleph _{0}} ; see Bourbakis article for more details).

Let κ be a strongly inaccessible cardinal. Say that a set is strictly of type κ if for any sequence s n ∈. ∈ s 0 ∈ S, | s n | < κ. S itself corresponds to the empty sequence. Then the set u κ of all sets strictly of type κ is a Grothendieck universe of cardinality κ. The proof of this fact is long, so for details, we again refer to Bourbakis article, listed in the references.

To show that the large cardinal axiom C implies the universe axiom U, choose a set x. Let x 0 = x, and for each n, let x n +1 = ⋃ {\displaystyle \bigcup } x n be the union of the elements of x n. Let y = ⋃ n {\displaystyle \bigcup _{n}} x n. By C, there is a strongly inaccessible cardinal κ such that |y| < κ. Let u κ be the universe of the previous paragraph. x is strictly of type κ, so x ∈ u κ. To show that the universe axiom U implies the large cardinal axiom C, choose a cardinal κ. κ is a set, so it is an element of a Grothendieck universe U. The cardinality of U is strongly inaccessible and strictly larger than that of κ.

In fact, any Grothendieck universe is of the form u κ for some κ. This gives another form of the equivalence between Grothendieck universes and strongly inaccessible cardinals:

For any Grothendieck universe U, | U | is either zero, ℵ 0 {\displaystyle \aleph _{0}}, or a strongly inaccessible cardinal. And if κ is zero, ℵ 0 {\displaystyle \aleph _{0}}, or a strongly inaccessible cardinal, then there is a Grothendieck universe uκ. Furthermore, u | U | = U, and | u κ| = κ.

Since the existence of strongly inaccessible cardinals cannot be proved from the axioms of Zermelo–Fraenkel set theory ZFC, the existence of universes other than the empty set and V ω {\displaystyle V_{\omega }} cannot be proved from ZFC either. However, strongly inaccessible cardinals are on the lower end of the list of large cardinals; thus, most set theories that use large cardinals such as "ZFC plus there is a measurable cardinal", "ZFC plus there are infinitely many Woodin cardinals" will prove that Grothendieck universes exist.

                                     
  • inclusion of Tarski s axiom, which states that for each set there is a Grothendieck universe it belongs to see below Tarski s axiom implies the existence
  • sequence Grothendieck Teichmuller group Grothendieck Teichmuller theory Grothendieck trace formula Grothendieck topology Grothendieck universe Institut
  • contraposition to the distinguished sets that are elements of a Grothendieck universe The most popular axiomatic set theories, Zermelo Fraenkel set theory
  • Another solution is to assume the existence of Grothendieck universes Roughly speaking, a Grothendieck universe is a set which is itself a model of ZF C
  • mathematics, the term small set may refer to: Small set an element of a Grothendieck universe Small set category theory Small set combinatorics Ideal set
  • necessarily describe objects with real existence. Universe mathematics Constructible universe Grothendieck universe Inaccessible cardinal S set theory John
  • to the universe axiom of Grothendieck and Verdier: every set is contained in a Grothendieck universe The axioms of ZFC along with the universe axiom or
  • such as Grothendieck universes there exist both sets that belong to the universe called small sets and sets that do not, such as the universe itself
  • problem: One can work with Grothendieck universes a stack is then a functor between classes of some fixed Grothendieck universe so these classes and the
  • In mathematics, in set theory, the constructible universe or Godel s constructible universe denoted L, is a particular class of sets that can be described
  • is the notion of a small set i.e., one has made a choice of a Grothendieck universe Kashiwara Schapira, Corollary 2.4.3. Kashiwara Schapira, Proposition