Originally posted by: DrPizza
Also, in regard to the different sizes of infinity.
The size of infinity for even numbers is the same as the size of infinity for counting numbers (as someone said above)
Some people would think there are twice as many counting numbers, since
1,2,3,4,5,6,7,8,9,10
2,4,6,8,10
It seems like there are twice as many counting numbers...
But, no matter what counting number you list, there corresponds exactly 1 even number.
Name a counting number... any counting number...
There exists a corresponding even number which is 2 times the counting number.
Similarly, there is an exact 1 to 1 mapping of the counting numbers for infinity +1 and infinity...
Thus, they are the same size. (not insignicantly different, but the *same* size of infinity)
The size of infinity for rational numbers is the same size as the infinity of counting numbers (but requires a diagram that I can't reproduce here to illustrate this)
However, this is frequently used to illustrate that there are different sizes of infinity:
There are more real numbers than counting numbers.
Proof:
Assume there is a 1 to 1 mapping between the two sets.
1 corresponds to .191253897102...
2 corresponds to .159827301957...
3 corresponds to .769434573102...
4 corresponds to .982876501957...
5 corresponds to .362754347102...
6 corresponds to .159827301957...
Now, I'm going to create a new number:
For the 1st decimal place, take the 1st decimal place of the 1st number
For the 2nd decimal place, take the 2nd decimal place of the 2nd number
For the 3rd decimal place, take the 3rd decimal place of the 3rd number
and so on... this gives us:
.159857...
Now, add 1 to each digit (nine becomes a zero)
The new number is .260968...
This new number is guaranteed to be different from the 1st number in the 1st decimal place
and different from the 2nd number in the 2nd decimal place
and different from the 3rd number in the 3rd decimal place,
and so on... Sooooo, the new number cannot possibly be on the 1 to 1 list because it differs from every single number by at least 1 decimal place.
This is a contradiction of our assumption: that a 1 to 1 correspondence exists. Therefore, a 1 to 1 correspondance doesn't exist.
In fact, there are infinitely many more real numbers than counting numbers - a new size of infinity.