Math Fun Facts!
hosted by the Harvey Mudd College Math Department created, authored and ©1999-2010 by Francis Su
Subscribe to our RSS feed   or follow us on Twitter.
Get a random Fun Fact!
or
No subject limitations
Search only in selected subjects
    Algebra
    Calculus or Analysis
    Combinatorics
    Geometry
    Number Theory
    Probability
    Topology
    Other subjects
  Select Difficulty  
Enter keywords 

  The Math Fun Facts App!
 
  List All : List Recent : List Popular
  About Math Fun Facts / How to Use
  Contributors / Fun Facts Home
© 1999-2010 by Francis Edward Su
All rights reserved.

From the Fun Fact files, here is a Fun Fact at the Advanced level:

Continuum Hypothesis

We have seen in the Fun Fact Cantor Diagonalization that the real numbers (the "continuum") cannot be placed in 1-1 correspondence with the rational numbers. So they form an infinite set of a different "size" than the rationals, which are countable. It is not hard to show that the set of all subsets (called the power set) of the rationals has the same "size" as the reals.

But is there a "size" of infinity between the rationals and the reals? Cantor conjectured that the answer is no. This came to be known as the Continuum Hypothesis.

Many people tried to answer this question in the early part of this century. But the question turns out to be PROVABLY undecidable! In other words, the statement is indepedent of the usual axioms of set theory! It is possible to prove that adding the Continuum Hypothesis or its negation would not cause a contradiction.

So, you can take either the Continuum Hypothesis or its negation to be true, and it would not affect the truth of other statements in mathematics!

Presentation Suggestions:
Students will find it amazing that statements that seem to have an answer may in fact be taken to be either true or false, depending on the model of the real numbers that you use!

The Math Behind the Fact:
This is deep set theory. K. Godel and later, P. Cohen showed the independence of the Continuum Hypothesis from the Zermelo-Fraenkel Axioms of Set Theory. The "size" of a set is called its cardinality.

How to Cite this Page:
Su, Francis E., et al. "Continuum Hypothesis." Math Fun Facts. <http://www.math.hmc.edu/funfacts>.

References:
    any modern text on logic

Keywords:    logic, uncountable sets
Subjects:    combinatorics, other
Level:    Advanced
Fun Fact suggested by:   Brad Mann
Suggestions? Use this form.
3.75
 
current
rating
Click to rate this Fun Fact...
    *   Awesome! I totally dig it!
    *   Fun enough to tell a friend!
    *   Mildly interesting
    *   Not really noteworthy
and see the most popular Facts!
New: get the MathFeed iPhone App!

Brings you news and views on math:
showcasing its power, beauty, and humanity

Want another Math Fun Fact?

For more fun, tour the Mathematics Department at Harvey Mudd College!