homotopy is a new word to me. Upon trying to understand this property, I immediately think of another well-known segmentation algorithm: watersheds.

I see that watershed should exhibit some homotopic properties. In fact, I've also located a paper that discusses the link between homotopy and watersheds [1]. But to my understanding, watersheds is another form of region growing/shrinking, meaning the 'waterpools' would be expanding/shrinking.

Now, (1.1) Doesn't homotopy preserve the area/volume of the objects? (2.1) Why do we need to define homotopy between two continuous functions? (2.2) Where and when will you apply it?

You can tell I'm a bit confused; therefore, I seek your advice.

Thanks, Gary

[1] http://www.esiee.fr/~info/a2si/Ps/Cousty_iwcia09.pdf

  • $\begingroup$ I think this is probably more appropriate for Math.SE. Please read the FAQ. $\endgroup$
    – Kaveh
    Jun 1 '11 at 4:11
  • 2
    $\begingroup$ @Kaveh, i believe this is not entirely for Math. SE. homotopy is vastly seen in computer science. If that's the case, a lot of the image processing problems that were once here should be penalized too. $\endgroup$
    – Gary Tsui
    Jun 1 '11 at 4:20
  • $\begingroup$ I feel that all three questions are elementary question in homotopy theory and Math.SE is more appropriate for them. And about image processing you will probably find more help on the AI Q&A site linked in the FAQ than on cstheory. $\endgroup$
    – Kaveh
    Jun 1 '11 at 4:23
  • 4
    $\begingroup$ The question does seem to be a basic question: "What is homotopy theory and what is it good for?" The watershed discussion seems to be a bit of a red herring. (1.1) Homotopy doesn't preserve area/volume. (2.1) Homotopy preserves topological properties such as number of "holes". (2.2) All over the place in mathematics. Reading an online book on Algebraic Topology might help answer these questions. $\endgroup$ Jun 1 '11 at 5:57
  • 2
    $\begingroup$ Agreed. While homotopy theory is a legitimate topic of discussion here (at least parts of it, relating to comp. topology), this particular question is better asked on math.SE $\endgroup$ Jun 1 '11 at 6:04

Let's take these in reverse order since it seems like a more natural progression:

  • (2.2) Where and when will you apply it?

Homotopy theory is part of algebraic topology. At a high level we use it to map topological and geometric questions into algebraic ones. By doing so you can leverage algebraic techniques which may help answer your geometric question. For example, when you have two different topological spaces on your hands and you are trying to see if they are topologically different you can try to calculate the homotopy groups and compare. When you can establish a homotopy between two spaces we say they're homotopic. Certain geometric properties are preserved by homotopy equivalence and you can often use this information to answer your original geometric question.

  • (2.1) Why do we need to define homotopy between two continuous functions?

Homotopy formally captures the act of 'deformation'. You deform one thing into another continuously and say they're homotopic. Usually people are trying to calculate the fundamental group associated with the topological space (or geometric object). The idea is to pick a point on the thing (called the base point) and then start making loops all over the space that start and end on the base point. Those loops are continuous maps from the interval [0,1] into the space and those are the continuous functions that are getting deformed into each other with a homotopy. Go crazy and draw them all over the space starting from the base point and then see if you can shrink (or retract) them back to the original point or deform one loop into another. If you can deform one loop into another then you say there exists a homotopy between them and can consider them equivalent. You define an operation between these equivalence classes of paths and you get something with a group structure -- the fundamental group. In essence you have distilled out an algebraic structure from the space and now have something you can calculate with and compare with that of other spaces.

(1.1) Doesn't homotopy preserve the area/volume of the objects?

This question doesn't really make sense because the whole idea is to formalize the notion of deformation. You deform one thing into another and it plows over the whole idea of metric. No metric no volume or area... so when you think homotopy toss the whole area/volume thing out. By using homotopy you're trying to extract algebraic information from the space that didn't care about things like area or volume. From the homotopy point of view a big doughnut and a sphere are different (one's got a hole but the other don't) but two doughnuts of different sizes are the same. It's the hole that mattered in the end... not the relative sizes of each doughnut.

HTH and sorry if the I used language that was too loose. :) It sounded like you were a comp-sci guy so I was trying to be a bit less formal.

Take care.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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