Posted by: Gary Ernest Davis on: October 1, 2010

Many

Galileo noticed a peculiar thing about this infinite set of all natural numbers – that it can be placed into one-to-one correspondence with a smaller part of itself:

Galileo reasoned that the squares of whole numbers are themselves whole numbers, but only a part thereof – for example 3 is not the square of a whole number. Yet the squares are matched to all whole numbers by the reverse operation of taking the square root.

Because one-to-one correspondence is the basis of how we count, to answer the question “How many?”, Galileo’s observation is that there are, from this perspective, just as many squares of whole numbers as there are whole numbers. Similarly, there are just as many even numbers as there are whole numbers:

This is a peculiarity of an infinite set: it can be placed into one-to-one correspondence with a part of itself, quite unlike the situation for finite sets.

Cantor was aware that even if we were to enlarge the set of natural numbers by putting in a new element, we would essentially still have he same number of elements. What new element could we add to the set ? What about itself?

We’ve added to the right of all the natural numbers to indicate that we regard this new element as bigger than any natural number.

But still we can match this new enlarged infinite set one-to-one with the set of natural numbers:

Any infinite set that can be matched in one-to-one correspondence with the natural numbers is called a countably infinite set, and the cardinality – or counting size – of a countably infinite set is denoted by .

“ green bottles, hanging on the wall,

green bottles, hanging on the wall,

If one green bottle should accidentally fall,

There’d be green bottles, hanging on the wall.

“ green bottles, hanging on the wall,

green bottles, hanging on the wall,

If two green battles should accidentally fall,

There’d be green bottles, hanging on the wall.

… …”

The one-to-one matching above does not preserve the order of all the elements. For example by our choice of where we placed the new element but in the one-to-one correspondence, 1 is matched with 2, is matched with 1, but 2 > 1.

If you think about it a bit you can see that no matter what we match with, we cannot preserve the order of the set .

So the set cannot be matched in a one-to-one correspondence with the set so as to preserve order.

One-to-one matchings that preserve order give us a new way of thinking about “How many?”

Infinite ordered sets that can be matched in a one-to-one order preserving way are said to have the same ordinality as and this ordinality is denoted by .

From an order perspective the ordered set is bigger than the ordered set , and it is natural to denote its ordinality by .

On the other hand, if we think about what would be, it would be the ordinality of the set and this set CAN be matched in a one-to-one order preserving way with :

So .

So there you have it: the simplest “infinity plus one” is , but “one plus infinity” is still “infinity”: .

Thanks to Georg Cantor for making this – and much more about infinite sets – clear to us.

1 | bet365

October 3, 2010 at 5:46 am

how are you!This was a really excellent website!

I come from china, I was fortunate to look for your topic in bing

Also I obtain much in your blog really thank your very much i will come daily