(c) ⇒ (a): Một lần nữa, vấn đề π1 (X, x0) là tập hợp các đồng luân basepoint-bảo quản
các lớp bản đồ (S
1, s0) → (X, x0).
Giả thuyết rằng π1 (X, x0) = 0 với mọi
sự lựa chọn của x0 có nghĩa là mỗi bản đồ S
1 → X là nullhomotopic thông qua một đồng luân
giữ gìn basepoint của S 1. Đặc biệt, điều này đòi hỏi phải (a). Cuối cùng, nếu X chỉ đơn giản là kết nối, sau đó nó là con đường kết nối và (c) đúng. Như vậy (một) nắm giữ, và mỗi bản đồ f: S 1 → X là đồng luân đến một bản đồ liên tục. Và kể từ khi X là con đường kết nối, tất cả các bản đồ liên tục để X là đồng luân. Ngược lại, nếu tất cả các bản đồ S 1 → X là đồng luân, sau đó đặc biệt là các hằng số bản đồ là đồng luân, do đó X là con đường kết nối. Và kể từ khi (a) đúng, (c) đúng là tốt. Do đó X chỉ đơn giản là kết nối.
đang được dịch, vui lòng đợi..