Navigating an Infinitely Dense Minefield | Why Measure Infinity?
HTML-код
- Опубликовано: 13 июн 2024
- If you're in to math at all, there's a good chance you've encountered the idea that infinity can come in different sizes. And while that's cool, and keeps pure mathematicians off the streets, is there any practical use for it? Can you solve any problems with it? And does it matter at all to broader mathematics? To find out, we'll have to find a path thru an infinitely dense minefield.
=Chapters=
0:00 - Who cares about infinity?
2:15 - How to measure infinity
8:00 - The infinite minefield
10:45 - How many mines are there?
12:25 - Finding a way out
15:53 - Why it all matters
===============================
Want to support future videos? Become a patron at / morphocular
Thank you for your support!
===============================
The animations in this video were mostly made with a homemade Python library called "Morpho".
If you want to play with it, you can find it here:
github.com/morpho-matters/mor...
Mathematicians be like: "Some abstract math concepts have very real practical uses! For example, imagine a minefield with infinitely many mines..."
yeah lol. and i love that someone pointed out that infinitesimal size and only rational coordinates = 0 chance of you hitting one, as long as you foot is infinitesimal size.
but never mind that, the practicality is allready out the window with this XD for starters with a infinit amount of mines you have a 100% chance of them all blowing up by random.
That or they dont have such a weak explosion we back at you just walking to the boat with no problems to worry about.
@@MouseGoat If you wished to make abundantly clear that you do not understand what the word "infinite" means, you have suceeded.
And an uncountably infinity small foot
@@MouseGoat you're such a clown
I mean it helps with my Friday night drinking games
As a resident of Bosnia I can indeed confirm that method of traversing an infinitely dense minefield
Finally! A use for what I've learned from this video!
This is actually so good im mad that less people actually get it
hope you guys learned something!
F
as a resident of the afterlife, I can tell you this method doesn't work
I really love how the solution was "well I mean just walk lol you'll probably be fine"
Don't try to use your infinitely precise mathematical compass though
@@user-io7ed8nl2iif you’re brave enough to fight the monsters
You have infinitesimal extent, right?
Yeah, I can't tell you the number of times this exact scenario comes up. Why, just last week I was trapped on an infinitely small sailboat with infinite mines on board and some mathematician evenly distributed them all over this cartesian plane we were passing by. The whole thing made me late to my meeting with the Natural Numbers; it was a cardinal sin, I tell you.
I don't know, why this comment isn't popular but it made me chuckle :).
@@cemstrumental thank you, I'm unreasonably proud of it :)
@@MrSpeakerCone And you *should* be. I caught myself laughing out loud, and then I thought, "Wait a minute... this is just math stuff! Nicely done!
I assume that each mine is infinitely small? Yes, they would need to be in order to fit into a finite space.
So, if only the rational coordinates have a mine of infinitesimal size, that would mean that the total area covered by mines is actually zero, so one could walk about with impunity, safe in the knowledge that you'll never be blown up.
if only this didn't require the formalisation of measure theory...
this is only true if you assume your foot is also an infinitesimal point
@@hyperpsych6483 we do assume that, though. the example in the video assumes it too
Is this really seen as a practical example?
@@kreynolds7544 Is the concept of an infinitely dense minefield practical?
> argues that people find comparing infinities impractical
> uses "infinite minefield" as practical example...
Don't you think learning how infinities work and that that knowledge can be applied to solving problems is practical?
@@reidflemingworldstoughestm1394 Yes but how can it be applied to solving problems if the solution requires the assumption that your minefield is infinite
@@Tonatsi ?? The problem in the video is solved in this manner. Once the relationships and processes are understood, insight is gained, and the problem is solved. The practical value gained from solving the problem is the insight required to solve it -- whether you discovered it yourself, or simply learned it from instruction.
@@reidflemingworldstoughestm1394 I am still convinced this only exists to torture university students
@@Tonatsi 13th graders, possibly -- students, not so much.
the fact that the sea monsters are just an infinite sum symbol (with eyes and teeth) is an incredible detail lol
Here be sumations
∑
N=0
They are all divergent series
I'm confused as to how this demonstrates the practicality of infinity when the puzzle assumes there can be infinitely small points.
In retrospect, this might not have been the best example of a "practical" application of cardinality, but given just how abstract the concept is, I guess I figured even an infinitely dense minefield of point-like mines might qualify as an application! Though I'm sorry if the introduction was misleading.
I did make a follow on video where I tried to present a more serious problem where cardinality plays a pivotal role. Not sure if I succeeded, but you can find it here if you're interested:
ruclips.net/video/uLja-yAwuCI/видео.html
Yeah well in theory it’s still possible the size of our feet would always hit something dead on
@@TrueBladeSoul in theory, not only is it possible, it is guaranteed that you will hit something with *every* step you take, unless we assume that we touch the ground at a single point. This is precisely what it means that rational numbers are dense in the set of real numbers. On the other hand, when we walk, we don't drag our feet on the ground, i.e. we don't make a continuous path on the ground, but take steps. Therefore, one could simply step over the mines along the diagonal connecting the points (0,0) and (1,1). What I want to say, it's pointless to look for the shortcomings of the analogy of this problem with navigating a minefield, since it breaks immediately if we are to take it literally. The only purpose of the minefield story is that it's a cute way to introduce the problem to general audience, the problem being: find a continuous curve inside the square connecting (0,0) and (1,1) that doesn't cross any point that has both coordinates rational, except the starting and finishing point.
well if I remember correctly, in physics (fundamental) particles are modelled as being point-like / infinitely small, so it's not that bold of an assumption
@@phee4174 In physics a Planck length is seen as the shortest possible distance, and it’s not a distance of 0
My first thought was "there's infinitely more free spots than mines so just pick a random direction and send it," then I realized you still need to reach the boat so I thought "just slap a second one in that hits your line and the boat and you're golden," was not disappointed with the conclusion
i just saw that the edges of the island had a big enough gap for you to walk along them
My first thought was similar: "When people walk, they almost never are very precise with their movements. Even if you WANTED to step on a mine, you'd probably fail, because there's infinitely more space that's mineless than mined. Even the probability that your subatomic particles touch an exact point where a mine is, is minuscule. So, just walk. Even try walking in a straight line directly there, because you'd never get it straight enough to ACTUALLY hit a mine."
The smooth curve (x, x+pi/4(x-x^2)) starts at (0,0), ends at (1,1), and has no interior points with both coordinates rational. For, if x is rational and x-x^2 is not zero, obviously y is irrational. Otherwise x is irrational or 0 or 1, and we don't care if y is rational or not.
After considerable thought, I see that this argument is valid: since every rational point intersects a line through the origin with rational slope, then every line through the origin with irrational slope cannot intersect any rational points.
The worry is that when the irrational slope is say √2/2, then when x=√2/2, y is rational. But the point is still not a rational point.
It's a bit complicated. You can achieve the same with
y = x ^ a
Where a is an irrational number, like π or e
@@pafnutiytheartist “y = x^a with irrational a” is not sufficient. For example, if a = log₂(3) then (1/2, 1/3) is on the curve.
However, if a is algebraic (as well as irrational), then the Gelfond-Schneider theorem applies and any rational x corresponds to a transcendental y.
Morphocular: "But for an idea that seems like the most up in the clouds of theoretical musings it finds its way into some pretty practical fields of study."
Also Morphocular: let's talk about how to escape an infinitely dense mine field, with 1-dimensional mines, on our 1-dimensional toes. 😂😂👊🤪
It's comments like this that get people marooned on islands.
I'm glad I'm not the only one who saw that.
correction: 0 dimensional mines, the mines are points, not lines.
@@dragohammer6937 I'm deeply ashamed about this 🙁😲😲
@@things_leftunsaid I could explain that, but I'll send it to you it in Beth_ω days.
I love seeing these "practical applications" of the different sizes of infinities, especially when it's presented so well. Subscribed!
I love how SoME 1 has led to so many new math channels being created.
please make more videos, I just cant wait to say I've been following you since 150 subs when you inevitably get popular.
can you explain more ?
@@secunsecun6313 cam YOU explain more?
@@Schattenhall ??
Pick an irrational slope m so that y = mx. Then travel to the intercept with the line y = 1 - x at point x=1/(1+m) y = m/(1+m). You've made it halfway to the ship.
By symmetry, you can now switch your slope to 1/m also without running into rational points. The line will now be
y = (x-1)/m + 1
For any rational x, y =mx must be irrational, else m = y/x would be a rational number, which contradicts the assumption of irrational m. Thus, x and y cannot both be rational.
I took a similar tact using the same idea of irrational slopes. Note you chose an intercept at y=1-x, so neither x nor y can be rational at the intercept because if either were, they both would be.
But, depending how far back we go to first principles, that can create the perhaps slightly awkward requirement there be non-rational (x,y) points on the line y=1-x (because some would argue there is no such intercepting point given the two lines).
This can be avoided by not mentioning y=1-x in the first place. Of course, you will end up there regardless when you invert the slope to create the second line running through the point (1, 1).
Agree, this problem is absolutely obvious and doesn't require any infinities
Actually x and y have to be rationals at two points, the start and the end but I get what you mean
You complicated this so much. The simple function y=a^x - (a-1)^x when a is irrational and greater than 1 does the trick.
Indeed. In addition, your proof is constructive, i.e. it tells you where to go, whereas the proof in the video is not. The video and the proof in it are still nice, though.
I like how you can use Fermat's Last Theorem to solve this. x^n + y^n = z^n has no integers solutions with n>2. So let n=3 and z=1 to get x^3 + y^3 = 1, rearrange to get y = cbrt(1 - x^3). Finally flip it vertically with y = 1 - cbrt(1 - x^3), and you have a path that never hits a mine (since if x is rational, y cannot also be rational without finding a solution to x^3 + y^3 = z^3).
Obviously there are many other paths that work, but I think this one is quite elegant since it brings in such a famous theorem.
Awesome!
Another consequence of what you've outlined here: If you pick a random point in your minefield, the chances of hitting a mine are exactly zero! It's actually a pretty safe place. Here we have another paradox. In spite of the infinity of rational numbers between 0 and 1, you can't pick any one of them at random if you're choosing from the set of all real numbers in that interval. Here's a proof. Consider the decimal expansion of the rationals. They all eventually end in an infinitely repeating sequence (even if that sequence is all zeros). But when you pick a real number at random, and look at its decimal expansion, it will just be a random sequence of digits, which will certainly NOT end in an infinitely repeating sequence. You may see a repeating sequence somewhere to start with, but eventually (with probability increasing with each next digit) the repeating sequence will break. In short, your random number was irrational.
Randomly selecting a rational number out of all reals has 0 probability, but it doesn't make it impossible. In fact, fix a real number x. Probability to randomly select x out of all real numbers is 0. This is true for any x. But, if I do randomly select a number, I will in fact get some number, so an event that had 0 probability a priori just happened.
@@Ennar You need to integrate over sets of points to get useful answers. The probability integral over all rationals is zero, the one over the irrationals is one (provided your integral formalism doesn't break with disjoint sets like that)
@@sh4dow666 I'm familiar with Lebesgue integral.
Seems to me that there's a problem not with your conclusion but with your argument. Yes, at any given point along the decimal expansion the current sequence might break, but that doesn't mean that the number is definitely irrational. If you see 0.1361361368..., you might just be looking at a rational number with a repeated 10 decimal places, rather than the repeated 3 it initially looks like.
More generally, no matter how many digits past the decimal point we've "observed", there are still infinitely many rational numbers that start with this sequence, and the same will hold true no matter what the next digit turns out to be. I think part of the problem here lies in reasoning sequentially (i.e. about the "next digit") with something that has been chosen oracularly, with an infinite amount of information pre-determined.
@@hughcaldwell1034 Forget what we "observe" as we look at the decimal expansion. The fact is this: the decimal expansion of every rational number must eventually end in an infinitely repeating sequence. Finding a sequence in a rational number's expansion that repeats many times, but not infinitely many times, means the infinitely repeating sequence has yet to begin. So we ignore that sequence and keep looking. Actually, we don't even need to look. A rational number is defined as the quotient of 2 integers. Knowing those 2 integers it's not difficult to calculate exactly where the infinitely repeating sequence of digits begins.
So, if you claim to have picked a rational number at random among the real numbers, I would ask you for the 2 integers that define that rational number, calculate the location of its repeating digits in the decimal expansion, and compare that with the decimal expansion of the number you claim to have picked at random. Eventually, if your number was truly chosen at random, your number's decimal expansion MUST deviate from the predictable repeating sequence of the rational number you claimed to have chosen.
What an interesting video about avoiding infinitely many mines that showcases the real-world applications of considering infinity.
Your focus on the specific example as opposed to what it implies is an indicator of low IQ.
To stay as far as possible from the mines, move along the slope (1+√5)/2 until you hit the line y=1-x, then move directly toward the point (1, 1) along the slope 2/(1+√5).
Thank you! This is incredibly useful for people with infinitely small feet.
Whoa, this is amazingly interesting and extremely well made. I always thought it was cool how different sets had the same infinite cardinality but this showed me a lot of really cool stuff I didn't know.
Liked and subbed
Thank you! I'm glad you got so much out of this video.
How to Navigate Infinitely Dense Minefield: shoot one of the mines from a distance, the others will explode in a chain reaction, walk through the giant crater left over.
or you know, its only 1km, just swim around the island and get onto the boat.
Said there are water monsters, swimming gets you eaten.
You will probably die if you try shooting them
That's a risk I'm willing to take
@@starburst98 swim through the ground itself but under the mines
For finding a way out you could just go randomly and reach (1,1) with probability 1.
True. But having an event of probability 1 doesn't guarantee that it will necessarily happen.
@@Ennar ill take my chances
@@HUEHUEUHEPony good for you.
@@gregoryford2532 it absolutely doesn't. Infinity doesn't work the same way as finite sets. Imagine randomly picking a number between 0 and 1. The probability that you will pick irrational number is 1, yet you could also pick a rational number (with probability 0). So probability 1 doesn't mean certain, but almost certain, which is a subtle but important distinction.
You have released only two videos so far but you are already among my top math channels, with Numberphile and 3B1B. I pledge for more!!!
I saw this problem for the first time on stackexchange, and you explained it in a really good way! For the curious people, here's the mathematically precise statement of what he proved in this video: Let A be countable a subset of R^2. Then R^2 / A is arc-wise connected.
Assuming you an step onto the complex plane, you can navigate the minefield easily.
I figured you could travel in an arc instead, there wouldn't be any rational coordinates that fall on the path, right?
There are rational points if you just follow the unit circle, but if you picked an arc with an irrational radius then you should be fine
Love the video! Keep up the outstanding work!
Found this channel this weekend and I'm enjoying the videos. :) I only have one small quibble with this one, the minefield problem was to "find a solution", but the video only actually proved that an infinite number of solutions exist which isn't quite the same thing. (It's still an interesting topic though!)
My first approach was to use a segment of a translated ln(x) function such that it passed through both (1,1) and the origin. That being y=ln(x(e-1)+1) for 0
Couldnt you also follow a path of an altered sine wave. Think about it, the only pair of rational numbers for the input and output of sinx is (0,0)
What a cool proof! It almost feels like you sidestepped the entire problem and walked right into the solution.
This was one of the most bestest ways to frame a math problem to keep a my bird brain interested. Only happened a couple of times. Well done.
Interesting; I definitely wouldn’t have thought of it that way.
My approach would’ve probably been to just choose some combination of lines with irrational slopes, so one of the coordinates is always guaranteed to be irrational (and so not on a mine).
Could you also choose your path to be a sin (or cos or tan)? Since for nonzero rational arguments they always result in an irrational number, so they won't go through the mines. It would be cool if you could find an infinitely continuously derivable function like the trig functions to be solutions
thank you for teaching me to navigate any minefield flawlessly.
Thanks for the tip! Next time I'm in a minefield, I'll be sure to use this strategy!
First game in Squid Game 2?
Travel the curve
( t , (pi/4)^{t-1}*t)
Note that the curve starts at (0,0), ends at (1,1), lies within the square for t in [0,1] and when t is rational (so the x-coordinate is rational), then the y coordinate is not because if it was, this would imply pi/4 (and hence pi) is an algebraic number (which it isn't).
I enjoyed this, thank you!
For bonus safety, once you've selected your line out from 0,0 you can simply pick it's mirror going out from 1,1 to be the line which intersects it.
My first thought was to move along the golden ratio, then upon reaching the halfway line (the line connecting 0,1 to 1,0), travel along the inverse of the golden ratio.
Why, well I recall the golden ratio being the most irrational number, meaning I'd be the farthest away from an point described entirely by fractions of natural numbers, and logically so would its inverse, that way I can correct how off course I'd be if I only traveled along one or the other.
Well, ok, my absolutely first idea was to toss a stone and set off the infinitely powerful explosion. But that has its own problems.
Lesson Five. The shortest path... was a detour.
Your idea is correct, but you can take any irrational number instead of the golden ratio. Golden ratio is not the most irrational number. In fact, the golden ratio is just (1+ sqrt(5))/2 so I can even construct it using ruler and compass if I want. Hardly "the most irrational number" if you ask me. Also, you can never choose a point that will be farthest away from all the rational points, since for any point it's possible to find a rational point arbitrarily close to it. That's what it means for rational numbers to be dense in the set of real numbers.
@@Ennar
Well then I'm apparently misinterpreting these videos:
ruclips.net/video/sj8Sg8qnjOg/видео.html
ruclips.net/video/p-xa-3V5KO8/видео.html
@@Ennar The OP means 'most irrational' in the sense of Diophantine approximation, where indeed the golden ratio realizes the worst approximability by rationals.
@@proxy9321 ok, that makes sense. Thank you for clarifying.
I was thinking you could take steps of some fractional distance of pi since you aren't taking infinitely small steps you don't need a continuous path. Then I realized you could just walk to the boat without thinking since the probability of landing exactly on any mine approaches 0.
Nice work Professor!
You know, it occurred to me while watching this video that, if both coordinates must be rational to have a mine, then any grid line corresponding to an irrational number must have zero mines on it, creating a grid of mine-free points across the island. I kept waiting for that grid to become relevant, but it never happened
Because how do you get onto one of those grid lines from 0,0? That's exactly equivalent to the original problem.
Interestingly, when picking your real number for your slope, you do have to be careful because it's easy to not actually pick a truly random value. For example, any slope with a real number that can be written down with finite digits is rational. Additionally slopes with digits that form a repeating pattern are also able to be expressed as a ratio. You need to pick a number that can't be a ratio.
Hmmmm. I wonder if the set of constructible/algebraic numbers is countably infinite
Yes, both sets are countably infinite. Algebraic numbers are roots of polynomials with rational coefficients. There are countably many such polynomials because there are countably many rational numbers, and each polynomial has finitely many roots. Even if each polynomial had countably many roots, we would still end up with countably many algebraic numbers since countable times countable is still countable.
I was thinking the answer was something like “(sqrt(N))/(sqrt(2))” for the bottom, and similar (not exactly the same) for the right side
Basically, since there’s always irrational spots connected in a line, you’re safe (since points are at rational spots only)
The problem with this is that it's possible for sqrt(N)/sqrt(2) to be a rational number. N = 2, 8, 32 is all rational. This also applies to when N < 0, like N = 1/2, 1/8, 1/32.
Very underrated. Keep it up! 👍
Your videos are great!!!
If you walk diagonally towards the boat, you can make sure you don't hit any mines by ensuring that every step's length is a fraction of 1, which always puts you at an irrational point, but if the distance you walk is sqrt(2)/2, then you'll end up right on [.5,.5]
What's the shortest of the oncountably many paths to freedom? Can this be answered at all?
My guess is sqrt(2), which is the length of the main diagonal. I know that line itself is not usable, but 2 other line segments infinitesimally angled away would do, and their combined length would surely have a limit of sqrt(2), if not actually reaching it.
@@CarlSmithNZ There would be an infinite sequence of paths approaching the limit of length sqrt(2) but never reaching it. That is to say, there is no "shortest" path as you can always find a shorter one.
The weirdness of infinite and concrete conclusions we can draw if we carefully work with such an abstract concept is absolutely fascinating.
Yes, yes it is. Nobody really understands why mathematics works, but it does.
"practical problems" :-D. Well, maybe not, but I really loved your style. Here's a new subscriber, that's for sure.
If they were real Sigma monsters they would have jump on land, dying to a mine under their own terms
Quite so. I just assumed they are divergent.
This method you used is one way to show that removing countably infinite collection of points from the plane ( or in general R^n ) will give u a space that is still path connected!
4:20 The Stern-Brocot sequence is a delightfully unexpected way to make such a list! ^_^
This video is hilarious; I love it
This problem is very pretty. I was worried about density of rationals, and indeed, in R, this is impossible: a point in R separates the space. But in R^2, a point does not separate the space (a nice topological difference between R and R^2). Thus it is indeed possible to find such a line that always has irrationals in one-coordinate. Clever!
Excellent video! Thank you!
I would construct my path with two straight lines, y=kx, and (y-1)=k(x-1). Just pick the slope of my lines to be any irrational numbers, for example, k=sqrt(3) and 1/sqrt(3). Start out on the 60-degree line, and finish the second half of the path on the 30-degree line. Since my slope k is irrational number, y=kx, x and y can't be both rational at the same time.
wait this kinda makes me think of what if there was a portal on both ends of the line but the person can pass threw the portal traveling the same distance while not being to physicaly touch the mines mind blown cool vid Isubed.
This will be useful for the future.
8:07 i love silent shills. you've earned a like for that
Your video helped me understand something I was having trouble with with the old explanations.
You showed the... I don't know the correct term but the thing where you take a diagonal of all the numbers to show a new number.
For awhile I never understood why we can't take out the staring 0. And say that all natural/normal numbers are as numerous as the real numbers.
By making the distinction at the beginning of calling it "countable" I can see that the countability aspect is important.
It is an axiom of infinite math. We have decided that a type of infinity is the kind that we can list from 1 to infinity and while you can find new whole number that you didn't count by using that diagonal proof it is unhelpful because it is changing it from a countable infinity to an uncountable one.
Thank you for clearing this up for me and thank you for posting this video it really helps?
Infinity is very interesting. All mathematicians should think its interesting when you do something like integrate sin(x), 0
i have genuinely no idea what youre talking about but it's very interesting
This is very good!
finally a strategy to get to the end of the minefield I Skylanders spyro adventure! I've been stuck on it for 2 years
It's really nice that this solution doesn't require the exact locations of the infinitely dense minefield.
Hi Binocular I like your videos
Thanks for the practical advice, I'll try to remember it next time I anger a vengeful god of mathematics and am forced to solve an esoteric problem involving set theory for my survival. It happens far more often than you might think.
Considering the minefield is infinitely dense, i'll throw something to detonate some at a safe distance. Since they're so close, that will set off chain reactions and clear the minefield easily.
Interesting topic, and good video!
I will say though I was confused when you asked the question, when you said it I thought the answer would have been something like take steps along the line of equation y=x of length 1m, on the 4th step take a step of 2m then go back to steps of 1m except for every 3rd step (so the step length would be 1, 1, 1, 2, 1, 1, 2, 1, 1, 2,) until you reach the edge of the island when you can just step on the point (1, 1).
Would it be possible to go along (sin(t), sin(t)) where t is time, due to Niven's theorem?
(Perhaps one would have to scale it by 2 to avoid (½, ½))
A lot of people don't consider that depending on the scope of a problem, you can approximate some values to infinitely large or infinitely small instead of measuring. That is the true real world application of infinities and limits.
For example, calculating focal length. If you are using light from very far away, you can approximate to infinity.
Never knew this was one of the obstacles my parents had to go through when going to school.
how small do these mines have to be if every nanometer can fit infinitely many of them? and for that matter, how powerful can a mine be if it's small enough to fit infinitely many copies of itself into a single nanometer?
Considering that each mine represents a rational number, you can just walk from A to B since the amount of irrational numbers is so much bigger and so much more... omnipresent .
Hey can you make a playlist with the music you use in your videos? Good video!
Sure sizes of infinities seems like something with no practical applications, but imagine if you were on an island with infinitely many infinitely dense land mines.
Now you see just how practical this concept is in a real world situation.
Maybe you could wander through the minefield without hitting a mine. But if you tried to program a robot to do it, they wouldn't be able to, since they could only choose a direction with floating point numbers, and those are rational.
I have returned, please keep making videos I love your animations and explanations. My only criticism is when giving the background knowledge/introduction the dense information can be hard to follow.
Thanks for your feedback. I'll keep that in mind.
@@morphocular the way you explained background seems to work well as a refresher though. But If it's the first time you're seeing it then yeah it might a bit hard to follow.
My guess: You can move across on a diagonal with a slope that's a multiple of an irrational number, like y=(pi)x. Of course, because the optimal path is 1:1, you will have to switch direction to some irrational number that has a different slope to reach the goal.
How to win war using mines alone:
1. Plant infinite mines where enemy is
2. Since the mine density is infinite, the minefield turns into a black hole
3. your enemy got swallowed by the black hole
As hard as the problem seems at first, the same countability argument shows that the following strategy reaches the boat with probability 1. Pick a random amount of time to walk and a random direction to walk in. When the time is up, walk straight toward the boat.
while watching this all I could think of is how similar this is to faster than light space travel and how the odds of you hitting a celestial object are practically zero unless you're aiming for it
The diagonal from 0,0 to 1,1 has infinitely many free points, such as sqrt(2),sqrt(2). All you need to do is find the nearest multiple of sqrt(2), for instance 0.01 - any number will suffice - that is comfortable for you to step over to (your stride length, as a function of sqrt(2)). Simply take enough steps (approximately the exact number of steps it would take you to casually walk the diagonal) of that length along the 45 degree diagonal, and you'll have the shortest distance that guarantees no mines.
when making a route to the exit boat how do you at what point to turn? If you could define this point would there be a mine there?
A method I came up with:
Walk on a line with slope pi
This ensures that for any distance traveled results in a y coordinate of a multiple of pi.
If the multiple forms a rational number y coordinate then the multiple has to also contain pi making it an irrational number, in this case the x coordinate is an irrational number.
Continue walking until intersecting the diagonal of the island, at this point start walking at a slope of 1/pi, this has the same effect of irrational coordinates and also will lead to the opposite corner.
This can be used with any irrational slope eg. e, pi/2 etc.
Luckily you made this tutorial , I wouldve never escaped this island... could you explain how to afford countably infinite mines next?
Good video ^^
can you do an explainer on why finite and some uncountable sets can have uniform distributions/measures, but countable sets can't? as in the intuition behind what you lose and then regain as you go to infinity and then beyond.
That's a topic that's been sitting on my list for a while, actually. I might just make a video on it some day :)
I find it interesting that there are uncountable sets of measure zero.
Good puzzle. I was a math major and I fell into the trap of figuring out how some monstrosity like the Weierstrass function would help. Only once you insisted the answer was simple did I think “wait, just take a line of slope π.”
I didn't look at subscriber count before watching, and the entire time I absentmindedly assumed I'm watching a 1 million subscriber channel
@6:37 "and I can just play this trick again with the new list". The fun thing is that not only is this new number not in the new list, but because the new list contains all numbers in the original list, it also cannot be in the original list. So no matter what the original list was, we can generate not just one, but an infinte number of numbers not in that list.
Worthwhile noting that the set of all finite decimals is countable: you can just write 'em backwards and get a unique integer.
Very beautiful video! I was thinking: if I consider a subset with dense and uncountable cardinality but with measure 0 (for example C^2, where C is the Cantor set), is it still possible to find a way to escape?
Cantor set is nowhere dense. But consider the set C' - the set of all real numbers in an interval from 0 to 1, whose base-3 expansion contains finitely many digits 1. (It can be shown that this is a union of countably many shifted and scaled down copies of the Cantor set.) Now let the set to avoid be C'^2.
Frankly, there is quite a straight solution to this problem. Just pick random point inside the square, which has one and only one irrational coordinate, and take a path from start to this point, following with a path from the point to the finish.
You would succeed, because the start and destination points have rational coordinates, and so any given point of these two lines, the coordinates would be computed as a linear combination of the irrational and rational numbers, divided by a linear combination of rational numbers (which would be in fact irrational). So, you would always have a way (and infinitely many others) to complete the journey.
My first thought was that the mines would be countable infinite while space is undoubtably infinite, so my plan was to draw and random map leading to the exit and take it, knowing I can’t draw infinitely precise on a countable infinite map
An alternative way to find a path is to look at the part of the curve |x|^3 + |y-1|^3 = 1 that connects zero and 1. (f(t) = (t, cuberoot(t^3-1)+1)
Now suppose x and y are rational : then you get, writing x = a/b and y = c/d, (ad)^3 + (bc-bd)^3 = (bd)^3, which contradicts Fermat's last theorem. Therefore, this path is safe :)
love how the water monsters are summs.
Now assume that the mines, rather than being point-like, are disks centered at rational coordinates with radius equal to \epsilon / LCD(x, y). Still doable? And for what values of \epsilon?
The way I think about this (I might be wrong, this is just what I understand) is a countably infinite set of numbers means you can find a number greater than another, and not miss any. Uncountably infinite numbers make it impossible, as there is always something in between.