[知乎年度最长科普文]—上帝公式 e^(iπ)=-1 与群论有什么关系？

2015 年 2 月 19 日

大家好！事情的起因是半个多月之前的一个晚上，我无意间在油管上看到了 3b1b 大佬的一个视频^[1]。看完之后我突然“灵光一现”，打算就此写一个“观后感”。我大意了啊，没有停笔，很快这个“灵光”的光强就“烧掉了”我不少头发。

现在大家看到的这篇科普文是原文的“花絮”，无论是在长度上还是在难度上相较于原文都有所削减。因为原文是长达 37 页的 pdf，是本人写科普文以来写过的最长的一篇文章，也是我修改次数最多的一篇文章。并且在原文中对很多细节都做了比较详细的讨论，我把原文的下载链接放在了最后^[2]，大家有兴趣的话可以去读一读。

如果各位读了原文，并发现了其中的错误的话请一定评论告知我(请不要私信，除非有特殊情况，否则我一般不看私信)。感谢！

最后的一个小通知：由于这学期我非常忙，所以《十分钟数学课》系列暂时停更，等下个假期再重新开更。并且专栏文章的更新速度会变得很慢。大家见谅。

在阅读本文之前，请忘记你所熟知的 Euler 公式：
$e^{i\theta}=\cos(\theta)+i\cdot \sin(\theta).$
因为当你将 $\theta=\pi$ 代入时它会直接告诉你：
$e^{i\pi}=-1$
但如果这样这篇文章就没有存在的意义了。

总注：

$(\rm i).$ 不要被文章后面那些“复杂的”符号“吓到了”。如果大家能够将前面基本符号的运作方式搞清楚，则后面那些“复杂”符号的运作方式大家也就能清楚了。并且我对每个符号都举了例子，相信大家通过这些例子一定可以清楚那些符号的运作方式。
$(\rm ii).$ 文中的下划线没有特殊含义。
$\rm{(iii).}$ 群论部分我会尽量用最简单的语言讲清楚。这也是为了告诉大家 不要跳过 文章中的任何一部分，因为每一部分都至关重要并且环环相扣。跳过其中一部分会对后面的阅读造成障碍。
$\rm{(iv).}$ 这次文中没有任何证明，可安心阅读。
$\rm{(v).}$ $\bm{1\sim 4}$ 节的目录结构与内容与原文的目录结构与内容一致。

$\LARGE \bm{\rm{Contents}}$

$\bm{1.}$ 引言
$\bm{2.}$ 群
$\bm{3.}$ 群同态
$\bm{4.}$ 置换与置换群
$\bm{5.}$ 站在群的角度上来理解代数运算
$\bm{6.}$ 再看群同态与上帝公式和群论的关系

$\Large {\bm{\rm{1}.}}$ 引言

所谓上帝公式(即我们常说的 $\bm{Euler}$ 恒等式 )：

$e^{i\pi}+1=0.\tag{1.1}$

这个公式充斥着无尽的美感，所以它也是我最喜欢的公式，没有之一。这个公式将自然底数 $e$ ，单位虚数 $i$ ，圆周率 $\pi$ ，最小的自然数(这里认为 $0$ 不是自然数) $1$ 与数字 $0$ 巧妙的组合在了一起。这个公式的起源有很多文章已经介绍过了，所以这篇文章我们就换一个视角来重新探索上帝公式背后隐藏的数学知识，而它背后的数学知识也告诉了我们上帝公式绝不仅仅只有表面上的这种数字关系。

为了探索这种探索上帝公式背后的数学知识，我们首先要来学一些群论的知识。

$\Large {\bm{\rm{2}.}}$ 群

我们先不看群的定义。现在让我们穿越回上小学的时候。上小学的时候，我们最先接触到的数字之间的运算就是两个数字之间的加法，更准确地说应该是两个自然数之间的加法。因为当时我们还不知道什么是整数，什么是小数等等。现在让我们脱离两个自然数之间的加法，来看一个更为高级运算，即 两个整数之间的加法。

为了与后面的群中的运算做对比，这里我们将整数集上的加法记作 $+_{\mathbb{Z}}$ (这与我们熟知的加法是一样的，只不过为其加上了下标 $\mathbb{Z}$ 。其中 $\mathbb{Z}$ 表示整数集。为一种运算添加这样的下标可以时刻提醒我们该运算是定义在哪个集合上的。这并非多此一举的做法，因为当运算种类增加的时候，如果没有这样的下标就可能会出现理解混乱)。

对于整数集上的加法我们知道它是满足结合律的，也就是说比如：

$(2+_{\mathbb{Z}}3)+_{\mathbb{Z}}4=5+_{\mathbb{Z}}4=2+_{\mathbb{Z}}(3+_{\mathbb{Z}}4)=2+_{\mathbb{Z}}7=9.\tag{2.1}$

再比如：

$(-5+_{\mathbb{Z}}2)+_{\mathbb{Z}}7=-3+_{\mathbb{Z}}7=4=-5+_{\mathbb{Z}}(2+_{\mathbb{Z}}7)=-5+_{\mathbb{Z}}9=4.\tag{2.2}$

那么一般的，对于整数集 $\mathbb{Z}$ 中的任意三个整数 $z_1,\,z_2,\,z_3\in\mathbb{Z}$ ，我们有：

$\forall\,z_1,\,z_2,\,z_3\in\mathbb{Z}\,:\,(z_1+_{\mathbb{Z}}z_2)+_{\mathbb{Z}}z_3=z_1+_{\mathbb{Z}}(z_2+_{\mathbb{Z}}z_3).\tag{2.3}$

除此以外我们还知道任何整数与整数 $0$ 的和都是该整数本身。比如：

$4+_{\mathbb{Z}}0=0+_{\mathbb{Z}}4=4,\quad -3+_{\mathbb{Z}}0=0+_{\mathbb{Z}}(-3)=-3.\tag{2.4}$

即对于任意一个整数 $z\in\mathbb{Z}$ 而言，我们有：

$\forall\,z\in\mathbb{Z}\,:\,z+_{\mathbb{Z}}0=0+_{\mathbb{Z}}z=z.\tag{2.5}$

因为整数 $0$ 的这种性质，我们将整数 $0$ 称为整数集 $\mathbb{Z}$ 中的 对加法 $+_{\mathbb{Z}}$ 的单位元素 。同样是为了与将来群中的单位元素做对比，我们将 $\mathbb{Z}$ 的单位元素 $0$ 记作 $0_\mathbb{Z}$ 。

此外，对整数集中的每一个整数都存在一个“与之相反的”整数，使得两者的和为 $0_\mathbb{Z}$ 。比如：

$-5+_{\mathbb{Z}}5=5+_{\mathbb{Z}}(-5)=0_{\mathbb{Z}}.\tag{2.6}$

所以一般的，对于任意一个整数 $z\in\mathbb{Z}$ ，我们有：

$\forall\,z\in\mathbb{Z},\quad z+_\mathbb{Z}(-z)=(-z)+_\mathbb{Z}z=0_\mathbb{Z}.\tag{2.7}$

这样的一个整数 $-z$ 我们称为整数集 $\mathbb{Z}$ 中的整数 $z$ 的对加法 $+_{\mathbb{Z}}$ 的逆元。同样是为了与将来群中的逆元做对比，这里我们将整数 $z$ 的逆元记作 $-z_{\mathbb{Z}}$ 。

最后我们要说的是两个整数的和一定还是一个整数，我们将此性质称为整数集对其上的加法 $+_\mathbb{Z}$ 是封闭的 。

另外，我们可以将 $\mathbb{Z}$ 上的加法 $+_\mathbb{Z}$ 看做是一种作用，这个作用的效果是将输入的两个整数通过相加的方式变成第三个整数。这就意味着我们可以将 $\mathbb{Z}$ 上的加法 $+_\mathbb{Z}$ 看做是一个映射：

$+_\mathbb{Z}:\mathbb{Z}\times\mathbb{Z}\to\mathbb{Z},\quad (z_1,z_2)\mapsto z_1+_{\mathbb{Z}}z_2.\tag{2.8}$

这样一个映射也可以说明整数集对其上的加法 $+_\mathbb{Z}$ 是封闭的。

$\large\bm{\rm{Remark:}}$
显然，整数集上的单位元素是唯一的，即为 $0_\mathbb{Z}$ ，且对每个整数 $z\in\mathbb{Z}$ ，其逆元也是唯一的，即为 $-z\in\mathbb{Z}$ 。(注意，这里不要说成整数集中的逆元是唯一的)

大家如果能完全理解上述有关整数的加法的例子话那么就成功了 $99.\overline{9}\%$ 啦～因为通过类比，我们可以非常轻松又快速地理解群的定义。下面我们就给出群的定义：

$\color{blue}{\large{\bm{\rm{Definition\quad 2.1:}}}}$

设 $M$ 是一个集合，且设 $\circ_M$ 为 $M$ 上的一个运算：

$\circ_M:M\times M\to M,\quad (m_1,m_2)\mapsto m_1\circ_M m_2.\tag{2.9}$

则称结构 $(M,\circ_M)$ 是一个群，当它满足以下条件时：

$\rm{i).}$ $\circ_M$ 是可结合的；

$\rm{ii).}$ (至少)存在一个 $e_M\in M$ ，使得对于所有的 $m\in M$ 有：

$\forall\, m\in M\,:\,e_M\circ_M m=m\circ_M e_M=m.\tag{2.10}$

这样的一个 $e_M\in M$ 称为 $M$ 中的 单位元素 。

$\rm{iii).}$ 对于每个 $m\in M$ ，存在(至少)一个 $n_{M}\in M$ ，使得：

$m\circ_M n_{M}=n_{M}\circ_M m=e_M.\tag{2.11}$

$\large\color{blue}{\blacksquare}$

$\large\bm{\rm{Remark:}}$
显然，当我们将定义 ${\bm{\rm{Definition\quad 2.1}}}$ 中的集合 $M$ 换成集合 $\mathbb{Z}$ ，将运算 $\circ_M$ 换成整数集上的加法 $+_\mathbb{Z}$ ，将集合 $M$ 中的单位元素 $e_M$ 换成整数集 $\mathbb{Z}$ 中的单位元素 $0_\mathbb{Z}$ ，将 $m,m_1,m_2\in M$ 换成 $z,z_1,z_2\in\mathbb{Z}$ ，将 $n_M\in\mathbb{M}$ 换成 $-z_{\mathbb{Z}}\in\mathbb{Z}$ 时我们就可以理解群的定义了。

根据群的定义我们可以知道 $(\mathbb{Z},+_\mathbb{Z})$ 是一个群，我们将这个群称为 整数加法群 。

$\color{darkorange}{\large{\bm{\rm {Exercise\quad 2.1:}}}}$

请可各位读者朋友独立验证 $(\mathbb{R},+_{\mathbb{R}})$ 与 $(\mathbb{C},+_{\mathbb{C}})$ 也是两个群。且前者称为 实数加法群 ，后者称为 复数加法群 。

$\large\color{darkorange}{\blacksquare}$

认识了什么是群之后我们就已经结束了三分之一的工作啦～打起精神，一鼓作气，把剩下的群的知识学完！下面将要介绍的一个重要的概念是 群同态。

$\Large {\bm{\rm{3}.}}$ 群同态

这个名词听起来挺高端的是吧？其实我们通过一个我们高中就学过的函数便可以“可视化”群同态这个概念，进而让这个概念变得很好理解。下面我们就从这个函数讲起。

这个函数就是自然底数 $e$ 的指数函数。我们知道同底数的(这里为 $e$ )指数运算律为：

$\exp(x_1+x_2)=\exp(x_1)\cdot\exp(x_2),\quad x_1,\,x_2\in\mathbb{R}.\tag{3.1}$

我们知道 $\exp(x)$ 的定义域是实数集 $\mathbb{R}$ ，值域是正实数集 $\mathbb{R}_{>0}$ 0}” eeimg=”1″>。所以，不严谨地可以说：

$\forall\,x_1,\,x_2\in\mathbb{R}\,:\,\exp(x_1)\cdot\exp(x_2)\in\mathbb{R}_{>0}.\tag{3.2}$ 0}.\tag{3.2}” eeimg=”1″>

此时我们可以将 $\cdot$ 写为正实数集上的乘法，即 $\cdot_{\mathbb{R}_{>0}}$ 0}}” eeimg=”1″>。这是因为这里正实数集对 $\cdot_{\mathbb{R}_{>0}}$ 0}}” eeimg=”1″>是封闭的，即：

$\cdot_{\mathbb{R}_{>0}}:\mathbb{R}_{>0}\times\mathbb{R}_{>0}\to\mathbb{R}_{>0},\quad (\exp(x_1),\exp(x_2))\mapsto \exp(x_1)\cdot_{\mathbb{R}_{>0}}\exp(x_2)\tag{3.3}.$ 0}}:\mathbb{R}_{>0}\times\mathbb{R}_{>0}\to\mathbb{R}_{>0},\quad (\exp(x_1),\exp(x_2))\mapsto \exp(x_1)\cdot_{\mathbb{R}_{>0}}\exp(x_2)\tag{3.3}.” eeimg=”1″>

又因为 $x_1,\,x_2\in\mathbb{R}$ ，所以我们可以将 $+$ 写为实数域上的加法 $+_{\mathbb{R}}$ 。如之前所述， $(\mathbb{R},+_{\mathbb{R}})$ 是一个群。并且容易验证 $(\mathbb{R}_{>0},\cdot_{\mathbb{R}_{>0}})$ 0},\cdot_{\mathbb{R}_{>0}})” eeimg=”1″>是一个乘法群(作为练习，请各位自行验证。注意， $\cdot_{\mathbb{R}_{>0}}$ 0}}” eeimg=”1″>的封闭性已经说过了，只需验证剩下三条即可)。于是现在我们得到了两个群，我们将两者分别定义为：

$G:=(\mathbb{R},+_\mathbb{R}),\quad H:=(\mathbb{R}_{>0},\cdot_{\mathbb{R}_{>0}}).\tag{3.4}$ 0},\cdot_{\mathbb{R}_{>0}}).\tag{3.4}” eeimg=”1″>

则在这两个群之间的映射 $\exp:G\to H$ 满足：

$\forall\,x_1,\,x_2\in\mathbb{R}\,:\,\exp\left(x_1+_{\mathbb{R}}x_2\right)=\exp(x_1)\cdot_{\mathbb{R}_{>0}}\exp(x_2).\tag{3.5}$ 0}}\exp(x_2).\tag{3.5} ” eeimg=”1″>

如果现在我们将群 $(\mathbb{R},+_\mathbb{R})$ 与群 $(\mathbb{R}_{>0},\cdot_{\mathbb{R}_{>0}})$ 0},\cdot_{\mathbb{R}_{>0}})” eeimg=”1″>换成为两个一般的群 $(G,\circ_G)$ 和 $(H,\circ_H)$ ，群 $(\mathbb{R},+_\mathbb{R})$ 与群 $(\mathbb{R}_{>0},\cdot_{\mathbb{R}_{>0}})$ 0},\cdot_{\mathbb{R}_{>0}})” eeimg=”1″>之间的映射 $\exp$ 换成任意一个映射 $f$ ，但是使 $f$ 仍保持性质：

$\forall\,g_1,\,g_2\in G\,:\,f(g_1\circ_G g_2)=f(g_1)\circ_H f(g_2).\tag{3.6}$

则 $f$ 就称为群 $G$ 与群 $H$ 之间的一个群同态。

$\large\bm{\rm{Remark:}}$
可以将式 $(3.6)$ 与式 $(3.5)$ 做一个类比：
$\begin{array}{l} &x_i=g_i,\quad i=1,2,\\ &G=\mathbb{R},\\ &H=\mathbb{R}_{>0},\\ &f=\exp,\\ &\circ_G=+_\mathbb{R},\\ &\circ_H=\cdot_{\mathbb{R}_{>0}}. \end{array}\\$ 0},\\ &f=\exp,\\ &\circ_G=+_\mathbb{R},\\ &\circ_H=\cdot_{\mathbb{R}_{>0}}. \end{array}\\” eeimg=”1″>
这样群同态就好理解了。

下面我就要给出群同态的定义了。

$\color{blue}{\large{\bm{\rm{Definition\quad 3.1:}}}}$

设 $(G,\circ_G)$ 与 $(H,\circ_H)$ 是两个群。一个从群 $G$ 到群 $H$ 的群同态是一个映射 $f:G\to H$ ，对该映射有：

$\forall\,g_1,\,g_2\in G\,:\,f(g_1\circ_G g_2)=f(g_1)\circ_H f(g_2).\tag{3.7}$

我们将所有从群 $G$ 到群 $H$ 的同态 $f$ 的集合记作 $\mathrm{Hom}(G,H)$ 。而且最为正规的记法为：

$\mathrm{Hom}_{\mathrm{Group}}((G,\circ_G),(H,\circ_H)).\tag{3.8}$

$\large\color{blue}{\blacksquare}$

$\Large {\bm{\rm{4}.}}$ 置换与置换群

$\large{\bm{4.1}}$ 置换

新的知识又出现啦！我们还是先讲一个直观的例子。

图片1

如图片 1 所示，我们将一个正方形的顶点自左上开始，按照顺时针方向从 ① 到 ④ 进行了编号。这样做的目的是为了让大家能够最直观的看到这个正方形所做的所有旋转和镜像变换。

现在我们来总结一下上面正方形的八种变换，它们分别是：什么也不做 $\mathrm{Id}$ 围绕中心做逆时针 $90^{\circ},\,180^{\circ},\,270^{\circ}$ 的旋转，关于两条平行于边的对称轴的镜像，以及关于两个对角线的镜像。

这样用文字描述变换实在是很不方便，所以我们现在来做一件有意思的事情，就是使用数字来表示这些变换。首先我们按照从 ① $(=1)$ 到 ④ $(=4)$ 的顺序将处于初始状态的正方形的顶点写在一个括号中，比如像这样：

$\begin{pmatrix} 1 & 2 & 3 & 4 \end{pmatrix}.\tag{4.1.1}$

这里需要注意：处于初始状态与不对这个正方形做任何变换不是一回事！现在我们让这个写有初始状态顶点所对应的数字的括号变得大一些：

$\begin{pmatrix} 1 & 2 & 3 & 4 \\ \star & \star & \star &\star \end{pmatrix}\tag{4.1.2}$

即我们在原先的括号下面又增加了一行，那么这一行要写什么呢？在回答这个问题之前我们要明确的是，除了不对正方形做变换这种情况以外，其他七种情况下，只要对正方形做了变换，那么变换之后正方形的每个顶点数字相对于初始状态的顶点数字都发生了变化。于是这一行要写的就是：正方形做了某一次变换后，相对于初始状态的顶点对应数字的变化。举两个具体的例子好了，首先就是最特殊的，我们不对正方形做任何变换，那么此时正方形的状态与处于初始状态时是一致的，即顶点 $1$ 依然对应顶点 $1$ ，顶点 $2$ 依然对应顶点 $2$ …等等，所以此时第二行应该写的是：

$\begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 2 & 3 & 4 \end{pmatrix}.\tag{4.1.3}$

再比如正方形做了一个 $270^{\circ}$ 的旋转，那么对于旋转之后的顶点我们有：顶点 $4$ 对应了初始状态的顶点 $1$ ；顶点 $1$ 对应了初始状态的顶点 $2$ ；顶点 $2$ 对应了初始状态的顶点 $3$ ；顶点 $3$ 对应了初始状态的顶点 $4$ 。于是此时，我们的第二行应该写：

$\begin{pmatrix} 1 & 2 & 3 & 4 \\ 4 & 1 & 2 & 3 \end{pmatrix}.\tag{4.1.4}$

$\color{darkorange}{\large{\bm{\rm {Exercise\quad 4.1.1:}}}}$

请大家尝试将剩余的 $6$ 的情况写出来。

$\large\color{darkorange}{\blacksquare}$

这样我们就实现了通过数字取描述正方形的这八种变换了。因为我们可以将处于初始状态的被数字 $1\sim 4$ 标记的正方形的四个顶点看成是 $1$ 号到 $4$ 号这四个位置，然后正方形每做一次变换这四个位置上的某几个数字就会出现更替，我们将更替之后的数字与 $1$ 号到 $4$ 号这四个位置一一对应起来就可以描述这种变换了。

很显然，数字的更替意味着数字相对于初始状态时的位置发生了变换，因此，我们将这些变换都称为置换。

通过上述例子，相信大家对置换的概念已经有了一个基本的认识了，现在我们来深化一下置换的概念。我们还是继续上面的例子。

现在让我们 脱离正方形这个实体 ，而仅考虑 $1,2,3,4$ 这四个数字。我们还是先将 $1,2,3,4$ 按照顺序写在一个括号中的第一行：

$\begin{pmatrix} 1 & 2 & 3 & 4 \\ \star & \star & \star & \star \end{pmatrix}.\tag{4.1.5}$

这里的第二行我们写 $1,2,3,4$ 这四个数字在做某种重新排列之后的结果，比如 $2,1,4,3$ ：

$\begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{pmatrix}.\tag{4.1.6}$

$\color{darkorange}{\large{\bm{\rm {Exercise\quad 4.1.2:}}}}$

$\begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{pmatrix}.$

对应了之前正方形的八种变换中的哪一种？

$\large\color{darkorange}{\blacksquare}$

显然，第一行的数字经过这“某种重新排列”之后被重新排序，重新排序的结果是第二行的元素。现在我将所有的对应关系写出来，以方便大家理解：

$\begin{align*} & 1\to 2 \\ & 2\to 1 \\ & 3\to 4 \\ & 4\to 3. \end{align*}\tag{4.1.7}$

通过所列出的所有对应关系我们可以发现：这种所谓的“重新排列”的变换实际上是一种映射关系，即 $1,2,3,4$ 这四个数字中的每一个数字都通过这种映射变成 $\bm{1,2,3,4}$ 这四个数字中的 另一个。我们现在将该映射记作 $\sigma$ ，然后我们可以将上面列出的四种关系写为：

$\begin{align*} & 1\to \sigma(1)=2 \\ & 2\to \sigma(2)=1 \\ & 3\to \sigma(3)=4 \\ & 4\to \sigma(4)=3. \end{align*}.\tag{4.1.8}$

现在我们可以说： $1,2,3,4$ 这种排列顺序经过映射 $\sigma$ 的作用变成了 $2,1,4,3$ 这种排列顺序。现在我们将这种对应关系在之前的括号中可得：

$\begin{pmatrix} 1 & 2 & 3 & 4 \\ \sigma(1) & \sigma(2) & \sigma(3) & \sigma(4) \end{pmatrix}.\tag{4.1.9}$

当然，对于不同的重新排列我们的映射也是不同的，比如现在有如下的对应关系：

$\begin{align*} & 1\to 4 \\ & 2\to 1 \\ & 3\to 2 \\ & 4\to 3. \end{align*}.\tag{4.1.10}$

显然，我们刚才的映射 $\sigma$ 并不能实现这种从 $1,2,3,4$ 到 $4,1,2,3$ 的这种排列，因为比如 $\sigma(1)=2\ne 4$ 。但是我们可以找到另外一个映射，使得这个映射可以实现这种重新排列呀。比如我们可以将这个映射记作 $\tau$ ，即：

$\begin{align*} & 1\to \tau(1)=4 \\ & 2\to \tau(2)=1 \\ & 3\to \tau(3)=2 \\ & 4\to \tau(4)=3. \end{align*}\tag{4.1.11}$

现在我们在置换的概念上又更近一步了，但是还缺乏严谨性。比如映射 $\sigma$ (或映射 $\tau$ )具有什么性质呢？对于任意一个可数的有限集合我们如何定义这个一个映射呢？这种映射之间可以复合吗？复合所产生的效果又是什么呢？下面我们就一一来回答这些问题。

从我们刚刚所说的例子中我们发现：无论是映射 $\sigma$ 还是映射 $\tau$ 它们都具有以下性质：

$\rm{i).}$ 当映射 $\sigma$ (或者映射 $\tau$ )作用于 $1,2,3,4$ 这四个数字中的每个数字时，其结果也必然是这四个数字中的某一个，而不会出现别的数字。

$\rm{ii).}$ 当映射 $\sigma$ (或者映射 $\tau$ )作用于 $1,2,3,4$ 这四个数字中的每个数字时，每个结果都是不同的，比如：

$\sigma(1)=2,\quad \sigma(2)=1,\quad\sigma(3)=4,\quad \sigma(4)=3.\tag{4.1.12}$

$\rm{iii).}$ 当映射 $\sigma$ (或者映射 $\tau$ )作用于 $1,2,3,4$ 这四个数字中的每个数字时，每个数字在映射的作用下都会得到一个结果。

综合以上三条，我们现在可以说映射 $\sigma$ (或者映射 $\tau$ )是一个从集合 $\tau$ 到自身上的一个双射。拿映射 $\sigma$ 举例，我们可以将它定义为：

$\sigma:\{1,2,3,4\}\to\{1,2,3,4\},\quad \sigma(i)=j,\,\,i,j=1,2,3,4.\tag{4.1.13}$

其实定义了这样一个映射 $\sigma$ 之后我们就得到了关于 $1,2,3,4$ 的全部置换了。也就是说将来我们就不再区分 $\sigma$ 和 $\tau$ 了。

现在我们来回答第二个问题：对于任意一个可数的有限集合我们如何定义这个一个映射呢？从上一个问题的答案中我们知道，这样的一个映射 $\sigma$ 是一个集合到自身的双射，而这里的集合必须是 有限可数集合 。

$\large\bm{\rm{Remark:}}$
这里的有限可数集合可以 非常不严谨地 理解为：可以清点这样一个集合中的全部元素。

现在我们就来考察一个最简单的有限可数集合—由 $1$ 到 $n$ 这 $n$ 个自然数构成的集合 $\{1,2,\ldots,n\}$ 。则对于这样的一个集合我们可以定义置换 $\sigma$ ：

$\sigma:\{1,2,\ldots,n\}\to\{1,2,\ldots,n\},\quad \sigma(i)=j,\,\,i,j=1,2,\ldots,n.\tag{4.1.14}$

我们也可以将其写为括号的形式，即：

$\sigma=\begin{pmatrix} 1 & 2 & \ldots & n \\ \sigma(1) & \sigma(2) & \ldots & \sigma(n) \end{pmatrix}.\tag{4.1.15}$

更为一般地，我们可以对任意一个与集合 $\{1,2,\ldots,n\}$ 等势的 集合 $X=\{x_1,x_2,\ldots,x_n\}$ 定义置换：

$\sigma:X\to X,\quad \sigma(x_i)=x_j,\,\,i,j=1,2,\ldots,n.\tag{4.1.16}$

或将其写为括号的形式：

$\sigma=\begin{pmatrix} x_1 & x_2 & \ldots & x_n \\ \sigma(x_1) & \sigma(x_2) & \ldots & \sigma(x_n) \end{pmatrix}.\tag{4.1.17}$

$\large\bm{\rm{Remark:}}$
这里的等势可以 非常不严谨地 理解为：集合 $X=\{x_1,x_2,\ldots,x_n\}$ 与集合 $\{1,2,\ldots,n\}$ 具有“相同的”元素个数。

现在我们来到了一个关键性的问题面前：两个置换之间是否可以进行复合？为了回答这个问题，我们再次回到之前所说的正方形的例子。首先非常显然的是我们现在处于初始状态的正方形逆时针绕中心旋转 $90^{\circ}$ ，然后在此基础上再逆时针绕中心旋转 $180^{\circ}$ 就相当于直接从初始状态逆时针绕中心旋转 $270^{\circ}$ 。
另外一个不是十分明显的例子是：

图片2

即我们先将处于初始状态的正方形逆时针旋转 $90^{\circ}$ ，然后在此基础上再将其关于连结左上和右下顶点的对角线进行镜像，所得到的结果与直接对处于初始状态的正方形关于竖直对称轴镜像的结果是一致的。图片2中的中的复合 $\circ$ 表示的是变换的复合，也就是说“将处于初始状态的正方形逆时针旋转 $90^{\circ}$ ，然后在此基础上再将其关于连结左上和右下顶点的对角线进行镜像”是一个复合变换 ，其效果与单次变换“将处于初始状态的正方形关于竖直对称轴镜像”的结果是一致的。
同样我们发现，使用文字来描述这个复合变换是在是非常的繁琐。既然我们之前已经使用数字去表示置换了，那我们现在就使用这些数字去表示复合变换，即表示置换的复合。对于置换的复合，我们仍然使用符号 $\circ$ 。
由之前所述我们知道，“将处于初始状态的正方形逆时针旋转 $90^{\circ}$ ”这个变换的数字表述为：

$\sigma= \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 3 & 4 & 1 \end{pmatrix}.\tag{4.1.18}$

而“将处于初始状态的正方形关于连结左上和右下顶点的对角线进行镜像”这个变换的数字表述为：

$\tau= \begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 4 & 3 & 2 \end{pmatrix}.\tag{4.1.19}$

最后，“将处于初始状态的正方形关于竖直对称轴镜像”这个变换的数字表述为：

$\begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{pmatrix}.\tag{4.1.20}$

于是，根据刚刚对复合变换的文字描述，我们有：

$\sigma\circ\tau=\begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 3 & 4 & 1 \end{pmatrix}\circ\begin{pmatrix} 1 & 2 & 3 & 4 \\ 1 & 4 & 3 & 2 \end{pmatrix}= \begin{pmatrix} 1 & 2 & 3 & 4 \\ 2 & 1 & 4 & 3 \end{pmatrix}.\tag{4.1.21}$

对于这一点我们可以来验证一下。

$\begin{align*} &(\sigma\circ\tau)(1)=\sigma(\tau(1))=\sigma(1)=2,\\ &(\sigma\circ\tau)(2)=\sigma(\tau(2))=\sigma(4)=1,\\ &(\sigma\circ\tau)(3)=\sigma(\tau(3))=\sigma(3)=4,\\ &(\sigma\circ\tau)(4)=\sigma(\tau(4))=\sigma(2)=3. \end{align*}\tag{4.1.22}$

显然，我们是对的！
通过这个直观的例子我们可以明白一个十分重要的问题：置换之间是可以进行复合的，且复合之后的可以得到一个“新的”置换。并且从初始状态通过复合置换得到的结果与从初始状态直接通过这个“新的”置换得到的结果必然是一致的。而且如果你愿意的话，你甚至可以将多个置换进行复合。

$\large{\bm{4.2}}$ 置换群
现在我们已经认识了群、群同态以及置换的概念了。下面我们来介绍 置换群 。置换群中的元素是一个非空集合 $M$ 上的置换。一个具体的例子就是我们刚才所举的集合 $\{1,2,3,4\}$ 上的置换 $\{1,2,3,4\}$ 。那么现在就产生了几个基本的问题：
$\rm{i).}$ 置换群中的运算是什么？
$\rm{ii).}$ 置换群中的单位元素是什么？
$\rm{iii).}$ 置换群中各个元素的逆元是什么？
这些基本的问题都是关于群的定义的问题。下面我们还是来一一解答一下。
$\rm{i).}$ 首先是置换群中的运算。置换群中的运算就是我们之前所提到的两个置换之间的复合运算 $\circ$ 。容易验证该运算是满足结合律的，且非空集合 $M$ 上的置换所构成的集合对该运算是封闭的。
$\rm{ii).}$ 置换群中的单位元素我们记作 $\mathrm{{Id}}$ 。之前正方形置换的例子中，“什么也不做”这一变换就是正方形置换的置换群中的单位元素。
$\rm{iii).}$ 置换群中的元素 $\sigma$ 的逆元我们记作 $\sigma^{-1}$ ，因为：

$\sigma\circ\sigma^{-1}=\sigma^{-1}\circ\sigma=\mathrm{Id}.\tag{4.2.1}$

一个直观的例子是：设变换 $\sigma$ 为将正方形逆时针绕中心旋转 $90^{\circ}$ ，则 $\sigma^{-1}$ 表示的就是将正方形顺时针绕中心旋转 $90^{\circ}$ ，那两个变换的复合变换 $\sigma\circ\sigma^{-1}$ 就是将正方形先绕中心逆时针旋转 $90^{\circ}$ ，然后再将正方形绕中心顺时针旋转 $90^{\circ}$ ，那么最后的结果与“什么也不做”(即 $\mathrm{Id}$ )这一变换是一样的。
$\large\bm{\mathrm{Remark:}}$ 置换 $\sigma$ 的逆是存在的，因为我们之前说过，置换是一个双射。
一个以集合 $M$ 上的全部置换为元素的群我们称为 $M$ 的 对称群 ，并记作 $\mathrm{Sym}(M)$ 。但集合 $M$ 具有 $n$ 则元素时， $M$ 的对称群可以记作 $S_n$ ，称为 $n$ 次对称群。现在我们在这篇文章中所需要的知识已经全部学完了。群论是一个非常庞大的知识体系，我这里也仅仅是为了写这篇科普文章才简单的介绍了一下群的一些基本概念。其他更深的知识就请对群论感兴趣的朋友自行探索吧。

$\Large\bm{\rm{5.}}$ 站在群的角度上来理解代数运算

在本节中，我们将要“忘记”我们熟知的基本的代数运算加法和乘法。我们会将数字理解为一些作用，通过这些作用可以将原来的数字变成新的数字。在定义后面的这些作用的时候我们会 仿照定义置换时所使用的那种括号的形式 。

$\large{\bm{\rm{5.1}}}$ 整数的滑动与实数的滑动
首先我们来定义滑动的概念。为了进一步的讨论和方便大家的理解，我们就将滑动的概念定义在整数集上。我们这里将要仿照置换的定义对滑动进行定义。首先我们还是来看直观的例子。

图片3

如图片 3 所示，为了保证直观性，我们定义了所谓的“整数轴”，整数轴只在具体的整数处为点，其余各处均为虚线。现在我们对整数轴做一个向右滑动的动作，这个动作使整个整数轴向右滑动了一个单位。特别的，如果我们只观察数字 $0$ 的话，我们发现它通过这种滑动滑到了原来数字 $1$ 的位置上。这样一个滑动作用使我们有了以下的对应关系：
$\begin{array}{r} \ldots\\ -4\to -3\\ -3\to -2\\ -2\to -1\\ -1\to 0\\ 0\to 1\\ 1\to 2\\ 2\to 3\\ \ldots \end{array}.\tag{5.1.1}$
显然，上述的对应关系蕴含了一种映射关系，我们将这个映射记为 $\underset{\rightarrow}{v}$ ，则：
$\begin{array}{r} \ldots\\ -4\to \underset{\rightarrow}{v}(-4)=-3\\ -3\to \underset{\rightarrow}{v}(-3)=-2\\ -2\to \underset{\rightarrow}{v}(-2)=-1\\ -1\to \underset{\rightarrow}{v}(-1)=0\\ 0\to \underset{\rightarrow}{v}(0)=1\\ 1\to \underset{\rightarrow}{v}(1)=2\\ 2\to \underset{\rightarrow}{v}(2)=3\\ \ldots \end{array}.\tag{5.1.2}$
虽然整数集是一个可数无穷集，但是我们依然可以借助置换那里的记号，将上述映射关系写在一个括号中，即：

$\underset{\rightarrow}{v}:=\begin{pmatrix} \ldots & -4 & -3 & -2 & -1 & 0 & 1 & 2 & 3 &\ldots \\ \ldots & \underset{\rightarrow}{v}(-4) & \underset{\rightarrow}{v}(-3) & \underset{\rightarrow}{v}(-2) & \underset{\rightarrow}{v}(-1) & \underset{\rightarrow}{v}(0) & \underset{\rightarrow}{v}(1) & \underset{\rightarrow}{v}(2) & \underset{\rightarrow}{v}(3) & \ldots \end{pmatrix}.\tag{5.1.3}$

这样我们就可以定义 整数集上的一个向右的滑动 为：

$\underset{\rightarrow}{v}:\mathbb{Z}\to\mathbb{Z},\quad i\mapsto i\underset{\rightarrow}{\diamond} j,\,\,j\in\mathbb{Z}.\tag{5.1.4}$

整数集上的一个向左的滑动为 ：

$\underset{\leftarrow}{v}:\mathbb{Z}\to\mathbb{Z},\quad i\mapsto i\underset{\leftarrow}{\diamond} j,\,\,j\in\mathbb{Z}.\tag{5.1.5}$

下面通过几个例子说明几个问题。
$\rm{i).}$ 比如先将整数 $1$ 向右滑动 $3$ 个单位，即 $1\underset{\rightarrow}{\diamond} 3$ ，得到结果 $4$ 然后再将 $4$ 向左滑动 $5$ 个为单位，即 $4\underset{\leftarrow}{\diamond} 5$ ，得到结果 $-1$ ，这与直接将 $1$ 向左滑动两个单位，即 $1\underset{\leftarrow}{\diamond} 2$ 得到的结果是一样的。这说明了 整数的滑动是可以复合的 。
$\rm{ii).}$ 将任意一个整数滑动任意一个固定的整数单位 $j$ 所得到的结果都是唯一的，这说明了整数的滑动是可逆的(即双射的)。并且具体的，将整数 $1$ 向右滑动 $3$ 个单位，即 $1\underset{\rightarrow}{\diamond} 3$ ，得到结果 $4$ 然后再将 $4$ 向左滑动 $3$ 个为单位，即 $4\underset{\leftarrow}{\diamond} 3$ ，结果又回到了 $1$ 。这说明了对 任意一个固定的整数单位 $\bm{j}$ ，左滑动与右滑动互为逆元 。且对任意一个固定整数单位 $j$ 的左滑动与右滑动的复合为 单位元 $\bm{\mathrm{Id}_V}$ ，表示“不做滑动”。
$\rm{iii).}$ 显然，整数的任意两个滑动的复合还是一个整数的滑动。即定义在整数集上的滑动对复合运算 $\circ$ 是封闭的。
有了整数的滑动以后我们就可以仿照它来定义实数的滑动了。实数的一个向右的滑动 定义为：

$\underset{\rightarrow}{u}:\mathbb{R}\to\mathbb{R},\quad i\mapsto i\,\underset{\rightarrow}{\diamondsuit}\, j,\,\,j\in\mathbb{R}.\tag{5.1.6}$

实数的一个向左的滑动为 ：

$\underset{\leftarrow}{u}:\mathbb{R}\to\mathbb{R},\quad i\mapsto i\,\underset{\leftarrow}{\diamondsuit}\, j,\,\,j\in\mathbb{R}.\tag{5.1.7}$

同理，我们可以说明实数的滑动也是：
$\rm{i).}$ 可以复合的。
$\rm{ii).}$ 双射的，且具有逆元和单位元。
$\rm{iii}).$ 对复合是封闭的。
$\color{darkorange}{\large{\bm{\rm {Exercise\quad 5.1.1:}}}}$
请大家自行验证以上三条，对内容的理解会有一定帮助。
$\large\color{darkorange}{\blacksquare}$

$\large{\bm{\rm{5.2}}}$ 非零有理数与非零实数的伸缩
${\bm{5.2.1}}$ 正有理数与负有理数的伸缩
作为引入，首先我们先来考察正有理数集 $\mathbb{Q}_{>0}$ 0}” eeimg=”1″> 。我们先来定义正有理数集上的伸缩。

图片4

如图片 4 所示，我们这里又定义了一个“正有理数轴”(正有理数轴的虚线比整数轴稍微密了一点，这只是为了做一下区分)。现在我们对这个正有理数轴做一个拉长的动作，这个动作将整个正有理数轴拉长为原来的两倍(这就意味着做正有理数轴上的每一个点都被“拉长为”原来的两倍)。如果我们只观察正有理数 $1$ 的话，我们会发现它通过这种拉长的作用变为的原来的正有理数 $2$ 。因此对于这样一个拉长的作用我们有以下对应关系：

$\begin{array}{l} 1\to 2\\ 2\to 4\\ 3\to 6\\ 4\to 8\\ 5\to 10\\ 6\to 12\\ \ldots \end{array}.\tag{5.2.1.1}$

显然，上述的对应关系也蕴含了一种映射关系，我们将这个映射记为 $\underset{\rightarrow}{s^{+}}$ ，则：

$\begin{array}{l} 1\to \underset{\rightarrow}{s^{+}}(1)=2\\ 2\to \underset{\rightarrow}{s^{+}}(2)=4\\ 3\to \underset{\rightarrow}{s^{+}}(3)=6\\ 4\to \underset{\rightarrow}{s^{+}}(4)=8\\ 5\to \underset{\rightarrow}{s^{+}}(5)=10\\ 6\to \underset{\rightarrow}{s^{+}}(6)=12\\ \ldots \end{array}.\tag{5.2.1.2}$

我们依然仿照置换中的记号，将上面的对应的关系写为括号的形式：

$\underset{\rightarrow}{s^{+}}=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 &\ldots \\ \underset{\rightarrow}{s^{+}}(1) & \underset{\rightarrow}{s^{+}}(2) & \underset{\rightarrow}{s^{+}}(3) & \underset{\rightarrow}{s^{+}}(4) & \underset{\rightarrow}{s^{+}}(5) & \underset{\rightarrow}{s^{+}}(6) & \ldots \\ \end{pmatrix}\tag{5.2.1.3}$

这样我们就可以定义 正有理数集上的一个拉长 为：

$\underset{\rightarrow}{s^{+}}:\mathbb{Q}_{>0}\to\mathbb{Q}_{>0},\quad i\mapsto i\,\underset{\rightarrow}{\lozenge^{+}}\, j,\,\,j\in\mathbb{Q}_{>0}.\tag{5.2.1.4}$ 0}\to\mathbb{Q}_{>0},\quad i\mapsto i\,\underset{\rightarrow}{\lozenge^{+}}\, j,\,\,j\in\mathbb{Q}_{>0}.\tag{5.2.1.4}” eeimg=”1″>

同理可定义 正有理数集上的一个收缩 为：

下面我们依然通过几个例子说明几个问题。
$\rm{i).}$ 比如先将 $1$ 拉长 $3$ 个单位，即 $1\,\underset{\rightarrow}{\lozenge^{+}}\, 3$ ，得到结果 $3$ ，然后再将 $3$ 收缩 $6$ 个为单位，即 $3\,\underset{\leftarrow}{\lozenge^{+}}\, 6$ ，得到结果 $\frac{1}{2}$ ，这与直接将 $1$ 收缩两个单位，即 $1\,\underset{\leftarrow}{\lozenge^{+}}\, 2$ 得到的结果是一样的。这说明了 正有理数的伸缩是可以复合的 。

图片5：正有理数的伸缩复合示例。

$\rm{ii).}$ 将任意一个正有理数拉长 (或收缩) 任意一个固定的 正有理数单位 $j$ 所得到的结果都是唯一的，这说明了正有理数拉长 (或收缩)是可逆的(即双射的)。并且具体的，先将 $1$ 拉长 $3$ 个单位，即 $1\,\underset{\rightarrow}{\lozenge^{+}}\, 3$ ，得到结果 $3$ ，然后再将 $3$ 收缩 $3$ 个为单位，即 $3\,\underset{\leftarrow}{\lozenge^{+}}\, 3$ ，结果又回到了 $1$ 。这说明了对 任意一个固定的正有理数单位 $\bm{j}$ ，拉长与收缩互为逆元 。且对任意一个固定整数单位 $j$ 的拉长与收缩的复合为 单位元 $\bm{\mathrm{Id}_S}$ ，表示“不做伸缩”。
$\rm{iii).}$ 显然，正有理数的任意两个伸缩的复合还是一个正有理数的伸缩。即定义在正有理数集上的伸缩对复合运算 $\circ$ 是封闭的。
有了正有理数的伸缩作为引入之后，我们再来看看负有理数集 <img src="https://www.zhihu.com/equation?tex=%5Cmathbb%7BQ%7D_%7B%3C0%7D" alt="\mathbb{Q}_{ 上的伸缩。
为了方便说明，我们再来定义一个“负有理数轴”。这里我们同样将负有理数轴拉长到原来的两倍(这就意味着做负有理数轴上的每一个点都被“拉长为”原来的两倍)。如果我们只观察负有理数 $1$ 的话，我们会发现它通过这种拉长的作用变为的原来的负有理数 $-2$ 。因此对于这样一个拉长的作用我们有以下对应关系：

$\begin{array}{l} -1\to -2\\ -2\to -4\\ -3\to -6\\ -4\to -8\\ -5\to -10\\ -6\to -12\\ \ldots \end{array}.\tag{5.2.1.6}$

显然，上述的对应关系也蕴含了一种映射关系，我们将这个映射记为 $\underset{\rightarrow}{s^{-}}$ ，则：

$\begin{array}{l} -1\to \underset{\rightarrow}{s^{-}}(1)=-2\\ -2\to \underset{\rightarrow}{s^{-}}(2)=-4\\ -3\to \underset{\rightarrow}{s^{-}}(3)=-6\\ -4\to \underset{\rightarrow}{s^{-}}(4)=-8\\ -5\to \underset{\rightarrow}{s^{-}}(5)=-10\\ -6\to \underset{\rightarrow}{s^{-}}(6)=-12\\ \ldots \end{array}.\tag{5.2.1.7}$

我们依然仿照置换中的记号，将上面的对应的关系写为括号的形式：

$\underset{\rightarrow}{s^{-}}=\begin{pmatrix} 1 & 2 & 3 & 4 & 5 & 6 &\ldots \\ \underset{\rightarrow}{s^{-}}(1) & \underset{\rightarrow}{s^{-}}(2) & \underset{\rightarrow}{s^{-}}(3) & \underset{\rightarrow}{s^{-}}(4) & \underset{\rightarrow}{s^{-}}(5) & \underset{\rightarrow}{s^{-}}(6) & \ldots \\ \end{pmatrix}.\tag{5.2.1.8}$

这样我们就可以定义 负有理数集上的一个拉长 为：

同理可定义 负有理数集上的一个收缩 为：

并且，负有理数的伸缩与正有理数的伸缩的性质 $\rm i)\sim\rm{iii)}$ 是类似的。留做练习，请大家自行说明。

${\bm{5.2.2}}$ 非零有理数的纯镜像以及其负有理数倍伸缩
刚才我们定义的伸缩中都有。 $j>0$ 0″ eeimg=”1″> 那么现在问题来了，如果我非要定义一个负有理数倍的伸缩 (即 <img src="https://www.zhihu.com/equation?tex=j%3C0" alt="j ) 那怎么办呢？这里我们可以不直接对这个负有理数倍的伸缩做定义，我们先来定义一个叫 非零有理数的纯镜像 的概念。

图片6

为了定义这个纯镜像的概念，如图片 6 所示，我们首先在正有理数轴上固定一个点 $i$ ，然后我们在有理数 $0$ 处放上一面镜子(平面镜)，则会在负有理数轴上出现一个点 $\underset{\leftarrow}{\bigtriangleup}\,i$ ，这个点与有理数 $0$ 之间的距离也为 $i$ ，我们就把 $\underset{\leftarrow}{\bigtriangleup^{+}}\,i$ 称为正有理数 $i$ 的 负镜像点 。同理，对于每个负有理数 $j$ ，我们将 $\underset{\rightarrow}{\bigtriangleup^{-}}\,j$ 称为负有理数 $j$ 的 正镜像点 。

举两个例子：
$\underset{\leftarrow}{\bigtriangleup^{+}}\,5=-5,\quad \underset{\rightarrow}{\bigtriangleup^{-}}\,(-2)=2.\tag{5.2.2.1}$

现在我们可以定义非零有理数的镜像的概念了。我们定义 正有理数的纯负镜像 为：

$\underset{\leftarrow}{m^{+}}:\mathbb{Q}_{>0}\to\mathbb{Q}_{<0},\quad i\mapsto\underset{\leftarrow}{\bigtriangleup^{+}}\,i.\tag{5.2.2.2}$ 0}\to\mathbb{Q}_{

定义 负有理数的纯正镜像 为：

<img src="https://www.zhihu.com/equation?tex=%5Cunderset%7B%5Crightarrow%7D%7Bm%5E%7B-%7D%7D%3A%5Cmathbb%7BQ%7D_%7B%3C0%7D%5Cto%5Cmathbb%7BQ%7D_%7B%3E0%7D%2C%5Cquad+i%5Cmapsto%5Cunderset%7B%5Crightarrow%7D%7B%5Cbigtriangleup%5E%7B-%7D%7D%5C%2Ci.%5Ctag%7B5.2.2.3%7D" alt="\underset{\rightarrow}{m^{-}}:\mathbb{Q}_{0},\quad i\mapsto\underset{\rightarrow}{\bigtriangleup^{-}}\,i.\tag{5.2.2.3}” eeimg=”1″>
$\left(\underset{\leftarrow}{m^{+}}\circ\underset{\rightarrow}{m^{-}}\right)= \left(\underset{\rightarrow}{m^{-}}\circ\underset{\leftarrow}{m^{+}}\right)=\mathrm{Id}_M.\tag{5.2.2.4}$
有了非零有理数的纯镜像的概念之后我们就可以定义所谓的负数倍的伸缩了。定义 正有理数的负有理数倍拉长 为：

$\underset{\rightarrow}{\beta^{+\to-}}:\mathbb{Q}_{>0}\to\mathbb{Q}_{<0},\quad i\mapsto \underset{\leftarrow}{\bigtriangleup^{+}}\left(i\,\underset{\rightarrow}{\lozenge^{+}}\, \left(\underset{\rightarrow}{\bigtriangleup^{-}}\,j\right)\right),\,\,j\in\mathbb{Q}_{<0}.\tag{5.2.2.5}$ 0}\to\mathbb{Q}_{<0},\quad i\mapsto \underset{\leftarrow}{\bigtriangleup^{+}}\left(i\,\underset{\rightarrow}{\lozenge^{+}}\, \left(\underset{\rightarrow}{\bigtriangleup^{-}}\,j\right)\right),\,\,j\in\mathbb{Q}_{

定义 正有理数的负有理数倍收缩 为：

$\underset{\leftarrow}{\beta^{+\to-}}:\mathbb{Q}_{>0}\to\mathbb{Q}_{<0},\quad i\mapsto \underset{\leftarrow}{\bigtriangleup^{+}}\left(i\,\underset{\leftarrow}{\lozenge^{+}}\, \left(\underset{\rightarrow}{\bigtriangleup^{-}}\,j\right)\right),\,\,j\in\mathbb{Q}_{<0}.\tag{5.2.2.6}$ 0}\to\mathbb{Q}_{<0},\quad i\mapsto \underset{\leftarrow}{\bigtriangleup^{+}}\left(i\,\underset{\leftarrow}{\lozenge^{+}}\, \left(\underset{\rightarrow}{\bigtriangleup^{-}}\,j\right)\right),\,\,j\in\mathbb{Q}_{

定义 负有理数的负有理数倍拉长 为：

<img src="https://www.zhihu.com/equation?tex=%5Cunderset%7B%5Crightarrow%7D%7B%5Cbeta%5E%7B-%5Cto%2B%7D%7D%3A%5Cmathbb%7BQ%7D_%7B%3C0%7D%5Cto%5Cmathbb%7BQ%7D_%7B%3E0%7D%2C%5Cquad+i%5Cmapsto+%5Cunderset%7B%5Crightarrow%7D%7B%5Cbigtriangleup%5E%7B-%7D%7D%5Cleft%28i%5C%2C%5Cunderset%7B%5Crightarrow%7D%7B%5Clozenge%5E%7B-%7D%7D%5C%2C%5Cleft%28%5Cunderset%7B%5Crightarrow%7D%7B%5Cbigtriangleup%5E%7B-%7D%7D%5C%2Cj%5Cright%29%5Cright%29%2C%5C%2C%5C%2Cj%5Cin%5Cmathbb%7BQ%7D_%7B%3C0%7D.%5Ctag%7B5.2.2.7%7D" alt="\underset{\rightarrow}{\beta^{-\to+}}:\mathbb{Q}_{0},\quad i\mapsto \underset{\rightarrow}{\bigtriangleup^{-}}\left(i\,\underset{\rightarrow}{\lozenge^{-}}\,\left(\underset{\rightarrow}{\bigtriangleup^{-}}\,j\right)\right),\,\,j\in\mathbb{Q}_{

定义 负有理数的负有理数倍收缩 为：

<img src="https://www.zhihu.com/equation?tex=+%5Cunderset%7B%5Cleftarrow%7D%7B%5Cbeta%5E%7B-%5Cto%2B%7D%7D%3A%5Cmathbb%7BQ%7D_%7B%3C0%7D%5Cto%5Cmathbb%7BQ%7D_%7B%3E0%7D%2C%5Cquad+i%5Cmapsto+%5Cunderset%7B%5Crightarrow%7D%7B%5Cbigtriangleup%5E%7B-%7D%7D%5Cleft%28i%5C%2C%5Cunderset%7B%5Cleftarrow%7D%7B%5Clozenge%5E%7B-%7D%7D%5C%2C%5Cleft%28%5Cunderset%7B%5Crightarrow%7D%7B%5Cbigtriangleup%5E%7B-%7D%7D%5C%2Cj%5Cright%29%5Cright%29%2C%5C%2C%5C%2Cj%5Cin%5Cmathbb%7BQ%7D_%7B%3C0%7D.%5Ctag%7B5.2.2.8%7D" alt=" \underset{\leftarrow}{\beta^{-\to+}}:\mathbb{Q}_{0},\quad i\mapsto \underset{\rightarrow}{\bigtriangleup^{-}}\left(i\,\underset{\leftarrow}{\lozenge^{-}}\,\left(\underset{\rightarrow}{\bigtriangleup^{-}}\,j\right)\right),\,\,j\in\mathbb{Q}_{

举两个例子，比如将 $2$ 拉长 $-3$ 倍，即： $\underset{\leftarrow}{\bigtriangleup^{+}}\left(2\,\underset{\rightarrow}{\lozenge^{+}}\, \left(\underset{\rightarrow}{\bigtriangleup^{-}}\,(-3)\right)\right)=\underset{\leftarrow}{\bigtriangleup^{+}}\left(2\,\underset{\rightarrow}{\lozenge^{+}}\, 3\right)=\underset{\leftarrow}{\bigtriangleup^{+}}6=-6\tag{5.2.2.9}$
将 $-4$ 收缩 $-2$ 倍，即： $\underset{\rightarrow}{\bigtriangleup^{-}}\left((-4)\,\underset{\leftarrow}{\lozenge^{-}}\,\left(\underset{\rightarrow}{\bigtriangleup^{-}}\,(-2)\right)\right)=\underset{\rightarrow}{\bigtriangleup^{-}}\left((-4)\,\underset{\leftarrow}{\lozenge^{-}}\,2\right)=\underset{\rightarrow}{\bigtriangleup^{-}}(-2)=2.\tag{5.2.2.10}$

现在为了统一符号，我们将要舍弃我们之前的正有理数的正有理数倍伸缩与负有理数的正有理数倍伸缩的定义，并通过一个新的概念—— 纯虚镜像 ，给出两者的等价定义。首先我们来定义纯虚镜像。
定义 正有理数的纯正虚镜像 为：

$\underset{\rightarrow}{m^{+}}:\mathbb{Q}_{>0}\to\mathbb{Q}_{>0},\quad i\mapsto\underset{\rightarrow}{\bigtriangleup^{+}}\,i=i.\tag{5.2.2.11}$ 0}\to\mathbb{Q}_{>0},\quad i\mapsto\underset{\rightarrow}{\bigtriangleup^{+}}\,i=i.\tag{5.2.2.11}” eeimg=”1″>

定义 负有理数的纯负虚镜像 为：

<img src="https://www.zhihu.com/equation?tex=%5Cunderset%7B%5Cleftarrow%7D%7Bm%5E%7B-%7D%7D%3A%5Cmathbb%7BQ%7D_%7B%3C0%7D%5Cto%5Cmathbb%7BQ%7D_%7B%3C0%7D%2C%5Cquad+i%5Cmapsto%5Cunderset%7B%5Cleftarrow%7D%7B%5Cbigtriangleup%5E%7B-%7D%7D%5C%2Ci%3Di.%5Ctag%7B5.2.2.12%7D" alt="\underset{\leftarrow}{m^{-}}:\mathbb{Q}_{<0}\to\mathbb{Q}_{

举两个例子：
${\bigtriangleup^{+}}\,5=5,\quad \underset{\leftarrow}{\bigtriangleup^{-}}\,(-2)=-2\tag{5.2.2.13}$

有了纯虚镜像的定义之后，我们就可以将非零有理数的正有理数倍伸缩进行等价地定义了。我们将 正有理数的正有理数倍拉长 等价地定义为：

$\underset{\rightarrow}{\beta^{+\to+}}:\mathbb{Q}_{>0}\to\mathbb{Q}_{>0},\quad i\mapsto \underset{\rightarrow}{\bigtriangleup^{+}}\left(i\,\underset{\rightarrow}{\lozenge^{+}}\, \left(\underset{\rightarrow}{\bigtriangleup^{+}}\,j\right)\right),\,\,j\in\mathbb{Q}_{>0}.\tag{5.2.2.14}$ 0}\to\mathbb{Q}_{>0},\quad i\mapsto \underset{\rightarrow}{\bigtriangleup^{+}}\left(i\,\underset{\rightarrow}{\lozenge^{+}}\, \left(\underset{\rightarrow}{\bigtriangleup^{+}}\,j\right)\right),\,\,j\in\mathbb{Q}_{>0}.\tag{5.2.2.14}” eeimg=”1″>

将 正有理数的正有理数倍收缩 等价地定义为：

$\underset{\leftarrow}{\beta^{+\to+}}:\mathbb{Q}_{>0}\to\mathbb{Q}_{>0},\quad i\mapsto \underset{\rightarrow}{\bigtriangleup^{+}}\left(i\,\underset{\leftarrow}{\lozenge^{+}}\,\left(\underset{\rightarrow}{\bigtriangleup^{+}}\,j\right)\right),\,\,j\in\mathbb{Q}_{>0}.\tag{5.2.2.15}$ 0}\to\mathbb{Q}_{>0},\quad i\mapsto \underset{\rightarrow}{\bigtriangleup^{+}}\left(i\,\underset{\leftarrow}{\lozenge^{+}}\,\left(\underset{\rightarrow}{\bigtriangleup^{+}}\,j\right)\right),\,\,j\in\mathbb{Q}_{>0}.\tag{5.2.2.15}” eeimg=”1″>

将 负有理数的正有理数倍拉长 等价地定义为：

将 负有理数的正有理数倍收缩 等价地定义为:

举两个例子，比如将 $2$ 拉长 $3$ 倍，即： $\underset{\rightarrow}{\bigtriangleup^{+}}\left(2\,\underset{\rightarrow}{\lozenge^{+}}\, \left(\underset{\rightarrow}{\bigtriangleup^{+}}\,3\right)\right)=\underset{\rightarrow}{\bigtriangleup^{+}}\left(2\,\underset{\rightarrow}{\lozenge^{+}}\, 3\right)=\underset{\rightarrow}{\bigtriangleup^{+}}6=6.\tag{5.2.2.18}$
将 $-4$ 收缩 $2$ 倍，即： $\underset{\leftarrow}{\bigtriangleup^{-}}\left((-4)\,\underset{\leftarrow}{\lozenge^{-}}\,\left(\underset{\rightarrow}{\bigtriangleup^{+}}\,2\right)\right)=\underset{\leftarrow}{\bigtriangleup^{-}}\left((-4)\,\underset{\leftarrow}{\lozenge^{-}}\,2\right)=\underset{\leftarrow}{\bigtriangleup^{-}}(-2)=-2.\tag{5.2.2.19}$

显然，通过上面所举的例子我们发现，以上八种变换都是可逆的(即双射的)。
最终我们可以将以上八种情况合并为种：

$\underset{\leftrightarrow}{\beta}:\mathbb{Q}_{\ne 0}\to\mathbb{Q}_{\ne 0},\quad i\mapsto \underset{\leftrightarrow}{\bigtriangleup}\left(i\,\underset{\leftrightarrow}{\lozenge}\, \left(\underset{\rightarrow}{\bigtriangleup}\,j\right)\right),\,\,j\in\mathbb{Q}_{\ne0}.\tag{5.2.2.20}$

下面我们要来谈一谈 $\underset{\leftrightarrow}{\beta}$ 的复合问题。我们通过一个例子来说明 $\underset{\leftrightarrow}{\beta}$ 的复合问题。我们先将 $-1$ 拉长 $2$ 倍(负有理数的正有理数倍拉长)，即：

$\underset{\leftarrow}{\bigtriangleup^{-}}\left((-1)\,\underset{\rightarrow}{\lozenge^{-}}\,\left(\underset{\rightarrow}{\bigtriangleup^{+}}\,2\right)\right)=\underset{\leftarrow}{\bigtriangleup^{-}}\left((-1)\,\underset{\rightarrow}{\lozenge^{-}}\,2\right).\tag{5.2.2.21}=\underset{\leftarrow}{\bigtriangleup^{-}}\left(-2\right)=-2.$

得到结果 $-2$ ，然后我们再将 $-2$ 拉长 $-3$ 倍(负有理数的负有理数倍拉长)，即：

$\underset{\rightarrow}{\bigtriangleup^{-}}\left((-2)\,\underset{\rightarrow}{\lozenge^{-}}\,\left(\underset{\rightarrow}{\bigtriangleup^{-}}\,(-3)\right)\right)=\underset{\rightarrow}{\bigtriangleup^{-}}\left((-2)\,\underset{\rightarrow}{\lozenge^{-}}\,3\right)=\underset{\rightarrow}{\bigtriangleup^{-}}(-6)=6.\tag{5.2.2.22}$

这就说明了负有理数的负有理数倍拉长是可以复合负有理数的正有理数倍拉长的，更一般的，负有理数的负有理数倍伸缩可以复合负有理数的正有理数倍伸缩。
但是比如第一次做的伸缩是负有理数的正有理数倍伸缩，那么根据定义，此时的结果是负有理数，所以就 不能对此结果再做 正有理数的伸缩操作了。这就说明了：正有理数的伸缩不能与负有理数的正有理数倍伸缩复合。但是正有理数的伸缩可以与负有理数的负有理数倍伸缩复合，这是因为负有理数的负有理数倍伸缩的结果是正有理数。
经过以上的分析我们发现： $\underset{\leftrightarrow}{\beta}$ 的复合可分为 有效复合 与 无效复合 两种情况。所谓有效复合，指的就是例如负有理数的负有理数倍伸缩与负有理数的正有理数倍伸缩的复合，且：

$\left(\underset{\leftrightarrow}{\beta^{-\to+}}\circ\underset{\leftrightarrow}{\beta^{-\to-}}\right)=\underset{\leftrightarrow}{\beta^{-\to+}}.\tag{5.2.2.23}$

而所谓无效复合，指的就是例如正有理数的正有理数倍伸缩不能与负有理数的正有理数倍伸缩复合，并且对于无效复合，我们定义复合的结果为第一次伸缩变换的结果，即例如：

$\left(\underset{\leftrightarrow}{\beta^{+\to+}}\circ\underset{\leftrightarrow}{\beta^{-\to-}}\right):=\underset{\leftrightarrow}{\beta^{-\to-}}.\tag{5.2.2.24}$

定义有效复合与无效复合的原因是为了保证八种 $\underset{\leftrightarrow}{\beta}$ 的两两复合对复合运算都是封闭的。因为从有效复合与无效复合的定义来看，两者的结果都仍是八种 $\underset{\leftrightarrow}{\beta}$ 中的某一种。

$\large\bm{\mathrm{Remark:}}$
由于八种 $\underset{\leftrightarrow}{\beta}$ 都是双射的，所以他们的到达域等于值域，于是我们便可以将第一次伸缩变换的到达域下一次伸缩变换的定义域做一下比较，当两者相同时复合便是有效的，否则是无效的。

并且我们有：
$\rm{i).}$ 有效复合的有效复合是有效的；
$\rm{ii).}$ 有效复合的无效复合是无效的；
$\rm{iii).}$ 无效复合的有效复合是有效的；
$\rm{iv).}$ 无效复合的无效复合是无效的。

$\large\bm{\mathrm{Remark:}}$
在原文中我对 $\underset{\leftrightarrow}{\beta}$ 的两两复合做了 非常详细 的讨论，推荐大家去看一下原文或者视频 。

有关逆元，我们也通过一个例子来说明。
我们先将 $-1$ 拉长 $2$ 倍(负有理数的正有理数倍拉长)，即：

$\underset{\leftarrow}{\bigtriangleup^{-}}\left((-1)\,\underset{\rightarrow}{\lozenge^{-}}\,\left(\underset{\rightarrow}{\bigtriangleup^{+}}\,2\right)\right)=\underset{\leftarrow}{\bigtriangleup^{-}}\left((-1)\,\underset{\rightarrow}{\lozenge^{-}}\,2\right).\tag{5.2.2.25}=\underset{\leftarrow}{\bigtriangleup^{-}}\left(-2\right)=-2.$

得到结果 $-2$ ，然后我们再将 $-2$ 收缩 $2$ 倍(负有理数的正有理数倍收缩)，即：

$\underset{\leftarrow}{\bigtriangleup^{-}}\left((-2)\,\underset{\leftarrow}{\lozenge^{-}}\,\left(\underset{\rightarrow}{\bigtriangleup^{+}}\,2\right)\right)=\underset{\leftarrow}{\bigtriangleup^{-}}\left((-2)\,\underset{\leftarrow}{\lozenge^{-}}\,2\right)=\underset{\leftarrow}{\bigtriangleup^{-}}(-1)=-1.\tag{5.2.2.26}$

结果又回到了 $-1$ ，这就说明了对于同一伸缩倍数 $2$ 而言，负有理数的正有理数倍拉长与负有理数的正有理数倍拉长互为逆元，两者复合的结果是单元元 $\mathrm{Id}_{B}$ ，表示“不进行伸缩”。

$\large\bm{\mathrm{Remark:}}$
实际上，对于八种 $\underset{\leftrightarrow}{\beta}$ ： $\underset{\rightarrow}{\beta^{+\to-}},\,\underset{\leftarrow}{\beta^{+\to-}},\,\underset{\rightarrow}{\beta^{-\to+}},\,\underset{\leftarrow}{\beta^{-\to+}},\,\underset{\rightarrow}{\beta^{+\to+}},\,\underset{\leftarrow}{\beta^{+\to+}},\,\underset{\rightarrow}{\beta^{-\to-}},\,\underset{\leftarrow}{\beta^{-\to-}}.\tag{5.2.2.27}$
它们的逆元都是唯一的，并且(从左到右)分别为： $\underset{\leftarrow}{\beta^{-\to+}},\,\underset{\rightarrow}{\beta^{-\to+}},\,\underset{\leftarrow}{\beta^{+\to-}},\,\underset{\rightarrow}{\beta^{+\to-}},\,\underset{\leftarrow}{\beta^{+\to+}},\,\underset{\rightarrow}{\beta^{+\to+}},\,\underset{\leftarrow}{\beta^{-\to-}},\,\underset{\rightarrow}{\beta^{-\to-}}.\tag{5.2.2.28}$

对于非零实数而言，我们也可以定义它的伸缩为：

$\underset{\leftrightarrow}{\gamma}:\mathbb{R}_{\ne 0}\to\mathbb{R}_{\ne 0},\quad i\mapsto \underset{\leftrightarrow}{\blacktriangle}\left(i\,\underset{\leftrightarrow}{\blacklozenge}\, \left(\underset{\rightarrow}{\blacktriangle}\,j\right)\right),\,\,j\in\mathbb{R}_{\ne0}.\tag{5.2.2.29}$

其中 $\underset{\leftrightarrow}{\blacklozenge}$ 表示非零实数的伸缩运算， $\underset{\leftrightarrow}{\blacktriangle}$ 表示非零实数的镜像(包括纯镜像和纯虚镜像)运算。与 $\underset{\leftrightarrow}{\beta}$ 一样，其也有八种情况：

$\underset{\rightarrow}{\gamma^{+\to-}},\,\underset{\leftarrow}{\gamma^{+\to-}},\,\underset{\rightarrow}{\gamma^{-\to+}},\,\underset{\leftarrow}{\gamma^{-\to+}},\,\underset{\rightarrow}{\gamma^{+\to+}},\,\underset{\leftarrow}{\gamma^{+\to+}},\,\underset{\rightarrow}{\gamma^{-\to-}},\,\underset{\leftarrow}{\gamma^{-\to-}}.\tag{5.2.2.30}$

并且上述的八种映射都是双射的，也就是说它都是具有逆的，它们的逆分别是(从左到右)：

$\underset{\leftarrow}{\gamma^{-\to+}},\,\underset{\rightarrow}{\gamma^{-\to+}},\,\underset{\leftarrow}{\gamma^{+\to-}},\,\underset{\rightarrow}{\gamma^{+\to-}},\,\underset{\leftarrow}{\gamma^{+\to+}},\,\underset{\rightarrow}{\gamma^{+\to+}},\,\underset{\leftarrow}{\gamma^{-\to-}},\,\underset{\rightarrow}{\gamma^{-\to-}}.\tag{5.2.2.31}$

并且这八种情况的复合也分有效复合与无效复合两种。且任意两个 $\underset{\leftrightarrow}{\gamma}$ 对一般的复合运算 $\circ$ 也是封闭的，且无效复合的无效复合还是无效的，无效复合的有效复合是有效的，有效复合的无效复合是无效的，有效复合的有效复合是有效的。总之， $\underset{\leftrightarrow}{\gamma}$ 与 $\underset{\leftrightarrow}{\beta}$ 的运作方式以及基本性质都是十分相似的。

$\large \bm{5.3}$ 复数的滑动

图片7

如图 7 中的滑动是将原始的复平面沿复数 $5+3\cdot i$ 进行的滑动。它可以被视为在实轴上的 $5$ 个单位的向右滑动(对应了实数的滑动)和虚轴上的 $3$ 个单位的向上滑动的复合，如图 8 所示。

图片8

图片 8 中的 $\heartsuit$ 为一种运算，后面我们会看到它的定义。
这样的分解可以让我们分别得到实轴与虚轴上的两个对应关系。首先是实轴上的对应关系：
$\begin{array}{r} \ldots\\ -3\to 2\\ -2\to 3\\ -1\to 4\\ 0\to 5\\ 1\to 6\\ 2\to 7\\ 3\to 8\\ \ldots \end{array}.\tag{5.3.1}$
利用之前定义的实数的向右滑动 $\underset{\rightarrow}{u}$ 我们可以得到：
$\begin{array}{r} \ldots\\ -3\to \underset{\rightarrow}{u}(-3)=2\\ -2\to \underset{\rightarrow}{u}(-2)=3\\ -1\to \underset{\rightarrow}{u}(-1)=4\\ 0\to \underset{\rightarrow}{u}(0)=5\\ 1\to \underset{\rightarrow}{u}(1)=6\\ 2\to \underset{\rightarrow}{u}(2)=7\\ 3\to \underset{\rightarrow}{u}(3)=8\\ \ldots \end{array}.\tag{5.3.2}$
然后我们就可以将实轴上的这种对应关系写为括号的形式了：

$\underset{\rightarrow}{u}= \begin{pmatrix} \ldots & -3 & -2 & -1 & 0 & 1 & 2 & 3 & \ldots \\ \ldots & \underset{\rightarrow}{u}(-3) & \underset{\rightarrow}{u}(-2) & \underset{\rightarrow}{u}(-1) & \underset{\rightarrow}{u}(0) & \underset{\rightarrow}{u}(1) & \underset{\rightarrow}{u}(2) & \underset{\rightarrow}{u}(3) & \ldots \\ \end{pmatrix}.\tag{5.3.3}$

下面我们再来看虚轴上的对应关系：
$\begin{array}{r} \ldots\\ -3\cdot i\to 0\\ -2\cdot i\to 1\cdot i\\ -1\cdot i\to 2\cdot i\\ 0\to 3\cdot i\\ 1\cdot i\to 4\cdot i\\ 2\cdot i\to 5\cdot i\\ 3\cdot i\to 6\cdot i\\ \ldots \end{array}.\tag{5.3.4}$
我们发现，如果我们只考察虚部的话，那么这种对应关系也可以被视为是实轴上的滑动。我们将这种 只看虚部的向上滑动 定义为 $\mu\uparrow$ 。于是我们有：
$\begin{array}{r} \ldots\\ -3\to \mu\uparrow(-3)=0\\ -2\to \mu\uparrow(-2)=1\\ -1\to \mu\uparrow(-1)=2\\ 0\to \mu\uparrow(0)=3\\ 1\to \mu\uparrow(1)=4\\ 2\to \mu\uparrow(2)=5\\ 3\to \mu\uparrow(3)=6\\ \ldots \end{array}.\tag{5.3.5}$
写为括号的形式为：

$\mu\uparrow= \begin{pmatrix} \ldots & -3 & -2 & -1 & 0 & 1 & 2 & 3 & \ldots \\ \ldots & \mu\uparrow(-3) & \mu\uparrow(-2) & \mu\uparrow(-1) & \mu\uparrow(0) & \mu\uparrow(1) & \mu\uparrow(2) & \mu\uparrow(3) & \ldots \\ \end{pmatrix}.\tag{5.3.6}$

这样我们就可以定义复数集上的一个 右上滑动 为：

其中运算 $\heartsuit$ 表示先沿实轴做滑动 $\underset{\leftrightarrow}{u}$ ，然后在沿虚轴做滑动 $\mu\updownarrow$ 。
我们刚刚定义了复平面的右上滑动，同理我们可以借助 $\underset{\leftrightarrow}{u}$ 和 $\mu\updownarrow$ 具体的定义 $8$ 个基本方向上的滑动。但是在此之前，我们还需要先对 $\mu\updownarrow$ 做一个明确的定义。定义 只考虑虚部的下滑动 为：

$\mu\uparrow\mathbb{R}\to\mathbb{R},\quad k\mapsto k\,{\diamondsuit}\uparrow\, l,\,\,l\in\mathbb{R}.\tag{5.3.8}$

定义 只考虑虚部的上滑动 为：

$\mu\downarrow:\mathbb{R}\to\mathbb{R},\quad k\mapsto k\,{\diamondsuit}\downarrow\, l,\,\,l\in\mathbb{R}.\tag{5.3.9}$

接下来我们就可以具体地定义复平面的 $8$ 个基本方向上的滑动了。定义 复数集上的右上滑动 ：

$w\nearrow:\mathbb{R}\times\mathbb{R}\to\mathbb{C},\quad \left(\underset{\rightarrow}{u},\mu\uparrow\right)\mapsto \left(\underset{\rightarrow}{u}\right)\,\heartsuit\,\left(\mu\uparrow\right)=\left(i\,\underset{\rightarrow}{\diamondsuit}\, j \right)\,\heartsuit\,\left(k\,{\diamondsuit}\uparrow\,l\right),\quad j,\,l\in\mathbb{R}.\tag{5.3.10}$

定义 复数集上的右下滑动 ：

$w\searrow:\mathbb{R}\times\mathbb{R}\to\mathbb{C},\quad \left(\underset{\rightarrow}{u},\mu\downarrow\right)\mapsto\left(\underset{\rightarrow}{u}\right)\,\heartsuit\,\left(\mu\downarrow\right)=\left(i\,\underset{\rightarrow}{\diamondsuit}\, j \right)\,\heartsuit\,\left(k\,{\diamondsuit}\downarrow\,l\right),\quad j,\,l\in\mathbb{R}.\tag{5.3.11}$

定义 复数集上的左上滑动 ：

$w\nwarrow:\mathbb{R}\times\mathbb{R}\to\mathbb{C},\quad \left(\underset{\leftarrow}{u},\mu\uparrow\right)\mapsto\left(\underset{\leftarrow}{u}\right)\,\heartsuit\,\left(\mu\uparrow\right)=\left(i\,\underset{\leftarrow}{\diamondsuit}\, j\right)\,\heartsuit\,\left(k\,{\diamondsuit}\uparrow\, l\right),\quad j,\,l\in\mathbb{R}.\tag{5.3.12}$

定义 复数集上的左下滑动 ：

$w\swarrow:\mathbb{R}\times\mathbb{R}\to\mathbb{C},\quad \left(\underset{\leftarrow}{u},\mu\downarrow\right)\mapsto\left(\underset{\leftarrow}{u}\right)\,\heartsuit\,\left(\mu\downarrow\right)=\left(i\,\underset{\leftarrow}{\diamondsuit}\,j\right)\,\heartsuit\,\left(k\,{\diamondsuit}\downarrow\,l\right),\quad j,\,l\in\mathbb{R}.\tag{5.3.13}$

定义 复数集上的竖直上滑动 ：

$w\uparrow:\mathbb{R}\times\mathbb{R}\to\mathbb{C},\quad \left(\mathrm{Id}_U,\mu\uparrow\right)\mapsto\left(\mathrm{Id}_U\right)\,\heartsuit\,\left(\mu\uparrow\right)=k\,{\diamondsuit}\uparrow\,l,\quad l\in\mathbb{R}.\tag{5.3.14}$

定义 复数集上的竖直下滑动 ：

$w\downarrow:\mathbb{R}\times\mathbb{R}\to\mathbb{C},\quad \left(\mathrm{Id}_U,\mu\downarrow\right)\mapsto\left(\mathrm{Id}_U\right)\,\heartsuit\,\left(\mu\downarrow\right)=k\,{\diamondsuit}\downarrow\,l,\quad l\in\mathbb{R}.\tag{5.3.15}$

定义 复数集上的水平左滑动 ：

$\underset{\leftarrow}{w}:\mathbb{R}\times\mathbb{R}\to\mathbb{C},\quad \left(\underset{\leftarrow}{u},\mathrm{Id}_{MU}\right)\mapsto\left(\underset{\leftarrow}{u}\right)\,\heartsuit\,\left(\mathrm{Id}_{MU}\right)=i\,\underset{\leftarrow}{\diamondsuit}\, j,\quad j\in\mathbb{R}.\tag{5.3.16}$

定义 复数集上的水平右滑动 ：

$\underset{\rightarrow}{w}:\mathbb{R}\times\mathbb{R}\to\mathbb{C},\quad \left(\underset{\rightarrow}{u},\mathrm{Id}_{MU}\right)\mapsto\left(\underset{\rightarrow}{u}\right)\,\heartsuit\,\left(\mathrm{Id}_{MU}\right)=i\,\underset{\rightarrow}{\diamondsuit}\, j,\quad j\in\mathbb{R}.\tag{5.3.17}$

下面我们通过例子来说明几个问题。
$\rm{i).}$ 我们对复数 $0+0\cdot i$ 先做右上滑动 $\left(i\,\underset{\rightarrow}{\diamondsuit}\, 1 \right)\,\heartsuit\,\left(k\,{\diamondsuit}\uparrow\,2\right)$ 得到结果 $1+2\cdot i$ ，再做右上滑动 $\left(i\,\underset{\rightarrow}{\diamondsuit}\, 2 \right)\,\heartsuit\,\left(k\,{\diamondsuit}\uparrow\,1\right)$ 得到结果 $3+3\cdot i$ ，那么最终的效果与直接做右上滑动 $\left(i\,\underset{\rightarrow}{\diamondsuit}\, 3 \right)\,\heartsuit\,\left(k\,{\diamondsuit}\uparrow\,3\right)$ 滑动的效果是一样的。这就说明了 复数的滑动是可以复合的 。

图片9：复数滑动的复合。

$\rm{ii).}$ 我们对复数 $0+0\cdot i$ 先做右上滑动 $\left(i\,\underset{\rightarrow}{\diamondsuit}\, 1 \right)\,\heartsuit\,\left(k\,{\diamondsuit}\uparrow\,2\right)$ 得到结果 $1+2\cdot i$ ，再做左下滑动 $\left(i\,\underset{\leftarrow}{\diamondsuit}\, 1 \right)\,\heartsuit\,\left(k\,{\diamondsuit}\downarrow\,2\right)$ ，结果又回到了 $0+0\cdot i$ 。这就说明了复数的滑动是可逆的 。具体而言，之前定义的复平面在八个基本方向上的滑动：

$w\nearrow,\,w\searrow,\,w\nwarrow,\,w\swarrow,\,w\uparrow,\,w\downarrow,\,\underset{\leftarrow}{w},\,\underset{\rightarrow}{w}\tag{5.3.18}$

的逆分别是(从左至右)分别是：

$w\swarrow,\,w\nwarrow,\,w\searrow,\,w\nearrow,\,w\downarrow,\,w\uparrow,\,\underset{\rightarrow}{w},\,\underset{\leftarrow}{w}.\tag{5.3.19}$
$\rm{iii).}$ 复数集上的任意两个滑动的复合还是还是一个复数集上的滑动。即定义在复数集上的滑动对复合运算 $\circ$ 是封闭的 。

$\large \bm{5.4}$ 非零复数的旋转伸缩

现在终于来到了我们的最后一个部分了。非零复数的伸缩分为两种，一种是非零复数的非零实数倍的伸缩，这种伸缩我们也称为 纯伸缩 。另外一种是非零复数的非零复数倍的伸缩，这种伸缩我们称为 带旋转的伸缩 。对于带旋转的伸缩，我们还需定义的是 纯旋转 的概念。首先我们先来看非零复数的纯伸缩。

$\bm{5.4.1}$ 非零复数的纯伸缩

这是原文中最为复杂的一部分，所以这里我打算换一种简单的定义方式。

图片10

如图片 10 所示，我们将复平面拉长为原来的两倍，这相当于我们同时将实轴与虚轴拉长到原来的两倍。而非零实数的正实数倍拉长我们之前已经定义过了，并且，对虚轴如果我们只考虑它的虚部的话，那么这里虚轴的拉长我们也可以视为非零实数的正实数倍拉长。这或许为我们定义非零复数的纯伸缩提供了一种思路。所以我们不妨顺着这个思路继续深入。我们首先要做的就是仿照非零实数的正实数倍拉长，定义一个对应的 只考虑虚轴的拉长。

$r\updownarrow:\mathbb{R}_{\ne 0}\to\mathbb{R}_{\ne 0},\quad i\mapsto {\blacktriangle}\updownarrow\left(i\,{\blacklozenge}\updownarrow\, \left({\blacktriangle}\uparrow\,j\right)\right),\,\,j\in\mathbb{R}_{\ne0}\tag{5.4.1.1}.$

这里将 $\underset{\leftrightarrow}{\gamma}$ 中的左右箭头 $\leftrightarrow$ 换成了上下箭头 $\updownarrow$ ，表示的是 竖直方向上的伸缩 。显然， $r$ 也具有 $8$ 种子情况。

其中 $\underset{\leftrightarrow}{\gamma}$ 必须与 $r\updownarrow$ 必须同为拉长或者同为收缩，并且同为拉长时，拉长的倍数必须相等；同为收缩时，收缩的倍数必须相等 。

并且我们知道 $\underset{\leftrightarrow}{\gamma}$ 的定义域与值域也是 $\mathbb{R}_{\ne 0}$ 与 $\mathbb{R}_{\ne 0}$ 。这样我们就可以先来定义实部和虚部都不等于零的复数的伸缩了：

$\underset{\leftrightarrow}{\delta^*\updownarrow}:=\underset{\leftrightarrow}{\gamma}\,\clubsuit\,r\updownarrow.\tag{5.4.1.2}$

其中运算 $\clubsuit$ 表示 实轴与虚轴同时做相同倍数的拉长或者相同倍数的收缩 。另外我们知道，非零复数还包括在实轴上的复数和在虚轴上的复数。那么我们进一步定义在实轴上的复数的伸缩为：

$\underset{\leftrightarrow}{\delta\updownarrow_{\mathrm{pas.}}}\,:=\underset{\leftrightarrow}{\gamma}.\tag{5.4.1.3}$

而在虚轴上的复数的伸缩我们定义为：

$\underset{\leftrightarrow_{\mathrm{pas.}}}{\delta\updownarrow}\,:= r\updownarrow.\tag{5.4.1.4}$

式 $(5.4.1.3),\,(5.4.1.4)$ 并不意味着当其中一个轴做伸缩时另外一个轴就不做相同的伸缩了，所以这里我们可以理解为当实轴做伸缩 $\leftrightarrow$ 时，虚轴在 被动地做与实轴一样的伸缩 $\updownarrow_{\mathrm{pas.}}$ ；当虚轴做伸缩 $\updownarrow$ 时，实轴在 被动地做与虚轴一样的伸缩 $\leftrightarrow_{\mathrm{pas.}}$ 。

现在我们将 $\underset{\leftrightarrow}{\delta^*\updownarrow},\,\underset{\leftrightarrow}{\delta\updownarrow_{\mathrm{pas.}}},\,\underset{\leftrightarrow_{\mathrm{pas.}}}{\delta\updownarrow}$ 合并到一起，并统一定义为：

$\begin{array}{c} \underset{\leftrightarrow}{\delta\updownarrow}\,:\left(\left(\mathbb{R}_{\ne 0}\times\mathbb{R}_{\ne 0}\right)\,\cup\,\left(\mathbb{R}_{\ne 0}\times\{0\}\right)\,\cup\,\left(\{0\}\times\mathbb{R}_{\ne 0}\right)\right)\to \mathbb{C}_{\ne 0},\quad \underset{\leftrightarrow}{\gamma}\,\clubsuit\,r\updownarrow.\tag{5.4.1.5} \end{array}$

我们根据非零复数所处的位置便可知道 $\underset{\leftrightarrow}{\delta\updownarrow}$ 为 $\underset{\leftrightarrow}{\delta^*\updownarrow},\,\underset{\leftrightarrow}{\delta\updownarrow_{\mathrm{pas.}}},\,\underset{\leftrightarrow_{\mathrm{pas.}}}{\delta\updownarrow}$ 中的哪一个。具体的我们可以定义 非零复数的纯拉长 为：

$\begin{array}{c} \underset{\rightarrow}{\delta\uparrow}\,:\left(\left(\mathbb{R}_{\ne 0}\times\mathbb{R}_{\ne 0}\right)\,\cup\,\left(\mathbb{R}_{\ne 0}\times\{0\}\right)\,\cup\,\left(\{0\}\times\mathbb{R}_{\ne 0}\right)\right)\to \mathbb{C}_{\ne 0},\quad \underset{\rightarrow}{\gamma}\,\clubsuit\,r\uparrow.\tag{5.4.1.6} \end{array}$

定义非零复数的纯收缩 为：

$\begin{array}{c} \underset{\leftarrow}{\delta\downarrow}\,:\left(\left(\mathbb{R}_{\ne 0}\times\mathbb{R}_{\ne 0}\right)\,\cup\,\left(\mathbb{R}_{\ne 0}\times\{0\}\right)\,\cup\,\left(\{0\}\times\mathbb{R}_{\ne 0}\right)\right)\to \mathbb{C}_{\ne 0},\quad \underset{\leftarrow}{\gamma}\,\clubsuit\,r\downarrow.\tag{5.4.1.7} \end{array}$

最后我们来谈一谈 $\underset{\leftrightarrow}{\delta\updownarrow}$ 复合的问题。对于 $\underset{\leftrightarrow}{\delta\updownarrow_{\mathrm{pas.}}}$ 或者 $\underset{\leftrightarrow_{\mathrm{pas.}}}{\delta\updownarrow}$ 的复合情况这里就不再说明了，因为这两种情况下的复合与非零实数伸缩的复合原理是一样的。不过可以从这两种特殊情况中看到的是： $\underset{\leftrightarrow}{\delta\updownarrow}$ 复合也会涉及到有效复合与无效复合这两种不同的情况。但是， $\underset{\leftrightarrow}{\delta\updownarrow}$ 的复合是否有效也完全取决于 $\underset{\leftrightarrow}{\gamma}$ (或 $r\updownarrow$ )之间的复合是否有效。

举一个实际的例子。比如我想将复数 $1+2\cdot i$ 做 $(-2)$ 倍的拉长，这就意味着我们要同时对实轴和虚轴做 $(-2)$ 倍的拉长： $\underset{\rightarrow}{\gamma^{+\to-}}=\underset{\leftarrow}{\blacktriangle^{+}}\left(1\,\underset{\rightarrow}{\blacklozenge^+}\, \left(\underset{\rightarrow}{\blacktriangle^{-}}\,(-2)\right)\right)=\underset{\leftarrow}{\blacktriangle^{+}}\left(1\,\underset{\rightarrow}{\blacklozenge^+}\, 2\right)=\underset{\leftarrow}{\blacktriangle^{+}}2=-2.\tag{5.4.1.8}$ ${r^{+\to-}}\uparrow={\blacktriangle^{+}}\downarrow\left(2\,{\blacklozenge^+}\uparrow\, \left({\blacktriangle^{-}}\uparrow\,(-2)\right)\right)={\blacktriangle^{+}}\downarrow\left(2\,{\blacklozenge^+}\uparrow\, 2\right)={\blacktriangle^{+}}\downarrow4=-4.\tag{5.4.1.9}$
这样得到的结果是 $-2-4\cdot i$ 。因为此时 $i,\,j$ 都是负实数(即 $(i,j)$ 为一负有序实数对)，所以我们就不能进一步对 $(-2,-4)$ 做正实数的伸缩的了(即正有序实数对的负伸缩不能复合其自身，即这种复合就是无效的)。但是我们可以对负有序实数对 $(-2,-4)$ 做负有序实数对的伸缩，比如再对它做一个 $(-2)$ 倍的拉长： $\underset{\rightarrow}{\gamma^{-\to+}}=\underset{\rightarrow}{\blacktriangle^{-}}\left(-2\,\underset{\rightarrow}{\blacklozenge^-}\, \left(\underset{\rightarrow}{\blacktriangle^{-}}\,(-2)\right)\right)=\underset{\rightarrow}{\blacktriangle^{-}}\left(-2\,\underset{\rightarrow}{\blacklozenge^-}\, 2\right)=\underset{\rightarrow}{\blacktriangle^{-}}(-4)=4.\tag{5.4.1.10}$ ${r^{-\to+}}\uparrow={\blacktriangle^{-}}\uparrow\left(-4\,{\blacklozenge^-}\uparrow\, \left({\blacktriangle^{-}}\uparrow\,(-2)\right)\right)={\blacktriangle^{-}}\uparrow\left(-4\,{\blacklozenge^-}\uparrow\, 2\right)=\blacktriangle^{-}\uparrow(-8)=8.\tag{5.4.1.11}$
这样最终的结果是 $4+8\cdot i$ 。

对于无效的复合，我们依然将其结果定义为复合之前的变换。这样就保证了 $\underset{\leftrightarrow}{\delta\updownarrow}$ 对复合的封闭性。并且我们断言： $\underset{\leftrightarrow}{\delta\updownarrow}$ 的所有情况都是可逆的。

$\bm{5.4.2}$ 非零复数的纯旋转

非零复数的纯旋转的定义可以说是非常直观的。首先是 非零复数的纯逆时针旋转 ：

$p_{\circlearrowleft}:\mathbb{R}_{>0}\times[0,2\pi)\to\mathbb{C}_{\ne 0},\quad (r,\phi)\mapsto \left(r\angle\phi\right)\circlearrowleft\theta,\quad\theta\in[0,2\pi).\tag{5.4.2.1}$ 0}\times[0,2\pi)\to\mathbb{C}_{\ne 0},\quad (r,\phi)\mapsto \left(r\angle\phi\right)\circlearrowleft\theta,\quad\theta\in[0,2\pi).\tag{5.4.2.1}” eeimg=”1″>

然后是 非零复数的纯顺时针旋转 ：

$p_{\circlearrowright}:\mathbb{R}_{>0}\times[0,2\pi)\to\mathbb{C}_{\ne 0},\quad (r,\phi)\mapsto \left(r\angle\phi\right)\circlearrowright\theta,\quad\theta\in[0,2\pi).\tag{5.4.2.2}$ 0}\times[0,2\pi)\to\mathbb{C}_{\ne 0},\quad (r,\phi)\mapsto \left(r\angle\phi\right)\circlearrowright\theta,\quad\theta\in[0,2\pi).\tag{5.4.2.2}” eeimg=”1″>

举个实际的例子：
$(2,60^{\circ})\mapsto \left(2\angle60^{\circ}\right)\circlearrowleft15^{\circ}\tag{5.4.2.3}=2\angle75^{\circ}.$
表示的就是将长度为 $2$ 的，辐角为 $60^{\circ}$ 的复数逆时针旋转 $15^{\circ}$ 。

并且我们容易验证以下几点：

$\rm{i).}$ 定义在复数集上的纯旋转是可以复合的。比如先将复平面逆时针旋转 $45^{\circ}$ (即 $\left(r\angle\phi\right)\circlearrowleft 45^{\circ}$ )，然后再逆时针旋转 $45^{\circ}$ (即 $\left(r\angle\phi\right)\circlearrowleft 45^{\circ}$ )，则最后的效果与直接逆时针旋转 $90^{\circ}$ (即 $\left(r\angle\phi\right)\circlearrowleft 90^{\circ}$ )的效果是一致的，如图11所示：

图片11

$\rm{ii).}$ 定义在复数集上的纯旋转是双射的(即可逆的)。因为我们可以将任意一个非零的复数 $r\angle\phi$ 通过逆时针(或顺时针)旋转角度 $\theta$ 都可对应于复平面上的一个复数。而且反过来，将复数 $\left(r\angle\phi\right)\circlearrowleft\theta$ (或 $\left(r\angle\phi\right)\circlearrowleft\theta$ ) 顺时针(或逆时针)旋转之后都可以唯一对应到一个非零的复数 $r\angle\phi$ 。

$\rm{iii).}$ 定义在复数集上的任意两个纯旋转的复合还是一个复数集上的纯旋转。即定义在复数集上的纯旋转对复合运算 $\circ$ 是封闭的。

$\bm{5.4.3}$ 非零复数的带旋转的伸缩

在定义非零复数的带旋转的伸缩之前我们首先要来思考一个问题：我们是否真的仅仅将非零复数的纯伸缩与纯旋转进行复合就可以了？答案是否定的。但这是为什么呢？如果不将两者直接复合那应该如何定义非零复数的的带旋转的伸缩呢？这里我们不妨先回忆我们非零复数的纯伸缩的定义。在我们讨论非零复数的纯伸缩的时候我们发现，对于非零复数的正实数伸缩，伸缩的结果总是没有镜像效果的(我们可以将这种伸缩称为非零复数的 保向伸缩 )，即非零复数的正实数伸缩总是将一个复数直接进行伸缩而不用考虑镜像(这一点的根源是非零实数的正实数伸缩)。而非零复数的负实数伸缩总是会产生镜像作用的(即复数在被拉长的同时会通过复平面的原点中心对称，这一点的根源是非零实数的负实数伸缩)，而这种镜像作用恰好对应了非零复数的纯 $180^{\circ}$ 旋转。所以我们如果直接将非零复数的纯伸缩与非零复数的纯旋转复合的话会很混乱。所以取而代之的是，我们将 非零复数的正实数伸缩与非零复数的纯旋转进行复合 ，进而来定义非零复数的带旋转的伸缩。

这里我们首先要给出具体的非零复数的正实数伸缩的定义。我们将要分八种情况进行说明。我们将“挖掉原点的”复平面拆解一下，拆解为一下八个部分：

$\rm{i).}$ 实轴正半轴 ；

$\rm{ii).}$ 实轴负半轴 ；

$\rm{iii).}$ 虚轴正半轴 ；

$\rm{iv).}$ 虚轴负半轴 ；

$\rm{v).}$ 实部与虚部均大于零的部分 ；

$\rm{vi).}$ 实部小于零，但是虚部大于零的部分 ；

$\rm{vii).}$ 实部与虚部均小于零的部分 ；

$\rm{viii).}$ 实部大于零，但是虚部小于零的部分 。

之后我将 使用相应的编号来代表这八个部分 。首先要明确的是 任意一个非零复数一定处于这八个部分中的一个，且同时只能属于唯一的一个 。所以我们定义非零复数的正实数伸缩可以通过对这八种情况分别进行定义。下面我们就来逐一的定义一下：

$\rm{i).}$

$\underset{\leftrightarrow}{\delta^{(+,0)\to(+,0)}\updownarrow_{\mathrm{pas.}}}\,:= \underset{\leftrightarrow}{\gamma^{+\to+}}.\tag{5.4.3.1}$

$\rm{ii).}$

$\underset{\leftrightarrow}{\delta^{(-,0)\to(-,0)}\updownarrow_{\mathrm{pas.}}}\,:= \underset{\leftrightarrow}{\gamma^{-\to-}}.\tag{5.4.3.2}$

$\rm{iii).}$

$\underset{\leftrightarrow_{\mathrm{pas.}}}{\delta^{(0,+)\to(0,+)}\updownarrow}\,:= r^{+\to+}\updownarrow.\tag{5.4.3.3}$

$\rm{iv).}$

$\underset{\leftrightarrow_{\mathrm{pas.}}}{\delta^{(0,-)\to(0,-)}\updownarrow}\,:= r^{-\to-}\updownarrow.\tag{5.4.3.4}$

$\rm{v).}$

$\underset{\leftrightarrow}{\delta^{(+,+)\to(+,+)}\updownarrow}:= \underset{\leftrightarrow}{\gamma^{+\to+}}\,\clubsuit\,r^{+\to+}\updownarrow.\tag{5.4.3.5}$

$\rm{vi).}$

$\underset{\leftrightarrow}{\delta^{(-,+)\to(-,+)}\updownarrow}:= \underset{\leftrightarrow}{\gamma^{-\to-}}\,\clubsuit\,r^{+\to+}\updownarrow.\tag{5.4.3.6}$

$\rm{vii).}$

$\underset{\leftrightarrow}{\delta^{(-,-)\to(-,-)}\updownarrow}:= \underset{\leftrightarrow}{\gamma^{-\to-}}\,\clubsuit\,r^{-\to-}\updownarrow.\tag{5.4.3.7}$

$\rm{viii).}$

$\underset{\leftrightarrow}{\delta^{(+,-)\to(+,-)}\updownarrow}:= \underset{\leftrightarrow}{\gamma^{+\to-}}\,\clubsuit\,r^{+\to-}\updownarrow.\tag{5.4.3.8}$

我们将以上八种情况合并为映射 $\underset{\leftrightarrow}{\delta_{\mathrm{P.D.}}\updownarrow}\,:\left(\left(\mathbb{R}_{\ne 0}\times\mathbb{R}_{\ne 0}\right)\,\cup\,\left(\mathbb{R}_{\ne 0}\times\{0\}\right)\,\cup\,\left(\{0\}\times\mathbb{R}_{\ne 0}\right)\right)\to \mathbb{C}_{\ne 0}$ 。根据复数所处的位置我们可以明确 $\underset{\leftrightarrow}{\delta_{\mathrm{P.D.}}\updownarrow}$ 应为以上八种情况中的哪一种。

现在非零复数的正实数倍拉长 $\underset{\leftrightarrow}{\delta_{\mathrm{P.D.}}\updownarrow}$ 已经定义好了，下面我们就可以来定义非零复数带旋转的伸缩了。如之前所述，非零复数带旋转的伸缩可由为零复数的正实数倍拉长与非零复数的纯旋转复合得到(我们下面 只讨论逆时针旋转 ，顺时针旋转同理)：

$\psi:\mathbb{R}_{\ne0}\times[0,2\pi)\to\mathbb{C}_{\ne 0},\quad (r,\phi)\mapsto\left(\underset{\leftrightarrow}{\delta_{\mathrm{P.D.}}\updownarrow}\,\circ \left(\left(r\angle\phi\right)\circlearrowleft\theta\right)\right).\tag{5.4.3.9}$

举一个具体的例子：先将 $\sqrt{3}+i$ 逆时针 $\theta=30^{\circ}$ 的旋转得到： $(2,30^{\circ})\mapsto\left(2\angle30^{\circ}\right)\circlearrowleft30^{\circ}=2\angle60^{\circ}.\tag{5.4.3.10}$
变成复数 $1+\sqrt{3}\cdot i$ 之后再拉长 $2$ 倍： $\underset{\rightarrow}{\gamma^{+\to+}}=\underset{\rightarrow}{\blacktriangle^{+}}\left(1\,\underset{\rightarrow}{\blacklozenge}\, \left(\underset{\rightarrow}{\blacktriangle^{+}}\,2\right)\right)=\underset{\rightarrow}{\blacktriangle^{+}}\left(1\,\underset{\rightarrow}{\blacklozenge}\, 2\right)=\underset{\rightarrow}{\blacktriangle^{+}}2=2.\tag{5.4.3.11}$ ${r^{+\to+}}\uparrow={\blacktriangle^{+}}\uparrow\left(\sqrt{3}\,{\blacklozenge}\uparrow\, \left({\blacktriangle^{+}}\uparrow\,2\right)\right)={\blacktriangle^{+}}\uparrow\left(\sqrt{3}\,{\blacklozenge}\uparrow\, 2\right)={\blacktriangle^{+}}\uparrow2\sqrt 3=2\sqrt 3.\tag{5.4.3.12}$
最后得到结果 $2+2\cdot\sqrt{3}\cdot i$ 。

在之前的讨论中，我们知道 $\underset{\leftrightarrow}{\delta\updownarrow}$ $\left(\underset{\leftrightarrow}{\delta_{\mathrm{P.D.}}\updownarrow}\right)$ 与 $p_{\circlearrowleft}$ 都是双射的，则他们的复合 $\psi$ 也是双射的。于是，当两个 $\psi$ 之间可以复合时，复合的结果自然也是双射的。所以我们需要重点讨论的是 $\psi$ 的可复合性。现在设：

$\psi_{a}:=\left(\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},a}\updownarrow}\circ \,p_{\circlearrowleft,a}\right),\quad \psi_{b}:=\left(\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},b}\updownarrow}\circ \,p_{\circlearrowleft,b}\right).\tag{5.4.3.13}$

我们可以将复合 $\psi_a\circ\psi_b$ 写为：

$\psi_a\circ\psi_b=\left(\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},a}\updownarrow}\circ\, p_{\circlearrowleft,a}\right)\circ\left(\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},b}\updownarrow}\circ\,p_{\circlearrowleft,b}\right).\tag{5.4.3.14}$

复合的有效性取决于 $\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},a}\updownarrow}$ 与 $\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},b}\updownarrow}$ 复合的合法性。为了保证两个非零复数的正实数倍拉长复合的合法性，我们必须要留意的是做完 $\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},b}\updownarrow}$ 之后非零复数所处的位置，然后再根据位置从前述的八种情况中选出对应的一种 $\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},a}\updownarrow}$ 进行复合 。在 $\underset{\leftrightarrow}{\delta_{\mathrm{P.D.},a}\updownarrow}\circ \underset{\leftrightarrow}{\delta_{\mathrm{P.D.},b}\updownarrow}$ 无效时我们定义：

即保持复合之前的旋转伸缩，这一定义与非零实数的非零实数倍拉长的无效复合的定义是类似的。并且由合法复合与非合法复合的定义我们保证了 $\psi$ 对复合运算是封闭的。

$\bm{5.4.4}$ 站在群的角度上来理解代数运算

在这之前我们已经做足了铺垫，现在我们可以站在群的角度上来理解代数运算了。整数和有理数我们就不再讨论了。我们只讨论实数与复数。首先我们先给出结论：

$\large\bm{\rm{\color{red}{Theorem\quad 5.4.1:}}}$

$\rm{i).}$ 实数的滑动对应于实数的加法；

$\rm{ii).}$ 非零实数的非零实数倍伸缩对应于非零实数的乘法；

$\rm{iii).}$ 复数的滑动对应于复数的加法；

$\rm{iv).}$ 非零复数的纯伸缩对应于非零复数与非零实数的乘法；

$\rm{v).}$ 非零复数的旋转伸缩对应于非零复数与非零复数的乘法。

$\color{red}{\large\blacksquare}$

$\large{\bm{\rm{Remark:}}}$ 这里我们没有为复数的纯旋转找到对应关系。这一关系我们将在下一节中补上。

下面我就仅对 $\rm{iii})\sim\rm{v})$ 各举一个例子。

$\large\bm{\rm{\color{Green}{Example\quad 5.4.1:}}}$

$\rm{iii).}$ 对于复数 $1+2\cdot i$ ，给它加上另一个复数 $3+4\cdot i$ 得到 $4+6\cdot i$ 。这相当于对复数 $1+2\cdot i$ 做了一个右上滑动，即：

$w\nearrow:\left(\underset{\rightarrow}{u},\mu\uparrow\right)\mapsto \left(\underset{\rightarrow}{u}\right)\,\heartsuit\,\left(\mu\uparrow\right)=\left(1\,\underset{\rightarrow}{\diamondsuit}\, 3 \right)\,\heartsuit\,\left(2\,{\diamondsuit}\uparrow\,4\right).\tag{5.4.4.1}$

$\rm{iv}).$ 对于复数 $1+2\cdot i$ ，给它乘上另一个负实数 $-3$ 得到 $-3-6\cdot i$ 。这相当于对复数 $1+2\cdot i$ 做了一个纯负实数倍的拉长，即：

$\underset{\rightarrow}{\gamma^{+\to-}}=\underset{\leftarrow}{\blacktriangle^+}\left(1\,\underset{\rightarrow}{\blacklozenge^+}\, \left(\underset{\rightarrow}{\blacktriangle^-}\,(-3)\right)\right)=\underset{\leftarrow}{\blacktriangle^+}\left(1\,\underset{\rightarrow}{\blacklozenge^+}\, 3\right)=\underset{\leftarrow}{\blacktriangle^+}3=-3.\tag{5.4.4.2}$

${r^{+\to-}}\uparrow={\blacktriangle^+}\downarrow\left(2\,{\blacklozenge^+}\uparrow\, \left({\blacktriangle^-}\uparrow\,(-3)\right)\right)={\blacktriangle^+}\downarrow\left(2\,{\blacklozenge^+}\uparrow\, 3\right)={\blacktriangle^+}\downarrow6=-6.\tag{5.4.4.3}$

$\rm{v).}$ 对于复数 $\sqrt{3}+i$ ，给它乘上另一个复数 $1+\sqrt{3}\cdot i$ 得到 $4\cdot i$ 。这相对于先对复数 $\sqrt{3}+i$ 做了一个 $60^\circ$ 的纯旋转：

$(2,30^{\circ})\mapsto\left(2\angle30^{\circ}\right)\circlearrowleft60^{\circ}=2\angle90^{\circ}.\tag{5.4.4.4}$

变成复数 $2\cdot i$ 之后再拉长 $2$ 倍：

$\begin{array}{c} \underset{\rightarrow}{\delta_{\mathrm{P.D.}}\uparrow}=\underset{\rightarrow_{\mathrm{pas.}}}{\delta^{(0,+)\to(0,+)}\uparrow}\\ {r^{+\to-}}\uparrow={\blacktriangle^+}\uparrow\left(2 \,{\blacklozenge^+}\uparrow\, \left({\blacktriangle^+}\uparrow\,2\right)\right)={\blacktriangle^+}\uparrow\left(2\,{\blacklozenge^+}\uparrow\, 2\right)={\blacktriangle^+}\uparrow4=4.\tag{5.4.4.5} \end{array}$

$\color{green}{\large\blacksquare}$

最后总结一下，如果在群的角度上理解代数运算的话我们实际上是将数字看成了一种作用，通过这种作用可以将原来的数字变成新的数字，所以说代数运算只不过是群作用的一种实际体现。

$\Large\bm{6.}$ 再看群同态与上帝公式和群论的关系

在之前我们看到，以 $e$ 为底的指数函数的运算律是群同态的一种体现。其实不止以 $e$ 为底的指数函数，以其他大于零的实数 $x$ 作为底数的指数函数也是群同态的一种体现。因为我们也有：

$x^{a+b}=x^a\cdot x^b.\tag{6.1}$

现在我们假设 $a,\,b\in\mathbb{R}$ ，由于之前我们将实数的加法解释为了实数的滑动，将非零实数的乘法解释为了非零实数的伸缩，并且底数大于零的实指数函数的值域是 $\mathbb{R}_{>0}$ 0}” eeimg=”1″> 。于是现在我们可以这样去理解 $x^{a+b}=x^a\cdot x^b$ ：我们将实数的滑动 ${a+b}$ 作为输入，得到的是正实数的伸缩 。这为我们提供了指数函数运算律的另一种理解方式。

那么基于这种理解方式，我们自然能想到是的：以其他大于零的实数 $x$ 作为底数的指数函数，当输入为复数的滑动时，输出的应是非零复数的旋转伸缩 。那么这个结论是否正确呢？下面我们就来简单讨论一下。

不妨设：

$a:=\alpha+\beta\cdot i,\,\,b:=\gamma+\delta\cdot i,\quad \alpha,\,\beta,\,\gamma,\,\delta\in\mathbb{R}.\tag{6.2}$

则：

$x^{a+b}=x^{(\alpha+\beta\cdot i)+(\gamma+\delta\cdot i)}=x^{(\alpha+\gamma)+i\cdot(\beta+\delta)}=x^{(\alpha+\gamma)}\cdot x^{i\cdot(\beta+\delta)}.\tag{6.3}$

由于 $x\in\mathbb{R}_{>0},\,\alpha,\,\gamma\in\mathbb{R}$ 0},\,\alpha,\,\gamma\in\mathbb{R}” eeimg=”1″> ，所以 $x^{(\alpha+\gamma)}\in\mathbb{R}_{>0}$ 0}” eeimg=”1″> ，进而 $x^{(\alpha+\gamma)}$ 起到的是纯伸缩的作用。那么现在的问题是为什么 $x^{i\cdot(\beta+\delta)}$ 起到的是纯旋转的作用呢？一种比较简单的解释方式是：

$x^{i\cdot(\beta+\delta)}=\exp\left(\ln\left(x^{i\cdot(\beta+\delta)}\right)\right)=\exp\left(i\cdot\ln\left(x^{(\beta+\delta)}\right)\right).\tag{6.4}$

由于 $x\in\mathbb{R}_{>0},\,\beta,\,\delta\in\mathbb{R}$ 0},\,\beta,\,\delta\in\mathbb{R}” eeimg=”1″> ，所以 $x^{(\beta+\delta)}\in\mathbb{R}_{>0}$ 0}” eeimg=”1″> ，进而 $\ln\left(x^{(\beta+\delta)}\right)\in\mathbb{R}$ 。现在我们将 $\ln\left(x^{(\beta+\delta)}\right)$ 定义为 $\theta$ ，则：

$x^{i\cdot(\beta+\delta)}=\exp\left(i\cdot\ln\left(x^{(\beta+\delta)}\right)\right)=\exp\left(i\cdot\theta\right).\tag{6.5}$

这就说明了 $x^{i\cdot(\beta+\delta)}$ 总是一个长度为 $1$ 的复数。所以它起到是复平面上的纯旋转作用。并且我们看到，以任意一个大于零的实数 $x$ 为底的指数函数将虚轴映射为复平面上的单位圆 。也就是说给定一个非零复数，给它乘以一个 $\exp(i\cdot\theta)$ 相当于使该复数纯旋转了角度 $\theta$ 。于是我们的又一个结论是(补 $\bm{\rm{Theorem\quad 5.4.1}}$ 中的复数的纯旋转找到对应关系)：

$\rm{vi).}$ 非零复数的纯旋转对应于非零复数与复数 $\exp(i\cdot\theta)$ 的乘法。

现在让我们再看到 $x^{i\cdot(\beta+\delta)}$ ，现在我们将 $\beta+\delta$ 定义为 $\xi\in\mathbb{R}$ 。则：

$x^{i\cdot(\beta+\delta)}=x^{i\cdot\xi}=\exp\left(i\cdot\ln\left(x^{\xi}\right)\right).\tag{6.6}$

就是说我们对以任意一个大于零的实数 $x$ 为底的指数函数的指数上放置一个纯虚数 $i\cdot\xi$ ，相当于在单位圆上从 $0^{\circ}$ 开始转动了角度 $\ln\left(x^{\xi}\right)$ ，其在单位圆上从 $0^{\circ}$ 开始转动的弧长也是 $\ln\left(x^{\xi}\right)$ 。则当 $x=e$ 时有：

$e^{i\cdot\xi}=\exp\left(i\cdot\ln\left(e^{\xi}\right)\right)=\exp(i\cdot \xi).\tag{6.7}$

也就是说以 $e$ 为底的指数函数的特殊之处在于，当其指数为 $i\cdot\xi$ 时，其在单位圆上从 $0^{\circ}$ 开始转动的角度恰好也是 $\xi$ ，并且在单位圆上从 $0^{\circ}$ 开始转动的弧长也是 $\xi$ 。更为特殊的，当 $\xi=\pi$ 时， $e^{i\cdot\pi}$ 表示的是：在单位圆上从 $0^{\circ}$ 开始转动的角度为 $\pi\overset{\triangle}{=}180^{\circ}$ ，并且在单位圆上从 $0^{\circ}$ 开始转动的弧长也是 $\pi$ ，而在单位圆上从 $0^{\circ}$ 开始转动弧长 $\pi$ 后到达的点是 $(-1,0\cdot i)$ 。因此，在这种意义上我们有：

$e^{i\cdot\pi}=-1.\tag{6.8}$

参考

^Euler’s formula with introductory group theory https://www.youtube.com/watch?v=mvmuCPvRoWQ
^奶牛快传链接 https://cowtransfer.com/s/2d0ff5dfa6d743

演道网

[知乎年度最长科普文]—上帝公式 e^(iπ)=-1 与群论有什么关系？

$\Large {\bm{\rm{1}.}}$ 引言

$\Large {\bm{\rm{2}.}}$ 群

$\Large {\bm{\rm{3}.}}$ 群同态

$\Large {\bm{\rm{4}.}}$ 置换与置换群

$\Large\bm{\rm{5.}}$ 站在群的角度上来理解代数运算

$\Large\bm{6.}$ 再看群同态与上帝公式和群论的关系

参考

About The Author

shine

2025年六月
M	T	W	T	F	S	S
« Jan
						1
2	3	4	5	6	7	8
9	10	11	12	13	14	15
16	17	18	19	20	21	22
23	24	25	26	27	28	29
30

引言

群

群同态

置换与置换群

站在群的角度上来理解代数运算

再看群同态与上帝公式和群论的关系

参考

Related Posts

About The Author

shine

$\Large {\bm{\rm{1}.}}$ 引言

$\Large {\bm{\rm{2}.}}$ 群

$\Large {\bm{\rm{3}.}}$ 群同态

$\Large {\bm{\rm{4}.}}$ 置换与置换群

$\Large\bm{\rm{5.}}$ 站在群的角度上来理解代数运算

$\Large\bm{6.}$ 再看群同态与上帝公式和群论的关系