Namespaces
Variants
Actions

Difference between revisions of "Homotopy"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex done, some typos)
 
(One intermediate revision by one other user not shown)
Line 1: Line 1:
''of two continuous mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479201.png" />''
+
{{TEX|done}}
 +
''of two continuous mappings $  f,\  g : \  X \rightarrow Y $ ''
  
A formalization of the intuitive idea of deformability of one mapping into another. More exactly, two mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479202.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479203.png" /> are called homotopic (denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479204.png" />) if there exists a family of continuous mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479205.png" />, continuously depending on a parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479206.png" />, such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479207.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479208.png" /> (the choice of the segment <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h0479209.png" /> is here only for the sake of technical convenience; it is clear that any other segment of the real axis could have been taken just as well). This family (which is known as a homotopy connecting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792010.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792011.png" />) is a path in the space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792012.png" /> of all continuous mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792013.png" /> connecting the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792014.png" /> with the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792015.png" />. Thus, a homotopy of mappings is a specialization to the space of mappings of the general concept of  "being connected by a continuous path" . Thus, in particular, the homotopy relation is an equivalence relation, whose equivalence classes (homotopy classes) are the path-connected components of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792016.png" />. In order to give an exact meaning to the above-said one must specify the meaning of the expression  "the mappings ft continuously depend on t" . The most natural procedure is to introduce a topology (or at least a pseudo-topology, cf. also [[Topological structure (topology)|Topological structure (topology)]]) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792017.png" />. However, the traditional procedure is different — it is assumed, by definition, that the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792018.png" /> continuously depend on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792019.png" /> if the function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792020.png" /> is continuous with respect to the totality of variables, i.e. if the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792021.png" /> defined by the formula <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792022.png" /> is continuous (this mapping is in fact often referred to as a homotopy connecting <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792023.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792024.png" />).
 
  
This description of a homotopy is sometimes qualified as free, in distinction from "relative homotopyrelative" or "bound homotopybound" homotopies, which arise upon fixing a class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792025.png" /> of continuous mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792026.png" />, by imposing the requirement <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792027.png" /> for any <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792028.png" />. Thus, given a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792029.png" /> it is possible to consider relative homotopies on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792030.png" />, distinguished by the fact that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792031.png" /> on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792032.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792033.png" />. One says in this case that the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792034.png" /> is homotopic with the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792035.png" /> relative to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792036.png" />; this is written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792037.png" /> <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792038.png" />.
+
A formalization of the intuitive idea of deformability of one mapping into another. More exactly, two mappings $  f $
 +
and $ g $
 +
are called homotopic (denoted by $ f \sim g $ )
 +
if there exists a family of continuous mappings $ f _{t} : \ X \rightarrow Y $ ,  
 +
continuously depending on a parameter $  t \in [0,\  1] $ ,
 +
such that $  f _{0} = f $ ,  
 +
$  f _{1} = g $ (
 +
the choice of the segment $  [0,\  1] $
 +
is here only for the sake of technical convenience; it is clear that any other segment of the real axis could have been taken just as well). This family (which is known as a homotopy connecting $  f $
 +
with $  g $ )
 +
is a path in the space $  F (X,\  Y) $
 +
of all continuous mappings $  X \rightarrow Y $
 +
connecting the point $  f $
 +
with the point $  g $ .  
 +
Thus, a homotopy of mappings is a specialization to the space of mappings of the general concept of  "being connected by a continuous path" . Thus, in particular, the homotopy relation is an equivalence relation, whose equivalence classes (homotopy classes) are the path-connected components of $  F (X,\  Y) $ .  
 +
In order to give an exact meaning to the above-said one must specify the meaning of the expression  "the mappings $f_t$ continuously depend on $t$" . The most natural procedure is to introduce a topology (or at least a pseudo-topology, cf. also [[Topological structure (topology)|Topological structure (topology)]]) in $  F(X,\  Y) $ .  
 +
However, the traditional procedure is different — it is assumed, by definition, that the $  f _{t} $
 +
continuously depend on $  t $
 +
if the function $  f _{t} (x) $
 +
is continuous with respect to the totality of variables, i.e. if the mapping $  F: \  X \times [0,\  1] \rightarrow Y $
 +
defined by the formula $  F(x,\  t) = f _{t} (x) $
 +
is continuous (this mapping is in fact often referred to as a homotopy connecting $  f $
 +
with $  g $ ).
  
Another type of  "relative"  homotopies is generated by selecting subspaces <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792039.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792040.png" /> in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792041.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792042.png" /> and by considering only mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792043.png" /> that satisfy the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792044.png" />. Such mappings are called mappings of the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792046.png" /> into the pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792047.png" /> (written as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792048.png" />), while the corresponding homotopies (i.e. the homotopies for which <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792049.png" /> for all <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792050.png" />) are known as homotopies of pair mappings. Triplets <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792051.png" /> (with the condition <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792052.png" /> or without it), quadruplets, etc., rather than pairs, can also be considered. Thus, one can consider homotopy of pair mappings relative to a third subspace, etc. Essentially different types of  "relative"  homotopies may also be considered.
 
  
The task of establishing homotopy ( "relative"  or not) of two given mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792053.png" /> is equivalent to the task of extending to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792054.png" /> a continuous mapping into <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792055.png" /> given on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792056.png" /> (and, in a homotopy problem <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792057.png" />, on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792058.png" />). In this sense, the problem of homotopy is a special case of the problem of extension. In a wide class of individual cases, however (viz. for the so-called cofibrations, cf. [[Cofibration|Cofibration]]), the possibility of extending to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792059.png" /> a continuous mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792060.png" /> given on a subspace <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792061.png" /> depends only on its homotopy class. This close connection between the problem of homotopy and the problem of extension is the reason why they are considered together under the heading of so-called homotopy theory. See [[Homotopy type|Homotopy type]].
+
This description of a homotopy is sometimes qualified as free, in distinction from  "relative homotopyrelative"  or "bound homotopybound"  homotopies, which arise upon fixing a class $  \mathfrak A $
 +
of continuous mappings $  X \rightarrow Y $ ,
 +
by imposing the requirement $  f _{t} \in \mathfrak A $
 +
for any $  t \in [0,\  1] $ .
 +
Thus, given a subspace $  A \subset X $
 +
it is possible to consider relative homotopies on $  A $ ,
 +
distinguished by the fact that $  f _{t} = f _{0} $
 +
on $  A $
 +
for all $  t $ .
 +
One says in this case that the mapping $  f = f _{0} $
 +
is homotopic with the mapping $  g = f _{1} $
 +
relative to $  A $ ;
 +
this is written as $  f \sim g $
 +
$  \mathop{\rm rel}\nolimits \  A $ .
 +
 
 +
 
 +
Another type of  "relative" homotopies is generated by selecting subspaces $  A \subset X $
 +
and $  B \subset Y $
 +
in $  X $
 +
and $  Y $
 +
and by considering only mappings $  f : \  X \rightarrow Y $
 +
that satisfy the condition $  f(A) \subset B $ .
 +
Such mappings are called mappings of the pair $  (X,\  A) $
 +
into the pair $  (Y,\  B) $ (
 +
written as $  f : \  (X,\  A) \rightarrow ( Y,\  B ) $ ),
 +
while the corresponding homotopies (i.e. the homotopies for which $  f _{t} (A) \subset B $
 +
for all $  t $ )
 +
are known as homotopies of pair mappings. Triplets $  (X,\  A,\  B) $ (
 +
with the condition $  B \subset A \subset X $
 +
or without it), quadruplets, etc., rather than pairs, can also be considered. Thus, one can consider homotopy of pair mappings relative to a third subspace, etc. Essentially different types of  "relative"  homotopies may also be considered.
 +
 
 +
The task of establishing homotopy ( "relative"  or not) of two given mappings $  f,\  g : \  X \rightarrow Y $
 +
is equivalent to the task of extending to $  X \times [0,\  1] $
 +
a continuous mapping into $  Y $
 +
given on $  X \times 0 \cup X \times 1 $ (
 +
and, in a homotopy problem $  \mathop{\rm rel}\nolimits \  A $ ,  
 +
on $  X \times 0 \cup A \times [0,\  1] \cup X \times 1 $ ).  
 +
In this sense, the problem of homotopy is a special case of the problem of extension. In a wide class of individual cases, however (viz. for the so-called cofibrations, cf. [[Cofibration|Cofibration]]), the possibility of extending to $  X $
 +
a continuous mapping $  A \rightarrow Y $
 +
given on a subspace $  A \subset X $
 +
depends only on its homotopy class. This close connection between the problem of homotopy and the problem of extension is the reason why they are considered together under the heading of so-called homotopy theory. See [[Homotopy type|Homotopy type]].
  
  
  
 
====Comments====
 
====Comments====
The context in which the term  "free homotopy"  is used differs slightly in the West; one uses it in the context of pointed spaces (a pointed space is a pair <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792062.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792063.png" /> a space and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792064.png" /> a point of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792065.png" />). Here then a  "free"  homotopy is a homotopy between arbitrary mappings, whereas for an  "ordinary"  homotopy one considers mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792066.png" /> satisfying <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/h/h047/h047920/h04792067.png" /> and the mappings in the homotopies are to satisfy this condition too.
+
The context in which the term  "free homotopy"  is used differs slightly in the West; one uses it in the context of pointed spaces (a pointed space is a pair $  \langle X ,\  x _{0} \rangle $
 +
with $  X $
 +
a space and $  x _{0} $
 +
a point of $  X $ ).  
 +
Here then a  "free"  homotopy is a homotopy between arbitrary mappings, whereas for an  "ordinary"  homotopy one considers mappings $  f : \  \langle X ,\  x _{0} \rangle \rightarrow \langle Y ,\  y _{0} \rangle $
 +
satisfying $  f ( x _{0} ) = y _{0} $
 +
and the mappings in the homotopies are to satisfy this condition too.
  
 
====References====
 
====References====
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  G.W. Whitehead,  "Elements of homotopy theory" , Springer  (1978)  pp. 228</TD></TR></table>
 
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  G.W. Whitehead,  "Elements of homotopy theory" , Springer  (1978)  pp. 228</TD></TR></table>

Latest revision as of 12:44, 15 December 2019

of two continuous mappings $ f,\ g : \ X \rightarrow Y $


A formalization of the intuitive idea of deformability of one mapping into another. More exactly, two mappings $ f $ and $ g $ are called homotopic (denoted by $ f \sim g $ ) if there exists a family of continuous mappings $ f _{t} : \ X \rightarrow Y $ , continuously depending on a parameter $ t \in [0,\ 1] $ , such that $ f _{0} = f $ , $ f _{1} = g $ ( the choice of the segment $ [0,\ 1] $ is here only for the sake of technical convenience; it is clear that any other segment of the real axis could have been taken just as well). This family (which is known as a homotopy connecting $ f $ with $ g $ ) is a path in the space $ F (X,\ Y) $ of all continuous mappings $ X \rightarrow Y $ connecting the point $ f $ with the point $ g $ . Thus, a homotopy of mappings is a specialization to the space of mappings of the general concept of "being connected by a continuous path" . Thus, in particular, the homotopy relation is an equivalence relation, whose equivalence classes (homotopy classes) are the path-connected components of $ F (X,\ Y) $ . In order to give an exact meaning to the above-said one must specify the meaning of the expression "the mappings $f_t$ continuously depend on $t$" . The most natural procedure is to introduce a topology (or at least a pseudo-topology, cf. also Topological structure (topology)) in $ F(X,\ Y) $ . However, the traditional procedure is different — it is assumed, by definition, that the $ f _{t} $ continuously depend on $ t $ if the function $ f _{t} (x) $ is continuous with respect to the totality of variables, i.e. if the mapping $ F: \ X \times [0,\ 1] \rightarrow Y $ defined by the formula $ F(x,\ t) = f _{t} (x) $ is continuous (this mapping is in fact often referred to as a homotopy connecting $ f $ with $ g $ ).


This description of a homotopy is sometimes qualified as free, in distinction from "relative homotopyrelative" or "bound homotopybound" homotopies, which arise upon fixing a class $ \mathfrak A $ of continuous mappings $ X \rightarrow Y $ , by imposing the requirement $ f _{t} \in \mathfrak A $ for any $ t \in [0,\ 1] $ . Thus, given a subspace $ A \subset X $ it is possible to consider relative homotopies on $ A $ , distinguished by the fact that $ f _{t} = f _{0} $ on $ A $ for all $ t $ . One says in this case that the mapping $ f = f _{0} $ is homotopic with the mapping $ g = f _{1} $ relative to $ A $ ; this is written as $ f \sim g $ $ \mathop{\rm rel}\nolimits \ A $ .


Another type of "relative" homotopies is generated by selecting subspaces $ A \subset X $ and $ B \subset Y $ in $ X $ and $ Y $ and by considering only mappings $ f : \ X \rightarrow Y $ that satisfy the condition $ f(A) \subset B $ . Such mappings are called mappings of the pair $ (X,\ A) $ into the pair $ (Y,\ B) $ ( written as $ f : \ (X,\ A) \rightarrow ( Y,\ B ) $ ), while the corresponding homotopies (i.e. the homotopies for which $ f _{t} (A) \subset B $ for all $ t $ ) are known as homotopies of pair mappings. Triplets $ (X,\ A,\ B) $ ( with the condition $ B \subset A \subset X $ or without it), quadruplets, etc., rather than pairs, can also be considered. Thus, one can consider homotopy of pair mappings relative to a third subspace, etc. Essentially different types of "relative" homotopies may also be considered.

The task of establishing homotopy ( "relative" or not) of two given mappings $ f,\ g : \ X \rightarrow Y $ is equivalent to the task of extending to $ X \times [0,\ 1] $ a continuous mapping into $ Y $ given on $ X \times 0 \cup X \times 1 $ ( and, in a homotopy problem $ \mathop{\rm rel}\nolimits \ A $ , on $ X \times 0 \cup A \times [0,\ 1] \cup X \times 1 $ ). In this sense, the problem of homotopy is a special case of the problem of extension. In a wide class of individual cases, however (viz. for the so-called cofibrations, cf. Cofibration), the possibility of extending to $ X $ a continuous mapping $ A \rightarrow Y $ given on a subspace $ A \subset X $ depends only on its homotopy class. This close connection between the problem of homotopy and the problem of extension is the reason why they are considered together under the heading of so-called homotopy theory. See Homotopy type.


Comments

The context in which the term "free homotopy" is used differs slightly in the West; one uses it in the context of pointed spaces (a pointed space is a pair $ \langle X ,\ x _{0} \rangle $ with $ X $ a space and $ x _{0} $ a point of $ X $ ). Here then a "free" homotopy is a homotopy between arbitrary mappings, whereas for an "ordinary" homotopy one considers mappings $ f : \ \langle X ,\ x _{0} \rangle \rightarrow \langle Y ,\ y _{0} \rangle $ satisfying $ f ( x _{0} ) = y _{0} $ and the mappings in the homotopies are to satisfy this condition too.

References

[a1] G.W. Whitehead, "Elements of homotopy theory" , Springer (1978) pp. 228
How to Cite This Entry:
Homotopy. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Homotopy&oldid=18180
This article was adapted from an original article by M.M. Postnikov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article