Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Homotopy (circle and line)

  1. Jan 13, 2010 #1
    Any two continuous maps from X to Y, where Y is a convex subset of R^n, are homotopic. For example, the functions f(t) = (sin2pit, cos2pit) and g(t) = (t,0) are maps from [0,1) to R^2. So these functions are homotopic. Intuitively, two functions are homotopic if one can be continuously deformed into the other. So is there really a continuous path in function space from f to g?
     
  2. jcsd
  3. Jan 13, 2010 #2
    As your circle is not closed, because it's the image of [0,1), it can be obtained by stretching and bending the image of g(t), which coincides with the interval [0,1) on the x-axis (the analytic expression of the homotopy is messy).
     
  4. Jan 13, 2010 #3
    Ok how about I define the circle on [0,1] then? The analytic expression of the homotopy is h(t,s) = (1-s)f(t) + sg(t), which is not messy at all.
     
  5. Jan 13, 2010 #4
    how about F(s,t) = sf(t) + (1-s)g(t) ?
     
  6. Jan 13, 2010 #5
    Yes, I assume you didn't see my last post which stated exactly that. My problem is that continuous transformations don't generally involve breaking or tearing, which makes this counter-intuitive. For example, the circle is not homeomorphic to the line, but in terms of functions, it is homotopic to the line.
     
  7. Jan 13, 2010 #6
    sorry I didn't see your post. The homotopy works and just takes advantage of the convexity of the plane.

    There is no tearing or breaking here. breaking would happen if for some value of s, sf(t) + (1-s)g(t) broke the domain interval (0,1]. But each image is unbroken.
     
  8. Jan 13, 2010 #7
    Not sure if I follow you there. I was thinking the path in function space should be unbroken, ie the is a continuum of functions from the circle to the line. I don't see what this has to do with the domain.
     
  9. Jan 13, 2010 #8
    breaking means breaking the domain not the image.You imagine the domain as deformed into the range by the function. If this deformation does not break the domain then the map is continuous

    The path in function space is also unbroken. The image of the interval from zero to 1 in function space is unbroken. realize though that you need a topology on the function space to talk about continuous paths of functions - but the convex homotopy will work for reasonable topologies.

    What you may be thinking of is a slightly different problem and are getting tripped up because the image of your function,f, is a circle in the plane.

    If your domain is a circle then f is a map of this circle into the plane and its image can not be deformed onto the line segment without breaking .But there is no way to extend g to the circle continuously which again shows you that no such homotopy could ever exits on the circle. So it is all about what the function does to the domain.
     
Share this great discussion with others via Reddit, Google+, Twitter, or Facebook