핵심 개념
在接觸拓撲中,如果存在一個「中間旁路」,則具有固定連接弧的旁路嵌入族是可縮減的,這意味著兩個旁路嵌入如果在遠離連接弧的地方不相交,則它們是接觸同位素的。
本節將證明中間旁路定理 1.1。證明中的主要成分是定理 3.1,可以將其視為本田的平凡引理 2.6 的參數化版本。
3.1. 平凡旁路的空間
定理 3.1 令 Σ ⊂(𝑀3, 𝜉) 為具有可能為空的 Legendrian 邊界的凸曲面,並且 𝛾 為 Σ 的平凡旁路的連接弧。然後,空間 ℬ𝛾((𝑀, 𝜉), Σ) 是可縮減的。
證明 令 𝑏∈ℬ𝛾((𝑀, 𝜉), Σ) 且 𝐷= Image(𝑏)。映射
Cont0(𝑀, 𝜉; rel Σ) →ℬ𝛾((𝑀, 𝜉), Σ), 𝜑↦→𝜑◦𝑏;
定義了一個纖維化
Cont0(𝑀, 𝜉, rel Σ ∪𝐷) ↩→Cont0(𝑀, 𝜉, rel Σ) →ℬ𝛾((𝑀, 𝜉), Σ)。
這裡 Cont0(𝑀, 𝜉, rel Σ) 表示恆等映射的路徑連通分量,並且 Cont0(𝑀, 𝜉, rel Σ ∪𝐷) = Cont0(𝑀, 𝜉; rel Σ) ∩Cont(𝑀, 𝜉, rel Σ ∪𝐷)。從下面證明的引理 3.2 可以得出,纖維化映射是滿射的。此外,根據下面也證明的引理 3.3,纖維在總空間中的包含是一個弱同倫等價。因此,基是可縮減的,結果隨之而來。□
現在只剩下證明引理 3.2 和 3.3。
引理 3.2 映射 Cont0(𝑀, 𝜉, rel Σ) →ℬ𝛾((𝑀, 𝜉), Σ), 𝜑↦→𝜑◦𝑏; 是滿射的。