Is It Possible to Invert a Homotopy?

  • Thread starter Thread starter Ben2
  • Start date Start date
  • Tags Tags
    Function
Ben2
Messages
37
Reaction score
9
Homework Statement
From Hatcher, "Algebraic Topology" p. 3 line 32: "...[T]hree graphs [two circles connected with a line segment, a horizontal figure 8 and an ellipse bisected by a vertical line segment] are all homotopy equivalent since they are deformation retracts of the same space..."
Relevant Equations
##F(x,t) = f_t(x)##, fg\cong\\mathbb{1}##, ##X\congY##, where the author's "congruence" sign has an additional line segment
For F: X x I-->Y, defined by F(x,t) = y, next define G: Y x I-->X by G(y,u) = x. Then for t = u, we have
F[G(y,t),t] = F{G[F(x,t),t]}, which will ideally be ##\mathbb{1}##. Given Hatcher's definitions pp. 2-3, to me it's not clear how to "invert" a homotopy without an inverse function--let alone how to "invert" a deformation retract. The latter seems to be a set of continuous projection maps. Thanks again for all feedback!
 
Physics news on Phys.org
Please wrap your Latex for easier viewing.
Well, if your parameter on ##I## goes from ##0## to ##1##, your inverse would go from ##1## to ##0##, for one.
There may be issues for some contractible spaces, by cardinality alone, i.e., if you contract to a point, you won't be able to invert. Otherwise, " Homotopic" is an equivalence relationship, so that if X is homotopic to Y, then Y is homotopic to X.
 
Maybe @mathwonk can add something here.
 
Thanks very much.
 
I agree with WWGD that the point is simply that a deformation retract is a homotopy equivalence, so the issue is that the latter is an equivalence relation (hence symmetric and transitive).
Maybe Hatcher, Cor.0.21, p.16 will be helpful.

Actually, transitivity seems to follow directly from the fact that compositions of homotopic maps are also homotopic., e.g. as on p.2 of these notes:
https://web.northeastern.edu/suciu/U565/U565sp10-homotopy.pdf
 
Last edited:
Thanks to all for the references.
 
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top