跳到正文
The Lumenary
探奇小径可选 · 从不评分起点 Complex numbers

Loops around a hole

本页尚未翻译成简体中文,因此以English显示。

帮助翻译 →
1

问题

Walk around a tree and come back to where you started. How many times did you go around it? Can you change that number by wandering differently — without ever walking through the tree?

先动手做实验,再往下读。探索没有错误的方式。

2

实验

绕着洞转圈

沿着一条闭合回路走,数一数它绕每个洞转了几圈:逆时针的圈数减去顺时针的圈数。

p₁

拖动洞可以移动它。按“播放”让点沿回路走一圈,或使用滑块。小方块标出起点。

绕 p₁ 的卷绕数1

(1/2πi)∮ dz/(z − p₁) ≈ 1.000 + 0.000i

目前每个虚线箭头转过的圈数:

p₁: 0.00

卷绕数的算法是:把从洞指向移动点的箭头方向的每一小步变化加起来,再把总和除以 360°。逆时针记为正。

在只有一个洞的平面上,两条回路能够在不越过洞的情况下相互变形,当且仅当它们的卷绕数相同。用拓扑的语言说:去掉一点的平面的基本群——和圆的基本群一样——是整数群,π₁ = ℤ。

与复分析的联系:把平面看作复数,把洞看作一个点 a。那么 (1/2πi)∮ dz/(z − a) 等于绕 a 的卷绕数。上面的数值是沿回路数值计算得到的。

3

提示(如果你需要)

    4

    这是怎么回事

    这是怎么回事

    The number of times a closed path goes around a point is its winding number. If the point is aa and the path is traced by a complex number z(t)z(t), the winding number is the total change in the argument of z−az - a, divided by 2π2\pi. It is always a whole number, because the path ends where it began.

    Here is the key fact: if you deform a loop continuously without ever passing through aa, its winding number cannot jump — a whole number that changes continuously cannot change at all. So loops in the plane with a hole are sorted by their winding number, and two loops can be deformed into each other exactly when their winding numbers agree. In the language of topology, the fundamental group of the plane with one point removed is Z\mathbb Z.

    Complex analysis computes the same number with an integral:

    12πi∮dzz−a=winding number.\frac{1}{2\pi i}\oint \frac{dz}{z - a} = \text{winding number}.

    Winding numbers even give a proof sketch of the fundamental theorem of algebra. A polynomial zn+…z^n + \dots maps a very large circle to a loop that winds nn times around 00, while a tiny circle near the origin maps to a loop that winds 00 times around 00 unless p(0)=0p(0) = 0. Shrinking the circle changes the winding number from nn to 00, which can only happen if the image loop passes through 00 somewhere — that is, if the polynomial has a root. (Turning this sketch into a proof takes care; see the fundamental-group lesson.)

    With two holes the story changes: loops are no longer classified by two winding numbers, because going around one hole and then the other is different from the reverse order. The fundamental group becomes non-commutative.

    已通过计算测试AI 起草 · 等待人工审校
    5

    由此通向何处