第十一章 Euclid空间上的极限与连续

目录

1. Euclid 空间上的距离与极限

对于多元函数, 记 \( \mathbf{R}\) 为实数全体, 定义 n 个 \(\mathbf{R}\) 的 Descartes 成绩集为: \[ \mathbf{R} = \mathbf{R} \times \mathbf{R} \times \cdots \mathbf{R} = \{ (x_1, x_2, \cdots x_n)|x_i \in \mathbf{R}, i=1,2,\cdots n \}. \]

\( \mathbf{R}^n\) 中的元素 \(\vec{x} = (x_1, x_2, \cdots x_n)\) 称为向量或点, \(x_i\) 为 \(\vec{x}\) 的第 \(i\) 个坐标

定义 \(\mathbf{R}^n\) 的加法, 数乘运算, 则称 \(\mathbf{R}^n\) 为 向量空间.

1.1. 内积与 Euclid 空间

如果在 \(\mathbf{R}^n\) 内引入内积运算: \( (\vec{x}, \vec{y})= \sum_{i=1}^n x_i y_i \), 则称 \(\mathbf{R}^n\) 为 Euclid 空间.

内积性质:正定性,对称性,线性性.

Schwarz 不等式:

\[ \langle\vec{x}, \vec{y}\rangle = \sum_{i=1}^n x_i y_i \leq \langle \vec{x}, \vec{x}\rangle\langle \vec{y}, \vec{y}\rangle = \sqrt{\sum_{i=1}^n x_i^2}\cdot \sqrt{\sum_{i=1}^n y_i^2 } \]

1.2. Euclid 空间内距离

设 \( ||x|| = \sqrt{\langle x, x\rangle}=\sqrt{\sum_{i=1}^n x_i^2} \). \(||x||\) 称为 \(\vec{x}\) 的范数/ 距离.

距离性质:正定性,对称性,三角不等式.

Euclid 空间内邻域定义(中心,半径).

1.3. Euclid 空间内极限

首先我们定义 \(\{\vec{x}_k\}\) 为 \(\mathbf{R}\) 的一个点列.

一个点列不收敛则称其发散.

Euclid 空间内极限性质:唯一性,有界性,四则运算法则.

NOTE: 高维的两个点之间不存在大小关系,故无保序性与夹逼性.

1.4. Euclid 空间内有界集

设 \(S\) 为 \(\mathbf{R}^n\) 上点集, 其在 \(\mathbf{R}^n\) 上补集 \( \mathbf{R}^n \setminus S \) 记作 \(S^C\).

内点
存在邻域是 \(S\) 的子集. 显然内点必属于 \(S\); \(S\) 的内点全体称为内部, 记作 \(S^0\).
外点
\(S^C\) 的内点.
边界点
\(\forall O(x_0, \delta), \exists x_1 \in S, x_2 \in S^C\). 边界点不一定属于 \(S\); \(S\) 边界点的全体称为 \(S\) 的边界, 记作 \( \partial S\).
  • 孤立点(边界点的特殊情况).
聚点
\( \forall O(\vec{x}, \delta) \) 都含有 \(S\) 中的无数个点. \(S\) 的聚点全体记为 \(S\prime\).
  • \(\vec{x}\) 为 \(S\) 聚点的充要条件: \(\forall \{\vec{x}_k\}\), 满足 \(\vec{x}_k\in S, \vec{x}_k \ne \vec{x}, \lim_{n \to \infty} \vec{x}_k = \vec{x} \).
开集
\( \forall \vec{x} \in S, \vec{x} \in S^0\), 称 \(S\) 为开集.
闭集
\(\forall \vec{x} S\prime, \vec{x} \in S\), 称 \(S\) 为闭集.
闭包
\( S \cup S\prime \) 称为闭包, 记作 \(\bar{S}\).

推论: 邻域时开集; \(S\) 为开/闭集的充要条件为 \(S^C\) 为闭开集.

n 维开(闭)矩形;n 维开(闭)球

De Morgan 公式(对偶律):并之补即补之交;交之补即补之并.

推论:

  1. 开集之并为开集;
  2. 闭集之交为闭集;
  3. 有限个开集之交为开集;
  4. 有限个闭集之并为闭集.

2. Euclid 空间上的基本定理(4 条)

闭矩形套定理 ( \( \mathbf{R}^1 \) 即闭区间套定理 ) => Cantor 闭区域套定理 (更一般)

Bolzano-Weierstrass 定理.

基本点列;Cauchy 收敛原理.

开覆盖; 紧集 <=> 有界闭集 ( Henie-Borel 定理 ) <=> 任一无限子集在原集中必有聚点.

3. 多元连续函数

多元函数(多个自变量 -> 一个因变量)

3.1. 多元函数的多重极限

注意定义域是开集; 要求 \(\vec{x}\) 可以以任意方式趋近; 多用于证伪.

累次极限
对于每个固定的 \( y\ne y_0\), \(\exists \lim_{x \to x_0} f(x.y) =\varphi(y) \), \(\exists \lim_{y \to y_0} \lim_{x \to x_0} f(x, y) \); 则称此极限为 \( f(x, y) \) 对点 \( ( x_0, y_0 ) \) 的先 x 后 y 极限.

重极限与累次极限关系(既非充分也非必要)

强条件下重极限与累次极限关系 (重极限存在; \( x\ne x_0 \) 时 \( \exists \lim_{y \to y_0} f(x, y) = \varphi(x) \) )

3.2. 多元连续函数

多元函数的连续性 (注意定义域是开集) => 多元连续函数

一元连续函数的和差积商与复合函数性质对多元连续函数仍适用.

4. 向量值函数

多个因变量 <- 一个自变量

向量值函数的极限和连续 ( \(\vec{f}\) 收敛; 连续映射 ); 定义域是开集.

映射 \( \vec{f}: D\rightarrow \mathbf{R}^m \) 在 \(\vec{x}_0\) 连续 <=> 函数 \( f_1, f_2, \cdots f_m\) 在 \(\vec{x}\) 点连续.

复合映射的连续性.

紧集上的连续映射(连续映射的概念的扩展). 特别地, \(\vec{f}\) 在孤立点 \(\vec{x}_0\) 上连续.

连续映射将紧集映射成紧集.

映射的一致连续.

一致连续性定理(连续映射的 Cantor 定理):紧集上的连续映射一致连续.

道路; 起点与重点 (前提是连续映射) => 连通集.

(开)区域:连通的开集;闭区域:开区域的闭包.

连续映射将连通集映射成连通集.

日期: 2019-01-17 Thu 15:04

作者: yuandi

Created: 2026-03-11 Wed 22:08