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.

No vote yet

1 vote

Easy Math Editor

This discussion board is a place to discuss our Daily Challenges and the math and science related to those challenges. Explanations are more than just a solution — they should explain the steps and thinking strategies that you used to obtain the solution. Comments should further the discussion of math and science.

When posting on Brilliant:

`*italics*`

or`_italics_`

italics`**bold**`

or`__bold__`

boldNote: you must add a full line of space before and after lists for them to show up correctlyparagraph 1

paragraph 2

`[example link](https://brilliant.org)`

`> This is a quote`

Remember to wrap math in`\(`

...`\)`

or`\[`

...`\]`

to ensure proper formatting.`2 \times 3`

`2^{34}`

`a_{i-1}`

`\frac{2}{3}`

`\sqrt{2}`

`\sum_{i=1}^3`

`\sin \theta`

`\boxed{123}`

## 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.

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!

Log in to reply

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

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

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.

Log in to reply

this video a long time ago. It's a great video, really easy to follow.

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

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$.

Log in to reply

What's the reward for the $\mathbb{R}^{2015}$ case?

Log in to reply

Log in to reply

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.

Log in to reply

$n\le 4$, so it's not the same thing. You're right. The Bing-Borsuk conjecture doesn't address any cases of discrete set of points, even though it's said to be a stronger form of Poincare's conjecture.

Ah, the Bing-Borsuk conjecture has already been proven for dimensionsSee my comment elsewhere about my arm going to sleep.

Log in to reply

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

Log in to reply

Log in to reply

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

Log in to reply