实变函数精解【17】

叶绿先锋

于 2024-08-29 23:39:53 发布

阅读量507

点赞数 14

分类专栏：基础数学与应用数学文章标签：算法人工智能机器学习实变函数

本文链接：https://blog.csdn.net/sakura_sea/article/details/141685862

版权

基础数学与应用数学专栏收录该内容

92 篇文章 3 订阅

订阅专栏

文章目录

lebesgue可测
参考文献

lebesgue可测

lebesgue可测函数积分的三种表示方法

$对可测集E上的有界可测函数f(x),-M<f(x)<M，\\有一串数列\{l_i\}_{i=0}^n，使得l_0 = -M, \\l_i<l_{i+1},l_n=M，任取\xi_i\in [l_i,l_{i+1}]，讨论和式 \\\Sigma \xi_i m(E(l_i\le f\lt l_{i+1})) \\\delta=max_{0\le i\le{n-1}}(l_{i+1}-l_i)\rightarrow 0时，极限是否存在。$
$\\E=\cup_{j=1}^mE_j,E_i\cap E_j=\emptyset(i\ne j) \\b_j=inf_{x\in E_j}f(x),B_j=sup_{x \in E_j}f(x) \\作对应于该划分的小和数\Sigma_{j=1}^mb_jm(E_j)与大和数\Sigma_{j=1}^mB_jm(E_j) \\讨论其大和数的下限和小和数的上限是否相同$
$\\存在一列单调递增的简单可测函数列 \\\{\varphi_k(x)=\Sigma_{i=1}^{N^{(k)}}a_i^{(n)}\chi_{E_j}(x)\} \\其中，E_i^{(k)}\cap E_i^{(k)}=\emptyset，当i\ne j,使得\varphi_k(x)\rightarrow f \\对于每个简单函数\varphi_k(x),定义其积分为： \\\Sigma_{i=1}^{N{(n)}}a_i^{(n)}m(E_i^{(n)}),当n\rightarrow \infty时，该和式极限存在。 \\该和式极限称为非负可测函数f(x)的积分。 \\这种表示方法比较普遍 \\1、关于特征函数\chi在这里的作用是：如果x \in E_i，则函数\chi值为1，否则为0。 \\为什么用这个\chi，因为当定义上面的简单可测函数时，对于 E中的每个x， \\都有一个对应的a_i^{(n)}\chi_{E_i}(x)，E_i中的所有的元素x的测度就是m(E_i^{(n)}) \\2、a_i^{(n)}可理解为高，m(E_i^{(n)})是下面的底面测度（面积），两者乘积之和\Sigma_{i=1}^{N{(n)}}a_i^{(n)}m(E_i^{(n)})\\就是积分，求出了\varphi_k(x)下方的体积。 \\3、a_i^{(n)}\chi_{E_j}(x)实质是属于E_j的每个元素x对应的1值乘以a_i^{(n)}，用上\Sigma_{i=1}^{N{(n)}} \\这样就可以把所有属于E_i的每个元素组成的底面（每个元素假设面积为1，\\可理解为面积，但在积分中才有面积一说，这里只是定义了一个函数而已） \\乘以它们对应的a_i^{(n)}，求和后，得到一个函数\varphi_k(x)=\Sigma_{i=1}^{N^{(k)}}a_i^{(n)}\chi_{E_j}(x)$

非负可测函数的积分

$\subset R^n上的非负可测简单函数。 \\h(x)=\Sigma_{j=1}^{m}a_j\chi_{E_j(x)},\forall x \in E \\定义h(x)在可测集E上的积为 \\\int_Eh(x)dx=\Sigma_{j=1}^ma_jm(E_j) \\此处的dx是R^n上lebesgue测度的标志 \\积分几何意义是： \\函数h(x)的下方图\{(x,y) \in R^{n+1},x\in E,0\le y \le h(x)\}是m个高为a_j，底面是E_j的柱体。 \\h(x)下方图的柱体就是函数h(x) \\为什么是R^{n+1}，因为dx表示测度在R^n中，但y的加入，所以n+1 \\若a是非负常数，则 \\\int_Eah(x)dx=a\int_Eh(x)dx \\设g(x)也是E上的非负简单可测函数，则 \\\int_E(h(x)+g(x))dx=\int_Eh(x)dx+\int_Eg(x)dx$

$又设\{E_k\}是E中递增可测子集合列，满足\lim_{k\rightarrow \infty}E_k=E \\h(x)是E上的非负可测简单函数 \\\lim_{k\rightarrow\infty}\int_{E_k}h(x)dx=\int_Eh(x)dx$
$\\\int_Eh(x)dx=sup\{\int_Eh(x)dx:h(x)是E上非负简单可测函数,且h(x)\le f(x)\} \\\int_Eh(x)dx可以等于\infty,也可以<\infty \\则称f(x)在E 上是lebesgue可积的，是E上的可积函数。$

非负可测简单函数

在测度论中，非负可测简单函数是一类特殊的函数，它们在处理积分和测度时具有重要的作用。下面，我们将详细定义并解释非负可测简单函数。

定义

设 $\mathcal{M}, \mu)$ 是一个测度空间，其中 $X$ 是集合， $\mathcal{M}$ 是 $X$ 上的一个 $\sigma$ -代数（或称为 $\sigma$ -域）， $\mu$ 是 $\mathcal{M}$ 上的测度。一个函数 $\to [0, +\infty)$ 被称为非负可测简单函数，如果它可以表示为有限个特征函数（或称为指示函数）的线性组合，即存在 $E_1, E_2, \ldots, E_n \in \mathcal{M}$ （这些集合两两不相交，且它们的并集是 $X$ 的一个子集）和正数 $c_1, c_2, \ldots, c_n$ ，使得

$\sum_{i=1}^{n} c_i \chi_{E_i}(x), \quad \forall x \in X,$

其中 $\chi_{E_i}$ 是集合 $E_i$ 的特征函数，定义为

$\chi_{E_i}(x) = \begin{cases} 1, & \text{如果 } x \in E_i, \\ 0, & \text{如果 } x \notin E_i. \end{cases}$

性质

非负性：由于 $c_i \geq 0$ 且 $\chi_{E_i}(x)$ 的取值只能是 0 或 1，因此 $\geq 0$ 对所有 $\in X$ 成立。
可测性：由于 $E_1, E_2, \ldots, E_n$ 都是可测集，且特征函数 $\chi_{E_i}$ 在每个 $E_i$ 上取值为 1，在 $E_i$ 的补集上取值为 0，因此 $\chi_{E_i}$ 是可测函数。由于有限个可测函数的线性组合仍然是可测的，所以 $f$ 也是可测的。
积分：非负可测简单函数的积分可以很容易地计算，因为

$\int_X f \, d\mu = \int_X \sum_{i=1}^{n} c_i \chi_{E_i} \, d\mu = \sum_{i=1}^{n} c_i \int_X \chi_{E_i} \, d\mu = \sum_{i=1}^{n} c_i \mu(E_i).$

这个性质使得非负可测简单函数在积分理论中非常重要，因为它们可以用来逼近更一般的非负可测函数。

应用

非负可测简单函数在积分论和测度论中有广泛的应用。例如，在定义 Lebesgue 积分时，通常首先定义非负简单函数的积分，然后通过逼近的方法扩展到一般的非负可测函数，最后通过考虑正负部分扩展到所有可测函数。此外，非负可测简单函数在证明 Radon-Nikodym 定理等高级定理时也扮演着重要角色。

$\sigma$ -代数

基础

（也称为 $\sigma$ -域）是一个集合系统，它满足一系列特定的性质，这些性质使得它成为定义测度的基础。具体来说，一个集合 $X$ 上的 $\sigma$ -代数 $\mathcal{M}$ 是一个包含 $X$ 的子集族，满足以下条件：

空集属于 $\mathcal{M}$ ：即 $\emptyset \in \mathcal{M}$ 。
补集封闭：对于 $\mathcal{M}$ 中的任意集合 $E$ ，其补集 $\setminus E$ （或简写为 $E^c$ ）也属于 $\mathcal{M}$ 。
可数并集封闭：如果 $\{E_n\}_{n=1}^\infty$ 是 $\mathcal{M}$ 中的一个可数集合序列，那么它们的并集 $\bigcup_{n=1}^\infty E_n$ 也属于 $\mathcal{M}$ 。

注意， $\sigma$ -代数并不要求有限交集封闭（这是 $\sigma$ -环或代数的要求），但它确实要求可数并集封闭，这是与代数（或 $\sigma$ -环）的主要区别之一。

$\sigma$ -代数在测度论中非常重要，因为它为定义测度提供了一个合适的集合系统。在定义了测度之后，我们可以进一步定义可测函数、积分等概念。

此外，值得注意的是，在某些文献中， $\sigma$ -代数也被称为 $\sigma$ -环（尽管这个术语更常见于包含有限交集封闭性质的集合系统）。然而，在更严格的上下文中， $\sigma$ -环通常指的是满足有限交集封闭和可数并集封闭的集合系统，而 $\sigma$ -代数则仅要求可数并集封闭和补集封闭。

最后，需要强调的是， $\sigma$ -代数是定义在特定集合 $X$ 上的，它是 $X$ 的子集的一个特定集合族。因此，当我们谈论一个 $\sigma$ -代数时，我们总是指在某个特定集合上定义的 $\sigma$ -代数。

例子

首先，我们需要明确 $\sigma$ -代数是在某个集合 $X$ 上定义的，它包含 $X$ ，对补集封闭，并且对可数并集封闭。

例子 1: 平凡 $\sigma$ -代数

设 $X$ 是一个非空集合，那么最简单的 $\sigma$ -代数是包含 $X$ 和空集 $\emptyset$ 的集合族，即 $\{\emptyset, X\}$ 。这个 $\sigma$ -代数被称为平凡 $\sigma$ -代数。

例子 2: 有限集合的幂集

设 $X = \{a, b, c\}$ 是一个有限集合，那么 $X$ 的幂集（即 $X$ 的所有子集的集合）是一个 $\sigma$ -代数。幂集包含 $X$ 本身、空集 $\emptyset$ ，以及 $X$ 的所有其他子集（如 ${a\}, \{b\}, \{c\}, \{a, b\}, \{a, c\}, \{b, c\}$ ）。由于幂集对补集和可数并集（在这个情况下，可数并集实际上就是有限并集，因为集合是有限的）都封闭，所以它是一个 $\sigma$ -代数。

例子 3: 可数集合的特定子集族

设 $\mathbb{N}$ （自然数集），我们可以定义 $\mathcal{M}$ 为 $X$ 中所有有限集和余有限集（即补集为有限集的集合）的集合族。这个 $\mathcal{M}$ 是一个 $\sigma$ -代数：

它包含 $X$ （因为 $X$ 是无限集，可以视为余有限集的特殊情况，其补集是空集）。
它包含空集 $\emptyset$ （因为空集是有限集）。
它对补集封闭：任何有限集的补集是余有限集，任何余有限集的补集是有限集或 $X$ 本身（如果余有限集是 $\mathbb{N}$ 的真子集）。
它对可数并集封闭：有限个有限集的并集仍然是有限集；有限个余有限集的并集，如果它们的并集不是整个 $X$ ，则仍然是余有限集（因为并集的补集是这些余有限集补集的交集，而有限个有限集的交集仍然是有限集）。如果并集是整个 $X$ ，则它也属于 $\mathcal{M}$ 。

注意，在这个例子中，我们实际上可以稍微放宽条件，允许可数多个余有限集的并集也属于 $\mathcal{M}$ （尽管在这个特定情况下，可数多个不同余有限集的并集要么是 $X$ 本身，要么是另一个余有限集），但这已经超出了“有限集合和余有限集合”的原始定义。然而，按照 $\sigma$ -代数的定义，这样的扩展是允许的，因为 $\sigma$ -代数要求对可数并集封闭。

例子 4: 实数轴上的区间

设 $\mathbb{R}$ （实数轴），我们可以定义 $\mathcal{M}$ 为所有形如 $(-\infty, a]$ （其中 $\in \mathbb{R} \cup \{+\infty\}$ ）的区间的集合族。注意，这个集合族实际上并不构成一个 $\sigma$ -代数，因为它不包含所有区间的补集（例如， $+\infty)$ 不在其中）。但是，如果我们稍微修改定义，包括所有形如 $(-\infty, a]$ 、 $+\infty)$ 、 $(b, c)$ 和 $\emptyset$ （其中 $\in \mathbb{R}$ 且 $b < c$ ）的区间，那么我们就得到了一个 $\sigma$ -代数（这实际上是实数轴上所有Borel集的生成 $\sigma$ -代数的一个子集）。然而，为了简洁起见，我给出的原始定义并不构成一个 $\sigma$ -代数。

参考文献

1.《实变函数与泛函分析》
2. 文心一言
3. chatgpt

叶绿先锋

关注

14
点赞
踩
15

收藏

觉得还不错? 一键收藏
0
评论
实变函数精解【17】

设XMμXMμ是一个测度空间，其中XXX是集合，MM是XXX上的一个σ\sigmaσ-代数（或称为σ\sigmaσ-域），μ\muμ是MM上的测度。一个函数fX→0∞fX→0∞被称为非负可测简单函数，如果它可以表示为有限个特征函数（或称为指示函数）的线性组合，即存在E1E2En∈ME1E2En∈M（这些集合两两不相交，且它们的并集是XXX的一个子集）和正数c1c2cnc1c2。
复制链接

扫一扫