等边多边形的对称群与晶体学点群
我先澄清一个概念:您已讲过“等边多边形的内切圆与外接圆的关系”,但未讲过它的对称性。因此,我将为您讲解“等边多边形”的一个深刻扩展:其对称所构成的“群”,以及它与晶体学中点群的深刻联系。这是一个从平面几何通向抽象代数与晶体学的优美主题。我们将分步进行:
第一步:等边多边形的对称性(从具体到抽象)
首先,我们聚焦于一个最简单的等边多边形:正n边形。以正三角形(n=3)和正方形(n=4)为例。
-
对称操作:指不改变图形位置和形状的刚体运动。对于一个平面图形,对称操作分为两类:
- 旋转对称:绕图形中心旋转一定角度后,图形与原图重合。正n边形具有旋转对称,最小的旋转角度是 360°/n。所有旋转操作的集合是:旋转 0°, 360°/n, 2360°/n, ..., (n-1)360°/n。共有n个。
- 反射对称:沿某条直线(对称轴)翻转图形,图形与原图重合。正n边形有n条对称轴:如果n是奇数,所有对称轴都通过一个顶点和对边中点;如果n是偶数,对称轴有两种,一种连接对边中点,一种连接对顶点。共有n条。
-
操作的复合:我们可以连续进行两个对称操作,结果等价于另一个对称操作。例如,在正方形中,先旋转90°,再沿竖直轴反射,其结果等于沿某条对角线反射。这是一个关键思想:我们可以“组合”这些操作。
第二步:从对称集合到“对称群”(代数结构)
现在,我们把一个正n边形的所有对称操作(包括旋转和反射)看作一个整体,记作 D_n(在有些记法中,正多边形对称群记作 D_{2n},因总共有2n个元素。为清晰,我们这里用D_n表示有2n个元素的二面体群)。
-
群的四个公理:集合D_n配合“复合”运算,构成一个“群”。
- 封闭性:任意两个对称操作复合后,仍然是这个正n边形的一个对称操作。这很直观。
- 结合律:操作的复合总是满足结合律,即 (A∘B)∘C = A∘(B∘C)。
- 单位元:存在一个“什么都不做”的操作(旋转0°),它与任何操作复合,都等于那个操作本身。
- 逆元:每个对称操作都有“撤销”它的逆操作。旋转的逆是反向旋转相同角度;反射的逆就是它自身(反射两次等于什么都不做)。
-
D_n 群的结构:它可以由一个旋转基本元素 r(表示旋转 360°/n)和一个反射基本元素 s(表示沿某一固定对称轴的反射)生成。它们满足关系:r^n = e(单位元), s^2 = e, 且 s r s = r^{-1}。这个关系完全刻画了D_n群。D_n共有2n个元素:n个纯旋转 {e, r, r^2, ..., r^{n-1}} 构成其一个子群(称为循环群C_n),另外n个是带反射的操作 {s, sr, sr^2, ..., sr^{n-1}}。
第三步:从无限平面到受限的晶体镶嵌(点群)
平面可以被正n边形镶嵌(密铺),但并非所有n都行。能够无缝隙、不重叠地铺满平面的正多边形镶嵌只有三种:正三角形(n=3)、正方形(n=4)、正六边形(n=6)镶嵌。这是因为在多边形一个顶点处,内角和必须为360°。正n边形内角为 (n-2)180°/n,设k个多边形在此交汇,则 k (n-2)*180°/n = 360°,解得 k = 2n/(n-2)。k为整数的解只有 (n,k) = (3,6), (4,4), (6,3)。
这种周期性镶嵌的对称性受到限制。其对称群(称为“平面晶体学点群”)必须与平移对称性相容。一个关键限制是:旋转对称的阶数n只能为1, 2, 3, 4, 6。这是晶体学的一个基本定理( crystallographic restriction theorem),源于平移对称性要求旋转后格点能重合,在数学上等价于方程 1 + cos(θ) = m/2 有整数解m,其中θ=360°/n,解得n只有以上五种可能。
第四步:平面晶体学点群的完全分类
结合D_n群的结构和旋转阶数限制(n=1,2,3,4,6),我们可以得到所有10种平面晶体学点群:
- 纯旋转点群(循环群):C1, C2, C3, C4, C6。对应图形仅有旋转对称,无反射对称。例如,一个没有对称轴的复杂图案可能只有C1(仅恒等变换);一个三叶风车图案可能具有C3对称。
- 二面体点群:D1, D2, D3, D4, D6。由旋转和反射对称共同构成。D1等价于仅有一条反射对称轴(记作Cs或C1v);D2是长方形对称(两条垂直反射轴);D3是正三角形对称;D4是正方形对称;D6是正六边形对称。
这10个点群描述了平面中一个“点”的局部对称性(所有操作都保持至少一个点不动,故称“点群”)。它们是平面晶体17个空间群(结合了点群与平移)的组成部分。
第五步:迈向三维空间(晶体学32点群简介)
上述思想可推广到三维空间中对晶体对称性的描述。三维中,一个有限的晶体外形或多面体的对称操作(保持中心不动的旋转、反射、反演、旋转反射等)也构成点群。
- 旋转轴:三维有旋转轴,阶数同样受晶体平移周期限制,仍为1, 2, 3, 4, 6。
- 组合:将这些旋转轴、反射面、反演中心以兼容的方式组合起来,得到的点群数量是有限的。经过推导,三维晶体学点群共有32个。
- 与多面体联系:这些点群与柏拉图立体(正多面体)的对称群紧密相关。例如:
- 正四面体的对称群是T_d(24个元素),但它的纯旋转子群T(12个元素)不是晶体点群(有3阶轴但无兼容的4或6阶轴?这里需注意:T群包含3个2阶轴和4个3阶轴,是晶体点群,属于立方晶系)。更准确地说,立方晶系的晶体点群(如O, O_h, T, T_d, T_h)与正六面体(立方体)和正八面体的对称性相关。
- 正二十面体和正十二面体具有5重旋转对称,其对称群是I_h(120个元素),但由于包含5阶轴,不属于32个晶体学点群。这正是为什么在晶体中看不到正五边形的原因。
总结:我们从等边多边形的直观对称出发,抽象出其对称操作的集合构成二面体群D_n。进而,考虑其周期性铺满平面(晶体镶嵌)时,对称性受到严格限制,导致只有10种平面晶体学点群。最后,这个概念在三维空间发展为32种晶体学点群,它们完整描述了所有晶体外形的宏观对称性,是连接几何、群论与材料科学的基石。通过这条路径,您可以看到,一个简单的正多边形对称性,是如何通向现代数学与物理学中一个深刻而基础的概念的。