【Applied Algebra】物理学中的群论漫谈1:群论基础

最新推荐文章于 2024-07-02 00:45:09 发布

hanss2

最新推荐文章于 2024-07-02 00:45:09 发布

阅读量860

点赞数 1

分类专栏：代数文章标签：算法

本文链接：https://blog.csdn.net/hanss2/article/details/128494813

版权

代数专栏收录该内容

20 篇文章 11 订阅

订阅专栏

物理学中的群论漫谈1:群论基础与希尔伯特空间

我准备开一个新系列谈谈群论在物理学中的应用,这样有两个好处:一是可以明白群论以及相关数学概念的具体应用,以此来举一反三懂得这些理论工具如何使用;而是可以通过这样的应用例子反过来更好地理解这些代数概念;参考书是约什(A.W.Joshi)的<<物理学中的群论基础>>,因此符号我们沿用这本书的习惯.

在这里插入图片描述

群理论

一个群是一些不同元素的集合, $\equiv\{E, A$ , $\cdots\}$ , 这些元素被赋予一合成法则(如加法, 乘法, 矩阵乘法等),满足下列性质:

i) $G$ 中的任意两个元素 $A$ 和 $B$ 在给定法则下合成得到的元素仍然属于 $G$ , 即

$\circ B \in G, \forall A, B \in G$

这一性质叫做群的封闭性;

ii) 存在单位元素(单位元或恒等元) $\in G$ , 使得对所有的 $\in G$ :

$\circ A=A \circ E=A$

iii) 对任意元素 $\in G$ , 存在一个唯一的元素 $\in G$ , 使得

$\forall A \in G: \exists B \in G \ni A \circ B=B \circ A=E$

$B$ 叫做 $A$ 的逆 (逆元), $A$ 也叫做 $B$ 的逆.

iv) 群元素的合成法则满足结合律, 即对任意 $A, B$ , $\in G$ :

$\circ(B \circ C)=(A \circ B) \circ C, \forall A, B, C \in G$

(变换群) 物理学家特别感兴趣的是物理系统的变换群.使物理系统保持不变的变换叫做系统的对称变换.例如,一个圆绕通过其中心并垂直于圆平面的轴的转动是它的对称变换.在一个分子中,两个相同原子的置换对分子来说也是对称变换.

在这里插入图片描述

现在我们考虑对如上标记过各点位置的正方形进行变换的群,也就是如下这样的群(读者可以尝试根据定义验证这是一个群,证明留作习题):

在这里插入图片描述

比如我们可以验证 $\sigma_u C_4=m_x$ :

在这里插入图片描述
还有比较复杂的运算比如逆元 $C_4)^{-1}=C_4^3$ 或结合律 $C_4 C_4^3=C_4^3 C_4=E$ :

在这里插入图片描述

考察如下的群元素关系:

$A^{-1}BA=C$

其中 $A$ , $B$ 和 $C$ 是群的元素.当两元素 $B$ 和 $C$ 之间存在这样的关系时,它们叫做共轭元素,上述运算叫做 $B$ 通过 $A$ 的相似变换.显然:

$ACA^{-1}=B$

不难得出 $C_{4v}$ 群元素之间的这种关系.例如:

$C_4^{-1} m_x C_4=m_y$

这表明 $m_x$ 和 $m_y$ 互为共轭.共轭在矩阵论里其实就对应了相似矩阵,而在离散数学里我们也学过二元关系,其实共轭就是群上的一种二元关系;那么类比二元关系和划分的概念可知, 可以把一个群化分成一些集合, 使得每一集合中的所有元素都相互共轭, 但属于不同集合的两元素互不共轭. 这样的集合叫做群的共轭类或简称类. $C_{4 v}$ 的类(划分)是: