复分析：全纯函数的原函数

1. 声音
   观察依据

   说话人说：“一个单连通区域，我称它为 D。”

2. 图示
   观察依据

   字母 D 写在黑板右上角，标记这个大区域。

D

复平面上的一个单连通区域。

ℂ 的子集

1. 声音
   观察依据

   说话人说：“在这个 D 上，我们有一个全纯函数 f。”

2. 公式
   观察依据

   写作 f: D → ℂ holo。

f

定义在区域 D 上的一个全纯函数。

D

1. 声音
   观察依据

   说话人说：“这是一个我们将称之为大 F 的函数。”

2. 公式
   观察依据

   写作 ∃$F(z)$: D → ℂ | F'(z) = $f(z)$。

F

f 的原函数，满足 F'(z) = $f(z)$。

D

1. 声音
   观察依据

   主讲人说：“我们选取一个任意点，我称它为 z 零。”

2. 图示
   观察依据

   标为 $z_0$ 的点位于区域 D 内。

$z_0$

在定义积分时，在定义域 D 内任选的一个固定基准点。

D

1. 声音
   观察依据

   主讲人说：“沿路径 gamma z 进行积分。”

2. 公式
   观察依据

   积分号下方写作 $\gamma_z$。

$\gamma_z$

D 内一条从 $z_0$ 出发、终止于 z 的围道（路径）。

D 内的一条路径

1. 公式
   观察依据

   f：$D \to C$ 全纯

f

一个从定义域 D 映射到复数集 C 的全纯函数。

D

1. 公式
   观察依据

   f：$D \to C$ 全纯

2. 图示
   观察依据

   黑板右侧标有 D 的大闭合曲线。

D

复平面上的一个单连通区域。

复平面

1. 公式
   观察依据

   存在 $F(z)$：$D \to C$，使得 F'(z) = $f(z)$

2. 公式
   观察依据

   $F(z)$ 定义为沿路径 gamma_z 对 $f(w)$ 关于 w 的积分

F

全纯函数 f 的原函数。

D

1. 公式
   观察依据

   $F(z)$ 定义为沿路径 gamma_z 对函数 $f(w)$ 关于 w 的积分

2. 图示
   观察依据

   位于区域 D 内的标为 $z_0$ 的点。

$z_0$

积分路径在区域 D 中的一个固定起点。

D

1. 公式
   观察依据

   $F(z)$ 定义为沿路径 gamma_z 对 $f(w)$ 关于 w 的积分

2. 图示
   观察依据

   位于区域 D 内某个更小圆内的标为 z 的点。

z

积分路径在区域 D 中的一个可变终点。

D

1. 公式
   观察依据

   $F(z)$ 定义为沿路径 gamma_z 对函数 $f(w)$ 关于 w 的积分

2. 图示
   观察依据

   一条带箭头的曲线，箭头从 $z_0$ 指向 z。

gamma_z

区域 D 内一条从 $z_0$ 到 z 的任意轮廓或路径。

D

1. 公式
   观察依据

   $F(z)$ 定义为沿路径 gamma_z 对 $f(w)$ 关于 w 的积分

w

沿围道 gamma_z 积分时所用的哑变量。

D

1. 声音
   观察依据

   主讲人解释：大 F 应具有其导数为小 f 的性质。

2. 公式
   观察依据

   黑板上显示 $\exists F(z)$ : $D \to \mathbb{C}$ | F'(z) = $f(z)$。

函数 f 在定义域 D 上的一个原函数，是指一个函数 F，使得对 D 中所有 z，都有 F'(z) = $f(z)$。

1. f 在 D 上全纯

2. D 是单连通的

1. 声音
   观察依据

   主讲人将 $F(z)$ 定义为沿某条从 $z_0$ 到 z 的路径 gamma_z 对 $f(w)$ dw 所做的积分。

2. 公式
   观察依据

   黑板上显示：$F(z)$ := $\int_{\gamma_z} f(w)$ dw。

为构造原函数 $F(z)$，需在 D 中固定一个基点 $z_0$，并定义 $F(z)$ 为 f 沿任意一条完全位于 D 内、从 $z_0$ 到 z 的路径的围道积分。

1. $z_0 \in D$ 是固定的

2. gamma_z 是 D 中一条从 $z_0$ 到 z 的路径

1. 原函数的定义

1. 公式
   观察依据

   存在函数 $F(z)$: $D \to C$，使得 F'(z) = $f(z)$

函数 f 的一个原函数是指函数 F，其导数 F' 在定义域内处处等于 f。

1. 函数 f 在定义域 D 上有定义

1. 声音
   观察依据

   因为我们选取的定义域是单连通的

复平面上的一个定义域，其中每一条闭合路径均可在不离开该定义域的前提下连续收缩为一个点。这一性质保证了全纯函数积分的路径无关性。

1. 定义域 D 不能有洞

1. 声音
   观察依据

   选择哪条路径都无关紧要……从 z₀ 到 z 的每一条路径上的积分，都等于任意其他路径上的积分

在单连通定义域中，全纯函数在两点之间的积分仅依赖于端点，而与所取的具体路径无关。

1. 定义域是单连通的

2. 函数是全纯的

1. 单连通定义域

1. 声音
   观察依据

   D 是一个区域；每个区域都是开集，因为‘区域’的定义本身就包含‘开’与‘连通’两个条件。

在复分析中，区域被定义为复平面的一个开且连通的子集。

1. 必须是一个开集。

2. 必须是一个连通集。

1. 公式
   观察依据

   $F(z)$ 定义为沿路径 $γ_z$ 对函数 $f(w)$ 关于 w 的积分。

2. 声音
   观察依据

   这个关于 $F(z)$ 的定义确实与从 z₀ 到 z 所选取的具体路径无关。

对于定义在区域 D 上的全纯函数 f，可通过沿任意分段光滑路径从某个固定基点 $z_0$ 到变动点 z 对 f 积分来定义其原函数 F。该定义成立，是因为该积分具有路径无关性。

1. f 必须在 D 上全纯。

2. D 必须是一个区域（即开且连通）。

3. 该积分必须具有路径无关性。

1. 区域的定义

1. 公式
   观察依据

   黑板上显示 `exists $F(z) D$ -> C | $F(z)$' = $f(z)$` 以及 `$F(z)$ := int $f(w)$ dw`。

2. 声音
   观察依据

   讲师说明：`$F(z)$` 定义为从 `$z_0$` 到 `z` 的积分。

对于定义在区域上的全纯函数$f$ on a domain $D$其原函数$F$通过固定一个基点来构造$z_0 \in D$并定义$F(z)$ 作为 $f$ 从 $z_0$ 到 $z$ 的围道积分。由于 $f$ 是全纯函数，该积分与路径无关，从而使得 $F$ 成为一个定义良好且单值的函数。

1. $f$在$D$上全纯

2. $D$是一个积分具有路径无关性的区域（例如单连通区域）

3. $z_0 \in D$是一个固定的基点

1. 公式
   观察依据

   黑板上显示表达式 `| ($F(z) - F(a)$)/(z - a) - $f(a)$ |`。

2. 声音
   观察依据

   讲师说：‘我们先来看F在z处的值减去F在a处的值，再除以z减a所得的商，并从此商中减去f在a处的值，最后对整个表达式取绝对值。’

为了证明$F'(a) = f(a)$，分析从考察$F$在$a$处的差商与目标值$f(a)$之间的绝对差开始。这是证明极限的标准$\epsilon-\delta$设定。

1. 对应的式子为：$z \neq a$

1. 通过路径积分定义原函数。

1. 声音
   观察依据

   讲师指出：‘正如我刚才一分钟前告诉你们的，选择哪条路径并不重要。因此，特别地，你可以选择如下路径：从z零到a，再从a到z。’

2. 图示
   观察依据

   图中显示了一条从$z_0$到$a$的路径，以及一条独立的从$a$到$z$的线段，二者组合构成一条从$z_0$到$z$的有效路径。

由于$f$在$D$上全纯，定义$F(z)$的积分值不依赖于从$z_0$到$z$所选取的具体路径。这使得证明可以策略性地选择一条分段路径（先从$z_0$到$a$，再沿直线从$a$到$z$），以简化差值$F(z) - F(a)$。

1. $f$在$D$上全纯

2. 所选路径完全位于$D$内

1. 通过路径积分定义原函数。

1. 公式
   观察依据

   黑板上显示不等式 `<= (1/|z-a|) * sup_{$w \in \gamma_z$} |$f(w) - f(a)$| * |z-a|`。

2. 声音
   观察依据

   主讲人从积分表达式过渡到这一上界估计。

围道积分的模被围道上被积函数模的最大值与围道长度的乘积所界定。此处将其应用于 $f(w) - f(a)$ 在线段 $\gamma_z$ 上的积分，该线段长度为 $|z-a|$。

1. $\gamma_z$是一条可求长围道

2. $g$在$\gamma_z$上连续

1. F的导数的差商

1. 声音
   观察依据

   讲师说：‘使用 ML 不等式’，然后解释道：该积分的绝对值必须小于被积函数在积分区间上取值的上确界，再乘以该区间的长度。

2. 公式
   观察依据

   黑板展示了一个形如 ≤ (1/|z-a|) sup_{$w\in [a,z]$} |$f(w)-f(a)$| · |z-a| 的不等式。

在本讲片段中，ML 不等式被用作对围道积分的一种估计：积分的绝对值被限制在被积函数沿路径的上确界与路径长度的乘积之内。讲师明确将其描述为‘在……区间上取值的上确界乘以该区间的长度。’

1. 该估计式应用于沿路径或区间上的积分。

2. 此处被积函数被替换为 |$f(w)-f(a)$|。

3. 对于线段 [a,z]，路径长度为 |z-a|。

1. 声音
   观察依据

   这是柯西定理的直接推论：若定义域是单连通的，且沿一条闭合路径积分，则该积分为零

若函数 f 在单连通区域 D 上全纯，则 f 沿 D 内任意闭合路径的积分等于零。

1. f 在 D 上全纯

2. D 是单连通区域

3. 路径是闭合的，且完全位于 D 内

对 D 内所有闭合路径

1. 声音
   观察依据

   沿一条路径的积分等于沿反向路径积分的相反数……两条路径上的积分值相同。因此，这个关于 $F(z)$ 的定义确实与从 z₀ 到 z 所选取的路径无关。

若 f 在区域 D 上全纯，则 f 在 D 中两点 $z_0$ 与 z 之间的围道积分与所选取的分段光滑路径无关。

1. f 在 D 上全纯。

2. D 是一个区域（即开集且连通）。

对 D 中所有从 $z_0$ 到 z 的路径。

1. 声音
   观察依据

   我们要验证大写 F 的导数确实等于小写 f。

由全纯函数 f 的路径积分所定义的函数 F 的导数，等于 f 本身。

1. f 在区域 D 上全纯。

2. F 定义为 f 的路径积分。

对 D 中所有点 a。

1. 公式
   观察依据

   黑板左上方断言 `存在 $F(z)$：D -> C，使得 $F(z)$' = $f(z)$`。

2. 声音
   观察依据

   整段内容专注于对$F$的差商进行变形，以证明其趋近于$f(a)$。

3. 公式
   观察依据

   黑板最后一行将该上界简化为 `sup_{$w \in \gamma_z$} |$f(w) - f(a)$| -> 0`。

1. 明确的最终结论“因此 F'(a) = $f(a)$”并未在此段时长为120秒的视频片段中口头陈述或书面写出，但其中的数学推导显然旨在证明该结论。

若 $f$ 在 $D$ 和 $F(z) = \int_{z_0}^z f(w) dw$，那么 $F$ 在 $D$ 上可微，且 $F'(a) = f(a)$ 对所有 $a \in D$。

1. $f$在$D$上全纯

2. $F$通过从一个固定的$z_0 \in D$出发的路径积分来定义

对所有$a \in D$和$z \to a$成立。

1. 公式
   观察依据

   黑板底部显示：`sup_{$w \in \gamma_z$} |$f(w) - f(a)$| * |z-a| -> 0`（上一步中$|z-a|$被约去）。

2. 声音
   观察依据

   讲师的讲解聚焦于对$f(w) - f(a)$这一差值进行估计，其中$w$接近$a$。

1. 本片段中未口头提及‘一致地’这一具体措辞，但使用在整个线段$\gamma_z$上的上确界，暗示了对一致连续性或局部有界性与连续性相结合的依赖。

当$z \to a$时，$|f(w) - f(a)|$在连接$a$与$z$的线段上的上确界趋近于0。

1. $f$在$a$处连续

2. 该线段位于$f$表现良好的邻域内

当$z \to a$趋近时的极限。

1. 公式
   观察依据

   黑板上显示 (1/|z-a|) sup_{$w\in [a,z]$} |$f(w)-f(a)$| · |z-a| → 0。

2. 声音
   观察依据

   讲师说：‘这个与这个约掉了’，指的是倒数因子与区间长度。

1. 该片段在结束前并未完整陈述定理名称或最终的量化结论。

应用 ML 不等式后，因子 1/|z-a| 与路径长度 |z-a| 相约，留下一个上确界型误差项，当 z 趋近于 a 时，该误差项趋于 0。

1. 该积分为沿线段 [a,z] 的积分。

2. ML不等式已被应用于区间[a,z]上的|$f(w)-f(a)$|。

3. z趋近于a。

对于$w\in [a,z]$，取极限$z\to a$。

1. 公式
   观察依据

   黑板上显示：f:D→C是全纯函数，存在$F(z)$，且F'(z)=$f(z)$。

2. 声音
   观察依据

   主讲人正在解释一个涉及这些对象的证明过程中出现的估计式。

1. 该片段未包含周围定理的完整陈述，仅展示了所呈现的设定及一个局部估计。

可见的设定表明，这是一个关于定义域D上全纯函数f的定理：f存在原函数F，满足F'(z)=$f(z)$；该定理通过积分表达式及对差商的估计加以证明。

1. f在D上全纯。

2. 正在考虑一个由积分定义的函数F。

3. 该证明估计[$F(z)-F(a)$]/($z-a$)−$f(a)$。

视频未解释完整的量词结构；该片段仅展示部分证明步骤。

1. 声音
   观察依据

   主讲人得出结论：‘F 在点 a 处的导数就是小写的 f’，且‘我们已找到了一个原函数’。

2. 公式
   观察依据

   该有界表达式的极限被证明为0。

若 f 在区域 D 上全纯，则函数 $F(z) = \int_{z_0}^z f(w)$ dw 是 f 在 D 上的一个原函数，即对所有 $z \in D$，都有 F'(z) = $f(z)$。

1. f 在 D 上全纯

2. D 是一个区域（开且连通）

3. $z_0$ 属于 D

对所有 $z \in D$

1. 公式
   观察依据

   $F(z)$ 定义为沿路径 gamma_z 对函数 $f(w)$ 关于 w 的积分

2. 声音
   观察依据

   我们任取一条从 z₀ 到 z 的路径，并沿该路径积分，将所得结果记为 $F(z)$

1. 公式

   $$F(z) := \int_{\gamma_z} f(w) dw$$
   解释

   定义函数 $F(z)$ 为 $f(w)$ 沿任意路径 gamma_z 从定点 $z_0$ 到 z 的积分。

   步骤依据

   所构造原函数的定义。

   视频直接表达
2. 公式

   $$\int_{\gamma_1} f(w) dw = \int_{\gamma_2} f(w) dw$$
   解释

   证明该积分在 $z_0$ 与 z 之间的任意路径上取值相同，即与路径选择无关。

   步骤依据

   由柯西定理可知，由于区域是单连通的且 f 全纯，故沿由 gamma_1 与 gamma_2 的反向路径构成的闭合回路的积分等于零。

   视频直接表达
3. 公式

   $$F'(z) = f(z)$$
   解释

   得出结论：定义良好的函数 F 是 f 的一个原函数。

   步骤依据

   利用线积分的微积分基本定理的标准论证，该论证依赖于 f 的连续性。

   依据视频推导

在单连通区域上全纯的函数恒存在原函数。

1. 声音
   观察依据

   因为 D 是开集……在所选的点 a 周围，至少存在一个半径为 epsilon 的小球，使得该 epsilon 球仍包含于 D 中。这意味着我们可以考察函数大 F 的导数……聚焦于点 a 以及该 epsilon 球内的某个点 z。

1. 公式

   $$$$
   解释

   明确目标：对 D 中任意一点 a，证明 F'(a) = $f(a)$。

   步骤依据

   待证命题。

   视频直接表达
2. 公式

   $$D \text{ is open}$$
   解释

   利用 D 是区域这一事实，故其为开集。

   步骤依据

   区域的定义。

   视频直接表达
3. 公式

   $$\exists \epsilon > 0 \text{ such that } B_\epsilon(a) \subset D$$
   解释

   由于 D 是开集，故存在一个以 a 为中心的 epsilon 球，且该 epsilon 球完全包含于 D 内。

   步骤依据

   开集的定义。

   视频直接表达
4. 公式

   $$z \in B_\epsilon(a)$$
   解释

   取该 epsilon 球内的一点 z，构造导数的差商。

   步骤依据

   导数极限定义的准备工作。

   视频直接表达

D 的开性保证了当 z 充分接近 a 时，差商 ($F(z) - F(a)$)/(z - a) 有定义，从而可进行导数计算。

1. 公式
   观察依据

   黑板上展示了从 `| ($F(z) - F(a)$)/(z - a) - $f(a)$ |` 到 `sup ... -> 0` 的全部等式与不等式链。

2. 声音
   观察依据

   主讲人通过口述，引导完成积分定义的代入、路径无关性的运用，以及估计引理的应用。

1. $1/|z-a|$因子与长度$|z-a|$之间的精确代数相消，由黑板上第三行到第四行的过渡直观体现，但中间划去的步骤并未明确写出。

1. 公式

   $$\left| \frac{F(z) - F(a)}{z - a} - f(a) \right|$$
   解释

   从$F$在$a$处的差商与目标值$f(a)$之间的绝对误差出发。

   步骤依据

   导数极限的定义。

   视频直接表达
2. 公式

   $$\left| \frac{1}{z - a} \int_{\gamma_z} f(w) dw - f(a) \right|$$
   解释

   将 $F(z) - F(a)$ 的定义代入：即 $f$ 沿直线段 $\gamma_z$ 从 $a$ 到 $z$ 的积分。

   步骤依据

   全纯函数积分的路径无关性允许选取线性路径；这是关于曲线的微积分基本定理。

   视频直接表达
3. 公式

   $$\left| \frac{1}{z - a} \int_{\gamma_z} (f(w) - f(a)) dw \right|$$
   解释

   将$f(a)$移入积分号内。由于$\int_{\gamma_z} f(a) dw = f(a)(z-a)$，除以$z-a$后得到$f(a)$。

   步骤依据

   积分的线性性质，以及常数$c$沿从$a$到$z$的路径积分结果为$c(z-a)$这一事实。

   依据视频推导
4. 公式

   $$\le \frac{1}{|z - a|} \sup_{w \in \gamma_z} |f(w) - f(a)| \cdot |z - a|$$
   解释

   对$f(w) - f(a)$在$\gamma_z$上的积分应用估计引理（ML不等式），注意$\gamma_z$的长度恰好为$|z-a|$。

   步骤依据

   标准复分析不等式：$|\int g| \le \sup|g| \times \text{length}$。

   视频直接表达
5. 公式

   $$\sup_{w \in \gamma_z} |f(w) - f(a)| \to 0$$
   解释

   消去$|z-a|$项。当$z \to a$时，线段$\gamma_z$收缩为点$a$，且由$f$的连续性，差值的上确界趋于0。

   步骤依据

   代数消去以及连续性（或紧子集上的均匀连续性）的定义。

   视频直接表达