Comments by "eggynack" (@eggynack) on "TED-Ed"
channel.
-
1
-
1
-
1
-
1
-
@clarkkent3730 Each person in line would indeed be assigned a finite value. However, the set of guests, as is the case for the set of natural numbers, is infinite. Consider that, in spite of the fact that no natural number is itself infinite, there are infinite natural numbers. I have no idea where numbers being divided into infinity comes into this. Infinity divided by infinity, however, is an indeterminate. This means it can take on just about any value, including zero, one, or infinity.
1
-
1
-
1
-
1
-
@atheistontheroad4545 You're missing a pretty important point here. Yes, the number of guests and the number of rooms is the same at the start. This is clearly true. However, the number of initial guests with one guest added on is the exact same countable infinity. So is that quantity of guests with two new guests added on. As such, this new quantity of guests is precisely as large as the quantity of hotel rooms.
You are correct that the initial mapping accounted for all rooms. However, what's occurring when you move everyone down a room is that you're generating a new mapping. You started out with, say, a mapping from the natural numbers to themselves, and now you're doing the equally valid mapping from the natural numbers plus zero to the natural numbers.
You're talking about this last room, one where the guest has nowhere to go. It is true that, if there were a last room, the person in that room would have nowhere to go. This is why you can't add people to full finite hotels. An infinite hotel has no last room though.
1
-
1
-
1
-
1
-
You just don't do it perfectly in order like that. The easy solution is to just have everyone leave simultaneously. The destination rooms are designated by math, so you don't even need someone giving directions. A more complex approach is using something like an abacaba pattern. There, you use the following pattern, and, when you say a number, that bus is the one that unloads its next passenger: 1, 2, 1, 3, 1, 2, 1, 4, 1, 2, 1, 3, 1, 2, 1, 5... By this method, you hit every bus arbitrarily many times.
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
Consider taking infinitely many guests and lining them all up. Assign each a number equivalent to their place in line. Then, take each guest and stick them in the room whose number matches their own. What room will be empty? Where can we put a guest without moving anyone? If this infinite hotel is not full, then you should be able to answer these questions. You cannot, because the hotel actually is full.
By mapping the infinite guests to the infinite rooms, it is possible to be left with zero rooms empty. It is also possible to create a mapping that leaves infinite rooms empty. Just assign the guests only to even numbered rooms. You can even assign infinite guests to every room, or assign infinite rooms to every guest, or, more mundanely, leave open any given natural number quantity of rooms. I can describe mappings that do any one of these things, and more. All of this is a more concrete expression of a basic fact, that there are many different mappings between the set of natural numbers and itself, as well as the fact that infinity-infinity is not just infinity. It is an indeterminate, meaning it can take on infinity as a value, or negative infinity, or zero, or anywhere in between.
1
-
1
-
1
-
1
-
1
-
I'm not really sure why infinity-24 has to equal anything but infinity. No step besides the main one, that it's possible to subtract infinity from infinity to get 24, is necessary. I can, in fact, produce any integer result from that subtraction. I can even produce negative infinity. It's easy. You say there's some kind of loop, but I cannot see one. Nothing of what I said has been apparently disproved.
As another thing of note, infinity can absolutely be measured. Its measure just can't be given an integer value. The set of all real numbers is provably larger than the set of integers. You could also make use of literal measure theory and note that the Lebesgue measure of the real numbers is also larger than the measure of the integers. The reality is that we can say a ton about infinity. We can map to and from it, and fiddle with it, and work with it, and find properties of it. The idea that it's this unworkable mystery beast that encompasses all things is really not a true one. It just is what it is, which is endless. Doesn't mean a similarly endless thing cannot match up to everything that endless thing is.
1
-
I never really needed to "subtract" 24 from infinity, as it were. The set {25, 26, 27...} is already its own infinite set without ever needing to rely on a second infinite set. Phrasing it in terms of the natural numbers is convenient, but not necessary. Thus, any argument that relies on the presence of this process isn't all that effective.
As for measuring infinity, yes you can. It just doesn't look the same as finite measures. For example, we can directly compare the size of the naturals and reals. The classic method is cardinality. Simply put, you attempt to map each element of set A to an element of set B and account for all of set B. If this is possible, then A is at least as big as B. Otherwise, B is strictly larger. Then you do the inverse, mapping B to A. If the first mapping and the second were possible, then the sets are the same size. Otherwise, well, I've already indicated how you identify one set as larger. Correspondingly, it is impossible to create such a mapping from the integers to the reals, but very possible to do so from the reals to the integers. So the set of reals is larger.
Not every single thing we associate with measure will necessarily work properly. Percentage, for example, runs into issues. One of those issues is with cardinality itself though. If you take an infinite set, and then consider some finite non-zero percentage of that set, then that new set will always have the same cardinality as the original. Any attempt is necessarily somewhat problematic. You can certainly create something that seems like this 75%-ing though. Line the infinite piece of wood up with a number line, and mark any section that falls between a multiple of 4 and that value plus one. Then, take as your 75% everything left unmarked. What you'll be left with would, again, be as big as your original piece of wood, but it'd also be 75%
However, this other type of measure, where we simply compare the size of two infinite sets, works fine. The Lebesgue measure works as well. This is where you create a set of open intervals that covers every element of the infinite set in question that covers the least space. The size of this least quantity of space is the Lebesgue measure. For any subset of the natural numbers, or even any subset of the rationals, the Lebesgue measure will always be zero. However, something like the interval (0,1), which is all the real numbers between those points, will have a Lebesgue measure of 1.
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
I think the method in the video was assigning each bus to powers of various primes, so the starting guests go to powers of 2, the first bus goes to powers of 3, then next to powers of 5, and so on. However, you get lots of vacancies with that method.
So, instead, I'll start by assigning the guests in the hotel to rooms whose smallest prime factor is a 2. So, all even numbers. The first guest gets tossed in room one, cause that room remains unoccupied otherwise, and everyone else lands in the even rooms in order. The first bus is assigned to rooms whose smallest prime factor is 3. So, numbers divisible by 3 that are not even, which is 3, 9, 15, 21... The next bus goes to rooms whose smallest prime factor is 5, then 7, then 11, and so on. This method partitions the hotel into infinitely many sets of infinite size.
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1