Uniformization (set theory)

Uniformization (set theory)

In set theory, the axiom of uniformization, a weak form of the axiom of choice, states that if R is a subset of X imes Y, where X and Y are Polish spaces,then there is a subset f of R that is a partial function from X to Y, and whose domain (in the sense of the set of all x such that f(x) exists) equals: {xin X|exists yin Y (x,y)in R},Such a function is called a uniformizing function for R, or a uniformization of R.

To see the relationship with the axiom of choice, observe that R can be thought of as associating, to each element of X, a subset of Y. A uniformization of R then picks exactly one element from each such subset, whenever the subset is nonempty. Thus, allowing arbitrary sets "X" and "Y" (rather than just Polish spaces) would make the axiom of uniformization equivalent to AC.

A pointclass oldsymbol{Gamma} is said to have the uniformization property if every relation R in oldsymbol{Gamma} can be uniformized by a partial function in oldsymbol{Gamma}. The uniformization property is implied by the scale property, at least for adequate pointclasses.

It follows from ZFC alone that oldsymbol{Pi}^1_1 and oldsymbol{Sigma}^1_2 have the uniformization property. It follows from the existence of sufficient large cardinals that
*oldsymbol{Pi}^1_{2n+1} and oldsymbol{Sigma}^1_{2n+2} have the uniformization property for every natural number n.
*Therefore, the collection of projective sets has the uniformization property.
*Every relation in L(R) can be uniformized, but "not necessarily" by a function in L(R). In fact, L(R) does not have the uniformization property (equivalently, L(R) does not satisfy the axiom of uniformization).
**(Note: it's trivial that every relation in L(R) can be uniformized "in V", assuming V satisfies AC. The point is that every such relation can be uniformized in some transitive inner model of V in which AD holds.)

References

*


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • List of set theory topics — Logic portal Set theory portal …   Wikipedia

  • Uniformization — may refer to: * Uniformization (set theory), a mathematical concept in set theory * Uniformization theorem, a mathematical concept in Riemannian geometry …   Wikipedia

  • List of mathematics articles (U) — NOTOC U U duality U quadratic distribution U statistic UCT Mathematics Competition Ugly duckling theorem Ulam numbers Ulam spiral Ultraconnected space Ultrafilter Ultrafinitism Ultrahyperbolic wave equation Ultralimit Ultrametric space… …   Wikipedia

  • List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic …   Wikipedia

  • L(R) — In set theory, L(R) (pronounced L of R) is the smallest transitive inner model of ZF containing all the ordinals and all the reals. It can be constructed in a manner analogous to the construction of L (that is, Gödel s constructible universe), by …   Wikipedia

  • Axiom of choice — This article is about the mathematical concept. For the band named after it, see Axiom of Choice (band). In mathematics, the axiom of choice, or AC, is an axiom of set theory stating that for every family of nonempty sets there exists a family of …   Wikipedia

  • List of theorems — This is a list of theorems, by Wikipedia page. See also *list of fundamental theorems *list of lemmas *list of conjectures *list of inequalities *list of mathematical proofs *list of misnamed theorems *Existence theorem *Classification of finite… …   Wikipedia

  • Determinacy — Determined redirects here. For the 2005 heavy metal song, see Determined (song). For other uses, see Indeterminacy (disambiguation). In set theory, a branch of mathematics, determinacy is the study of under what circumstances one or the other… …   Wikipedia

  • List of axioms — This is a list of axioms as that term is understood in mathematics, by Wikipedia page. In epistemology, the word axiom is understood differently; see axiom and self evidence. Individual axioms are almost always part of a larger axiomatic… …   Wikipedia

  • Axiom of real determinacy — In mathematics, the axiom of real determinacy (abbreviated as ADR) is an axiom in set theory. It states the following::Consider infinite two person games with perfect information. Then, every game of length ω where both players choose real… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”