From Wikipedia, the free encyclopedia
- <In mathematics, a Grothendieck universe is a set with the following properties:
- If x ∈ U and if y ∈ x, then y ∈ U.
- If x,y ∈ U, then {x,y} ∈ U.
- If x ∈ U, then P(x) ∈ U. (P(x) is the power set of x.)
- 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.
To be completed.
[edit] Fields of Interest
Mathematics, Physics, Quantum Cryptography Very interested in Lost (TV series)
[edit] Articles Created
[edit] Contributions
