空間對稱群

一個物件（如一維、二維或三維中的圖像或信號）的**對稱群**是指在複合函數運算下不變的所有等距同構所構成的群。其為所考慮之空間的等距同構群中的一個子群。

（若沒有另外註明，則本文只考慮在歐幾里得空間內的對稱群，但此一概念亦可以被應用在更廣義的用途上，詳見下文。）

「物件」可以是幾何形狀、圖像及模式，如壁紙圖樣。其定義能夠以詳述圖像或模式的方式，如將位置附上一組顏色的值的函數，來使其更為精確。對如三維物體的對稱，可能亦會想要考量其物理上可能的組合。空間中等距同構的群可以產生一個作用於此群本身物件上的群作用。

對稱群有時亦稱為**全對稱群**，以強調其會產生一個圖像不會改變的反轉定位之等距同構（如鏡射、滑移鏡射和不純旋轉）。會保留其定位之同距同構（如平移、旋轉和此兩者的組合）的子群則稱為其**純對稱群**。一物件的純對稱群若等同於其全對稱群，則稱此物件為對掌的（也因此不存在使其不變的反轉定位之等距同構。)

任何其元素有著相同個不動點的對稱群都可以由選定其原點為不動點來被表示成一個正交群 O (n) 的子群，其對所有的有限對稱群及有界圖像之對稱群皆為真的。

離散對稱群可以分成三種類型：

1. 有限**點群**，其包含有旋轉、鏡射、反演和不純旋轉，且實際上只是正交群 O (n) 的子群；
2. 無限**晶格群**，其包括平移；
3. 無限**空間群**，其結合有上述兩種類型的元素，且亦包含有如螺旋軸和滑移鏡射等額外的對稱。

另外亦有著包含任意小角度的旋轉或任意小距離的平移之「連續」對稱群。一個球面 O (3) 的所有對稱所組成的群即是一種連續對稱群，而通常如此類的連續對稱的群是在李群中所研究的對象。
對歐幾里得群子群的分類會對應到對稱群的分類。

兩個幾何形狀被認為是有著相同的對稱型，若其對稱群為歐幾里得群 _E_(_n_)（Rn 的等距同構群）的共軛群，其中一個群 _G_ 的兩個子群 _H_1 和 _H_2 為共軛的，若存在一 _G_ 內的元素 _g_ 能使得 _H_1=g-1_H_2_g_。例如：

* 兩個三維圖形有著鏡面對稱，但對應著不同的鏡面。
* 兩個三維圖形有著旋轉對稱，但對應著不同的旋轉軸。
* 兩個二維圖形有著平移對稱，各在各的方面；此兩者有著長度相同但方向不同的平移向量。

有時，「相同對稱型」更廣義的概念會被使用，而可以產生如 17 個壁紙群之類的類型。

當考慮等距同構群時，可以將其縮限在於等距同構下之圖像的點皆為拓撲閉合的。如此便排除了如一維中以有理數之距離平移所構成的群。一個具有對稱群的「圖像」是不可伸縮的，且即使達到任意詳盡的均勻，亦不會有真正的均勻。

## 一維

其在等同構下之圖像的點皆為拓撲閉合之一維等距同構群有：

* 當然群 _C_1
* 由一點之鏡射所產生之元素所組成的群；其同構於 _C_2
* 由平移所產生之無限離散群：其同構於 **Z**
* 由平移和一點的鏡射所產生之無限離散群：其同構於 **Z** 的廣義二面體群 Dih (**Z**)，亦被標記為 D∞（其為 **Z** 與 C2 的半直積）。
* 由所有平移（同構於 **R**）所產生的群；這個群不能是某一「圖像」的對稱群：它會是均勻的，因此亦能被鏡面。但一個均勻一維向量場則可以有這種對稱群。
* 由所以平移和一點之鏡射所組成的群：其同構於 **R** 的廣義二面體群 Dih (**R**)。

另見一維對稱群。

## 二維

以共軛來分，二維離散點群可以分成下列幾種類型：

* _C_1、_C_2、_C_3、_C_4、… 等循環群，其中 _Cn_ 包含著所有繞一固定點為 360/_n_ 度的整倍數之旋轉。
* _D_1、_D_2、_D_3、_D_4、… 等二面體群，其中 _Dn_ 包含著所有在 _Cn_ 中的旋轉和 _n_ 個通過其固定點之軸的鏡射。

_C_1 是一個只包含有恆等運算的當然群，其產生於一圖像沒有任何的對稱時，如字母 **F**。_C_2 為字母 **Z** 的對稱群，_C_3 為三曲腿圖的，_C_4 為卐的，而 _C_5、_C_6 則為有五條及六條臂之類卐圖像。

_D_1 為一個含有恆等運算和單一個鏡射之兩個元素的群，其產生於一儘有一對稱軸的圖像中，如字母 **A**。_D_2（同構於克萊因四元群）為一非等邊長方形的對稱群，而 _D_3、_D_4 則為正多邊形的對稱群。

兩種類型的實際對稱群對其旋轉中心都有著兩個自由度，而在二面體群中，多著一個鏡面方位的自由度。

剩餘具有不動點之二維等距同構群，其所有在等距同構下之圖像的點皆為拓撲閉合的有：

* 特殊正交群 SO (2)，其包括繞著一固定點的所有旋轉；其亦稱為圓群 S1，為絕對值為 1 之複數所組成的乘法群。其為圓的「純」對稱群，且為 _C_n 在連續群中的等價。不存在一以圓群為「全」對稱群之圖像，但對於一向量場則存在著（見三維中的例子）。
* 正交群 O (2)，其包括所有繞一固定點的旋轉及對通過其固定點之軸的鏡射。這是一個圓的對稱群。其亦被可標記為 Dih (S1)，因其為 S1 的廣義二面體群。

對於無界圖像，其他的等距同構群還包括平移；其閉合對稱群有：

* 7 個彩帶群
* 17 個壁紙群
* 對每一個一維對稱群，其於一方向上之群的所有對稱及在其垂直方向上之所有平移的群所組成之對稱群
* 同上，但再加上第一個方向的鏡射

## 三維

以共軛來分，其三維點群的集合包括 7 種包含無限多個群的類型和剩下的 7 個點群。在晶格學中，其被侷限在需符合晶格的離散平移對稱中。一般無限個點群中的晶體侷限可以找出 32 種晶體點群（27 種在 7 種類型中，5 種在另 7 個點群中）。

見**三維點群**。

具一固定點的連續對稱群包括如下：

* 沒有垂直其軸之對稱面的圓柱對稱，這出現在如瓶子等物之上頭
* 有垂直其軸之對稱面的圓柱對稱
* 球面對稱

對物件和純量場而言，圓柱對稱意指其有著直立鏡射面。但對向量場則不然：在相對於某一軸的圓柱座標中， $\mathbf {A} =A_{\rho }{\boldsymbol {\hat {\rho }}}+A_{\phi }{\boldsymbol {\hat {\phi }}}+A_{z}{\boldsymbol {\hat {z}}}$ 有相對於此一軸的圓柱對稱若且唯若 $A_{\rho }$ 、 $A_{\phi }$ 和 $A_{z}$ 都有此一對稱，即其都和 φ 無關。另外地，其存在著鏡射對稱若且唯若 _Aφ=0_。

對於球面對稱，則不存在著如此差異，其皆意指著有鏡射面。

沒有固定點的連續對稱群則包括具有如無限螺旋之螺旋軸對稱的對稱群。另見歐幾里得群的子群。

## 一般對稱群

在更廣義的文句中，**對稱群**可能為任一種類的**變換群**或自同構群。一旦知道了所關注的數學結構之種類，應該就夠確定保留其結構之映射。相反地，知道其對稱即可定義其結構，或至少能弄清其內之不變數；這是看愛爾蘭根綱領的一種方式。

例如，有限幾何某些模型的自同構群在一般意思下不是「對稱群」，儘管其亦會保留對稱性。其保留著點集族，而非點集（或「物件」）本身。見 pattern groups （頁面存檔備份，存於網際網路檔案館）。

如上面所述，空間自同構的群會形成一於其內物件之群作用。

對於一給定之幾何空間內的一給定之幾何形狀，考慮如下之等價關係：兩個空間自同構為等價的若且唯若兩個形狀的圖樣是相同的（此處所謂之「相同」並非為「在平移和旋轉下是相同」的意思，而是指「精確地相同」）。然後，此一相同之等價類即為此形狀的對稱群，且每一等價類皆會對應到一個此形狀的同構版本。

在每一對等價類之間都存在著一個對射：第一個等價類之代表的反元素與第二個等價類之代表複合。

在整個空間的一有限自同構群裡，其目為形狀之對稱群的目乘上此形狀同構版本的數目。

例如：

* 歐幾里得空間的等距同構，其形狀為長方形：其存在著無限多個等價類；每一個等價類都包括 4 個等距同構。
* 空間為具歐幾里得度量的立方體；形狀包括和此空間同樣大小的立方體，其各面有著各式顏色或圖像；此一空間的自同構為 48 個等距同構；其狀形為各面有著不同顏色之立方體；此形狀會有著 8 個等距同構的對稱群，及 6 個各含 8 個等距同構的等價類，每個等價類都是此形狀的一個同構版本。

比較拉格朗日定理 (群論) 及其證明。

## 另見

* 對稱
* 一維對稱群
* 置換群
* 歐幾里得空間中等距同構群的不動點
* 歐幾里得等距
* 群作用
* 點群
* 晶系
* 空間群

## 外部連結

* 埃里克・韋斯坦因。對稱群. MathWorld.
* 埃里克・韋斯坦因。四面體群. MathWorld.
* 32 個格體點群的簡介