伯恩赛德引理简介

1. 公式
   观察依据

   画面显示公式 |$X/G$| = $\frac{1}{|G|} \sum_{g \in G}$ |$X^g$|，下方文字解释 |$X/G$|：不同染色方案数

|$X/G$|

不同染色方案数（轨道数）

非负整数

1. 公式
   观察依据

   画面显示公式 |$X/G$| = $\frac{1}{|G|} \sum_{g \in G}$ |$X^g$|，下方文字解释 |G|：群的大小

|G|

群的大小（群的阶）

正整数

1. 公式
   观察依据

   画面显示公式 |$X/G$| = $\frac{1}{|G|} \sum_{g \in G}$ |$X^g$|，下方文字解释 |$X^g$|：在变换 g 下不变的染色数

|$X^g$|

在变换 g 下不变的染色数（不动点数）

非负整数

1. 公式
   观察依据

   画面列出旋转群 G 的元素：$g_0$ : 旋转 0

$g_0$

旋转 0 度的变换

群元素

1. 公式
   观察依据

   画面列出旋转群 G 的元素：$g_1$ : 旋转 90

$g_1$

旋转 90 度的变换

群元素

1. 公式
   观察依据

   画面列出旋转群 G 的元素：$g_2$ : 旋转 180

$g_2$

旋转 180 度的变换

群元素

1. 公式
   观察依据

   画面列出旋转群 G 的元素：$g_3$ : 旋转 270

$g_3$

旋转 270 度的变换

群元素

1. 公式
   观察依据

   画面显示伯恩赛德引理公式 |$X/G$| = $\frac{1}{|G|} \sum_{g \in G}$ |$X^g$| 及其各项含义

用于计算在群作用下不同染色方案（轨道）数量的公式。轨道数等于群中所有元素的不动点数的平均值。

1. 存在一个有限群 G 作用在一个有限集合 X 上

1. 字幕依据
   观察依据

   画面文字说明：伯恩赛德引理用于计算：在群作用下，不同染色方案的数量

在组合数学中，当考虑物体的对称性时，可以通过群作用来定义等价类（轨道）。伯恩赛德引理提供了一种计算这些轨道数量的方法。

1. 物体具有对称性

2. 需要计算本质不同的方案数

1. 动画
   观察依据

   动画演示了正方形顶点染色的过程，分析了四个旋转操作下的不动点数量，并代入公式计算最终结果

1. 公式

   $$|X^{g_0}| = 16$$
   解释

   旋转 0 度（恒等变换）下，所有 $2^4 = 16$ 种染色方案都不变。

   步骤依据

   恒等变换不改变任何元素的状态。

   视频直接表达
2. 公式

   $$|X^{g_1}| = 2$$
   解释

   旋转 90 度下，只有全红或全蓝这 2 种方案保持不变。

   步骤依据

   四个顶点必须同色才能在 90 度旋转后重合。

   视频直接表达
3. 公式

   $$|X^{g_2}| = 4$$
   解释

   旋转 180 度下，对角线两端的顶点必须同色，共有 $2^2 = 4$ 种方案。

   步骤依据

   180 度旋转交换了对角顶点，因此对角顶点颜色必须相同。

   视频直接表达
4. 公式

   $$|X^{g_3}| = 2$$
   解释

   旋转 270 度下，同样只有全红或全蓝这 2 种方案保持不变。

   步骤依据

   270 度旋转与 90 度旋转具有相同的循环结构。

   视频直接表达
5. 公式

   $$|X/G| = \frac{1}{4}(16 + 2 + 4 + 2) = 6$$
   解释

   将各不动点数相加除以群的大小 4，得到 6 种本质不同的染色方案。

   步骤依据

   应用伯恩赛德引理公式。

   视频直接表达

共有 6 种本质不同的正方形顶点染色方案。

1. 动画
   观察依据

   画面展示了用红、蓝两色给正方形 4 个顶点染色的例子，并列举了最终的 6 种不同方案

用红、蓝两色给正方形 4 个顶点染色，旋转后相同视为一种，求不同染色方案的数量。

1. 正方形有 4 个顶点

2. 可用颜色为红色和蓝色（共 2 种）

3. 旋转群 G 包含 0, 90, 180, 270 度四个旋转操作

计算在旋转群作用下本质不同的染色方案数。

1. 公式

   $$|G| = 4$$
   解释

   确定群的大小为 4。

   步骤依据

   旋转群包含四个元素。

   视频直接表达
2. 公式

   $$|X^{g_0}| = 16, |X^{g_1}| = 2, |X^{g_2}| = 4, |X^{g_3}| = 2$$
   解释

   分别计算每个旋转操作下的不动点数量。

   步骤依据

   通过观察顶点在旋转后的位置关系得出。

   视频直接表达
3. 公式

   $$\frac{1}{4}(16 + 2 + 4 + 2) = 6$$
   解释

   代入伯恩赛德引理公式计算平均值。

   步骤依据

   应用公式 |$X/G$| = $\frac{1}{|G|} \sum_{g \in G}$ |$X^g$|。

   视频直接表达

6 种

画面最后展示了这 6 种不同的染色方案图案，与计算结果一致。

1. 动画
   观察依据

   动画中一个正方形的四个顶点被染成红色或蓝色，并依次演示了旋转 0、90、180、270 度的过程，旁边显示了对应的不动点数量

1. 正方形

2. 四个顶点

3. 红蓝颜色

1. 正方形依次进行 0、90、180、270 度旋转

2. 顶点的颜色在旋转后发生变化或保持不变

3. 右侧文本实时更新 |$X^g$| 的值

1. 正方形的几何形状不变

2. 旋转中心不变

直观展示了群元素（旋转）对集合元素（染色方案）的作用，以及如何寻找在特定变换下保持不变的元素（不动点）。

1. 图示
   观察依据

   画面展示了 6 个正方形，每个正方形的顶点有不同的红蓝染色组合，代表 6 种本质不同的方案

1. 六个正方形图案

1. 每个图案代表一个轨道（等价类）

验证了伯恩赛德引理计算出的轨道数量 6 是正确的，展示了所有可能的本质不同情况。

1. 字幕依据
   观察依据

   总结画面文字：伯恩赛德引理是组合计数的强大工具

伯恩赛德引理作为核心公式，应用于解决群作用下的组合计数问题。

1. 公式
   观察依据

   画面清晰展示了伯恩赛德引理的数学表达式

1. 伯恩赛德引理公式

1. 动画
   观察依据

   视频花费大量时间演示了正方形顶点染色的具体计算过程

1. 正方形顶点染色问题
2. 正方形顶点染色问题的推导