【课堂笔记】复变函数-6
文章目录
- 回顾
- 定理1:由积分构造全纯函数
- 推论2
- 定理3: Morera
- 推论4:高阶微分公式
- 定理5:柯西估计
- 定理6:Liouville
- 定理7:代数基本定理
- 定理8:全纯函数的一致极限
- 引理9
- 引理10:零点是孤立的
- 推论11:全纯函数的唯一性
- 定义12: 链,循环
- 定义13:同调
- 引理14
- 定理15:柯西积分定理的一般形式
回顾
定理1:由积分构造全纯函数
设 γ \gamma γ是 C \mathbb{C} C上的一个可求长曲线, ϕ : Im γ → C \phi: \text{Im}\gamma \to \mathbb{C} ϕ:Imγ→C是连续函数,对 z ∈ C ∖ Im γ z \in \mathbb{C} \setminus \text{Im}\gamma z∈C∖Imγ,定义:
f ( z ) : = ∫ γ ϕ ( w ) w − z d w f(z):= \int_\gamma\frac{\phi(w)}{w-z}dw f(z):=∫γw−zϕ(w)dw
对任意 z 0 ∈ C ∖ Im γ z_0 \in \mathbb{C} \setminus \text{Im}\gamma z0∈C∖Imγ,设 r = dist ( z 0 , Im γ ) r = \text{dist}(z_0, \text{Im}\gamma) r=dist(z0,Imγ),则 f f f是 D ( z 0 , r ) D(z_0, r) D(z0,r)上的一个幂级数:
f ( z ) = ∑ ∞ n = 0 ( ∫ γ ϕ ( w ) ( w − z 0 ) n + 1 d w ) ( z − z 0 ) n f(z) = \underset{n=0}{\overset{\infty}{\sum}}\left(\int_\gamma\frac{\phi(w)}{(w-z_0)^{n+1}}dw\right)(z-z_0)^n f(z)=n=0∑∞(∫γ(w−z0)n+1ϕ(w)dw)(z−z0)n
特别的, f f f在 C ∖ Im γ \mathbb{C} \setminus\text{Im}\gamma C∖Imγ上是全纯的。
推论2
设 D ⊂ C D \subset \mathbb{C} D⊂C是圆盘, f : D ‾ → C f:\overline{D} \to \mathbb{C} f:D→C是全纯的,则 f f f是 D D D上的幂级数。
证明:
由柯西积分定理:
f ( z ) = 1 2 π i ∫ ∂ D f ( w ) w − z d w , ∀ z ∈ D f(z) = \frac{1}{2\pi i}\int_{\partial D}\frac{f(w)}{w-z}dw, \forall z \in D f(z)=2πi1∫∂Dw−zf(w)dw,∀z∈D
由定理1, f f f在 D D D上是幂级数。
- 这两个结论说明如果函数在复数意义上是一阶可导的,由幂级数性质,它自动满足高阶可导。(与实函数不一样)
- 这个推论告诉我们,全纯函数在局部总是可以写成幂级数;之前证明过,幂级数总是全纯的。(两者关系)
定理3: Morera
设 U ⊂ C U \subset \mathbb{C} U⊂C是开集, f : U → C f: U\to \mathbb{C} f:U→C是连续的,假设对任意可求长闭曲线 γ \gamma γ,有
∫ γ f d z = 0 \int_\gamma fdz = 0 ∫γfdz=0
则 f f f是全纯的。
证明:我们可以假设 U U U是连通的,固定 z 0 ∈ U z_0 \in U z0∈U
对任意 z ∈ U z \in U z∈U,令 γ z \gamma_z γz是任意可求长曲线,连接着 z z z和 z 0 z_0 z0。定义
F ( z ) : = ∫ γ z f d z F(z) := \int_{\gamma_z} fdz F(z):=∫γzfdz
这个定义与 γ z \gamma_z γz的选择无关。(因为把 γ z , γ z ′ \gamma_z, \gamma_{z'} γz,γz′拼起来就是一个闭曲线,而条件说闭曲线积分为 0 0 0)
于是 F ′ ( z ) = f ( z ) F'(z) = f(z) F′(z)=f(z), F F F是全纯的。
因为 f f f是 F F F的导数, f f f在局部上是幂级数,所以 f f f也是全纯的。
推论4:高阶微分公式
设 D : = D ( z 0 , r ) ⊂ C D:= D(z_0, r) \subset \mathbb{C} D:=D(z0,r)⊂C,设 f : D ‾ → C f: \overline{D} \to \mathbb{C} f:D→C是全纯的。则:
f ( n ) ( z 0 ) = n ! 2 π i ∫ ∂ D f ( w ) ( w − z 0 ) n + 1 d w f^{(n)}(z_0) = \frac{n!}{2\pi i}\int_{\partial D}\frac{f(w)}{(w-z_0)^{n+1}} dw f(n)(z0)=2πin!∫∂D(w−z0)n+1f(w)dw
证明:由定理1,有:
f ( z ) = 1 2 π i ∑ ∞ n = 0 ( ∫ ∂ D f ( w ) ( w − z 0 ) n + 1 d w ) ( z − z 0 ) n f(z) = \frac{1}{2\pi i}\underset{n=0}{\overset{\infty}{\sum}}\left(\int_{\partial D} \frac{f(w)}{(w-z_0)^{n+1}} dw\right)(z-z_0)^n f(z)=2πi1n=0∑∞(∫∂D(w−z0)n+1f(w)dw)(z−z0)n
另一面,由泰勒展开:
f ( z ) = ∑ ∞ n = 0 f ( n ) ( z 0 ) n ! ( z − z 0 ) n f(z) = \underset{n=0}{\overset{\infty}{\sum}} \frac{f^{(n)}(z_0)}{n!}(z-z_0)^n f(z)=n=0∑∞n!f(n)(z0)(z−z0)n
然后比较系数即可。
定理5:柯西估计
设 D : = D ( z 0 , r ) D:=D(z_0, r) D:=D(z0,r), f : D ‾ → C f:\overline{D} \to \mathbb{C} f:D→C是全纯的。设 M : = max z ∈ ∂ D ∣ f ( z ) ∣ M:= \underset{z\in \partial D}{\max}|f(z)| M:=z∈∂Dmax∣f(z)∣,则:
∣ f ( n ) ( z 0 ) ∣ ≤ M n ! r − n |f^{(n)}(z_0)| \le Mn! \ r^{-n} ∣f(n)(z0)∣≤Mn! r−n
(实函数中微分通常不能被函数本身的模长控制,但全纯函数可以)
证明:由推论4,
∣ f ( n ) ( z 0 ) ∣ = ∣ n ! 2 π i ∫ ∂ D f ( w ) ( w − z 0 ) n + 1 d w ∣ ≤ ∣ n ! 2 π i ∫ ∂ D M r n + 1 d s ∣ = M n ! r − n \begin{align*} |f^{(n)}(z_0)| &= \left|\frac{n!}{2\pi i}\int_{\partial D}\frac{f(w)}{(w-z_0)^{n+1}} dw\right| \\ &\le \left|\frac{n!}{2\pi i}\int_{\partial D}\frac{M}{r^{n+1}}ds\right| \\ &= M n! \ r^{-n} \end{align*} ∣f(n)(z0)∣= 2πin!∫∂D(w−z0)n+1f(w)dw ≤ 2πin!∫∂Drn+1Mds =Mn! r−n
定理6:Liouville
设 f : C → C f:\mathbb{C} \to \mathbb{C} f:C→C是全纯的, f f f是受限的,则 f f f是一个常数。
证明:假设 ∣ f ( z ) ≤ M |f(z) \le M ∣f(z)≤M,对某个 M > 0 M > 0 M>0,设 R > 0 , z 0 ∈ C R > 0, z_0 \in \mathbb{C} R>0,z0∈C
对圆盘 D ( z 0 , R ) D(z_0, R) D(z0,R)进行柯西估计,我们得到:
∣ f ′ ( z 0 ) ∣ ≤ M R − 1 |f'(z_0)| \le MR^{-1} ∣f′(z0)∣≤MR−1
令 R → + ∞ R \to +\infty R→+∞,则 f ′ ( z 0 ) = 0 f'(z_0) = 0 f′(z0)=0。而 z 0 z_0 z0是任意的,所以 f f f是常值函数。
定理7:代数基本定理
设 f f f是复系数的多项式, deg f ≥ 1 \deg f \ge 1 degf≥1。则 f f f至少有一个 C \mathbb{C} C上的根。
证明:假设 f f f在 C \mathbb{C} C上没有根,则令
g : = 1 f : C → C g:= \frac{1}{f}: \mathbb{C} \to \mathbb{C} g:=f1:C→C
由于 det f ≥ 1 \det f \ge 1 detf≥1, ∣ z ∣ → + ∞ |z| \to +\infty ∣z∣→+∞, ∣ f ( z ) ∣ → + ∞ |f(z)| \to +\infty ∣f(z)∣→+∞,于是 ∣ g ∣ ≤ M |g| \le M ∣g∣≤M对某个 M ≥ 0 M \ge 0 M≥0
于是由定理6, g g g是一个常数, f f f也是一个常数,矛盾。
定理8:全纯函数的一致极限
设 U ⊂ C U \subset \mathbb{C} U⊂C是开子集, f n : U → C f_n: U \to \mathbb{C} fn:U→C是全纯函数,且一致收敛于任何紧子集 K ⊂ U K \subset U K⊂U
则极限函数 f f f也是全纯的。
证明:设 D D D是一个圆盘, D ‾ ⊂ U \overline{D} \subset U D⊂U,由柯西积分公式,
f n ( z ) = 1 2 π i ∫ ∂ D f n ( w ) w − z d w f_n(z) = \frac{1}{2\pi i}\int_{\partial D} \frac{f_n(w)}{w-z} dw fn(z)=2πi1∫∂Dw−zfn(w)dw
因为 f n → f f_n \to f fn→f在 D ‾ \overline{D} D上是一致收敛的,令 n → + ∞ n \to +\infty n→+∞, f n ( z ) → f ( z ) f_n(z) \to f(z) fn(z)→f(z),则
f ( z ) = 1 2 π i ∫ ∂ D f ( w ) w − z d w f(z) = \frac{1}{2\pi i}\int_{\partial D} \frac{f(w)}{w-z} dw f(z)=2πi1∫∂Dw−zf(w)dw
由定理1, f f f是全纯的。
引理9
设 U ⊂ C U \subset \mathbb{C} U⊂C是连通开集,设 f : U → C f:U \to \mathbb{C} f:U→C是全纯的。设 z 0 ∈ U z_0 \in U z0∈U。
假设 ∀ n ≥ 1 , f ( n ) ( z 0 ) = 0 , ∀ n ≥ 1 \forall n \ge 1, f^{(n)}(z_0) = 0, \forall n \ge 1 ∀n≥1,f(n)(z0)=0,∀n≥1,则在 U U U上 f ≡ f ( z 0 ) f \equiv f(z_0) f≡f(z0)
证明:设
V : = { z ∈ U : f ( z ) = f ( z 0 ) , f ( n ) ( z ) = 0 , ∀ n ≥ 1 } V:= \set{z \in U: f(z) = f(z_0), f^{(n)}(z) = 0, \forall n \ge 1} V:={z∈U:f(z)=f(z0),f(n)(z)=0,∀n≥1}
首先 V ≠ ∅ V \neq \emptyset V=∅,因为 z 0 ∈ V z_0 \in V z0∈V
∀ n ≥ 1 \forall n \ge 1 ∀n≥1, f ( n ) f^{(n)} f(n)在 V V V上是连续函数,所以 V V V在 U U U中是闭集。
又因为 f f f在局部上可以写成幂级数(推论2),而 f f f的 n ≥ 1 n\ge1 n≥1阶导都为0。所以对于 z ∈ V z \in V z∈V, f f f的泰勒展开为常数,存在一个开集 D D D,使得 z ∈ D z \in D z∈D,满足
f ∣ D = f ( z 0 ) f|_D = f(z_0) f∣D=f(z0)
于是 V V V在 U U U上是开的。
因为 U U U是连通的, V V V既开又闭,所以 V = U V = U V=U
于是在 U U U上 f ( z ) ≡ f ( z 0 ) f(z) \equiv f(z_0) f(z)≡f(z0)
引理10:零点是孤立的
设 U ⊂ C U \subset \mathbb{C} U⊂C是连通开集,设 f : U → C f:U \to \mathbb{C} f:U→C是全纯的,且不是常值函数。设 z 0 ∈ U z_0 \in U z0∈U
则 ∃ r > 0 \exist r > 0 ∃r>0,使得 z 0 z_0 z0是 f − f ( z 0 ) f-f(z_0) f−f(z0)在 D ( z 0 , r ) D(z_0, r) D(z0,r)上的唯一的零点。
证明:取 D ′ = D ( z 0 , r ′ ) D' = D(z_0, r') D′=D(z0,r′)满足 D ′ ‾ ⊂ U \overline{D'} \subset U D′⊂U
则在 D ′ D' D′,由于 f f f不是常值函数,一定能找到一项 ( z − z 0 ) m (z-z_0)^m (z−z0)m, f ( z ) − f ( z 0 ) = a m ( z − z 0 ) m + . . . , a m > 0 , m ≥ 1 f(z) - f(z_0) = a_m(z-z_0)^m + ..., a_m > 0, m \ge 1 f(z)−f(z0)=am(z−z0)m+...,am>0,m≥1
则我们可以写成 f ( z ) − f ( z 0 ) = ( z − z 0 ) m g ( z ) f(z) - f(z_0) = (z-z_0)^m g(z) f(z)−f(z0)=(z−z0)mg(z), g g g是 D ′ D' D′上的幂级数, g ( z 0 ) = a m ≠ 0 g(z_0) = a_m \neq 0 g(z0)=am=0
于是可以令 r > 0 r > 0 r>0足够小,满足在 D ( z 0 , r ) D(z_0, r) D(z0,r)上 g ≠ 0 g\neq 0 g=0,于是 z 0 z_0 z0是唯一零点。
推论11:全纯函数的唯一性
设 U ⊂ C U \subset \mathbb{C} U⊂C是一个连通开集, f , g : U → C f, g: U \to \mathbb{C} f,g:U→C是全纯的,假设 ∃ z n ∈ U , z n → z \exist z_n \in U, z_n \to z ∃zn∈U,zn→z, z ∈ U z \in U z∈U,且 f ( z n ) = g ( z n ) f(z_n) = g(z_n) f(zn)=g(zn)
则在 U U U上 f ≡ g f \equiv g f≡g
证明:对函数 f − g f-g f−g应用引理11,可得它只能为常值 0 0 0
定义12: 链,循环
一个链(chain)是由“有限加法”定义的,形如 ∑ n i = 1 a i γ i \underset{i=1}{\overset{n}{\sum}}a_i\gamma_i i=1∑naiγi,其中 a i ∈ Z a_i \in \mathbb{Z} ai∈Z, γ i \gamma_i γi是可求长曲线。
链被称为一个循环(cycle),如果所有的 γ i \gamma_i γi都是闭曲线。
如果 γ = ∑ n i = 1 a i γ i \gamma = \underset{i=1}{\overset{n}{\sum}}a_i\gamma_i γ=i=1∑naiγi, f f f是一个连续函数,定义在所有 γ i \gamma_i γi的像的并集上。
定义 ∫ γ f d z : = ∑ n i = 1 a i ∫ γ i f d z \int_\gamma fdz := \underset{i=1}{\overset{n}{\sum}}a_i\int_{\gamma_i} fdz ∫γfdz:=i=1∑nai∫γifdz
如果 α \alpha α是可求长曲线,则
∫ − α f d z = ∫ ( − 1 ) α f d z = − ∫ γ f d z \int_{-\alpha} fdz = \int_{(-1)\alpha} fdz = -\int_\gamma fdz ∫−αfdz=∫(−1)αfdz=−∫γfdz
相似的,如果 γ \gamma γ是一个循环,令 z ∉ ⋃ n i = 1 Im γ i z \notin \underset{i=1}{\overset{n}{\bigcup}}\text{Im}\gamma_i z∈/i=1⋃nImγi我们可以定义它的环绕数:
n ( γ , z ) : = ∑ n i = 1 a i n ( γ i , z ) n(\gamma, z) := \underset{i=1}{\overset{n}{\sum}}a_i n(\gamma_i, z) n(γ,z):=i=1∑nain(γi,z)
【后面如果出现 ⋃ n i = 1 γ i \underset{i=1}{\overset{n}{\bigcup}}\gamma_i i=1⋃nγi,它的意思就是 ⋃ n i = 1 Im γ i \underset{i=1}{\overset{n}{\bigcup}}\text{Im}\gamma_i i=1⋃nImγi】
定义13:同调
设 U ⊂ C U \subset \mathbb{C} U⊂C是开集,设 γ \gamma γ是 U U U上的一个循环,我们称 γ \gamma γ是同调(homologues)于 0 0 0的,如果 ∀ z ∈ C ∖ U \forall z \in \mathbb{C}\setminus U ∀z∈C∖U, n ( γ , z ) = 0 n(\gamma, z)= 0 n(γ,z)=0
引理14
设 U ⊂ C U \subset \mathbb{C} U⊂C是简单连通开集,则 U U U上的任意循环都是同调于 0 0 0的。
证明:记 γ = ∑ n i = 1 a i γ i \gamma = \underset{i=1}{\overset{n}{\sum}}a_i\gamma_i γ=i=1∑naiγi, γ i \gamma_i γi是闭曲线。 γ i \gamma_i γi同伦于一个固定曲线。
因为环绕数是同伦不变的,则 ∀ z ∈ C ∖ U \forall z \in \mathbb{C}\setminus U ∀z∈C∖U, n ( γ i , z ) = 0 n(\gamma_i, z) = 0 n(γi,z)=0
用处:对于非单连通的区域,例如 D ∗ D^* D∗,两条曲线 γ 1 , γ 2 \gamma_1, \gamma_2 γ1,γ2满足 n ( γ 1 , 0 ) = 1 , n ( γ 2 , 0 ) = − 1 n(\gamma_1, 0) = 1, n(\gamma_2, 0) = -1 n(γ1,0)=1,n(γ2,0)=−1,它们的链 γ 1 + γ 2 \gamma_1 + \gamma_2 γ1+γ2是同调于 0 0 0的。
定理15:柯西积分定理的一般形式
设 U ⊂ C U \subset \mathbb{C} U⊂C是开集,设 γ \gamma γ是循环,在 U U U上同调于 0 0 0,设 f : U → C f: U \to \mathbb{C} f:U→C是全纯的。
则
∫ γ f d z = 0 \int_\gamma fdz = 0 ∫γfdz=0
证明:
Step1: 假设 U U U是受限的
给定 δ > 0 \delta > 0 δ>0,我们用相似的边长为 δ \delta δ的小方块去覆盖 C \mathbb{C} C
设 Q j , j ∈ J Q_j, j \in J Qj,j∈J是这些小方块,满足 Q j ‾ \overline{Q_j} Qj被 U U U包含。因为 U U U是受限的,所以 J J J是有限的。
定义一个循环 Γ δ = ∑ j ∈ J ∂ Q j \Gamma_\delta = \underset{j \in J}{\sum}\partial Q_j Γδ=j∈J∑∂Qj, U δ U_\delta Uδ是 ∑ j ∈ J Q j ‾ \underset{j \in J}{\sum} \overline{Q_j} j∈J∑Qj的内部。
我们可以选取足够小的 δ \delta δ,满足 γ ⊂ U δ \gamma \subset U_\delta γ⊂Uδ
设 ξ ∈ U ∖ U δ \xi \in U \setminus U_\delta ξ∈U∖Uδ是一个任意的点,则存在一个小方块 Q Q Q(不在 Q j Q_j Qj中),使得 ξ ∈ Q ‾ , Q ‾ ⊄ U \xi \in \overline{Q}, \overline{Q} \not\subset U ξ∈Q,Q⊂U
取 ξ 0 ∈ Q ‾ ∖ U \xi_0 \in \overline{Q} \setminus U ξ0∈Q∖U,然后令 L L L是链接 ξ , ξ 0 \xi, \xi_0 ξ,ξ0的线段, L ⊂ Q ‾ , L ∩ U δ = ∅ L \subset \overline{Q}, L\cap U_\delta = \emptyset L⊂Q,L∩Uδ=∅
因为 γ ⊂ U δ \gamma \subset U_\delta γ⊂Uδ,所以 L ⊂ C ∖ γ L \subset \mathbb{C} \setminus \gamma L⊂C∖γ
这意味着 ξ , ξ 0 \xi, \xi_0 ξ,ξ0被包含于同一个 C ∖ γ \mathbb{C} \setminus \gamma C∖γ的连通块。
所以 n ( γ , ξ ) = n ( γ , ξ 0 ) = 0 n(\gamma, \xi) = n(\gamma, \xi_0) = 0 n(γ,ξ)=n(γ,ξ0)=0(因为 ξ ∉ U \xi \not\in U ξ∈U)
因为 ξ \xi ξ是任意的,所以 n ( γ , ξ ) = 0 , ∀ ξ ∈ U ∖ U δ n(\gamma, \xi) = 0, \forall \xi \in U \setminus U_\delta n(γ,ξ)=0,∀ξ∈U∖Uδ
设 Γ δ ′ \Gamma_\delta' Γδ′是 U δ U_\delta Uδ的边界, Γ δ ′ ⊂ U ∖ U δ \Gamma_\delta' \subset U \setminus U_\delta Γδ′⊂U∖Uδ,
则 n ( γ , ξ ) = 0 , ∀ ξ ∈ Γ δ ′ n(\gamma, \xi) = 0, \forall \xi \in \Gamma_\delta' n(γ,ξ)=0,∀ξ∈Γδ′ -----( ∗ ∗ ** ∗∗)
设 j 0 ∈ J j_0 \in J j0∈J,对小方块使用柯西积分公式,对每个 Q j Q_j Qj, ∀ z ∈ Q j 0 \forall z \in Q_{j_0} ∀z∈Qj0,有:
1 2 π i ∫ ∂ Q j f ( w ) w − z d w = { 0 if j ≠ j 0 f ( z ) if j = j 0 \frac{1}{2\pi i}\int_{\partial Q_j} \frac{f(w)}{w-z}dw = \left\{\begin{matrix} 0 & \text{ if }j \neq j_0\\ f(z) & \text{ if }j = j_0 \end{matrix}\right. 2πi1∫∂Qjw−zf(w)dw={0f(z) if j=j0 if j=j0
将所有 j ∈ J j \in J j∈J的结果求和:
1 2 π i ∫ Γ δ f ( w ) w − z d w = f ( z ) , ∀ z ∈ Q j 0 1 2 π i ∫ Γ δ ′ f ( w ) w − z d w = f ( z ) , ∀ z ∈ ⋃ j ∈ J Q j \frac{1}{2\pi i}\int_{\Gamma_\delta} \frac{f(w)}{w-z}dw = f(z), \forall z \in Q_{j_0}\\ \frac{1}{2\pi i}\int_{\Gamma_\delta'} \frac{f(w)}{w-z}dw = f(z), \forall z \in \underset{j\in J}{\bigcup}Q_j 2πi1∫Γδw−zf(w)dw=f(z),∀z∈Qj02πi1∫Γδ′w−zf(w)dw=f(z),∀z∈j∈J⋃Qj
因为等式两边都是连续函数,这个式子对任意 z ∈ U δ z \in U_\delta z∈Uδ都成立。
特别的:
∫ γ f d z = ∫ γ ( 1 2 π i ∫ Γ δ ′ f ( w ) w − z d w ) d z \int_\gamma fdz = \int_\gamma\left( \frac{1}{2\pi i}\int_{\Gamma_\delta'} \frac{f(w)}{w-z}dw \right)dz ∫γfdz=∫γ(2πi1∫Γδ′w−zf(w)dw)dz
另一方面, Γ δ ′ ∩ γ = ∅ \Gamma_{\delta}' \cap \gamma = \emptyset Γδ′∩γ=∅, f ( w ) w − z \frac{f(w)}{w-z} w−zf(w)在 ( z , w ) (z, w) (z,w)是一个连续函数,则我们可以交换积分顺序:
∫ γ f d z = ∫ Γ δ ′ ( 1 2 π i ∫ γ f ( w ) w − z d z ) d w = 0 \int_\gamma fdz = \int_{\Gamma_{\delta}'}\left( \frac{1}{2\pi i}\int_{\gamma} \frac{f(w)}{w-z}dz \right)dw = 0 ∫γfdz=∫Γδ′(2πi1∫γw−zf(w)dz)dw=0
等于0是因为 w ∈ Γ δ ′ , n ( γ , w ) = 0 w \in \Gamma_{\delta}', n(\gamma, w) = 0 w∈Γδ′,n(γ,w)=0(通过( ∗ ∗ ** ∗∗)可得)
Step2: 假设 U U U不是受限的
替换 U U U为 U ∩ D ( 0 , R ) : = U ′ U \cap D(0, R):= U' U∩D(0,R):=U′,则 U ′ U' U′是受限的。我们可以选择足够大的 R R R满足 γ ⊂ U ′ \gamma \subset U' γ⊂U′。只要证 γ \gamma γ在 U ′ U' U′上是同调于 0 0 0。
对任意 a ∈ C ∖ U ′ a \in \mathbb{C} \setminus U' a∈C∖U′,要么 a ∈ C ∖ U a \in \mathbb{C} \setminus U a∈C∖U,要么 a ∈ C ∖ D ( 0 , R ) a \in \mathbb{C} \setminus D(0, R) a∈C∖D(0,R);
- 如果 a ∈ C ∖ U a \in \mathbb{C} \setminus U a∈C∖U,则 n ( γ , a ) = 0 n(\gamma, a) = 0 n(γ,a)=0
- 如果 a ∈ C ∖ D ( 0 , R ) a \in \mathbb{C} \setminus D(0, R) a∈C∖D(0,R),可以直接计算得 n ( γ , a ) = 0 n(\gamma, a) = 0 n(γ,a)=0