# measurable and real-valued measurable cardinals

Let $\kappa$ be an uncountable cardinal. Then

1. 1.

$\kappa$ is measurable if there exists a nonprincipal $\kappa$-complete ultrafilter $U$ on $\kappa$;

2. 2.

$\kappa$ is real-valued measurable if there exists a nontrivial $\kappa$-additive measure $\mu$ on $\kappa$.

If $\kappa$ is measurable, then it is real-valued measurable. This is so because the ultrafilter $U$ and its dual ideal $I$ induce a two-valued measure $\mu$ on $\kappa$ where every member of $U$ is mapped to 1 and every member of $I$ is mapped to 0. Since $U$ is $\kappa$-complete, $I$ is also $\kappa$-complete. It can then be proved that if $I_{\mu}$–the ideal of those sets whose measures are 0–is $\kappa$-complete, then $I_{\mu}$ is $\kappa$-additive.

On the converse side, if $\kappa$ is not real-valued measurable, then $\kappa\leq 2^{\aleph_{0}}$. It can be shown that if $\kappa$ is real-valued measurable, then it is regular; a further result is that $\kappa$ is weakly inaccessible. Inaccessible cardinals are in some sense ”large.”

Title measurable and real-valued measurable cardinals MeasurableAndRealvaluedMeasurableCardinals 2013-03-22 18:54:53 2013-03-22 18:54:53 yesitis (13730) yesitis (13730) 4 yesitis (13730) Definition msc 03E55