Grothendieck universe

From Wikipedia, the free encyclopedia.

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

1. If x ∈ U and if y ∈ x, then y ∈ U.

2. If x,y ∈ U, then {x,y} ∈ U.

3. If x ∈ U, then P(x) ∈ U. (P(x) is the power set of x.)

4. If is a family of elements of U, and if I ∈U, then the union is an element of U.

A Grothendieck universe is meant to provide a set in which all of mathematics can be performed. (In fact, it provides a model for set theory.) As an example, we will prove an easy proposition.

Proposition 1.

If x ∈ U and y ⊆ x, then y ∈ U.

Proof.

y ∈ P(x) because y ⊆ x. P(x) ∈ U because x ∈ U, so y ∈ U.

It is similarly easy to prove that any Grothendieck universe U contains:

All singletons of each of its elements,
All products of all families of elements of U indexed by an element of U,
All disjoint unions of all families of elements of U indexed by an element of U,
All intersections of all families of elements of U indexed by an element of U,
All functions between any two elements of U, and
All subsets of U whose cardinal is 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.

Grothendieck universes are equivalent to strongly inaccessible cardinals. More formally, the following two axioms are equivalent:

(U) For all sets x, there exists a Grothendieck universe U such that x ∈ U.

To prove this fact, we give explicit constructions. Let κ be a strongly inaccessible cardinal. Say that a set S is strictly of type κ if for any sequence s_n ∈ ... ∈ s₀∈ 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 refer to Bourbaki's article, listed in the references.

To show that the large cardinal axiom (C) implies the universe axiom (U), choose a set x. Let x₀ = x, and for all n, let x_n = ∪x be the union of the elements ofx. Let y = ∪_nx_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 strongly inaccessible cardinal κ. κ is the cardinality of the Grothendieck universe u(κ). By (U), there is a Grothendieck universe V such that U ∈ V. Then κ < 2^κ ≤ |V|.

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 a strongly inaccessible cardinal, and for any strongly inaccessible cardinal κ, 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, the existence of universes cannot be proved from Zermelo-Fraenkel set theory either.

The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry.

[edit]

References

Bourbaki, N., Univers, appendix to Exposé I of Artin, M., Grothendieck, A., Verdier, J. L., eds., Théorie des Topos et Cohomologie Étale des Schémas (SGA 4), second edition, Springer-Verlag, Heidelberg, 1972.

Retrieved from "http://en.wikipedia.org/wiki/Grothendieck_universe"

Categories: Set theory | Category theory

Views

Personal tools

Create account / log in

Navigation

Search

Toolbox

This page was last modified 14:45, 7 October 2005.
All text is available under the terms of the GNU Free Documentation License (see Copyrights for details).
About Wikipedia
Disclaimers

Grothendieck universe

From Wikipedia, the free encyclopedia

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

1. 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.)

2. If x and y are both elements of U, then {x,y} is an element of U.

3. If x is an element of U, then P(x), the power set of x, is also an element of U.

4. If $\{x_{\alpha }\}_{{\alpha \in I}}$ is a family of elements of U, and if I is an element of U, then the union $\bigcup _{{\alpha \in I}}x_{\alpha }$ is an element of U.

Elements of a Grothendieck universe are sometimes called small sets.

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 powerset operation etc.) As an example, we will prove an easy proposition.

Proposition. If $x\in U$ and $y\subseteq x$ , then $y\in U$ .

Proof. $y\in P(x)$ because $y\subseteq x$ . $P(x)\in U$ because $x\in U$ , so $y\in U$ .

The axioms of Grothendieck universes imply that every set is an element of some Grothendieck universe.

It is similarly easy to prove that any Grothendieck universe U contains:

· All singletons of each of its elements,

· All products of all families of elements of U indexed by an element of U,

· All disjoint unions of all families of elements of U indexed by an element of U,

· All intersections of all families of elements of U indexed by an element of U,

· All functions between any two elements of U, and

· All subsets of U whose cardinal is an element of U.

The idea of universes is due to Alexander Grothendieck, who used them as a way of avoiding proper classes in algebraic geometry.

The concept of a Grothendieck universe can be defined in a topos. ^[1]

Grothendieck universes and inaccessible cardinals[edit]

There are two simple examples of Grothendieck universes:

· The empty set, and

· The set of all hereditarily finite sets $V_{\omega }$ .

Other examples are more difficult to construct. Loosely speaking, this is because Grothendieck universes are equivalent tostrongly 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.

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

${\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 Uindexed 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 thanc(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 (we may take for example U to be the set of all finite sets of finite sets etc. of the sets x_α where the index α is any real number, and x_α = {x_α} for each α. Then U has the cardinality of the continuum, but all of its members have finite cardinality and so ${\mathbf {c}}(U)=\aleph _{0}$ ; see Bourbaki's article for more details).

Let κ be a strongly inaccessible cardinal. Say that a set S is strictly of type κ if for any sequence s_n ∈ ... ∈ s₀ ∈ S, |s_n| < κ. (Sitself 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 Bourbaki's article, listed in the references.

To show that the large cardinal axiom (C) implies the universe axiom (U), choose a set x. Let x₀ = x, and for each n, let x_n+1 = $\bigcup$ x_n be the union of the elements of x_n. Let y = $\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, $\aleph _{0}$ , or a strongly inaccessible cardinal. And if κ is zero, $\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_{\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.

References[edit]

1. Jump up^ Streicher, Thomas (2006). "Universe in a Topos". From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Clarendon Press. pp. 78––90. ISBN 9780198566519.

Bourbaki, Nicolas (1972). "Univers". In Michael Artin, Alexandre Grothendieck, Jean-Louis Verdier, eds. Séminaire de Géométrie Algébrique du Bois Marie - 1963-64 - Théorie des topos et cohomologie étale des schémas - (SGA 4) - vol. 1 (Lecture notes in mathematics 269) (in French). Berlin; New York: Springer-Verlag. pp. 185–217.

Categories:

· Set-theoretic universes

· Category theory

· Large cardinals

· Edit links

· This page was last modified on 10 February 2014 at 21:16.

· Text is available under the Creative Commons Attribution-ShareAlike License; additional terms may apply. By using this site, you agree to the Terms of Useand Privacy Policy.
Wikipedia® is a registered t

孟山都騙你

2017年11月26日星期日

Grothendieck universe

Grothendieck universe

Grothendieck universes and inaccessible cardinals[edit]

See also[edit]

References[edit]

沒有留言:

張貼留言

局部激發在一個垂直振動顆粒層

檢舉濫用情形

標籤

2017年11月26日 星期日

Grothendieck universe

Grothendieck universe

Grothendieck universes and inaccessible cardinals[edit]

See also[edit]

References[edit]

沒有留言:

張貼留言

局部激發在一個垂直振動顆粒層

2017年11月26日星期日