Homotopy of Paths

, 一 t₀ ∈ I, F_t0(s) : I → X, F_t0(s) = F(s, t0),∀ s ∈ I.

Ft0 一 I X 的 , 以 X 的 path. σ τ homotopic

, 以 一 “ ” 的 paths Ft, F0 =σ “ ” F1 =τ.

, F : I× I → X , t₀ ∈ I, F_t0 F(s, t0) X

的 path.

Example 4.1.2. S¹ = {(cos θ, sin θ) : 0 ≤ θ < 2π} R² 的 standard topology 的 subspace. σ, τ S¹ 的 paths, σ(t) = (cos(tπ), sin(tπ)), τ(t) = (cos(−tπ), sin(−tπ)), ∀ t ∈ I.

G(s, t) = (1 − t)σ(s) + tτ(s), ∀ (s, t) ∈ I × I.

G(s, 0) = σ(s), G(s, 1) = τ(s), S¹ σ, τ homotopic.

G(s, t) I× I S¹ 的 ( 0< t0< 1/2 G_t0(s) = G(s, t0)

S¹ 的 path). G(s, t) I× I R² 的 , 的, 以

σ, τ R² homotopic.

σ, τ S¹ homotopic. 一 , 一 I× I

S¹ 的 . 以

F(s, t) = (cos((1 − 2t)sπ), sin((1 − 2t)sπ)), ∀ (s, t) ∈ I × I.

F : I× I → S¹ I× I S¹ 的 F0(s) =σ(s), F1(s) =τ(s). σ, τ S¹ homotopic.

Question 4.2. Example 4.1.2 的 F(s, t), t = 1/2 F_1/2 S¹ 一 path?

F σ τ.

Question 4.3. X topological space, σ X 的 path.

(1) τ(t) =

{ σ(2t), 0 ≤ t ≤ 1/2;

σ(1), 1/2 < t ≤ 1. X σ ≃ τ.

(2) F : I× I → X F₀ =σ, X t₀∈ I σ ≃ Ft0.

一 , path homotopic 的 homotopy function.

homotopy function 的, 性, 的

的 的 . 外 的 I× I 一些 closed sets 的 ,

些 closed set , 些 一 的, 以

Gluing Lemma I× I 的 . Proposition 1.4.4 open sets

的 , closed sets 的 (Question 1.12). closed

sets 的 , homotopy function 的 ,

.

Lemma 4.1.3 (Gluing Lemma). X topological space X1, X2 X 的 closed subsets X₁∪ X2= X. Y topological space X₁, X2 X 的 subspace topology,

f₁: X₁→ Y, f2 : X₂ → Y continuous f₁(x) = f₂(x),∀ x ∈ X1∩ X2. f : X→ Y

f (x) =

{ f1(x), x∈ X1; f2(x), x∈ X2. f continuous function.

X 的 path homotopic , equivalence relation

的 , 一 homotopic 的 ,

Proposition 4.1.4. X 一 topological space, homotopy relation≃ X 的 paths 的一 equivalence relation.

Proof. X 的 path σ, σ ≃ σ. F(s, t) = σ(s), ∀ t ∈ I. F I× I X 的 continuous function F0 = F1 =σ, ≃ reflexive.

σ ≃ τ, F : I × I → X F0 = σ, F1 = τ. G(s, t) =

F(s, 1 − t), G I× I X 的 continuous function G(s, 0) = F(s, 1) = F1 =τ G(s, 1) = F(a, 0) − F0 =σ, τ ≃ σ, ≃ symmetric.

σ ≃ τ τ ≃ γ, σ ≃ γ. F, G I × I X 的

continuous function F0 = σ, F1 = τ, G0 = τ, G1 = γ, H : I× I → X continuous H0 =σ, H1=γ.

H(s, t) =

{ F(s, 2t), 0≤ t ≤ 1/2 G(s, 2t − 1), 1/2 ≤ t ≤ 1.

[0, 1/2], [1/2, 1] I 的 closed subset, I× [0, 1/2], I × [1/2, 1] I× I 的 closed subset. (I× [0, 1/2]) ∩ (I × [1/2, 1]) = I × {1/2} 以及 F(s, 1) = G(s, 0) = σ,

Gluing Lemma (4.1.3) H , H0 =σ, H1 =γ. σ ≃ γ,

≃ transitive. 

拓樸 X path 的 homotopy relation 一 equivalence relation

的 , 以 paths homotopy relation . σ, τ ,

σ ≃ τ. 一 一 的 homotopic 的 拓樸 的 ,

拓樸 一 的 . 一 拓樸 的 paths

, 一 . 以 一 .

x₀ ∈ X, constant function c(t) = x0, ∀ t ∈ I 一 I X 的

, 以 , 一 X 的 path. σ X 的 path x0,

t₀ ∈ I σ(t0) = x₀. F(s, t) = σ(tt0+ s(1− t)), ∀ (s, t) ∈ I × I. F

T × I X 的 F0(s) = σ(s) F1(s) = σ(t0) = x₀. σ 的

一 x0 homotopic. 言 , 的 path 的 一

的. homotopy relation 一 equivalence relation, x₀, y0 以 一 pathσ , x0 ≃ σ σ ≃ y0, x0 ≃ y0. homotopy relation

paths , X 的 . 以 path ,

. 的 的 X 的一 path component. 一 ,

一 path component 以 path ; , path component 的

path . , 一 path component 的 path homotopic; path

component 的 path homotopic. , X 的 path homotopy relation 的 的 equivalence class X 的 path component 一 一 的

. 特 的 X 一 path component, 以 的 .

Definition 4.1.5. X topological space a, b ∈ X 一 pathσ σ(0) = a, σ(1) = b, X path connected space.

Question 4.4. X ={a, b} indiscrete topology path connected? S¹ R² standard topology 的 subspace path connected?

X path connected space X X 的 path .

path connected connected ? 的, 以 的 .

Proposition 4.1.6. X path connected topological space, X connected.

Proof. , X disconnected. X 的 open set U, V

U∪V = X U∩V = ∅. U, V , a∈ U b∈ V. X path connected, σ : I → X σ(0) = a, σ(1) = b. σ⁻¹(U), σ⁻¹(V), σ , σ⁻¹(U), σ⁻¹(V) I 的 open set ( 0∈ σ⁻¹(U), 1 ∈ σ⁻¹(V)),

σ⁻¹(U)∪ σ⁻¹(V) =σ⁻¹(U∪ V) = I, σ⁻¹(U)∩ σ⁻¹(V) =σ⁻¹(U∩ V) = ∅.

I = [0, 1] connected (Proposition 3.1.21) , X connected. 

Proposition 4.1.6 的 一 , connected space path

connected. 的 “topologist’s sine curve”. connected,

locally connected. path connected. 的 以 一 拓樸

的 , .

一 topological space 一 path component , 一 path com-ponent subspace path connected. path connected space

homotopy relation ( 的 path homotopic), 以

的 .

σ, τ X 的 paths σ(1) = τ(0) ( σ 的 τ 的 ),

以 “ ” . σ ∗ τ path

σ ∗ τ(t) =

{ σ(2t), 0≤ t ≤ 1/2;

τ(2t − 1), 1/2 ≤ t ≤ 1.

的 Question 1.12, σ ∗ τ 一 I X 的 . , σ^′, τ^′

X 的 path σ ≃ σ^′, τ ≃ τ^′. σ^′(1) τ^′(0), σ^′, τ^′ 以

“ ” . homotopy relation , path “ ”

well-defined. , 的 一 . 以

pathσ, σ^′ homotopic , .

F : I× I → X F₀ =σ, F1 =σ^′ 外, σ(0) = σ^′(0)以

及 σ(1) = σ^′(1). 的 的 path 的 ,

. path connected space, path 一 的 一 的

. 的 , 的 paths . 以 的

的 equivalence classes X a, b ∈ X 的 (a, b) 一 一

的 , .

Question 4.3 σ ≃ τ , σ, τ 的 homotopy function F 一 t₀∈ I,

的 path F_t0, σ τ homotopic. 以 的 , σ ≃ τ,

σ(0) = τ(0) 以及 σ(1) = τ(1), σ, τ 的 homotopy function F : I× I → X F(0, t) = σ(0) = τ(0) F(1, t) = σ(1) = τ(1), ∀ t ∈ I. σ τ 的

, . “ 性” 的 , 以

以 , 一 拓樸 , . 以

.

Definition 4.1.7. X topological space σ, τ X 的 paths σ(0) = τ(0) σ(1) = τ(1). 一 F : I× I → X, F(s, 0) = σ(s), F(s, 1) = τ(s),

∀ s ∈ I 以及 F(0, t) = σ(0), F(1, t) = σ(1), ∀ t ∈ I. σ, τ homotopic with end points fixed, σ ≃_{0,1}τ . F σ, τ 的 homotopy function with end points fixed.

Example 4.1.8. Example 4.1.2 σ, τ R² 的 paths, σ(t) = (cos(tπ), sin(tπ)), τ(t) = (cos(−tπ), sin(−tπ)), ∀ t ∈ I

G(s, t) = (1 − t)σ(s) + tτ(s), ∀ (s, t) ∈ I × I.

G(s, 0) = σ(s), G(s, 1) = τ(s), G(0, t) = σ(0) = τ(0) G(1, t) = σ(1) =

τ(1), ∀ t ∈ I. 以 G σ, τ 的 homotopy function . 以 R²

σ ≃_{0,1}τ.

Example 4.1.2 σ, τ S¹ 的 paths. 一 S σ, τ

的 homotopy function,

F(s, t) = (cos((1 − 2t)sπ), sin((1 − 2t)sπ)), ∀ (s, t) ∈ I × I.

F(0, t) = σ(0) t, 1 , F(1, t) = (cos(1 − 2t)π, sin(1 − 2t)π) , σ(1), 以 F

σ, τ S¹ 的 homotopy function. 以 , S¹ σ

τ homotopic with end points fixed.

的 homotopy relation , R² S¹

, equivalence relation . 以 Proposition

4.1.4 的 的 homotopy function , 的 homotopy function 的

. 以 ≃_{0,1} 一 equivalence relation. .

Proposition 4.1.9. X 一 topological space, 的 homotopy relation ≃_{0,1}

X 的 paths 的一 equivalence relation.

path 的 . σ, τ X 的 paths σ(1) = τ(0),

一 的 pathσ ∗ τ σ, τ ,

σ ∗ τ(t) =

{ σ(2t), 0≤ t ≤ 1/2;

τ(2t − 1), 1/2 ≤ t ≤ 1.

σ^′, τ^′ X 的 paths σ ≃_{0,1}σ^′ τ ≃_{0,1}τ^′, σ^′(1) =σ(1) = τ(0) = τ^′(0), 以 σ^′∗ τ^′. 的 , σ ∗ τ ≃{0,1}σ^′∗ τ^′? F, G

σ σ^′ 以及τ τ^′ 的 homotopy function with end points fixed,

H : I× I → X, σ ∗ τ σ^′∗ τ^′ 的 homotopy function with end points fixed?

H(s, t) =

{ F(2s, t), 0≤ s ≤ 1/2;

G(2s− 1, t), 1/2 ≤ s ≤ 1.

H H0 = F₀ ∗ G0 = σ ∗ τ, H1 = F₁ ∗ G1 = σ^′ ∗ τ^′, H X σ ∗ τ σ^′∗ τ^′ 的 homotopy function. t ∈ I, H(0, t) = F(0, t) = σ(0), H(1, t) = G(1, t) = τ(1), H homotopy function with end points fixed, σ ∗ τ ≃{0,1}σ^′∗ τ^′. 以 .

Proposition 4.1.10. σ, τ topological space X 的 paths σ(1) = τ(0). σ^′, τ^′ X 的 paths σ ≃{0,1}σ^′ τ ≃{0,1}τ^′, σ ∗ τ ≃{0,1}σ^′∗ τ^′.

Proposition 4.1.10 的 ∗ X 一些 paths 的 .

的 (associativity), σ, τ, γ X 的 paths σ(1) = τ(0)

τ(1) = γ(0),

F(s, t) =



σ(_t+1^4s ), 0≤ s ≤ (t + 1)/4;

τ(4s − t − 1), (t + 1)/4 ≤ s ≤ (t + 2)/4;

γ(^4s₂^−t−2_−t ), (t + 2)/4≤ s ≤ 1.

以 .

Lemma 4.1.11. σ, τ, γ topological space X 的 paths σ(1) = τ(0) τ(1) = γ(0). (σ ∗ τ) ∗ γ ≃{0,1}σ ∗ (τ ∗ γ).

Question 4.5. σ, τ, γ Lemma 4.1.11 的 , (σ ∗ τ) ∗ γ 以及 σ ∗ (τ ∗ γ)

. Lemma 4.1.11.

Question 4.6. σ topological space X 的 path. σ(0) = a c constant path c(t) = a,∀ t ∈ I.

(1) c∗ σ ≃_{0,1}σ.

(2) 一 pathτ σ ∗ τ ≃ c.

(3) pathγ σ ∗ γ ≃{0,1}σ.

Lemma 4.1.11 以及 Question 4.6, 以 X 一些特 的 paths

homotopic with end points fixed 的 一 group. 一 ,

fundamental group . 4.2. Homotopy of Functions

一 拓樸 X 的 path 拓樸 , I X 的 . 一

paths 的 homotopic , 的 homotopic , 拓樸

的 homotopic .

拓樸 X, Y, X Y 的 的 homotopic.

Definition 4.2.1. X, Y topological space. X Y 的 f, g : X → Y.

F : X × I → Y ( X× I X, I 的 product space), F(x, 0) = f (x), F(x, 1) = g(x), ∀ x ∈ X, f, g homotopic f ≃ g. F f, g 的 homotopy function.

, 一 t₀ ∈ I, F_t0 : X → Y, F_t0(x) = F(x, t0), ∀ x ∈ X.

Ft0 一 X Y 的 . f g homotopic , 以 一 “

” 的 F_t, F₀ = f “ ” F₁ = g. 一 的

, F : X× I → Y , t0 ∈ I, Ft0 F(x, t0) X

Y 的 .

Example 4.2.2. Y Rⁿ的一 convex subset, a, b ∈ Y ta+(1−t)b ∈ Y,

∀ t ∈ I. f : X→ Y, 以及 一 y₀∈ Y,

F(x, t) = ty0+ (1− t) f (x), ∀ (x, t) ∈ X × I.

F F₀(x) = F(x, 0) = f (x) 以及 F1(x) = F(x, 1) = y0,∀ x ∈ X, f (x)≃ cy0, cy0 : X → Y, 一 cy0(x) = y₀,∀ x ∈ X 的 constant function.

Example 4.2.2 的拓樸 Y 特 的拓樸 , 的

constant function homotopic. 特 的, X = Y, f identity function (

f = idY), id_Y≃ cy0. 特 拓樸 一 .

Definition 4.2.3. X 一 拓樸 . 一 constant function c : X → X id_X ≃ c, X contractible space.

Example 4.2.2 Rⁿ 的 convex sets contractible. S¹

contractible.

Question 4.7. indiscrete topological space contractible space.

Question 4.8. X discrete topological space. f : X → X

f ≃ idX, f = idX. , discrete space X 以 的 , X

contractible.

一 Proposition 4.1.4 , path 的 homotopy relation 一

equiv-alence relation. 的. Proposition 4.1.4 ,

.

Proposition 4.2.4. X, Y topological space. X Y 的 的 homotopy relation 一 equivalence relation.

, 以 , .

, homotopy equivalence 以 ? 以 的.

Proposition 4.2.5. f0, f1 : X → Y, g0, g1 : Y → Z f0 ≃ f1, g0 ≃ g1. g0◦ f0≃ g1◦ f1.

Proof. F : X× I → Y, G : Y × I → Z, f1, f2 以及 g₁, g2 的 homotopy function, F, G F0 = f₀, F1= f₁ 以及 G₀ = g₀, G1 = g₁. H : X× I → Z

H(x, t) = G(F(x, t), t), ∀ (x, t) ∈ X × I.

H(x, 0) = G(F(x, 0), 0) = G( f0(x), 0) = g0( f₀(x)),

H(x, 1) = g1( f1(x)), H continuous, g0◦ f0≃ g1◦ f1.  特 , Y contractible, Y 的 constant function c : Y → Y id_Y ≃ c,

Proposition 4.2.5 , X Y 的 f : X→ Y, f = idY◦ f ≃ c ◦ f.

c◦ f : X → Y 一 X Y 的 constant function, 以 的 . Corollary 4.2.6. X, Y topological spaces, Y contractible.

f : X → Y, 一 X Y 的 constant function c f ≃ c.

Question 4.9. Corollary 4.2.6 的 以 一 X Y 的 constant

function c f : X → Y, f ≃ c. 特 的 Y contractible space,

constant function c : Y → Y c≃ idY.

Question 4.10. X contractible space X path connected.

X, Y topological spaces, [X, Y] X Y 的 的

homotopy relation , 的 equivalence classes. 特 , X Y 的

Y X 的 的 , [X, Y] [Y, X].

Question 4.11. Y topological space, 以 的:

(1) Y is contractible.

(2) [Y, Y] 一 .

(3) 拓樸 X [X, Y] 一 .

一 , path 的 , 的

homo-topy equivalence, 的 以 . , 以

Definition 4.1.7 的 .

Definition 4.2.7. X, Y topological spaces. X 的一 subset A, f, g :

X → Y f (a) = g(a) ∀ a ∈ A. 一 F : X× I → Y,

F(x, 0) = f (x), F(x, 1) = g(x), ∀ x ∈ X 以及 F(a, t) = f (a) = g(a), ∀ a ∈ A, t ∈ I.

f, g homotopic with A fixed, f ≃A g . F f, g 的 homotopy function with A fixed.

一 的 ,≃A 一 equivalence relation, ,

.

Proposition 4.2.8. X, Y topological spaces A X 的 subset. ≃A X Y 的 的一 equivalence relation.

Question 4.12. A =∅ ,≃A 的 equivalence relation?

在文檔中 一些特殊的拓樸性質 (頁 77-85)