实变函数精解【8】

点集

基础

• $设f(x)是定义在E \subset R^n上的实值函数，x_0 \in E,如果对任意的\epsilon \gt 0，存在\delta >0, \\使得x \in E\cap B(x_0,\delta)时，有 \\|f(x)-f(x_0)| < \epsilon \\称f(x)在x=x_0处连续，称x_0为f(x)的一个连续点 \\1.在x_0 \notin E'时，x_0是E的孤立点时，f(x)自然在x=x_0处连续。 \\2.若E中的任一点皆为f(x)的连续点，则称f(x)在E上连续 \\记E上的连续函数之全体为C(E)$
• $设F是R^n中的有界闭集，f \in C(F)，则$
  $1.f(x)是F上的有界函数，即f(x）是R中的有界集。 \\2.存在x_0 \in F，y_0 \in F,使得 \\f(x_0)=sup\{f(x):x \in F\}，f(y_0)=inf\{f(x):x \in F\} \\3.f(x)在F上一致连续的，即：对任给的\epsilon >0 ，存在\delta >0 \\当x',x'' \in F且 |x'-x''|<\delta 时，有|f(x')-f(x'')| < \epsilon$
• $若 E \subset R^n上的连续函数列\{f_k(x)\}$一致收敛于$f(x)$，则f(x)是E上的连续函数。

理论

下面内容来自文心一言的自动生成

实变函数的连续

在实变函数论中，连续性的概念与在初等函数论中的概念有所不同，主要是因为实变函数论处理的函数空间更加广泛，包括定义在更一般的集合（如可测集）上的函数，并且这些函数可能不连续在“每一点”上，但仍然可以在某种意义下是“连续”的。这里，我们主要讨论两种与连续性相关的概念：逐点连续和一致连续（尽管在实变函数论中，一致连续的概念更多地与紧集上的连续函数相关，但我们可以从更一般的角度来探讨）。

逐点连续

对于定义在可测集$E \subset \mathbb{R}^n$上的函数$f: E \to \mathbb{R}$，我们可以定义其在某点$x_0 \in E$的逐点连续性。如果对于任意给定的$\epsilon > 0$，都存在一个$\delta > 0$，使得当$x \in E$且$|x - x_0| < \delta$时，有$|f(x) - f(x_0)| < \epsilon$，则称函数$f$在点$x_0$处连续。

注意，这里的定义与初等函数论中的连续定义类似，但关键在于函数域$E$可能不是整个空间$\mathbb{R}^n$，且$E$中的点可能不是“紧密”的（即，可能存在$x_0$的邻域，该邻域与$E$的交集不包含除了$x_0$以外的其他点）。

几乎处处连续

在实变函数论中，一个更强的概念是“几乎处处连续”。如果函数$f: E \to \mathbb{R}$在$E$中除了一个可测集$N$（其测度为零）之外的所有点上都连续，则称$f$在$E$上几乎处处连续。这个概念在处理如勒贝格积分等更高级的主题时非常有用。

一致连续（在紧集上）

虽然一致连续的概念在实变函数论中不总是直接讨论（因为它更多地与紧集上的连续函数相关），但我们可以简要提及。如果函数$f: K \to \mathbb{R}$（其中$K \subset \mathbb{R}^n$是紧集）满足：对于任意给定的$\epsilon > 0$，都存在一个$\delta > 0$，使得当$x, y \in K$且$|x - y| < \delta$时，有$|f(x) - f(y)| < \epsilon$，则称$f$在$K$上一致连续。

总结

在实变函数论中，连续性的概念得到了扩展，以适应更广泛的函数空间和更复杂的函数行为。逐点连续和几乎处处连续是处理这类函数时常用的概念，而一致连续则更多地与紧集上的函数行为相关。这些概念为理解和研究实变函数提供了有力的工具。

参考文献

1.《实变函数论》
2. 文心一言