522: Homotopic Maps

<The previous article in this series | The table of contents of this series | The next article in this series>

definition of homotopic maps

---

Topics

About: topological space

---

The table of contents of this article

• Starting Context
• Target Context
• Orientation
• Main Body
• 1: Structured Description
• 2: Natural Language Description

---

Starting Context

• The reader knows a definition of continuous map.
• The reader knows a definition of product topology.

---

Target Context

• The reader will have a definition of homotopic maps.

---

Orientation

There is a list of definitions discussed so far in this site.

There is a list of propositions discussed so far in this site.

---

Main Body

---

1: Structured Description

Here is the rules of Structured Description.

Entities:
$T_1$: $\in \{\text{ the topological spaces }\}$
$T_2$: $\in \{\text{ the topological spaces }\}$
$\ast f$: $:T_1\to T_2$, $\in \{\text{ the continuous maps }\}$
$\ast f^{\prime }$: $:T_1\to T_2$, $\in \{\text{ the continuous maps }\}$
//

Conditions:
$\mathrm{\exists }F:T_1\times I\to T_2,\in \{\text{ the continuous maps }\}$, where $I$ is $[0,1]\subseteq \mathbb{R}$
(
$\mathrm{\forall }p\in T_1$
(
$F(p,0)=f(p)$
$\wedge$
$F(p,1)=f^{\prime }(p)$
)
).
//

$F$ is called "homotopy".

$f\simeq f^{\prime }$ denotes the relation.

---

2: Natural Language Description

For any topological spaces, $T_1,T_2$, any continuous maps, $f,f^{\prime }:T_1\to T_2$, such that there is a continuous map (called "homotopy"), $F:T_1\times I\to T_2$, where $I$ is $[0,1]\subseteq \mathbb{R}$, such that $F(p,0)=f(p)$ and $F(p,1)=f^{\prime }(p)$, denoted as $f\simeq f^{\prime }$

---

References

<The previous article in this series | The table of contents of this series | The next article in this series>