Simple City

Richard Elwes's Blog and Website

  • Book: Maths 1001
    • Maths 1001: Errata
    • Maths 1001: Reviews
  • Book: Chaotic Fishponds…
  • Book: How to Build a Brain
  • Book: Maths in 100 Key Breakthroughs
  • Book: The Maths Handbook
  • Writing
  • Talking
  • Teaching
  • Research
  • Who is Richard Elwes?

Paul Cohen 2: The Continuum Hypothesis

Posted by richardelwes on July 19, 2007
Posted in: Logic, Maths.

[This is a sequel to my post on the Axiom of Choice]

 

In the late 19th century, Georg Cantor’s work in set theory opened up an exciting world: that of infinite numbers.

Cantor’s basic insight was that the fundamental concept is not number per se, but the equinumeracy of sets.

 

Two sets are equinumerous if you can pair up the elements of one set with those of the other. This works just as well for infinite sets as for finite ones.

 

Cantor then built a system of special sets called cardinals. The point is that every set is equinumerous with exactly one cardinal, called its cardinality. The finite cardinals are just the natural numbers: 0,1,2,3,4,5,…. But there are infinite cardinals too (infinitely many of them in fact).

 

The first infinite cardinal is called aleph_0 and is the cardinality of the set of natural numbers. Basically aleph_0 is the set {0,1,2,3,…}. So a set has cardinality aleph_0 if its elements can be matched up one to one with the natural numbers, that is to say if you can count them. So sets of cardinality aleph_0 are called countable. The next cardinal is aleph_1. It’s the first uncountable cardinal. Then there’s aleph_2, and so on (and that’s just for starters).

Whenever you have a cardinal number, you can always talk about the next cardinal number: just the smallest cardinal which is bigger than the one you already have. But that’s not the only way of obtaining one cardinal number from another.

If you have a set X, you always can form a bigger set P(X) called the power set of X. [1]

If you do this to a finite set (say X has 4 elements), then the number of elements in P(X) is 2 to the power of the size of X (in this case 24=16). This can be extended to infinite cardinals: if X has cardinality A, then P(X) has cardinality of 2A.

 

The cardinal 2aleph_0 has a special significance, and is called the continuum. We know that that several important sets (for example the set of real numbers and the set of complex numbers) have cardinality 2aleph_0.

 

Now here’s a question: does 2aleph_0=aleph_1?

 

The statement that these two infinite numbers are equal is called the Continuum Hypothesis (CH). It would imply, for example, that any infinite collection of real numbers is equinumerous either with the set of natural numbers, or with the set of all real numbers. But if CH is false then there is a collection of real numbers which is bigger than the set of natural numbers but smaller than the set of all real numbers.

 

CH was the 1st of David Hilbert’s 24 mathematical questions for the 20th century, set out in 1900.

 

Using his pioneering technique forcing, Paul Cohen constructed two models of ZFC: one in which CH is true, and one in which it is false. This proves that CH is independent of ZFC (just as the Axiom of Choice (AC) was independent of ZF). So it is impossible to conclude from the ordinary rules of mathematics whether CH holds or not. This was the remarkable result for which Cohen won the Fields Medal.

 

Whereas most people now accept the Axiom of Choice as a reasonable additional assumption, the same is certainly not true of CH. In fact the celebrated set-theorist W Hugh Woodin now argues that the assumption that 2aleph_0=aleph_2 is more a natural assumption than CH. Other people argue for far larger values of the continuum.

There is a stronger statement which says – roughly – that for every cardinal A, the next cardinal is 2A. This is the Generalized Continuum Hypothesis (GCH) and implies the ordinary Continuum Hypothesis as a special case.

 

[1] Formally, P(X) is the collection of all subsets of X. So for instance if if X is just the two element set {0,1} then P(X) is { varnothing, {0}, {1}, {0,1}}. (Here varnothing is the empty set.) Or if X is the set of natural numbers, then the set of numbers between 1 and 100: {1,2,3,…,100}, and the set of primes {2,3,5,7,11,…}, and the set of odd numbers {1,3,5,7,9,11,… }, and the empty set varnothing, are all examples of subsets of X, and so are members of the P(X).

Share this:

  • Twitter
  • Facebook

Like this:

Like Loading...

Related

Posts navigation

← Paul Cohen 1: The Axiom Of Choice
From e to eternity →
  • Some of my interesting things

    • The Grothendieck Song
    • A rhopalic sentence
    • Wondering about this wallpaper?
    • Topological limericks
  • Affiliations

    • I work at University of Leeds, UK
    • I am the Publicicty Officer for the European Mathematical Society
    • I am a Holgate Session Leader for the London Mathematical Society
  • Me on Twitter

    My Tweets
  • Me on Facebook

    Me on Facebook
  • Subscribe to Simple City

    • RSS - Posts
    • RSS - Comments
Blog at WordPress.com.
  • Follow Following
    • Simple City
    • Join 34 other followers
    • Already have a WordPress.com account? Log in now.
    • Simple City
    • Customize
    • Follow Following
    • Sign up
    • Log in
    • Copy shortlink
    • Report this content
    • View post in Reader
    • Manage subscriptions
    • Collapse this bar
%d bloggers like this: