欧几里得群

                     

贡献者: 待更新

   (本文根据 CC-BY-SA 协议转载自原搜狗科学百科对英文维基百科的翻译)

   在数学中,欧几里德群是欧几里德空间 $\mathbb E^n$ 的(欧几里德)等距群;也就是说,欧几里德群是保持欧几里德空间中任意两点欧几里德距离不变的变换群(也称为欧几里德变换)。该群仅取决于空间的维度 n,并且通常表示为 $E(n)$ 或 $ \operatorname {ISO}(n)$。

   欧几里德群 $E(n)$ 由欧几里德空间 $\mathbb E^n$ 所有的平移变换、旋转变换、反射变换以及它们的任意有限组合构成。欧几里德群可以被看作是空间自身的对称群,并且它包含该空间的任何图(子集)的对称群。

   欧几里德等距可以是直接的或间接的,这取决于它是否保留了图形的旋向性。直接的欧几里德等距形成一个子群——特殊的欧几里德群,其中的元素被称为刚体运动或者欧几里德运动。它们包括平移和旋转的任意组合,但不包括反射。

   这些群是最古老和被研究最多的群之一,至少在维度为 2 和维度为 3 的情况下是如此一一含蓄地说,这些群早在群的概念发明之前就有了。

1. 综述

1.1 维度

   E(n)的自由度为 $n(n + 1)/2$,在 $n = 2$ 的情况下自由度等于 3,$n = 3$ 的情况下自由度等于 6。其中,n 个自由度归因于可用的平移对称,其余 $n(n-1)/2$ 个自由度归因于旋转对称。

1.2 直接和间接等距

   直接等距(即保持旋向性子集的旋向性等距)包括一个 E(n)子群,称为特殊欧几里德群,通常用 $E^+(n)$ 或 SE$(n)$ 表示。它们包括平移和旋转变换及其组合;也包括单位变换,但不包括任何类型的反射变换。

   反向旋性等距变换被称为 “间接的”。对于任何固定的间接等距变换 R,例如关于某个超平面的反射变换,其他间接等距变换都可以通过 R 与其他直接等距变换的组合得到。因此,间接等距变换是 $E^+(n)$,的陪集,可以用 $E^-(n)$.来表示。由此可见,子群 $E^+(n$)在 E$(n)$ 中的指数为 2。

1.3 群的拓扑

   欧几里得空间 $E^n$ 的自然拓扑诱导了欧几里德群 $E(n)$ 的一个拓扑。也就是说,$E_n$ 的等距变换序列 $f_i$ 是收敛的当且仅当对 $E^n$ 的任意点 $\rho$,对应的序列 $p_i$($p_i = f_i(p)$)是在 $\mathbb{N}$ 中收敛的($i \in \mathbb{N}$)。

   根据这一定义,可以得出如下结论:函数 $f: [0,1] \rightarrow E(n)$ 是连续的,当且仅当,对于 $E^n$ 内的任意点 $\rho$,由 $f_{\rho}(t) = (f(t))(\rho)$ 定义的函数 $f_{\rho}: [0,1] \rightarrow E^n$ 是连续的。这种函数在 $E(n)$ 中被称为 “连续轨道”。

   可以证明,特殊的几里德群 $SE(n) = E^+(n)$ 在此拓扑中是连通的。也就是说,给定的任意两个 $E^n$ 内的直接等距变换 A 和 B,在 $E(n)$ 中存在一个连续的轨道,使得 $g_0 = A$ 和 $g_1 = B$。间接等距变换 $E^-(n)$ 亦是如此。另一方面,群 $E(n)$ 作为一个整体是不连通的:因为不存在从 $E^+(n)$ 开始到 $E^-(n)$ 结束的连续轨迹。

   $E(3)$ 中的连续轨迹在经典力学中有着重要的作用,因为它们描述了刚体在三维空间中随时间推移可能发生的物理运动。假设 $A(0)$ 是 $E^3$ 的单位变换 1,描述了刚体在任意时间 $t$ 后的位置和方向可以从变换 $f(t)$ 来描述,因为 $f(0) = 1$ 在 $E(3)$ 中,在任意时间 $t$ 后的 $f(t)$ 是连续的。因此,直接欧几里得等距变换也被称为 “刚体运动”。

1.4 李结构

   欧几里德群不仅是拓扑群,也是李群,因此微积分概念也全部适用。

1.5 和仿射群的关系

   欧几里德群 E(n)是 n 维空间仿射群的一个子群,也是两个群的一个半直积结构。这给出了用显式符号书写元素的两种方式。这些是:

  1. 用一对 $(A, b)$ 表示,与 $A$ 是一个 $n \times n$ 的正交矩阵,$b$ 是一个 $n$ 维实列向量
  2. 用一个 $(n + 1)\times(n + 1)$ 的方阵表示,这是仿射群给的解释。

   第一个表示的细节将在下一节给出。

   根据费利克斯·克莱因的埃尔兰根算法,我们得到欧式几何,欧式对称群几何是仿射几何的一个特例。因此,所有仿射定理均适用。欧式几何源于距离的概念的定义,故由距离可以诱导出角度的概念。

2. 详细论述

2.1 子群的结构,矩阵和向量表达

   欧几里德群是仿射变换群的一个子群。

   它具有平移群 $T(n)$ 和正交群 $O(n)$ 作为子群。$E(n)$ 的任何元素都是一个平移变换复合一个正交变换(等距的线性部分),以下面这种独特的方式:

\begin{align} x & \mapsto A(x + b)~ \end{align}

   其中 $A$ 是一个正交矩阵或者同样的正交变换,$b$ 是一个平移

\begin{align} x & \mapsto Ax + c,~ \end{align}

   其中 $c = Ab$

   $t(n)$ 是 $E(n)$ 的正规子群:对于任何平移 $t$ 和任何等距 $u$,

\begin{align} u^{-1} tu~ \end{align}

   是一个平移(可以说,这是一个通过 $u$ 作用于 $t$ 的位移;因此等效地,位移是等距线性部分作用于 $t$ 的结果)

   综上所述,这些事实意味着 $E(n)$ 是由 $T(n)$ 扩展的 $O(n)$ 半直积,可以写为

\begin{align} E(n) &= T(n) \rtimes O(n)~ \end{align}

   换句话说,$O(n)$(自然方式)也是 $E(n)$ 和 $T(n)$ 的商群:

\begin{equation} O(n) \sim E(n)/T(n)~ \end{equation}

   现在 $SO(n)$ 这个特殊正交群是指数为 2 的 $O(n)$ 的子群。因此,$E(n)$ 具有子群 $E^{+}(n)$,指数也为 2,通过直接等距作用。在这些情况下,A 的行列式是 1。

   它们可以看做是先平移后旋转,而不是先平移然后在做种种反射,(在维数为 2 和维数为 3 的情况下,这些是在镜像线上或平面中的一般的反射,可以包括原点,或者是在 3D 中的旋转反射)。

   这个关系一般写成:

\begin{equation} SO(n) \sim E^+(n)/T(n)~ \end{equation}

   或等价地:

\begin{equation} E^{+}(n) = SO(n) \times T(n)~ \end{equation}

2.2 子群

   $E(n)$ 的子群类型

   有限群

   这些变换总有一个不动点。在 3D 中,每个点在包含关系下在每个方向上在有限群众有两个极大群:$0_h$ 和 $l_h$。群 $l_h$ 在包括下一类别的群中甚至是最大的。

   没有任意小平移、旋转或其组合的可数无限群

   也就是说,对于每个点,等距下的像集在拓扑上是离散的(例如,对于 1 ≤ m ≤ n 由独立方向上的 m 个平移产生的群,并且很可能是有限点群)。这包括格。比这些更一般的例子是离散空间群。

   具有任意小平移、旋转或其组合的可数无限群

   也就是说,在这种情形,存在某些点在等距变换下像集的不是闭合的。例如,在一维空间中,由 1 和 √2 生成的平移群,在二维空间中,由围绕原点旋转 1 弧度生成的旋转群。 满足存在某些点在等距变换下像集的不是闭合的不可数群

   (例如,在 2D 中,在一个方向上的所有平移,以及在另一个方向上的平移了有理距离的所有平移)。

   满足所有点在等距变换下的像集是闭合的不可数群

   例如:

   3D 中的组合示例:

2.3 维数小于等于 3 的等距的概述

   E(1)、E(2)和 E(3)可以按照自由度分类如下:

表1:E(1)的等距
等距类型 自由度 保持方向?
恒等 0
平移 1
在一个点上的反射 1
表2:E(2)的等距
等距类型 自由度 保持方向?
恒等 0
平移 2
关于一个点的旋转 3
在一条线上的反射 2
平移反射 3
表3:E(3)的等距
等距类型 自由度 保持方向?
恒等 0
平移 3
关于一个轴的旋转 5
螺旋位移 6
在一条线上的反射 3
滑移面操作 5
瑕旋转 6
在一个点上的反向 3

   Chasles 定理断言 $E^+(3)$ 的任何元素都是螺旋位移。

2.4 交换等距

   某些等距组合不依赖与顺序:

2.5 共轭类

   在给定方向上移动给定距离的平移形成一个共轭类,平移群就是所有给定距离共轭类的并集。

   在 1D 中,所有反射都在同一类中。

   在 2D 中,在任一方向上旋转相同角度的旋转都在同一类中。具有相同距离平移的滑动反射在同一类中。

   在 3D 中:

                     

© 小时科技 保留一切权利