复变函数的极限与连续性的深入讨论
字数 1516 2025-10-31 22:46:36

复变函数的极限与连续性的深入讨论

我们先从复变函数极限的精确定义开始。设函数 \(f(z)\) 在点 \(z_0\) 的某个去心邻域内有定义。若存在复数 \(L\),使得对于任意给定的正数 \(\epsilon\),总存在正数 \(\delta\),使得当 \(0 < |z - z_0| < \delta\) 时,有 \(|f(z) - L| < \epsilon\),则称当 \(z\) 趋近于 \(z_0\) 时,\(f(z)\) 的极限为 \(L\),记作:

\[\lim_{z \to z_0} f(z) = L \]

这一定义在形式上与实变函数极限的 \(\epsilon-\delta\) 定义相同,但本质区别在于,\(z\) 可以从复平面上任意方向趋近于 \(z_0\),而不仅限于实轴上的两个方向。因此,复变函数的极限存在要求比实变函数更为严格。

接下来,我们讨论复变函数的连续性。若函数 \(f(z)\) 在点 \(z_0\) 处满足:

  1. \(f(z_0)\) 有定义;
  2. \(\lim_{z \to z_0} f(z)\) 存在;
  3. \(\lim_{z \to z_0} f(z) = f(z_0)\)
    则称 \(f(z)\) 在点 \(z_0\) 处连续。

由于复变函数的极限可以转化为两个二元实变函数的极限,即令 \(z = x + iy\)\(f(z) = u(x, y) + iv(x, y)\),则 \(\lim_{z \to z_0} f(z) = L\) 等价于同时满足:

\[\lim_{(x, y) \to (x_0, y_0)} u(x, y) = \text{Re}(L), \quad \lim_{(x, y) \to (x_0, y_0)} v(x, y) = \text{Im}(L) \]

因此,复变函数 \(f(z)\) 在点 \(z_0\) 处连续,当且仅当其对应的实部函数 \(u(x, y)\) 和虚部函数 \(v(x, y)\) 在点 \((x_0, y_0)\) 处均连续。

进一步地,复变函数的连续性具有以下基本性质:

  1. \(f(z)\)\(g(z)\) 均在点 \(z_0\) 处连续,则它们的和、差、积、商(当 \(g(z_0) \neq 0\) 时)也在点 \(z_0\) 处连续。
  2. \(f(z)\) 在点 \(z_0\) 处连续,\(g(w)\) 在点 \(w_0 = f(z_0)\) 处连续,则复合函数 \(g(f(z))\) 在点 \(z_0\) 处连续。

最后,我们考虑一致连续的概念。设函数 \(f(z)\) 在区域 \(D\) 上有定义。若对于任意给定的 \(\epsilon > 0\),存在 \(\delta > 0\),使得对于 \(D\) 内任意两点 \(z_1, z_2\),只要 \(|z_1 - z_2| < \delta\),就有 \(|f(z_1) - f(z_2)| < \epsilon\),则称 \(f(z)\)\(D\) 上一致连续。一致连续是比逐点连续更强的条件,它要求 \(\delta\) 的选取与点的位置无关。在有界闭区域(即紧集)上,连续函数必然一致连续,这一性质在复分析中常用于证明某些积分的一致收敛性。

复变函数的极限与连续性的深入讨论 我们先从复变函数极限的精确定义开始。设函数 \( f(z) \) 在点 \( z_ 0 \) 的某个去心邻域内有定义。若存在复数 \( L \),使得对于任意给定的正数 \( \epsilon \),总存在正数 \( \delta \),使得当 \( 0 < |z - z_ 0| < \delta \) 时,有 \( |f(z) - L| < \epsilon \),则称当 \( z \) 趋近于 \( z_ 0 \) 时,\( f(z) \) 的极限为 \( L \),记作: \[ \lim_ {z \to z_ 0} f(z) = L \] 这一定义在形式上与实变函数极限的 \( \epsilon-\delta \) 定义相同,但本质区别在于,\( z \) 可以从复平面上任意方向趋近于 \( z_ 0 \),而不仅限于实轴上的两个方向。因此,复变函数的极限存在要求比实变函数更为严格。 接下来,我们讨论复变函数的连续性。若函数 \( f(z) \) 在点 \( z_ 0 \) 处满足: \( f(z_ 0) \) 有定义; \( \lim_ {z \to z_ 0} f(z) \) 存在; \( \lim_ {z \to z_ 0} f(z) = f(z_ 0) \); 则称 \( f(z) \) 在点 \( z_ 0 \) 处连续。 由于复变函数的极限可以转化为两个二元实变函数的极限,即令 \( z = x + iy \),\( f(z) = u(x, y) + iv(x, y) \),则 \( \lim_ {z \to z_ 0} f(z) = L \) 等价于同时满足: \[ \lim_ {(x, y) \to (x_ 0, y_ 0)} u(x, y) = \text{Re}(L), \quad \lim_ {(x, y) \to (x_ 0, y_ 0)} v(x, y) = \text{Im}(L) \] 因此,复变函数 \( f(z) \) 在点 \( z_ 0 \) 处连续,当且仅当其对应的实部函数 \( u(x, y) \) 和虚部函数 \( v(x, y) \) 在点 \( (x_ 0, y_ 0) \) 处均连续。 进一步地,复变函数的连续性具有以下基本性质: 若 \( f(z) \) 和 \( g(z) \) 均在点 \( z_ 0 \) 处连续,则它们的和、差、积、商(当 \( g(z_ 0) \neq 0 \) 时)也在点 \( z_ 0 \) 处连续。 若 \( f(z) \) 在点 \( z_ 0 \) 处连续,\( g(w) \) 在点 \( w_ 0 = f(z_ 0) \) 处连续,则复合函数 \( g(f(z)) \) 在点 \( z_ 0 \) 处连续。 最后,我们考虑一致连续的概念。设函数 \( f(z) \) 在区域 \( D \) 上有定义。若对于任意给定的 \( \epsilon > 0 \),存在 \( \delta > 0 \),使得对于 \( D \) 内任意两点 \( z_ 1, z_ 2 \),只要 \( |z_ 1 - z_ 2| < \delta \),就有 \( |f(z_ 1) - f(z_ 2)| < \epsilon \),则称 \( f(z) \) 在 \( D \) 上一致连续。一致连续是比逐点连续更强的条件,它要求 \( \delta \) 的选取与点的位置无关。在有界闭区域(即紧集)上,连续函数必然一致连续,这一性质在复分析中常用于证明某些积分的一致收敛性。