在數學的代數拓撲分支中,拓撲空間
與
之間函數
的映射柱(mapping cylinder)是將任何一個映射用一個在如下意義下等價的上纖維化代替的方法:
給定映射
,映射柱由一個空間
與一個上纖維化
以及滿同倫等價
(事實上,Y 是
的形變收縮)組成,使得複合
等於 f。
這樣空間 Y 被一個同倫等價的空間
取代,映射 f 被提升映射
代替。等價地,圖表
![{\displaystyle f\colon X\to Y}](https://wikimedia.org/api/rest_v1/media/math/render/svg/07b9ff205beb51e7899846aeae788ae5e5546a3e)
被圖表
![{\displaystyle {\tilde {f}}\colon X\to M_{f}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1fb7fe89b02b046622a4f136e490d9ba97dbe5c6)
與這兩個圖表之間的一個同倫等價取代。
這個構造用於將拓撲空間之間的映射用拓撲等價的上纖維化取代。注意逐點一個上纖維化是一個閉包含映射。
構造
Mf 的正式定義如下:
![{\displaystyle M_{f}=((X\times I)\coprod Y)/(x,1)\sim f(x),}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9583b95d60f60fa762591ef1b333fe2233a310df)
這裡
是單位區間,
表示兩個拓撲空間的不交並,
是把
與
等同起來的等價關係(將柱
的一個底面通過 f 與 Y 黏合起來)。
從而非正式地說,映射柱
是把
的一個底面用 f 黏貼到 Y 得到的構造。
定義
為
(將 X 包含到另一個底面)。定義
為
而在 Mf 的 Y 部分為恆同。根據等價關係 ~ 這是良定義的。
注意到 Y 是
的形變收縮。
投影
分裂(通過
),形變收縮(取時間參數為 s)由下式給出:
![{\displaystyle {\begin{cases}(x,t)\mapsto (x,t+s)\in X\times I&t+s\leq 1\\(x,t)\mapsto f(x)\in Y&t+s\geq 1\end{cases}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1a60592970a39fd35cc21eb719cf4e1be06ee234)
(這裡所有 Y 中的點不動,從而是一個形變收縮。)
應用
映射柱將關於子空間或空間包含的定理運用到到不必是單射的一般映射。
因此,那些與空間、所涉及映射的同倫類無關的定理或方法(比如同調、上同調或同倫理論本身)可能可適用到
,這裡假設
以及
事實上是子空間的包含。另外,這個構造更本質的吸引之處是它與通常心理的印象一個函數是將
中的點「送到」
中的點一致,從而
嵌入
中也是(儘管函數不必是一對一的)。這個構造給出了一個圖像同倫等價於直覺的那個,這表明直覺圖像是正確的只要
的形變不是一個阻礙。
範疇應用與解釋
我們可以用映射柱構造同倫極限:給定一個圖表,將其中的映射用上纖維化代替(利用映射柱),然後取通常的逐點極限(需多些注意,但映射柱是其中一部分)。
相反地,映射柱是圖表的同倫推出,這裡
而
。
映射望遠鏡
給定映射序列
![{\displaystyle X_{1}\to _{f_{1}}X_{2}\to _{f_{2}}X_{3}\cdots ,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5f6103eba07e5b986920f6b94761ee22a80a1a8e)
映射望遠鏡是同倫正向極限。如果所有這些映射已經是上纖維化(比如正交群
),則正向極限是併集,但是一般情形必須使用映射望遠鏡。映射望遠鏡是一個映射柱序列,底面和底面相連。這個構造的圖像看起來像堆起來的變大的柱子,即像一個望遠鏡,從而有這樣的名稱。
映射望遠鏡的正式定義為
![{\displaystyle \coprod _{i}X_{i}\times I/(x_{i},1)\sim (f(x_{i}),0).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2baccb69ee16f77743b363885861c936020abcc2)
和同倫(同調)等價的關係
一個映射
是一個同倫等價,當且僅當它的映射柱可縮。
設
設一個固定的同調理論。映射
誘導了
上的同構,當且僅當映射
誘導了
上的同構,即
。
另見
參考文獻