Hilbert's grand hotel as infinite number of pairs

  • Thread starter Sissoev
  • Start date
  • Tags
    Infinite
In summary, the conversation discusses the concept of infinity and the idea of pairing two infinite sets together. One side argues that if one object is left unpaired, then it cannot be considered an infinite set. However, the other side argues that this does not break the concept of infinity, as relabeling and redefining functions is allowed. The conversation also touches on the idea of Hilbert's Hotel as an example of an infinite set.
  • #1
Sissoev
13
0
Can we think of Hilbert's Grand Hotel problem as of infinite number of pairs; room/guest pairs?

If we pair infinite number of left shoes with infinite number of right shoes, we will have infinite number of shoe pairs.
In such pairing there will not be left any unpaired shoes, because that would brake the infinity in both the sets.
That would mean that there is no way to add one left shoe and get new pair of shoes in the shoe pair infinity.
Same way, it would not be possible to add even one only guest in Hilbert's Grand Hotel.

Should we not treat Hilbert's hotel as two paired infinite sets, where adding to one of the pair sides will brake the infinity in both sides?
 
Mathematics news on Phys.org
  • #2
Sissoev said:
If we pair infinite number of left shoes with infinite number of right shoes, we will have infinite number of shoe pairs.
In such pairing there will not be left any unpaired shoes, because that would brake the infinity in both the sets.
That would mean that there is no way to add one left shoe and get new pair of shoes in the shoe pair infinity.

No, if I take away a left shoe from you, you still have an infinite number of left shoes and an infinite number of right shoes left over. Just one of which is unpaired. And then, if you want, you can pair them up again if you want.
If you have an infinite number of something and take away a finite number, you still have an infinite number left over.
Similarly, if you have an infinite number of something and add a finite number, you still have an infinite number.

I also have no idea what you mean by the words "break infinity".

Should we not treat Hilbert's hotel as two paired infinite sets,

Sure if that's your model. The Hotel is now a subset of ##\mathbb{N} \times \mathbb{Z}##.
The first coordinate is room number, second coordinate guest number. I chose the integers here because I want "old guests" as positives and "newly arrived guests" as negatives.

The Hotel starts with ##\{(1,1), (2,2), (3,3), \ldots\}##.

A new guest arrives, whose name is "-1". The clerk sends the guest in room 1 to room 2 etc. Guest "-1" goes to Room 1. We now have a Hotel that looks like ##\{(1,-1), (2,1), (3,2), \ldots\}##.
 
Last edited:
  • #3
pwsnafu said:
No, if I take away a left shoe from you, you still have an infinite number of left shoes and an infinite number of right shoes left over. Just one of which is unpaired. And then, if you want, you can pair them up again if you want.
If you have an infinite number of something and take away a finite number, you still have an infinite number left over.
Similarly, if you have an infinite number of something and add a finite number, you still have an infinite number.

I also have no idea what you mean by the words "break infinity".

To break infinity... :shy:
Well, not exactly to break it, but in a meaning that it wasn't infinity in a first place.

We know that infinity+1=infinity, but that's not the case with pairs, I think.
Why?
In the OP I said:
If we pair infinite number of left shoes with infinite number of right shoes, we will have infinite number of shoe pairs.
In such pairing there will not be left any unpaired shoes, because that would brake the infinity in both the sets.
In other words; if we pair two infinite sets, and we are left with one unpaired object, that would tell us that we weren't dealing with infinite sets.
I think that we have to keep that in mind when we work with paired sets.
Right and left shoes are in pairs, which brings equation in the two paired infinite sets.
If you take one out from one of the sets, the equation breaks, from which the infinity "breaks".
(One of the sets becomes with 1 greater than the other set, which results in one object not having its pair. And that is clearly not infinity.)

Following the above we can create a rule: two infinite sets can be paired only once.
Breaking that rule would create paradoxes.
 
Last edited:
  • #4
Sissoev said:
In other words; if we pair two infinite sets, and we are left with one unpaired object, that would tell us that we weren't dealing with infinite sets.

This does not follow. You cannot pair the natural numbers with the reals because the latter is uncountable. Doesn't change the fact that the naturals and reals are infinite to begin with.

I think that we have to keep that in mind when we work with paired sets.
Right and left shoes are in pairs, which brings equation in the two paired infinite sets.
If you take one out from one of the sets, the equation brakes, from which the infinity "brakes".

No it does not. All it does is a relabel.

(One of the sets becomes with 1 greater than the other set, which results in one object not having its pair. And that is clearly not infinity.)

"One of the sets becomes with 1 greater than the other set" is a false statement. They still have the exact same number. That is what being an infinite set means: there is an embedding into a proper subset of itself.

Following the above we can create a rule: two infinite sets can be paired only once.
Braking that rule would create paradoxes.

That's nonsense. We are free to relabel any number of times. Every real function* you learned in school does this. In other words you are claiming that taking a function ##f(x)=x## and defining a new function ##g(x) = f(x)+1## is an invalid procedure.
*well, every real function that is a bijection.

Now if you mean, define a function, and then claim it is something else? Yeah, that's not allowed. But that is also true for finite sets as well. But Hilbert's Hotel doesn't do that. It defines a different function (in the function model), or changes state (in the dynamical system model). In the pairs model I gave above the Hotel has changed from one infinite set to another set, but those two sets have the same cardinality because it's clear there is a bijection between them.

Edit: To add to this, you are using the word "pair" in two ways.
On one hand you are talking about a set of pairs, that is the Cartesian product of two sets.
On the other you are talking about pairing two sets, which means to define a function (specifically a bijection) between them.
Those are two separate things.
 
Last edited:
  • #5
Lets keep it simple for you, pwsnafu; imagine that two guests came in the hotel and in order to accommodate them the manager orders all guests to get out of their rooms and move in front of the room with two numbers up.
Then №1 moves in front of room №3, #2 in front of room №4 and so on.
Then one of the new guests goes in front of room №2, but the other guest suddenly decides that the hotel is too dirty and leaves it. Room №1 remains without guest in front of it.
Now the empty rooms ready to accommodate the guests waiting in front of them are with one more, which makes the infinity false.
To avoid such stupid situations, two infinite sets can be paired only once
 
  • #6
Sissoev, at that point the hotel manager could, if he wanted to, ask all the guests to move one room back, making all the rooms matched up with guests again.

It is true that given two countably infinite sets, you can make a function from one to the other that does not create a perfect pairing, but that doesn't change the fact that you can also pair them up perfectly.

It doesn't even make sense to say "can only be paired once'. A pairing mathematically is just a function [itex] f:X\to Y[/itex] which is both one-to-one and onto. I can come up with tons of functions [itex] \mathbb{N} \to \mathbb{N} [/itex] which are pairings, and you could cycle through and apply them however you want.
 
  • #7
Office_Shredder said:
Sissoev, at that point the hotel manager could, if he wanted to, ask all the guests to move one room back, making all the rooms matched up with guests again.

Sure, but that wouldn't make the set infinite again.
That would just make the last room empty ;)
 
  • #8
Sissoev said:
Sure, but that wouldn't make the set infinite again.

Which set? The set of people and the set of rooms are always infinite.

That would just make the last room empty ;)
There is no last room, just as there is no last natural number.
 
  • #9
Sissoev said:
Sure, but that wouldn't make the set infinite again.
That would just make the last room empty ;)
For an infinite number of rooms (or an infinite number of anything), there is no "last" room.
 
  • #10
Sissoev said:
To break infinity... :shy:
Well, not exactly to break it, but in a meaning that it wasn't infinity in a first place.
I think you have a basic misunderstanding of what infinity means. An infinite set doesn't become finite just by removing one element from it.
Sissoev said:
We know that infinity+1=infinity, but that's not the case with pairs, I think.
Why?
In the OP I said:

In other words; if we pair two infinite sets, and we are left with one unpaired object, that would tell us that we weren't dealing with infinite sets.
No, not at all.

For a simple example, assume that the hotel is completely booked, with a person in each room. We have a pairing between the set of hotel patrons and rooms, both of which are infinite sets. If the manager asks each person to move to a room whose number is one higher, then room 1 will be empty. In no way does this somehow imply that the set of rooms is now finite. What we have now is a one-to-one pairing between the hotel patrons and rooms 2, 3, 4, ..., N, ...
Sissoev said:
I think that we have to keep that in mind when we work with paired sets.
Right and left shoes are in pairs, which brings equation in the two paired infinite sets.
If you take one out from one of the sets, the equation breaks, from which the infinity "breaks".
(One of the sets becomes with 1 greater than the other set, which results in one object not having its pair. And that is clearly not infinity.)
It's clear that you don't understand...
Sissoev said:
Following the above we can create a rule: two infinite sets can be paired only once.
Breaking that rule would create paradoxes.
 
  • #11
Come on, guys!
I know that there is no last room in an infinity set, but you don't read carefully.
Both the rooms and the guests are infinite as a pairs.
Once you take the guests out of the rooms, and try to pair them again, you loose the infinity, and that's why it is wrong to do it.
The rooms became with one more than the guests, the moment we moved them out with two numbers up.
Remember?
Now the empty rooms ready to accommodate the guests waiting in front of them are with one more, which makes the infinity false.
So, as long as there is no infinity, we can have last room.
 
  • #12
The point is that the definition of an infinite set is one for which there is a bijection from itself to a proper subset. You can't get around the fact there's always a way to make more room as it's trivial from the assumption that the number of guests and the number of rooms are both |N|.
 
  • #13
Sissoev, so your claim is that as soon as the guests shift around, the number of rooms in the hotel changes from being infinite to finite?
 
  • #14
Sissoev said:
Come on, guys!
I know that there is no last room in an infinity set, but you don't read carefully.
Both the rooms and the guests are infinite as a pairs.
Once you take the guests out of the rooms, and try to pair them again, you loose the infinity, and that's why it is wrong to do it.
No, you don't "lose the infinity" so it's not wrong.
Sissoev said:
The rooms became with one more than the guests, the moment we moved them out with two numbers up.
Remember?
There's a big difference between two finite sets and two infinite sets that you're missing. Consider these finite sets: A = {1, 2, 3, 4, 5} and B = {2, 4, 6, 8}. Clearly there is one more element in set A than in set B, so set A is larger.

With infinite sets things don't work this way. Suppose C = {1, 2, 3, 4, ...} and D = {2, 3, 4, ... }. If we pair 2 in C with 2 in D, and 3 in C with 3 in D, and so forth, it would appear that C has more elements than D, but this is not true. With infinite sets, all you have to do is to show that there is a one-to-one mapping between the two sets. If there is, the sets have the same cardinality.
For my example, the mapping from set C to set D is 1 --> 2, 2 --> 3, 3 --> 4, and so on. If you tell me any number in set C, I can tell you what it maps to in set D. Conversely, if you tell me a number in set D, I can tell you the corresponding element in set C.
Sissoev said:
So, as long as there is no infinity, we can have last room.
 
  • #15
Office_Shredder said:
Sissoev, so your claim is that as soon as the guests shift around, the number of rooms in the hotel changes from being infinite to finite?

Hahaha :smile:
No, Shredder, my claim is that two infinite sets can be paired only once, because if you try to do second pairing, you'll fall into paradoxes like rooms appearing from nowhere and breaking the infinity.
How about, emptying all the odd number rooms?
We'll get infinite occupied rooms + infinite empty rooms from two sets which were perfectly paired.
Don't you find it disturbing?
 
  • #16
Sissoev said:
Hahaha :smile:
No, Shredder, my claim is that two infinite sets can be paired only once, because if you try to do second pairing, you'll fall into paradoxes like rooms appearing from nowhere and breaking the infinity.

When you say things like
So, as long as there is no infinity, we can have last room.

it sounds like you think the number of rooms is finite.

How about, emptying all the odd number rooms?
We'll get infinite occupied rooms + infinite empty rooms from two sets which were perfectly paired.
Don't you find it disturbing?


Let's stop talking about the hotel problem, because it is an analogy that apparently causing you trouble. The point is that infinite sets are kind of weird if you don't think about them the right way. Consider the set of all natural numbers, and the set of all even numbers. On the one hand, the natural numbers are "obviously" bigger. But now suppose that I have a set X, and I multiply every element in X by 2 to get a new set Y. All I've done is re-label the elements in my set X, so "obviously" X has the same size as Y. So from one perspective it is obvious that the evens and natural numbers are a different size, from another perspective they are the same size. Which is correct?

It turns out they are the same size. The best mathematical way of comparing two infinite sets is to figure out if there is a function from one to the other that is one-to-one and onto, i.e. a perfect pairing between them. It is well known that if two sets have a perfect pairing, there are also lots of ways to give a non-perfect pairing (in fact, a set is infinite if and only if it has a non-perfect pairing, i.e. a one-to-one but not onto function, with itself). A lot of people have trouble wrapping their heads around this but it is the fundamental tool in set theory for comparing sets, and leads to a very rich theory of sets.

In the hotel example, the guests are the natural numers, and the rooms are also the set of natural numbers, and describing how guests stay in rooms is the same as describing a function from the natural numbers to the natural numbers. Sometimes these functions are not onto, sometimes they are not one-to-one, but it doesn't change the fact that both copies of the natural numbers are the same size and can be paired up in a lot of ways.
 
  • #17
Sissoev said:
Hahaha :smile:
No, Shredder, my claim is that two infinite sets can be paired only once, because if you try to do second pairing, you'll fall into paradoxes like rooms appearing from nowhere and breaking the infinity.
There is no requirement that a pairing be unique.
Sissoev said:
How about, emptying all the odd number rooms?
We'll get infinite occupied rooms + infinite empty rooms from two sets which were perfectly paired.
Again, this is what makes infinite sets fundamentally different from finite sets.
Sissoev said:
Don't you find it disturbing?
No, I don't.

If you read further about the Hilbert Grand Hotel, you'll see that the story continues when a very large bus (containing an infinite number of passengers) arrives.

The hotel is already full, but the manager comes up with a plan to accommodate the new arrivals. He asks each of the current guests to move from their room to the room whose number is two times their old room number. So the guest in room 1 moves to room 2, the guest in room 2 moves to room 4, and so on. This frees up rooms 1, 3, 5, ..., and the new arrivals can be given the odd-numbered rooms.
 
  • #18
Sissoev said:
Hahaha :smile:
No, Shredder, my claim is that two infinite sets can be paired only once, because if you try to do second pairing, you'll fall into paradoxes like rooms appearing from nowhere and breaking the infinity.
How about, emptying all the odd number rooms?
We'll get infinite occupied rooms + infinite empty rooms from two sets which were perfectly paired.
Don't you find it disturbing?

But your missing the point, the definition of an infinite set is a set for which there exists a bijection between itself and a proper subset. Or other words an infinite set by definition is one in which it is possible to remove some members from the set to create a new set, but to still be able to pair the old set and the new set so that every member is paired. This trivially leads to the conclusion that given two infinite sets where every member of one set can be paired to a single member of the other set without leaving any unpaired members, it is possible to remove some members from one set and to still be able to pair them without leaving any unpaired members.

This is slightly counterintuitive as we can't do the same thing with finite sets, but if there was no difference between the properties of finite and infinite sets then we wouldn't be able make the distinction between the two.
 
  • #19
Mark44 said:
With infinite sets things don't work this way. Suppose C = {1, 2, 3, 4, ...} and D = {2, 3, 4, ... }. If we pair 2 in C with 2 in D, and 3 in C with 3 in D, and so forth, it would appear that C has more elements than D, but this is not true. With infinite sets, all you have to do is to show that there is a one-to-one mapping between the two sets. If there is, the sets have the same cardinality.
For my example, the mapping from set C to set D is 1 --> 2, 2 --> 3, 3 --> 4, and so on. If you tell me any number in set C, I can tell you what it maps to in set D. Conversely, if you tell me a number in set D, I can tell you the corresponding element in set C.

I understand, Mark, but in the example I gave you, I mapped the rooms with the guests in front of them, and we still had one empty room.
You'll tell me to move the guests one room back, in order to fix the infinity, but I'll say NO, I've already mapped them and I have one extra room.
Who is right then, you or I?
 
  • #20
Sissoev said:
I understand, Mark, but in the example I gave you, I mapped the rooms with the guests in front of them, and we still had one empty room.
You'll tell me to move the guests one room back, in order to fix the infinity, but I'll say NO, I've already mapped them and I have one extra room.
Infinity is not being "broken" so it doesn't need to be "fixed."
Sissoev said:
Who is right then, you or I?
In this thread, pwsnafu, Office_Shredder, jcsd, and I are all telling you that you're wrong. We are also telling you why you are wrong. Please go back and carefully reread what we have been saying.
 
  • Like
Likes 1 person
  • #21
Sissoev said:
I understand, Mark, but in the example I gave you, I mapped the rooms with the guests in front of them, and we still had one empty room.
You'll tell me to move the guests one room back, in order to fix the infinity, but I'll say NO, I've already mapped them and I have one extra room.
Who is right then, you or I?

Sounds to me like you are still insisting, despite having been told repeatedly that it's wrong, that infinity plus 1 is not the same as infinity and infinity minus one is not the same as infinity, whereas they are both exactly the same.
 
  • #22
OK, I understand and thank you all :approve:
Now my question is: Why Hilbert didn't give the simplest answer; unpair the set, add as much as you want and pair it again?
 
  • #23
Sissoev said:
OK, I understand and thank you all :approve:
Now my question is: Why Hilbert didn't give the simplest answer; unpair the set, add as much as you want and pair it again?
That's exactly what happens. Each time there is a pairing between the occupants and the hotel rooms.

Let's start with all rooms occupied.
Person1 --> Room 1
Person2 --> Room 2
...
PersonN --> Room N
etc.
There is a one-to-one pairing between occupants and rooms.Another guest arrives. Where should he go? The hotel manager asks each person who already has a room to move to the next higher numbered room. The pairing is now like so:
New person --> Room 1
Person1 --> Room 2
Person2 --> Room 3
...
PersonN --> Room N+1
etc.
This is also a one-to-one pairing between occupants and rooms. For each person I can say what room he or she is in, and for each room, I can say who is in the room.

Now for the sake of simplicity in the next step, let's renumber the people: Person1, Person2, etc.

At this time a bus with an infinite number of people arrives. What to do? As already mentioned, the manager asks each room occupant to move to the room whose number is two times his/her current room number. This frees up rooms 1, 3, 5, ..., all the odd-numbered rooms. The people from the bus file in and each person is assigned one of the odd-numbered rooms.

The pairing is now (BP - person from bus, P = person already present):
BP1 --> Room 1
P1 --> Room 2
BP2 --> Room 3
P2 --> Room 4
...
BP_N --> Room 2N-1
P_N --> Room 2N
etc.
This too is a one-to-one pairing. For each person I can say what room he or she is in, and for each room, I can say who is in the room.
 
  • #24
Mark44 said:
That's exactly what happens. Each time there is a pairing between the occupants and the hotel rooms.

Thanks Mark!
Very good explanation.

Now, I understand that the result of infinity minus any number is still infinity, but I still cannot wrap my mind around subtracting from paired sets.
Although infinity as number has infinite value, when paired it's bound to the other side as equal value (size).
Let's take Galileo's argument that S = {1,4,9,16,25,...} is the same size as N = {1,2,3,4,5,...} because there is a one-to-one correspondence: 1 ⇔ 1, 2 ⇔ 4, 3 ⇔ 9, 4 ⇔ 16, 5 ⇔ 25, ...
If we subtract 1,2,3,4,5 from N it will still be infinite on its own, but it will be with 5 less than S (smaller size), which will brake the pairing.
I wonder how to deal with that :confused:
 
  • #25
Sissoev said:
Thanks Mark!
Very good explanation.

Now, I understand that the result of infinity minus any number is still infinity, but I still cannot wrap my mind around subtracting from paired sets.
Although infinity as number has infinite value, when paired it's bound to the other side as equal value (size).
Let's take Galileo's argument that S = {1,4,9,16,25,...} is the same size as N = {1,2,3,4,5,...} because there is a one-to-one correspondence: 1 ⇔ 1, 2 ⇔ 4, 3 ⇔ 9, 4 ⇔ 16, 5 ⇔ 25, ...
If we subtract 1,2,3,4,5 from N it will still be infinite on its own, but it will be with 5 less than S (smaller size), which will brake the pairing.
No, it won't be a smaller set with 5 numbers removed. You're still thinking along the lines of finite sets.

It doesn't matter if we break a pairing when we remove or add some elements to one of the sets. All that we need to do is to establish a new pairing that is also one-to-one. Here's a pairing of the set {6, 7, 8, 9, ...} with {1, 4, 9, 16, ...}.
6 ⇔ 1
7 ⇔ 4
8 ⇔ 9
9 ⇔ 16
...
n ⇔ (n - 5)2
...
Sissoev said:
I wonder how to deal with that :confused:
 
  • #26
Properties of paired sets

Mark44 said:
No, it won't be a smaller set with 5 numbers removed. You're still thinking along the lines of finite sets.

I see paradoxes as broken logic which occurs by mixing two different properties.
Zeno's paradox is a result from mixing time with distance, not taking in account the speed.
Hilbert's paradox is a result from mixing pairs with pair parts.
Left and right as parts of one pair are bound together and you should not be able to create new pair by adding only left or only right part to it.
An infinite paired set is infinite in number but its parts are limited to each other (each left shoe has as a pair a right shoe, and there are no singles available, otherwise the set wouldn't be called paired set)
Regardless whether the number is limited or infinite, the pairs in the row are created and cannot be increased by adding only to one side of the pair.
One would argue that we don't increase infinity, because its value cannot be increased or decreased by adding or subtracting, but by not taking in account the properties of the paired infinite set we have a moment between the pairings when one of the sets is with number greater than the other.
Again, "with number greater than the other" is not correct use for infinity, so we rather call it unpaired number (one of the sides contains unpaired number of shoes). That unpaired number implies limit to both sides when we look at them as pair parts.
That's why I say that a pairing should occur only once if we don't want to create a paradox.
In Hilbert's case we have complete infinite number of pairs (no singles available) and any adding to one of the sides will break that completeness.
Hence the paradox.
 
  • #27
An infinite paired set is infinite in number but its parts are limited to each other (each left shoe has as a pair a right shoe, and there are no singles available, otherwise the set wouldn't be called paired set)
Regardless whether the number is limited or infinite, the pairs in the row are created and cannot be increased by adding only to one side of the pair.
Let me add to the above hoping that it'll show my point in more understandable way.
A pair has a property which should not be confused with the properties of its parts.
My opinion is that we should think of pair's property as of the result from 1 liter of water paired with 1 kg of cement.
So, if we pair 1 liter of water with 1 kg of cement we'll get +/- 2 kg of concrete.
Now, think of the rooms as of buckets of water, and the guests as of 1 kg of cement.
You can add as much as you want to each infinite set before the pairing, but nothing you can do after you put the cement into the water.
Second pairing is impossible.
 
  • #28
Sissoev said:
Left and right as parts of one pair are bound together and you should not be able to create new pair by adding only left or only right part to it.

With all due respect, we don't care about what you think "should" or "should not" be doable in mathematics.* It is doable in standard mathematics, and we have demonstrated this many times in this thread.

You can argue this is a veridical paradox, in that you have to reject your intuition of finite sets when dealing infinite sets. That's the entire point of Hilbert when he created this: to teach his students intuition of countable infinity. But it is certainly not a falsidical paradox.

Edit: * this probably is a bit too harsh. The problem is that what you are claiming is whether something is an allowed operation or not. The problem is that the definition of "infinite set" is what allows us to do this, so your argument distills down to rejecting the axiom of infinity. And that is a philosophy question, not a mathematics one.
 
Last edited:
  • #29
pwsnafu said:
With all due respect, we don't care about what you think "should" or "should not" be doable in mathematics. It is doable in standard mathematics, and we have demonstrated this many times in this thread.

You can argue this is a veridical paradox, in that you have to reject your intuition of finite sets when dealing infinite sets. That's the entire point of Hilbert when he created this: to teach his students intuition of countable infinity. But it is certainly not a falsidical paradox.

I'm not trying to change mathematics, neither am I challenging your knowledge to prove you wrong.
Don't get frustrated if you cannot answer some of my questions and logical points.
Most probably that is because my points are so lame that you cannot make sense of them :-p
But still, if the authorities were never questioned, the science wouldn't go that far :wink:
 
  • #30
pwsnafu said:
Edit: * this probably is a bit too harsh. The problem is that what you are claiming is whether something is an allowed operation or not. The problem is that the definition of "infinite set" is what allows us to do this, so your argument distills down to rejecting the axiom of infinity. And that is a philosophy question, not a mathematics one.

Don't worry, no offence taken, pwsnafu :smile:
I didn't question the axiom of infinity, but the way we deal with it.
I think that the "concrete" example clarified my point.
 
  • #31
Sissoev said:
Left and right as parts of one pair are bound together and you should not be able to create new pair by adding only left or only right part to it.
You really need to get past this notion that the pairing has to be unique. It is keeping you from understanding this concept.
Sissoev said:
An infinite paired set is infinite in number but its parts are limited to each other (each left shoe has as a pair a right shoe, and there are no singles available, otherwise the set wouldn't be called paired set)
This "paired set" idea that you are fixated on is no help to you. You are missing the main idea -- a set is countably infinite if there is a one-to-one mapping between the elements of the set and the set of positive integers. Period.
Sissoev said:
Regardless whether the number is limited or infinite, the pairs in the row are created and cannot be increased by adding only to one side of the pair.
Baloney.
Sissoev said:
One would argue that we don't increase infinity, because its value cannot be increased or decreased by adding or subtracting, but by not taking in account the properties of the paired infinite set we have a moment between the pairings when one of the sets is with number greater than the other.
No, this isn't true. You not grasping the idea that an infinite set is fundamentally different from a finite set.
Sissoev said:
Again, "with number greater than the other" is not correct use for infinity, so we rather call it unpaired number (one of the sides contains unpaired number of shoes). That unpaired number implies limit to both sides when we look at them as pair parts.
Unpaired numbers would be relevant if we were dealing with finite sets, but once we start talking about infinite sets, it doesn't matter in the slightest that there are some numbers that aren't included. What does matter is that we can establish a one-to-one pairing with a countably infinite set (such as the positive integers). In every example I gave, I showed you the pairing.
Sissoev said:
That's why I say that a pairing should occur only once if we don't want to create a paradox.
In Hilbert's case we have complete infinite number of pairs (no singles available) and any adding to one of the sides will break that completeness.
Hence the paradox.
Like pwsnafu said, "we don't care about what you think "should" or "should not" be doable in mathematics."
Sissoev said:
I'm not trying to change mathematics, neither am I challenging your knowledge to prove you wrong.
Don't get frustrated if you cannot answer some of my questions and logical points.
We have answered every one of your questions and have refuted all of your logical points. What is frustrating, is that you are unable to let go of your incorrect ideas about infinite sets, despite being shown that they are faulty.
Sissoev said:
Most probably that is because my points are so lame that you cannot make sense of them :-p
 
  • #32
The question has been asked and answered (ad infinitum, so to speak). I am closing this thread.
 

FAQ: Hilbert's grand hotel as infinite number of pairs

What is Hilbert's grand hotel?

Hilbert's grand hotel is a thought experiment created by mathematician David Hilbert to illustrate the concept of infinity. It is a hotel with an infinite number of rooms, each of which is occupied by a guest.

How does Hilbert's grand hotel have an infinite number of pairs?

In Hilbert's grand hotel, the number of guests is infinite, and each guest has a partner. This means that there is an infinite number of pairs of guests in the hotel.

How does Hilbert's grand hotel challenge our understanding of infinity?

Hilbert's grand hotel challenges our understanding of infinity by showing that even though the hotel has an infinite number of guests, it can still accommodate an infinite number of new guests without running out of rooms.

What is the significance of Hilbert's grand hotel in mathematics?

Hilbert's grand hotel is significant in mathematics because it helps us understand the concept of infinity and its properties, such as the fact that infinity plus one is still infinity.

Can Hilbert's grand hotel really exist in the physical world?

No, Hilbert's grand hotel is a thought experiment and cannot exist in the physical world. It is a theoretical concept used to explore the properties of infinity.

Back
Top