Feedback: I think many of us were a bit confused about how a sphere of circles can have their poles (the two missing points) be on an arbitrary positions of the sphere. From what I understand from reading a comment, it is something to do with Möbius transformations on a Riemann sphere. I can understand that this would have been too much detail to go into, but it would have been nice to mention that this was a thing you skipped over, maybe even just some text or a footnote in the corner of the screen or something. Super interesting and good video though! You (Brady) are usually very good at asking questions about this sort of thing, and I don't blame you for missing this one (assuming you did). Keep up the good work! :)
Thank you, this is exactly the missing part of explanation I needed! I thought the poles had to be opposite (because that's what they are in the drawn example), but now I realize they can be anywhere. Let's say we take Earth, shift the North Pole to somewhere in Argentina, but leave the South Pole where it is. Now we can STILL draw latitudes between the poles, only now those latitudes are no longer parallel, but instead are further apart on one side of the Earth than on the other. But with infinitely many of them, we still hit every point.
I think the easy way to think about it is this: A circle on a sphere can be obtained by the intersection of the sphere with any plane. Now, if you have two points on a sphere, we can take the two planes which are tangent to the sphere at each of the points. These two planes intersect at a line. Now we can sweep between the two planes by rotating around this line. This gives us a family of planes, which in turn gives us a family of circles on the sphere.
I'm just impressed with how well she can free hand draw a circle. If I try it, it looks like I've dropped an elastic band on the page, had too much coffee and then tried to trace around it.
the way to wrap the globe with circles when the removed two points A, B aren't polar opposites: construct a touching plane to the sphere at both of them, and consider the line p where the two of them will intersect (because they aren't parallel since A, B weren't polar opposites) and now for each plane going trough this line p that intersects the sphere, it gives one of the circles that cover the sphere
@gabor6259 Remember, we are talking about infinitely many circles that are already "infinitely tightly spaced", in just the same way all the points on a line segment are spaced. If you smoosh them together by a factor of 2, for example, they are actually still spaced in the same way, any two distinct circles still don't touch. Smooshing them or stretching by a factor of "infinity" would break it.
Some viewers may not understand why the 2 points missing on the sphere can be moved around - why they don't have to be opposite each other. So I'll fill in that detail with a geometric argument that isn't too advanced: Circles on a sphere can be thought of as the intersection of the sphere and a plane that's not tangent to the sphere. For the diagram shown in the video, draw a straight line between the 2 points that don't get covered. Notice that the line is normal to those points on the sphere (perpendicular to the tangent planes of the sphere at both points). And notice that the planes we'll use to define the circles are all the planes that are normal to that line. So in the general case, for 2 arbitrary points on the sphere, draw a curve that's normal to those points on the sphere (make it a nice curve - not self-intersecting, smooth). And then the circles are those formed by the planes that are normal to that curve. There is one more detail we have to consider - if the curve isn't a straight line, then the planes will intersect with each other, since they're no longer parallel - but this is fine as long as they don't intersect ON the sphere, they can intersect without making the circles intersect or touch. If you're good at visualizing, you can imagine the circles being swept along the curve without intersecting - the curve acts like a hinge to move the circles through.
After a few attempts at drawing, I was able to get a visual that makes sense to me. My current best description is a paper fan that swats through the sphere.
@@gabor6259 Short answer: no. The problem was only to cover a sphere with 2 points missing by using circles that don't touch/intersect. The concept of "density" for the circles was never defined/needed. What you are describing would be a different problem. Here are some thoughts related to that: There is a sense in which the density is different for spheres with different missing pairs of points, but there is also a sense in which the density is always the same. On the sphere, around any circle, there is always a continuum of other circles. This might be easier to see on the height of a cylinder. Imagine the height of a cylinder being covered by circles in the most obvious way. Now imagine a line going through the cylinder in its center (parallel to the height). We can project the circles onto the line (imagine that each circle is equivalent to a point on the line at the same height). Then around each point, there is an entire continuum of points (a connected section of the real line). So in an analogous sense, around each circle, there is an entire continuum of circles. Consider that same setup, but this time make the cylinder have a height that ranges from 0 to 1. Now imagine a transformation of the cylinder that sends the height at value x to the height at value x^2. This transformation sends us back the exact same cylinder, but in a sense, it squished everything down. Although the circles would get packed down closer together, we can do the exact same projection onto the points on the same line as before and we see that around each point/circle, there is still an entire continuum of points/circles. This is related to Order Theory (and also Set Theory). In this sense, on the real line (and on stuff that can be made to look like the real line), density doesn't change. On the other hand, in Measure Theory, we can give a "size" to subsets of the continuum and say that although around each point is a continuum, they are different "sizes" of continuum. We can use this to compare the size before and after the transformation. Now to relate this to our sphere problem. We again project our circles onto the line (the one we used to act as a hinge for the planes we used to define the circles). So in the Order Theory sense, the density is the same everywhere. Now, if the density of this line varies (in the Measure Theory sense), we can always apply a transformation on the line (which is the same thing as applying a transformation on the sphere) that makes the density of the line constant. So even in that Measure Theory sense, there is a way to say that the density is the same. But, if I had to guess what you're really talking about: There are other projections you can do besides onto the hinge. If you consider the great circle that goes through the 2 missing points, each of the arcs (separated by the points) defines a separate projection of the circles on the sphere. While each of these projections can be made to have constant density, you're probably thinking about the more obvious fact that each of these arcs have different arclengths. So in this sense, one projection is more dense than the other - one side of the sphere is more dense than the other. Technically, this is still malleable, because measures are malleable - you could "artificially" say that the 2 arcs have the same arclength/measure and be done with it. But we really don't want to say that. There's something in us that screams out "One of the arcs is clearly larger than the other". It's our evolutionarily induced concept of distance/perception. Adhering to that, only the case where the 2 points are opposite yields equal density on either side, as you said.
I don't really get the 3D construction. I guess the initial circles are supposed to fill in the missing 2 points of each sphere. But so far, those points were on the oppsite ends of the sphere. Aren't we missing a step here to show that for ANY 2 points we can cover the rest of the sphere with circles?
Here’s a general argument and a concrete construction. 1. There are transformations of a sphere that leave circles on it as circles but can map a pair of distinct points to any given pair of distinct points. They can be realized as Möbius transformations on a Riemann sphere (complex numbers plus an infinite point, stereographically projected onto a sphere). So we can take our “parallel circles” construction and map it into a construction where untouched “poles” are not antipodal. 2. Concretely, when two “poles” aren’t antipodal on a sphere, you just take a line outside the sphere and slice the sphere with planes that go through that line. Each intersection will give either a circle on the sphere or a point; the pair of points closer and closer together if the line is closer to the sphere. If you look at this construction in projective space, you can make the line infinitely distant. Then planes going through it will be parallel (in the usual non-projective space) and we retrieve the original construction with antipodal “poles”.
I guess it would have been too much detail for the video, but here's a slightly more formal way to describe it. Any plane intersecting a sphere either defines a point (if they're tangent) or a circle (otherwise). For the case where we're leaving out the poles, think of a plane tangent at the top, a plane tangent at the bottom, and all the intermediate planes between and parallel to the first two. Now for leaving out two points not opposite each other, think of the planes tangent at those points. They will intersect in a line outside the sphere. Think of that line as a hinge. Now the intermediate planes also go through that hinge line. They swing from one point to the other. Each intermediate plane defines a circle on the sphere, none of the circles intersect, and every point on the sphere is on one of the circles, except for the two original points on the tangent planes.
@@colesweed Not shocked, but still excited to hear that. One of my first mental exercises after the video was "what R^n does S^0 partition?" and concluded "R^1 or greater, because S^0 is just a pair and you can parition R into pairs". One obvious way: pair non-integers x with -x, pair integers 2n with 2n+1. Then I immediately noticed this was exactly how the x-axis looked in the video (excepting a scale factor of 2). When I also noticed that "pair x with x+1 if floor(x) is even, otherwise x+1" also partions R into S^0, I started wondering if that had an analogue in partitioning R^3 into S^1.
It's all about using a lower dimension object in a higher dimension. The higher dimension gives you more flexibility to stack and manipulate your lower dimension objects. I would suspect that you can't cover a 3D space entirely with 3D objects like spheres or you would run into the same problem you had with 2D objects in 2D space. Just my take on it anyways.
What I love about Numberphile is that every other video explains some problem in very simple and approachable terms before quickly running into the limits of what we know. It is actually really inspiring and showcases what math is really about. It's not about formulas or calculations, but about gently pushing through these boundaries and exploring the unknown ❤
I think an important point was glossed over. My first instinct was to think there must be gaps between the concentric circles. But then I realized this: For any point, consider all possible circles of radius n centered at that point, where n is a positive real number. No two circles would touch each other, but every point in the plane would lie on one of these circles. This means not only is the number of circles infinite, it's uncountably infinite! With that in mind, the point of the video made more sense to me.
Yeah, I had a "hang on a minute!" thought part way through the video. The 'line' of a circle has zero width, so it's not actually covering *anything*. You are, indeed, going to have to use an infinite number of them in order for their zero/infinitesimal line-width to collectively cover anything. Really all that's happening is defining a set of circles whose points leave no point in the plane unaccounted for.
Yes, I think the hand-wavey way the circles are added gives the impression of countably infinitely many circles, when uncountably infinitely many are required, and failing to explain this and all the other complexities of infinity makes the whole thing a lot harder to understand what's going on IMO.
Hello @KenHaley4, thanks for your comment, because I also had the same “Hang on” moment as yours right after the start of the video. Your comment helped me understand why the original concentric circles in the 2D case could cover up every point (except the center). However, I’m not sure about: “for any point, consider all possible circles of radius n centered at that point”? The original “simple” concentric circles alone are sufficient to cover the entire 2D plane (except for the center); it seems these “new” circles only introduce “more new gaps” than without them. No? Thanks.
This video makes no sense. They don't define what "covering" means. Infinitely many circles of radius epsilon (essentially the smallest non-zero number) "cover" the infinite plane, but even with any stroke width, you'd still need infinitely many circles of radius epsilon to "cover" the gap between any two non-infinitesimal circles, so what's the point of the video? The "solution" is dependent on the rules: that it's either impossible if circles of radius epsilon are not allowed, or possible if they are allowed.
@@BujuArena"Covering" the plane means: for every single point on the plane, there must be (exactly) one circle which contains that point. You can't use circles of radius epsilon because no matter what the circle's radius is, I can always pick a number x that's smaller than that radius and ask "is the point with coordinates (0,x) on this circle?", which it won't be.
Nice video. Can you explain why the point in the center does not meet the definition of a circle? As you say, "a circle is just the collection of points in a two-dimensional space which are some fixed distance away from a center". Is there an additional requirement that the distance is greater than 0 and/or does the word "distance" imply a non-zero value?
I'm going to take a stab at this, not idea if it's correct. A point, by definition, is simply a specified coordinate with no dimensions. It fills no space, it's just a location. A circle (or square, or line, or any other shape) is an object that consists of a theoretically infinite number of connected points. A circle with a radius of 0 would consist of 0 points and would be indistinguishable from empty space. You cannot fill empty space with more empty space and consider it "filled", as the original problem required.
@@TicoTimeCR Sure you can. That's just a space filling curve. The real number line is nothing but an uncountably infinite number of points of zero area, and they fill an infinite length.
When explaining why this doesn't work for the 2D example and how the centre of the circle is the sticking point Dr Krieger says 'at the end of the process we're going to end up with a single point here, just like in the original example, that cannot lie in any of the circles'. I don't understand why there has to be an end to the process of adding more and more circles here - after all there was clearly no end to the process of adding concentric circles outside the original circles to cover the exterior, and that wasn't an issue, and there are an infinite number of points inside the circle as well, so we're not going to run out of points to run circles through. Can anyone explain what I'm misunderstanding here?
A point is dimensionless. Any circle you can draw, however small will always be larger than a point. And by the definition of what makes a circle (as Dr Krieger says in the video) there will always be a point at the centre of the circle, equidistant from all points on the circle.
I think the idea is that when you're expanding outward, you can always provide a valid circle that covers any given point. Moving inward, per the constraints of the problem, no valid circle can ever occupy the origin (0,0), even in the infinite limit. It's less about "reaching" the middle as it is that there is no solution in which the middle is covered with concentric circles.
But if a point is dimensionless, surely it is nonsense to consider filling it? What I think we are discussing here is that a circle must pass through every point, hence the effort to offset from the centre.
As I understand it, the limit of centre points lies inside all the circles constructed through this process. Since the radii of the circles tend towards zero, that means that the limit of centres lies inside a circle with arbitrarily small radius. This means that if there was a circle that that point lies on, whatever radius it has, there is always a circle which contains that point which is smaller than that circle, so they must intersect.
The way the dilemma is worded seems odd... The circles are not allowed to kiss, therefore cannot be tangent to each other, therefore, by definition, there is space between the two circles which can be infinitely divided... even if the space is infinitesimal. You have axiomatically made the game impossible. That's what happens when you try to establish a difference between tangential and infinitely near. They are different in concept in how you think of them, but they are the same in application. It's like saying you can never fill a glass with water because atoms and molecules are mostly empty space
Having thought about it, the same argument should apply for any dimension that it can be covered with dimension n-1 sphere equivalents. With the 4th dimension, we can do the same trick of using infinitely many hollow 3D spheres of increasing then decreasing size to cover a hypersphere, then we can from an origin arange more spheres to intersect the center points, rotating them into to 4th dimension to avoid the overlapp.
@@vik24oct1991I sympathise more with confusion or awe than this half-baked explanation. In what precise sense does a circle have an infinitesimal width, as opposed to zero width? Width could be crudely described along the lines of the length you can move orthogonal to the boundary, starting from a point on the boundary, until you exit the object (ie the width of a rectangle from a given point would be the length of one of its sides) By this definition (and any other definition that takes values in R), a circle would have 0 width. The reason we can cover the space is because we have an uncountable number of these circles - countable unions would preserve the measure 0, whereas these uncountable unions manage to allow area to be generated from area-free shapes. I think intuitively this should make sense as in general we can construct n+1 dimensions from n similarly, by stacking planes atop each other.
The part I feel like I'm missing is that the two holes in the sphere don't have to be at the poles. It seems like the fact that there are two and only two holes and insuring that the spheres keep hitting the circles exactly two times is important but I'm lost as to how those holes in the sphere get moved around.
At first I thought there was a problem when the red sphere is tangent to a black circle, but now I see for those spheres, they are also tangent to a 2nd black circle, and so still have two points removed... partitioning R3 into circles is quite unexpected...
In case a line counts as a circle (limit when radius goes to infinity) a simple construction to fill space with circles would be: (1) Use circles to cover a sphere without two points (at north pole and south pole). (2) Fill interior and exterior with scaled copies of this hole-y sphere, so that the holes form a (missing) line. (3) Fill the (missing) line with the infinite circle. Would be even simpler but more boring starting with the infinite-radius circle line and wrapping circles around it forming layered cylinders.
A lot of times problems are formulated precisely in the way that makes them interesting. "If lines are allowed it's simple, but is it possible if lines aren't allowed?"
This is where I realise that I'm not very smart because I thought it was easy, depending on one of two things; either you accept that it is infinite, or you define the resolution you're working to and at some point the smallest circle you can draw will fill the centre.
Partition means numbers catagory. Some fall some don't. Depends on how you write a equation. Logic paste. Circle means number group. π x/y. Waves are considered number groups and they always show duality.
Clearly this video has everyone thinking about how to ask the most useful questions in math and what are the most useful explanations. It’s a great jumping off point that has peaked my curiosity! So which masterful, math UA-camr is going to make the hour-long video explaining this more thoroughly? ….. (I don’t have the skills, but I am curious and would definitely watch it!)
There appears to be a symmetry in the limits of this thought experiment if you allow : - circle radius=0 (then the central circle is a point no problem) - circle radius = infinity (then you cover the plane with straight lines)
This makes me think of two things: kissing numbers and the optimal packing of conical glasses in the cupboard when emptying the dishwasher in the office, to fill the time I wait on my coffee.
This is perfect! I just bought the original spirograph kit today! I'm taking geometry in my math class right now. I'm shring this with my teacher. I'm interested to see how this might intersect with my spirographing :)
Quel plaisir de savoir le Dr Krieger de retour. Je suis heureux de savoir qu'elle va bien, et qu'elle a de nouveau du temps à consacrer au public de Numberphile. Sur ce, bonne année à toutes et tous.
What if we invert the plane? Where we want to move the points that lie in the middle to the points that will now make the edge? So now all the points that were initially infinitely far away they are located in the single point in the middle of the plane, where all points that were in the middle are now on the outside of the plane. Apparently since going to infinity wasn’t a problem for making circles, we just need to invert until all of the points on the circle at infinity come together to create new origin point. Or you could rename all points 1 radius away from the circle 0. So a circle that previously had a radius of 1 will now represent a circle of radius 0. Any circle made within this circle would represent circles with negative radius values, and have negative surface areas.
The center point is simple a circle radius 0. Circle is points with the same distance from the centre point, if you set the distance to 0 you get just the centre point.
If you draw a circle around a circle ; no matter how tight around , there will always remain an infinitesimal space between those concentric circles. Simple: if they don't touch they cant fill the whole space because not touching means there's points in between those "almost touching" circles because there is no such thing as two adjacent points
This is where I had a problem too. I think that the mathematical explanation is that it is technically possible to draw a circle in that space that doesn't touch the neighboring circles for every point that arises. So I believe that the question is somewhat ambiguous, and that ambiguity lies in the use of the term "to fill." "Can you fill all of the space over an infinite area with circles?" seems to have a subtly different meaning to a layperson than a mathematician. A layperson like myself interprets that question as, "Can I _accomplish_ the task of _completely_ filling all possible points with circles, and then stop when done?" No, I cannot. The task is never ending. However, mathematically the question really is, _"For any open space that arises_ can only circular lines fill those points?" And the answer to that question is really what is being addressed.
It does have to be an uncountable infinity of circles. For any two concentric circles, there are an infinite number of circles between them. You can instead think of it as a mapping that assigns each point in the space to exactly one circle.
you could pretty easily do that with "uncountably many" circles, as you can with "uncountably many" point on a segment, given circles on a euclidean plane have exactly as many points as those of a real segment
My thought about three dimensions before the video finishes: Make 2D planes as normal, each having just that one center point that isn't covered, then line all those planes up so the missing points form a circle in 3D, then draw that circle through them. Then just repeat that forever.
How do you get from the sphere with holes on opposite ends having a valid circle covering, to spheres with any arbitrary surface-placement for the two holes having the same?
Take the original sphere with holes on opposite ends, join the two holes with a straight line. The line is where the center points of the covering circles will be. Now imagine that you move the holes and that straight line smoothly deforms into a curve that still joins the holes. (And this curve guides you to where to place the circles.) Not sure if that visual feels intuitive, but maybe it helps.
If you allow a circle with zero radius, you can just pick infinitely many of these and put them on every point of space in any number of dimensions and completely trivialize the problem.
Interesting… But do we need to make another stipulation that we can’t have a circle with an infinitesimal radius? It seems like that could be more or less equivalent to an infinitesimal point.
The radius can be arbitrarily small, but it has to be nonzero. Yes, it should really be stated explicitly, but it's taken for granted since otherwise every point would be its own circle and the problem would be trivial in any dimension.
I assume that radii of 0 (giving a point) and “infinity” (giving a line) aren’t included as valid “circles” - otherwise the problem is definitely doable and trivially so lol. If infinite radii are permitted (but 0 still isn’t), I have a potential solution for 3D. Tell me if you find some mistake in my logic: Take a circle lying in, say, the xy plane. Pick some point on this circle - say the point on the +x side. Make this the “limiting centre” of a bunch of circles in the xz plane that each have their centre offset a bit, with the radius constantly growing. (Basically the reverse of the proof in this video for why passing circles through consecutive centres doesn’t work - except this time the “limiting point” is covered by our original circle). Specifically make it so that the origin lies on a circle of “infinite” radius (a line). The image would look very similar to the equipotentials of an electric dipole, but only half the xz plane would be covered. Finally, just rotate the half-plane version around, making each point on the xy-circle a centre for a similar group of circles! I think the final solution would look like the magnetic field lines around a circular wire. Again though, it relies on allowing that central line being considered a “circle”. It’s cool that there’s a solution which doesn’t require that!
I mean the question feels obvious if you think about equivalence relation. Just define an equivalence relation on the plane with points (x_1, y_1) and (x_2, y_2) being considered equivalent if and only if x_1^2 + y_1^2 = x_2^2 + y_2^2. As equivalence relations correspond to a partition of the underlying set, we know that this partitions the plane and particularly partitions the plane in terms of equations of circles, the only problem is whether or not you can consider x^2 + y^2 = 0 a circle and so I’m guessing obviously the question becomes more interesting if the radius is positive definite, also it feels bad to call a one point set a circle.
Interestingly, you can cover a 2 dimensional space with a 3 dimensional spheres. Basically works like circles, except the final point is the topmost point of the (half-)sphere.
it dawned on me. Every digget in PI is slope formula. You got 1 dimension (line math) equally is absorbed by 2D math (squared). Like 2x3+5. 2x3 gives me two lines of 3 or a told value of 6 squared. +4 (line) can be added evenly on both lines. Like 3+2. What about odd numbet? It would be like 1 split into two (.5 squared). How do you get 1 dimension to slip into 2. That in it self should cause some issues. Like anti resonance in couple oscillator. Like two spirals over laping what we have is an average. That is the only way i can think of that would produce a infinate slope that gets smaller yet resonates.
Become a Patreon supporter by the end of this month to receive one of these: www.numberphile.com/a-prime-for-patrons
wow
I need your whatsaap numbar
why can't a circle have zero radius?
About that... It says "Numbers will be allocated randomly." What's the shape of the distribution those primes will be drawn from?
Whoa whoa whoa. I want a discussion on this immediately. Pump the breaks. I have so many issues with this video and it’s premise. Who can I talk to.
Happy to see Dr Krieger back on the channel!
I came to say the same.
Krieger is german for warrior. What a last Name!
Plus sounding a bit more British than before!
My favorite ginger mathematician, who hails from the US yet inexplicably says, "Zed"... 😁
Affirmative
Feedback: I think many of us were a bit confused about how a sphere of circles can have their poles (the two missing points) be on an arbitrary positions of the sphere. From what I understand from reading a comment, it is something to do with Möbius transformations on a Riemann sphere. I can understand that this would have been too much detail to go into, but it would have been nice to mention that this was a thing you skipped over, maybe even just some text or a footnote in the corner of the screen or something. Super interesting and good video though! You (Brady) are usually very good at asking questions about this sort of thing, and I don't blame you for missing this one (assuming you did). Keep up the good work! :)
Thank you, this is exactly the missing part of explanation I needed!
I thought the poles had to be opposite (because that's what they are in the drawn example), but now I realize they can be anywhere. Let's say we take Earth, shift the North Pole to somewhere in Argentina, but leave the South Pole where it is. Now we can STILL draw latitudes between the poles, only now those latitudes are no longer parallel, but instead are further apart on one side of the Earth than on the other. But with infinitely many of them, we still hit every point.
Start drawing circles at one point, finish up at the other point. Thats how I would do it.
Circles would have to have a slight (infinitesimal) tilt from its neighbouring circles if the empty points are not at the poles or something?
I think the easy way to think about it is this: A circle on a sphere can be obtained by the intersection of the sphere with any plane. Now, if you have two points on a sphere, we can take the two planes which are tangent to the sphere at each of the points. These two planes intersect at a line. Now we can sweep between the two planes by rotating around this line. This gives us a family of planes, which in turn gives us a family of circles on the sphere.
@@avz1865That's indeed very clever and easy to visualize in imagination.
I'm just impressed with how well she can free hand draw a circle.
If I try it, it looks like I've dropped an elastic band on the page, had too much coffee and then tried to trace around it.
Stop drinking coffee and dropping elastic bands then.
Next time, trace the coffee mug 😜
🤣
skill issue
the way to wrap the globe with circles when the removed two points A, B aren't polar opposites:
construct a touching plane to the sphere at both of them, and consider the line p where the two of them will intersect (because they aren't parallel since A, B weren't polar opposites) and now for each plane going trough this line p that intersects the sphere, it gives one of the circles that cover the sphere
Great explanation!
class, thank you sir
But then on one side of the sphere the circles will be more tightly spaced than on the other side. Isn't that a problem?
@gabor6259 Remember, we are talking about infinitely many circles that are already "infinitely tightly spaced", in just the same way all the points on a line segment are spaced. If you smoosh them together by a factor of 2, for example, they are actually still spaced in the same way, any two distinct circles still don't touch. Smooshing them or stretching by a factor of "infinity" would break it.
thank you so much for clearing this up
Thank you so much for bringing Dr. Krieger back to Numberphile.
Some viewers may not understand why the 2 points missing on the sphere can be moved around - why they don't have to be opposite each other. So I'll fill in that detail with a geometric argument that isn't too advanced:
Circles on a sphere can be thought of as the intersection of the sphere and a plane that's not tangent to the sphere.
For the diagram shown in the video, draw a straight line between the 2 points that don't get covered. Notice that the line is normal to those points on the sphere (perpendicular to the tangent planes of the sphere at both points). And notice that the planes we'll use to define the circles are all the planes that are normal to that line.
So in the general case, for 2 arbitrary points on the sphere, draw a curve that's normal to those points on the sphere (make it a nice curve - not self-intersecting, smooth). And then the circles are those formed by the planes that are normal to that curve. There is one more detail we have to consider - if the curve isn't a straight line, then the planes will intersect with each other, since they're no longer parallel - but this is fine as long as they don't intersect ON the sphere, they can intersect without making the circles intersect or touch. If you're good at visualizing, you can imagine the circles being swept along the curve without intersecting - the curve acts like a hinge to move the circles through.
After a few attempts at drawing, I was able to get a visual that makes sense to me. My current best description is a paper fan that swats through the sphere.
But then on one side of the sphere the circles will be more tightly spaced than on the other side. Isn't that a problem?
@@gabor6259 Short answer: no. The problem was only to cover a sphere with 2 points missing by using circles that don't touch/intersect. The concept of "density" for the circles was never defined/needed.
What you are describing would be a different problem. Here are some thoughts related to that: There is a sense in which the density is different for spheres with different missing pairs of points, but there is also a sense in which the density is always the same.
On the sphere, around any circle, there is always a continuum of other circles. This might be easier to see on the height of a cylinder. Imagine the height of a cylinder being covered by circles in the most obvious way. Now imagine a line going through the cylinder in its center (parallel to the height). We can project the circles onto the line (imagine that each circle is equivalent to a point on the line at the same height). Then around each point, there is an entire continuum of points (a connected section of the real line). So in an analogous sense, around each circle, there is an entire continuum of circles.
Consider that same setup, but this time make the cylinder have a height that ranges from 0 to 1. Now imagine a transformation of the cylinder that sends the height at value x to the height at value x^2. This transformation sends us back the exact same cylinder, but in a sense, it squished everything down. Although the circles would get packed down closer together, we can do the exact same projection onto the points on the same line as before and we see that around each point/circle, there is still an entire continuum of points/circles. This is related to Order Theory (and also Set Theory). In this sense, on the real line (and on stuff that can be made to look like the real line), density doesn't change.
On the other hand, in Measure Theory, we can give a "size" to subsets of the continuum and say that although around each point is a continuum, they are different "sizes" of continuum. We can use this to compare the size before and after the transformation.
Now to relate this to our sphere problem. We again project our circles onto the line (the one we used to act as a hinge for the planes we used to define the circles). So in the Order Theory sense, the density is the same everywhere.
Now, if the density of this line varies (in the Measure Theory sense), we can always apply a transformation on the line (which is the same thing as applying a transformation on the sphere) that makes the density of the line constant. So even in that Measure Theory sense, there is a way to say that the density is the same.
But, if I had to guess what you're really talking about: There are other projections you can do besides onto the hinge. If you consider the great circle that goes through the 2 missing points, each of the arcs (separated by the points) defines a separate projection of the circles on the sphere. While each of these projections can be made to have constant density, you're probably thinking about the more obvious fact that each of these arcs have different arclengths. So in this sense, one projection is more dense than the other - one side of the sphere is more dense than the other. Technically, this is still malleable, because measures are malleable - you could "artificially" say that the 2 arcs have the same arclength/measure and be done with it. But we really don't want to say that. There's something in us that screams out "One of the arcs is clearly larger than the other". It's our evolutionarily induced concept of distance/perception. Adhering to that, only the case where the 2 points are opposite yields equal density on either side, as you said.
Thanks, was wondering about that detail, too. Came to some similar conclusion, but your description of the solution helped me a bit visualizing it.
I don't really get the 3D construction. I guess the initial circles are supposed to fill in the missing 2 points of each sphere. But so far, those points were on the oppsite ends of the sphere. Aren't we missing a step here to show that for ANY 2 points we can cover the rest of the sphere with circles?
I suppose it wasn't explained properly, but eyes, that is the case. The construction can be made by "sweeping" a circle across the sphere.
@@skallos_what do you mean by sweeping? Thanx btw! Came here with the exact same question.
I didn't get it either 😕
Here’s a general argument and a concrete construction.
1. There are transformations of a sphere that leave circles on it as circles but can map a pair of distinct points to any given pair of distinct points. They can be realized as Möbius transformations on a Riemann sphere (complex numbers plus an infinite point, stereographically projected onto a sphere). So we can take our “parallel circles” construction and map it into a construction where untouched “poles” are not antipodal.
2. Concretely, when two “poles” aren’t antipodal on a sphere, you just take a line outside the sphere and slice the sphere with planes that go through that line. Each intersection will give either a circle on the sphere or a point; the pair of points closer and closer together if the line is closer to the sphere.
If you look at this construction in projective space, you can make the line infinitely distant. Then planes going through it will be parallel (in the usual non-projective space) and we retrieve the original construction with antipodal “poles”.
I guess it would have been too much detail for the video, but here's a slightly more formal way to describe it. Any plane intersecting a sphere either defines a point (if they're tangent) or a circle (otherwise). For the case where we're leaving out the poles, think of a plane tangent at the top, a plane tangent at the bottom, and all the intermediate planes between and parallel to the first two. Now for leaving out two points not opposite each other, think of the planes tangent at those points. They will intersect in a line outside the sphere. Think of that line as a hinge. Now the intermediate planes also go through that hinge line. They swing from one point to the other. Each intermediate plane defines a circle on the sphere, none of the circles intersect, and every point on the sphere is on one of the circles, except for the two original points on the tangent planes.
The fact that circles can cover 3D space was a shock, I would never have thought it was possible
The real shocking thing is that you can cover 3D space with circles that are all the same size
@@colesweed Is there a construction out there with equal circles? Dr. Krieger used circles on spheres of different sizes.
@@colesweed Not shocked, but still excited to hear that. One of my first mental exercises after the video was "what R^n does S^0 partition?" and concluded "R^1 or greater, because S^0 is just a pair and you can parition R into pairs". One obvious way: pair non-integers x with -x, pair integers 2n with 2n+1. Then I immediately noticed this was exactly how the x-axis looked in the video (excepting a scale factor of 2). When I also noticed that "pair x with x+1 if floor(x) is even, otherwise x+1" also partions R into S^0, I started wondering if that had an analogue in partitioning R^3 into S^1.
It's all about using a lower dimension object in a higher dimension. The higher dimension gives you more flexibility to stack and manipulate your lower dimension objects. I would suspect that you can't cover a 3D space entirely with 3D objects like spheres or you would run into the same problem you had with 2D objects in 2D space. Just my take on it anyways.
@@100percentSNAFUi can fill your moms 3 dimensions with my 1 dimension
What I love about Numberphile is that every other video explains some problem in very simple and approachable terms before quickly running into the limits of what we know. It is actually really inspiring and showcases what math is really about. It's not about formulas or calculations, but about gently pushing through these boundaries and exploring the unknown ❤
insane circles drawing skills 😮
Wonderful! Bravo for bringing Professor Krieger back to Numberphile.
Welcome back Dr Krieger!
I think an important point was glossed over. My first instinct was to think there must be gaps between the concentric circles. But then I realized this: For any point, consider all possible circles of radius n centered at that point, where n is a positive real number. No two circles would touch each other, but every point in the plane would lie on one of these circles. This means not only is the number of circles infinite, it's uncountably infinite! With that in mind, the point of the video made more sense to me.
Yeah, I had a "hang on a minute!" thought part way through the video. The 'line' of a circle has zero width, so it's not actually covering *anything*. You are, indeed, going to have to use an infinite number of them in order for their zero/infinitesimal line-width to collectively cover anything.
Really all that's happening is defining a set of circles whose points leave no point in the plane unaccounted for.
Yes, I think the hand-wavey way the circles are added gives the impression of countably infinitely many circles, when uncountably infinitely many are required, and failing to explain this and all the other complexities of infinity makes the whole thing a lot harder to understand what's going on IMO.
Hello @KenHaley4, thanks for your comment, because I also had the same “Hang on” moment as yours right after the start of the video.
Your comment helped me understand why the original concentric circles in the 2D case could cover up every point (except the center).
However, I’m not sure about: “for any point, consider all possible circles of radius n centered at that point”? The original “simple” concentric circles alone are sufficient to cover the entire 2D plane (except for the center); it seems these “new” circles only introduce “more new gaps” than without them. No? Thanks.
This video makes no sense. They don't define what "covering" means. Infinitely many circles of radius epsilon (essentially the smallest non-zero number) "cover" the infinite plane, but even with any stroke width, you'd still need infinitely many circles of radius epsilon to "cover" the gap between any two non-infinitesimal circles, so what's the point of the video? The "solution" is dependent on the rules: that it's either impossible if circles of radius epsilon are not allowed, or possible if they are allowed.
@@BujuArena"Covering" the plane means: for every single point on the plane, there must be (exactly) one circle which contains that point.
You can't use circles of radius epsilon because no matter what the circle's radius is, I can always pick a number x that's smaller than that radius and ask "is the point with coordinates (0,x) on this circle?", which it won't be.
Nice video. Can you explain why the point in the center does not meet the definition of a circle? As you say, "a circle is just the collection of points in a two-dimensional space which are some fixed distance away from a center". Is there an additional requirement that the distance is greater than 0 and/or does the word "distance" imply a non-zero value?
For some reason it wasn't explicitly mentioned, but yeah radius-0 circles don't count or else the problem would be trivial.
@@galoomba5559 Then the problem is trivial.
I'm going to take a stab at this, not idea if it's correct. A point, by definition, is simply a specified coordinate with no dimensions. It fills no space, it's just a location. A circle (or square, or line, or any other shape) is an object that consists of a theoretically infinite number of connected points.
A circle with a radius of 0 would consist of 0 points and would be indistinguishable from empty space. You cannot fill empty space with more empty space and consider it "filled", as the original problem required.
@@TicoTimeCR Sure you can. That's just a space filling curve. The real number line is nothing but an uncountably infinite number of points of zero area, and they fill an infinite length.
@@TicoTimeCR Space is a set of points. You can definitely fill space with points, as long as you use uncountably many.
When explaining why this doesn't work for the 2D example and how the centre of the circle is the sticking point Dr Krieger says 'at the end of the process we're going to end up with a single point here, just like in the original example, that cannot lie in any of the circles'. I don't understand why there has to be an end to the process of adding more and more circles here - after all there was clearly no end to the process of adding concentric circles outside the original circles to cover the exterior, and that wasn't an issue, and there are an infinite number of points inside the circle as well, so we're not going to run out of points to run circles through. Can anyone explain what I'm misunderstanding here?
A point is dimensionless. Any circle you can draw, however small will always be larger than a point. And by the definition of what makes a circle (as Dr Krieger says in the video) there will always be a point at the centre of the circle, equidistant from all points on the circle.
I think the idea is that when you're expanding outward, you can always provide a valid circle that covers any given point. Moving inward, per the constraints of the problem, no valid circle can ever occupy the origin (0,0), even in the infinite limit. It's less about "reaching" the middle as it is that there is no solution in which the middle is covered with concentric circles.
But if a point is dimensionless, surely it is nonsense to consider filling it? What I think we are discussing here is that a circle must pass through every point, hence the effort to offset from the centre.
As I understand it, the limit of centre points lies inside all the circles constructed through this process. Since the radii of the circles tend towards zero, that means that the limit of centres lies inside a circle with arbitrarily small radius. This means that if there was a circle that that point lies on, whatever radius it has, there is always a circle which contains that point which is smaller than that circle, so they must intersect.
It might be better to turn this around.
Instead ask "Given a point, which circle does it lie on?"
The way the dilemma is worded seems odd... The circles are not allowed to kiss, therefore cannot be tangent to each other, therefore, by definition, there is space between the two circles which can be infinitely divided... even if the space is infinitesimal.
You have axiomatically made the game impossible. That's what happens when you try to establish a difference between tangential and infinitely near. They are different in concept in how you think of them, but they are the same in application.
It's like saying you can never fill a glass with water because atoms and molecules are mostly empty space
I think the formal statement is defining a set of circles so that every point in the {plane|space} belongs to exactly one circle in the set.
Having thought about it, the same argument should apply for any dimension that it can be covered with dimension n-1 sphere equivalents.
With the 4th dimension, we can do the same trick of using infinitely many hollow 3D spheres of increasing then decreasing size to cover a hypersphere, then we can from an origin arange more spheres to intersect the center points, rotating them into to 4th dimension to avoid the overlapp.
Great to have Doctor (now Professor!) Holly back - more please :-)
I see Dr. Krieger, I press like. Life's that simple.
I am so happy Dr. Krieger is back!
"Do not disturb my circles!" - Professor Krieger, possibly.
To my simple mind even the basic idea of covering an area or a 3 dimensional space with something that has no width is mind boggling. Nice video!
It has a width which is infinitesimally small, not zero, infinitesimals cover areas all the time in basic calculus.
@@vik24oct1991I sympathise more with confusion or awe than this half-baked explanation. In what precise sense does a circle have an infinitesimal width, as opposed to zero width?
Width could be crudely described along the lines of the length you can move orthogonal to the boundary, starting from a point on the boundary, until you exit the object (ie the width of a rectangle from a given point would be the length of one of its sides)
By this definition (and any other definition that takes values in R), a circle would have 0 width. The reason we can cover the space is because we have an uncountable number of these circles - countable unions would preserve the measure 0, whereas these uncountable unions manage to allow area to be generated from area-free shapes.
I think intuitively this should make sense as in general we can construct n+1 dimensions from n similarly, by stacking planes atop each other.
We haven't seen Holly Krieger in ages, right? Welcome back, I'd say.
Nice informal intro to/demonstration of homotopy groups and weak equivalence.
The part I feel like I'm missing is that the two holes in the sphere don't have to be at the poles. It seems like the fact that there are two and only two holes and insuring that the spheres keep hitting the circles exactly two times is important but I'm lost as to how those holes in the sphere get moved around.
At first I thought there was a problem when the red sphere is tangent to a black circle, but now I see for those spheres, they are also tangent to a 2nd black circle, and so still have two points removed... partitioning R3 into circles is quite unexpected...
In case a line counts as a circle (limit when radius goes to infinity) a simple construction to fill space with circles would be:
(1) Use circles to cover a sphere without two points (at north pole and south pole).
(2) Fill interior and exterior with scaled copies of this hole-y sphere, so that the holes form a (missing) line.
(3) Fill the (missing) line with the infinite circle.
Would be even simpler but more boring starting with the infinite-radius circle line and wrapping circles around it forming layered cylinders.
A lot of times problems are formulated precisely in the way that makes them interesting. "If lines are allowed it's simple, but is it possible if lines aren't allowed?"
I kind of fell in love with the view out the window in the background.
I always knew Amy Adams was talented in all possible dimensions, even drawing perfect circles.
This is where I realise that I'm not very smart because I thought it was easy, depending on one of two things; either you accept that it is infinite, or you define the resolution you're working to and at some point the smallest circle you can draw will fill the centre.
Partition means numbers catagory. Some fall some don't. Depends on how you write a equation. Logic paste. Circle means number group. π x/y. Waves are considered number groups and they always show duality.
This is a really interesting overlap between topology and elementary geometry!
Love these types of questions
The cutest mathematician on this channel
Sehr truely is❤️
drink every time you hear or see a circle in this vid and you'll get alcohol poisoning after around a 2-nd second
Clearly this video has everyone thinking about how to ask the most useful questions in math and what are the most useful explanations. It’s a great jumping off point that has peaked my curiosity! So which masterful, math UA-camr is going to make the hour-long video explaining this more thoroughly? …..
(I don’t have the skills, but I am curious and would definitely watch it!)
Can we please appreciate her free hand circle drawing? Damn!
There appears to be a symmetry in the limits of this thought experiment if you allow :
- circle radius=0 (then the central circle is a point no problem)
- circle radius = infinity (then you cover the plane with straight lines)
I’m sure the intention was not to lose us when you went to three circles and a sphere, but the bus left me at the station 😅
That was an awesome solution in the 3-d case!
honestly that all went over my head :(
Welcome back Holly Krieger!!!
This makes me think of two things: kissing numbers and the optimal packing of conical glasses in the cupboard when emptying the dishwasher in the office, to fill the time I wait on my coffee.
the goddess of math is back!
This is perfect! I just bought the original spirograph kit today! I'm taking geometry in my math class right now. I'm shring this with my teacher. I'm interested to see how this might intersect with my spirographing :)
I brought the spirograph kit to math class and my math teacher loved it! We had a blast learning about circular relationships!
Was the answer "not at all"? 😂
Quel plaisir de savoir le Dr Krieger de retour. Je suis heureux de savoir qu'elle va bien, et qu'elle a de nouveau du temps à consacrer au public de Numberphile. Sur ce, bonne année à toutes et tous.
I love the new "analogue" looking animation style with that nice brown paper texture and the hand drawn lines ❤ Very nice.
Since the original problem statement didn't exclude circles of radius 0, the solution is actually trivial.
Feels like a perfect segue to cover circle packing, and thus do another video on Origami Maths.
What if we invert the plane? Where we want to move the points that lie in the middle to the points that will now make the edge?
So now all the points that were initially infinitely far away they are located in the single point in the middle of the plane, where all points that were in the middle are now on the outside of the plane.
Apparently since going to infinity wasn’t a problem for making circles, we just need to invert until all of the points on the circle at infinity come together to create new origin point.
Or you could rename all points 1 radius away from the circle 0. So a circle that previously had a radius of 1 will now represent a circle of radius 0. Any circle made within this circle would represent circles with negative radius values, and have negative surface areas.
It's more like a topic in point set topology, and I really enjoy this Intuitive fact about covering space with 1 dimentional spheres :D
Holly Krieger is back and my phone running low on battery😭
That first circle was damn near a perfect circle!
I can't get over how much better Holly is at freehand drawing circles than literally every other Numberphile guest. Bravo.
Great work
Something about Holly Krieger’s voice or accent or laugh or mannerisms (or maybe hair?) always reminds me of Marian Call.
Her circles were surprisingly perfect circle!👌 Nice to see her after long time. Thank You
The center point is simple a circle radius 0. Circle is points with the same distance from the centre point, if you set the distance to 0 you get just the centre point.
My ❤ for Holly exponentially grows with each video. I said my ❤!
I know, I know
i like the Map of the Mandelbrot Set in the background 😃
{{x-1, x+1} | x \in \R} covers the real line with spheres from 1d, so the sequence begins 1 3 5.
If you draw a circle around a circle ; no matter how tight around , there will always remain an infinitesimal space between those concentric circles. Simple: if they don't touch they cant fill the whole space because not touching means there's points in between those "almost touching" circles because there is no such thing as two adjacent points
This is where I had a problem too. I think that the mathematical explanation is that it is technically possible to draw a circle in that space that doesn't touch the neighboring circles for every point that arises. So I believe that the question is somewhat ambiguous, and that ambiguity lies in the use of the term "to fill."
"Can you fill all of the space over an infinite area with circles?" seems to have a subtly different meaning to a layperson than a mathematician. A layperson like myself interprets that question as, "Can I _accomplish_ the task of _completely_ filling all possible points with circles, and then stop when done?" No, I cannot. The task is never ending.
However, mathematically the question really is, _"For any open space that arises_ can only circular lines fill those points?" And the answer to that question is really what is being addressed.
You can use uncountably many circles.
It does have to be an uncountable infinity of circles. For any two concentric circles, there are an infinite number of circles between them.
You can instead think of it as a mapping that assigns each point in the space to exactly one circle.
you could pretty easily do that with "uncountably many" circles, as you can with "uncountably many" point on a segment, given circles on a euclidean plane have exactly as many points as those of a real segment
@@_ilsegugio_ The circles can't overlap.
My fav mathematician!
This time the Mandelbrot fractal remained unfinished... ))
That was a nice illustration
My thought about three dimensions before the video finishes: Make 2D planes as normal, each having just that one center point that isn't covered, then line all those planes up so the missing points form a circle in 3D, then draw that circle through them. Then just repeat that forever.
My favorite is back!
I like this guest a lot
Amazing video! Thank you and what a neat idea
How do you get from the sphere with holes on opposite ends having a valid circle covering, to spheres with any arbitrary surface-placement for the two holes having the same?
Take the original sphere with holes on opposite ends, join the two holes with a straight line. The line is where the center points of the covering circles will be. Now imagine that you move the holes and that straight line smoothly deforms into a curve that still joins the holes. (And this curve guides you to where to place the circles.)
Not sure if that visual feels intuitive, but maybe it helps.
That was an interesting construction!
Amazing video
so a circle cant have a radius of zero, or a sphere , etc
well it would exist if it did lol
No, because then it's a point.
well done !
The pride of Champaign, IL!
Uh… isn’t a point a circle with radius zero? I don’t get why a point is forbidden for the center.
If you allow a circle with zero radius, you can just pick infinitely many of these and put them on every point of space in any number of dimensions and completely trivialize the problem.
A point is that which has no part.
Nice video ! Are we talking about Hopf fibrations ?
It's been a while!
Only mathematicians can make an easy to solve problem impossible to solve
I came here trying to understand bott periodicity and loops of loops of loops. I think I found the right place…
I’m bothered that she drew that perfect circle and it wasn’t mentioned that it was perfect.
Interesting… But do we need to make another stipulation that we can’t have a circle with an infinitesimal radius? It seems like that could be more or less equivalent to an infinitesimal point.
The radius can be arbitrarily small, but it has to be nonzero. Yes, it should really be stated explicitly, but it's taken for granted since otherwise every point would be its own circle and the problem would be trivial in any dimension.
I assume that radii of 0 (giving a point) and “infinity” (giving a line) aren’t included as valid “circles” - otherwise the problem is definitely doable and trivially so lol.
If infinite radii are permitted (but 0 still isn’t), I have a potential solution for 3D. Tell me if you find some mistake in my logic:
Take a circle lying in, say, the xy plane. Pick some point on this circle - say the point on the +x side. Make this the “limiting centre” of a bunch of circles in the xz plane that each have their centre offset a bit, with the radius constantly growing. (Basically the reverse of the proof in this video for why passing circles through consecutive centres doesn’t work - except this time the “limiting point” is covered by our original circle).
Specifically make it so that the origin lies on a circle of “infinite” radius (a line). The image would look very similar to the equipotentials of an electric dipole, but only half the xz plane would be covered.
Finally, just rotate the half-plane version around, making each point on the xy-circle a centre for a similar group of circles!
I think the final solution would look like the magnetic field lines around a circular wire. Again though, it relies on allowing that central line being considered a “circle”. It’s cool that there’s a solution which doesn’t require that!
Interesrting. Thank you.
Yay Holly Krieger!
4:06 No "paper change" slide? Unfortunate.
0:55 ngl, that circle is perfect
Dr Krieger and sphere packing, I’ve died and gone to heaven 😅
I mean the question feels obvious if you think about equivalence relation. Just define an equivalence relation on the plane with points (x_1, y_1) and (x_2, y_2) being considered equivalent if and only if x_1^2 + y_1^2 = x_2^2 + y_2^2. As equivalence relations correspond to a partition of the underlying set, we know that this partitions the plane and particularly partitions the plane in terms of equations of circles, the only problem is whether or not you can consider x^2 + y^2 = 0 a circle and so I’m guessing obviously the question becomes more interesting if the radius is positive definite, also it feels bad to call a one point set a circle.
Heine Borel Theorem applies?
This infinitesmal seems similar to the difference between 0.999 repeating and 1.
Interestingly, you can cover a 2 dimensional space with a 3 dimensional spheres. Basically works like circles, except the final point is the topmost point of the (half-)sphere.
More Holly please
If you ave Circles that are not touching if follow that there is at least one point between circles so it will be impossible to "cvoer the plane".
I did not get this.
Either the circles touch each other (forbidden) or there is empty space between them (therefore not filled).
So the circle must have r>0? Was that ever explicitly stated?
Yes!! More math!!
I mean, it won't help me get a job or pay for my bills, but I sure do love math!
My Christmas present came early! Her laugh is like a warm blanket.
7:44 is when she lost me.
it dawned on me. Every digget in PI is slope formula. You got 1 dimension (line math) equally is absorbed by 2D math (squared). Like 2x3+5. 2x3 gives me two lines of 3 or a told value of 6 squared. +4 (line) can be added evenly on both lines. Like 3+2. What about odd numbet? It would be like 1 split into two (.5 squared). How do you get 1 dimension to slip into 2. That in it self should cause some issues. Like anti resonance in couple oscillator. Like two spirals over laping what we have is an average. That is the only way i can think of that would produce a infinate slope that gets smaller yet resonates.