The image above shows two viewing angles of the same three dimensional object. I recently posted a problem with this image, and the question asked how many holes it had. Not a single person guessed that it could have \(3\) holes, which has led me to create this note.

Firstly, **How do you define a hole, and how is one made?**

*My initial thought was that it is a piece of area in an object that has been completely "punched out", so that you can pass through the entire object without passing through any solid matter.*

If this were the case, then a hole in the ground would mean that you have not made a hole in the Earth, as it does not pass completely through it. Rather, you have transformed the Earth so some area has been moved to a difference space.

Secondly, **Does an object maintain the amount of holes it has even after undergoing a transformation?**

*For the answer of the original holes problem, I posted this gif which shows that the object would have 3 holes if it was transformed. Is this a valid proof to show that the unchanged object has 3 holes?*

Take a copper pipe, for example. It is a hollow cylinder with \(2\) openings at either end. However if we flattened it into a disc, there would only be one area that is completely "punched out", which means one hole by this definition.

For the green 3D object in question, if you were to fill in the three holes you would see that both versions of the object, before and after the transformation, have no completely "punched out" areas. The initial version looks like a teacup, and the flattened version looks like a pancake. So does that means a teacup has no holes, despite the fact its curved shape would suggest that the object has a big hole in the middle for the liquid to sit?

Thirdly, **Can holes be created or destroyed?**

*Do holes have to be conserved? If so, how many holes would the object have?*

**Are there any other questions to consider?**

I would love to hear your thoughts on this topic.

## Comments

Sort by:

TopNewestHow many holes does this have?

Answer: Just one.

In topology, the genus of a connected, orientable surface is the same as the number of holes it has. The genus of a sphere is 0. The number of simple, non-intersecting cuts it takes to render any such surface topologically equivalent to a sphere is the genus. Hence, it takes only one cut in the above figure to change it into a strand. It takes 3 cuts to render your figure similarly into a strand. Cutting it 4 times is overkill, and you end up with two pieces, not one.

For those not familiar with topology, a sphere and a ball are not the same thing. A sphere is a 2D surface, while a ball is a 3D solid. The topology of 2D surfaces is dominated by analysis of lines and loops on the surface, so that a "cut" is really about a continuous transformation of the 2D surface as one loop on it shrinks down to a point, much like how a clown makes animals with long balloons. In topology, such surfaces can pass through itself, as in the case of a non-orientable Klein bottle, the same way loops can pass through itself on a surface, but kinks are noted, i.e. treated as a discontinuity of an otherwise continuous transformation. – Michael Mendrin · 1 year, 7 months ago

Log in to reply

My solution:

Since holes are preserved with stretching, stretch one of the holes until the entire shape becomes flat. Then clearly we have a surface with 3 holes.

Very interesting problem! – Daniel Liu · 1 year, 7 months ago

Log in to reply

– Calvin Lin Staff · 1 year, 7 months ago

The idea of "stretch one of the holes until the entire shape becomes flat" isn't always applicable. See Michael's image as an example.Log in to reply

– Michael Mendrin · 1 year, 7 months ago

A good point, Calvin. The first impression one gets from a layman's book about topology is that it seems too simple and obvious. But then it can quickly become far from obvious, which is why most of topology doesn't rely on pictures and diagrams. It should go without saying that it's a rich field of study.Log in to reply

– Daniel Liu · 1 year, 7 months ago

I'm interested in knowing, how does topology look like without diagrams? What types of problems are considered "far from obvious"?Log in to reply

Here's a text on that sphere eversion problem On Eversion of Spheres

And the more general theorem which addresses this in higher dimensions Smale-Hirsh Theorem

I doubt if anybody can draw pictures for this one in any higher dimensions. – Michael Mendrin · 1 year, 7 months ago

Log in to reply

this video a long time ago. It's a great video, really easy to follow. – Daniel Liu · 1 year, 7 months ago

Ah I remember that problem from watchingLog in to reply

I first heard about topological sphere eversion described in a Scientific American article back in 1966. It was so cool I decided to look more into the subject. Wow, has it been almost 50 years now?

Most all of the discussion we've been having here in this note involves homotopy. Here's a typical math course paper (probably graduate level) on homotopy theory Homotopy to give you an idea of what it'd be like to "do topology". Also see Elementary Homotopy Theory – Michael Mendrin · 1 year, 7 months ago

Log in to reply

diameterof a set is the supremum (maximum) distance between any 2 points in the set.Given any set in \( \mathbb{R} ^3 \), can we always split it up into \( 3 + 1 \) sets of strictly smaller diameter?

Given any set in \( \mathbb{R} ^4 \), can we always split it up into \( 4 + 1 \) sets of strictly smaller diameter?

Given any set in \( \mathbb{R} ^{2015} \), can we always split it up into \( 2015 + 1 \) sets of strictly smaller diameter?

I am offering a $1000 reward for a correct solution to the question about \( \mathbb{R}^4 \). – Calvin Lin Staff · 1 year, 7 months ago

Log in to reply

What's the reward for the \( \mathbb{R}^{2015}\) case? – Michael Mendrin · 1 year, 7 months ago

Log in to reply

– Calvin Lin Staff · 1 year, 7 months ago

Right. It has been proved true for 2, 3, false for 64 +, and unknown for everything in between. I have spent a chunk of time trying to figure out the 4 case.Log in to reply

– Michael Mendrin · 1 year, 7 months ago

I find that there is an interesting connection between Borsuk's conjecture and Poincare's conjecture, which, as we know, Perelman knocked off a while ago. I have no hopes of knocking off either.Log in to reply

Borsuk's interesting cases happens when we have a discrete set of points in \( \mathbb{R} ^ d \), while Poincare is only about 3-manifolds. The overlapping area seems to be combinatorial topology, but I don't understand how they would share a particular object to study. – Calvin Lin Staff · 1 year, 7 months ago

Log in to reply

See my comment elsewhere about my arm going to sleep. – Michael Mendrin · 1 year, 7 months ago

Log in to reply

– Jake Lai · 1 year, 7 months ago

Delving initially into topology I found it just absolutely fascinating: counterintuitive and rich with examples of fun, interesting objects. In recent times my enthusiasm has waned, but I'm still interested in topology; do you know of any good books/online lectures that can expose me to some intermediate-level topology?Log in to reply

longtime now.Edit: In looking around, I've found an online PDF textbook on introductory topology that you can download. It's very similar to one of the good books I have on the subject. And it's free.

Introductory to Topology – Michael Mendrin · 1 year, 7 months ago

Log in to reply

– Jake Lai · 1 year, 7 months ago

Very much appreciated! Thank you :)Log in to reply

– Daniel Liu · 1 year, 7 months ago

I see, tl;dr cutting loops until there are no more is a more general way to solve it.Log in to reply