 Measurable cardinal

In mathematics, a measurable cardinal is a certain kind of large cardinal number.
Contents
Measurable
Formally, a measurable cardinal is an uncountable cardinal number κ such that there exists a κadditive, nontrivial, 01valued measure on the power set of κ. (Here the term κadditive means that, for any sequence A_{α}, α<λ of cardinality λ<κ, A_{α} being pairwise disjoint sets of ordinals less than κ, the measure of the union of the A_{α} equals the sum of the measures of the individual A_{α}.)
Equivalently, κ is measurable means that it is the critical point of a nontrivial elementary embedding of the universe V into a transitive class M. This equivalence is due to Jerome Keisler and Dana Scott, and uses the ultrapower construction from model theory. Since V is a proper class, a small technical problem that is not usually present when considering ultrapowers needs to be addressed, by what is now called Scott's trick.
Equivalently, κ is a measurable cardinal if and only if it is an uncountable cardinal with a κcomplete, nonprincipal ultrafilter. Again, this means that the intersection of any strictly less than κmany sets in the ultrafilter, is also in the ultrafilter.
Although it follows from ZFC that every measurable cardinal is inaccessible (and is ineffable, Ramsey, etc.), it is consistent with ZF that a measurable cardinal can be a successor cardinal. It follows from ZF + axiom of determinacy that ω_{1} is measurable, and that every subset of ω_{1} contains or is disjoint from a closed and unbounded subset.
The concept of a measurable cardinal was introduced by Stanislaw Ulam (1930), who showed that the smallest cardinal κ that admits a nontrivial countablyadditive twovalued measure must in fact admit a κadditive measure. (If there were some collection of fewer than κ measure0 subsets whose union was κ, then the induced measure on this collection would be a counterexample to the minimality of κ.) From there, one can prove (with the Axiom of Choice) that the least such cardinal must be inaccessible.
It is trivial to note that if κ admits a nontrivial κadditive measure, then κ must be regular. (By nontriviality and κadditivity, any subset of cardinality less than κ must have measure 0, and then by κadditivity again, this means that the entire set must not be a union of fewer than κ sets of cardinality less than κ.) Finally, if λ < κ, then it can't be the case that κ ≤ 2^{λ}. If this were the case, then we could identify κ with some collection of 01 sequences of length λ. For each position in the sequence, either the subset of sequences with 1 in that position or the subset with 0 in that position would have to have measure 1. The intersection of these λmany measure 1 subsets would thus also have to have measure 1, but it would contain exactly one sequence, which would contradict the nontriviality of the measure. Thus, assuming the Axiom of Choice, we can infer that κ is a strong limit cardinal, which completes the proof of its inaccessibility.
If κ is measurable and p∈V_{κ} and M (the ultrapower of V) satisfies ψ(κ,p), then the set of α<κ such that V satisfies ψ(α,p) is stationary in κ (actually a set of measure 1). In particular if ψ is a Π_{1} formula and V satisfies ψ(κ,p), then M satisfies it and thus V satisfies ψ(α,p) for a stationary set of α<κ. This property can be used to show that κ is a limit of most types of large cardinals which are weaker than measurable. Notice that the ultrafilter or measure which witnesses that κ is measurable cannot be in M since the smallest such measurable cardinal would have to have another such below it which is impossible.
Every measurable cardinal κ is a 0huge cardinal because ^{κ}M⊂M, that is, every function from κ to M is in M. Consequently, V_{κ+1}⊂M.
Realvalued measurable
A cardinal κ is called realvalued measurable if there is an atomless κadditive measure on the power set of κ. They were introduced by Stefan Banach (1930). Banach & Kuratowski (1929) showed that the continuum hypothesis implies that is not realvalued measurable. A real valued measurable cardinal less than or equal to exists if there is a countably additive extension of the Lebesgue measure to all sets of real numbers. A real valued measurable cardinal is weakly Mahlo.
Solovay (1971) showed that existence of measurable cardinals in ZFC, real valued measurable cardinals in ZFC, and measurable cardinals in ZF, are equiconsistent.
See also
References
 Banach, Stefan (1930), "Über additive Massfunktionen in absrakten Mengen", Fundamenta Mathematicae 15: 97–101, ISSN 00162736, http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=15
 Banach, Stefan; Kuratowski, C. (1929), "Sur une généralisation du probleme de la mesure", Fundamenta Mathematicae 14: 127–131, ISSN 00162736, http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=14
 Drake, F. R. (1974). Set Theory: An Introduction to Large Cardinals (Studies in Logic and the Foundations of Mathematics ; V. 76). Elsevier Science Ltd. ISBN 9780720422795.
 Kanamori, Akihiro (2003). The Higher Infinite : Large Cardinals in Set Theory from Their Beginnings (2nd ed ed.). Springer. ISBN 3540003843.
 Solovay, Robert M. (1971), "Realvalued measurable cardinals", Axiomatic set theory (Proc. Sympos. Pure Math., Vol. XIII, Part I, Univ. California, Los Angeles, Calif., 1967), Providence, R.I.: Amer. Math. Soc., pp. 397–428, MR0290961
 Ulam, Stanislaw (1930), "Zur Masstheorie in der allgemeinen Mengenlehre", Fundamenta Mathematicae 16: 140–150, ISSN 00162736, http://matwbn.icm.edu.pl/tresc.php?wyd=1&tom=16
Categories: Large cardinals
 Determinacy
 Measures (set theory)
Wikimedia Foundation. 2010.
Look at other dictionaries:
Cardinal mesurable — En mathématiques, un cardinal mesurable est un cardinal sur lequel existe une mesure définie pour tout sous ensemble ; cette propriété fait qu un tel cardinal est un grand cardinal. Sommaire 1 Définitions et propriétés de grand cardinal 2… … Wikipédia en Français
Cardinal point (optics) — For other uses, see Cardinal point (disambiguation). In Gaussian optics, the cardinal points consist of three pairs of points located on the optical axis of an ideal, rotationally symmetric, focal, optical system. For ideal systems, the basic… … Wikipedia
Large cardinal property — In the mathematical field of set theory, a large cardinal property is a certain kind of property of transfinite cardinal numbers. Cardinals with such properties are, as the name suggests, generally very large (for example, bigger than aleph zero … Wikipedia
Woodin cardinal — In set theory, a Woodin cardinal (named for W. Hugh Woodin) is a cardinal number λ such that for all : f : λ rarr; λthere exists:κ < λ with { f (β)β … Wikipedia
Strongly compact cardinal — In mathematical set theory, a strongly compact cardinal is a certain kind of large cardinal number; their existence can neither be proven nor disproven from the standard axioms of set theory.A cardinal kappa; is strongly compact if and only if… … Wikipedia
Huge cardinal — In mathematics, a cardinal number κ is called huge if there exists an elementary embedding j : V → M from V into a transitive inner model M with critical point κ and Here, αM is the class of all sequences of length α whose elements are in M … Wikipedia
List of large cardinal properties — This page is a list of some types of cardinals; it is arranged roughly in order of the consistency strength of the axiom asserting the existence of cardinals with the given property. Existence of a cardinal number κ of a given type implies the… … Wikipedia
Strong cardinal — In set theory, a strong cardinal is a type of large cardinal. It is a weakening of the notion of a supercompact cardinal. Formal definition If lambda; is any ordinal, kappa; is lambda; strong means that kappa; is a cardinal number and there… … Wikipedia
Nonmeasurable set — This page gives a general overview of the concept of non measurable sets. For a precise definition of measure, see Measure (mathematics). For various constructions of non measurable sets, see Vitali set, Hausdorff paradox, and Banach–Tarski… … Wikipedia
Universally measurable set — In mathematics, a subset A of a Polish space X is universally measurable if it is measurable with respect to every complete probability measure on X that measures all Borel subsets of X. In particular, a universally measurable set of reals is… … Wikipedia