nơi mà các 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à tương đương với f
đang được dịch, vui lòng đợi..
