Can you write all of \(\mathbb{R}^3\) (3-space) as the union of disjoint geometric circles? Give an example or prove that you can't.

(A geometric circle is a circle which actually has a center and some fixed positive, finite radius -- so not just a generic loop. The circles need not all have the same radius.)

## Comments

Sort by:

TopNewestThis is a cool problem. You can cover a plane with concentric circles leaving one point out (the center). You could stack these and cover all of 3-space except for a line, and you can even make that line into a curve, but not a circular one because you don't have second holes in your planes (and as far as I can tell there's no way to generate two-hole planes). So we can't start with planes, but have to work in 3-d from the start. I tried tori swallowing each other but couldn't make that work. Spheres, however, seem to work, as follows. First, establish that we can make any sphere from circles, omitting any two given points. Start with the great circle intersecting the plane at the midpoint of and orthogonal to the line connecting the two points. Fill each hemisphere starting with this circle by "pivoting" our plane on the tangent to the sphere midway between our two points until we reach a circle whose center is on the same radius as our point, and then proceed with parallel planes until we reach the limit at our omitted point.

Then we can cover 3-space with a single system of concentric spheres, arranging the two holes in each sphere into circles which we then fill with circles.Where these circles begin and end (at the spheres nearest and farthest from the center), they take up a single hole in some sphere. The other hole, which can be anywhere, will serve as the start of the next circle. The center starts the first circle. – Mark C · 1 year, 4 months ago

Log in to reply

– Maggie Miller · 1 year, 4 months ago

Great answer! :) This is very similar to my own. In fact, you can write 3-space as a disjoint union of circles that all have the same radius -- but such a solution can't be visualized like yours and requires some deep(ish) foundational mathematics. It's interesting to try, though. :)Log in to reply

Welcome back Maggie! – Andrew Ellinor · 1 year, 4 months ago

Log in to reply

– Maggie Miller · 1 year, 4 months ago

I finished studying for my qualifying exams :) So it's good to be back on the internetLog in to reply