Recently I have been working through a text on Differential Topology and have come across the notion of smooth homotopy. Now the textbook (along with every other source I can find on the matter) defines a smooth homotopy of maps [itex]f,g:M \rightarrow N[/itex] as a smooth map [itex]h:M \times [0,1] \rightarrow N[/itex] that satisfies [itex]h(s,0) = f(s)[/itex] and [itex]h(s,1) = g(s)[/itex]. This all makes sense to me except for one thing: The text I am using only defines smooth manifolds without boundary and, unless I am missing something obvious, the space [itex]M \times [0,1][/itex] is not a smooth manifold under this definition. In particular, if [itex]M \times [0,1][/itex] is not a smooth manifold, then our definition of smooth map does not make any sense either. So I am wondering if I am just missing something here, or if there is a genuine problem with this definition.(adsbygoogle = window.adsbygoogle || []).push({});

Off the top of my head, all of these problems can be alleviated by considering a smooth map [itex]h:M \times (0,1) \rightarrow N[/itex] such that for some [itex]x,y \in (0,1)[/itex] with [itex]x < y[/itex] it follows that [itex]h(s,x) = f(s)[/itex] and [itex]h(s,y) = g(s)[/itex]. This is a bit fussier, but it is immediately clear that [itex]M \times (0,1)[/itex] is a smooth manifold.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Smooth homotopy

Loading...

Similar Threads for Smooth homotopy | Date |
---|---|

A Smoothness of multivariable function | Apr 10, 2018 |

A Smooth extension on manifolds | Apr 5, 2018 |

A Pushforward of Smooth Vector Fields | Jan 12, 2018 |

A Can I change topology of the physical system smoothly? | Oct 27, 2017 |

Smooth Homotopy, Regular Values (Milnor) | May 10, 2012 |

**Physics Forums - The Fusion of Science and Community**