99 lines
2.9 KiB
Markdown
99 lines
2.9 KiB
Markdown
# Math4202 Topology II (Lecture 10)
|
||
|
||
## Algebraic Topology
|
||
|
||
### Path homotopy
|
||
|
||
#### Theorem for properties of product of paths
|
||
|
||
1. If $f\simeq_p f_1, g\simeq_p g_1$, then $f*g\simeq_p f_1*g_1$. (Product is well-defined)
|
||
2. $([f]*[g])*[h]=[f]*([g]*[h])$. (Associativity)
|
||
3. Let $e_{x_0}$ be the constant path from $x_0$ to $x_0$, $e_{x_1}$ be the constant path from $x_1$ to $x_1$. Suppose $f$ is a path from $x_0$ to $x_1$.
|
||
$$
|
||
[e_{x_0}]*[f]=[f],\quad [f]*[e_{x_1}]=[f]
|
||
$$
|
||
(Right and left identity)
|
||
4. Given $f$ in $X$ a path from $x_0$ to $x_1$, we define $\bar{f}$ to be the path from $x_1$ to $x_0$ where $\bar{f}(t)=f(1-t)$.
|
||
$$
|
||
f*\bar{f}=e_{x_0},\quad \bar{f}*f=e_{x_1}
|
||
$$
|
||
$$
|
||
[f]*[\bar{f}]=[e_{x_0}],\quad [\bar{f}]*[f]=[e_{x_1}]
|
||
$$
|
||
|
||
<details>
|
||
<summary>Proof</summary>
|
||
|
||
(1) If $f\simeq_p f_1$, $g\simeq_p g_1$, then $f*g\simeq_p f_1*g_1$.
|
||
|
||
Let $F$ be homotopy between $f$ and $f_1$, $G$ be homotopy between $g$ and $g_1$.
|
||
|
||
We can define
|
||
|
||
$$
|
||
F*G:[0,1]\times [0,1]\to X,\quad F*G(s,t)=\left(F(-,t)*G(-,t)\right)(s)=\begin{cases}
|
||
F(2s,t) & 0\leq s\leq \frac{1}{2}\\
|
||
G(2s-1,t) & \frac{1}{2}\leq s\leq 1
|
||
\end{cases}
|
||
$$
|
||
|
||
$F*G$ is a homotopy between $f*g$ and $f_1*g_1$.
|
||
|
||
We can check this by enumerating the cases from definition of homotopy.
|
||
|
||
---
|
||
|
||
(2) $([f]*[g])*[h]=[f]*([g]*[h])$.
|
||
|
||
For $f*(g*h)$, along the interval $[0,\frac{1}{2}]$ we map $x_1\to x_2$, then along the interval $[\frac{1}{2},\frac{3}{4}]$ we map $x_2\to x_3$, then along the interval $[\frac{3}{4},1]$ we map $x_3\to x_4$.
|
||
|
||
For $(f*g)*h$, along the interval $[0,\frac{1}{4}]$ we map $x_1\to x_2$, then along the interval $[\frac{1}{4},\frac{1}{2}]$ we map $x_2\to x_3$, then along the interval $[\frac{1}{2},1]$ we map $x_3\to x_4$.
|
||
|
||
We can construct the homotopy between $f*(g*h)$ and $(f*g)*h$ as follows.
|
||
|
||
Let $f((4-2t)s)$ for $F(s,t)$,
|
||
|
||
when $t=0$, $F(s,0)=f(4s)\in f*(g*h)$, when $t=1$, $F(s,1)=f(2s)\in (f*g)*h$.
|
||
|
||
....
|
||
|
||
_We make the linear maps between $f*(g*h)$ and $(f*g)*h$ continuous, then $f*(g*h)\simeq_p (f*g)*h$. With our homotopy constructed above_
|
||
|
||
---
|
||
|
||
(3) $e_{x_0}*f\simeq_p f\simeq_p f*e_{x_1}$.
|
||
|
||
We can construct the homotopy between $e_{x_0}*f$ and $f$ as follows.
|
||
|
||
$$
|
||
H(s,t)=\begin{cases}
|
||
x_0 & t\geq 2s\\
|
||
f(2s-t) & t\leq 2s
|
||
\end{cases}
|
||
$$
|
||
|
||
or you may induct from $f(\frac{s-t/2}{1-t/2})$ if you like.
|
||
|
||
---
|
||
|
||
(4) $f*\bar{f}=e_{x_0},\quad \bar{f}*f=e_{x_1}$.
|
||
|
||
Note that we don't need to reach $x_1$ every time.
|
||
|
||
$f_t=f(ts)$ $s\in[0,\frac{1}{2}]$.
|
||
|
||
$\bar{f}_t=\bar{f}(1-ts)$ $s\in[\frac{1}{2},1]$.
|
||
|
||
</details>
|
||
|
||
> [!CAUTION]
|
||
>
|
||
> Homeomorphism does not implies homotopy automatically. Homeomorphism doesn’t force a homotopy between that map and the identity (or between two given homeomorphisms).
|
||
|
||
#### Definition for the fundamental group
|
||
|
||
The fundamental group of $X$ at $x$ is defined to be
|
||
|
||
$$
|
||
(\Pi_1(X,x),*)
|
||
$$ |