李群 (Lie group)

别名：Lie groups

按作者与版本查阅

以下按已登记位置排列。出现顺序、原文引用与已登记依赖分别展示；最早位置不代表全书首次定义。

Szekeres · source-snapshot-bc3404156f6e

已登记出处中的最早位置：§19.1 · zh-CN。

位置	语言	登记角色
§19.1	zh-CN · 英文上下文	术语出现
§19.1	en · 中文上下文	术语出现

来源短摘录与定位

§19.1 · zh-CN · translation · unreviewed

在第 10.8 节中，我们将拓扑群定义为一个群 $G$，它同时也是一个拓扑空间，使得映射 $\psi :(g,h)\mapsto g{h}^{-1}$ 连续。如果 $G$ 具有可微流形的结构且 $\psi$ 是光滑映射，则称其为 李群(Lie group)。第 10.8 节中给出的用以证明映射 $\varphi :(g,h)\mapsto gh$ 和 $\tau :g\mapsto g^{-1}$ 均连续的论证，可以容易地推广以证明在李群的情形下二者均可微。映射 $\tau$ 显然是 $G$ 的微分同胚，因为 ${\tau }^{-1}=\tau$。李群理论中证明的细节有时会变得相当技术化。当完整证明不具过多启发性时，我们常常 采用 概述性的证明。细节可在许多文献中找到，例如 [1–7]。沃纳 [6] 在这方面特别有用。

§19.1 · en · original_transcription · unreviewed

In Section 10.8 we defined a topological group as a group $G$ that is also a topological space such that the map $\psi :(g,h)\mapsto g{h}^{-1}$ is continuous. If $G$ has the structure of a differentiable manifold and $\psi$ is a smooth map it is said to be a Lie group. The arguments given in Section 10.8 to show that the maps $\varphi :(g,h)\mapsto gh$ and $\tau :g\mapsto g^{-1}$ are both continuous are easily extended to show that both are differentiable in the case of a Lie group. The map $\tau$ is clearly a diffeomorphism of $G$ since ${\tau }^{-1}=\tau$ . Details of proofs in Lie group theory can sometimes become rather technical. We will often resort to outline proofs, when the full proof is not overly instructive. Details can be found in a number of texts, such as [1–7]. Warner [6] is particularly useful in this respect.

Woit · 2025-10-20

已登记出处中的最早位置：§1.1 · zh-CN。

位置	语言	登记角色
§1.1	zh-CN · 英文上下文	术语出现
§1.3	zh-CN · 英文上下文	术语出现
§2	zh-CN · 英文上下文	术语出现
§4.6	zh-CN · 英文上下文	术语出现
§5.6	zh-CN · 英文上下文	术语出现
§5.6	en · 中文上下文	术语出现
§6.1	zh-CN · 英文上下文	术语出现
§6.1	en · 中文上下文	术语出现
§6.2	zh-CN · 英文上下文	术语出现
§6.2	en · 中文上下文	术语出现
§6.3	zh-CN · 英文上下文	术语出现
§6.3	en · 中文上下文	术语出现
§16	zh-CN · 英文上下文	术语出现
§16	en · 中文上下文	术语出现

来源短摘录与定位

§1.1 · zh-CN · translation · unreviewed

外尔（Weyl）关于经典系统量子化的洞见——关键在于理解作用在经典相空间上的李群(Lie group)，以及这些群的酉表示(unitary representation)——已被后来的发展所印证；这些发展极大拓展了相关思想的应用范围。利用表示论来发掘问题的对称性已成为一种强有力的工具，在科学的许多领域而不仅仅是量子力学中得到了应用。我希望那些主要兴趣在物理学的读者能够学会欣赏标准教科书计算背后的一些此类数学结构，帮助他们理解如何在其他情境中有效地利用它们。那些主要兴趣在数学的读者则有望获得对基础物理学的一些理解，同时看到群与表示的一些关键例子。这些应为欣赏该学科更抽象的表述——标准数学课程的一部分——提供良好的基础。任何对基础物理学与数学的关系、以及尤金·维格纳（Eugene Wigner）所称的“数学在自然科学中不合理的有效性”[102]感到好奇的人，都应从接触这个处于两个学科交叉点的非凡故事中受益。

§1.3 · zh-CN · translation · unreviewed

若群的元素只有有限多个，就称为有限群(finite group)。有限群理论及其在量子力学中的应用已相当成熟，但本书大多略过这一主题，转而研究元素个数无限的李群(Lie group)。李群的元素构成某个维数的几何空间；选取局部坐标后，群运算由可微函数给出。本书讨论的大多数李群都是矩阵群(matrix group)，也就是由 $n\times n$ 可逆实矩阵或复矩阵构成的矩阵群的子群。此时群乘法就是矩阵乘法。一个将详细讨论的例子是三维空间中绕某一点旋转所构成的群；这些旋转可以表示为 $3\times 3$ 矩阵，旋转的复合对应矩阵乘法。

§2 · zh-CN · translation · unreviewed

最简单的李群(Lie group)例子是平面的旋转群，其元素由单个参数即旋转角$\theta$来参数化。将这类群元素识别为复平面中的单位向量 $e^{i\theta }$，会更方便。该群即圆群(circle group)，记作 $U(1)$；这是因为这样的复数可视为 $1\times 1$ 的酉矩阵。我们将在本章中看到第1章所描述的一般图景如何在这个简单情形中实现。状态空间将是 $U(1)$ 群的酉表示(unitary representation)，并且我们将看到任何这样的表示都分解为一系列一维表示之和。这些一维表示由整数 $q$ 标记；这些整数是自伴算符 $Q$ 的特征值，而 $Q$ 是量子理论中的一个可观测量。

§4.6 · zh-CN · translation · unreviewed

同理，$L$ 的矩阵的行向量也构成正交归一组。由于这类保持内积的线性变换可以复合且可逆，它们构成一个群；实向量空间与复向量空间上的这类群，是李群(Lie group)的基本例子。

§5.6 · zh-CN · translation · unreviewed

正文请在原位置阅读；长段落、数学边界或未定位引用不截断嵌入，精确范围与指纹保存在结构化索引。

§5.6 · en · original_transcription · ai-transcription-compared

正文请在原位置阅读；长段落、数学边界或未定位引用不截断嵌入，精确范围与指纹保存在结构化索引。

§6.1 · zh-CN · machine_draft · machine-draft-not-reviewed

正文请在原位置阅读；长段落、数学边界或未定位引用不截断嵌入，精确范围与指纹保存在结构化索引。

§6.1 · en · machine_draft · machine-draft-not-reviewed

正文请在原位置阅读；长段落、数学边界或未定位引用不截断嵌入，精确范围与指纹保存在结构化索引。

§6.2 · zh-CN · machine_draft · machine-draft-not-reviewed

李群(Lie group) $\mathrm{Spin}(n)$ 的维数与 $\mathrm{SO}(n)$ 相同，且在单位元处的切空间同构，因此二者的李代数也同构：$\mathfrak{so}(n)\cong \mathfrak{spin}(n)$。

§6.2 · en · machine_draft · machine-draft-not-reviewed

The Lie group $\mathrm{Spin}(n)$ has the same dimension as $\mathrm{SO}(n)$ and an isomorphic tangent space at the identity. Therefore their Lie algebras are isomorphic: $\mathfrak{so}(n)\cong \mathfrak{spin}(n)$.

§6.3 · zh-CN · machine_draft · machine-draft-not-reviewed

总之，我们已经说明，在三维情形下有两个不同的李群(Lie group)：

§6.3 · en · machine_draft · machine-draft-not-reviewed

To summarize, we have shown that in the three-dimensional case there are two distinct Lie groups:

§16 · zh-CN · machine_draft · machine-draft-not-reviewed

李代数 $\mathfrak{sp}(2d,\mathbf{R})$ 中的元素 $L$ 与相空间 $M$ 上二次多项式 ${\mu }_L$ 之间的对应，正是辛群 $\mathrm{Sp}(2d,\mathbf{R})$ 作用于 $M$ 的矩映射。量子化这些二次函数，可得到与任意李子群 $G\subset \mathrm{Sp}(2d,\mathbf{R})$ 对应的量子可观测量；这里的李子群 $G$ 是指在线性作用于 $M$ 并保持其辛形式的李群(Lie group)。这些可观测量未必都是对称性。此处“对称性”通常指由某个 ${\mu }_L$ 量子化而来的可观测量，且该函数满足 $\{{\mu }_L,h\}=0$，其中 $h$ 是哈密顿函数。

§16 · en · machine_draft · machine-draft-not-reviewed

The correspondence between an element $L$ of $\mathfrak{sp}(2d,\mathbf{R})$ and a quadratic polynomial ${\mu }_L$ on phase space $M$ is the moment map for the action of $\mathrm{Sp}(2d,\mathbf{R})$ on $M$. Quantizing these quadratic functions gives quantum observables associated with any Lie subgroup $G\subset \mathrm{Sp}(2d,\mathbf{R})$, that is, any Lie group acting linearly on $M$ and preserving its symplectic form. These observables need not be symmetries. Here, “symmetry” usually means that the observable comes from quantizing some ${\mu }_L$ satisfying $\{{\mu }_L,h\}=0$, where $h$ is the Hamiltonian function.

原文中已定位的引用（不自动视为依赖）

• href=”../chapter-10/08-topological-groups#section-10-8”
• href=”../chapter-10/08-topological-groups#section-10-8”
• [<u class=“concept-term” data-concept-reference=“source-block-1062” data-concept-identity=“urn:uuid:8c364498-0e05-4c91-8fd7-1730d6e8656e” data-concept-route=“/concept-identities#concept-8c364498-0e05-4c91-8fd7-1730d6e8656e” id=“first-e952a0fbafb6add3a4d3-zh”>李群(Lie group)</u>](./03-unitary-group-representations#source-block-1062)
• [<span id=“first-851e0548d24298e19cdf-zh” class=“block-anchor”></span><u class=“concept-term” data-concept-reference=“concept-1-unitary-representation” data-concept-identity=“urn:uuid:8adb7f10-55df-4db3-bbdc-c44765232a11” data-concept-route=“/concept-identities#concept-8adb7f10-55df-4db3-bbdc-c44765232a11” id=“first-851e0548d24298e19cdf-group-zh”>酉表示(unitary representation)</u>](./03-unitary-group-representations#concept-1-unitary-representation)
• [第1](../chapter-01/index#section-1)

来源覆盖、定位与记录

索引保留所有已登记出处，不受模型材料包八小节限额影响。中英上下文按已登记的书、版次与小节配对，不冒充另一语言的概念定义。没有穷尽全书未标记的术语；程序校验不提升原著或译文审阅资格。

登记位置 16；当前可定位出现 16。

永久身份：urn:uuid:8c364498-0e05-4c91-8fd7-1730d6e8656e。

身份历史 · 结构化来源索引