图3 C5对称的鸡蛋花和D3对称的三叶草
3 二维晶体的点群与空间群
二维空间里， 转动只有n=1，2，3，4，6 次转轴五种可能，这构成了C1，C2，C3，C4，C6五种点群。添加镜面反映(其实是线反映)也各只有一种可能， Dn = Cn ⊗ σ ，这构成了D1，D2，D3，D4，D6 五种点群。这样，二维点群总共就这么十种。此处使用Schöflies记号，下同。
已知了二维点群，使其同平移对称性结合(有时有多于一种的方式)，可以构造出二维空间群。用通俗的话来说，设想你设计平面装饰图案，你先在平面上划格子(lattice)，格子具有某种平移对称性(平移群)，然后设计重复单元(motif)，重复单元具有某种转动加镜面反映的对称性(点群)。若重复单元与格子相匹配，就可以在每个格点上放上那个重复单元，就凑成了整幅具有某种特定对称性(空间群)的图案。二维空间群(墙纸群)是建筑、服装、绘画、材料、物理等专业工人的必备知识。
现在看二维点群与二维格子构成二维空间群的具体情况。先介绍要用到的术语。C 是cyclic (循环的、转圈的)的首字母，D 是dihedral(二面的)的首字母，p 是primitive( 初级的) 的首字母， c 是centered(带心的) 的首字母，m 代表mirror ( 镜面)， g 代表glide ( 滑移面。经这个面反映后，还移动一段距离)。空间群的记号会大致告诉你晶体的对称性特征，比如pmg 是初级晶格 镜面 滑移面，cmm是面心晶格(单胞是带心的长方形) 垂直方向上的镜面。二维空间群共17 种可能，排列如下：
1)点群C1，C2，C3，C4，C6分别对应空间群p1，p2，p3，p4，p6；
2)点群D1对应空间群pm，pg，cm；
3) 点群D2 对应空间群pmm，pmg，pgg，cmm；
4) 点群D3 对应空间群P31m，P3m1；
5)点群D4对应空间群p4m，p4g；
6)点群D6对应空间群p6m。
重复单元的对称性与晶格对称性的匹配问题，高对称性的重复单元要求高对称性的格子，其中，点群C3，C6，D3，D6要求六角格子，其单胞是夹角60°的菱形；点群C4，D4要求正方格子。为了加深理解，图4中给出了具有空间群的花样，读者可自己试试找出相应的重复单元和单胞。二维空间群只有17 种已知有几个世纪了，它的别名墙纸群可资为证，但证明，或曰基于数学知识的列举，要等到1891 年由菲德罗夫(Евгра́фСтепа́нович Фёдоров，1853—1919)给出。
图4 空间群为pm，p4m，p31m，p6m的二维图案
4 三维晶体的点群与空间群
三维空间依然只有平面型的转动，即只有n=1，2，3，4，6 次五种转动，但多了一个维度，因此就扩大了转动与镜面反映组合的可能性。转轴除了C和D的区别外， 要加入镜面，可能是v(vertical，竖直的，镜面过转轴)，也可能是d(diagonal，对角的，镜面过转轴) ，可能是h(horizontal，水平的，镜面垂直于转轴) 。此外，还有转动与镜面反映的组合S(Spiegel， 德语镜子)， 以及高对称的T(tetrahedron，正四面体)和O(octahedron，正八面体)。三维点群可列举如下，C1，C2，C3，C4，C6 共五种，加h 得Cnh五种， 加v 得Cnv 五种；D1， D2，D3，D4，D6 五种，加h 得Dnh 五种，加d 得Dnd 五种，共30 种。然而，在三维空间中C1v=C1h，D1=C2，D1h=C2v，D1d=C2h，而D4d，D6d意味着存在8-次和12-次转轴，是不允许的。排除这6 种可能，实际上得到的是24种点群。加上更复杂的组合S2，S4和S6；T，Th，Td；O，Oh， 又有8种， 故总共有32 种点群。这32 种点群，对称性高低不同，Oh，D6h，D4h分别占据最高端，其它低对称性点群是高对称性点群的子群，如图5。32 种点群的结果， 由赫赛尔( Johann Friedrich Christian Hessel，1796—1872)于1830年推导出来。
图5 32 种三维空间点群的关系(此处使用的是Hermann—Mauguin记号)
32 种点群与三维空间平移对称性的组合，可得到230 种空间群(若不同手征的只算一种，是219 种)。三维空间群由菲德罗夫和熊夫利斯(Arthur Moritz Schönflies，1853—1928) 于1891 年独立地列举空间群，但各有疏漏。1892 年两人在通讯中互相校正，得到了230种正确的列表。由于内容太多，此处不一一列举了。有兴趣的读者，尤其是凝聚态物理类的研究生，请参阅相关专业书籍。这中间的一个关键步骤是，确立了三维空间的格子只有14 种， 这是由布拉菲(Auguste Bravais，1811—1863) 于1850 年完成的。所谓的布拉菲格子，是由那个根据平移能够充满空间的单胞(平行六面体)的形状加以表征的。布拉菲格子，用其单胞来指代，按照点群对称性由低到高，分别有三斜晶系/Ci一种，单斜晶系/C2h两种( 外加带底心的)，正交晶系/D2h四种(外加带底心的，带体心的，带面心的)，四方晶系/D4h两种(外加带体心的)；六角晶系/D3d 和/D6h各一种，以及立方晶系/Oh三种(外加带体心的，带面心的)，如图6。各种教科书内鲜有排列顺序正确的图示，甚至有把三方晶系和三斜晶系并列的图解。顺便说一句，布拉菲是群论创始人之一伽罗华在巴黎工科学校的同班同学。
图6 从上到下按对称性排列的14 种布拉菲格子
5 点群与空间群的再推导
点群与空间群的关系，来自晶体平移对称性的约束。晶体的平移对称性宣称，若在空间某个点r(x，y，z)上有原子，存在三个线性不相关的基矢量a1，a2，a3，在R = n1a1 n2a2 n3a3 r 处( n1 ， n2 ， n3 是任意整数)，必有原子。但若将该原子放到合适的格点上， 公式中的r值， 以基矢量来表示，也只能是有限的几种可能(与带心的单胞或滑移面有关)。这个平移对称性限制了单胞形状的可能，也限制了点群和空间群的数目。
从数学的角度来看，晶体中的变换不改变空间中任一两点间的距离，因此它必须是取向欧几里得空间里的等距变换(group of isometries of an oriented Euclidean space)。因为原子是离散的，所以点群、空间群也是分立的(离散的、分立的，discrete)。空间群的一个元素，由(M，D)构成，其作用是等距变换Y=M·X D，M是个矩阵，M矩阵形成一个点群；D是个矢量，由点群和点群能匹配的晶格共同决定。考虑到平移对称性意思是R = n1a1 n2a2 n3a3 r 中的n1， n2， n3 是任意整数，空间群可以看作是某些整数域上的变换群。从群论出发，硬推导出三维空间的230 种可能，对谁都是挑战。熊夫利斯的导师可是大数学家库默尔(Ernst Kummer，1810—1893)和威尔斯特拉斯(Karl Weierstrass，1815—1897)，而威尔斯特拉斯可是分析学的奠基人。
2007年，David Hestenes 用欧几里得空间的共形几何代数方法给出了二维、三维情形下晶系、点群和空间群的详细推导。更重要的是，还给出了各个空间群的生成元。不过，追踪过David Hestenes用几何代数重写整个物理学努力的人太少了。不知道将来是否有有能力对晶体学感兴趣的人详细讲解这项工作。
6 多余的话
晶体学群论的工作，是由一批德国和俄罗斯科学家完成的。矿物学发祥于这两个国家，相关的数学这两个国家的人有能力掌握，因此由他们构造晶体群以及考虑更高维格子、更复杂motif 之晶体的群(比如色群)就是天经地义的了。他们这些工作追求的是关于物质的结构原则，结构原则同样适用于数学——结构是数学的最高原则。Some mathematical structures show up in many different contexts，under many different guises. 推导出完整的空间群是很困难的，从32 种点群于1830年由一人推导出来到230 种空间群于1891—1892 年由两人才正确推导出来，这其中的难度可以想象。可惜这些文献多是德语和俄语的， 尤其那些珍贵的俄语文献鲜有译文，现在是更没有人肯去掌握了。
还有一点难能可贵的是，德国和俄罗斯的科学家和工程师似乎有点傻傻地真心热爱科学。一个理所当然的结果是，它们的人工晶体长得非常好。俄罗斯不仅有多种系统的晶体学教科书，他们长晶体也是最棒的。看着俄罗斯人生长的一人多高的硅单晶，令人不由得肃然起敬。
固体物理学教育在吾国已经开展多年了。然而，关于晶体结构数学的介绍，基本上还只停留在固体有32 种点群、230 种空间群这么一句肤浅的介绍上。群论，群表示论，空间群的导出与表示，空间群在计算物理方面的应用，空间群对物质物理性质的限制，空间群对物质刺激—响应行为的限制，这些都应该成为凝聚态物理类研究生的必备知识。
2018 年是一个“伤芯”之年，我们终于认识到，处于信息时代而不拥有芯片制造技术，是多么可怕。然而，芯片需要高质量的晶体，而高质量晶体的生长及其后的器件制备，是需要有懂晶体学的科学家和工程师的，这一点但愿我们将来也能认识到了。数学才是一个国家、一个民族的核心竞争力，我说的，我信。
参考文献
[1] Shubnikov A (ed.). Symmetry in science and art. Springer，1974
[2] Pólya G. Über die Analogie der Kristall symmetrie in der Ebene (关于平面上晶体对称性的类比). Zeitschrift für Kristallographie，1924，60：278
[3] Schoenflies A M. Theorie der Kristallstruktur.Gebr. Borntraeger，1923
[4] Fedorov E S. Симмтрія правильныхъсистемъ фигуръ(1891). David and Katherine Harker (trans.)，Symmetry of Crystals，American Crystallographic AssociationMonograph，No. 7，50-131，American Crystallographic Association (1971)
[5] Burckhardt J J. Zur Geschichte der Entdeckungder 230 Raumgruppen (230 种空间群的发现史). Archive for History of Exact Sciences，1967，4 (3)：235
[6] Bravais A. Mémoire sur les systems formés par les points distribués régulièrement sur un plan ou dans l'espace. J. Ecole Polytech.，1850，19：1-128 (English：Memoir Memoir on the systems formed by points regularly distributed on a plane or in space，Crystallographic Society of America，1949)
[7] Hestenes D，Holt J. The Crystallographic Space Groups in Geometric Algebra. Journal of Mathematical Physics，1-25，January 2007
本文选自《物理》2019年第2期
扩展阅读：
左右可有别？丨曹则贤
外尔：闯入物理瓷器店的数学家大象丨曹则贤
数理史上的绝妙证明：六角密堆积证明及其它 | 曹则贤
相对论英雄谱 | 曹则贤
背景简介：文章2019年3月4日发表于微信公众号 中国物理学会期刊网（晶体几何系列之一：晶体的点群与空间群），风云之声获授权转载。
责任编辑：孙远
