给定立方体的48个ℝ³等距变换证明及群属性判定问询

嘿，我来梳理一下这个问题，先提前说明：因为是翻译内容，我不确定部分术语的使用是否完全准确。先回顾教材里的定义：等距变换是保持所有距离不变的变换，而且已经证明这类变换只能是平移、旋转或者过原点的直线反射。

现在我们要解决两个核心问题：一是证明ℝ³中存在48个能把给定立方体映射到自身的等距变换；二是判断这些变换是否构成群，以及是否为阿贝尔群。

一、48个等距变换的计数思路 #

我们可以从立方体的结构特征入手，分两类来计数：

1. 纯旋转类变换（不含反射） #

这类变换总共有24个，具体分解：

• 恒等变换：1个（就是不做任何变换）
• 绕通过立方体对面中心的轴旋转：有3组这样的轴（对应x、y、z轴方向），每组轴可以做90°、180°、270°这3种非恒等旋转，这部分是3×3=9个
• 绕通过立方体对顶点的轴旋转：立方体有4条空间对角线（对顶点的连线），每条轴可以做120°、240°这2种非恒等旋转，这部分是4×2=8个
• 绕通过立方体对边中点的轴旋转：立方体有6组这样的对边（每条边对应唯一的对边），每组对边中点连线作为轴，只能做180°旋转，这部分是6个
  把这些加起来：1+9+8+6=24个纯旋转变换。

2. 含反射的等距变换 #

对于每一个纯旋转变换，我们都可以复合一个通过立方体中心的镜面反射，这样每个纯旋转都会对应一个带反射的变换，24个纯旋转就对应24个带反射的变换。

两类加起来：24+24=48个，这个结果也可以用另一种思路验证：立方体有8个顶点，一个等距变换可以把任意顶点映射到8个顶点中的一个；当确定了一个顶点的映射后，这个顶点相邻的3个顶点有3! = 6种排列方式（因为要保持距离，相邻顶点必须映射到目标顶点的相邻顶点），所以总共有8×6=48个变换，完美匹配计数结果。

二、这些变换是否构成群？ #

答案是肯定构成群，我们可以逐一验证群的四个基本公理：

• 封闭性：任意两个能把立方体映射到自身的等距变换，它们的复合变换仍然是等距变换（等距变换的复合还是等距变换），而且复合后的变换肯定还是把立方体映射到自身，满足封闭性。
• 结合律：等距变换的复合本质是函数复合，而函数复合天然满足结合律，这一点不用额外证明。
• 单位元：恒等变换就是这个群的单位元，它把立方体映射到自身，而且和任何变换复合都不会改变原变换的结果。
• 逆元：每个等距变换都是双射（因为保持距离的变换一定是一一对应），所以它的逆变换存在，而且逆变换也是等距变换，同时逆变换也会把立方体映射到自身（毕竟原变换把立方体映射到自身，逆变换就是把立方体映射回自身），所以每个元素都有逆元。

这个群其实就是立方体的对称群，也叫正六面体群。

三、是否为阿贝尔群？ #

答案是不是阿贝尔群，我们可以直接举反例：
比如取两个旋转变换：一个是绕x轴旋转90°，记为Rₓ；另一个是绕y轴旋转90°，记为Rᵧ。计算它们的复合：Rₓ∘Rᵧ（先做Rᵧ再做Rₓ）和Rᵧ∘Rₓ（先做Rₓ再做Rᵧ），这两个变换的结果完全不同。用矩阵计算更直观：
Rₓ的矩阵是：

[1, 0,  0]
[0, 0, -1]
[0, 1,  0]

Rᵧ的矩阵是：

[0, 0, 1]
[0, 1, 0]
[-1,0,0]

计算Rₓ * Rᵧ和Rᵧ * Rₓ，得到的矩阵完全不一样，对应的变换效果也不同。这就说明存在两个变换的复合不满足交换律，所以这个群不是阿贝尔群。

内容的提问来源于stack exchange，提问作者Václav Mordvinov