复分析/链上的积分
定义(连续可微1链):
一个连续可微1链是所有连续可微曲线集合上的自由-模的一个元素.
定义(像):
令为一个连续可微1链。那么的像定义为
- ,
其中恰好是所有满足的连续可微曲线.
假设我们给定一个在中支撑的闭合轮廓,并假设我们是一个位于原点的观察者。假设我们想要测量一个运动物体绕我们旋转的次数(即,穿过一个与我们有固定角度的固定点的次数)。由此产生的数字被称为给定闭合轮廓的绕数。需要注意的是,它是有符号的;也就是说,如果轮廓在(关于角度距离)第一次绕过圆圈,然后再次绕过圆圈,但方向相反,那么绕数应该为零。
为了使之精确,
幅角定义到圆圈,并提升到标准覆盖
后者的同伦不变性
定理(柯西公式):
令为开集,令为一个包含在内,并且在中是零同调的循环。令为一个全纯函数。那么我们有
对所有不在 轨迹上的
证明: 在 上定义一个函数
当一个变量固定时,这个函数在另一个变量中是全纯的。因此,考虑函数
- ,
我们发现 在 上是全纯的,因为 交换积分和微分。但事实上它在 上是全纯的,因为我们假设循环 在 上是零同调的。必要时缩小 ,我们可以假设 是有界的,因为 曲线的像是一个紧集 并且 紧集的有限并集也是紧集。然后 通过 一个魏尔斯特拉斯类型的定理 以及 刘维尔定理 变成了一个有界函数,因此它是常数,因此等于零。特别是,代入 ,我们得到
- ,
也就是说,
- .
定义(链积分):
令 为开集,并令 为全纯函数。令 为一个连续可微的 1-链,其像包含在 中。那么在 上的**积分**定义为
- ,
其中
- .
命题(同调链产生相同的积分):
令 为开集,并令 为一个全纯函数。假设 是连续可微的 1 链,其像包含在 中,使得 对于某个 2 链 在 [[ 上的奇异链复形]] 中。那么
- .
证明:根据链上的积分定义,只需证明当 是一个 2 链时,
- .
此外,根据线性性,我们可以限制为 是单纯形的情况。但 是零同调的,因此
根据 柯西定理。
定理(留数定理):
令 为一个开的有界子集。令 为一个循环,其像包含在 中,并令 为亚纯函数,因此 的任何奇点都不包含在 的像中。那么
- ,
其中 是 的奇点。
证明: 注意到任何 中连续的 1-链的像都是紧致的,因此由于 是 Hausdorff 空间,所以是闭集。因此,对于 的每个奇点 ,选择一个半径 ,使得 的像与 不相交,并且后者应该包含在 中(毕竟,它是开集)。此外,设置 ,其中后者的边界路径被遍历一次,并且是逆时针方向(所以它的绕数为 1)。然后定义一个新的连续可微 1-链:
- .
那么 将是零同调的,因此根据柯西定理和柯西公式
- .