數學裡，單純集合（simplical set）是範疇同倫論中一個構造，這是「良態」拓撲空間的一個純代數模型。歷史上，這個模型源自組合拓撲學特別是單體複形。



引言

拓撲空間可從單形以及它們的接合關係（或準確地說表示為差一個同倫）構造出來，單純集合是抓住這一點的範疇（即純代數）模型。這類似於拓撲空間的 CW 複形模型，本質區別是單純集合是純代數的，本身不帶任何拓撲（這在給出正式定義後將見到）。

為了得到真正的拓撲空間，有一個幾何實現函子，取值於緊生成郝斯多夫空間範疇。同倫論中絕大多數關於 CW 複形的結論有類似的單體複形版本，推廣了這些結論。儘管代數拓撲學家大多數仍堅持使用 CW 複形，越來越多的研究者對將單純集合應用於代數幾何學感興趣，在代數幾何中 CW 複形不是自然存在的。



正式定義

使用範疇論語言，一個單純集合 _X_ 是一個反變函子

　
: _X_: Δ → Set

這裡 Δ 表示單純範疇，其物件是有限字符串或如下形式的序數

　
: 0 → 1 → ... → _n_

（換句話說，非空間全序有限集合），而態射是它們之間的保序函數，Set 是小集合範疇。

通常定義單純集合為從反範疇出發的共變函子

　
: _X_: Δop → Set

這顯然等價於上一個定義。

或者，我們可以將一個單純集合想像為 Set 範疇中的一個單純物件，不過這只是如上定義的另一種說法。如果我們使用反變函子 _X_，則得到了餘單純集合的定義。

單純集合組成一個範疇，通常記做 sSet 或 S，其物件是單純集合，態射是他們之間的自然轉換。對餘單純集合也有相應的範疇，記做 cSet。 

這些定義來自於範疇 Δ 中施加到面映射與退化映射上條件的關係。



面映射與退化映射

在 Δop 內，有兩類特別重要的映射稱為面映射與退化映射，他們抓住了單純集合的組合性質。

面映射 _di :_ n → _n_ − 1 如下給出

　
: _di_ (0 → … → _n_) = (0 → … → _i_ − 1 → _i_ + 1 → … → _n_).

退化映射 _si_ : _n_ → _n_ + 1 如下給出

　
: _si_ (0 → … → _n_) = (0 → … → _i_ − 1 → _i_ → _i_ → _i_ + 1 → … → _n_).

由定義，這些映射滿足如下單純恆等式：

1. _di dj_ = _d_j−1 _d_i 如果 _i_ < _j_
2. _di sj_ = _s_j−1 _di_ 如果 _i_ < _j_
3. _dj sj_ = id = _d_j+1 _sj_
4. _di sj_ = _s_j _d_i−1 如果 _i_ > _j_ + 1
5. _si sj_ = _s_j+1 _s_i 如果 _i_ ≤ _j_.

單純範疇 Δ 的態射為單調不減函數。於是這些映射由去掉或添加一個元素組成，上如具體關係強調了拓撲應用。可以證明這些關係是充分的。



標準 _n_- 單形與單形範疇

範疇中 標準 _n_- 單形，記做 Δn，是函子 _hom(-,_ n_)_ 這裡 _n_ 表示開始 (_n_+1) 個非負整數字符串 0 → 1 → ... → _n_，而 _hom_ 集合在範疇 Δ 上取。在一些教材中，卻記做 _hom(_n_,-)_ 這裡 _hom_ 集合理解成取於反範疇 Δop。

集合實現 |Δn| 定義為一般位置的標準拓撲 _n_- 單形

　
: $|\Delta ^{n}|=\{(x_{0},\dots ,x_{n})\in \mathbb {R} ^{n+1}:0\leq x_{i}\leq 1,\sum x_{i}=1\}.$

由米田引理，單純集合 _X_ 的 _n_- 單形由自然轉換 hom (Δn, _X_) 刻畫。從而 _X_ 的 _n_- 單形記做 _Xn_。進一步，存在一個單形範疇，記做 $\Delta \downarrow {X}$ 其物件是映射 Δn → _X_，態射是由在 Δ 中的 _n_ _→_ _m_ 給出 _X_ 上的自然轉換 Δm → Δn。如下同態指出單純集合 _X_ 是其單形的餘極限：

　
: $X\cong \varinjlim _{\Delta ^{n}\to X}\Delta ^{n}$

這裡餘極限在 _X_ 的單形範疇上取。



幾何實現

有一個叫做幾何實現的函子 |・|: S _→_ CGHaus，將一個單純集合 _X_ 映為緊生成郝斯多夫拓撲空間範疇中對應的實現。

這個較大的範疇用於這個函子的靶是因為，特別地，單純集合的乘積

　
: $X\times Y$

實現為對應拓撲空間的實現

　
: $|X|\times _{Ke}|Y|$ ，

其中 $\times _{Ke}$ 表示凱萊空間乘積（Kelley space product）。為了定義實現函子，我們首先定義它在 _n_- 單形 _Δn_ 上為對應的拓撲 _n_- 單形 |_Δn_|。該定義自然擴張到任何單純集合：

　
: |X| = limΔn → X |_Δn_|

這裡餘極限取在 _X_ 的 _n_- 單形。幾何實現函子在 _S_ 上有函子性。



空間的奇異集合

一個拓撲空間 _Y_ 的奇異集合是如下單純集合，對每個物件 n _∈ Δ_，_S(Y):_ n _→_ _hom(_|_Δn_|, _Y)_，態射上賦予明顯的函子條件。這個定義類似於單純拓撲中的通過標準拓撲 _n_- 單形研究一個拓撲空間的想法。另外，奇異函子 _S_ 右伴隨於上面所說的幾何實現函子：

　
: homTop(|_X_|, _Y_) ≅ homS(_X_, _SY_)

對任何單純集合 _X_ 與任何拓撲空間 _Y_。



單純集合的同倫論

在單純集合範疇中，可以定義纖維化為闞纖維化。單純集合的一個映射定義為弱等價如果其幾何實現是空間的弱等價。單純集合的一個映射定義為上纖維化如果它是單純集合的一個單態射。丹尼爾・奎倫的一個艱深的定理說具有這三類態射的單純集合範疇滿足真閉單純模型範疇的公理。

此理論的一個重要轉折點是闞纖維化的幾何實現是空間的塞爾纖維化。以空間上的模型結構為基礎，利用標準同倫抽象廢話可以發展一套單純集合的同倫論。進一步，集合實現與奇異函子給出閉模型範疇之間的一個奎倫等價，這包含了單純集合的同倫論與 CW 複形的通常同倫論之間的等價：

　
: |•|: _Ho_(S) ↔ _Ho_(Top) : _S_.



單純物件

範疇 _C_ 中的一個單純物件 _X_ 是一個反變函子

　
: _X: Δ → C_

或等價地共變函子：

　
: _X_: Δop → _C_

當 _C_ 是集合範疇，我們討論的就是單純集合。設 _C_ 是群範疇或阿貝爾群範疇，我們分別得到單純群範疇和單純阿貝爾群範疇。

單純群與單純阿貝爾群也帶有由底單純集合誘導的閉模型結構。

單純阿貝爾群的同倫群可由都德 - 闞對應給出，它誘導了單純阿貝爾群與有界鏈複形兩個範疇之間的等價，這個等價關係由函子：

　
: _N:_ sAb _→ Ch+_

與

　
: _Γ: Ch+ →_ sAb

給出。



注釋



參考文獻


* Goerss, P. G.; Jardine, J. F., Simplicial Homotopy Theory, Progress in Mathematics 174, Basel, Boston, Berlin: Birkhäuser, 1999, ISBN 978-3-7643-6064-1

* J. Peter May. Simplicial objects in algebraic topology. Van Nostrand, 1967. 1982. ISBN 0-226-51180-4.



外部連結


* Dylan G.L. Allegretti, _Simplicial Sets and van Kampen's Theorem_ （頁面存檔備份，存於網際網路檔案館） _(An elementary introduction to simplicial sets)_.