Is it possible to uniformly subdivide a sphere into arbitrarily small cells?

414 Views Asked by At

I am not a geometer, so I might be misusing some terms. So let me try to be more explicit regarding what I mean.

"Subdivide a sphere into cells" means to partition the set of all points on a sphere into finitely many non-overlapping (except at the boundary), contiguous regions (I'll call them cells). Note, that this doesn't exclude regions with arbitrarily complex boundaries (even infinite ones).

"Uniformly" means that all cells in the subdivision should be the same shape and size. The shape doesn't need to be in any way regular or symmetrical, but you are not allowed to flip/mirror the shape, only translate and rotate it.

"Arbitrarily small" means that for any given $\varepsilon > 0$, you should be able to generate such a subdivision, so that each cell fits into a ball of radius $\varepsilon$.


Some examples:

You can split a sphere into 8 equal "triangle" cells with angles 90-90-90 by halving it 3 times. But further subdividing those "triangles" is tricky (for example, you can't use edgewise subdivision to further refine them, because you will end up with "triangles" with different angles).

You can split a sphere into an arbitrary amount of equal "orange slices", but they won't be "arbitrarily small" because they only get "thinner", not "shorter".

Spherical polyhedra or spherical tilings satisfy the "arbitrarily small" requirement, but there are only finitely many uniform polyhedra, so this seems like a dead end. On the other hand, uniform spherical tilings assume that the cells themselves are also polyhedral, that they are vertex-transitive and so on. So it's not clear if relaxing these assumption allows for more tilings.


My intuition is telling me, that the answer to the question in the title is "No" (such a subdivision is not possible), but I wasn't able to come up with a proof. Thoughts?

1

There are 1 best solutions below

0
On

I don't think this is possible either. I offer a very handwavy argument showing why.

You are trying find a monohedral tiling of the surface of the sphere. I think it is safe to assume w.l.o.g. that all the edges are straightened out, so that the tile shape is a spherical polygon, say an $n$-gon.

In the flat plane the angles of a triangle add to $\pi$ radians, but on a spherical triangle its angles add up to more than that. In general, the smaller the spherical triangle's area (relative to sphere), the closer its angle sum approaches $\pi$. Basically, smaller triangles are less curved. The same thing happens with spherical $n$-gons.

The problem is when you are tiling the spherical surface, at any point where three or more tiles meet the angles will have to add up to exactly $2\pi$. The surplus angle has to go somewhere. If you impose a fixed limit on how many tiles meet at a vertex, then with an $n$-gon there there is a fixed limit on how many ways you can combine its vertex angles to $2\pi$. This in turn means that there is a limit on how many surpluses it can cope with, i.e. how many tiles you can fit together before it has to enclose the sphere. In other words, as you increase the total number of tiles, you will also have to increase the number of tiles that meet at some of the vertices.

So the tile will have to become thinner and thinner in order to fit around such a vertex. It seems that the tile's length needs to be at least about one sixth of the sphere's circumference, but I can't quite find a good argument for that. Here is a nice example:
Triangle tiling
I found this in the paper "Some New Tilings of the Sphere with Congruent Triangles" by Robert J. MacG. Dawson

Note that there are some interesting variations of the orange-slice dissection. If you have an even number of slices you can rotate the east/west hemispheres by any amount to break up most of the symmetry. Or you can halve the pieces, to make a spherical bipyramid. You can then offset the north/south hemispheres and tweak the edges along the equator to make a spherical trapezohedron or anything in between. With a spherical bipyramid that has an order that is a multiple of 4, then you can turn any octant by a third of a turn to make it fully asymmetric.