关于黎曼曲面与分支割线解决复函数多值性问题的困惑与澄清请求

这学期我选了复分析课程，最近开始跟着讲座学习，教授提到分支割线和黎曼曲面可以解决复函数的多值性问题，但他既没解释背后的原因，也没说清什么是“分支”，以及黎曼曲面的每个叶为什么对应函数的一个分支。

我自己试着琢磨过这俩概念怎么解决多值性，但总觉得自己的理解有漏洞，所以把我的思考写下来，希望能得到更清晰的解释——麻烦不要把这个问题标记为重复，我看过相关问题的大部分回答，但都没太懂，需要更针对性的澄清。

我的理解与困惑 #

1. 关于分支割线的疑问 #

我拿具体的函数 w(z)=z^{1/2} 来分析：
先看函数 w(z)=z^2，它相当于把复平面“覆盖”了两次，所以它的反函数 w(z)=z^{1/2} 就出现了多值性——每个复平面上的点对应两个输出，也就是两个分支：

• w₁=r^{1/2}e^{iθ/2}（其中 0<θ<2π）
• w₂=r^{1/2}e^{i(θ+2π)/2}（同样 0<θ<2π）

如果我们只选定其中一个分支（比如w₁）作为函数的取值，看似解决了多值问题，但又出现了新问题：当绕原点完整转一圈时，θ从0变化到2π，θ/2就从0变成π，这时候w₁会出现跳跃间断——回到原点附近的同一点时，θ=0时w₁(r,0)=r^{1/2}，θ=2π时w₁(r,2π)=-r^{1/2}，数值直接跳了一个符号。

我大概理解分支割线是比如取正实轴这样的一条线，函数在这条线上会有间断，但绕着这条线移动时函数是连续的。可我搞不懂的是：到底是分支割线解决了多值性问题，还是我们选择单个分支的操作本身解决了问题？ 在我看来，分支割线更像是为了让选出来的单值分支保持连续（除了割线处），而不是直接解决多值性本身？

2. 关于黎曼曲面的疑问 #

我能看懂黎曼曲面的构造过程，但同样摸不清它怎么解决多值性问题。在我看来，它只是让函数能连续变化——比如从(1,0)出发绕原点转一圈后，能自然回到起始值，但这和解决“一个点对应多个函数值”的多值性问题有什么关联？

另外，为什么黎曼曲面的每个叶对应函数的一个分支？是不是因为每个复平面副本对应不同的角度区间——比如第一个叶是0到2π，第二个是2π到4π，这样w₁对应第一个叶的角度范围，w₂对应第二个叶的，所以每个叶就对应一个分支？

感谢各位耐心读完我的问题，期待能得到清晰的解答！

备注：内容来源于stack exchange，提问作者R24698