保距群（欧氏空间）

                     

贡献者： 零穹

　　 在欧几里得空间 $\mathbb{E}$ 中，保距群是保持欧几里得空间中点与点之间距离不变的映射构成的集合，保持点距离不变的映射称为保距映射，又称运动。欧氏空间中的映射是个运动，当且仅当它是个线性部分为正交线性算子的仿射映射（定义 3 ）。需要说明的是，这里所说的欧氏空间 $\mathbb{A}$ 中的映射指的是 $\mathbb{E}$ 到 $\mathbb{E}$ 上的映射。下面将一一说明。

1. 欧氏空间中的运动

　　 先构建起基本材料

　　 下面证明运动必是个线性部分为正交线性算子的仿射自同构（定义 3 ）。先证明一引理。

　　 证明：由条件

令 $x=0$ 并注意条件 $g(\dot{o})=\dot{o}$，就有 此外，设 $\dot{p}=\dot{o}+x,\dot{q}=\dot{o}+y$，那么 $\rho (\dot{p},\dot{q})=\Vert y-x\Vert$。由 $g$ 是个运动，所以 由式 4 ，$g(\dot{p})=\dot{o}+\mathcal{G}x,g(\dot{q})=\dot{o}+\mathcal{G}y$，故 上两式结合，即得 令 $y=0$，即得 又 式 9 带入式 10 ，即得

　　 设 $z=x+y$，则 ${\Vert z-x-y\Vert }^2=0$，亦即

利用式 9 和式 11 ，则得 即 $\Vert \mathcal{G}z-\mathcal{G}x-\mathcal{G}y\Vert =0$，也就是 $\mathcal{G}z-\mathcal{G}x-\mathcal{G}y=0$，便得 同样的，令 $z=\lambda x$，则 即 $\Vert \mathcal{G}z-\lambda \mathcal{G}x\Vert =0$，也就是 $\mathcal{G}(\lambda x)=\lambda \mathcal{G}x$。

　　 证毕！

　　 证明：先来证明定理中是较为显然的一方面，即由后推出前：设仿射变换 $f$ 线性部分的正交线性算子为 $\mathcal{F}$，则 $\mathrm{\forall }\dot{p},\dot{q}\in \mathbb{E}$，有

　　 其中，$\Vert \mathcal{F}\overrightarrow{pq}\Vert =\Vert \overrightarrow{pq}\Vert$ 源于正交算子 $\mathcal{F}$ 是个保距算子。

　　 现在从前推后：

　　 显然平移是个运动，若 $f$ 是个运动，则由例 1 ，$g=t_a^{-1}f$ 是个运动，其中 $a=\overrightarrow{of(o)}$，且

即 $g$ 保持点 $\dot{o}$ 不变。故任意运动 $f=t_{a}g$ 都是一个平移和一个保持 $\dot{o}$ 点不动的运动的乘积。

　　 现在，若能证明 $g$ 是个具有正交线性部分的仿射变换，则 $f=t_{a}g$ 也是具有正交线性部分的仿射变换。现在来证明这一点。

　　 定义变换 $\mathcal{G}:V\to V$，并令 $\mathcal{G}x=\overrightarrow{og(o+x)}$，则

于是只需证明 $\mathcal{G}$ 试正交线性算子。由引理 1 ，这一点成立。

　　 证毕！

2. 保距群

　　 记所有保距映射构成的集合为 $\mathrm{Iso}(\mathbb{E})$，则例 1 表明，该集合上映射乘积具有封闭性，例 2 表明具有单位元，容易计算逆元仍然是个运动，并且由仿射映射的结合性得到集合 $\mathrm{Iso}(\mathbb{E})$ 上的结合性。于是 $\mathrm{Iso}(\mathbb{E})$ 是个群。

　　 由定理 1 的证明可见：所以平移构成的集合 $T$ 构成 $\mathrm{Iso}(\mathbb{E})$ 的一个子群，并且所有保持 $\dot{o}$ 点不动的运动构成的集合 $O(n)$ 也构成 $\mathrm{Iso}(\mathbb{E})$ 的一个子群（其中 $n$ 为 $\mathbb{E}$ 的维度）。这里，$O(n)$ 同构于矢量空间上的正交群，所以仍用正交群的记号，并也称之为正交群,这并不会导致混乱，因为在提到正交群 $O(n)$ 时，我们能立刻知道它是矢量空间上的还是仿射空间上的。所以，下面定理成立

　　 证明：所有平移构成一个群可由习题 1 得知，而平移是运动是显然的，因为 $t_a(\dot{p}+v)=\dot{p}+v+a=t_a(\dot{p}+v)+a$ 是个仿射映射，其线性部分是个恒等映射，而 定理 1 保证了它是个运动。故平移群是 $\mathrm{Iso}(\mathbb{E})$ 上的子群。对于 $O(n)$ 可同样得到证明！而 $f=t_{a}g$ 由定理 1 证明中直接得到。

　　 证毕！