ART

In set theory, Easton's theorem is a result on the possible cardinal numbers of powersets. Easton (1970) (extending a result of Robert M. Solovay) showed via forcing that the only constraints on permissible values for 2κ when κ is a regular cardinal are

\( {\displaystyle \kappa <\operatorname {cf} (2^{\kappa })} \)

(where cf(α) is the cofinality of α) and

\( { {\displaystyle {\text{if }}\kappa <\lambda {\text{ then }}2^{\kappa }\leq 2^{\lambda }.} \)

Statement

If G is a class function whose domain consists of ordinals and whose range consists of ordinals such that

G is non-decreasing,
the cofinality of \( { \aleph_{G(\alpha)} \) is greater than \( { \aleph _{\alpha } \) for each α in the domain of G, and
\( { \aleph _{\alpha } \) is regular for each α in the domain of G,

then there is a model of ZFC such that

\( { {\displaystyle 2^{\aleph _{\alpha }}=\aleph _{G(\alpha )}} \)

for each α {\displaystyle \alpha } \alpha in the domain of G.

The proof of Easton's theorem uses forcing with a proper class of forcing conditions over a model satisfying the generalized continuum hypothesis.

The first two conditions in the theorem are necessary. Condition 1 is a well known property of cardinality, while condition 2 follows from König's theorem.

In Easton's model the powersets of singular cardinals have the smallest possible cardinality compatible with the conditions that 2κ has cofinality greater than κ and is a non-decreasing function of κ.
No extension to singular cardinals

Silver (1975) proved that a singular cardinal of uncountable cofinality cannot be the smallest cardinal for which the generalized continuum hypothesis fails. This shows that Easton's theorem cannot be extended to the class of all cardinals. The program of PCF theory gives results on the possible values of \( 2^\lambda \) for singular cardinals \( \lambda \) . PCF theory shows that the values of the continuum function on singular cardinals are strongly influenced by the values on smaller cardinals, whereas Easton's theorem shows that the values of the continuum function on regular cardinals are only weakly influenced by the values on smaller cardinals.
See also

Singular cardinal hypothesis
Aleph number
Beth number

References
Easton, W. (1970), "Powers of regular cardinals", Ann. Math. Logic, 1 (2): 139–178, doi:10.1016/0003-4843(70)90012-4
Silver, Jack (1975), "On the singular cardinals problem", Proceedings of the International Congress of Mathematicians (Vancouver, B. C., 1974), 1, Montreal, Que.: Canad. Math. Congress, pp. 265–268, MR 0429564

Undergraduate Texts in Mathematics

Graduate Texts in Mathematics

Graduate Studies in Mathematics

Mathematics Encyclopedia

World

Index

Hellenica World - Scientific Library

Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License