Turnable World

官官方信息技术老师·19 页·深入（追求细节与边界）·0 次浏览·2 天前

✦ Turnable World 信息技术 Turnable World Turnable world

旋转群对称性群论入门SO(3)

Turnable World 可转世界

从一次旋转出发，彻底搞懂群论在描述什么、边界在哪里

按空格/→ 演示下一步

1 / 19 页

全部页面点击任意一页，跳回舞台从这页播放

旋转群对称性群论入门SO(3)

Turnable World 可转世界

从一次旋转出发，彻底搞懂群论在描述什么、边界在哪里

1第 1 页 · Turnable World 可转世界

什么是可转世界

上一页说，一个东西'转完还是自己'就叫可转。但'怎么转都行'和'只能在某些角度下转才行'是两种完全不同的可转——这一页拆开讲。

操作限定为旋转

不拉伸、不变形，只绕中心/轴转过一定角度

不变性 = 完全重合

转完后每个点的位置和相互关系丝毫不差

只在特定角度生效

正方形只有 90° 的倍数能回到自己，不是任意角

可转阶数衡量强度

转 N 次复原 = 阶数 N；圆无穷阶，最强

正六角形雪花对应 →可转世界

雪花转 60° 还是自己，转 30° 却面目全非——可转只在特定离散角度上成立

2第 2 页 · 什么是可转世界

可转世界的例子

按维度分类看典型例子，从三维到二维，共同点都在于旋转后能重合。

图解渲染中…

魔方：六面绕中心轴独立旋转的立方体雪花：冰晶六角对称结构，旋转60度重合正六边形：六条边等长，旋转60度与原图重合

3第 3 页 · 可转世界的例子

从具体到抽象：变换的观点

看完了几个可转世界的例子——色块翻转、拼图重排、卡片配对。它们形态千差万别，但归为一类的根本原因，不在对象本身，而在一种视角转变：从「它是什么」转向「对它能做什么」。

对象视角

问『这个状态由什么构成』『它的本质是什么』，把世界看作待描述的客体

操作视角

问『能对它施加什么变换』『它在变换下如何变化』，把世界看作可作用的舞台

操作定义边界

操作集越丰富，能切换的状态越多，世界越『可转』；操作贫乏则是静态世界

学下棋对应 →对象 vs 操作视角

死记棋谱是背固定局面（对象），学通棋理是掌握走法（操作）——后者让你面对任何新局面都能想出下一步

W = (S,\ \mathcal{T}),\ \mathcal{T} = \{T:S\to S\}

4第 4 页 · 从具体到抽象：变换的观点

埃瓦里斯特·伽罗瓦简介

短命的天才与他的时代

埃瓦里斯特·伽罗瓦简介

短命的天才与他的时代

5第 5 页 · 埃瓦里斯特·伽罗瓦简介

伽罗瓦的核心洞察

上页我们用变换的眼光看方程。伽罗瓦做了一个更激进的决定：不再求解方程本身，只研究它的变换群——可解性，竟藏在这个群的结构里。

视角翻转

不再问「怎么解」，转而问「根的对称群长什么样」

伽罗瓦群

保持所有代数关系的根置换，构成一个群

可解等价

方程能用根式求解，当且仅当其伽罗瓦群是「可解群」

锁匠看锁芯结构对应 →判断方程能否根式解

不逐一试密码，研究锁芯的对称变换——若能层层拆解，就存在系统开法

\text{方程有根式解} \iff \text{其伽罗瓦群可解}

6第 6 页 · 伽罗瓦的核心洞察

伽罗瓦理论的意义

前面我们看到伽罗瓦的核心洞察——别盯方程本身，盯「让方程不变的变换」。这一步看似只是换个角度，其实是整个数学的范式转折点。

范式反转

不再追问方程的根是什么，而问哪些变换让它保持不变

对称群登场

这些保结构变换构成的群，成为新框架中真正的主角

可解性转写

方程能否用根式求解，等价于它的对称群是否可解群

问题在此统一

表面无关的方程，只要对称群同构，本质同类

把玩魔方对应 →研究旋转操作集合

魔方本身对应方程，旋转操作对应对称群，能否复原对应可解性

\text{Solvable}(f)\;\Long\leftrightarrow\;\text{Solvable}(G_f)

7第 7 页 · 伽罗瓦理论的意义

群的定义

上一页让正方形的一组变换自己合成、能抵消。现在要问：满足什么条件才配叫群？集合加运算，加四条公理。

集合 G

装着所有可变换的元素，比如所有旋转

二元运算 ·

两个元素合成，结果仍落在集合里

结合律

(a·b)·c = a·(b·c)，嵌套顺序无所谓

单位元 e

存在不动的元素，e·a = a·e = a

逆元 a⁻¹

每个元素都有反向，a·a⁻¹ = e

士兵方阵对应 →群 G

集合=士兵，运算=听口令变换，单位元=立正，逆元=反向口令

(a\cdot b)\cdot c=a\cdot(b\cdot c),\quad \exists e,\ e\cdot a=a,\quad \forall a,\exists a^{-1},\ a\cdot a^{-1}=e

8第 8 页 · 群的定义

群的四大公理详解

群的定义由四条公理约束，缺一不可。

封闭性

任意两元素运算后仍留在集合里

结合律

运算顺序不影响结果 (a·b)·c=a·(b·c)

单位元

存在 e 使任意元素与它运算后不变

逆元

每个元素都有一个配对能消掉它

9第 9 页 · 群的四大公理详解

用Python验证群的四大公理

python

把四大公理写成可执行的检查，对 (Z/5Z,+) 跑一遍验证。

代码高亮加载中…

四条 all(...) 与四大公理一一对应；把 (Z/5Z,+) 喂进去得到 True，定义落地为可执行检查。

10第 10 页 · 用Python验证群的四大公理

是群还是不是群？

一个用加法、一个用乘法；只看能否取逆不够，循环性和有限阶才是结构分水岭。

整数加法群

单位元是 0，任意 n 的逆元是 −n
封闭、结合、交换；0 是唯一自逆元
由 1 生成，是无限循环群
无非零有限阶元，故与 R× 不同构

非零实数乘群

单位元是 1；任意 x≠0 的逆元是 1/x
排除 0 后，封闭、结合、交换
不由单个实数生成，结构非循环
−1 的阶为 2，故与 Z 不同构

两者都是正确的群；Z 循环且无非零有限阶元，R× 含 2 阶元 −1 且非循环，所以二者不同构。

11第 11 页 · 是群还是不是群？

子群

上一页用四条公理确认了一个群。现在只看正方形的旋转：连续转仍是旋转，转回去也是旋转；这种在原群内部仍封闭的“小群”就是子群。

整体位置

H 是 G 的非空子集并沿用其运算，结合律由 G 继承；H=G 也允许，H⊊G 才是真子群

组合闭合

任取 a,b∈H，ab 必在 H 中；若混入反射，旋转与反射的组合会出去

单位与逆元

H 必须含单位元；任取 a∈H，逆元 a⁻¹仍要在 H 中

一步判定

H 非空且对任意 a,b∈H 都有 ab⁻¹∈H，可判定为子群

旋转实例

正方形的 0°、90°、180°、270° 旋转组成四阶子群，全部反射被排除

班级里的兴趣小组对应 →群 G 的子群 H

全班像群 G；兴趣小组是子集 H；任意两名组员“组合”仍在组内，倒着组合也不出组。

H\le G\iff H\ne\varnothing,\ H\subseteq G,\ \forall a,b\in H,\ ab^{-1}\in H

12第 12 页 · 子群

陪集

子群 H 是 G 里的一个封闭小圈。现在问：如果任取 G 中元素 g，把 H 的每个元素都右乘 g，会得到什么？靠这种「平移」能恰好把整个 G 铺满吗？

左陪集

H 中每个元素右乘 g 所得集合，记作 gH = {gh : h∈H}

分割性质

任意两个陪集要么完全相同，要么完全不相交，没有第三种

等大性

每个陪集的元素个数都等于 |H|

覆盖母群

H 的所有不同陪集恰好把 G 切成互不重叠的几块

披萨切成等大的几块对应 →子群的陪集分割群

每块大小=|H|，块数×|H|=|G|，无重叠地铺满

gH=\{gh \mid h\in H\}=\{gh_1,gh_2,\dots,gh_n\}

13第 13 页 · 陪集

拉格朗日定理

上页看到陪集把群切成'等大切片'，每片都和子群一样大。这背后藏着一个优美的整除关系——拉格朗日定理。

子群的阶 |H|

子群 H 中元素的个数，记作 |H|

整除关系

|H| 必整除 |G|，不可能出现余数

陪集切分视角

G 被 H 的所有陪集切成等大切片，无遗漏

指标 [G:H]

陪集的个数，等于 |G| / |H|

切生日蛋糕对应 →陪集切分群

切片数(指标) × 每块大小(|H|) = 总块数，块数必为整数

|G| = [G:H] \cdot |H|

14第 14 页 · 拉格朗日定理

循环群的结构

由单个元素生成的群只有两种形态：有限循环群 Z_n 与无穷循环群 Z。

图解渲染中…

a1：G = ⟨g⟩ 表示由 g 生成的最小子群b1：Z_n ≅ {e, g, g², ..., g^(n-1)}，共 n 个元素b2：Z ≅ {...g⁻², g⁻¹, e, g, g², ...}，可数无限a2：ord(g) = 满足 g^k = e 的最小正整数 k

15第 15 页 · 循环群的结构

置换群

上页我们用一个生成元就把整个循环群铺开了，但正三角形的全部对称操作可不止旋转一种。把每次操作翻译成对顶点的一次「重新排队」，就能把所有对称变换系统地写下来——这就是置换群。

置换

集合到自身的一一对应，相当于给 n 个元素「重新排队」

循环记号

(1 2 3) 表示 1→2、2→3、3→1，比两行表格更紧凑

置换的乘法

等价于函数复合 σ∘τ，先做右边的 τ 再做左边的 σ

对称群 Sₙ

n 个元素所有置换的全体构成的群，阶为 n!，包含全部对称操作

凯莱定理

任意群都同构于某个置换群的子群——置换群是描述群的「通用语言」

给三个小朋友换座位对应 →三个顶点的置换

每个小朋友对应一个顶点位置；换队不换人，就是一次置换

$|S_n| = n!$

16第 16 页 · 置换群

同构

循环群里转动骰子，置换群里打乱扑克——表面完全不同，但内部骨架可能一模一样。同构就是用来精确描述这件事的。

结构相同

两群元素可以完全不同，但运算的相互关系骨架完全对应

双射保运算

存在一一映射 φ，且 φ(ab)=φ(a)φ(b)，即对应关系尊重运算

本质相等

在群论视角下，同构的两群被视为同一个群的不同表示

性质全继承

同构的群共享所有由公理推出的性质：是否交换、是否循环、阶数等

同一首曲子用不同乐器演奏对应 →同构的群

旋律节奏（结构）相同，音色（具体元素）不同，作曲视角看不出区别

\varphi(ab) = \varphi(a)\varphi(b), \quad \forall a,b \in G

17第 17 页 · 同构

Turnable World 小结

✓可转性的本质是「变换下保持不变的结构」
✓伽罗瓦的洞察：用群的结构反判方程可解性
✓群的四公理极简，却蕴含拉格朗日与同构等深刻推论
✓同构是抽象代数的灵魂——不同表象下的同一结构

延伸主题：正规子群与商群伽罗瓦对应范畴论入门

18第 18 页 · Turnable World 小结

课后思考

先自己琢磨，再对照参考答案。问题没有标准答案，想清楚路径就值得满分。

1为什么伽罗瓦认为研究变换（即"可转"）比直接研究方程的根更重要？

参考答案因为方程的根只是结果，而变换揭示了根之间的内在对称结构。对称性比具体数值更稳定、更本质。

2正三角形的旋转群有3个元素，那正方形的旋转群呢？请具体写出每个元素。

参考答案正方形旋转群有4个元素：0°、90°、180°、270°。要写出每个旋转具体把哪个顶点变到哪个顶点。

3拉格朗日定理说子群的阶一定整除群的阶；反过来，整除因子是否一定对应一个子群？

参考答案不一定。例如A4的阶是12，6整除12，但A4没有阶6的子群，这是抽象代数中的经典反例。

19第 19 页 · 课后思考