贡献者： 零穹
在欧几里得空间 $\mathbb E$ 中，保距群是保持欧几里得空间中点与点之间距离不变的映射构成的集合，保持点距离不变的映射称为保距映射，又称运动。欧氏空间中的映射是个运动，当且仅当它是个线性部分为正交线性算子的仿射映射（定义 3 ）。需要说明的是，这里所说的欧氏空间 $\mathbb A$ 中的映射指的是 $\mathbb E$ 到 $\mathbb E$ 上的映射。下面将一一说明。
1. 欧氏空间中的运动
先构建起基本材料
定义 1 运动（保距映射）
设 $(\mathbb E,V,\rho)$ 是欧几里得点空间，变换 $f:\mathbb E\rightarrow\mathbb E$ 称为运动（或保距映射），如果它保持点与点之间距离不变，即 $\forall \dot p,\dot q\in\mathbb E$，都有
\begin{equation}
\rho(f(\dot p),f(\dot q))=\rho(\dot p,\dot q)~.
\end{equation}
例 1
试证任意两个运动的乘积（复合）仍是运动。
证明：
设 $f,g$ 是个运动，则
\begin{equation}
\rho(fg(\dot p),fg(\dot q))=\rho(f(\dot p),f(\dot p))=\rho(\dot p,\dot q)~,
\end{equation}
即两个运动的复合仍是个运动。
证毕！
下面证明运动必是个线性部分为正交线性算子的仿射自同构（定义 3 ）。先证明一引理。
引理 1
在欧氏空间 $(\mathbb E,V,\rho)$ 中，设 $g$ 是一保持点 $\dot o$ 不变的运动，且 $\mathcal G:V\rightarrow V$ 是满足 $\mathcal G x=\overrightarrow{og(o+x)}$ 的映射，则
\begin{equation}
\begin{aligned}
\mathcal G 0&=0~,\\
\left\lVert \mathcal Gy-\mathcal Gx \right\rVert &= \left\lVert y-x \right\rVert ~,\\
\left\lVert \mathcal G x \right\rVert &= \left\lVert x \right\rVert ~,\\
(\mathcal G x|\mathcal G y)&=(x|y)~,\\
\mathcal G(x+y)&=\mathcal G x+\mathcal G y~,\\
\mathcal G(\lambda x)&=\lambda\mathcal G x~.
\end{aligned}
\end{equation}
即 $\mathcal G$ 是个保内积的线性算子。显然 $\mathcal G$ 也是个正交算子（链接）。
证明：由条件
\begin{equation}
g(\dot o+x)=\dot o+\mathcal G x~,
\end{equation}
令 $x=0$ 并注意条件 $g(\dot o)=\dot o$，就有
\begin{equation}
\mathcal G 0=0~.
\end{equation}
此外，设 $\dot p=\dot o+x,\dot q=\dot o+y$，那么 $\rho(\dot p,\dot q)= \left\lVert y-x \right\rVert $。由 $g$ 是个运动，所以
\begin{equation}
\rho(g(\dot p),g(\dot q))=\rho(\dot p,\dot q)= \left\lVert y-x \right\rVert ~.
\end{equation}
由
式 4 ，$g(\dot p)=\dot o+\mathcal G x, g(\dot q)=\dot o+\mathcal G y$，故
\begin{equation}
\rho(g(\dot p),g(\dot q))= \left\lVert \mathcal Gy-\mathcal Gx \right\rVert ~.
\end{equation}
上两式结合，即得
\begin{equation}
\left\lVert \mathcal Gy-\mathcal Gx \right\rVert = \left\lVert y-x \right\rVert ~.
\end{equation}
令 $y=0$，即得
\begin{equation}
\left\lVert \mathcal G x \right\rVert = \left\lVert x \right\rVert ~.
\end{equation}
又
\begin{equation}
\begin{aligned}
\left\lVert x \right\rVert ^2-2(x|y)+ \left\lVert y \right\rVert ^2&= \left\lVert y-x \right\rVert ^2= \left\lVert \mathcal G y-\mathcal G x \right\rVert ^2\\
&=(\mathcal G x-\mathcal G y|\mathcal G x-\mathcal G y)\\
&= \left\lVert x \right\rVert ^2-2(\mathcal G x|\mathcal G y)+ \left\lVert \mathcal G y \right\rVert ^2~,
\end{aligned}
\end{equation}
带入
式 10 ，即得
\begin{equation}
\begin{aligned}
(\mathcal G x|\mathcal G y)=(x|y)~.
\end{aligned}
\end{equation}
设 $z=x+y$，则 $ \left\lVert z-x-y \right\rVert ^2=0$，亦即
\begin{equation}
\left\lVert z \right\rVert ^2+ \left\lVert x \right\rVert ^2+ \left\lVert y \right\rVert ^2-2(z|x)-2(z|y)+2(x|y)=0~,
\end{equation}
利用
式 9 和
式 11 ，则得
\begin{equation}
\left\lVert \mathcal G z \right\rVert ^2+ \left\lVert \mathcal G x \right\rVert ^2+ \left\lVert \mathcal G y \right\rVert ^2-2(\mathcal G z|\mathcal G x)-2(\mathcal G z|\mathcal G y)+2(\mathcal G x|\mathcal G y)=0~,
\end{equation}
即 $ \left\lVert \mathcal G z-\mathcal G x-\mathcal G y \right\rVert =0$，也就是 $\mathcal G z-\mathcal Gx-\mathcal G y=0$，便得
\begin{equation}
\mathcal G(x+y)=\mathcal G x+\mathcal G y~.
\end{equation}
同样的，令 $z=\lambda x$，则
\begin{equation}
\begin{aligned}
\left\lVert z \right\rVert ^2+&\lambda^2 \left\lVert x \right\rVert ^2-2\lambda(z|x)=0\\
&\Downarrow\\
\left\lVert \mathcal G z \right\rVert ^2+&\lambda^2 \left\lVert \mathcal G x \right\rVert ^2-2\lambda(\mathcal G z|\mathcal G x)=0~.
\end{aligned}
\end{equation}
即 $ \left\lVert G z-\lambda\mathcal G x \right\rVert =0$，也就是 $\mathcal G (\lambda x)=\lambda\mathcal G x$。
证毕！
定理 1 运动必是仿射自同构
变换 $f:\mathbb E\rightarrow\mathbb E$ 是个运动，当且仅当，$f$ 是个线性部分为 $V$ 上的正交线性算子（子节 1 ）的仿射变换。
证明：先来证明定理中是较为显然的一方面，即由后推出前：设仿射变换 $f$ 线性部分的正交线性算子为 $\mathcal F$，则 $\forall \dot p,\dot q\in\mathbb E$，有
\begin{equation}
\begin{aligned}
f(\dot p+\overrightarrow{pq})&=f(\dot p)+\mathcal F\overrightarrow{pq}\\
&\Downarrow\\
\rho(f(\dot p),f(\dot q))&=\rho(f(\dot p),f(\dot p)+\mathcal F\overrightarrow{pq})\\
&= \left\lVert \mathcal F\overrightarrow{pq} \right\rVert = \left\lVert \overrightarrow{pq} \right\rVert =\rho(\dot p,\dot q)
\end{aligned}~.
\end{equation}
其中，$ \left\lVert \mathcal F\overrightarrow{pq} \right\rVert = \left\lVert \overrightarrow{pq} \right\rVert $ 源于正交算子 $\mathcal F$ 是个保距算子。
现在从前推后：
显然平移是个运动，若 $f$ 是个运动，则由例 1 ，$g=t_a^{-1} f$ 是个运动，其中 $a=\overrightarrow{of(o)}$，且
\begin{equation}
g(\dot o)=t_a^{-1}(f(\dot o))=f(\dot o)-\overrightarrow{of(o)}=\dot o~,
\end{equation}
即 $g$ 保持点 $\dot o$ 不变。故任意运动 $f=t_ag$ 都是一个平移和一个保持 $\dot o$ 点不动的运动的乘积。
现在，若能证明 $g$ 是个具有正交线性部分的仿射变换，则 $f=t_a g$ 也是具有正交线性部分的仿射变换。现在来证明这一点。
定义变换 $\mathcal G:V\rightarrow V$，并令 $\mathcal G x=\overrightarrow{og(o+x)}$，则
\begin{equation}
g(\dot o+x)=\dot o+\mathcal G x~.
\end{equation}
于是只需证明 $\mathcal G$ 试正交线性算子。由
引理 1 ，这一点成立。
证毕！
例 2
由于单位仿射变换 $e$ 的线性部分为单位算子 $\mathcal E$，由定理 1 ，其是一个运动。
2. 保距群
记所有保距映射构成的集合为 $\mathrm{Iso(\mathbb E)}$，则例 1 表明，该集合上映射乘积具有封闭性，例 2 表明具有单位元，容易计算逆元仍然是个运动，并且由仿射映射的结合性得到集合 $\mathrm{Iso(\mathbb E)}$ 上的结合性。于是 $\mathrm{Iso}(\mathbb E)$ 是个群。
定义 2 保距群(运动群)
欧几里得空间 $\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)$ 时，我们能立刻知道它是矢量空间上的还是仿射空间上的。所以，下面定理成立
定理 2
平移群 $T$ 和保持点 $\dot o\in\mathbb E$ 不动的正交群 $O(n)$ 是运动群 $\mathrm{Iso(\mathbb E)}$ 上的子群，并且任一运动 $f\in\mathrm{Iso(\mathbb E)}$，都有 $t_a\in T,g\in O(n)$，使得 $f=t_ag$，其中 $a=\overrightarrow{of(o)}$。
证明：所有平移构成一个群可由习题 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_ag$ 由定理 1 证明中直接得到。
证毕！
致读者： 小时百科一直以来坚持所有内容免费无广告，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 20 元，我们一周就能脱离亏损， 并在接下来的一年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。