热门问题
时间线
聊天
视角

構型空間

来自维基百科,自由的百科全书

构型空间
Remove ads

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

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

定義

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

[1]

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

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

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

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

Remove ads

其他公式

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

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

Remove ads

例子

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

與辮群的聯繫

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

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

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

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

Remove ads

流形的構型空間

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

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

Remove ads

同倫不變性

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

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

Remove ads

圖的構型空間

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

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

Remove ads

機械聯動裝置的構型空間

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

Remove ads

緊化

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

另見

參考文獻

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads