I have just come across the concept that there are different types of infinite numbers (whole integers, irrational numbers etc.) and the concept that for example, the amount of irrational numbers between 0 and 1 is higher than the amount of whole numbers from 1 to infinity.
I guess I just don’t understand how an infinite amount of something can be bigger/smaller than an infinite amount of something else…
Please un-f**k my brain 😀
In: 4
I think it has to do with countability. If you are able to define a set within two arbitrary points, it is considered countable. Uncountable sets are, by definition, larger than countable sets. Therefore, an infinite Uncountable set is larger than an infinite countable set.
Let’s back up a second.
A “set” is just a collection of objects. A set is finite if it has a finite number of objects. Clear, right?
What makes a finite set “bigger” than another finite set? Well, simple, you say. We can just count up the objects in each set. Whichever set has more elements is the bigger set. Another (important) way to think about this is this: Let **A** and **B** be sets. We can say that **B** is *larger* than **A** if, when we pair up each element of **A** with a unique element in **B**, there are elements in **B** that get left unpaired.
For instance, let **A = {1,2,3}** and **B = {a,b,c,d}.** We can easily see that no matter how we pair up the elements, **B** will always have an element “left over”. For instance, if our pairs are **1a, 2c, 3d**, the element **b** in **B** gets left alone. So we say **B** is larger than **A.**
Now, we want to extend this idea of “bigger” to infinite sets. Our first approach of “counting the elements” clearly doesn’t work, so we use the other approach. This leads us to define what “size” even means for infinite sets:
>**Definition: two infinite sets are the same size if we can pair up their elements in such a way that no element in either set is left unpaired.**
So we have a definition. Great. So when can we actually achieve this pairing? Well, let’s take two sets: The positive whole numbers and the positive even numbers. Intuition suggests that the set of even numbers is smaller, right?
Not so fast. Think about pairing them up as follows: **(1,2), (2,4), (3,6), (4,8), (5,10), . . .**
Under that pairing, every single even number gets paired to an appropriate natural number, so we say the sets are the same size. In fact, we can generalize this idea: If we can list out the elements of a set in a way that eventually reaches every elements, then that listing is itself a way of pairing each element of that set with a natural number. For example, we can list the rational numbers (fractions) [like this](https://demonstrations.wolfram.com/EnumeratingTheRationalNumbers/img/popup_2.png).
Clearly any set we can do this with is the same size as the set of natural numbers. We call these sets *countable.* The next natural question is this: Is every infinite set countable? Can we pair up elements in *any* set with the natural numbers just by finding clever ways of listing them?
Nope. The natural numbers, the integers, the rationals, etc. are all the same size, but it turns out the set of *real* numbers (or the set of irrational numbers) is much larger. Try as you might, there is no possible algorithm that lists out irrational numbers in a way such you will eventually get to every irrational number. You can’t do it.
This should make some kind of sense: integers, fractions, etc. can all be *represented* with a finite list of symbols, and since there are only finitely many *symbols,* you can just enumerate every possible string of symbols and eventually you’ll arrive at any chosen number. Irrational numbers cannot, in general, be represented this way. You’d need an infinite string of digits to represent just a single “irrational number”.
Step 1: What does it mean for two finite groups of objects to be the same size i.e. to have the same number of objects in them?
Even if we don’t have the concept of counting, we can find out. We pair off one object from the first group with one object from the second, and remove them. Then repeat the process with the new, smaller, groups. When one group is empty we look at the other group. If it is also empty, the two groups were the same size. If there are still some objects left then that group was bigger.
Step 2: we extend this method to infinite sets. This is trickier because if we do it one by one, we never end. But we do something similar. Here is an example. Consider the set of all positive integers: 1,2,3,4… etc, and the set of all positive even integers 2,4,6,8…. Etc.
It might look like the first set has more objects in it, because it have all the same objects as the second set, plus all the odd integers. But we can map each object in the first set to exactly one object in the second set so that ever object in each set appears in one of the mappings:
1 <->2
2<->4
3<->6
And in general
n<->2n
If we can do this in some way with two infinite sets, then we say that they are the same size.
Step 3: Suppose we have two infinite sets and we can *prove* that we can’t make such a mapping between them. I.e. however we try there will always be some members of one of the sets unmapped. In that case we would say that the set with unmapped members is bigger. I.e. it’s size is a bigger infinity than the other’s size.
Here’s an outline of a proof that that set of real numbers between 0 and 1 is a bigger infinity than the positive integers:
Any real number between 0 and 1 can be expressed as an infinite decimal 0.abcdef… etc
Now Imagine we had a mapping between the two sets it will look something like this
1 <-> 0.3742851….
2 <-> 0.4188803….
3 <-> 0.9013246….
Etc
Now we can construct a real number that can not be in the list.
We choose the first decimal place to be different to the first decimal place in the first number. So here the first decimal place is 3, so we pick, say, 7.
We choose the second decimal place to be different to the second decimal place in the second number. Here that is 1, so we can pick any other digit. Eg 9
We choose the third decimal place to be different to the the third decimal place in the third number. Here that is again 1, so we can pick eg 5
And we continue for ever.
The resulting decimal is definitely between 0 and 1, but is not in the mapping because for every number n it differs from the nth number in the list in the nth decimal place.
This process would work no matter how we tried to list the real numbers, ie. No mapping is possible between them and the integers, and so the set of them must be larger.
One of the best ways I had it described (year ago) was
* you have a fish tank with 5 fish in it
* Now, you have an infinite number of fish tanks, each with 5 fish in it
* Fish infinity > fish tank infinity
Infinity isn’t usually compared directly the same way you compare regular numbers. One way mathematicians compare them is by making maps between different infinitely sized sets.
For example, set of all integers is the same cardinality as set of all even integers because there exists a bijective (meaning one is to one) mapping/pairing between the two sets: x <-> 2x.
However between integers and real numbers, there’s no such mapping (for a full proof, see Cantor’s Diagonalization argument). An intuitive, non rigorous perspective is that integers are “countable” – you can count them off in a straight line 0,1,-1,2,-2,etc, in such a way that every integer will be hit if you go on forever (and I can tell you exactly when any particular number will be hit). No such enumeration exists for the real numbers – again rigorous proof left for Google but I invite you to try to find such an enumeration.
So one is countable and the other isn’t – so we say the set of real numbers is “larger”. Integers and rationals are both countable (meaning they are the same cardinality); irrationals and reals are uncountable, and it turns out these two are also the same cardinality (but both larger than any countable set).
Infinity isn’t usually compared directly the same way you compare regular numbers. One way mathematicians compare them is by making maps between different infinitely sized sets.
For example, set of all integers is the same cardinality as set of all even integers because there exists a bijective (meaning one is to one) mapping/pairing between the two sets: x <-> 2x.
However between integers and real numbers, there’s no such mapping (for a full proof, see Cantor’s Diagonalization argument). An intuitive, non rigorous perspective is that integers are “countable” – you can count them off in a straight line 0,1,-1,2,-2,etc, in such a way that every integer will be hit if you go on forever (and I can tell you exactly when any particular number will be hit). No such enumeration exists for the real numbers – again rigorous proof left for Google but I invite you to try to find such an enumeration.
So one is countable and the other isn’t – so we say the set of real numbers is “larger”. Integers and rationals are both countable (meaning they are the same cardinality); irrationals and reals are uncountable, and it turns out these two are also the same cardinality (but both larger than any countable set).
Infinity isn’t usually compared directly the same way you compare regular numbers. One way mathematicians compare them is by making maps between different infinitely sized sets.
For example, set of all integers is the same cardinality as set of all even integers because there exists a bijective (meaning one is to one) mapping/pairing between the two sets: x <-> 2x.
However between integers and real numbers, there’s no such mapping (for a full proof, see Cantor’s Diagonalization argument). An intuitive, non rigorous perspective is that integers are “countable” – you can count them off in a straight line 0,1,-1,2,-2,etc, in such a way that every integer will be hit if you go on forever (and I can tell you exactly when any particular number will be hit). No such enumeration exists for the real numbers – again rigorous proof left for Google but I invite you to try to find such an enumeration.
So one is countable and the other isn’t – so we say the set of real numbers is “larger”. Integers and rationals are both countable (meaning they are the same cardinality); irrationals and reals are uncountable, and it turns out these two are also the same cardinality (but both larger than any countable set).
Let’s say you and I are driving rockets that never run out of fuel into space and have no friction applied to us. My ship accelerates 2m/s more every second, where yours adds 1m/s to it’s speed every second. Both of our speeds are *approaching* infinity, but we know my speed will always be bigger than yours.
Let’s say you and I are driving rockets that never run out of fuel into space and have no friction applied to us. My ship accelerates 2m/s more every second, where yours adds 1m/s to it’s speed every second. Both of our speeds are *approaching* infinity, but we know my speed will always be bigger than yours.
Let’s say you and I are driving rockets that never run out of fuel into space and have no friction applied to us. My ship accelerates 2m/s more every second, where yours adds 1m/s to it’s speed every second. Both of our speeds are *approaching* infinity, but we know my speed will always be bigger than yours.
Latest Answers