Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For the fundamental group it's easy to visualize when two loops are homotopic. I was wondering if there are any ways to look at the equivalent problem for homology? I guess this might be tricky for singular homology, but are there nice ways to think about this for say simplicial and cellular homology?

share|cite|improve this question
up vote 1 down vote accepted

By definition, two $k$-chains $a$ and $b$ are homologous if they represent the same homology class; that is to say that $a-b = \partial C$ for some $k+1$-chain $C$. Let's restrict our attention to surfaces for the moment, for simplicity, and let's set $k=1$ just to see how this goes. A $2$-chain will just be some two-dimensional subsurface, possibly with boundary. For instance, $C$ might be a cylindrical subsurface sitting inside the torus (a quarter-donut, if you will). The boundary of $C$ in this case will consist of two loops, and (having properly oriented everything) these two loops will be homologous, precisely because together they bound a subsurface.

Similarly, in some simply-connected space, like $\mathbb{R}^2$, say, all $1$-chains are homologous to zero, since we can always find a $2$ chain to "fill in" any holes; if we have a map of the circle, we can always extend it to a map of the $2$-disk. But of course, we can't always fill in holes in spaces with more interesting topology; i.e. a loop going around the hole in a torus can't be filled in, hence this will not represent zero in homology.

To summarize, you can "look" for homologous elements by seeing if you can represent their difference as the boundary of a chain of one dimension higher.

The introduction to Chapter 2 of Hatcher's $\textit{Algebraic Topology}$ has a nice discussion motivating the transition from homotopy to homology that you might enjoy looking at.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.