圆上所有无序点对的构型空间是莫比乌斯带。
数学中，**构型空间**（**configuration space**）是与物理学中的状态空间或相空间密切相关的构造，后者将整个系统的状态描述为高维空间的单点。数学中，这用于描述点集在拓扑空间中的位置分布；更具体地，数学构型空间是几个非碰撞粒子的物理位形空间的特殊例子。

定义
--

对拓扑空间*X*和正整数*n*，令X^n为*n*份*X*的笛卡儿积，具备积拓扑。*X*的第*n*个（有序）构型空间是*X*中成对不同点的*n*元组的集合：

{\displaystyle \operatorname {Conf} \_{n}(X):=X^{n}\smallsetminus \{(x\_{1},x\_{2},\ldots ,x\_{n})\in X^{n}\mid x\_{i}=x\_{j}\ {\text{ for some }}i\neq j\}.}
这空间通常赋以{\displaystyle \operatorname {Conf} \_{n}(X)}到X^n的子空间拓扑，有时也表示为{\displaystyle F(X,n)}、{\displaystyle F^{n}(X)}、{\displaystyle {\mathcal {C}}^{n}(X)}之类。

在{\displaystyle \operatorname {Conf} \_{n}(X)}中的点上有自然的对称群S\_{n}群作用：

{\displaystyle {\begin{aligned}S\_{n}\times \operatorname {Conf} \_{n}(X)&\longrightarrow \operatorname {Conf} \_{n}(X)\\(\sigma ,x)&\longmapsto \sigma (x)=(x\_{\sigma (1)},x\_{\sigma (2)},\ldots ,x\_{\sigma (n)}).\end{aligned}}}
此作用产生了*X*的第*n*个无序构型空间，

{\displaystyle \operatorname {UConf} \_{n}(X):=\operatorname {Conf} \_{n}(X)/S\_{n},}
这是该作用的轨道空间。直觉是，这作用"遗忘了点的名字"。无序构型空间有时表为{\displaystyle {\mathcal {UC}}^{n}(X)}、 {\displaystyle B\_{n}(X)}、{\displaystyle C\_{n}(X)}等。所有*n*上的无序构型空间集合就是冉空间（Ran space），具有自然的拓扑结构。

### 其他公式

对拓扑空间*X*和有限集*S*，用*S*标记粒子的*X*的构型空间是

{\displaystyle \operatorname {Conf} \_{S}(X):=\{f\mid f\colon S\hookrightarrow X{\text{ is injective}}\}.}
{\displaystyle \forall n\in \mathbb {N} }，定义{\displaystyle \mathbf {n} :=\{1,2,\ldots ,n\}}，则*X*的第*n*个构型空间是{\displaystyle \operatorname {Conf} \_{\mathbf {n} }(X)}，简单表示作{\displaystyle \operatorname {Conf} \_{n}(X).}

例子
--

* \mathbf{R}^2中两点的有序构型空间与欧氏3维空间同圆之积同胚，即{\displaystyle \operatorname {Conf} \_{2}(\mathbf {R} ^{2})\cong \mathbf {R} ^{3}\times S^{1}.}
* 更一般地，\mathbf{R}^n中两点的构型空间同伦于球面{\displaystyle S^{n-1}.}
* \mathbf{R}^2中*n*个点的构型空间是第*n*个辫群的分类空间。

与辫群的联系
------

条目：辫群
连通拓扑空间*X*上的*n*股辫群是

{\displaystyle B\_{n}(X):=\pi \_{1}(\operatorname {UConf} \_{n}(X)),}
*X*的第*n*个无序构型空间的基本群。*X*上的*n*股纯辫群是

{\displaystyle P\_{n}(X):=\pi \_{1}(\operatorname {Conf} \_{n}(X)).}
最早研究的辫群是**阿廷辫群**{\displaystyle B\_{n}\cong \pi \_{1}(\operatorname {UConf} \_{n}(\mathbf {R} ^{2}))}。虽然上述定义不是埃米尔·阿廷给出的，但阿道夫·胡尔维茨早在阿廷之前（1891）就已经隐含地将阿廷辫群定义为复平面的构型空间的基本群。

注意{\displaystyle \operatorname {Conf} \_{n}(\mathbf {R} ^{2})}、{\displaystyle \operatorname {UConf} \_{n}(\mathbf {R} ^{2})}是{\displaystyle K(\pi ,1)}型艾伦伯格–麦克兰恩空间，平面{\displaystyle \operatorname {UConf} \_{n}(\mathbf {R} ^{2})}的无序构型空间是阿廷辫群的分类空间；{\displaystyle \operatorname {Conf} \_{n}(\mathbf {R} ^{2})}是纯阿廷变迁的分类空间，此时两者都被视为离散群。

流形的构型空间
-------

若原空间*X*是流形，则其有序构型空间就是*X*的幂的开子空间，因此本身也是流形。不同无序点的构型空间也是流形，而不要求不同的无序点的构型空间则是轨形。

构型空间是一种分类空间或（精细）模空间。特别地，有通用丛{\displaystyle \pi \colon E\_{n}\to C\_{n}}，其是平凡丛{\displaystyle C\_{n}\times X\to C\_{n}}的子丛，具有这样的性质：每个点{\displaystyle p\in C\_{n}}上的纤维是由*p*分类的*X*的*n*元子集。

### 同伦不变性

构型空间的同伦类型并非同伦不变。例如，空间{\displaystyle \operatorname {Conf} \_{n}(\mathbb {R} ^{m})}对任意两个不同的*m*值来说都不同伦：{\displaystyle \mathrm {Conf} \_{n}(\mathbb {R} ^{0})}对n\geq 2为空，{\displaystyle \operatorname {Conf} \_{n}(\mathbb {R} )}对n\geq 2不连通，{\displaystyle \operatorname {Conf} \_{n}(\mathbb {R} ^{2})}为{\displaystyle K(\pi ,1)}型艾伦伯格–麦克兰恩空间，{\displaystyle \operatorname {Conf} \_{n}(\mathbb {R} ^{m})}对{\displaystyle m\geq 3}来说是单连通的。

紧流形同伦等价，但其构型空间非同伦等价，这样流形的存否问题到2005年由Riccardo Longoni & Paolo Salvatore解决。他们发现的例子是两个3维透镜空间，及至少含两个点的构型空间。由后者各自的万有覆盖的梅西积可发现，它们不是同伦等价的。单连通闭流形的构型空间的同伦不变性在一般情况下仍是开放的，已经证明在基域\mathbf{R}上成立。还证明了维数至少为4的单连通紧流形（且具有单连通边界）的实同伦不变性。

图的构型空间
------

有些结果与图的构型空间有关，可能与机器人学及运动规划有联系：可以想象把几个机器人放在轨道上，并试图不碰撞地将它们导航到不同位置。轨迹对应图（的边），机器人对应粒子，成功导航对应图构型空间中的一条路径。

对任意图\Gamma ，{\displaystyle \operatorname {Conf} \_{n}(\Gamma )}是{\displaystyle K(\pi ,1)}型艾伦伯格–麦克兰恩空间，并强形变收缩到维数为{\displaystyle b(\Gamma )}的CW复形，当中{\displaystyle b(\Gamma )}是度至少为3的顶点数。 另外，{\displaystyle \operatorname {UConf} \_{n}(\Gamma )}与{\displaystyle \operatorname {Conf} \_{n}(\Gamma )}形变收缩到维数不大于{\displaystyle \min(n,b(\Gamma ))}的曲率非正立方复形。

机械联动装置的构型空间
-----------

还可以定义机械联动装置的构型空间，以图\Gamma 为其底几何。通常假定这种图由刚性杆与链构成，其构型空间被定义为具有规范测度（proper metric）欧氏空间中所有可容位置的总和。一般联动装置的构型空间是光滑流形，例如对旋转关节连接的*n*根刚性杆的平凡平面联动系统，其构型空间是n维环面{\displaystyle T^{n}}。
此类构型空间中最简单的奇异点是齐性二次超曲面上的圆锥与欧氏空间之积。这种奇异点见于可分为两子链的链接中，各自的端点轨迹非横断地相交，例如可对齐（align）链路（即完全折叠为一条线）。

紧化
--

不同点的构型空间{\displaystyle \operatorname {Conf} \_{n}(X)}不是紧的，两端是汇。很多几何应用都要求紧空间，所以很有必要紧化{\displaystyle \operatorname {Conf} \_{n}(X)}，即将其嵌入具有合适性质的紧空间，成为开子集。拉乌尔·博特和克利福德·陶布斯以及威廉·富尔顿和Robert MacPherson都提出了解决这一问题的方法。

另见
--

* icon数学主题

* 位形空间
* 量子态空间

参考文献
----

1. ↑  Farber, Michael; Grant, Mark.. Proceedings of the American Mathematical Society. 2009, **137** (5): 1841–1847. MR 2470845. S2CID 16188638. arXiv:0806.4111 可免费查阅. doi:10.1090/S0002-9939-08-09808-0.
2. 1 2 3 4  Ghrist, Robert.. Berrick, A. Jon; Cohen, Frederick R.; Hanbury, Elizabeth; Wong, Yan-Loi; Wu, Jie (编).. Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore **19**. World Scientific. 2009-12-01: 263–304. ISBN 9789814291408. doi:10.1142/9789814291415\_0004.
3. ↑  Chettih, Safia; Lütgehetmann, Daniel.. Algebraic & Geometric Topology. 2018, **18** (4): 2443–2469. S2CID 119168700. arXiv:1612.08290 可免费查阅. doi:10.2140/agt.2018.18.2443.
4. ↑  Sinha, Dev.. 2010-02-20. arXiv:math/0610236 可免费查阅.  cite arXiv模板填写了不支持的参数 (帮助)
5. ↑  Magnus, Wilhelm.. . Lecture Notes in Mathematics **372**. Springer. 1974: 465. ISBN 978-3-540-06845-7. doi:10.1007/BFb0065203.
6. ↑  Arnold, Vladimir..  **5**. Translated by Victor Vassiliev. 1969: 227–231. ISBN 978-3-642-31030-0. ISSN 0025-567X. MR 0242196. S2CID 122699084. doi:10.1007/978-3-642-31031-7\_18 （俄语）.
7. ↑  Salvatore, Paolo; Longoni, Riccardo, Topology, 2005, **44** (2): 375–380, S2CID 15874513, arXiv:math/0401075 可免费查阅, doi:10.1016/j.top.2004.11.002
8. ↑  Campos, Ricardo; Willwacher, Thomas.. Algebraic & Geometric Topology. 2023, **23** (5): 2029–2106. arXiv:1604.02043 可免费查阅. doi:10.2140/agt.2023.23.2029.
9. ↑  Idrissi, Najib.. Inventiones Mathematicae. 2016-08-29, **216**: 1–68. Bibcode:2016arXiv160808054I. S2CID 102354039. arXiv:1608.08054 可免费查阅. doi:10.1007/s00222-018-0842-9.
10. ↑  Campos, Ricardo; Idrissi, Najib; Lambrechts, Pascal; Willwacher, Thomas.. 2018-02-02. arXiv:1802.00716 可免费查阅 [math.AT].
11. 1 2 3  Ghrist, Robert, , AMS/IP Stud. Adv. Math. **24**, Providence, RI: American Mathematical Society: 29–40, 2001, MR 1873106, arXiv:math/9905023 可免费查阅
12. ↑  Farley, Daniel; Sabalka, Lucas.. Algebraic & Geometric Topology. 2005, **5** (3): 1075–1109. MR 2171804. S2CID 119715655. arXiv:math/0410539 可免费查阅. doi:10.2140/agt.2005.5.1075.
13. ↑  Świątkowski, Jacek.. Colloquium Mathematicum. 2001, **89** (1): 69–79. MR 1853416. doi:10.4064/cm89-1-5 可免费查阅 （波兰语）.
14. ↑  Lütgehetmann, Daniel.  (Master’s论文). Berlin: Free University of Berlin. 2014.
15. ↑  Shvalb, Nir; Shoham, Moshe; Blanc, David.. Forum Mathematicum. 2005, **17** (6): 1033–1042. S2CID 121995780. doi:10.1515/form.2005.17.6.1033 （英语）.
16. ↑  Farber, Michael.. american Mathematical Society. 2007.
17. ↑  Shvalb, Nir; Blanc, David.. Topology and Its Applications. 2012, **159** (3): 877–890. doi:10.1016/j.topol.2011.12.003 可免费查阅 （英语）.
18. ↑  Bott, Raoul; Taubes, Clifford.. Journal of Mathematical Physics. 1994-10-01, **35** (10): 5247–5287. ISSN 0022-2488. doi:10.1063/1.530750.
19. ↑  Fulton, William; MacPherson, Robert.. Annals of Mathematics. January 1994, **139** (1): 183. ISSN 0003-486X. JSTOR 2946631. doi:10.2307/2946631.

|  |  |  |  |  |  |  |  |  |  |  |
| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
| 

| * 
* 论
* 编
拓扑学 |
| --- |
|  |
| 研究领域 | 
* 一般 (点集)
* 代数
* 几何
* 集合论（英语：）
* 连续（英语：）
* 同调 (餘調)
* 微分
* 组合

 | 由电脑渲染的一个克莱因瓶 |
|  |
| 基本概念 | 
* 开集 / 闭集
* 连续
* 空间
	+ 紧空间
	+ 豪斯多夫空间
	+ 度量空间
	+ 一致空间
* 同倫 (同倫群)
* 基本群
* 单纯复形
* CW复形
* 流形

 |
|  |
| 
* 分类 分类
* 主题 主题（英语：）
* 维基教科书页面 维基教科书
* 维基学院页面 维基学院（英语：）
* 列表级条目 主题列表（英语：）
	+ 一般（英语：）
	+ 代数（英语：）
	+ 几何（英语：）
* 列表级条目 著作

 |

 |