空间对称群

✍ dations ◷ 2025-09-08 05:46:59 #几何学,对称,群论

一个对象(如一维、二维或三维中的图像或信号)的对称群是指在复合函数运算下不变的所有等距同构所构成的群。其为所考虑之空间的等距同构群中的一个子群。

(若没有另外注明,则本文只考虑在欧几里得空间内的对称群,但此一概念亦可以被应用在更广义的用途上,详见下文。)

“对象”可以是几何形状、图像及模式,如壁纸图样(英语:Wallpaper group)。其定义能够以详述图像或模式的方式,如将位置附上一组颜色的值的函数,来使其更为精确。对如三维物体的对称,可能亦会想要考量其物理上可能的组合。空间中等距同构的群可以产生一个作用于此群本身对象上的群作用。

对称群有时亦称为全对称群,以强调其会产生一个图像不会改变的反转定位之等距同构(如镜射、滑移镜射(英语:Glide reflection)和不纯旋转)。会保留其定位之同距同构(如平移、旋转和此两者的组合)的子群则称为其纯对称群。一对象的纯对称群若等同于其全对称群,则称此对象为对掌的(也因此不存在使其不变的反转定位之等距同构。)

任何其元素有着相同个不动点的对称群都可以由选定其原点为不动点来被表示成一个正交群O(n)的子群,其对所有的有限对称群及有界图像之对称群皆为真的。

离散对称群可以分成三种类型:

另外亦有着包含任意小角度的旋转或任意小距离的平移之“连续”对称群。一个球面O(3)的所有对称所组成的群即是一种连续对称群,而通常如此类的连续对称的群是在李群中所研究的对象。对欧几里得群子群的分类会对应到对称群的分类。

两个几何形状被认为是有着相同的对称型,若其对称群为欧几里得群(英语:Euclidean group)()(Rn的等距同构群)的共轭群,其中一个群的两个子群12为共轭的,若存在一内的元素能使得1=g-12。例如:

有时,“相同对称型”更广义的概念会被使用,而可以产生如17个壁纸群之类的类型。

当考虑等距同构群时,可以将其缩限在于等距同构下之图像的点皆为拓扑闭合的。如此便排除了如一维中以有理数之距离平移所构成的群。一个具有对称群的“图像”是不可伸缩的,且即使达到任意详尽的均匀,亦不会有真正的均匀。

其在等同构下之图像的点皆为拓扑闭合之一维等距同构群有:

另见一维对称群(英语:symmetry groups in one dimension)。

以共轭来分,二维离散点群可以分成下列几种类型:

1是一个只包含有恒等运算的当然群,其产生于一图像没有任何的对称时,如字母F。2为字母Z的对称群,3为三曲腿图的,4为卐的,而56则为有五条及六条臂之类卐图像。

1为一个含有恒等运算和单一个镜射之两个元素的群,其产生于一尽有一对称轴的图像中,如字母A。2(同构于克莱因四元群)为一非等边长方形的对称群,而34则为正多边形的对称群。

两种类型的实际对称群对其旋转中心都有着两个自由度,而在二面体群中,多著一个镜面方位的自由度。

剩余具有不动点之二维等距同构群,其所有在等距同构下之图像的点皆为拓扑闭合的有:

对于无界图像,其他的等距同构群还包括平移;其闭合对称群有:

以共轭来分,其三维点群的集合包括7种包含无限多个群的类型和剩下的7个点群。在晶格学中,其被局限在需符合晶格的离散平移对称中。一般无限个点群中的晶体局限可以找出32种晶体点群(27种在7种类型中,5种在另7个点群中)。

见三维点群(英语:Point groups in three dimensions)。

具一固定点的连续对称群包括如下:

对对象和标量场而言,圆柱对称意指其有着直立镜射面。但对向量场则不然:在相对于某一轴的圆柱坐标中, A = A ρ ρ ^ + A ϕ ϕ ^ + A z z ^ {\displaystyle \mathbf {A} =A_{\rho }{\boldsymbol {\hat {\rho }}}+A_{\phi }{\boldsymbol {\hat {\phi }}}+A_{z}{\boldsymbol {\hat {z}}}}

对于球面对称,则不存在着如此差异,其皆意指著有镜射面。

没有固定点的连续对称群则包括具有如无限螺旋之螺旋轴(英语:screw axis)对称的对称群。另见欧几里得群的子群。

在更广义的文句中,对称群可能为任一种类的变换群或自同构群。一旦知道了所关注的数学结构之种类,应该就够确定保留其结构之映射。相反地,知道其对称即可定义其结构,或至少能弄清其内之不变量;这是看爱尔兰根纲领的一种方式。

例如,有限几何某些模型的自同构群在一般意思下不是“对称群”,尽管其亦会保留对称性。其保留着点集族,而非点集(或“对象”)本身。见pattern groups。

如上面所述,空间自同构的群会形成一于其内对象之群作用。

对于一给定之几何空间内的一给定之几何形状,考虑如下之等价关系:两个空间自同构为等价的当且仅当两个形状的图样是相同的(此处所谓之“相同”并非为“在平移和旋转下是相同”的意思,而是指“精确地相同”)。然后,此一相同之等价类即为此形状的对称群,且每一等价类皆会对应到一个此形状的同构版本。

在每一对等价类之间都存在着一个双射:第一个等价类之代表的逆元素与第二个等价类之代表复合。

在整个空间的一有限自同构群里,其目为形状之对称群的目乘上此形状同构版本的数目。

例如:

比较拉格朗日定理 (群论)及其证明。

相关

  • 普立马结合型雌激素(英语:Conjugated estrogens,旧误译共轭雌激素),也称妊马雌酮,商品名称为普立马(Premarin,取自pregnant mares' urine的缩写),是一种常用雌激素药物,惠氏制药公司生产,是一
  • 圣塞宁圣殿圣塞宁圣殿(法语:Basilique Saint-Sernin)位于法国图卢兹,建于公元1080年至公元1120年间,是一座罗马式的教堂。此教堂是一座砖制建筑,由于当地缺乏石料,只有少数部位才用到石材。它
  • 路面电车与轻轨有轨电车与轻轨系统列表,列出世界各城市运营中及已休业的有轨电车与轻轨系统。为方便起见,所有位于俄罗斯境内的系统,包括亚洲内的系统,都列于此条目的#欧洲部分。为方便起见,所
  • 高雄警察署高雄警察署是高雄市第一个警察总局,该厅舍东处设有看守所,往北则有消防组,建有二楼高的西洋式瞭望台。二次大战末期遭美军炸毁警察署屋顶部分,后由永光行(贸易公司)所购得,在其细心
  • 睡眠学习睡眠学习是一种试图在睡眠中学习知识的技巧。比如睡觉时放录音就是一种典型的方法。但实际上其有效性并未得到科学验证,一些早期的研究甚至认为这种方法根本就是无稽之谈,但后
  • 药叉女药叉女(梵语:याक्षिणि,在巴利文也称为 yaksinis 或yaksis 或yakkhini),又译夜叉女、母夜叉,为女性的夜叉,相貌美艳,身段婀娜,是印度教、佛教和耆那教神话的人物。女性称之为
  • 电击遭雷击的患者,腿部表面有红色条状痕即电流流经的痕迹 。触电是指当生物(主要指人类)与电有直接的接触时,因此感受到疼痛或甚至受到伤害的意外事故。被雷电击中(简称雷击)也属于触
  • 顶复门的生命周期顶复门物种的生命周期包括以下各个阶段:作为一组细胞内寄生虫,顶复门的生命周期阶段让它们透过演化去适应它们所暴露于的各种复杂的环境下生存。簇虫亚纲的身细胞内都有营养体
  • 三氯叔丁醇三氯叔丁醇,分子式C4H7Cl3O。无色、具有樟脑气味、易升华结晶。有半水合物与无水物两种形式。由氢氧化钾存在下丙酮与氯仿于15°C以下反应而得。反应毕过滤、蒸馏回收反应物,
  • 半鸟半鸟属(属名:Unenlagia,意为“一半的鸟”)又名若鸟龙,是兽脚亚目恐龙的一属,生存于晚白垩纪的南美洲,化石发现于阿根廷内乌肯省中部山区。半鸟属于驰龙科的半鸟亚科,是群奇特、极度