# Topological Definition of Holes

• A
• WWGD
In summary: The homology of the two tori is the same, ##Z^2##. But the homology of the two tori stuck together is ##Z^2 \oplus Z^2##. So it seems that the two tori stuck together have two holes. By this idea the Klein bottle would have two holes. But the homotopy group is ##Z_2## and the homology group is ##Z_2## so it would have one hole.In summary, the concept of "holes" in a topological space X can be defined as the non-zero homology and/or homotopy classes of X. These classes represent obstructions to continuously shrinking a simple closed curve or n-cycle to a point within the
WWGD
Gold Member
TL;DR Summary
Trying to find a Formal Definition of the term.
Is it reasonable to define the n-dimensional holes of a topological space X as the non-zero Homology/Homotopy classes of X?

Can we read these as obstructions to continuously shrinking a simple closed curve * to a point within the space?

*I understand this is what we mean by a cycle.

1. Almost, but not quite. You can generate the homotopy group by homotopy classes that surround a hole each. However, if there are several holes you may have non-zero homotopy classes that surround several holes.

2. No, that is only the first homotopy group. The second homotopy group would correspond to looking at the obstruction to shrink something homeomorphic to a two-dimensional sphere to a point and so on.

WWGD
Orodruin said:
1. Almost, but not quite. You can generate the homotopy group by homotopy classes that surround a hole each. However, if there are several holes you may have non-zero homotopy classes that surround several holes.

2. No, that is only the first homotopy group. The second homotopy group would correspond to looking at the obstruction to shrink something homeomorphic to a two-dimensional sphere to a point and so on.
Thank you, you're right, I should adapt 'holes' to the right dimension. Curves, I guess n-cycles instead of just curves.

@WWGD I am not. sure what you mean by a hole. Do you have an intuitive idea?

The third homotopy group of the 2 sphere is ##Z##. So one might be tempted to say that the 2 sphere has a 3 dimensional hole. But it is a 2 dimensional manifold. Hmm...

The second homotopy group of the two dimensional torus is zero. So no hole there. But its second homology is ##Z## so maybe one needs homology as well. But then underlying this there must be some non- formal idea of what a hole is.

I suppose one might say that if a closed n-manifold surrounds a compact (n+1) dimensional volume, it creates a hole in some sense. But some n-manifolds do not surround a volume for instance the projective plane is not the boundary of a 3 manifold. Still, one might abandon homotopy and homology and instead say that a closed n manifold forms a n dimensional hole if it is a boundary of another manifold. In that case the projective plane does not form a two dimensional hole.

The Klein bottle is a boundary so by this idea it would form a 2 dimensional hole. On the other hand, its second homotopy group is zero and its second integer homology group is zero. One might say that its second integer cohomology group is ##Z_2## but then what is meant by a hole whose double is not a hole?

More generally what is meant by a hole that is detected by a torsion homology or homotopy class?

Another confusing case to me is a space with a non-abelian fundamental group. What kind of hole is made by a closed loop that is the boundary of a two dimensional singular chain? An example of historical interest is the Poincare homology 3 sphere. Its fundamental group has order 120 and is a simple group. So every homotopy class is a homology boundary.

Last edited:
WWGD and mathwonk
lavinia said:
@WWGD I am not. sure what you mean by a hole. Do you have an intuitive idea?

The third homotopy group of the 2 sphere is ##Z##. So one might be tempted to say that the 2 sphere has a 3 dimensional hole. But it is a 2 dimensional manifold. Hmm...

The second homotopy group of the two dimensional torus is zero. So no hole there. But its second homology is ##Z## so maybe one needs homology as well. But then underlying this there must be some non- formal idea of what a hole is.

I suppose one might say that if a closed n-manifold surrounds a compact (n+1) dimensional volume, it creates a hole in some sense. But some n-manifolds do not surround a volume for instance the projective plane is not the boundary of a 3 manifold. Still, one might abandon homotopy and homology and instead say that a closed n manifold forms a n dimensional hole if it is a boundary of another manifold. In that case the projective plane does not form a two dimensional hole.

The Klein bottle is a boundary so by this idea it would form a 2 dimensional hole. On the other hand, its second homotopy group is zero and its second integer homology group is zero. One might say that its second integer cohomology group is ##Z_2## but then what is meant by a hole whose double is not a hole?

More generally what is meant by a hole that is detected by a torsion homology or homotopy class?

Another confusing case to me is a space with a non-abelian fundamental group. What kind of hole is made by a closed loop that is the boundary of a two dimensional singular chain? An example of historical interest is the Poincare homology 3 sphere. Its fundamental group has order 120 and is a simple group. So every homotopy class is a homology boundary.
Sorry for the delay in Replying. I had had a discussion similarly where someone kept using the term but never pinned it down. I guess 'Holes' are singularities of some sort and homotopy, homology may detect different types of 'singularities' . Sort of exploring the meaning of the term. Homology-wise, I thought of it as just any non-zero element, i.e., a cycle that does not bound. EDIT: But it may become even more complicated in that holes may exist for some coefficient rings but not for others. That seems puzzling to me.

Last edited:
@WWGD Maybe the term comes from two dimensional orientable surfaces. These are all classified by the number of torus like holes. So the sphere has no holes, the torus one, two tori stuck together two and so forth.

WWGD

## 1. What is the topological definition of holes?

The topological definition of holes refers to a concept in mathematics and topology that describes a region of space that is disconnected from the rest of the space. It can also be thought of as a void or empty space within a larger space.

## 2. How is the topological definition of holes different from other definitions?

Unlike other definitions of holes, the topological definition focuses on the properties of the space itself rather than the objects within the space. This means that a hole can exist even if there are no physical objects present.

## 3. What are some examples of holes in a topological sense?

Some examples of holes in a topological sense include the inside of a donut, the space within a ring, and the space between two intersecting circles. These are all regions that are disconnected from the rest of the space.

## 4. How is the topological definition of holes useful in science?

The topological definition of holes is useful in science because it allows us to describe and analyze complex shapes and spaces without being limited by the physical objects within them. This can be particularly helpful in fields such as physics, chemistry, and biology.

## 5. Can holes have different dimensions in a topological sense?

Yes, holes can have different dimensions in a topological sense. For example, a hole in two-dimensional space would be a void within a two-dimensional shape, while a hole in three-dimensional space would be a void within a three-dimensional shape.

• Topology and Analysis
Replies
5
Views
282
• Topology and Analysis
Replies
4
Views
1K
• Topology and Analysis
Replies
12
Views
2K
• Topology and Analysis
Replies
12
Views
4K
• Topology and Analysis
Replies
8
Views
1K
• Topology and Analysis
Replies
2
Views
2K
• Topology and Analysis
Replies
7
Views
2K
• Topology and Analysis
Replies
6
Views
2K
• Topology and Analysis
Replies
2
Views
1K
• Topology and Analysis
Replies
8
Views
2K