1 基本概念
1.1 定义与直观理解
点群是指一类在某个固定点周围保持对象整体不变的对称操作集合。它关注的是图形、分子或空间结构在旋转、翻转、反演等变换下是否能够回到原状，因此常被用来描述“围绕一个中心点的对称性”。
从直观上看，如果一个对象绕某个轴旋转后看起来没有变化，或者经过镜面反射后仍与原形重合，这些操作都可纳入对应的点群中。点群的核心不在于物体的位置平移，而在于其局部几何形态是否具有稳定的对称特征。
1.2 点群与对称操作
点群由若干对称操作组成，这些操作在复合后仍属于同一类对称变换，并满足群的代数性质。常见的对称操作包括旋转、反射与反演，它们分别对应不同的空间几何直观。
点群所强调的“对称操作”，并不是任意变换，而是那些能够保持对象整体外观不变的规则动作。正因为如此，点群成为连接几何直观与抽象代数的重要工具。
1.2.1 旋转
旋转是指对象绕固定轴转动一定角度后保持不变的操作。若一个图形在转过某个角度后与原形完全重合，则该角度对应一个旋转对称。
在三维空间中，旋转通常围绕一条轴进行，角度可能是 2π/n 的形式，也可能对应连续旋转对称。旋转对称常见于正多边形、圆柱状结构以及许多具有轴向规则性的分子或晶体。
1.2.2 反射
反射是指对象关于某个镜面映射后与原来重合的操作。若一个图形存在镜面对称，则它在该平面两侧的几何特征彼此对应。
反射对称在平面图形中表现为轴对称，在空间中则表现为镜面所定义的对称性。它使得对象在视觉上呈现出左右或上下的对应关系。
1.2.3 反演
反演是指以某一中心点为基准，将空间中的每个点映射到其对径位置上的操作。若对象在经过该映射后保持不变，则称其具有反演对称性。
反演与旋转、反射不同，它强调的是相对于中心点的“点对点对应”。在分子对称性和晶体对称性研究中，反演中心常被视为重要的结构特征。
1.3 固定点与空间中的作用
点群中的对称操作通常围绕一个固定点展开，这个点在变换前后位置不变。固定点为整个群作用提供了参照，使得变换可以被视为“围绕中心进行”的空间操作。
在数学上，点群作用于围绕该点的空间坐标，因此它主要处理方向、角度与取向问题，而不涉及整体平移。正因如此，点群特别适合描述以中心为核心的局部对称结构。
1.4 点群与几何对称性的关系
几何对称性描述的是图形在某些变换下保持不变的性质，而点群则是这种性质的代数化表达。换言之，点群把“看起来对称”变成了“可以列举和运算的对称集合”。
这种关系使得几何对象能够按照对称类型进行分类，并进一步研究其性质差异。不同点群对应不同的几何模式，也决定了对象在空间中的稳定变换方式。
2 数学基础
2.1 群论基础
点群的研究建立在群论之上。群论提供了一套处理对称操作的抽象框架，使得旋转、反射等变换能够被统一描述。
在这一框架中，点群不再只是几何图像的附属概念，而成为具有明确代数结构的数学对象。通过群论，可以研究对称操作之间的组合规律、逆元以及分类方式。
2.1.1 群、公理与运算
群是由一个集合及其上的二元运算组成的代数结构，要求满足封闭性、结合律、单位元与逆元等公理。若将对称操作视为元素，复合变换则可作为群运算。
点群中的各个对称操作在组合后仍是同类变换，这一点正符合群的封闭性。由于这些操作存在可逆性，因此点群可以自然地纳入群论体系。
2.1.2 子群与生成元
子群是群中的一个子集合，并且本身也构成群。对于点群而言，某些基本对称操作及其组合就可能生成整个对称结构。
生成元则是能够通过反复组合产生全部群元素的基础操作。研究生成元有助于简化点群的描述，因为复杂的对称体系往往可以由少数几个基本变换构成。
2.2 线性变换与正交群
点群中的对称操作通常可表示为线性变换，特别是在欧氏空间中，旋转、反射等都可用矩阵形式表达。正交群则提供了与长度和角度保持相关的统一语言。
在线性代数视角下，点群的元素可看作作用于向量空间的变换矩阵。这样不仅便于计算，也便于分析这些变换是否保留距离和夹角。
2.2.1 旋转矩阵
旋转矩阵用于表示空间中的旋转操作。它的特点是对向量进行线性变换后，不改变向量长度与角度关系。
在二维或三维中，旋转矩阵具有明确的标准形式，常用于描述绕原点或某一轴的转动。借助矩阵表示，旋转的复合、逆变换与分类都可被直接计算。
2.2.2 反射矩阵
反射矩阵表示关于某一平面或直线的镜像变换。它通常会改变坐标方向，但仍保持图形的整体距离结构。
反射矩阵在结构对称的分析中十分常见，因为它可清晰地给出镜面对称所对应的代数表达。与旋转矩阵相比，反射矩阵往往改变取向，但不改变长度。
2.2.3 行列式与保距性
行列式可用于判断线性变换是否改变空间取向。对称操作中，旋转通常对应行列式为正，而反射则常对应行列式为负。
保距性则表示变换前后两点间距离不变。点群中的对称变换一般都具有保距性质，因此它们属于欧氏空间中的刚体变换范围。
2.3 欧氏空间中的对称群
欧氏空间中的对称群是指在保持距离不变的前提下，对空间对象进行变换所形成的群。点群正是这类群中的重要代表。
由于欧氏空间具有明确的几何测度，对称群的结构也更加清晰，适合用来研究有限与连续的对称特征。它们在理论与应用中都具有重要地位。
2.3.1 有限群
有限群由有限个元素组成，点群中大量常见类型都属于这一类。有限性意味着其对称操作数量可被逐一枚举。
有限点群在多面体、分子以及晶体外形中尤其常见，因为这些对象通常只具有有限个独立的对称变换。有限群也便于分类和构造角色表。
2.3.2 连续群
连续群中的元素可以通过连续参数变化，如角度连续变化的旋转群。它们描述的是更高层次的连续对称性。
虽然典型点群多为有限群，但在更广义的对称研究中，连续群提供了重要背景。例如球体的旋转对称便体现出连续群的特征。
2.3.3 离散群
离散群是指其元素彼此分离、没有连续参数连接的群。多数点群都属于离散群，因为它们的对称操作是有限个或可数个明确变换。
离散性使得点群在分类上更具可操作性，也更适合与具体几何对象对应。对称类型因此能被清楚地区分出来。
3 点群的分类
3.1 二维点群
二维点群描述平面图形的对称性。其基本元素通常包括旋转、反射以及这些操作的组合，适用于正多边形、花纹和平面图案的分析。
二维情形下，对称轴和旋转中心的关系较为直观，因此点群分类也相对清晰。常见类型主要围绕循环群和二面体群展开。
3.1.1 循环群
循环群是由一个旋转操作反复生成的点群。若某平面图形具有 n 重旋转对称，其对称结构通常可归入循环群。
这类群只包含旋转元素，结构较为简单。它们适合描述具有纯旋转对称但没有镜面对称的图形。
3.1.2 二面体群
二面体群描述了同时具有旋转与镜面反射对称的平面图形。正多边形的全部对称操作通常构成二面体群。
二面体群比循环群更丰富，因为它不仅包含旋转，还包含反射。它是平面点群分类中的核心类型之一。
3.2 三维点群
三维点群用于描述空间对象的对称性，是点群理论中应用最广的一类。它们能够刻画分子、晶体颗粒和多面体等对象在三维空间中的对称结构。
三维点群类型较多，既有只含旋转的类型，也有带镜面或反演中心的类型。不同组合形成了更复杂的分类体系。
3.2.1 纯旋转点群
纯旋转点群只包含旋转操作，不含反射或反演。它们体现的是对象绕某些轴转动后保持不变的性质。
这类点群常出现在具有方向性但缺乏镜面对称的结构中。其对称元素相对单纯，便于作为更复杂类型的基础。
3.2.2 含镜面点群
含镜面点群除了旋转外，还包含反射面。镜面的存在使得结构在某个平面两侧具有对应关系。
这类点群在分子构型和晶体外形中十分常见。镜面元素的加入往往会显著增加对称操作的数量。
3.2.3 含反演中心的点群
含反演中心的点群具有一个中心点，空间中每一点都可通过反演映射到对侧对应位置。反演中心为三维对称提供了更强的限制条件。
这种点群在结构分析中常被视为重要标志。若一个对象同时具有旋转、镜面与反演等元素，其对称性通常更高。
3.3 32种晶体点群
晶体点群是晶体学中用于描述晶体外部对称性的 32 类有限点群。它们与晶体内部周期性结构相协调，是晶体分类的重要基础。
这 32 种点群既反映了空间对称的多样性，也受到晶格周期性限制，因此数量是固定的。它们在晶体学中具有核心地位。
3.3.1 晶系划分
晶体点群通常按晶系进行划分，如三斜、单斜、正交、四方、三方、六方和立方等。不同晶系对应不同的主对称轴和外部几何特征。
晶系划分有助于把复杂的点群系统化整理，使其与晶体形态、轴系设置和对称元素联系起来。这样可以更方便地进行分类与比较。
3.3.2 对称元素组合
晶体点群的差异主要来自旋转轴、镜面、反演中心等对称元素的不同组合。某些元素可以共存，而某些组合则受到晶体学规则限制。
通过分析对称元素的搭配方式，可以明确某一晶体属于哪一类点群。对称元素组合是晶体外形判断的关键依据。
3.3.3 赫尔曼-莫甘记号
赫尔曼-莫甘记号是晶体学中常用的点群与空间群表示法。它通过简明符号表达对称元素及其方向关系。
该记号具有高度概括性，便于在晶体学文献和表格中使用。它使点群的表达更为统一，也更适合工程与实验分析。
3.4 特殊高对称点群
特殊高对称点群指具有较多对称元素、对称性较高的点群。它们常见于规则多面体和理想化结构中。
这类点群在几何与物理中都很重要，因为高对称性往往带来更强的结构规则性与更简洁的数学性质。
3.4.1 正四面体对称
正四面体对称描述正四面体及相关结构的对称性。其特点是绕特定轴旋转后可重合，并具有较为丰富的空间置换方式。
这种对称类型在多面体几何和分子模型中常被作为典型案例。它体现了三维高对称结构的基本特征。
3.4.2 正八面体对称
正八面体对称对应正八面体或立方体等具有高度规则关系的结构。由于二者在对称性上密切相关，因此常被放在同一高对称体系中讨论。
该类对称包含多种旋转轴和镜面对称，是立体几何中最典型的高对称实例之一。其结构规律性非常明显。
3.4.3 正二十面体对称
正二十面体对称是高度复杂而又极为规则的点群类型。它与正二十面体、正十二面体等结构相关联。
这类对称在几何上极具代表性，但在晶体周期结构中较难直接实现。因此它更多出现在理想多面体、数学模型与某些特殊分子结构中。
4 表示与性质
4.1 共轭类与类方程
共轭类是群论中将结构相近的元素归为一组的方式。在点群研究中，共轭类常反映对称操作在群内的等价地位。
类方程则是将群的元素按共轭类分组后得到的数量关系。它有助于分析点群的结构复杂度，并为角色表构造提供基础。
4.2 角色表
角色表是研究点群表示的重要工具。它将群元素的共轭类与表示中的角色值系统列出，便于比较不同表示之间的关系。
在对称分析中，角色表可以帮助判断某些模式是否属于某一不可约表示，也可用于分解复杂表示。它是群表示论中的核心表格之一。
4.2.1 角色的定义
角色是表示矩阵的迹，用于概括一个群元素在某个表示下的整体作用特征。由于迹对相似变换不变，角色具有良好的分类意义。
角色值往往比完整矩阵更简洁，却能保留许多关键信息。因此它成为研究点群表示时最常用的数值特征之一。
4.2.2 角色表的构造
角色表通常按照共轭类排列群元素，再将各表示对应的角色值逐项填入。这样可形成整齐的二维表格结构。
构造角色表需要利用群的共轭关系、正交关系以及已知表示信息。对于较小点群，角色表往往可以完整列出并直接应用。
4.2.3 表示的约约化
表示的约化是将一个较大的表示分解成若干不可约表示的过程。它揭示了复杂对称作用背后的基本成分。
在点群理论中，约化常用于分析振动模式、电子态或张量分量。通过约化，可以把复杂问题转化为若干标准模块的组合。
4.3 不可约表示
不可约表示是不能再进一步分解为更小表示的基本表示。它们是点群表示论中的“原子单位”。
研究不可约表示能够把群的对称结构提炼为最基本的类型。任何有限表示通常都可以分解为这些基础构件的直和。
4.3.1 一维表示
一维表示是把群元素映射为一维标量的表示。它结构简单，通常用来描述最基本的对称响应。
在点群中，一维表示常对应不发生混合的简单对称模式。它们在某些振动分析和函数分类中非常方便。
4.3.2 高维表示
高维表示是指表示空间维数大于一的情形。它们能够描述更复杂的对称作用，例如多个分量之间的相互混合。
高维不可约表示在物理和化学中常与简并现象相关。它们说明某些状态在对称作用下不是单一变量，而是成组变化。
4.4 群作用下的不变量
不变量是指在群作用下保持不变的量或函数。对点群而言，不变量能够反映对象在对称变换下稳定保留的性质。
通过寻找不变量，可以识别哪些结构特征不会因对称操作而改变。这对于几何分类和物理建模都十分重要。
4.4.1 不变多项式
不变多项式是在群作用下形式不变的多项式。它们常用于描述几何量或物理量的对称组合。
这类多项式可以作为研究对称结构的代数工具。通过它们，可以构建具有特定对称性的函数与方程。
4.4.2 对称函数
对称函数是在变量置换或群作用下保持不变的函数。它们广泛出现在代数、组合与物理问题中。
在点群语境下，对称函数常用于刻画对象的整体响应，而不依赖于单个坐标的具体标记方式。它们体现了“只看整体，不看局部标签”的思想。
4.4.3 选择定则
选择定则是指由对称性决定的允许或禁止的过程规则。它说明某些跃迁、耦合或变化因对称不匹配而无法发生。
在点群理论中，选择定则常借助表示与不变量来推导。它使对称性不仅成为分类工具，也成为预测工具。
5 应用领域
5.1 几何学中的应用
点群在几何学中主要用于图形分类与对称分析。它帮助研究者根据对称特征识别图形的类型，并比较不同图形之间的结构关系。
由于点群能够将直观几何性质转化为代数语言，因此在多边形、多面体以及空间图形研究中都非常实用。
5.1.1 图形分类
通过点群，可以把平面或空间图形按对称类型进行归类。不同对称性的图形会归入不同的群，从而形成系统化分类。
这种分类方法比单纯依赖外观描述更精确，也更便于数学表达。它为图形识别和结构比较提供了统一标准。
5.1.2 多面体对称
多面体对称是点群理论的重要应用对象。正多面体及其变形体常具有明确的旋转、反射与反演特征。
分析多面体对称有助于理解其面、棱、顶点之间的对应关系。它也是高对称点群的重要来源。
5.2 晶体学中的应用
在晶体学中，点群用于描述晶体外形的对称性，并与晶体内部周期结构相配合。它是晶体分类和结构推断的基础工具之一。
晶体点群帮助研究人员判断晶体外形可能呈现的几何规则，并将实验观察与理论分类对应起来。
5.2.1 晶体外形分类
晶体外形常表现出某些固定的对称面、对称轴或中心。点群可据此对晶体外形进行分类。
这种分类方式在矿物学和材料观察中十分实用。它将肉眼可见的几何特征与严格的群结构联系起来。
5.2.2 点群与晶体系统
点群与晶体系统之间存在对应关系。不同晶体系统允许的对称元素组合不同，因此其可出现的点群也不同。
这种对应关系使得晶体学中的结构分析更具条理。通过点群，可以进一步理解晶格与外形之间的联系。
5.3 分子对称性
点群在分子对称性研究中极为重要，常用于描述分子构型、振动和光谱性质。分子的对称元素决定了它属于哪类点群。
通过点群，分子的几何形状可以被标准化地表示，从而便于比较不同分子的对称特征。
5.3.1 分子的对称元素
分子的对称元素包括旋转轴、镜面、反演中心等。它们共同决定了分子所对应的点群类型。
对称元素的识别是分子结构分析的第一步。通过这些元素，可以快速判断分子的整体对称水平。
5.3.2 振动模式分析
分子的振动模式可以按点群的不可约表示进行分类。不同振动方式在对称性上往往有不同归属。
这种分析有助于理解分子内部原子如何协同运动。也为进一步研究热运动、红外响应等提供基础。
5.3.3 光谱选择定则
点群对光谱选择定则具有决定作用。只有满足特定对称条件的振动或跃迁，才会在某些光谱中表现出来。
因此，点群不仅能解释光谱为何出现某些峰，也能说明某些信号为何缺失。它为实验谱图分析提供了理论依据。
5.4 物理与材料科学
在物理和材料科学中，点群用于描述对称性对宏观与微观性质的影响。许多物理量的可允许形式，都受到点群限制。
借助点群，可以分析材料中电子、振动、弹性与相变等现象中的对称规律。
5.4.1 能带与简并
在固体物理中，点群对能带结构和能级简并有重要影响。高对称性往往会导致某些态出现简并。
对称性越强，允许的能态结构越受限制。点群分析因此成为理解能带特征的重要工具之一。
5.4.2 张量性质
许多物理性质可用张量描述，而张量的可允许分量常受点群约束。对称性会消去某些分量，并保留另一些分量。
这使得点群在压电、热学、光学和弹性性质研究中都很有价值。它能帮助判断某种材料可能表现出的响应形式。
5.4.3 相变中的对称性分析
相变过程中，体系的对称性可能发生变化。点群可用于比较相变前后对称性的高低与差异。
通过这种分析，可以识别哪些结构变化对应对称性的降低或重组。它为理解材料的结构转变提供了清晰框架。
6 相关概念
6.1 空间群与点群的区别
点群只考虑围绕固定点的对称操作，不涉及平移；空间群则同时包含平移与点对称操作。前者主要描述局部或外形对称，后者更适合处理周期结构。
因此，点群可看作空间群中去掉平移后剩余的部分。两者在晶体学中相互关联，但关注重点不同。
6.2 对称群与变换群
对称群强调保持对象不变的变换集合，而变换群是更广义的概念，包含对某空间进行各种可逆变换的群。点群属于对称群的一种。
二者的差别主要在于是否与具体对象的“不变性”直接相关。对称群更强调几何或结构上的稳定性。
6.3 旋转群与正交群
旋转群由所有保持方向与距离的旋转组成，主要体现纯旋转对称。正交群则更宽泛，包含所有保持内积的线性变换，其中也包括反射。
点群中的许多元素可以嵌入正交群框架中理解。这样可以把对称操作放入统一的线性代数结构里讨论。
6.4 射影与仿射对称的比较
射影对称与仿射对称关注的是更一般的几何不变性，分别侧重共线性、交比或平行性等性质。与点群相比，它们通常不要求保持距离。
点群属于欧氏对称的一部分，强调刚体式的不变性；而射影和仿射对称则更抽象，适用于更广泛的几何变换环境。
7 历史与发展
7.1 早期几何中的对称观念
对称观念最早来自古典几何与艺术装饰，人们很早就注意到图形在折叠、旋转后的重复一致性。此时的对称更多是经验性的视觉判断。
随着几何研究的发展，关于轴对称、旋转对称等概念逐渐被形式化，为后来的群论语言奠定了基础。
7.2 群论的形成
群论起初源于代数方程和变换研究，后来发展为独立的抽象数学分支。对称性被纳入群的框架后，几何和代数之间建立了紧密联系。
这一发展使得点群不再只是“对称动作的集合”，而成为可以系统研究、分类和应用的代数对象。
7.3 晶体学中的点群研究
晶体学的发展推动了点群分类的完善。研究者发现，晶体外形的对称性受到严格限制，因此需要一套精确的群分类体系。
32 种晶体点群的建立，是晶体学中一个重要成果。它使晶体外形与对称元素之间的关系得以标准化表达。
7.4 现代数学与物理中的拓展
在现代数学与物理中，点群已不只是晶体学工具，还广泛出现在表示论、分子光谱、材料物性与计算模拟中。其研究方法也不断与线性代数、泛函分析和几何理论结合。
随着应用领域扩展，点群的概念更加精细化，相关算法与符号系统也更加成熟。它仍然是描述对称性最基础且最常用的数学语言之一。