|
Edited on Sat Nov-08-08 02:04 PM by Salviati
In your notation, All of L, x, and n can be infinite, and of the same size.
Let's put it this way, Let's imagine that we can count up all these parallel universes. We're going to get infinity, so how can we make sense of that?
Well, ultimately the way we count is by matching up things with other things, for example, when we count our chickens, we match them up with the whole numbers until we run out of chickens. Then the last numbered chicken tells us how many we have. We've got the same number of chickens as we do numbers.
We can do the same thing with sets of an infinite number of things, we simply make a rule that produces a pattern to match each thing with a number. For example, if we wanted to compare the quantity of even numbers to the quantity of odd numbers, I could use the rule:
Even <=> Even -1
Matching each even number with the odd number one below it. So we see that they come in pairs, and we're never going to run out of either of them. So there are an infinite number of even and odd numbers, and the same size of infinity for both.
But, infinity doesn't work like normal numbers, for example, let's compare the even numbers with ALL whole numbers. I could use the matching rule:
Whole Number <=> (Whole Number) * 2
Which matches each whole number with the even number that is twice as big. Once again they come in pairs, and we're never going to run out of either. So it appears that there are also the same number of even numbers as whole numbers, which is the same as odd numbers.
This size of infinity is called "countably infinite" because of the fact that it can be counted, i.e. arranged in some kind of ordered list, numbered by the whole numbers.
Other things that are countably infinite are all rational numbers, i.e. all numbers that can be written as fractions. All fractions between 0 and 1 are countably infinite. This number is called the cardinality of the set, and for normal finite sets, the cardinality gives the number of things in the set. The cardinality of anything that is countably infinite is aleph-0.
There is another size of infinity however, one that is larger than aleph-0. This would be the cardinality of all the real numbers, this includes all rational numbers, and all irrational numbers (like pi, the square root of 2, the golden ratio, anything that can be written as a non-repeating decimal...)
It's actually pretty easy to show this, we can prove it by contradiciton (It's called Cantor's diagonalization proof) as follows:
Let's assume that the real numbers are countable. That means that must be able to generate a list of ALL real numbers that might look like the one below:
1) 1.02158645498216..... 2) 0.326589456216562.... 3) 1.2352994249316654... 4) 4.23455469875165... 5) and so on...
But given any such list, I can now produce a number not included in the list. For the first digit of this number I will take the first number in the list and choose a number that does not match the first digit of that number, e.g. anything but 1. For the second digit, I will choose one that doesn't match the 2nd digit of the 2nd number. For the 3rd digit, I choose one that doesn't match the 3rd digit of the 3rd number, and so on.
The number I produce in this manner cannot be in the list, because it has at least 1 digit different from every number in the list. But my list was supposed to contain ALL real numbers, so therefore my assumption that such a list can be made must be wrong.
So this size of infinity, which is basically the number of points in some sort of continuum, is called aleph-1 and is a larger cardinality than aleph-0.
|