would imply the negation of the continuum hypothesis. 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.In mathematics, a measurable cardinal is a certain kind of large cardinal number.
Contents |
Formally, a measurable cardinal is a cardinal number κ such that there exists a κ-additive, non-trivial, 0-1-valued measure on the power set of κ. Equivalently, κ is measurable means that it is the critical point of a non-trivial 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 <κ-additive, non-principal 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, who showed that the smallest cardinal κ that admits a non-trivial countably-additive two-valued measure must in fact admit a κ-additive measure. (If there were some collection of fewer than κ measure-0 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 non-trivial κ-additive measure, then κ must be regular. (By non-triviality 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 0-1 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 non-triviality 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.
A cardinal κ is real-valued measurable means that there is an atomless κ-additive measure on the power set of κ. A real valued measurable cardinal is weakly Mahlo. Thus, existence of real valued measurable cardinals less than or equal to would imply the negation of the continuum hypothesis. 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.
Existence of measurable cardinals in ZFC, real valued measurable cardinals in ZFC, and measurable cardinals in ZF, are equiconsistent.