可测函数

最新推荐文章于 2022-05-16 17:02:41 发布

东风吹柳

最新推荐文章于 2022-05-16 17:02:41 发布

阅读量1.3w

点赞数 7

分类专栏：分析基础文章标签：可测函数

本文链接：https://blog.csdn.net/a_pointer/article/details/88618863

版权

分析基础专栏收录该内容

7 篇文章 4 订阅

订阅专栏

1 定义

可测函数：设 f(x) 是定义在可测集 $E \subset R^{n}$ 上的实函数，称 f(x) 为上的可测函数，如果满足：

$\forall a\in R, |a| < +\infty,\exists b_{a} \in R^{*}\cup\left \{ 0\right \}(m(E[f>a])=b_{a})$

【定理解释：对任意一个有限数， E[f>a] 可测。

称除了 $\pm \infty$ 的实数为有限数。

$E[f>a] = \left \{ x|f(x)>a,x \in E \right \}$ 】

在 $x_{0}$ 处连续：设 f(x) 是定义在可测集 $E \subset R^{n}$ 上的实函数， $y_{0}=f(x_{0})$ ，称 f(x) 在 $x_{0}$ 处连续，如果满足：

$\forall \delta_{1}>0 \exists\delta_{2}>0(f(U(x_{0},\delta_{2})\cap E)\subset V(y_{0},\delta_{1}))$ .

【即就是， $y_{0}$ 的任一邻域V，都存在一个 $x_{0}$ 的邻域U，使得U中属于E的点的函数值落于V中。

这样，孤立点也就连续了。

几乎处处有限的可测函数“基本上连续”】

2 可测函数常见的有哪些

定理：连续函数是可测函数。

【从“”连续”和“可测”定义出发证明】

定理：简单函数是可测函数。

【推理：

有定理：（1）可测集上的可测函数，在其可测子集上也可测；

（2）分别在有限个可测集上可测的函数，也在这些可测集的并集上可测。

有定义：定义域可以划分为有限个不相交集，同时其在这些集合上都只取一个常数 $c_{i}$ ，这样的函数称为简单函数。

由可测的定义，简单函数显然可测。 $\phi(x)=\sum_{i=1}^{n}c_{i}X_{E_{i}}(x)$ ， $X_{E_{i}}(x)$ 是 $E_{i}$ 上的特征函数， $X_{E_{i}}(x)=\left\{\begin{matrix}1 (x\in E_{i}) \\ 0(x\notin E_{i}) \end{matrix}\right.$

】

3 可测的运算性质

定理：（1）可测函数进行有限次“加”、“减”、“乘”、“除”以及“取绝对值”运算，如复合函数在原可测集有意义，则它仍在原可测集上可测。

（2）若 $\left \{ f_{n}(x) \right \}$ 是一列（或者有限个）可测集，则其上、下确界以及上、下极限（或极限，若极限存在）也都可测。

4 可测函数的逼近

定理：在 $E \subset R^{n}$ 的可测函数 f(x) 可以用简单函数列 $\left \{ f_{n}(x) \right \},n=1,2,\cdot \cdot \cdot$ 来逼近，即 $\lim_{n\rightarrow +\infty}f_{n}(x) = f(x)$ .。

(误差分析)，若 f(x) 有界，则为一致收敛。

【一致收敛意味着收敛的速度是一样，一致收敛条件下可以交换极限与某些运算之间的顺序。

误差分析还可以涉及几个概念，见下定义。】

几乎处处 $\pi$ ：设 $\pi$ 是上的一个真命题，如果使得 $\pi$ 为假的集满足： $m(E-E[\pi is true])=0$ ，记作 $a.e. \pi$ 。

【鲁津定理：几乎处处有限的可测函数“基本上连续”。

叶果诺夫定理：几乎处处收敛于一个有限函数的可测函数，“基本一致收敛”于这个有限函数。】

依测度收敛：设 $\left \{ f_{n}(x) \right \},n=1,2,\cdot \cdot \cdot$ 是 $E \subset R^{n}$ 上的一列 a.e. 有限的可测函数，若E上存在 a.e. 有限的可测函数 f(x) 满足：

$\forall \delta>0(\lim_{n\rightarrow \infty}mE[|f_{n}-f|\geqslant \delta]=0)$

则称 $f_{n}(x)$ 依测度收敛于 f(x) ，记作 $f_{n}(x)\Rightarrow f(x)$ 。

【几乎处处收敛与依测度收敛的关系：

里斯定理：在E上 $\left \{ f_{n}(x) \right \},n=1,2,\cdot \cdot \cdot$ 依测度收敛于 f(x) ，则存在子列 $\left \{ f_{n_{k}}(x) \right \},n_{k}=1,2,\cdot \cdot \cdot$ a.e. 收敛于 f(x) 。