Navigating an Infinitely Dense Minefield | Why Measure Infinity?
ฝัง
- เผยแพร่เมื่อ 15 พ.ค. 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?
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
> 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.
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'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:
th-cam.com/video/uLja-yAwuCI/w-d-xo.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
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!
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.
Thank you! This is incredibly useful for people with infinitely small feet.
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).
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.
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!!!
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.
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.
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.
Love the video! Keep up the outstanding work!
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
Assuming you an step onto the complex plane, you can navigate the minefield easily.
Thanks for the tip! Next time I'm in a minefield, I'll be sure to use this strategy!
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!)
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
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).
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.
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
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!
thank you for teaching me to navigate any minefield flawlessly.
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)
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
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.
Nice work Professor!
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:
th-cam.com/video/sj8Sg8qnjOg/w-d-xo.html
th-cam.com/video/p-xa-3V5KO8/w-d-xo.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.
First game in Squid Game 2?
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!
4:20 The Stern-Brocot sequence is a delightfully unexpected way to make such a list! ^_^
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 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.
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.
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).
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.
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.
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?
Very underrated. Keep it up! 👍
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]
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!
"practical problems" :-D. Well, maybe not, but I really loved your style. Here's a new subscriber, that's for sure.
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.
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.
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.
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.
Your videos are great!!!
finally a strategy to get to the end of the minefield I Skylanders spyro adventure! I've been stuck on it for 2 years
Is there an infinity, S, such that Z < S < R?
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.
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.
This is very good!
Hi Binocular I like your videos
8:07 i love silent shills. you've earned a like for that
This video is hilarious; I love it
i have genuinely no idea what youre talking about but it's very interesting
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.
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.
Infinity is very interesting. All mathematicians should think its interesting when you do something like integrate sin(x), 0
Hey can you make a playlist with the music you use in your videos? Good video!
This will be useful for the future.
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.
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 (½, ½))
One specific solution would be the lines (in parametrized vector form) (t, sqrt(2) * t) and (1 - sqrt(2) * t, 1 - t). They intersect at t = sqrt(2) - 1 (meaning 0 < t < 1, thus the intersection lies on the island) and one can easily see, that if t is irrational, the coordinates obviously can't both be rational and if t is rational, the term containing the sqrt(2) can not be rational. So for every value of t, meaning for every position along the path one of your coordinates must always be irrational, thus never crosses any mine.
It's really nice that this solution doesn't require the exact locations of the infinitely dense minefield.
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.
The area shown is actually very effective in expressing the importance of the varying interpretations of infinity. 1/inf may be equal to 0 but what form of 0, is 3(1/3) equal to 1 or 0.99...?
The answer is both, neither, and one.
Is there a way to list the rational numbers such that no fractional number is repeated? It seems to me that this listing will over count every rational number an infinite amount of times. And while there might be relatively few repeated fractions initially as we keep winding that proportion would grow until most of the time would be spent crossing out repetitions.
Do we even need to get rid of the repetitions? What is the size of the set of the repetitions themselves? Wouldn’t it also be a countably infinite set? Does leaving them in the set make the size of the set any larger? If each repetition is countably infinite, leaving its inclusion inside the set would be like leaving the even numbers inside the set of natural numbers. The only issue would be that each rational number are repeated a countably infinite amount of times, and there are countably infinite number of rational numbers. But if this still gives a countably infinite set then we could just leave them in, without changing the size of the set?
If we imagine the winding line to be discontinuous when it reaches a repeated rational numerical expression, is there a way to stitch this together to make a continuous function, without manually removing repetitions?
Determining the cardinal of set seems to involve taking traces of matrices. Uncountable infinite sets are interesting in that there is no countable trace that can contain them. The trace keeps track of eigenvalues. This may have some implications?
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 π.”
Good video ^^
That was very pog, nice and clean explanation, it was quite well executed and described
Never knew this was one of the obstacles my parents had to go through when going to school.
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?
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.
@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.
15:33 is the path 90°protractor (1/4 of a circle [Top left]) a mine-free path?
Is the way along the function x^pi works? I mean, you will always be on the coordinate, what is calculated as an *real number* in the power of *irrational number*, so, it will never be on a rational number point
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.
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.
The first thing that come to my mind when you say an infinite amount of mines, is
A) This will create an infinitely large universe that is composed of nothing but mines, if the space is infinitely dense with mines, and the can't overlap, like normal matter.
B) We basically just have a black hole here.
It only took a few moments looking at the minefield puzzle for me to conclude: "Just walk along a horizontal irrational number close to 0 and a vertical irrational number close to 1". Sure, it doesn't explain how to get to those corner points before 0,0 and 1,1, but that's most of the path.
Of course, I also scored a 32 (out of 36 max) on my Math SAT, so I have a better grasp of math than most people without being a mathematician. I've actually forgotten how to do derivatives myself.
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.
congo to 100k subs.
Luckily you made this tutorial , I wouldve never escaped this island... could you explain how to afford countably infinite mines next?
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.