PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Medium Entry average rating: No information on entry rating
homotopy of paths (Definition)

Let $X$ be a topological space and $p,q$ paths in $X$ with the same initial point $x_{0}$ and terminal point $x_{1}$ If there exists a continuous function $F: I \times I \to X$ such that

  1. $F(s,0)=p(s)$ for all $s \in I$
  2. $F(s,1)=q(s)$ for all $s \in I$
  3. $F(0,t)=x_{0}$ for all $t \in I$
  4. $F(1,t)=x_{1}$ for all $t \in I$

we call $F$ a homotopy of paths in $X$ and say $p,q$ are homotopic paths in $X$ $F$ is also called a continuous deformation.




"homotopy of paths" is owned by RevBobo.
(view preamble | get metadata)

View style:

See Also: homotopy of maps, homotopy with a contractible domain, (path) connectness as a homotopy invariant

Other names:  homotopic paths, continuous deformation, homotopy
Log in to rate this entry.
(view current ratings)

Cross-references: continuous function, terminal point, initial point, paths, topological space
There are 46 references to this entry.

This is version 4 of homotopy of paths, born on 2002-01-23, modified 2002-02-12.
Object id is 1576, canonical name is HomotopyOfPaths.
Accessed 9960 times total.

Classification:
AMS MSC55Q05 (Algebraic topology :: Homotopy groups :: Homotopy groups, general; sets of homotopy classes)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)