Comments by "eggynack" (@eggynack) on "TED-Ed"
channel.
-
1
-
You say that it is not full, but you have no proof for that. I say it is full, and I do have proof for that. That being, if you name any arbitrary room, it will have a person in it. You can definitely "equal" two infinities. There is nothing to the definition of infinity that would give rise to the properties you're citing. If you were to just put people into the hotel one after the other, then, no, the hotel would not fill, but by generating a mapping from the set of people to the set of rooms, and ignoring transit time (say for the sake of argument that each person reaches their room after a second), we find all hotel rooms full.
Infinity isn't just a concept. It's a well defined mathematical construct, and nothing of that construct is incompatible with this result.
1
-
1
-
1
-
Oh this is definitely math. Hilbert's hotel is more or less a restatement of a basic math result, that all these sets, the naturals, the naturals plus one, the integers, even the rationals, all share a size. And they do so specifically by means of this mapping notion. It's kinda weird to think that the set {1, 2, 3, 4, 5, 6...} has exactly as many numbers as {0, 1, 2, 3, 4, 5, 6...}, but it does. This gets even weirder when you take the extra step and note that the set of all real numbers is strictly larger than any of these. Neat stuff.
As for your issue with the scenario in itself, you don't have to keep anyone in transit between the rooms. Just have everyone move simultaneously. At, say, three o' clock, everyone simultaneously leaves their room and then goes into the next room. Every single guest will be inside a room by four and room one will be empty. You note the contradiction between full and not full, but this is actually quite explicable. The hotel is full in one sense, as there is a person inhabiting every room, but not full in another sense, because the hotel can accommodate more guests. As it turns out, these are distinct concepts in an infinite hotel. And if we define "full" the first way, which is a fair way to define it, then the full hotel can absolutely accommodate guests.
1
-
1
-
1
-
1
-
1
-
1
-
1
-
There isn't some singular room n+1. Room n+1 is relative to each individual guest. So, for guest 1, room n+1 is 2, and for guest 100, room n+1 is 101. No room starts out unoccupied. However, each destination room is rendered unoccupied for the guest going to it because the person who was once in the room is going to their room n+1.
It's worth thinking about what would happen with finite hotels. Say one with 100 rooms. Person one goes to room two, person two goes to room three, and so on. Every single step here works just fine, and it does so until you have to deal with guest 100. They have nowhere to go, and it is here where the movement breaks down. In an infinite hotel, however, there is no top room. The process never breaks down.
1
-
1
-
1
-
@jayjeckel No, I can do it because I already did it. It is what is called in math a constructive proof. You prove that a thing can be done by doing it. In this case, the question is whether there is a bijective mapping from all the guests in the full hotel plus one additional guest to the rooms in the full hotel. And there is one. In particular, this mapping is that guest n, where the new guest is guest 0, goes to room n+1. Clean bijective mapping. No new rooms or initially unoccupied rooms needed.
It might be easier for you to get a handle on it if we ditch the hotel for something more abstract. There are infinitely many primes, right? It makes sense, then, to talk about the first prime, the second prime, the fifth prime, the 100th prime. In fact, no matter which prime you want, it'll be there. Because there are infinitely many of them.
What this means, however, is that there is a one to one mapping from natural numbers to primes. The first prime goes to one, the fifth prime goes to five, the 100th prime goes to 100, and so on. Every natural and every prime is accounted for exactly once each.
We can, if we want, extend this reasoning back to the hotel. There's a guest for each natural number, because they're assigned to the natural numbered rooms. We can, therefore, cleanly map the guests in this full hotel to only the prime numbered rooms. This leaves us with infinitely many empty rooms, all the composite numbered ones (which are also infinite), and all just by moving people.
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
Simply put, infinity is useful. Basically any type of mathematics you care to name will make heavy use of infinity at some level. Understanding infinity, then, has a lot of functionality to it. This hotel is essentially just a restatement of the various ways we can map the natural numbers to themselves, and that kind of thing can be pretty useful, especially in, say, abstract algebra. Or, hey, maybe this leads you to a question, like whether there is a quantity of guests it would be impossible for the hotel to accommodate, and you wind up at Cantor's diagonal argument, which is a foundational result in mathematics.
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1
-
1