Word/PowerPoint中的图像旋转函数是否构成群？

核心结论：这种旋转映射必然构成群 #

你观察到的PPT中保持图形外观的旋转操作，对应的是平面上所有绕定点旋转的保距变换集合，这个集合配上“操作复合”（即先做一个旋转再做另一个旋转）的规则，完全满足群的定义，是典型的连续群——二维特殊正交群，记作SO(2)。

背后的数学原理 #

1. 旋转的本质是保距刚体变换：这类旋转属于刚体运动的一种，只改变图形的朝向，不改变任意两点间的距离、图形的形状与大小，是平面欧几里得变换的子集。
2. 旋转的矩阵表示：平面上绕原点的旋转可以用二阶正交矩阵精确描述，角度为θ的旋转对应矩阵：

   R(θ) = [[cosθ, -sinθ],
           [sinθ, cosθ]]
   

   这个矩阵的行列式为1，保证了旋转操作不会产生镜像或缩放。
3. 满足群的四大公理：
   • 封闭性：两个旋转操作复合（先转θ₁再转θ₂），等价于旋转θ₁+θ₂，对应的矩阵乘积R(θ₁)R(θ₂)=R(θ₁+θ₂)，结果仍属于旋转操作集合。
   • 结合律：旋转操作的复合满足结合律，矩阵乘法的结合律也能直接验证这一点。
   • 单位元：旋转0度（θ=0）的操作，对应单位矩阵，不会改变图形的位置与朝向，是集合中的单位元。
   • 逆元：任意旋转θ都存在逆操作——旋转-θ（或360°-θ），两者复合后等价于旋转0度，即回到单位元。

入门学习方向建议 #

• 先从基础群论定义入手，牢牢掌握群的四大公理，同时学习有限群的简单例子（比如正多边形的旋转对称群、循环群），建立“群是操作集合+复合规则”的直观认知。
• 重点学习变换群与刚体运动群：这部分内容直接把抽象群论和几何操作关联起来，你可以从二维欧几里得群E(2)入手，其中的旋转子群就是你关注的SO(2)群。
• 选择入门级教材：优先看包含几何变换群案例的代数教材，比如《代数导论》中的群论章节，或者专门的群论入门小册子，避开过于抽象的纯代数推导，先从几何直观出发建立理解。
• 从有限到连续过渡：先理解正多边形的有限旋转群（比如正方形的4阶旋转群），再拓展到连续的SO(2)群，逐步建立对无限连续群的认知。

内容的提问来源于stack exchange，提问作者user296682