圆上所有无序点对的构型空间是莫比乌斯带 。
数学 中,构型空间 (configuration space )是与物理学中的状态空间 或相空间 密切相关的构造,后者将整个系统的状态描述为高维空间的单点。数学中,这用于描述点集在拓扑空间 中的位置分布;更具体地,数学构型空间是几个非碰撞粒子的物理位形空间 的特殊例子。
定义
对拓扑空间X 和正整数n ,令
X
n
{\displaystyle X^{n}}
为n 份X 的笛卡儿积 ,具备积拓扑 。X 的第n 个(有序)构型空间是X 中成对不同点的n 元组 的集合:
Conf
n
-->
(
X
)
:=
X
n
∖ ∖ -->
{
(
x
1
,
x
2
,
… … -->
,
x
n
)
∈ ∈ -->
X
n
∣ ∣ -->
x
i
=
x
j
for some
i
≠ ≠ -->
j
}
.
{\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\}.}
[ 1]
这空间通常赋以
Conf
n
-->
(
X
)
{\displaystyle \operatorname {Conf} _{n}(X)}
到
X
n
{\displaystyle X^{n}}
的子空间拓扑,有时也表示为
F
(
X
,
n
)
{\displaystyle F(X,n)}
、
F
n
(
X
)
{\displaystyle F^{n}(X)}
、
C
n
(
X
)
{\displaystyle {\mathcal {C}}^{n}(X)}
之类。[ 2]
在
Conf
n
-->
(
X
)
{\displaystyle \operatorname {Conf} _{n}(X)}
中的点上有自然的对称群
S
n
{\displaystyle S_{n}}
群作用 :
S
n
× × -->
Conf
n
-->
(
X
)
⟶ ⟶ -->
Conf
n
-->
(
X
)
(
σ σ -->
,
x
)
⟼ ⟼ -->
σ σ -->
(
x
)
=
(
x
σ σ -->
(
1
)
,
x
σ σ -->
(
2
)
,
… … -->
,
x
σ σ -->
(
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 个无序构型空间,
UConf
n
-->
(
X
)
:=
Conf
n
-->
(
X
)
/
S
n
,
{\displaystyle \operatorname {UConf} _{n}(X):=\operatorname {Conf} _{n}(X)/S_{n},}
这是该作用的轨道空间。直觉是,这作用“遗忘了点的名字”。无序构型空间有时表为
U
C
n
(
X
)
{\displaystyle {\mathcal {UC}}^{n}(X)}
、[ 2]
B
n
(
X
)
{\displaystyle B_{n}(X)}
、
C
n
(
X
)
{\displaystyle C_{n}(X)}
等。所有n 上的无序构型空间集合就是冉空间 (Ran space),具有自然的拓扑结构。
其他公式
对拓扑空间X 和有限集S ,用S 标记粒子的X 的构型空间是
Conf
S
-->
(
X
)
:=
{
f
∣ ∣ -->
f
: : -->
S
↪ ↪ -->
X
is injective
}
.
{\displaystyle \operatorname {Conf} _{S}(X):=\{f\mid f\colon S\hookrightarrow X{\text{ is injective}}\}.}
∀ ∀ -->
n
∈ ∈ -->
N
{\displaystyle \forall n\in \mathbb {N} }
,定义
n
:=
{
1
,
2
,
… … -->
,
n
}
{\displaystyle \mathbf {n} :=\{1,2,\ldots ,n\}}
,则X 的第n 个构型空间是
Conf
n
-->
(
X
)
{\displaystyle \operatorname {Conf} _{\mathbf {n} }(X)}
,简单表示作
Conf
n
-->
(
X
)
.
{\displaystyle \operatorname {Conf} _{n}(X).}
[ 3]
例子
R
2
{\displaystyle \mathbf {R} ^{2}}
中两点的有序构型空间与欧氏3维空间同圆之积同胚 ,即
Conf
2
-->
(
R
2
)
≅ ≅ -->
R
3
× × -->
S
1
.
{\displaystyle \operatorname {Conf} _{2}(\mathbf {R} ^{2})\cong \mathbf {R} ^{3}\times S^{1}.}
[ 2]
更一般地,
R
n
{\displaystyle \mathbf {R} ^{n}}
中两点的构型空间同伦 于球面
S
n
− − -->
1
.
{\displaystyle S^{n-1}.}
[ 4]
R
2
{\displaystyle \mathbf {R} ^{2}}
中n 个点的构型空间是第n 个辫群 的分类空间。
与辫群的联系
连通 拓扑空间X 上的n 股辫群是
B
n
(
X
)
:=
π π -->
1
(
UConf
n
-->
(
X
)
)
,
{\displaystyle B_{n}(X):=\pi _{1}(\operatorname {UConf} _{n}(X)),}
X 的第n 个无序构型空间的基本群 。X 上的n 股纯辫群是[ 2]
P
n
(
X
)
:=
π π -->
1
(
Conf
n
-->
(
X
)
)
.
{\displaystyle P_{n}(X):=\pi _{1}(\operatorname {Conf} _{n}(X)).}
最早研究的辫群是阿廷辫群
B
n
≅ ≅ -->
π π -->
1
(
UConf
n
-->
(
R
2
)
)
{\displaystyle B_{n}\cong \pi _{1}(\operatorname {UConf} _{n}(\mathbf {R} ^{2}))}
。虽然上述定义不是埃米尔·阿廷 给出的,但阿道夫·胡尔维茨 早在阿廷之前(1891)就已经隐含地将阿廷辫群定义为复平面的构型空间的基本群。[ 5]
注意
Conf
n
-->
(
R
2
)
{\displaystyle \operatorname {Conf} _{n}(\mathbf {R} ^{2})}
、
UConf
n
-->
(
R
2
)
{\displaystyle \operatorname {UConf} _{n}(\mathbf {R} ^{2})}
是
K
(
π π -->
,
1
)
{\displaystyle K(\pi ,1)}
型艾伦伯格–麦克兰恩空间 ,平面
UConf
n
-->
(
R
2
)
{\displaystyle \operatorname {UConf} _{n}(\mathbf {R} ^{2})}
的无序构型空间是阿廷辫群的分类空间 ;
Conf
n
-->
(
R
2
)
{\displaystyle \operatorname {Conf} _{n}(\mathbf {R} ^{2})}
是纯阿廷变迁的分类空间,此时两者都被视为离散群 。[ 6]
流形的构型空间
若原空间X 是流形 ,则其有序构型空间就是X 的幂的开子空间,因此本身也是流形。不同无序点的构型空间也是流形,而不要求不同的无序点的构型空间则是轨形 。
构型空间是一种分类空间 或(精细)模空间 。特别地,有通用丛
π π -->
: : -->
E
n
→ → -->
C
n
{\displaystyle \pi \colon E_{n}\to C_{n}}
,其是平凡丛
C
n
× × -->
X
→ → -->
C
n
{\displaystyle C_{n}\times X\to C_{n}}
的子丛,具有这样的性质:每个点
p
∈ ∈ -->
C
n
{\displaystyle p\in C_{n}}
上的纤维是由p 分类的X 的n 元子集。
同伦不变性
构型空间的同伦类型并非同伦不变。例如,空间
Conf
n
-->
(
R
m
)
{\displaystyle \operatorname {Conf} _{n}(\mathbb {R} ^{m})}
对任意两个不同的m 值来说都不同伦:
C
o
n
f
n
(
R
0
)
{\displaystyle \mathrm {Conf} _{n}(\mathbb {R} ^{0})}
对
n
≥ ≥ -->
2
{\displaystyle n\geq 2}
为空,
Conf
n
-->
(
R
)
{\displaystyle \operatorname {Conf} _{n}(\mathbb {R} )}
对
n
≥ ≥ -->
2
{\displaystyle n\geq 2}
不连通,
Conf
n
-->
(
R
2
)
{\displaystyle \operatorname {Conf} _{n}(\mathbb {R} ^{2})}
为
K
(
π π -->
,
1
)
{\displaystyle K(\pi ,1)}
型艾伦伯格–麦克兰恩空间 ,
Conf
n
-->
(
R
m
)
{\displaystyle \operatorname {Conf} _{n}(\mathbb {R} ^{m})}
对
m
≥ ≥ -->
3
{\displaystyle m\geq 3}
来说是单连通 的。
紧流形同伦等价,但其构型空间非同伦等价,这样流形的存否问题到2005年由Riccardo Longoni & Paolo Salvatore解决。他们发现的例子是两个3维透镜空间 ,及至少含两个点的构型空间。由后者各自的万有覆盖的梅西积 可发现,它们不是同伦等价的。[ 7] 单连通 闭流形的构型空间的同伦不变性在一般情况下仍是开放的,已经证明在基域
R
{\displaystyle \mathbf {R} }
上成立。[ 8] [ 9] 还证明了维数至少为4的单连通紧流形(且具有单连通边界)的实同伦不变性。[ 10]
图的构型空间
有些结果与图 的构型空间有关,可能与机器人学 及运动规划有联系:可以想象把几个机器人放在轨道上,并试图不碰撞地将它们导航到不同位置。轨迹对应图(的边),机器人对应粒子,成功导航对应图构型空间中的一条路径。[ 11]
对任意图
Γ Γ -->
{\displaystyle \Gamma }
,
Conf
n
-->
(
Γ Γ -->
)
{\displaystyle \operatorname {Conf} _{n}(\Gamma )}
是
K
(
π π -->
,
1
)
{\displaystyle K(\pi ,1)}
型艾伦伯格–麦克兰恩空间[ 11] ,并强形变收缩 到维数为
b
(
Γ Γ -->
)
{\displaystyle b(\Gamma )}
的CW复形 ,当中
b
(
Γ Γ -->
)
{\displaystyle b(\Gamma )}
是度 至少为3的顶点数。 [ 11] [ 12] 另外,
UConf
n
-->
(
Γ Γ -->
)
{\displaystyle \operatorname {UConf} _{n}(\Gamma )}
与
Conf
n
-->
(
Γ Γ -->
)
{\displaystyle \operatorname {Conf} _{n}(\Gamma )}
形变收缩到维数不大于
min
(
n
,
b
(
Γ Γ -->
)
)
{\displaystyle \min(n,b(\Gamma ))}
的曲率非正立方复形 。[ 13] [ 14]
机械联动装置的构型空间
还可以定义机械联动装置的构型空间,以图
Γ Γ -->
{\displaystyle \Gamma }
为其底几何。通常假定这种图由刚性杆与链构成,其构型空间被定义为具有规范测度(proper metric)欧氏空间中所有可容位置的总和。一般联动装置的构型空间是光滑流形,例如对旋转关节连接的n 根刚性杆的平凡平面联动系统,其构型空间是n维环面
T
n
{\displaystyle T^{n}}
。[ 15] [ 16]
此类构型空间中最简单的奇异点是齐性二次超曲面上的圆锥与欧氏空间之积。这种奇异点见于可分为两子链的链接中,各自的端点轨迹非横断地相交,例如可对齐(align)链路(即完全折叠为一条线)。[ 17]
紧化
不同点的构型空间
Conf
n
-->
(
X
)
{\displaystyle \operatorname {Conf} _{n}(X)}
不是紧的,两端是汇。很多几何应用都要求紧空间,所以很有必要紧化
Conf
n
-->
(
X
)
{\displaystyle \operatorname {Conf} _{n}(X)}
,即将其嵌入具有合适性质的紧空间,成为开子集。拉乌尔·博特 和克利福德·陶布斯 [ 18] 以及威廉·富尔顿 和Robert MacPherson都提出了解决这一问题的方法。[ 19]
另见
参考文献
^ Farber, Michael; Grant, Mark. Topological complexity of configuration spaces. 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.0 2.1 2.2 2.3 Ghrist, Robert. Configuration Spaces, Braids, and Robotics. Berrick, A. Jon; Cohen, Frederick R.; Hanbury, Elizabeth; Wong, Yan-Loi; Wu, Jie (编). Braids. 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 .
^ Chettih, Safia; Lütgehetmann, Daniel. The Homology of Configuration Spaces of Trees with Loops. Algebraic & Geometric Topology . 2018, 18 (4): 2443–2469. S2CID 119168700 . arXiv:1612.08290 . doi:10.2140/agt.2018.18.2443 .
^ Sinha, Dev. The homology of the little disks operad. 2010-02-20. arXiv:math/0610236 .
^ Magnus, Wilhelm . Braid groups: A survey . Proceedings of the Second International Conference on the Theory of Groups. Lecture Notes in Mathematics 372 . Springer. 1974: 465 [2023-12-01 ] . ISBN 978-3-540-06845-7 . doi:10.1007/BFb0065203 . (原始内容存档 于2018-06-10).
^ Arnold, Vladimir . The cohomology ring of the colored braid group. Vladimir I. Arnold — Collected Works 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 (俄语) .
^ Salvatore, Paolo; Longoni, Riccardo, Configuration spaces are not homotopy invariant, Topology, 2005, 44 (2): 375–380, S2CID 15874513 , arXiv:math/0401075 , doi:10.1016/j.top.2004.11.002
^ Campos, Ricardo; Willwacher, Thomas . A model for configuration spaces of points. Algebraic & Geometric Topology. 2023, 23 (5): 2029–2106. arXiv:1604.02043 . doi:10.2140/agt.2023.23.2029 .
^ Idrissi, Najib. The Lambrechts–Stanley Model of Configuration Spaces . Inventiones Mathematicae. 2016-08-29, 216 : 1–68. Bibcode:2016arXiv160808054I . S2CID 102354039 . arXiv:1608.08054 . doi:10.1007/s00222-018-0842-9 .
^ Campos, Ricardo; Idrissi, Najib; Lambrechts, Pascal; Willwacher, Thomas . Configuration Spaces of Manifolds with Boundary. 2018-02-02. arXiv:1802.00716 [math.AT ].
^ 11.0 11.1 11.2 Ghrist, Robert , Configuration spaces and braid groups on graphs in robotics, Knots, braids, and mapping class groups—papers dedicated to Joan S. Birman , AMS/IP Stud. Adv. Math. 24 , Providence, RI: American Mathematical Society : 29–40, 2001, MR 1873106 , arXiv:math/9905023
^ Farley, Daniel; Sabalka, Lucas. Discrete Morse theory and graph braid groups. Algebraic & Geometric Topology . 2005, 5 (3): 1075–1109. MR 2171804 . S2CID 119715655 . arXiv:math/0410539 . doi:10.2140/agt.2005.5.1075 .
^ Świątkowski, Jacek. Estimates for homological dimension of configuration spaces of graphs. Colloquium Mathematicum. 2001, 89 (1): 69–79. MR 1853416 . doi:10.4064/cm89-1-5 (波兰语) .
^ Lütgehetmann, Daniel. Configuration spaces of graphs (Master’s论文). Berlin: Free University of Berlin . 2014.
^ Shvalb, Nir; Shoham, Moshe; Blanc, David. The configuration space of arachnoid mechanisms. Forum Mathematicum. 2005, 17 (6): 1033–1042. S2CID 121995780 . doi:10.1515/form.2005.17.6.1033 (英语) .
^ Farber, Michael. Invitation to Topological Robotics. american Mathematical Society. 2007.
^ Shvalb, Nir; Blanc, David. Generic singular configurations of linkages. Topology and Its Applications. 2012, 159 (3): 877–890. doi:10.1016/j.topol.2011.12.003 (英语) .
^ Bott, Raoul ; Taubes, Clifford . On the self-linking of knots . Journal of Mathematical Physics . 1994-10-01, 35 (10): 5247–5287. ISSN 0022-2488 . doi:10.1063/1.530750 .
^ Fulton, William ; MacPherson, Robert . A Compactification of Configuration Spaces . Annals of Mathematics . January 1994, 139 (1): 183. ISSN 0003-486X . JSTOR 2946631 . doi:10.2307/2946631 .