數學中,構型空間configuration space)是與物理學中的狀態空間相空間密切相關的構造,後者將整個系統的狀態描述為高維空間的單點。數學中,這用於描述點集在拓撲空間中的位置分布;更具體地,數學構型空間是幾個非碰撞粒子的物理位形空間的特殊例子。

圓上所有無序點對的構型空間是莫比烏斯帶

定義

編輯

對拓撲空間X和正整數n,令 nX笛卡兒積,具備積拓撲X的第n個(有序)構型空間是X中成對不同點的n元組的集合:

 [1]

這空間通常賦以  的子空間拓撲,有時也表示為   之類。[2]

 中的點上有自然的對稱群 群作用

 

此作用產生了X的第n個無序構型空間,

 

這是該作用的軌道空間。直覺是,這作用「遺忘了點的名字」。無序構型空間有時表為 [2]   等。所有n上的無序構型空間集合就是冉空間(Ran space),具有自然的拓撲結構。

其他公式

編輯

對拓撲空間X和有限集S,用S標記粒子的X的構型空間是

 

 ,定義 ,則X的第n個構型空間是 ,簡單表示作 [3]

例子

編輯
  •  中兩點的有序構型空間與歐氏3維空間同圓之積同胚,即 [2]
  • 更一般地, 中兩點的構型空間同倫於球面 [4]
  •  n個點的構型空間是第n辮群的分類空間。

與辮群的聯繫

編輯

連通拓撲空間X上的n股辮群是

 

X的第n個無序構型空間的基本群X上的n股純辮群是[2]

 

最早研究的辮群是阿廷辮群 。雖然上述定義不是埃米爾·阿廷給出的,但阿道夫·胡爾維茨早在阿廷之前(1891)就已經隱含地將阿廷辮群定義為複平面的構型空間的基本群。[5]

注意   艾倫伯格–麥克蘭恩空間,平面 的無序構型空間是阿廷辮群的分類空間 是純阿廷變遷的分類空間,此時兩者都被視為離散群[6]

流形的構型空間

編輯

若原空間X流形,則其有序構型空間就是X的冪的開子空間,因此本身也是流形。不同無序點的構型空間也是流形,而不要求不同的無序點的構型空間則是軌形

構型空間是一種分類空間或(精細)模空間。特別地,有通用叢 ,其是平凡叢 的子叢,具有這樣的性質:每個點 上的纖維是由p分類的Xn元子集。

同倫不變性

編輯

構型空間的同倫類型並非同倫不變。例如,空間 對任意兩個不同的m值來說都不同倫:  為空,  不連通,  艾倫伯格–麥克蘭恩空間  來說是單連通的。

緊流形同倫等價,但其構型空間非同倫等價,這樣流形的存否問題到2005年由Riccardo Longoni & Paolo Salvatore解決。他們發現的例子是兩個3維透鏡空間,及至少含兩個點的構型空間。由後者各自的萬有覆蓋的梅西積可發現,它們不是同倫等價的。[7]單連通閉流形的構型空間的同倫不變性在一般情況下仍是開放的,已經證明在基域 上成立。[8][9]還證明了維數至少為4的單連通緊流形(且具有單連通邊界)的實同倫不變性。[10]

圖的構型空間

編輯

有些結果與的構型空間有關,可能與機器人學及運動規劃有聯繫:可以想象把幾個機器人放在軌道上,並試圖不碰撞地將它們導航到不同位置。軌跡對應圖(的邊),機器人對應粒子,成功導航對應圖構型空間中的一條路徑。[11]

對任意圖   型艾倫伯格–麥克蘭恩空間[11],並強形變收縮到維數為 CW復形,當中 至少為3的頂點數。 [11][12]另外,  形變收縮到維數不大於 的曲率非正立方復形[13][14]

機械聯動裝置的構型空間

編輯

還可以定義機械聯動裝置的構型空間,以圖 為其底幾何。通常假定這種圖由剛性杆與鏈構成,其構型空間被定義為具有規範測度(proper metric)歐氏空間中所有可容位置的總和。一般聯動裝置的構型空間是光滑流形,例如對旋轉關節連接的n根剛性杆的平凡平面聯動系統,其構型空間是n維環面 [15][16] 此類構型空間中最簡單的奇異點是齊性二次超曲面上的圓錐與歐氏空間之積。這種奇異點見於可分為兩子鏈的鏈接中,各自的端點軌跡非橫斷地相交,例如可對齊(align)鏈路(即完全摺疊為一條線)。[17]

緊化

編輯

不同點的構型空間 不是緊的,兩端是匯。很多幾何應用都要求緊空間,所以很有必要緊化 ,即將其嵌入具有合適性質的緊空間,成為開子集。拉烏爾·博特克利福德·陶布斯[18]以及威廉·富爾頓和Robert MacPherson都提出了解決這一問題的方法。[19]

另見

編輯

參考文獻

編輯
  1. ^ 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. ^ 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. 
  3. ^ 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. 
  4. ^ Sinha, Dev. The homology of the little disks operad. 2010-02-20. arXiv:math/0610236 .  cite arXiv模板填寫了不支持的參數 (幫助)
  5. ^ 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). 
  6. ^ 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 (俄語). 
  7. ^ 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 
  8. ^ 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. 
  9. ^ 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. 
  10. ^ Campos, Ricardo; Idrissi, Najib; Lambrechts, Pascal; Willwacher, Thomas. Configuration Spaces of Manifolds with Boundary. 2018-02-02. arXiv:1802.00716  [math.AT]. 
  11. ^ 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  
  12. ^ 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. 
  13. ^ Ś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  (波蘭語). 
  14. ^ Lütgehetmann, Daniel. Configuration spaces of graphs (Master’s論文). Berlin: Free University of Berlin. 2014. 
  15. ^ 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 (英語). 
  16. ^ Farber, Michael. Invitation to Topological Robotics. american Mathematical Society. 2007. 
  17. ^ 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  (英語). 
  18. ^ 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. 
  19. ^ 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.