固定原点

考虑桌面上一张画有箭头的透明塑料片，若用图钉将其尾部固定并加以转动，塑料片会表现出两种基本几何现象。首先，除固定点外，塑料片表面各点会改变位置，包括箭头尖端与边缘点的位置变化。其次，塑料片保持原有几何形状，箭头长度、任意两点间的距离以及正交线段的夹角均保持不变。

图钉的固定作用在此处构成约束。在自由状态下，塑料片可以发生整体平移，这同样属于刚体运动且保持内部距离不变，但只改变位置并保留原有朝向。通过图钉固定单一基准点，我们得以将平移现象剥离，专注于研究物体朝向的改变。

我们将被固定的基准点定义为原点。此时，塑料片上的任意一点均可抽象为一根从原点出发的向量箭头。因此，“塑料片转动”这一物理直观过程可转化为一个数学表述：在原点保持固定的前提下，每一根从原点出发的向量会被映射至何处。这构成了后续讨论的研究对象：旋转是一种将向量映射到新向量的几何操作，并保持向量长度及相互夹角不变。

向量映射

塑料片上包含连续分布的点集。相较于逐一追踪每个点，可以先追踪基准轴的运动，进而通过基准轴确定其余各点的新位置。

我们在参考平面上建立两根相互正交且长度为 1 的固定基准轴 e1\mathbf e_1 和 e2\mathbf e_2，用于提供恒定的坐标系参考。

随后在塑料片上附着两根材料轴。初始状态下它们与固定基准轴 e1,e2\mathbf e_1,\mathbf e_2 重合；伴随塑料片的转动，材料轴随之偏转至新方向，我们将转动后的两根材料轴记作 e1′\mathbf e_1' 和 e2′\mathbf e_2'。

通过此种区分，坐标的概念变得清晰：e1,e2\mathbf e_1,\mathbf e_2 作为固定读数尺；而 e1′,e2′\mathbf e_1',\mathbf e_2' 代表转动后的材料轴，我们仍采用固定读数尺来标定它们的新坐标。

在确立这种约定后，向量箭头随刚体同步运动，而基准轴保持静止。表达式 RvR\mathbf v 的几何意义即为将初始向量 v\mathbf v 映射至新位置 RvR\mathbf v，整个过程中基准坐标系保持不变。

刚体内部的任意点均可表达为材料轴的线性组合。初始状态下的坐标 (3,2)(3,2) 意味着沿 e1\mathbf e_1 方向延伸 3 个单位，再沿 e2\mathbf e_2 方向延伸 2 个单位。

由于刚体整体转动保持了内部相对位置不变，该点在材料轴系中的相对坐标维持不变。转动带来的变化体现在材料轴方向的偏转上，而线性组合的系数得以保留：

3e1+2e2⟼3e1′+2e2′3\mathbf e_1 + 2\mathbf e_2 \quad\longmapsto\quad 3\mathbf e_1' + 2\mathbf e_2'

这一过程揭示了一个代数结构：组合系数在转动前后保持一致。

在数学中，上述特性即被定义为线性：先按系数组合基准轴再进行转动，与先转动各基准轴再按同系数组合，两者的结果等价。此处的线性来源于刚体整体运动中内部相对构型的不变性，它是物理过程的数学反映。

若把这一物理叙述完全抽象为数学命题，可以从“固定原点且保持任意两点距离的映射”推出线性性。设 f(0)=0f(0)=0，且

∣f(u)−f(v)∣=∣u−v∣.|f(\mathbf u)-f(\mathbf v)|=|\mathbf u-\mathbf v|.

取 v=0\mathbf v=0 可得 ∣f(u)∣=∣u∣|f(\mathbf u)|=|\mathbf u|。再由极化恒等式

2u⋅v=∣u∣2+∣v∣2−∣u−v∣22\mathbf u\cdot\mathbf v =|\mathbf u|^2+|\mathbf v|^2-|\mathbf u-\mathbf v|^2

可知 ff 保持任意两向量的内积。于是 f(ei)f(\mathbf e_i) 构成一组正交单位基。对任意

x=∑ixiei\mathbf x=\sum_i x_i\mathbf e_i

有

f(x)⋅f(ei)=x⋅ei=xi.f(\mathbf x)\cdot f(\mathbf e_i)=\mathbf x\cdot\mathbf e_i=x_i.

由于 f(ei)f(\mathbf e_i) 是一组基，内积坐标已经唯一确定了

f(x)=∑ixif(ei).f(\mathbf x)=\sum_i x_i f(\mathbf e_i).

这说明固定原点的保距映射在欧氏空间中必然保留线性组合。本章正文采用材料坐标的物理路线，数学严格化则由上述推理支撑；也可视为 Mazur-Ulam 定理在欧氏空间中的特殊情形。

至此，全局追踪问题由此化为基轴追踪问题：只要明确每根材料轴的新指向，即可得到刚体上各点的新位置。

将此逻辑从二维平面推广至三维空间中的刚体，基本原理仍然适用，只需将材料轴的数量扩充为三根。初始点坐标表示为

xe1+ye2+ze3x\mathbf e_1+y\mathbf e_2+z\mathbf e_3

旋转后的坐标可表达为

xe1′+ye2′+ze3′x\mathbf e_1'+y\mathbf e_2'+z\mathbf e_3'

此时，矩阵的作用便显现出来：其功能即为系统地收录这些转动后的新材料轴。如果将 e1′,e2′,…,en′\mathbf e_1',\mathbf e_2',\dots,\mathbf e_n' 依次按列排列，即可构建出旋转矩阵 RR：

R=[∣∣∣e1′e2′⋯en′∣∣∣]R= \begin{bmatrix} | & | & & |\\ \mathbf e_1' & \mathbf e_2' & \cdots & \mathbf e_n'\\ | & | & & | \end{bmatrix}

用此矩阵左乘初始坐标列向量 (x1,…,xn)T(x_1,\dots,x_n)^T，其计算结果对应

x1e1′+⋯+xnen′x_1\mathbf e_1'+\cdots+x_n\mathbf e_n'

以二维情形为例，若旋转矩阵定义为

R=[∣∣e1′e2′∣∣]R= \begin{bmatrix} | & |\\ \mathbf e_1' & \mathbf e_2'\\ | & | \end{bmatrix}

则有

R[32]=3e1′+2e2′R \begin{bmatrix} 3\\ 2 \end{bmatrix} =3\mathbf e_1'+2\mathbf e_2'

在此语境下，矩阵乘法的基本操作即为提取第一列向量的 3 倍与第二列向量的 2 倍并求和。

旋转矩阵的几何含义由此明确：它通过各列记录材料轴转动后的方向，再利用初始的组合系数对这些新轴进行线性叠加，从而得到对象转动后的空间坐标。

正交条件

在阐明矩阵记录旋转的机制后，接下来需要探讨旋转矩阵所需满足的代数条件。

基于刚体几何形状不变的物理直觉，其基本几何特征为保距性：刚体表面任意两点间的距离在运动前后保持不变。

确立固定原点后，向量 u\mathbf u 的长度即代表原点至其尖端的距离，而两向量 u,v\mathbf u,\mathbf v 尖端间的距离则表现为 ∣u−v∣|\mathbf u-\mathbf v|。若旋转操作将它们映射为 u′,v′\mathbf u',\mathbf v'，则刚体的保距性质可表达为：

∣u′∣=∣u∣,∣v′∣=∣v∣,∣u′−v′∣=∣u−v∣|\mathbf u'|=|\mathbf u|,\quad |\mathbf v'|=|\mathbf v|,\quad |\mathbf u'-\mathbf v'|=|\mathbf u-\mathbf v|

这三组距离约束会确定向量间的夹角。该几何关联可通过以下恒等式予以证明：

∣u−v∣2=∣u∣2+∣v∣2−2u⋅v|\mathbf u-\mathbf v|^2 =|\mathbf u|^2+|\mathbf v|^2-2\mathbf u\cdot\mathbf v

该式左侧为两箭头尖端距离的平方，右侧前两项为各向量长度的平方。当这三项在变换前后均保持不变时，交叉项 u⋅v\mathbf u\cdot\mathbf v 随之保持不变。

此外，点积（亦称内积）的定义式为

u⋅v=∣u∣ ∣v∣cos⁡θ\mathbf u\cdot\mathbf v=|\mathbf u|\,|\mathbf v|\cos\theta

由于内积同时包含向量长度与相对夹角的信息，维持内积不变等效于同时保持长度与夹角。至此，旋转保持刚体形状的几何直观在代数语言中转化为内积不变性。

将这一内积不变性应用于材料轴，我们可以观察到初始材料轴具备两个基本几何特征：各轴均具有单位长度，且不同轴之间相互正交。

基于旋转的刚性约束，转动后的材料轴同样继承了这些特征，从而导出以下等式条件：

ei′⋅ei′=1\mathbf e_i'\cdot \mathbf e_i'=1 ei′⋅ej′=0(i≠j)\mathbf e_i'\cdot \mathbf e_j'=0\quad(i\ne j)

在此，点积运算兼具双重检验功能：单一轴自身的点积给出了长度平方，而两根异向单位轴的点积为零则证实了它们的正交性。上述公式说明，转动后的新轴系仍维持单位长度与相互正交的状态。

将上述点积条件转化为矩阵语言，可得到矩阵方程：

RTR=IR^T R=I

此方程的推导基于矩阵乘法的行与列内积运算。由于矩阵 RR 的第 ii 列正是向量 ei′\mathbf e_i'，矩阵乘积 RTRR^T R 在第 (i,j)(i,j) 位置的元素恰好等于第 ii 列与第 jj 列的内积，即 ei′⋅ej′\mathbf e_i'\cdot\mathbf e_j'。

因此，该乘积矩阵的对角线元素全为 1，非对角线元素全为 0，构成的正是标准单位矩阵 II。

满足关系式 RTR=IR^T R=I 的矩阵被统称为正交矩阵。其代数定义背后蕴含着直观的几何意义：该矩阵的所有列向量共同构建了一组新的单位正交基。

此时仍需进一步验证：仅对材料轴进行检验，何以确保所有向量组合的内积均保持不变。

其理论依据依旧源自向量的线性叠加机制。初始空间中的任意向量均可展开为

x1e1+⋯+xnenx_1\mathbf e_1+\cdots+x_n\mathbf e_n

经历转动映射后，该向量转换为

x1e1′+⋯+xnen′x_1\mathbf e_1'+\cdots+x_n\mathbf e_n'

该转动后向量的长度平方等于其自身的内积。以二维情形为例，将其展开可以清晰地展现代数结构：

∣xe1′+ye2′∣2=(xe1′+ye2′)⋅(xe1′+ye2′)=x2(e1′⋅e1′)+2xy(e1′⋅e2′)+y2(e2′⋅e2′)=x2+y2\begin{aligned} |x\mathbf e_1'+y\mathbf e_2'|^2 &=(x\mathbf e_1'+y\mathbf e_2')\cdot(x\mathbf e_1'+y\mathbf e_2')\\ &=x^2(\mathbf e_1'\cdot\mathbf e_1') +2xy(\mathbf e_1'\cdot\mathbf e_2') +y^2(\mathbf e_2'\cdot\mathbf e_2')\\ &=x^2+y^2 \end{aligned}

该展开过程利用了新轴系保持单位长度与相互正交的结论。当推广至更高维空间时，类似的展开将产生更多的项。由于异向轴之间的交叉内积为零，结果化简为

x12+⋯+xn2x_1^2+\cdots+x_n^2

这一计算结果与旋转前的向量长度平方一致。

同理，对于初始空间中的两个任意向量

u=x1e1+⋯+xnen,v=y1e1+⋯+ynen\mathbf u=x_1\mathbf e_1+\cdots+x_n\mathbf e_n,\quad \mathbf v=y_1\mathbf e_1+\cdots+y_n\mathbf e_n

映射后的表达形式变为

u′=x1e1′+⋯+xnen′,v′=y1e1′+⋯+ynen′\mathbf u'=x_1\mathbf e_1'+\cdots+x_n\mathbf e_n',\quad \mathbf v'=y_1\mathbf e_1'+\cdots+y_n\mathbf e_n'

在计算内积 u′⋅v′\mathbf u'\cdot\mathbf v' 的展开式时，仅有同向轴自身的乘积项得以保留，计算结果呈现为

x1y1+⋯+xnynx_1y_1+\cdots+x_ny_n

这恰好等同于初始向量间的内积 u⋅v\mathbf u\cdot\mathbf v。这一代数推演说明，任意两向量的点积在转动映射下具有不变性，从而保持任意向量间的长度与夹角关系。

至此，正交条件 RTR=IR^TR=I 刻画了一类固定原点并保持长度与夹角的线性变换。然而，仅有这一代数条件还不足以限定狭义的旋转。在满足正交条件的变换集合内，同时存在着另一类在物理直观上不同的等距操作。

空间取向

引入一个通过原点的反射平面作为对比。镜像变换同样具有等距属性，它维持了线段长度、几何形状以及夹角数值。

因此，反射操作同样从属于正交变换的范畴，可以通过相应的正交矩阵加以描述。

镜像与刚体旋转在拓扑性质上具有区别：任意三维空间中的旋转操作均维持右手定则的几何构型，而镜像变换则使得右手系转化为左手系。换言之，旋转操作保持空间对象的手性特征，镜像则会造成手性翻转。

此种手性特征在数学框架中被形式化地定义为空间的取向。

二维系统中的取向关系尤为清晰。设想两根标准正交轴，若第一根轴指向右侧，第二根轴指向上方，由第一轴向第二轴的过渡呈现逆时针旋转。在经历一次镜像反射后，第二根轴可能被映射至下方，导致两轴的过渡路径转变为顺时针方向。尽管正交性与单位长度得以保留，坐标系的整体方向感发生倒转。

线性代数引入了行列式作为检测并量化此类方向感的代数工具。

在二维情形下，设定两个有序向量

a=(a1,a2),b=(b1,b2)\mathbf a=(a_1,a_2),\quad \mathbf b=(b_1,b_2)

将它们按列向量的形式构造为二阶矩阵：

[a1b1a2b2]\begin{bmatrix} a_1&b_1\\ a_2&b_2 \end{bmatrix}

该矩阵对应的行列式计算式为

a1b2−a2b1a_1b_2-a_2b_1

此结果通常被赋予面积的几何解释。通过引入极坐标表示法，将两向量转化为长度与极角的组合：

a=r(cos⁡α,sin⁡α),b=s(cos⁡β,sin⁡β)\mathbf a=r(\cos\alpha,\sin\alpha),\quad \mathbf b=s(\cos\beta,\sin\beta)

代入上述行列式公式可得：

a1b2−a2b1=rs(cos⁡αsin⁡β−sin⁡αcos⁡β)=rssin⁡(β−α)\begin{aligned} a_1b_2-a_2b_1 &=r s(\cos\alpha\sin\beta-\sin\alpha\cos\beta)\\ &=r s\sin(\beta-\alpha) \end{aligned}

标准几何面积的表达式为

rs∣sin⁡(β−α)∣r s|\sin(\beta-\alpha)|

这对应于平行四边形底与高的乘积。行列式结果中附带的代数符号由正弦项 sin⁡(β−α)\sin(\beta-\alpha) 决定：当向量 a\mathbf a 至 b\mathbf b 的极角增量与参考方向相同时，符号表现为正；反之则表现为负。

由此，行列式的值被赋予了有向面积的几何含义。其绝对值标定了二维空间的几何测度，而代数符号记录了有序向量组的排列取向。

有向面积在提供几何区域大小的同时，也包含方向信息，用于校验有序轴系间的转动走向与全局参考系的一致性。

回顾初始的标准单位基底

e1=(1,0),e2=(0,1)\mathbf e_1=(1,0),\quad \mathbf e_2=(0,1)

将二者按序构成矩阵，其行列式求值为

det⁡[1001]=1\det \begin{bmatrix} 1&0\\ 0&1 \end{bmatrix} =1

该计算结果确立了一个基础的系统约定，即将 (e1,e2)(\mathbf e_1,\mathbf e_2) 的排列次序定义为正向取向。在笛卡尔坐标系的常规表示中，这意味着将逆时针方向选定为代数正号的基准。

此参考基准一经确立，体系中所有后续状态的取向判定均受到连续性法则的约束。由于行列式作为矩阵元素的多元多项式具有连续性，任何连续的几何变换都会引起有向面积的连续变动。行列式数值若要发生符号倒转，需要在过渡阶段穿过零值。而行列式为零在几何上等价于两向量共线，标志着张成空间的平行四边形退化为一维线段，坐标架的基底性质随之瓦解。

在旋转运动中，坐标基底保持单位长度与正交关系。该几何约束保证基底向量线性无关，行列式不会取零。由于初始基底的行列式为 +1+1，连续旋转过程中生成的坐标系行列式保持为正值。

把所有满足 RTR=IR^TR=I 的矩阵放在一起，得到正交群 O(n)O(n)。其中 det⁡=+1\det=+1 的那一支包含单位矩阵，记作 SO(n)SO(n)；det⁡=−1\det=-1 的那一支对应反射类取向翻转。正文此处只需要用到一个事实：连续旋转从单位矩阵出发，行列式符号无法跳到另一支。

更严格地说，det⁡=+1\det=+1 的分支确实与单位矩阵连通。任意 R∈SO(n)R\in SO(n) 经适当正交换基后，可以分解为若干二维旋转块 R(θk)R(\theta_k) 与可能出现的一维恒等块；若存在 −1-1 特征值，在 det⁡R=1\det R=1 的约束下也会成对合并为 R(π)R(\pi) 块。令每个二维块中的角度沿 sθks\theta_k 连续变化，0≤s≤10\le s\le1，即可得到一条从单位矩阵到 RR 的连续路径。

与此形成对照的是，一次沿横轴的镜像变换会将第二根基底映射至 (0,−1)(0,-1)。更新后的基底矩阵表现为

[100−1]\begin{bmatrix} 1&0\\ 0&-1 \end{bmatrix}

此矩阵的行列式为 −1-1。在长度与正交关系保持不变的前提下，行列式符号记录了坐标取向的翻转，即原本的逆时针过渡规则转变为顺时针规则。

在单位正交基的语境下，该现象呈现出更清楚的代数二分性。假设变换后的第一根基准轴设定为

e1′=(cos⁡θ,sin⁡θ)\mathbf e_1'=(\cos\theta,\sin\theta)

为满足单位长度与正交性的双重几何约束，第二根基准轴只有两个候选方向：

(−sin⁡θ,cos⁡θ)(-\sin\theta,\cos\theta)

或者

(sin⁡θ,−cos⁡θ)(\sin\theta,-\cos\theta)

前者在几何上对应第一根轴进一步逆时针延展 90∘90^\circ 的结果，由二者合成的矩阵行列式为 +1+1。后者则相当于第一根轴顺时针偏转 90∘90^\circ 产生的结果，对应的行列式为 −1-1。

这种二分特性说明了代数符号的拓扑内涵。正号意味着系统状态与初始基底位于同一个可连续形变的拓扑连通分支内部；它代表通过一系列不改变基底秩的连续变换即可抵达的构型。负号则代表了断开的另一个连通分支，表明系统需要经历离散的镜像反射才能实现状态跨越。

另一个基础佐证来自于单位矩阵。单位矩阵的行列式为 +1+1，其在几何变换中充当恒等映射的角色，维系了系统原始取向。将标准基底设定为正向基准后，数值 +1+1 便成为恒等取向的代数标识。

即便人为改变初始参考系的取向基准，这也只会导致代数符号的全局重命名。符号背后的拓扑划分保持不变：满足正交条件的坐标架被行列式的正负号划分为两大互不连通的子集。其中一个子集可通过连续转动从原坐标系派生，另一个子集则要求反射操作的介入。

三维空间中的取向分析同样依赖于有向体积的计算。三个有序基底向量共同张成一个平行六面体，行列式的绝对值量度了该几何体的物理体积，其代数符号则编码了这三根轴系的手性关系。若三根向量记为 a,b,c\mathbf a,\mathbf b,\mathbf c，这一有向体积可写成

det⁡[a b c]=a⋅(b×c).\det[\mathbf a\ \mathbf b\ \mathbf c] =\mathbf a\cdot(\mathbf b\times\mathbf c).

在约定俗成的标准次序 (e1,e2,e3)(\mathbf e_1,\mathbf e_2,\mathbf e_3) 下，依据右手法则由 e1\mathbf e_1 向 e2\mathbf e_2 弯卷，拇指方向指向 e3\mathbf e_3，从而定义了右手坐标系的正向取向。

当反射变换将该系统翻转为左手系时，尽管体积标量保持定值，行列式的符号却产生跃变。从拓扑学视角考察，连接右手系与左手系的任何连续变换路径，都需要穿过行列式为零的状态点；在此时刻，三根基底向量退化至同一平面内，造成平行六面体体积归零与坐标框架的降维。由于刚体旋转排除了这种奇异退化，它的连续演化保持初始手性。

正交矩阵确保了所有一维测度及交角关系的守恒。由新正交基底构筑的平行多面体，其棱长及相邻面夹角都与标准坐标系相同，因此其度量的面积或体积保持为 1。这种由低维向高维泛化的等距特性，也适用于 nn 维空间中的超体积测度。

从代数运算层面亦可推导出相同的结论：基于恒等式 RTR=IR^TR=I，取两侧行列式可得

det⁡(RTR)=det⁡(I)\det(R^TR)=\det(I)

根据行列式的乘法同态性质 det⁡(AB)=det⁡A det⁡B\det(AB)=\det A\,\det B 以及转置不变性 det⁡(RT)=det⁡R\det(R^T)=\det R，上述等式转化为

(det⁡R)2=1(\det R)^2=1

因此，矩阵 RR 的行列式被限制在数值 +1+1 或 −1-1。这两种符号分支构成了正交变换的分类依据：

det⁡R=+1\det R=+1

对应于保持系统原取向的连续等距映射；

det⁡R=−1\det R=-1

对应于翻转系统原取向的反射等距映射。

综合上述几何与代数推演，固定原点的旋转需要同时满足两项数学条件：

RTR=IR^TR=I

配合

det⁡R=1\det R=1

将同时符合此双重约束的全体矩阵集合命名为

SO(n)={R∈Rn×n∣RTR=I, det⁡R=1}SO(n)=\{R\in\mathbb R^{n\times n}\mid R^TR=I,\ \det R=1\}

在此命名规范中，O(n)O(n) 涵盖了全体正交矩阵，即构成了保持测度与交角的所有等距变换操作。附加的字符 SS 源自单词 special，特指在此集合中进一步筛除反射操作，保留行列式恒为 +1+1 的连续变换子集。由此，空间旋转这一物理概念在代数语言中对应于特殊正交群 SO(n)SO(n)。

旋转群

对刚体连续施加两次旋转操作，其累积效应在几何上等效于一次旋转。这种级联操作构成了旋转变换在同一集合内部的封闭传递。伴随任意旋转变换的发生，存在一个具有相反效应的还原操作，该还原操作同样从属于旋转的范畴。在此变换体系中，恒等映射同样占据基本地位，它在几何上可定义为零度旋转。上述物理直观共同勾勒出一个包含复合、逆转与恒等特性的动作代数系统。为将此类系统加以抽象表述，数学界引入了群论架构，群公理系统对应了这种变换模式的基本特征。

判定给定对象集合在特定二元运算下是否构成群结构，需逐项验证四项基础公理：其一，封闭性公理。任意两个集合元素的运算结果应仍属于该集合。其二，单位元存在性。集合内存在一个特定的恒等元素，其参与运算时能够保持其余元素的代数值不变。其三，逆元存在性。集合内的每个元素都有对应的逆向元素，两者运算将抵消彼此效应并还原至单位元状态。其四，结合律。面对三个及以上元素的顺次运算，括号结合方式的调整对运算结果不产生影响，从而保证了运算层级结构的稳定性。

将上述公理体系投射至 SO(n)SO(n) 集合中。此处的复合规则由矩阵乘法充当，几何意义上等效于多重旋转的连续执行。在采用矩阵左乘列向量的代数规范下，表达式 ABv=A(Bv)AB\mathbf v=A(B\mathbf v) 清晰表明矩阵乘积 ABAB 对应于先执行变换 BB 继而执行变换 AA。针对任意矩阵 A,B∈SO(n)A,B\in SO(n)，它们满足

ATA=I,BTB=I,det⁡A=det⁡B=1A^TA=I,\quad B^TB=I,\quad \det A=\det B=1

考察复合矩阵 ABAB 的正交属性，经过转置运算可证

(AB)T(AB)=BTATAB=BTIB=I(AB)^T(AB)=B^TA^TAB=B^TIB=I

同时，该复合矩阵的行列式计算展示了取向的恒定特性

det⁡(AB)=det⁡A det⁡B=1⋅1=1\det(AB)=\det A\,\det B=1\cdot1=1

推导证实 AB∈SO(n)AB\in SO(n)，封闭性公理得到满足。

单位矩阵 II 充当了几何变换中的恒等映射，它满足群定义条件

ITI=I,det⁡I=1I^TI=I,\quad \det I=1

并且维持恒等代数关系

IR=RI=RIR=RI=R

单位元存在性公理由此确立。

对于给定矩阵 R∈SO(n)R\in SO(n)，行列式值恒为 11 保障了其矩阵可逆性。在等式 RTR=IR^TR=I 两侧右乘逆矩阵 R−1R^{-1}，可导出关联关系

RT=R−1R^T=R^{-1}

这表明原矩阵的转置 RTR^T 构成了逆映射。该转置矩阵自身同样归属于 SO(n)SO(n) 集合，其正交性证明为

(RT)TRT=RRT=I(R^T)^TR^T=RR^T=I

其手性特征则体现为

det⁡(RT)=det⁡R=1\det(R^T)=\det R=1

这确认了任意旋转操作均在 SO(n)SO(n) 集合内部具有逆元。

矩阵乘法自身作为线性变换的复合，满足运算的结合律：

(AB)C=A(BC)(AB)C=A(BC)

结合律在几何层面保证了连续复合变换的结果一致，分组结合方式的差异不影响变换结果。

四项群公理的验证表明，SO(n)SO(n) 在矩阵乘法下构成群。它由所有满足 RTR=I,det⁡R=1R^TR=I,\det R=1 的矩阵组成，通常称为旋转群，也称特殊正交群。

至此，旋转的数学研究对象已经建立：旋转被定义为一种固定空间原点，并保持度量长度、相交角度及空间取向的几何映射。在引入矩阵表征后，旋转矩阵的各列向量记录了局部基底轴系转动后的方向；所有 nn 维空间中的合法旋转操作构成连续的特殊正交群 SO(n)SO(n)。

在这一定义框架下，二维平面可以作为第一个检验对象。二维空间仅容纳两根正交基底与单一的旋转平面。在此二维几何结构中，一旦首根基准轴的新指向被确立，为维系原有的单位长度、正交性及手性取向，次根基底的朝向便由这些条件确定。这种降维特性赋予了单一角度参数表征平面旋转运动的数学能力。

专题导航