数学笔记 · 思路链 其二

素数、指数与自然数:一个旋转坐标系的两类结构

把算术基本定理写成一个三元坐标 $(p,n,N)$:素数为一轴、指数为一轴、自然数为锥顶。绕不同的轴旋转,分别扫出自然数序列与素数幂序列——前者长出 e 与 $\frac{1}{x-1}$,后者长出几何级数与 $\frac{1}{1-x}$,两者在同一个一阶极点上统一。

算术基本定理旋转对称几何级数e

壹三元坐标:算术基本定理的几何化

每个正整数都是素数的幂之积,先取单素数情形立起坐标系

算术基本定理告诉我们,任意正整数都可以唯一分解为素数幂的乘积。先考虑只含一个素因子的情形:

$$N = p^{\,n}$$

其中 $p$ 为素数,$n$ 为指数次数,$N$ 为所得自然数。把三者立成三维坐标:

$$(x,\ y,\ z) = (p,\ n,\ N)$$
三元坐标透视锥:绿色顶点 N,红色 n 轴点列,紫色 p 轴点列,灰色截平面
一般构型:绿色顶点 $N$ 是投射中心(极点),灰色平面是截平面;红色点列是 $n$ 轴(指数),紫色点列是 $p$ 轴(素数),从顶点引出的每条射线对应一组固定的幂关系 $N=p^n$。

这是一个中心透视锥:顶点 $N$ 相当于我们此前一路追踪的一阶极点,截平面上的两列分点,就是极点沿两个方向投射出的离散刻度。绕不同的轴旋转,会扫出两类完全不同的数学结构。

贰第一类:绕素数轴 $p$ 旋转,扫出自然数

固定素数基底,让指数遍历 1, 2, 3, …

固定素数 $p$(即绕 $p$ 轴旋转),让指数 $n$ 沿红轴依次取遍自然数:

$$n = 1,\,2,\,3,\,4,\,5,\,\dots$$
绕 p 轴旋转:指数遍历自然数 1,2,3,4,5,对应 e 与 1/(x-1)
绕 $p$ 轴旋转:指数刻度是自然数序列,极限结构指向 e,极点的右侧展开为 $\frac{1}{x-1}$。

这正是此前思路链里 e 的极限定义所在的一侧。令分点 $x=1+\frac1n$,指数位置恰好是极点的倒数 $\frac{1}{x-1}=n$,于是:

$$e=\lim_{n\to\infty}\left(1+\frac1n\right)^n=\lim_{x\to1^{+}}x^{\frac{1}{x-1}}$$

对应的级数展开,是极点右侧的负幂次级数,对全体自然数求和:

$$\frac{1}{x-1}=\frac1x+\frac1{x^2}+\frac1{x^3}+\cdots,\qquad |x|>1$$
这一侧的本质:加法群 指数 $n$ 按整数步长平移,生成的是加法群 $\mathbb{Z}$;旋转一周就是生成元的一次迭代。对自然数负幂求和,正是黎曼 ζ 函数级数形式 $\zeta(s)=\sum_{n=1}^{\infty}n^{-s}$ 的来源,极点在 $s=1$。

叁第二类:绕指数轴 $n$ 旋转,扫出素数幂

固定指数次数,让素数沿幂次 1, p, p², p³, … 展开

固定指数 $n$(即绕 $n$ 轴旋转),让素数沿自身幂次展开,截平面上得到等比序列:

$$1,\ p,\ p^2,\ p^3,\ p^4,\ p^5,\ \dots$$
绕 n 轴旋转:素数幂序列 1,p,p²,p³,对应几何级数与 1/(1-x)
绕 $n$ 轴旋转:刻度是素数幂等比序列,正是几何级数,极点的左侧展开为 $\frac{1}{1-x}$。

令 $x=p^{-s}$,这列素数幂逐项求和就是最基础的几何级数,也是欧拉乘积里的单个素因子:

$$\frac{1}{1-x}=1+x+x^2+x^3+\cdots=\frac{1}{1-p^{-s}},\qquad |x|<1$$
这一侧的本质:乘法群 素数幂按倍乘增长,生成单个素数对应的循环子群 $p^{\mathbb{Z}}$。对全体素数取乘积,由算术基本定理恰好遍历所有正整数:$\displaystyle\prod_{p}\frac{1}{1-p^{-s}}=\sum_{n=1}^{\infty}\frac{1}{n^s}=\zeta(s)$。

肆两个特例:当 $N$ 本身是质数时,旋转轴切换

顶点落到与基底同值的位置,对称轴便从 $p$ 轴换到 $n$ 轴

一般构型里顶点是 $N=p^n$。在两个特殊取值下,顶点与某条轴端点重合,$x=z$(素数维与数值维相等),旋转对称轴随之切换。

质数态:坐标 (p,1,p),顶点为 p,红轴端点为 1
一阶质数态
$(p,\,n,\,N)=(p,\,1,\,p)$
指数 $n=1$,$N=p$,顶点与 $p$ 轴端点重合,红轴收到 $1$,转为绕 $n$ 轴对称。
平方态:坐标 (p²,p,p²),顶点为 p²,红轴端点为 p
二阶幂态
$(p,\,n,\,N)=(p^2,\,p,\,p^2)$
指数 $n=p$,顶点取 $p^2$,仍满足 $x=z$,继续绕 $n$ 轴对称;对应平方级细分刻度。

这正是此前“坐标轴互换”的几何版本:在一般构型中绕 $p$ 轴旋转,而当数值退化到质数(及其匹配幂次)时,对称改由 $n$ 轴承担。两类旋转、两根轴,描述的是同一个锥在不同退化位置上的对称面。这一族构型可继续推广:$(p^k,\,p^{k-1},\,p^k)$ 都绕 $n$ 轴对称,对应任意阶细分精度,对称结构不变。

伍统一于对角线 $p=n$ 与一阶极点

两根旋转轴、两类级数,是同一个奇点的两个正交切面

在 $p$-$n$ 截平面上,对角线 $p=n$ 是两条轴的公共不动线:交换 $p$ 与 $n$ 时,对角线上的点保持不动。取比值变量 $x=\frac{p}{n}$,对角线恰好对应 $x=1$——贯穿始终的一阶极点位置。

$$\frac{1}{1-x}\ \xlongequal{\,x=1\,}\ \text{同一奇点}\ \xlongequal{\,x=1\,}\ \frac{1}{x-1}$$
绕素数轴 $p$ 旋转绕指数轴 $n$ 旋转
扫出的序列$1,2,3,4,5,\dots$(自然数)$1,p,p^2,p^3,\dots$(素数幂)
代数结构加法群 $\mathbb{Z}$乘法循环子群 $p^{\mathbb{Z}}$
对应级数$\sum n^{-s}$,ζ 的级数形式$\sum p^{-ks}$,几何级数
极点展开$\frac{1}{x-1}$(右侧负幂)$\frac{1}{1-x}$(左侧正幂)
极限常数$e=\lim(1+\frac1n)^n$欧拉乘积单因子

沿对角线邻域逼近极点,天然长出 e:令 $\frac{p}{n}=1+\frac1n$,则 $N=p^n=n^n\left(1+\frac1n\right)^n$,当 $n\to\infty$ 时沿对角线收敛,其中 $\left(1+\frac1n\right)^n\to e$。e 就是沿对称中心线逼近一阶极点时的平衡常数。

两类结构,一条根

绕 $p$ 轴转,扫过指数—数值平面:自然数序列、e 的极限、$\frac{1}{x-1}$ 的右侧展开;

绕 $n$ 轴转,扫过素数—数值平面:素数幂几何级数、欧拉乘积因子、$\frac{1}{1-x}$ 的左侧展开;

两次旋转共享同一个锥顶(一阶极点),公共不动线是对角线 $p=n$。自然数与素数、加法与乘法、$e$ 与几何级数,在这个极点上重新合为一体。