(a) ⇒ (b): Giả sử f: S
1 → X. Theo giả thuyết, có một đồng luân h: S
1 × I →
X từ f đến một bản đồ liên tục. Đó là, h0 = f và có một điểm x ∈ X sao cho,
cho tất cả s ∈ S
1, h (s, 1) = x.
Bởi vì các điều kiện sau này, các yếu tố h qua
thương S
1 × I / S1 × {1}. Đó là, h là tương đương với một thành phần
S
1 × I → S
1 × I / S1 × {1} → X
nơi bản đồ đầu tiên là bản đồ thương.
Các cặp (S
1 × I / S1 × {1}, S1 {0}) × là đồng phôi với
(D2,
S1). Các đồng phôi
được gây ra bởi các Φ bản đồ: S
1 × I → D2 được xác định bởi Φ (a, x) = a · (1 - x),
nơi mà chúng ta nhìn vào một số x và phức tạp. Vì vậy, các bản đồ thứ hai trên cho một
bản đồ D2 → X như vậy mà những hạn chế để S
1
là bằng f.
đang được dịch, vui lòng đợi..