群论 (Group Theory) 终极速成 / 物理系零基础火箭级 notes - 知乎

群论 (Group Theory) 终极速成 / 物理系零基础火箭级 notes

from 专栏 物理中涉及的数据处理方法

话题:

群论, 理论物理, 東雲正樹, 物理中涉及的数据处理方法

東雲正樹

東雲正樹 物理学话题下的优秀答主

drdr xp、invalid s、赵泠、edmond、PeaucellieRay 等 1,934 人赞同了该文章

Breaking news, 我懒得专门写 李代数的代数性质 了, 给大家推一个更高级[1]的专栏: 关于你转生成为物理学家这档事

你永远可以相信鲁鲁修老师 [2].

序言

整个群论系列会时常更新, 增删内容之类, 因为很难一次性完美甄别哪些内容才是必要的.

群论? 别担心, 因为我的数学也都是云的, 所以方法都很初等, 记号都不吓人, 可读性很高.

说来你可能不信, 但本文真能让不懂拓扑与流形的人通过半几何半代数的观点来直观理解李群.

群论, 它好就好在不枯燥. 呃有限群比较无聊[1], 我就只挑着有意思的部分讲讲罢, 而李群的话可以说是我学过的最有趣[2]的内容之一了, 实际上物理系的优势就是可以只白嫖有趣的部分.

我见过的把群论讲的最通俗的材料是哪篇? 答曰: 北大李新征老师的群论一. -- 备忘 数学物理科普书收集
┣ 但很遗憾, 这篇讲义并不涉及李群, 老凝聚态了我感觉.
┗ 所以如果前六章觉得我的 notes 有任何问题都可以去翻翻这篇讲义再学习一个.
要觉得我写的李群有问题, 你可以试试 A. Zee 的那本, 不过这本书不太适合查阅[3].
┣ A. Zee 书和国内的词典书是正好相反的两个极端, 就是零零散散地东讲点儿西讲点儿,
┗ 确实很适合初学者, 但是整体结构会给人感觉有些杂糅, 而且好像不太重视数学严谨[4].
顺带一提我这个系列的目标就是写一份中西结合的, 即适合查阅[5]又对新手友好的讲义.

前面几章要无中生有地建立群的概念所以会稍微细点儿. 总的来说前三章的目的就是讲清楚 [群是什么], 四到六章就是讲述 [群表示是什么], 前六章总的来说就是介绍 (有限) 群与群表示的结构与重要性质. 而掌握了这些基本常识之后第七章可以开始介绍李群与李代数了, 相信这是相当一部分人看本文的目的, 所以这之后的主要内容基本都是 [定义一个李群] 与 [介绍该李群性质上的重要结论].

而李群部分将先把常用李群的定义都摆出来以便查阅, 然后再具体介绍它们. 但我不可能逐个李群详细介绍, 这里毕竟不是 Wikipedia. 我会着重地介绍 群, 因为它在物理中的用途十分广泛然后又十分简单而又不至于过于 trivial, 然后我会较为详细地介绍描述三维实空间旋转的 群, 因为它与 组合起来可以诱导出很多巨妈有趣且重要的概念, 比如说旋量、二重覆盖与共用李代数等等. 在介绍的过程中很自然地会引出类似于李群上的积分或杨图等概念, 因为研究李群的性质时不可避免地会用到这些工具.

不过比起事无巨细地去记录群的所有结论, 本文更重要的职能是介绍相关概念的由来与概念之间的联系以及如何去理解最重要的结论与其证明过程. 还是那句老话, 授人鱼我还不如直接教你怎么亲自抓鱼嘛. 这样对于我没介绍到的群, 你要想了解的话就完全可以自己自学了, 因为说到底李群 (在物理中广泛用到的) 就那么几个性质, 真要介绍起来也会和介绍 与 的过程极其类似, 所以实在是没有必要写出来了, 但我有可能写写洛伦兹群与它的覆盖群, 因为这会对后面写量子场论的 notes 有大作用.

然后就是李代数吧, 我终于还是打算先些李群对应的李代数然后把李群讲完了之后再写作为独立数学对象的李代数.

如果你根本用不上李群, 那应该只用看前六章吧, 无论你是想学习有限群还是无限群这些都是必须要掌握的最基础的东西, 我愿称之为常识.

你会发现我前面几章很少画图, 我一开始是想画点儿图的, 但越写越觉得前面几章太直观, 实在是没什么理由放张图上去啊, 现在反倒是想不通为何那些教科书上那么多图, 难道不直观?

后面几章会有点儿图, 都是我亲手画的, 靠腰我图真的画的超妈漂亮[6].

你会发现我在直积直和上没怎么下功夫, 因为用不着, 不会碰到太复杂的概念的, 半直积我直接提都不提, 搞物理很少听说用到吧, 用到了你再现场去学也不迟反正.

下面极其极其粗略地介绍一下, 即使有看不懂的地方也没关系, 文中用到的话我会再详细解释.

直积生成有序元素组: .

这玩意儿也叫 Cartesian product, 说白了就是打包处理, 并没有给予任何额外的操作.

张量积 (和直积不是一回事) 构造高阶张量: .

张量积的矩阵表述就是:
.
.
.
[7].

直和就是互不干扰的空间拼贴:

直和的矩阵表述就是:
.
.
.
.
这究竟是怎么贴的? 呃··· 用心, 用心去感受[8].

目录里的全都是重点, 因为是火箭级速成, 所以稍微没那么重要的群论内容我全都砍掉了.
所以你只可能会少学了些什么, 而绝对绝对不可能在本系列中学到用处不大的知识.

推荐一篇 前置内容, 对基本的代数结构的理解很有帮助, 当然不看也不影响看这个群论系列. -- 前置内容 从映射到张量

目録

1. 群的基本概念

1.1. 群的定义
1.2. 重排定理
1.3. 子群
1.4. 陪集定理
1.5. 群内的共轭关系
1.6. 商群

2. 同态与同构

2.1. 同态与同构的定义
2.2. 同态核定理

3. 群作用与变换群

3.1. 左右作用与伴随作用
3.2. 变换群 (置换群) 与自同构映射群
3.3. 确定变换群下的概念

[附录A] 映射

[附录B] 等价关系与等价类

4. 群表示理论

4.1. 群表示
4.2. 忠实 幺正 正则
4.3. 群代数
4.4. 类函数
4.5. 等价表示
4.6. 不可约表示
4.7. Schur 引理一
4.8. Schur 引理一的推论
4.9. Schur 引理二
4.10. 群中心, ker R 与忠实性

[附录C] 线性空间, 线性变换与内积

[附录D] 有限高维空间往低维空间线性映射

[附录E] 复空间线性变换至少有一个非零本征矢

5. 群表示论下的正交性与完备性

5.1. 特征标的基本属性
5.2. 表示矩阵元的正交性
5.3. 特征标的正交性
5.4. 插曲 A - 可约表示的分解
5.5. 表示矩阵元的完备性
5.6. 插曲 B - Ad 分解
5.7. 特征标的完备性
5.8. 完备性关系式

6. 新表示的构成

6.1. 群表示的张量积
#这里将来或会扩充一些内容#

[附录F] 仅在 μ 行 ν 列为 1 其它位置均为 0 的矩阵

[附录G] 矩阵和矩阵张量积成矩阵的张量积

7. 李群(Lie group)的定义与常见李群

7.1. 一句话概括
7.2. 常见李群

8. 浅谈 与生成元的概念

8.1. 的基本概念
8.2. 的几何描述与泡利矩阵表达
8.3. 中的共轭类
8.4. 李群中的单参子群与生成元的概念

9. 浅谈

9.1. 的基本概念
9.2. 的矩阵表达
9.3. 中的共轭类

10. 与 的梦幻联动

10.1. 群元诱导实三矢量的线性变换
10.2. 梦幻的二重覆盖
10.3. 流形角度的二重覆盖与同伦类
10.4. 转两圈才回到原位

[附录H] 暴力计算

11. 的全体不可约表示

11.1. 的复线性表示
11.2. (暂为雏形)李群上的积分
11.3. 上的积分
11.4. 复线性表示特征标的正交归一性与完备性
11.5. 常见表示简介

[附录I] 为何作用进去的是逆运算

[附录J] 等距作用的概念

12. 的不可约表示

12.1. 的全体不可约表示
12.2. 球谐函数构成 的无穷维表示的基底

12i [9] . 李群的李代数 (Lie algebra)

12i.1. 一般李代数的定义
12i.2. 结构常数与结构张量的概念
12i.3. 李群对应的李代数
12i.4. 引入李代数的目的
12i.5. 常见李群对应的李代数里边儿的都是些啥

14. 伴随表示 (adjoint representation)

14.1. 李群与李代数的表示
14.2. 李群的伴随表示
14.3. 举例 的伴随表示
14.4. 李代数的伴随表示

15. 浅谈洛伦兹群 (Lorentz group)

15.1. 洛伦兹群的定义
15.2. 洛伦兹群对应的流形分为四块儿

16. 洛伦兹代数

16.1. 洛伦兹代数的定义
16.2. 洛伦兹代数的基矢
16.3. 洛伦兹代数的李括号与直和分解

17. 二重覆盖与旋量群 (spin group)

17.1. Previously on AMC's The Double Cover
17.2. 旋量群的基本概念

18. 旋量群的李代数与克利福德代数 (Clifford algebra)

18.1. Clifford 代数的产生
*18.2. 真正的 Clifford 代数[10]
18.3. Clifford 代数与旋量群李代数的关系

19. 神秘莫测的旋量空间 (spinor space)

19.1. 旋量与旋量表示
19.2. 以 与 为例把前文的一切理论都验证一下
19.3. 故 的基本表示就是 的一个旋量表示, 现在来研究一下这个表示空间
19.4. 以自旋空间为例, 演示一下旋量与矢量直接的联系

[附录L] 关于 Clifford 代数的一些江湖传闻

我是真没想到目录会这么长, 我印象中群论的知识点好像也不多来着 (?)

1. 群的基本概念

1.1. 群的定义:

✦ 群 就是定义了二元运算 (称之群乘法) 且满足下列条件的非空集合 [11]

(1). 封闭性: 对 满足 .
(2). 结合律: 对 满足 .
(3). 存在唯一单位元素 使得对 有 .
(4). 对 存在唯一逆元 使得 .

可以看到群运算不要求交换律 , 所以额外满足交换律的群单独被称为阿贝尔群.

以后我验证一个集合是否构成群时基本上都不会把四条全都过一遍, 但跳过仅是因为太显然.

✦ 群 内元素数称之为群的阶数, 记作 , 有限阶的群被称为有限群, 无限阶的群被称为无限群.

为了书写方便, 后面一律约定:

(1). 对元素的操作作用在集合上表示作用在集合内全体元素上的集合.
(2). 集合对元素的操作表示集合内元素分别对元素操作的集合.
例: 对 有

1.2. 重排定理:

✦ 群 中任意元素以相同方式[12]作用在群中所有元素上, 得到的所有结果的集合仍是群本身.
即 .

证明起来很简单:
┣ (1). 显然对 使得 , 只需选 即可.
┗ (2). 显然不会重复, 因为若有 则有 .

1.3. 子群:

✦ 若 且在 的群乘法下也构成一个群, 则称 是 的子群.

构建出的 这样的集合将是 的一个循环子群[13].
┣ 这是显然的, 因为 是必然的, 若 那总还有 , 大不了重排定理.
┗ 当然这里及下面谈的是有限群.
看有人问这里我就再讲清楚一点:
┣ 在幂集合 中, 由群的封闭性可知每一项都一定是本群的成员.
┣ 我们的群元是有限的, 但这个幂是没有上限的, 说明什么?
┣ 说明这个集合里面一定有重复元素吧?
┣ 比如说有 , 那我们就知道一定有 , 现在找到最小的那个 .
┣ 记最小的 就有 , 即 之后就又是 了.
┣ 你再继续排列下去无非又是一次 阶循环, 所以我们称这种为 阶循环群, 老顾名思义了.
┗ 当然这里谈的是有限群.

1.4. 陪集定理(★):

✦ 陪集即由任意固定的 与 的子群 生成的集合, 分为两类, 记号与定义如下:

左陪集: .
右陪集: .
(1). 显然陪集内元素数等于子群的阶, 因为 .
(2). 如果 那陪集就是 本身.

✦ 陪集定理: 的两个左 (右) 陪集要么完全相同, 要么无公共元素.

若 与 有公共元素
┗ 则有 .

陪集定理告诉我们:

(1). 可以用陪集去分割群:
┗ 缺哪个元素就用哪个元素生成左陪集加进去就是了, 因为陪集里一定有这个元素本身.
(2). 子群的阶数必为群阶的因数.
┗ 这由上述分割考虑到陪集定理及陪集内元素数固定这一事实可以显然推知.

-- 见 抽象人的学习笔记：陪集与商群 举例了二维向量群的陪集

1.5. 群内的共轭关系:

✦ 共轭:
对 若 使得 则称 共轭, 记作 .

显然有对称性 ,
┣ 因为 .
┣ 此外还具有传递性, 即 , [14].
┗ 由此我们可以定义等价类. 什么是等价类? 请参考 [附录B].

✦ 共轭类 , 其中 .

前面有利用陪集分割群的做法, 实际上利用共轭类也可以分割群, 但就不是分成等份了.

✦ 正规子群 (不变子群):

若 的子群 中的元素的同类元素[15]都在 内则称 为 的不变子群, 记作 .

正规子群说白了就是用一些共轭类并在一起构成的子群.

若 是 的正规子群则显然对 有 .

不变子群说明对 总存在 既有 .
┗ 所以 包含了所有 , 且无重复, 因为 元素只有 阶数个[16].

✦ 群中心: .

一句话概括就是群里与其它所有群元都对易的那些群元构成的集合叫群中心.
┣ 群中心就是一个群内的阿贝尔群, 同时它也是一个群的不变子群.
┗ 从定义看, 群中心能构成一个子群实在是太过于显然了.

1.6. 商群:

正规子群的最大价值就是用来构建商群.

✦ 设 , 则 的陪集[17] 可以给出分割 此时我们可以将 定义为 关于不变子群 的商群.

注意商群里的每个元素都是一个集合, 当然你也可以记 ,
┗ 就是将每个集合都看作一个点也行, 这样就有 .

这样定义的理由很简单, 因为可以证明 可推出 .

证: .
┣ 从证明过程不难看出一般的子群并不能办到这一点, 因为第二个等号将不一定成立.
┗ 而不变子群怎么取共轭都不会超出自己, 所以我们就可以将其打包起来扔一边儿了.

✦ 为何能确定 一定构成群呢?

如何证明逆元也一定在里面呢?

若分割 则必有 吗? 答案是肯定的.
┣ 你担心的无非就是存在 导致 占了 的位置嘛.
┗ 这个担心其实很多余, 因为这样的 根本就是同一个元素.
实际上商群的意思就是让我们把 里的元素都视为同一点.

如何证明运算的封闭性呢?

对 , 记 ,
则是否必有 呢?
┣ 我觉得蛮显然的, 因为最初肯定有
┣ 则把 写成 时,
┣ 也是存在 这一项的, 如果这一项消失了, 只有可能是因为存在 ,
┗ 不过这样也没啥, 因为反正 , 所以谁留在 都一样.

总的来说就是将不变子群打包放一边, 得到的商群就是以不变子群作为群元单位的一个超结构.
或者说商群就是将各个陪集内部的所有元素都看成同一个元素, 将陪集缩成一个点的形成的群.

-- 见 抽象人的学习笔记：陪集与商群 "这就说明了商群为什么要叫“商”。其实商群的代表元集才真正是两个集合的商，但是代表元集在别的方面（同态）的性质不如商群自然，而且由于两者同构，所以从结构上讲并没有太大的区别，就把商群叫做“商群”，连带着商集也叫做“商集”。商群反映了群运算的结构 。它舍弃了对具体元素的研究，而保持了运算的性质。"

2. 同态与同构

2.1. 同态与同构的定义:

✦ 同态与同构是群 之间的关系, 同构是同态的特殊情况, 记为 .

若存在映射 能保持群结构(即保持群乘法, 下面会详讲)则称 与 同态,
┣ 进一步地如果这个映射是双射则升级为 与 同构.
┗ 同态既不要求单射也不要求满射, 同构是既要求单射又要求满射的同态.
至于说什么是映射, 什么又是双射, 请参考 [附录A].

什么是保持群结构? 群与普通集合最大的区别无非就是多了一个二元运算结构.
故映射保群结构的定义就为 , 即映射的乘积等于乘积的映射[18].

值得一提的是, 这个要求直接会导致单位元映射到单位元、互逆的元素会映射到互逆的元素:
┣ (1). .
┣ (2). .
┣ 注意与 互逆的是 , 可别写成 了, 的定义域可是 .
┗ 即使我不作说明也应该猜到 分别是群 里的单位元吧.

把 中所有元素都映射到 构成一个平凡的同态映射, 所以实际上任意俩群总是存在至少一个平凡同态映射, 故一般如果说设俩群同态指的应当是存在非平凡的同态映射[19].
如果两个群同构了, 我们完全可以认为它们就是同一个群, 它们在数学上没有任何区别.

2.2. 同态核定理:

同构是俩群元素有一一对应, 同态可以证明是 一对应, 在同一个同态映射下是个常数.

同态核定理可以证明这一点.

✦ 同态核:

在同态映射 下, 所有被映射到 中的单位元 上的元素构成的集合.

我们一般将这个映射的同态核记作 .

✦ 同态核定理:

(1). 同态核 是 的正规子群.

(2). 商群 与 同构.

第二条要求 是满射, 否则就要将这里及下面的 换成它的子群 [20].

直观来讲就是说同态核定理指出了:

(1). 同态核 可将群 分割为 .
(2). 同态映射 就是将上述分割里面的各个陪集映射到 的元素上[21].
┣ 所以说同态是 一对应, 且我们可以通过取一个商群达到一一对应, 即构成同构关系.
┗ 如何找构建商群的不变子群是显然的, 当然就是找第一个陪集 啦.

同态核定理的证明[22]:

设 , , 且记 .
(1).
┗ 说明 是子群.
(2).
┗ 说明 .
(3). ,
┗ 说明 给出来的分割里的同一个陪集都映射到 中同一个元素上,
(4). 有无可能存在 却满足 的情况呢?
┣ 不可能, 因为这样就有 ,
┣ 显然左边 ,
┣ 说明右边
┗ 这就是说 , 则与前提矛盾, 故假设不成立.
综合 (3), (4) 两点来看, 内每个元素都对应则着一个 中的元素,
┗ 然后又不存在多对一的情况, 显然这就是 , 注意我们假设过满射了.

这个定理更万无一失的写法是 , 但对新手来说可能直观性差了点儿吧就没这么写, 其实一开始我连 都不太想用, 但后面这个太常用了就觉得还是有必要熟悉一下.

3. 群作用与变换群

这一章开始就会变得很几把抽象了, 一个概念将会有多个解读观点, 希望做好心理准备.

3.1. 左右作用与伴随作用:

✦ 左作用: 对群 可以由 定义左作用 , 效果为 .

✦ 右作用: 对群 可以由 定义右作用 , 效果为 .

你会发现右作用并不是直接右乘, 而是 右乘逆元 , 要不然下面这个结论就不成立了:
┣ 都不是同构映射但都是 的同态映射 ( 定义见 3.2 ),
┗ 因为对 有 , 且保群乘法: , .

显然 也分别构成俩群且与 同构.

✦ 伴随作用: ( 这个超妈重要 )

对群 可以由 定义伴随作用 , 效果为 .

Ad for Adjoint, 意为伴随或共轭. 显然, 是一个同构映射:
┣ (1). 保群乘法: .
┣ (2). 单位元映射到单位元: .
┗ (3). 逆到逆: .

这是一个在我们日后的日常生活中极其极其常用的操作.

我们称之为伴随作用, adjoint action, 也叫 作用, 请务必记住这些名称.
它会诱导出一个同构映射, 我们称之为内自同构映射, 也称之为伴随同构映射, 后面会讲.

3.2. 变换群(置换群)与自同构映射群:

✦ 设集合 , 则双射 被称为 上的变换或置换.

-- #comment 双射（也称一一映射）既是单射又是满射

若将 上变换的乘积 对 的作用 都定义为 ,
┣ 则在此乘法规则下 上的所有变换构成一个群,
┣ 称之为 的完全变换 (置换) 群或完全对称群, 记为 .
┣ 当 内有 个元素时, 对应的完全对称群称之为 阶置换群 , 其中包含 个元素.
┣ 而变换群 (置换群) 则是完全变换 (置换) 群 的一个子群.
┗ 被变换群作用的集合 完全可以是一个无穷集合甚至连续空间, 比如说希尔伯特空间.

✦ 完全变换群 所有的双射 .

✦ 凯莱 (Cayley) 定理: 群 同构于 的一个子群.

显然 中生成的左作用 构成的群 就是 的子群且与 同构.

✦ 自同构映射群 所有的同构映射 .

✦ 内自同构映射群 .

内自同构映射就是由群内群元本身诱导的出来的同构映射, 只有伴随作用这一种.

给定一个 就可对应一个 .
┗ 所以可以说 本质上是映射 .

3.3. 确定变换群下的概念:

设 为集合 上的变换群.

✦ 变换群等价: 若 使得 则称 与 是 等价的.

显然前面说的 , 上述 与 等价可以记作 .
┣ 等价具有对称性与传递性, 即 , .
┣ 与共轭类很相似, 由此可以给出等价类. 什么是等价类? 请参考 [附录B].
┗ 关于变换群 的等价类我们称之为关于变换群 的 轨道.

✦ 变换群轨道 .

确定的集合元素在变换群的作用下会跑动, 被整个群作用后能跑到的位置的集合就是轨道.

两条轨道绝不相交, 因为假如 两条轨道上存在相交的点 ,
┣ 那么一定可以找到两个变换使得式子 成立.
┣ 然而 .
┗ 既然 都成立了, 那么 自然是理所当然的了.

请问 关于 的轨道是什么?
┣ 显然有 即共轭类对吧?
┣ 所以说 轨道或可称作 变换下的等价类.
┗ 有时候我们也将 轨道 称作 作用轨道.

陪集其实就是群元 关于子群 产生的变换群下的轨道:
┣ 左陪集:
┣ 所以左陪其实是子群的右作用.
┣ 右陪集:
┣ 所以右陪其实是子群的左作用.
┣ 故陪集也可看作轨道, 这样一来陪集定理就变得显然起来了对吧?
┗ 前面符号 中的 作用效果是: [23].

由陪集可以引入商空间的概念, 下面以左陪集为例:
┣ 陪集作为轨道的一种可以将群分割为 ,
┣ 其中每项都是一条轨道, 故也可写为 .
┣ 若把每一条轨道都整体看作一个元素, 则集合 就被称为商空间.
┗ 当用于生成右作用变换群的子群 是不变 (正规) 子群时, 商空间升级为商群.

✦ 变换群的不变子集:

即轨道本身或轨道的并集, 因为轨道内的元素在变换群的作用下不会跑出轨道, 故称不变子集.

设不变子集 , 它自然对 有 .
类比回共轭类呢? 其实不变 (正规) 子群就是元素共轭类或元素共轭类的并集构成的群吧.
┣ 用这里的语言来说就是: 的不变子群就是 变换下的轨道或轨道的并集构成的群.
┗ 这样不变子群 的性质: 对 有 就变得非常显然.

上述概念存在如下对应关系:

确定变换群下的概念与一个群的共轭性质集合元素的等价关系群元共轭关系集合元素的轨道群元的共轭类不变子集不变子群正规子群

✦ 变换群的迷向子群 [24].

迷向子群一定会构成一个群吗? 超级显然, 但我还是写一下:
┣ (1). 存在单位元, 即恒等映射: .
┣ (2). 存在逆元: .
┗ (3). 满足封闭性: .
值得一提的是对 , 产生的左陪集 都会将 映射到一个特定的 .
┣ 如此一来, 的左陪集将与 上的点一一对应.
┣ 我认为这个结论极为显然:
┣ 可证 .
┗ 然后 不就是 的 轨道的定义吗? 所以一一对应咯.

[附录A] 映射:

✦ 设集合 , 则可以定义集合间的映射 :

这个记号的意思是 是一个能通过输入一个 中的元素来得到一个 中的元素的映射.

映射 要求对 在 中有且仅有一个 与之对应, 共分为三类:

(1). 单射: 对 满足 .
(2). 满射: 对 一定能找到一个或多个 满足 .
(3). 双射: 即集合 间存在一个一一对应的关系.

若非满射的话, 值域 则是 的一个子集, 我们将其记为 .

是 Image 的缩写, 显然满射可以表达为 .

单射加满射可以得到双射:

先引入 称之为 的逆映射, 其满足关系 .
映射要求 是存在且唯一的, 即映射本身要求不能一对多且 全员参与,
┣ 单射要求 是唯一的 (不要求一定存在), 即不能多对一,
┣ 满射要求 是一定存在的, 即 内全员都参与这个映射活动,
┗ 所以 单射 + 满射 就可以给出两个集合间的一个一一对应的关系.

[附录B] 等价关系与等价类:

✦ 等价关系是数学中十分常见且基础的概念, 简单来说就是集合中满足三个条件的二元关系.

设集合 上有二元关系 满足下面三个条件:

(1). 自反性: .
(2). 对称性: .
(3). 传递性: .
如果感觉看不懂这仨条件的话, 那就 念作『等价于』再试试.

则称 构成集合 上的一个等价关系, 一般将等价关系 记为 .

✦ 等价类 .

参考

「マサキの狩りを知るがいい」

文章被以下专栏收录 物理中涉及的数据处理方法 用着数学名词却讲着与数学差别巨大的内容, 物理也.

　　

评论:

小蜜柚: 您是物理学神明在世吗，我考啥您讲啥 (84 🤍)

Evergarden: 他是反作业&反考试协会会长 (52 🤍)

Arpriest: ringo theorem[开心] (34 🤍)

Chou柿: 仲夏夜之淫梦太草 (27 🤍)

夏风:

首页误入的高中生一个……
本来以为这是个正经教学贴，看了封面之后好像闻到了一丝沼气池的味道…… (26 🤍)

Monsoon: 正树兄在开火箭班？ (15 🤍)

東雲正樹: 🌿, 提供一个速成 note 罢了. (15 🤍)

周杜: 你们两个原来认识的？！世界太小了吧！ (1 🤍)

乀ckb: 高技术力先辈喜欢 (17 🤍)

爱学习的祖国好少年: 您这火箭使用沼气驱动的？ (13 🤍)

罗北海: 我是来参加火箭计划的😲 (11 🤍)

東雲: 正好在学想云一下. 在这大概是要学成池沼了. (3 🤍)

原网址: 访问

创建时间: 2021-07-30 10:02:00

目录: default

标签: zhuanlan.zhihu.com

  1. 也二次元味儿更冲···↩︎

  2. 我的相当一部分群论知识也是跟他学的.↩︎

Interactive Graph
Table Of Contents
群论 (Group Theory) 终极速成 / 物理系零基础火箭级 notes - 知乎
话题:
序言
目録
1. 群的基本概念
1.1. 群的定义:
1.2. 重排定理:
1.3. 子群:
1.4. 陪集定理(★):
1.5. 群内的共轭关系:
1.6. 商群:
2. 同态与同构
2.1. 同态与同构的定义:
2.2. 同态核定理:
3. 群作用与变换群
3.1. 左右作用与伴随作用:
3.2. 变换群(置换群)与自同构映射群:
3.3. 确定变换群下的概念:
[附录A] 映射:
[附录B] 等价关系与等价类:
参考
评论: