最后更新: 2026-05-28 21:39 查看: 401 次纠错评论(0) 课件开VIP

序言2：欧拉公式、多值函数与黎曼曲面

## 函数
### 函数值的唯一性
什么叫做函数？形如$y=f(x)$就是函数，函数核心有三要输：定义域、对应法则和值域。同时，函数还有一个核心概念：唯一性。即给出一个$x$会有**唯一**的一个$y$和他对应。因此“求函数$y$的平方根”不是函数，因为给出一个$x=9$ 求平方根后，会有$x=+3$ 和 $x=-3$ 和他对应。

### 定义域的分割
考虑一个简单的函数 $y=\frac{1}{x}$ 他的定义域为$(-\infty,0) \cup (0, \infty)$. 现在我们使用动态的视角来理解这个函数。

参考下图，你沿着$x$轴走，你的影子会沿着$y$轴走动。但是因为$x \ne 0$，因此，你除了不能经过$x=0$这一点外，你可以走$x$轴上的任意一点，相应的你的影子也会有对应的值。

> **但是，当你沿着$x$轴从负轴走向正轴时，随着无限接近与0，神奇的事情发生了：在$x \to 0^-$ 你的影子在负无穷远处，但是一旦迈过了0，在$x \to 0^+$你的影子立刻跳跃到正无穷远处，也就是在$x=0$点出现了跳跃**。
 
> **请深刻理解上面影子的跳跃，下面介绍的$w=\sqrt{z}$就会出现这种情况，比如对$-1$进行开方，他的值有$i$和$-i$，从欧拉公式旋转的角度看，函数值也会发生跳跃，因此引入了黎曼面，点击 [演示](/uploads/2026-04/sqrt.html) 可以进行动画查看，当小红球转到$\pi$时，小篮球立刻发生的跳跃**
 
 ![图片](/uploads/2026-04/c3e6d5.jpg)
 
我们再看一下你的运动范围:$x \in R 且 x \ne 0$， 我们可以认为你把整个$x$轴分割成了2个半轴，一个是负数轴，一个是正数轴，而$x=0$就是分割点。

## 欧拉公式
欧拉公式的的形式是 $e^{ix} = \cos x + i\sin x$，其中$x$为任意实数。
为了更好的理解欧拉公式，我们对他进行稍微变形
$$
\boxed{
e^{i \theta } = \cos \theta + i\sin \theta
}
$$
上式中，$\theta$ 可以表示任何角度（以弧度表示，即任何实数）。

从物理角度理解$e^x$

1.  **普通的实数指数 $s= e^t$：直线逃跑**
    -   位置 = $ s=e^t$
    -   速度 = 导数 = $v= e^t$
    -   **结论**：速度方向和位置方向**完全一致**（都在实数轴上），速度大小和位置大小相等。结果就是位置**沿着直线越跑越快**（指数爆炸）。

2.  **虚数指数 $ e^{i\theta}$：原地转圈**
    -   现在把指数换成 $ i\theta$（$\theta$ 当作时间）。
    -   位置 = $ z(\theta) = e^{i\theta}$
    -   速度 = 导数 = $ i \cdot e^{i\theta}$

速度关键就在这里：**乘上一个 $ i$**。在复平面上，任何数乘以 $ i$ 的几何意义是：**逆时针旋转 90 度**。
   所以，速度 = 位置 $ \times i$ = **把位置向量拧转 90 度**。
**这意味着什么？** 你的速度方向永远垂直于你现在所在的位置向量。在物理上，**当速度始终垂直于位置向量时，物体做的只能是匀速圆周运动**（就像绳子拉着小球转圈，向心力垂直于速度方向，这里刚好反过来说，速度垂直于向径）。

再看速度的大小，也就是模长，他的模长是

$$
|e^{i \theta}| = \sqrt{\cos^2 \theta + \sin^2 \theta} = \sqrt{1} = 1
$$

综上，可以看到，欧拉公式的物理意义是：一个小球做运动，在整个运动过程中，速度大小始终为1，速度方法始终垂直于运动的轨迹，根据 [物理学圆周运动](https://kb.kmath.cn/kbase/detail.aspx?id=1076) ,此时小球的运动轨迹就是：运动圆周运动。

> **因此，欧拉公式的物理意义就是单位匀速圆周运动**。

下面的动画进一步解释了他的运动

详见 [欧拉公式](https://kb.kmath.cn/kbase/detail.aspx?id=1867)

帮助理解提示： 
**实数指数 $ e^t $**：油门踩死，方向盘打死在**正前方**。车速越来越快，位置当然是沿着直线冲到无穷远。
**虚数指数 $ e^{i\theta} $**：油门踩死，但方向盘打死在**左边**（左转 90 度）。你会发现你开始原地画圈。虽然你一直在踩油门（导数一直在作用），但所有的动力都用来改变方向了，所以速度大小（速率）恒定不变。

## 遍历复平面 
在一维直线上，要遍历整个数轴非常简单，只要沿着$x$轴从$-\infty$走到$+\infty$即可。但是在复平面内，如何遍历复平面上的每一个点，我要怎么走，才能走遍复平面上的所有的点，即不会漏掉又不会重复？ 欧拉公式为我们提供很好的解决方案。

> 这告诉我们以原点开始，走螺旋线，每走一圈，半径$r$增加一点点。

对于任何一个复数都可以写成$z=re^{i\theta}$的方式。

如果我们把轨迹画出来，大致如下：当你每走一圈时，半径就增加$\Delta r$，当 $r \to \infty$, $\Delta r \to 0$，就遍历了整个复平面，此时，既不会多，也不会少。

![图片](/uploads/2026-04/6fef54.jpg){width=300px}
 
 
  我们知道 $\sqrt[3]{z}$（当 $z \neq 0$ 时）有三个不同的值，所以它是一个三值多值函数．图 2－28 比较详尽地让我们回想起，是怎样使用映射 $z \mapsto z^3$ 来找出 $\sqrt[3]{p}$ 的三个值的。当 $z=r \mathrm{e}^{\mathrm{i} \theta}$ 沿着以原点为中心的圆周旋转时，$z^3=r^3 \mathrm{e}^{\mathrm{i} 3 \theta}$ 将以 3 倍角速度旋转，从而每当 $z$ 完成 $1 / 3$ 周旋转时，$z^3$ 就会完成一周旋转。利用这个事实，当找到一个解 $a$ 以后，就能找到另外两个（图上的 $b$与 $c$ ）。换一个说法，把映射方向颠倒为由右至左，角速度就降为 $1 / 3$ 。这就是理解映射 $z \mapsto \sqrt[3]{z}$ 的要点，而我们现在就来详细研究这个映射。
  
 ![图片](/uploads/2026-05/4d1c27.jpg)
 
 记 $z=r \mathrm{e}^{\mathrm{i} \theta}$ ，我们有 $\sqrt[3]{z}=\sqrt[3]{r} \mathrm{e}^{\mathrm{i}(\theta / 3)}$ 。这里 $\sqrt[3]{r}$ 是唯一定义的 $z$ 的长度的实立方根。这个公式的三重多义性的唯一来源是：一个给定点 $z$ 的角度可以有无穷多种选择。

把 $z$ 设想为起始在 $z=p$ 处的动点。如果任意地取其角度 $\theta$ 就是上图中的 $\phi$ ，则 $\sqrt[3]{p}=a$ 。当 $z$ 逐渐移动而离开 $p$ 时，$\theta$ 也逐渐变化离开 $\phi$ ，而且 $\sqrt[3]{z}=\sqrt[3]{r} \mathrm{e}^{\mathrm{i}(\theta / 3)}$也逐渐远离 $a$ 运动，但是以一种完全确定的方式运动，即动点 $\sqrt[3]{z}$ 到原点的距离总是 $z$ 的距离的立方根，而其角速度是 $z$ 的角速度的三分之一．

我们默认都是**从左到右**看待上图，如果**从右往左**看待上图，就是多值函数。

在$w=\sqrt[3]{z}$ 里，当你走$z=\pi$, $w=\frac{\pi}{3}$, 你走$z=\frac{2\pi}{3}$, $w=2\pi$
 
 ## 多值函数
欧拉函数是 $e^{i \theta } = \cos \theta + i\sin \theta$ ,请仔细看一下等号右边，这是一个三角函数，三角函数是周期函数且周期为$2n\pi$ 所以，任何一个复数都可以写成下面的周期形式

$$
z=e^{i( \theta +2n \pi) } = \cos (\theta+2n\pi) + i\sin( \theta+2n\pi)
$$

其实上面也很好理解，想象你在$z$平面上$(1,0)$这一点，因为欧拉公式表示圆周运动，那么他转了$2n\pi$ 都是经过这一点，。

上面遍历复平面方式对一般函数运行的很好， 比如$w=z^2$，你在$z$平面上走一个点，$w$平面上有一个唯一的点和他对应。但是部分函数不行，现在考虑$w=\sqrt{z}$.

`例`考虑函数 $w=\sqrt{z}$ 的黎曼面．
解：因为任何一个复数都可以写成
$z=\rho e^{i (\theta +2n \pi) }$ ，带入上式就得到

$$
w=\sqrt{z}=\sqrt{\rho}e^{i(\frac{\theta}{2}+n\pi)} ...(1)
$$

此时注意（1）式，我们使用欧拉公式展开就是

$$
w=\sqrt{\rho}( cos (\frac{\theta}{2}+n\pi) +i sin (\frac{\theta}{2}+n\pi))=(-1)^n\cdot \sqrt{\rho}\left(\cos\frac{\theta}{2}+i\sin\frac{\theta}{2}\right)
$$

化简就是

$$
w=\left\{\begin{array}{l}
\sqrt{\rho} e^{i \frac{\theta}{2}}, \quad n=0,2,4,6, \cdots \\
-\sqrt{\rho} e^{i \frac{\theta}{2}}, \quad n=1,3,5, \cdots
\end{array}\right.
$$
 
即：**随着$n$取奇数、偶数的不同，$w$有不同的值，而一开始我们就强调函数要求唯一性，现在是输入一个$z$会得到多个结果，直接破坏了函数的单值定义**。

比如$i$的开方。

$$
i=\cos\dfrac\pi2+i\sin\dfrac\pi2
$$

开平方就是角度除以2：
$$
z_1=\cos\frac\pi4+i\sin\frac\pi4,\quad
z_2=\cos\frac{5\pi}4+i\sin\frac{5\pi}4
$$
就出现了2个值。上面的结果可以使用下面的图像表示，在$z$平面的一个点，在$w$平面上有2个点和他对应。

![图片](/uploads/2026-04/e6a705.jpg)
 
下面的动画显示了这个现象

[动画演示](/uploads/2026-04/sqrt.html)

例如 $z(t)=r e^{i t}$（ $t$ 从 0 到 $2 \pi$ ），连续地追踪 $\sqrt{z}$ 的值时，我们会发现函数的值无法连续地回到起点。若从 $z=r$ 时的正实根 $\sqrt{r}$ 出发，当 $t$ 走完一周回到 $z=r$ 时，函数值变成了 $-\sqrt{r}$ 。函数值的这种路径依赖性，是＂多值性＂的根本体现，点击 [此处](/uploads/2026-04/sqrt.html) 查看动画。
 
为了更好的解决多值问题，我们看$\sqrt{z-z_0}$，如果取$z_0=0$就是$\sqrt{z}$，  为啥 $\sqrt{z-z_0}$ 不是函数？不就是因为它把一个点 $z$ 映射到两个点 $\pm \sqrt{\left|z-z_0\right|} \mathrm{e}^{\mathrm{i} \frac{\theta}{2}}$ 了吗？那我现在希望将 $\sqrt{z-z_0}$ 升格回函数，最直观的做法是啥？就是找俩复平面，这样一来一个自变量 $z$ 在俩复平面上就能各对应一个点，这下自变量和因变量就不会碰到一对二的尴尬了，有俩复平面的话就可以二对二了(以下介绍来自[知乎](https://zhuanlan.zhihu.com/p/422338793))。

直观来说就是值域是一层复平面，但定义域上的点一个顶俩，比较浓缩，所以才会产生多值现象，那现在稀释一下定义域，将它扩大到两张复平面，这下就能一一对应了。

那其实 $\sqrt{z-z_0}$ 的 Riemann 面就是长这样的：
其实并不是长这样的，但它真正的长相在三维空间里画不出来．
你得把这个曲面的俩直线边粘起来才是 $\sqrt{z-z_0}$ 的 Riemann 面．

![图片](/uploads/2026-05/961eb1.jpg){width=400px}
 
 如何看待上述 Riemann 面呢？首先是三个重点：
［1］．从上往下看，双叶重合，表现出来的就是复平面，所以这些圆盘 ${ }^{[6]}$ 其实是无穷大的 ${ }^{[7]}$ 。
［2］．Riemann 面中心的那根细棒从上往下看就是一个点，这个点就是分支点．
［3］．两条黑线边是重合的，意思是你沿着绿色箭头所示的那样从三楼下到一楼碰到黑线后会被瞬间超时空传送 ${ }^{[8]}$ 到三楼的黑线处。

接下来具体讲讲怎么回事：
我们从黑线出发，记此时 $\sqrt{z-z_0}=\sqrt{\left|z-z_0\right| \mathrm{e}^{\mathrm{i} \theta}}=\sqrt{\left|z-z_0\right|} \mathrm{e}^{\mathrm{i} \frac{\theta}{2}}$ ，那么当我们沿着绿箭头走到灰线处的时候，显然此时饶了分支点一周，于是有 $\sqrt{z-z_0}=\sqrt{\left|z-z_0\right| \mathrm{e}^{\mathrm{i}(\theta+2 \pi)}}=-\sqrt{\left|z-z_0\right|} \mathrm{e}^{\mathrm{i} \frac{\theta}{2}}$ ，如果只是一个复平面问题就来了，你转回到原来的位置了为啥函数值变化了？但现在是 Riemann 面，哈哈，妹回到原点嗷。
于是我们继续转，也就是继续往下走，到达一楼黑线的时候其实已经转了两圈了，于是有 $\sqrt{z-z_0}=\sqrt{\left|z-z_0\right| \mathrm{e}^{\mathrm{i}(\theta+4 \pi)}}=\sqrt{\left|z-z_0\right|} \mathrm{e}^{\mathrm{i} \frac{\theta}{2}}$,然后此时你又被某种超自然力量超时空传送到三楼黑线处了，不过没关系呀，我们的函数值也回到原点了，于是呢，定义在 Riemann 面上的 $\sqrt{z-z_0}$ 就 suddenly 升级为解析 ${ }^{[9]}$ 函数了。这就是 Riemann 面的魅力， 
所以你会发现这张双叶 Riemann 在同一坚直位置上的两点的函数值会相差一个负号．

## 黎曼面视频教程(新增)

本节内容较为抽象，新增了视频教程， 来自B站上海大学姜颍教授的[数学物理方法之复变函数

**黎曼面 = 给多值函数“专门定制”的定义域曲面。**

> 以下介绍来自AI说明，未经核实请自行参阅
 
## 支点
 
### 1. 复数的平方根会“分身”

在实数里，$\sqrt{4}=2$，不考虑负的。但在复数世界，$\sqrt{z}$ 天然有两个值。比如取 $ z=1 = e^{i\cdot 0} $：

- 一个平方根是 $ e^{i\cdot 0} = 1 $
- 另一个平方根是 $ e^{i\cdot \pi} = -1 $（因为 $ (-1)^2=1 $）

复数可以用“模长 + 角度（辐角）”定位：$ z = r e^{i\theta} $。平方根就是把模长开方，辐角折半：
$$
w_1 = \sqrt{r}\, e^{i\theta/2},\quad w_2 = \sqrt{r}\, e^{i(\theta/2 + \pi)} = -w_1
$$
关键在于：**角度怎么量**？同一个 $ z $，角度可以写 $\theta$，也可以写 $\theta+2\pi$（多转一圈）。

### 2. 绕原点走一圈——函数值“掉包”了

想象你自己是平面上的点 $ z $，从 $ z=1 $ 出发，沿一个单位圆**逆时针**绕原点走一圈：

- 出发时：$ \theta = 0 $，选 $ w = +1 $ 作为起点。
- 走着走着：到了对面，$\theta = \pi$，这时 $ w = e^{i\pi/2} = i $。
- 回到原地：绕完一整圈，你站的位置还是 $ z=1 $，**但是**绕行过程让你的总旋转角度变成了 $\theta = 2\pi$（不是0了）。
- 此时计算平方根：$ w = e^{i\cdot 2\pi / 2} = e^{i\pi} = -1 $。

你明明回到了同一个点 $ z=1 $，函数值却从 **+1 变成了 -1**。想让它变回 +1 怎么办？**必须再绕一圈**，让总角度变成 $4\pi$，角度折半得 $2\pi$，才回到原来的 +1。

点击[此处](/uploads/2026-04/sqrt.html) ，仔细观察上面的动画显示 ，当红点允许$\pi$ 时，蓝点突然从i变更为-i

### 3. 支点：原点就是那个“麻花辫的起点”

这种现象的罪魁祸首是**原点**。因为当 $ z $ 绕原点转时，它的角度无可避免地累积变化；绕其他点（比如绕 $ z=2 $ 转一圈）角度最后会归零，函数值就能原样回家。

这个让你“绕一圈换身份、绕两圈才回家”的特殊点，就是**支点**（Branch Point）。在 $ w=\sqrt{z} $ 里，**原点 $ z=0 $ 就是支点**。

你可以想象一根麻花辫：原点处发绳捆住了两股发束（对应 $\sqrt{z}$ 的两个值）。你绕原点走一圈，就沿着麻花辫从这一股滑到了纠缠的另一股。

### 4. 无穷远也是支点（踩在圆的外面绕）

复数平面加一点无穷远 $\infty$ 构成球面。如果你绕一个**包含原点的大圈**（实际上就是把无穷远包在里面转一圈），$\sqrt{z}$ 也会变号。所以 $ w=\sqrt{z} $ 有两个支点：**0 和 $\infty$**。

> 想象你坐飞机绕北极一圈：在复平面上，这相当于绕一个大到包围原点的圆——回来函数值也换了。意思是说，“无穷远”抓住角度不放的本事和原点一样。

### 5. 割线：把平面撕开一条缝，让路没法绕

没人喜欢函数突然变脸。为了让 $\sqrt{z}$ 定义成一个**规矩的单值函数**，数学家强行规定：**不准绕支点转圈**。怎么做？拿剪刀从原点沿着任意一条射线（比如负实轴）剪到无穷远。

- 剪开后的平面叫“割平面”。
- 规定角度只能在 $(-\pi, \pi]$ 之间变化，不许跨过刀口。
- 这样一来，当你走到剪口边缘想绕过去时，路断了——你无法完成一整圈的绕行，函数值也就没法“掉包”，乖乖只有一个值。

### 6. 支点的直觉总结

- **普通点**：绕一圈，函数值回家。
- **支点**：绕一圈，函数层切换（比如从正变负）；绕两圈才回家。
- **形象比喻**：支点像**螺旋楼梯的中心柱**。绕着柱子上一圈楼，你到了同样 x,y 位置的上层，再上一圈才回到原楼层。$\sqrt{z}$ 就像那个两层的螺旋停车场，支点就是中心电梯井。

下次再看见 $\sqrt[3]{z}$ 或 $\ln z$ 的支点，你就想：哦，绕它转一圈，我就滑到下一层（或上一层）了。

## 割线

之前聊 $w=\sqrt{z}$ 时，你一定记得那个动作：**拿剪刀从原点沿着一条射线剪开，剪到无穷远**。这刀剪下去留下的那道口子，就是**割线**（Branch Cut）。

### 1. 割线就是一条“结界”

可以把复平面想象成一张无限大的纸，多值函数 $\sqrt{z}$ 就像纸上印了两层重叠的图案，乱成一团。

为了能正常使用这个函数，数学家的办法很粗暴：直接发布一条禁令——  
**“此线两侧，禁止跨越！”**

这条用剪刀剪开的线，就是**割线**。  
它是人为画定的一条线，函数在这条线上不被定义（或者说故意让它不连续），这样就能把原本纠缠不清的两个函数值强行分开。

### 2. 用 $w=\sqrt{z}$ 看割线长什么样

对于 $\sqrt{z}$：

- 支点在 $z=0$ 和 $z=\infty$。
- 割线必须连接这两个支点。  
  最常见的做法是**沿着负实轴**，从原点一直向左剪到无穷远。
  （就是复平面上所有负数：$z = x < 0, y=0$）

一旦剪开，我们就规定：
- 所有点的辐角只能在一个有限范围内变化，比如 **$(-\pi, \pi]$**。
- 角度不能跨过割线。比如你从正实轴上方一点点逆时针转，转到负实轴上方（刚好是割线上缘）时角度是 $\pi$，再往前走一点点按说就该到 $-\pi$ 了，但那是割线的下缘——我们**不让你跨过去**。
- 这样一来，绕原点一圈就变成了不可能的事，因为你会在割线处被拦住。

于是 $\sqrt{z}$ 的值就唯一了：  
辐角 $\theta$ 被锁在 $(-\pi, \pi]$ 之间，平方根 $w = \sqrt{r} e^{i\theta/2}$ 的辐角 $\theta/2$ 就在 $(-\pi/2, \pi/2]$ 之间，每个 $z$ 只有一个 $w$，清清爽爽。

### 3. 割线位置并不是死的

“沿着负实轴剪”只是**最常规**的做法，其实你想怎么剪都行：

- 沿着正实轴从 0 向右剪到无穷远。
- 沿着虚轴向上剪。
- 甚至沿着一条歪歪扭扭的曲线，只要它从 0 绵延到 $\infty$ 就行。

选哪条线纯粹看方便。选好之后，调整一下辐角的取值范围，照样能保证函数单值。  
**割线只是支点之间的一条“隔断”，功能就是把多值函数的不同分支隔开，像路障一样。**

### 4. 和支点、黎曼面的关系

现在我们可以把三个概念串在一起了：

- **支点**：肇事点，你绕它一圈函数就换人。例子：0 和 ∞。
- **割线**：人为的裂纹，连接肇事点，禁止绕圈，强迫函数单值。
- **黎曼面**：允许绕圈且不用割线的“完整版”曲面——它本来就分层，绕一圈自动滑到另一层，函数值自然连续变化，根本不需要割线。

所以可以这样理解：

> **割线，就是把黎曼面“拆开铺平”时留下的折痕。**

黎曼面是螺旋楼梯，割线就是你拿剪刀顺着楼梯踏板接缝竖向剪一刀，把它展平成一个个独立楼层。剪开之后，每一层楼是单值的，但层与层之间在割线处原本是粘着的。

在割开的单层平面上，跨过割线等价于在黎曼面上从一层跳到另一层。只不过我们现在故意说：“不许跨！跨了你就犯规，函数不陪你玩了。”

### 5. 一个画面感极强的比喻

想象一本**透明纸做的两层复写本**：

- 两页完全重合，写着 $\sqrt{z}$ 的两个值。
- 你要从中提取“唯一答案”，就拿剃刀从书脊（原点）到书页边缘（无穷远）划开。
- 然后规定：只能看这半页，不准翻篇。
- 划开的那道刀口，就是割线。

或者更生活一些：  
超市冷柜的塑料门帘，被竖着剪了一刀，分成左右两条。你规定只走左边那条，不准穿到右边。左边就是你选的单值分支，那道剪刀口就是割线。

### 6. 不同函数的割线趣味

- **$\sqrt{z}$**（两层）：割线最常见。
- **$\sqrt[3]{z}$**（三层）：割线仍是一条，连接 0 和 ∞，但绕一圈不会回到原值，要绕三圈。割线同样禁止绕圈。
- **$\ln z$**（无穷多层）：割线也是一条，但它让辐角被限制在 $2\pi$ 宽的条带里，一跨过去函数就会跳跃 $2\pi i$。割线就像钟表的“日期变更线”，强行终止了角度的无限累加。

### 总结一句话

**割线就是复数多值函数的“封印条”，把它粘在支点之间，禁止环绕，逼它表现出唯一真身。**

## 黎曼面
 接着刚才那个“螺旋楼梯中心柱”的比喻往下走，**黎曼面**就是这个螺旋楼梯本身。

### 1. 问题来源：一个点，两个魂

刚才我们说 $w=\sqrt{z}$，绕支点（原点）一圈，函数值从 +1 变成 -1。

这就带来一个别扭的情况：在**同一个** $z$ 平面上，一个点对应两个不同的 $w$ 值。我们想画函数图像都画不出来——刚描上一个点 (+1, 1)，同样的 $x,y$ 位置上还得强行塞进去一个 (+1, -1)。平面被“压扁”了，装不下两层信息。

### 2. 黎曼的方案：既然你有两层含义，我就给你盖两层楼

黎曼的做法非常干脆。他说：

> 别挤在一个平面上了。我把你的定义域（$z$ 所在的纸）复制一份，变成**两张一模一样的复平面纸**。

- **第一层楼**：专放 $\sqrt{z}$ 的那个“正”分身（比如 +1, +i 这些）。
- **第二层楼**：专放 $\sqrt{z}$ 的那个“负”分身（比如 -1, -i 这些）。

现在，函数 $w$ 变成了一个**电梯**：你在哪一层，我就给你看那一层的值。这下不打架了，一层楼住一个人。

### 3. 关键一步：把两层楼连起来

光有两张纸没用，因为函数本来是在**绕圈时**自动从正的变成负的。所以数学结构必须允许你**在不经意间换层**。

怎么连？
还记得刚才为了不绕圈，我们拿剪刀沿着**负实轴**（从原点向左的线）剪了一刀吗？

现在我们要**反着利用这道刀口**。

1. **第一张纸**的刀口下沿（第四象限的边），**粘到** **第二张纸**的刀口上沿（第二张第二象限的边）。
2. **第一张纸**的刀口上沿（第二象限的边），**粘到** **第二张纸**的刀口下沿（第二张第四象限的边）。

这一步画在脑子里就是：两张圆纸片，都在同样的位置撕开一个口子，然后把 A 纸的左边口子插入 B 纸的右边口子里，**交叉粘合**。

### 4. 走一圈试试：像开车在立交桥上盘旋

现在这个粘好的两层曲面，就是 $w=\sqrt{z}$ 的**黎曼面**。

你驾驶着变量 $z$ 在上面行驶：

- **起点**：一层楼的 $z=1$，对应 $w=+1$。
- **绕原点半圈**：顺着路开，经过剪开的负实轴（那个交叉路口）。
- **过路口**：因为路是交叉粘着的，你**毫无知觉地滑到了第二层楼**。
- **绕完一整圈**：你回到原点位置，但此时你在**二层楼**，所以对应的 $w=-1$。

如果你想回到 +1，**再绕一圈**：
刚从负实轴路口开过去，又从二层滑回了一层，自动归位。

你看，在这个黎曼面上，**没有“掉包”的突变了**。你每走一步，函数值都是连续变化的。只不过这路比较魔幻——它是一个 **Möbius 式扭转的自相交曲面**（在三维空间画不出来，但在数学里是光滑流形）。

### 5. 更通俗的比喻

- **普通函数图**像一张平铺的北京地图，从西单走到东单，位置唯一。
- **黎曼面**则像那部电影《盗梦空间》里的**彭罗斯楼梯**：
    - 你以为走在同一层的同一个走廊（同一个 $z$ 坐标），
    - 其实走了 360 度以后，你已经在上层（或下层）了，
    - 只有走 720 度才回到真正原点。

所以黎曼面不是函数的图像 $w=f(z)$，而是**专门为了装下这个多值函数，给定义域 $z$ 修的一座立体停车场**。车（$z$）在车库里转圈，看门大爷（函数 $f$）指着窗外车的位置报出唯一的高度值。

### 6. 延伸：那个无穷多层的螺旋

刚才举例的 $\sqrt{z}$ 只有两层。如果是 $\ln z$（对数函数），每绕原点一圈，函数值就加一个 $2\pi i$。
这就不是两层楼能解决的——需要**无穷多层的螺旋坡道**。

$\ln z$ 的黎曼面就是一个**永远盘旋上升的螺旋面**，像旋转楼梯，或者像**蛋卷冰淇淋的筒皮**。在那个面上，你只要一直绕，就会一直爬到不同的楼层，永远不会撞见“同一点对应两个值”的矛盾。

### 总结一句话

**黎曼面，就是给“会分身的函数”量身定制的、会自动转弯变道的多维跑道。**在跑道上，它就不再是乱变的分身术，而是规规矩矩的单值函数了。

科数题库(单机版) 会议室预约系统(book)

今日还可看 0 篇未注册用户每天查看4篇，注册用户每天8篇，开通VIP会员无限制查看。

免费注册

《高等数学》难点解析

高数教程 泰勒公式切线与法线切平面与法平面驻点·拐点·极值点·零点间断点渐进线瑕积分欧拉方程伯努利方程 Abel 收敛定理偏导数的几何意义偏导数的几何意义梯度数量场与向量场多元函数极值拉格朗日算子通量与散度环流量与旋度格林公式高斯公式斯托克斯公式三大公式比较傅里叶级数极坐标微元点法式方程变上限定积分 X型计算面积 Y型计算面积微分的意义渐近线间断点 y''+py'+qy=f(x)方程高斯黎曼傅里叶变换(复数) 拉普拉斯变换(复数)

《线性代数》难点解析

线代教程 近世代数对数学的整体思考线性的意义矩阵乘法(列视角) 矩阵乘法(行视角) 矩阵左乘矩阵右乘逆矩阵求解方程组阶梯形矩阵的求法方程组解的判定四阶行列式的计算线性变换的意义线性空间向量组的等价线性空间的几何意义基础解系的求法施密特正交化特征值与特征向量的意义矩阵相似的几何意义矩阵可对角化的理解秩的意义(向量版) 秩的意义(方程版) 二次型的意义

《概率论与数理统计》难点解析

概率教程 置信区间与上a分位数概率中的“取”与“放” 贝叶斯公式全概率公式泊松分布指数分布伽玛分布二维密度图的意义卷积的意义相关系数的意义 k阶矩是与矩母函数卡方分布的作用单正态区间估计理解假设检验理解切比雪夫不等式中心极限定理

上一篇：序言1：复数的前世今生

下一篇：第一篇复数的概念与表示

本文对您是否有用？有用 (0) 无用 (0)