第 4 节 酉群.docVIP

4.1连续群 1 4.2一般线性Lie群 5 1. 群 5 4.3 其他常见Lie群 10 4.4 Lie代数 13 4.1连续群 1.概念 群元参数化 群的元素由个参数决定，即，则群的乘法 , 参数之间的关系 参数空间和群流形 单位元 个参数的变化产生整个群流形 连通性 通过参数的连续变化可以把任何两个群元联系起来 Lie群 连续群中全部连续可微，则该连续群构成Lie群。 ， 单位元 a-1 封闭性 a-2 逆元 a-3 结合律 a-4 满足（a-1---a-4）的条件的连续群为Lie群 紧致Lie群，参数有一有限取值范围 单Lie群，没有非平凡的真子群的Lie群 半单Lie群，没有非平凡的Abel真子群的Lie群 2.无穷小Lie群的生成元 无穷小群：Lie群的单位元邻域 ， 无穷小群生成元 交换子与结构常数 （1） （2） 所以 有限群元的生成 ， 3.变换群 变换群：维Lie群，维线性空间，，， 对连续可微函数的影响， ， 算符集为Lie群的一个线性表示，称之为变换群。 无穷小算符 为Lie群在复线性空间上的一个酉表示，则， 无穷小算符， 无穷小算符为anti-hermitian，也就是 证明： 生成元 Lie群的秩 彼此对易的生成元的最大数目 例：有三个生成元的Abel平移群 ，，秩=3 Casimir算符（不变算符） 由生成元的函数生成的与所有生成元都对易的算符，其中，，，。同一Lie群的Casimir算符形式不唯一。Casimir算符的本征值组唯一的表示群的多重态。 多重态：（来源于光谱学）不变子空间由Casimir算符来表征 群的卡西米尔算子有个 例：角动量算符 Casimir算符 Racah定理 秩为的任何半单Lie群存在一组个独立的Casimir算符。 另一种阐述：秩为的任何半单李群存在一组个独立的卡西米尔算符，这些卡西米尔算符彼此对易，同时卡西米尔算符的本征值唯一的表示群的多重态 Cartan判据： Lie代数半单，当且仅当，其中。 任何半单Lie代数都有的Casimir算子 Lie氏定理： Lie群的无穷小算符满足下式 ； 空间反厄米算符满足下式 则存在一个维局部Lie群，以为其无穷小算符。 4.2一般线性Lie群 群 1. 群 群 计算无穷小算子 法1， ，为无穷小矩阵 无穷小算符， 无穷小算符为anti-hermitian，也就是 ，对角元为0 ， 法2 群的元素可以用来标记（为转动角，是转角）， ①取转轴分别为，则绕此三轴转动分别为 ，， ，， ，， 角动量 （欧拉角描述 ②实酉矩阵 2.群 酉群与群 的幺正矩阵 ① ， ② ，， ， ③ 酉群与特殊酉群的联系 任意矩阵 可以集合（为群的生成元）中各元为基展开， ， ， 群 ， 生成元和无穷小算符都是零迹 所以群的三个生成元可以取为3个Pauli矩阵 ，， 任意一个二阶0迹hermitian矩阵可以用生成元展开 3. 群与群的关系 令 ，， ， （*） 所以 由（*）式可得 任意群元可以写为 取，则 ，则 ， 使得 所以 为满同态 同态核 所以同态核，为2对1同态 4.不可约表示 定义矩阵即为其一个二维忠实表示，其表示空间为2维复向量空间 齐次函数空间， 可以证明 所以是群的一个表示 为群的酉表示 引理1：矩阵，，，则。 证明： 引理2：矩阵，，，中有一列不含0，则必有。 证明： ， 证明表示不可约 证明： ， 对任意都成立 当时，有 当 第一列都不为0， （#） 假设可约，，则， 使得，与公式（#）矛盾 所以不可约 ，， 等价类 ，， 与为同一共轭类 类函数全体组成类函数空间完备系。 由类函数空间完备性定理可知 包括了群的全部不等价不可约酉表示 例 ，表示空间为1维，，1维恒等表示 ，表示空间为2维，，2维表示 ，表示空间为3维，，3维表示 所以群的表示可以分为： 奇表示 ， 偶表示 ， 5. 群的表示 ，所以可以由的任一表示得到的一个表示， ， 但的任一表示不一定是的表示 的偶表示 ，，我们取 为的一个单值表示 当时 不是的一个表示 此时 可以定义双值表示 代入下式 得到群的不可约酉表示 例子 ，时 1维恒等表示 时，2维表示 时，3维表示 4.3 其他常见Lie群 群与群 群为紧致实3维欧氏空间的正交变换群 其中，， 生成元记为， 群为非紧致群 其中， 生成元记为， 二者可以写成 ， Casimir算子 表示 旋量表示 Boson表示 Lie群 集合G满足如下条件 G是一个群 G是一个解析流