B Help answer student question about infinity?

  • B
  • Thread starter Thread starter mishima
  • Start date Start date
  • Tags Tags
    Rope
mishima
Messages
576
Reaction score
43
TL;DR Summary
Choosing 1 from an infinite set
Hi, my background isn't mathematics but I was wondering how this kind of problem might be approached.

They have asked if there was a knot somewhere in an infinitely long rope, would the knot ever be reached if you iterated through the length hand over hand?

How could I start to tackle this problem using the language of math and sets?
 
Physics news on Phys.org
Not sure how one might approach this problem but one with a comparable twist is Hilberts infinite hotel.

As each new guest checks in. The other guests are asked to switch the next room. The new guest gets room one and room one’s guest moves to room two…

Veritaseum did a YouTube video on it and some extensions to the problem.

NOVA also has a short clip on it too:

 
  • Like
Likes mishima
mishima said:
TL;DR Summary: Choosing 1 from an infinite set

Hi, my background isn't mathematics but I was wondering how this kind of problem might be approached.

They have asked if there was a knot somewhere in an infinitely long rope, would the knot ever be reached if you iterated through the length hand over hand?

How could I start to tackle this problem using the language of math and sets?
Suppose that the knot is in a fixed place and you started at some place on the rope. You can reach the knot in a finite time. That is true even if you started going in the wrong direction. You could 10 steps in one direction, turn around and go 100 steps in the other, turn around and go 1000 steps in the original direction, turn around and go 10000 steps, etc. By alternating your direction that way, you would eventually reach the knot no matter how far away it was and even if you started in the wrong direction.
 
  • Like
Likes Klystron and mishima
Interesting. So the knot is reached in finite time.

Just to clarify, the rope with a knot would be classified as a 'countable infinite set'? Say instead we counted with infinitely small hands. Then it would be like an 'uncountable infinite set' (similar to the reals)?

What is the idea with alternating forwards and backwards? Is that a requirement, or just a possibility? Thanks again.
 
mishima said:
Interesting. So the knot is reached in finite time.
Yes, but it would very likely take so long you would miss lunch.
mishima said:
What is the idea with alternating forwards and backwards? Is that a requirement, or just a possibility? Thanks again.
Note that he did not say you HAD to do that, he said
FactChecker said:
even if
 
  • Like
Likes mishima
mishima said:
Interesting. So the knot is reached in finite time.
Yes.
mishima said:
Just to clarify, the rope with a knot would be classified as a 'countable infinite set'?
No. Even a tiny length of rope has so many position points on it that the total number of points is uncountable. But you can step over them with a finite number of steps because position points have no length.
mishima said:
Say instead we counted with infinitely small hands. Then it would be like an 'uncountable infinite set' (similar to the reals)?
I am imagining the rope as being ideally the same as a real line along the rope. If you mean something else, like some real-world physical properties of the rope, then you need to describe that.
mishima said:
What is the idea with alternating forwards and backwards? Is that a requirement, or just a possibility?
I only did that in case we don't know which direction the knot is in. If we know the direction, then we can go in the correct direction and get to the knot in a smaller finite number of steps. I might have over-complicated the answer with the alternating two-directions. Sorry.
 
  • Like
Likes Mark44 and mishima
Because you don't know which side the knot is on if you grab the rope somewhere other than the end of the rope.

If you say you're holding the end of the rope and there's a knot somewhere then you have only one direction to search.
 
  • Like
Likes FactChecker and mishima
What would be the probability of grabbing the rope at the knot, if they grabbed at a random spot? 1/n as n goes to infinity, so 0?
 
Yes. It seems that, since there IS a chance of it happening, the probability should not be zero but that's how the math works out.
 
  • Like
  • Skeptical
Likes PeroK and mishima
  • #10
Sorry one last detail, the same is true for both countable and uncountable infinite sets? Ie. if choosing the knot on a continuous rope (reals) vs a discrete situation, like a row of infinite boxes with only 1 box having a present inside?
 
  • #11
mishima said:
Sorry one last detail, the same is true for both countable and uncountable infinite sets? Ie. if choosing the knot on a continuous rope (reals) vs a discrete situation, like a row of infinite boxes with only 1 box having a present inside?
Yes. The idea is that you are trying to spread a total probability of 1 evenly among an infinite number of "possible" outcomes. So each "possible" outcome can only have 0 probability. That is true whether the infinite number is countable or uncountable.
 
  • Like
Likes mishima
  • #12
If you are interested in the concepts of countable infinite versus uncountable infinite, you might be interested in Cantor's famous diagonal proof. Cantor was the first person to prove that there are different sizes of infinity and it upset many people. (He proved a lot of strange facts.)
You should look at Cantor's diagonal proof in the form of numbers to the base 10. In that form, you can see that, although the proof just constructs one uncounted number, there are enormously infinite ways that many more uncounted numbers could be constructed. Any countable list of numbers is an infinitely small fraction of all real numbers.
 
  • #13
My opinion: You can't define a physical object as being infinite in a physical dimension--length because this is impossible.

Either it's a theoretical "infinite line" in your mind or physics land that cannot exist in reality (like a "point" with no dimensions)or it is a physical object that exists in physical reality--a rope--that has definite dimensions.

How would such a rope exist if no matter how small you made it it would occupy more space than exists? It's an absurd proposition.

I woudl imagine defining it mathematically would be like dividing by zero. If you got a definite answer it would be wrong because it is an absurd proposition.
 
  • #14
Blargus said:
My opinion: You can't define a physical object as being infinite in a physical dimension--length because this is impossible.
Good point. But as soon as the OP says that there is a knot, then it is at some finite position. The distance from your starting point to the knot is finite and all the rest of an infinite rope does not matter.
 
  • Like
Likes Klystron and PeroK
  • #15
Right, it wasn't being discussed as if the infinite rope were real. It was an analogy a student created to get others thinking. A different student (who had never studied calculus) refused to believe the limit of 1/n = 0 when n->infinity. So yes, basically they were attempting to use philosophical arguments and everyday language to explain rigorous math concepts, and it was a bit absurd.

However, their discussion was welcome and it was great to see them excited about such topics.
 
  • #16
Guess I'm looking at it philosophically. Not sure I can understand even defining a starting point on a supposedly infinite length. Been awhile for calculus but looking at it isn't the limit example saying as n gets endlessly larger 1/n gets endlessly smaller which is different than saying 1/infinity=zero which might be a nonsense operation you can't do. Because 1/n as n gets endlessly larger never actually equals zero, it just gets endlessly closer?
 
Last edited:
  • Like
Likes PeroK
  • #17
Blargus said:
Been awhile for calculus but looking at it isn't the limit example saying as n gets endlessly larger 1/n gets endlessly smaller which is different than saying 1/infinity=zero which might be a nonsense operation you can't do. Because 1/n as n gets endlessly larger never actually equals zero, it just gets endlessly closer?
To put this in mathematical terms. If we have a set of ##n## things, we can choose from those things using a uniform selection. This means every element has an equal probability of ##1/n## of being selected. No matter how large we make ##n##, this is always finite.

If we try to select, say, a positive integer at random, then we can do this. But, we cannot make the selection process uniform. Some numbers must be more likely than others. If every number has a probability of zero of being selected, then the total probability of any number being selected is zero - and that is no selection at all. And, if each number has an equal, finite probability of being selecetd then the total probability is more than ##1##, as it is infinite.

It's a common misconception that a uniform distribution can be defined on the set of positive integers, leading to the paradox that something with zero probability can happen.

It is also not possible to define a uniform distribution on, say, the positive real numbers. For essentially the same reason, that the probability density function cannot be zero everywhere and cannot be constant and finite everywhere. Athough, again, there are plenty of possible non-uniform distributions.
 
  • Like
Likes mishima
  • #18
"If we have a set of things, we can choose from those things using a uniform selection. This means every element has an equal probability of being selected. No matter how large we make , this is always finite."

OK but is it not true that you can't make the set infinitely large, that you have to limit it to define it as a set? That you can't have an infinite set because you can't put brackets around it.

"If we try to select, say, a positive integer at random, then we can do this. But, we cannot make the selection process uniform. Some numbers must be more likely than others. If every number has a probability of zero of being selected, then the total probability of any number being selected is zero - and that is no selection at all. And, if each number has an equal, finite probability of being selecetd then the total probability is more than 1 , as it is infinite."

Isn't it that the concepts of "zero probability," total probability of more than one and maybe "non-uniform distribution" just errors coming from the error of having an infinite set because you can't make any comment on probabilities unless you limit the set and then the total probability is always 1 and the individual probability is always 1/n?

Maybe all one can say is that the limit of 1/n the number chosen's probability as the set gets ever larger is defined as zero but the actual probability can't ever be zero. Also the limit of the size of the set n as the set gets ever larger is defined as infinite but the actual set of n things can never be infinite?
 
Last edited:
  • #19
Blargus said:
Maybe all one can say is that the limit of 1/n the number chosen's probability as the set gets ever larger is defined as zero but the actual probability can't ever be zero. Also the limit of the size of the set n as the set gets ever larger is defined as infinite but the actual set of n things can never be infinite?
You should use the reply feature!

You have to be careful when a limit is meaningful. In this case, taking the limit as ##n \to \infty## does not result in a valid probability distribution. Technically, the limit is simply the zero function defined on the positive integers. And, the zero function is not a valid probability distribution.
 
  • Like
Likes FactChecker
  • #20
Blargus said:
"If we have a set of things, we can choose from those things using a uniform selection. This means every element has an equal probability of being selected. No matter how large we make , this is always finite."

OK but is it not true that you can't make the set infinitely large, that you have to limit it to define it as a set? That you can't have an infinite set because you can't put brackets around it.
No, there is no problem defining a set with an infinite number of elements. You are referring only to the method of defining it by listing every element but there are other ways to define an infinite set. If I talk about all the real numbers between 0 and 1 inclusive, I can indicate that by [0,1] or by ##\{x\in \mathbb{R}: 0\le x\le1\}##. That is an infinite set. In fact, ##\mathbb{R}## is an infinite set.
The problem is only with assigning probabilities uniformly to some infinite sets. It is easy to define a uniform probability density function on [0,1] but not probabilities to the individual elements. It is not even possible to define a uniform probability density function on ##\mathbb{R}##.
 
  • #21
Blargus said:
Guess I'm looking at it philosophically. Not sure I can understand even defining a starting point on a supposedly infinite length.
Of course we can't talk about a physically real infinite length, but with that proviso, we can talk about the real number line and a starting point of, say, x = 2.

Blargus said:
Been awhile for calculus but looking at it isn't the limit example saying as n gets endlessly larger 1/n gets endlessly smaller which is different than saying 1/infinity=zero which might be a nonsense operation you can't do. Because 1/n as n gets endlessly larger never actually equals zero, it just gets endlessly closer?
Yes, this is different from saying ##\frac 1 \infty = 0## which is a meaningless equation.
However, when we write ##\lim_{n \to \infty}\frac 1 n = 0##, we're not saying that there is some n for which we get exactly zero. What we are saying, though, is this: however close to zero someone else requires, we can find a number N so that ##\frac 1 N## is closer than that required distance.

For example, if someone says they want to get within 0.01 of zero, I'll pick N = 101 (or any larger number), and ##\frac 1{101} < 0.01##. If they say, "Well, can you get within 0.001?" I'll pick N = 1001 or any larger value, and ##\frac 1{1001} < 0.001##. This dialogue can continue until the other person grows weary.
 
  • #22
Mark44 said:
Yes, this is different from saying 1/∞ = 0 which is a meaningless equation.
However, when we write limit n→∞1/n = 0 we're not saying that there is some n for which we get exactly zero. What we are saying, though, is this: however close to zero someone else requires, we can find a number N so that 1/n is closer than that required distance.
Ok yep. Aren't you also saying that 1/n is never going to be zero and n is never going to be ∞?
PeroK said:
You should use the reply feature!

You have to be careful when a limit is meaningful. In this case, taking the limit as n→∞ does not result in a valid probability distribution. Technically, the limit is simply the zero function defined on the positive integers. And, the zero function is not a valid probability distribution.
Hm, if I'm understanding aren't you confusing the limit as n approaches infinity for the value of n which it definitely can never be? Doesn't the limit as n “approaches infinity” here result in a valid probability for n? If n= infinity it doesn't but if n=a jillion or a jillion gazillion etc. as in a limit "guess" calculation explained above doesn't it result in a valid probability for that guess?

If n= infinity you get 1/infinity for probability, more than one for sum of all probabilities both nonsense can't exist but best you can say is the limit as n approaches infinity is infinity which is fine however close it approaches the probability is just 1/that but n is never going to be infinity and 1/n never going to be zero.

So maybe all you can say is that a set with a limit of an infinite of number of things exists thus it can't actually have an infinite number of things and that the limit of the probability of choosing a number is zero thus the actual probability can never be zero. Maybe thus a set with an infinite number of things doesn't exist.

"If I talk about all the real numbers between 0 and 1 inclusive, I can indicate that by [0,1] or by . That is an infinite set."

I wonder if you did define a set maybe you just set boundaries or something. If you can't designate or enumerate separate things in the set do you have a set of things?

Maybe instead of saying all real numbers don't you have to say all real numbers down to 10^10 or 10^a jillion decimal places or something on and on because anything else is maybe not an actual definition of a set of things? Again, because the limit of number of things in a set can be infinite but the number of things in the set can't actually be infinite?

You can sit down in a restaurant and soberly order an infinite number of hamburgers but they won't bring you anything they'll think you're crazy and can't pay for one because it's nonsense. Is that an actual legitimate order? But if you order a thousand hamburgers and are serious enough maybe with a briefcase full of money they might think the same but they'll at least recognize it as possible and explain they can't do it all they can do is 25 on short notice and then you say ok I'll settle for that.

But actually because of the “7%” inflation you really should just have one and you'll use a good portion of that briefcase on it.

Anyway I don't know if I'm able to argue any further than this I think I made my case maybe not I dunno.
 
Last edited:
  • #23
Blargus said:
So maybe all you can say is that a set with a limit of an infinite of number of things exists but it can't actually have an infinite number of things and that the limit of the probability of choosing a number is zero but the actual probability can never be zero. Maybe thus a set with an infinite number of things doesn't exist. Use of italics= I'm automatically correct btw.
Mathematics involves the study of infinite sets. I don't know where you got the idea that infinite sets don't exist. The natural numbers are an infinite set, for example.
 
  • #24
mishima said:
TL;DR Summary: Choosing 1 from an infinite set

Hi, my background isn't mathematics but I was wondering how this kind of problem might be approached.

They have asked if there was a knot somewhere in an infinitely long rope, would the knot ever be reached if you iterated through the length hand over hand?

How could I start to tackle this problem using the language of math and sets?
It depends on where the knot is. I think you are intending to assume a uniform distribution, that the knot is equally likely to be anywhere on the rope. Then the probability that the knot can be reached by any finite process (such as hand over hand) is zero.

In the language of sets you can imagine that each point on the rope is identified with a real number that is the distance from the end of the rope you have to start with. Suppose the highest number point you can hope to reach going hand to hand is x, while the actual location of the knot is y. The probability that x<y is one.
 
  • #25
Hornbein said:
It depends on where the knot is. I think you are intending to assume a uniform distribution, that the knot is equally likely to be anywhere on the rope.
No such distribution exists. Only for a finite rope.
 
  • #26
PeroK said:
No such distribution exists.
Well, infinite ropes don't exist either. We are already in a state of sin.
 
  • Sad
  • Like
Likes Blargus and PeroK
  • #27
Hornbein said:
Well, infinite ropes don't exist either. We are already in a state of sin.
You are falling into the error I pointed out above:

"Let ##p(x)## be a uniform probability distribution on ##\mathbb R##."

No such function ##p(x)## exists. Just saying the magic words "uniform distribution on ##\mathbb R##" doesn't ensure the existence of such a mathematical object.
 
  • #28
Maybe like infinite ropes not existing the infinite set of R doesn't either?
 
  • Sad
Likes PeroK
  • #29
Blargus said:
Maybe like infinite ropes not existing the infinite set of R doesn't either?
Then there is nothing to talk about! You may conclude that mathematics doesn't exist. That has the advantage of saving you the time and effort of learning mathematics!
 
  • Love
Likes Mark44
  • #30
Yeah nothing to talk about typical. If I'm being such an idiot about math why not enlighten me I spent some time and effort explaining my ideas but you can just make assertions apparently.
 
Last edited:
  • #31
Regardless of the probability distribution of the position of the knot, it is somewhere at a fixed, finite position. Once that is established, any issues of infinity are gone from the problem.
 
  • Like
Likes PeroK
  • #32
Blargus said:
Aren't you also saying that 1/n is never going to be zero and n is never going to be ∞?
Yes. For any finite value of n, 1/n will never be equal to zero. The idea with limits is that we can make 1/n as close to zero as anyone else requires.

Blargus said:
Hm, if I'm understanding aren't you confusing the limit as n approaches infinity for the value of n which it definitely can never be? Doesn't the limit as n “approaches infinity” here result in a valid probability for n?
No, I'm not confusing anything here. And, no, the limit as n "approaches infinity" doesn't have any connection with probabiity.
Further, the way this type of limit is defined mathematically doesn't mention "approaches infinity." What it does say is that no matter how close to zero someone else requires, we can specify a finite number M so that 1/M is closer to zero than what was required.

Blargus said:
If n= infinity it doesn't but if n=a jillion or a jillion gazillion etc. as in a limit "guess" calculation explained above doesn't it result in a valid probability for that guess?
Again, limits have no connection with probabilities. Also, "infinity," "jillion," and "jillion gazillion" aren't numbers in the real number system.

PeroK said:
You should use the reply feature!
I second this. The part in quotes below is actually a quote from @FactChecker, but you wouldn't know that as it was written.
Blargus said:
"If I talk about all the real numbers between 0 and 1 inclusive, I can indicate that by [0,1] or by ##\{x\in \mathbb{R}: 0\le x\le1\}##. That is an infinite set. In fact, ##\mathbb{R}## is an infinite set.. That is an infinite set."

I wonder if you did define a set maybe you just set boundaries or something. If you can't designate or enumerate separate things in the set do you have a set of things?
Setting boundaries for an interval on the real number line defines that set. It's not possible to enumerate all of the elements in an infinite set. On the other hand, if you tell me a number, I can tell you whether that number belongs to the interval [0, 1].

Blargus said:
Maybe like infinite ropes not existing the infinite set of R doesn't either?
Of course, infinite ropes or the real number line are abstractions don't "exist" in the real world sense, but so what? The concept of an ellipse is an abstraction, yet planets revolving about the sun follow elliptical paths. A parabola is an abstraction, yet we can use this abstraction to predict with some accuracy the flight of an arrow.
 
Last edited:
  • Like
Likes phinds
  • #33
Blargus said:
Not sure I can understand even defining a starting point on a supposedly infinite length.
How about the nonnegative real number axis -- the interval ##[0, \infty)##. Call 0 the starting point.
If that's not real enough for you, imagine that you start at Lat. 0.00° Long. 0.00° (out in the middle of the Gulf of Guinea, off the west coast of Africa). Head east in a boat and when you reach land, hop in your airplane and continue east. Keep going east until you eventually wind up at your starting point, but instead of stopping, keep heading east without ever making a final stop. The path you're on has infinite length, but has a defined starting point.
 
Last edited:
  • #34
Blargus said:
Guess I'm looking at it philosophically. Not sure I can understand even defining a starting point on a supposedly infinite length.
I can see your objection if you are talking about defining a general definition of the "starting point for a rope" that is infinite in both directions. If it is only infinite in only one direction, then you can say that the end in the other direction is a "starting point for the rope".
But I didn't interpret the OP that way. I interpreted it as saying that you pick any point on the rope and call that the starting point of your search for the knot. I don't see any problems with calling that a "starting point".
 
  • #35
FactChecker said:
Regardless of the probability distribution of the position of the knot, it is somewhere at a fixed, finite position. Once that is established, any issues of infinity are gone from the problem.
If the searcher has infinite time to search or can do it infinitely fast then sure any point can be found. But that's non-physical and this is a physics forum. I say the poster intended a finite search, which will find the knot on an infinite rope with probability zero.
 
  • #36
Hornbein said:
If the searcher has infinite time to search or can do it infinitely fast then sure any point can be found.
This is not correct.

Any point on the rope can be reached in finite time.

If I can search the rope at 1 metre per second and the knot is r metres from the beginning then I will reach the knot in r seconds.
 
  • Like
Likes Mark44, FactChecker and PeroK
  • #37
Hornbein said:
If the searcher has infinite time to search or can do it infinitely fast then sure any point can be found. But that's non-physical and this is a physics forum. I say the poster intended a finite search, which will find the knot on an infinite rope with probability zero.
He can start anywhere on the rope and move along it. He can always find the knot in finite time because he is a finite distance from the knot.
 
  • Like
Likes pbuk
  • #38
Mark44 said:
Again, limits have no connection with probabilities.
I guess I'm saying if you understand n as the number of items in a set and you're wondering about a set with an infinite number of items and the probability of choosing one, can't you set up lim n→∞n and look at it to see what n does and set up lim n→∞1/n to see what the probability of choosing n does? And if you do that you see evidence that you can't have a set with zero items or an infinite number of items? Which seems to make sense? So you can use that as a useful guideline that maybe infinite sets don't exist? I dunno. I guess it's a matter of belief. Sorry to be petulant I guess I'll have to look at what mathemeticians say about supposed "infinite sets" though maybe it gets into "set theory" if that's like "literary theory" maybe I'll pass and just have a possible inkling that mathematics is doing some evil weird stuff like other branches of science are. Sorry my opinion.

Mark44 said:
If that's not real enough for you, imagine that you start at Lat. 0.00° Long. 0.00° (out in the middle of the Gulf of Guinea, off the west coast of Africa).
If I start at that nonexistant point (infinitely small?), to define that point as real don't I define it as the physical dimensions of my body at that point? Or the size of a the boat or a quarter or a pinhead etc.? As I travel I trace a path along the globe based on my physical dimensions or the unit I want to use which can be as small as I choose. But I can't reasonably say there's no unit?

Let's indicate that point on a map it's going to be the size of the pen tip, let's go to it in reality it's going to be the size of us standing together at a reasonable polite distance unless we're fighting off sharks back to back with the last of our flare gun ammo while the UFO decides to pick us up. I dunno it might be a matter of belief or conception or something.
 
Last edited:
  • Skeptical
Likes weirdoguy
  • #39
Blargus said:
I guess I'm saying if you understand n as the number of items in a set and you're wondering about a set with an infinite number of items and the probability of choosing one, can't you set up lim n→∞n and look at it to see what n does and set up lim n→∞1/n to see what the probability of choosing n does?
The probability of choosing one item of an infinite set is zero.
##\lim_{n \to \infty} n = \infty## and ##\lim_{n \to \infty} \frac 1 n = 0##.
Keep in mind the the symbol ##\infty## doesn't represent a number. All the first limit is really saying is that the larger n gets, the larger n gets. (Duh...). What the second limit says is that the larger n gets, the smaller and closer to 0 that 1/n gets. In mathematics these limits are defined much more precisely than the words I used.

Blargus said:
And if you do that you see evidence that you can't have a set with zero items or an infinite number of items? Which seems to make sense? So you can use that as a useful guideline that maybe infinite sets don't exist?
A set with no elements in it is called an empty set. Saying that you can't have a set with no elements in it is a little like saying that it doesn't make sense to have zero of some item. A counterexample to that is when you have a checking account with $78.05 in it and you write a check for $78.05, then your account balance will be $0.00. The empty set serves a similar purpose as zero does in the real numbers.

As far as sets with an infinite number of items, they don't exist in reality, but mathematics is not restricted to dealing only with real, physical things. Most things in mathematics are abstractions, including numbers themselves.

Blargus said:
I dunno. I guess it's a matter of belief. Sorry to be petulant I guess I'll have to look at what mathemeticians say about supposed "infinite sets" though maybe it gets into "set theory"
Yes, very much so.

Blargus said:
if that's like "literary theory" maybe I'll pass
Set theory is nothing like so-called "literary theory."
Blargus said:
and just have a possible inkling that mathematics is doing some evil weird stuff like other branches of science are. Sorry my opinion.


Blargus said:
If I start at that nonexistant point (infinitely small?)
That point exists -- it's on the map.
Blargus said:
, to define that point as real don't I define it as the physical dimensions of my body at that point?
??? That point is defined by latitude and longitude coordinates. I don't see that the coordinates have anything to do with the dimensions of your body. Of course, to start out at the point I mentioned, you'd have to be satisfied by being within a few feet of it.
Blargus said:
Or the size of a the boat or a quarter or a pinhead etc.? As I travel I trace a path along the globe based on my physical dimensions or the unit I want to use which can be as small as I choose. But I can't reasonably say there's no unit?
The units of the point are in terms of degrees, minutes, and seconds of latitude and longitude. As you travel east you can keep track of your current position either by the coordinates of other points you reach or by the distance you've traveled, which would usually be in terms of miles or kilometers. I don't know why you would want to keep track of your position other than by using degrees, minutes, and seconds or in terms of miles/kilometers covered.

Blargus said:
Let's indicate that point on a map it's going to be the size of the pen tip, let's go to it in reality it's going to be the size of us standing together at a reasonable polite distance unless we're fighting off sharks back to back with the last of our flare gun ammo while the UFO decides to pick us up. I dunno it might be a matter of belief or conception or something.
You seem to be hung up on standing exactly on a particular point. It's OK if you are merely close to it. My point in this thought exercise was to get you to think about a possible infinitely long journey that had a defined endpoint.
 
  • #40
From post 18:
Blargus said:
OK but is it not true that you can't make the set infinitely large, that you have to limit it to define it as a set? That you can't have an infinite set because you can't put brackets around it.
No, that isn't true. Are you under the mistaken impression that for any set, all of its members have to be in the form of a list?
We can define a set like this, with all elements explicitly listed: A = {2, 4, 6, 8, 10}.
We can also define the same set using what is called set-builder notation. E.g., ##A = \{2n = \mathbb Z : 1 \le n \le 5\}##. In more explanatory form, this is the set of even integers from to to 10 inclusive. Here ##\mathbb Z## is a symbol that represents the integers.

We can define infinite sets using intervals: ##[0, \infty)## or using set-builder notation: ##\{x \in \mathbb R : 0 \le x < \infty\}##. Here ##\mathbb R## is a symbol that represents the real numbers.
 
  • #41
Well I guess I'm trying to make a philosophical point whether valid or not it seems like it is to me.
Mark44 said:
The probability of choosing one item of an infinite set is zero.

Keep in mind the the symbol∞ doesn't represent a number. All the first limit is really saying is that the larger n gets, the larger n gets. (Duh...). What the second limit says is that the larger n gets, the smaller and closer to 0 that 1/n gets. In mathematics these limits are defined much more precisely than the words I used.
The point has already been made but isn't it just nonsense to say "the probability of choosing one item from an infinite set is zero?" I think I understand and agree with the rest.

Mark44 said:
That point exists -- it's on the map.
If you draw a line of longitude and latitude according to the coordinates that intersect at that point, the lines must have some thickness to create a point thus the point must have some dimensions to exist. Maybe you can conceive of a line with no thickness or a point with no dimensions but it can't exist--be on the map--unless it has dimensions. edit: or can you even conceive of one really?
Mark44 said:
A set with no elements in it is called an empty set
Ok but from what little I've checked it seems a set has no real definition in mathematics or a very broad one so maybe that's the argument we're having. I'm defining it as a group of things. If a set is a group of things and there are no things then there is no set.
 
Last edited:
  • Skeptical
Likes weirdoguy
  • #42
Blargus said:
The point has already been made but isn't it just nonsense to say "the probability of choosing one item from an infinite set is zero?" I think I understand and agree with the rest.
That is a question that is discussed here and elsewhere occasionally. It is not a simple question. I personally have no problem with saying that a number between 0 and 1 has been selected using a uniform distribution, even though there are uncountably infinite numbers there, each with a zero probability.
I know that many people disagree with me, many who may be much smarter than me. But I don't have the brains or patience to worry about that.
Blargus said:
If you draw a line of longitude and latitude according to the coordinates that intersect at that point, the lines must have some thickness
The mathematical definition of a line is that it has no thickness. Although a human may not be able to draw the line, he can imagine it.
Blargus said:
to create a point thus the point must have some dimensions to exist. Maybe you can conceive of a line with no thickness or a point with no dimensions but it can't exist--be on the map--unless it has dimensions.
I think that you are conflating the mathematical definition of a line (and a point) with the ability of a human to draw one. The limitation of human ability is irrelevant.
Blargus said:
Ok but from what little I've checked it seems a set has no real definition in mathematics or a very broad one so maybe that's the argument we're having.
If you want to give a line or a point some positive physical dimension, then you will have a lot of work to defend that. The rational numbers between 0 and 1 are countably infinite and dense. If rational points have some positive size, they will overlap.
 
  • #43
FactChecker said:
The mathematical definition of a line is that it has no thickness. Although a human may not be able to draw the line, he can imagine it.
I wonder if he can.
FactChecker said:
The rational numbers between 0 and 1 are countably infinite and dense... If rational points have some positive size, they will overlap.
If I'm understanding...isn't "countably infinite" a contradiction? How can you say an infinite quantity of things is dense or not?
 
Last edited:
  • #44
Blargus said:
I wonder if he can.
Sure, IMO, a line with no width is easy to imagine.
Blargus said:
If I'm understanding...isn't "countably infinite" a contradiction?
Good question. The phrase in mathematics does not mean finite and countable. The rational numbers can be matched up one-to-one with the counting numbers, 1,2,3,... to infinity. That is called "countably infinite". On the other hand, there are too many irrational numbers to be matched up like that with the counting numbers. That is called "uncountably infinite".
Blargus said:
How can you say an infinite quantity of things is dense or not?
Consider any open line segment, ##(x1,x2), 0 \le x1 \lt x2 \le 1##, in line from 0 to 1. No matter how small it is, there is a rational number, ##r##, in that line segment. ##x1 \lt r \lt x2##. That is called "dense" in [0,1].
 
  • #45
FactChecker said:
Sure, IMO, a line with no width is easy to imagine.
I can't see mine because it has no width. Then I think well it must be there but since it has no width it can't be there either. Maybe if arbitrary or infinitesimal or unknown width ok there it is?
FactChecker said:
The rational numbers can be matched up one-to-one with the counting numbers, 1,2,3,... to infinity
If I'm understanding I would say no you can't. But I'm not a math person anyway agree to disagree I guess.

What's the process to match them up? Ok let's start 1 goes to 1/a billion, 2 goes to...wait wait we missed one go back. Ok start 1 goes to 1/a billion billion 2 goes to....wait wait stop again, we missed one start again!
 
Last edited:
  • #46
  • #47
FactChecker said:
Regarding counting the rational numbers.

This explains how to count the rational numbers: Integers & Rationals are both infinite but is it the SAME infinity?
Well thanks seems like nonsense sorry. "The snake" is an interesting way of ordering rational numbers I guess not that I totally get it seems like you can't order them at all as a total group. But 6:00 he says "I'm going to get to every one of these positive rational numbers eventually." But you're not.

And 7:18 "there are so many more rational numbers than integers." Seems to me that just because you can seemingly order them on a number line in between integers doesn't mean there's more, because both go on forever.

Is there a ratio between them that for every integer there's so many natural numbers? No because for every 1 integer there's infinite natural numbers.

Just my opinion just seems like an error of reasoning maybe.
 
Last edited:
  • Sad
Likes weirdoguy
  • #48
Blargus said:
But 6:00 he says "I'm going to get to every one of these positive rational numbers eventually." But you're not.
Yes, you are.
Any rational number, say 99/1000, will eventually be gotten to. The counting will wind around until it finally reaches up to the 1000th row and will start to include that row, starting with 1/1000. from then on, the counting will keep coming back up to that row (and beyond) and count 2/1000, 3/1000, etc. until it gets to 99/1000. There is no rational number that will not be counted.
 
  • #49
mishima said:
TL;DR Summary: Choosing 1 from an infinite set

They have asked if there was a knot somewhere in an infinitely long rope, would the knot ever be reached if you iterated through the length hand over hand?
Yes. Hand size probably not important but no limit on rate is stipulated. Speed up the search for the knot, while honoring relativity, by pulling faster and faster on the (inelastic) rope. You could speculate decreasing search time by replacing hand-over-hand with a hand cranked pulley or motor. The finite rope can be measured as < Aleph-Null units of length, if you want to introduce George Cantor's transfinite labeling scheme.

FactChecker said:
Suppose that the knot is in a fixed place and you started at some place on the rope. You can reach the knot in a finite time. That is true even if you started going in the wrong direction. You could 10 steps in one direction, turn around and go 100 steps in the other, turn around and go 1000 steps in the original direction, turn around and go 10000 steps, etc. By alternating your direction that way, you would eventually reach the knot no matter how far away it was and even if you started in the wrong direction.

The concept of changing search direction also works while giving the nod to searches on tape, common in teaching computer science. As @FactChecker states, bi-directional searches readily allow starting your search at any random section of rope. The next search iteration in a previous direction would also be a likely time to increase the search speed.

Arguments introducing rope tensile strength and similar conditions miss the point of the thought exercise: introducing your students to set theory. This 1D exercise provides a good introduction to teaching 2D searches on a flat plane where "Drunkard's Walk" offers surprising optimal results searching randomly for, say, lost keys within a finite area.
 
  • #50
Blargus said:
I can't see mine because it has no width. Then I think well it must be there but since it has no width it can't be there either. Maybe if arbitrary or infinitesimal or unknown width ok there it is?

If I'm understanding I would say no you can't. But I'm not a math person anyway agree to disagree I guess.

What's the process to match them up? Ok let's start 1 goes to 1/a billion, 2 goes to...wait wait we missed one go back. Ok start 1 goes to 1/a billion billion 2 goes to....wait wait stop again, we missed one start again!
Blargus said:
Well thanks seems like nonsense sorry. "The snake" is an interesting way of ordering rational numbers I guess not that I totally get it seems like you can't order them at all as a total group. But 6:00 he says "I'm going to get to every one of these positive rational numbers eventually." But you're not.

And 7:18 "there are so many more rational numbers than integers." Seems to me that just because you can seemingly order them on a number line in between integers doesn't mean there's more, because both go on forever.

Is there a ratio between them that for every integer there's so many natural numbers? No because for every 1 integer there's infinite natural numbers.

Just my opinion just seems like an error of reasoning maybe.
You've taken completely the wrong attitude by favouring your own homespun ideas. That's no basis for discussion. Mathematics is what it is. It's not going to change because you don't like it or can't understand it.

If you want to learn mathematics we may be able to help. If you want to replace the established knowledge of mathematics with your own self-styled ignorance, then you are wasting everyone's time.
 
  • Like
Likes Mark44 and FactChecker
Back
Top