实分析课堂笔记 Chapter 2. 可测函数(更新至 2.2 节简单函数)

Chapter 2. 可测函数

2.1 可测函数

Definition 2.1(原像) 给定映射 \(f: X\rightarrow Y\),它诱导了原像映射

\[f^{-1}: 2^X\rightarrow 2^Y, f^{-1}(E) = \{x\in X, f(x)\in E\}. \]

Remark 2.2

\[\begin{aligned} f^{-1}(\bigcup_{\lambda}E_\lambda) &= \bigcup_\lambda f^{-1}(E_\lambda) \\ f^{-1}(\bigcap_{\lambda}E_\lambda) &= \bigcap_\lambda f^{-1}(E_\lambda) \\ f^{-1}(E^c) &= [f^{-1}(E)]^c \\ \mathcal{N} \text{ is a }\sigma\text{-algebra on }Y&\Rightarrow f^{-1}(\mathcal{N}) \text{ is a }\sigma\text{-algebra on }X. \end{aligned} \]

Definition 2.3($(\mathcal{M,N}) $-可测函数)\((X,\mathcal{M}), (Y,\mathcal{N})\) 是可测空间,称 \(f: X\rightarrow Y\)\((\mathcal{M}, \mathcal{N})\)-可测函数如果 \(\forall E\in \mathcal{N}, f^{-1}(E)\in\mathcal{M}\)

Remark 2.4 可测函数的复合仍为可测函数。

Proposation 2.5\(\mathcal{N} = \mathcal{M(E)}\),则 \(f: X\rightarrow Y\)\((\mathcal{M,N})\)-可测函数如果 \(\forall E\in \mathcal{E}, f^{-1}(E)\in \mathcal{M}\)

Proof:\(\Rightarrow\):显然。

\(\Leftarrow\)\(\{E\subset Y: f^{-1}(E)\in \mathcal{M}\}\) 是包含 \(\mathcal{E}\)\(\sigma\)-代数。

Corollary 2.6\((X,\tau_1)\)\((Y,\tau_2)\) 是拓扑空间,则若 \(f:X\rightarrow Y\) 连续,则 \(f\)\((\mathcal{B}_X,\mathcal{B}_Y)\)-可测函数。

Proof:\(\mathcal{B}_Y = \mathcal{M}(\tau_2)\),且 \(\forall U\in \tau_2, f^{-1}(U)\in \tau_1\subset \mathcal{B}_X\)。由 Proposation 2.5 立即可得。

Definition 2.7(\(\mathcal{M}\)-可测函数)若 \((X,\mathcal{M})\) 是可测空间,则称 \(f: X\rightarrow \mathbb{R}(\mathbb{C})\)\(\mathcal{M}\)-可测函数如果 \(f\)\((\mathcal{M}, \mathcal{B}_\mathbb{R})\)-可测函数。

Example 2.8 \(f: \mathbb{R}\rightarrow \mathbb{C}\) 是勒贝格可测的如果 \(f\)\((\mathcal{L}, \mathcal{B}_\mathbb{C})\)-可测的。

Remark 2.9 \(f\circ g: \mathbb{R}\rightarrow \mathbb{R}\) 是 Borel 可测的,如果 \(f\)\(g\) 都是 Borel 可测的;但 \(f\circ g\) 不一定是 Lebesgue 可测的,如果 \(f\)\(g\) 都是 Lebesgue 可测的。

Proposation 2.10 给定可测空间 \((X,\mathcal{M})\) 和函数 \(f: X\rightarrow \mathbb{R}\),则以下等价:

  • \(f\)\(\mathcal{M}\)-可测的

  • \(f^{-1}((a,\infty))\in \mathcal{M}, \forall a\in \mathbb{R}\)

  • \(f^{-1}([a,\infty))\in \mathcal{M}, \forall a\in \mathbb{R}\)

Proof:1 推 2、3 显然;若 2 或 3 成立,因为 \(\mathcal{M}(\{(a,\infty):a\in\mathbb{R}\}) = \mathcal{B}_\mathbb{R}\),所以 1 成立。

Definition 2.11

  • \(f: X\rightarrow \mathbb{R}, E\in \mathcal{M}\subset 2^X\),则称 \(f\)\(E\) 上可测(等价于 \(f\) \(\mathcal{M}_E\)-可测)如果 \(f^{-1}(B\cap E)\in \mathcal{M}, \forall B\in \mathcal{B}_\mathbb{R}\)

  • 给定 \(X\),集合列 \(\{(Y_\alpha, \mathcal{N}_\alpha)\}_{\alpha\in A}\) 和函数列 \(f_\alpha: X\rightarrow Y_\alpha\),则称 \(\{f_\alpha\}\) 生成的最小 \(\sigma\)-代数为由 \(\{f_{\alpha}^{-1}(E_\alpha): E_\alpha\in \mathcal{N}_\alpha, \alpha\in A\}\) 生成的 \(\sigma\)-代数。

Remark 2.12\(X = \prod_{\alpha\in A}Y_\alpha\),则 \(X\) 上的乘积 \(\sigma\)-代数 \(\otimes_{\alpha\in A}\mathcal{N}_\alpha\) 是由投影映射 \(\{\pi_\alpha: X\rightarrow Y_\alpha|\alpha\in A\}\) 生成的最小 \(\sigma\)-代数。

Proposation 2.13 给定 \((X,\mathcal{M}), \{(Y,\mathcal{N}_\alpha)\}_{\alpha\in A}\),若 \(Y = \prod_{\alpha\in A}Y_\alpha, \mathcal{N} = \otimes_{\alpha\in A} \mathcal{N}_\alpha\),则 \(f: X\rightarrow Y\)\((\mathcal{M,N})\)-可测的当且仅当对所有 \(\alpha\)\(f_\alpha\)\((\mathcal{M,N_\alpha})\)-可测的。

Proof:\(\Rightarrow\):显然;

\(\Leftarrow:\)因为 \(f_\alpha\) 可测,所以对任意 \(E_\alpha\in \mathcal{N}_\alpha\)\(f^{-1}(\pi_\alpha^{-1}(E_\alpha))\in \mathcal{M}\)

又因为 \(\mathcal{N} = \mathcal{M}(\{\pi_\alpha^{-1}(E_\alpha): E_\alpha\in \mathcal{N}_\alpha, \alpha\in A\})\),所以 \(f\) 是可测函数。

Corollary 2.14 \(f: X\rightarrow \mathbb{C}\)\(\mathcal{M}\)-可测的当且仅当 \(\mathrm{Re}f\)\(\mathrm{Im}f\) 都是 \(\mathcal{M}\)-可测的。

Definition 2.15(广义实数)\(\overline{\mathbb{R}} = [-\infty,+\infty]\)。定义 \(\mathcal{B}_\mathbb{R} = \{E\subset \overline{\mathbb{R}}: E\cap \mathbb{R}\in \mathcal{B}_\mathbb{R}\}\)。称 \(f: X\rightarrow \overline{\mathbb{R}}\)\(\mathcal{M}\)-可测的如果 \(f\)\((\mathcal{M}, \mathcal{B}_\overline{\mathbb{R}})\)-可测的。

Remark 2.16 \(f:X\rightarrow\overline{\mathbb{R}}\) 是可测的当且仅当 \(f^{-1}(\{\pm\infty\})\in \mathcal{M}\)\(f\)\(f^{-1}(\mathbb{R})\) 上可测。

Proposation 2.17\(f,g: X\rightarrow \mathbb{C}\)\(\mathcal{M}\)-可测的,则 \(f+g,f-g,fg,f/g\) 可测。

Proof:乘积空间的函数可测,四则运算可测,故复合可测。

Remark 2.18 上面的结论对 \(f: X\rightarrow \overline{\mathbb{R}}\) 也成立。

Proposation 2.19\(\forall j\in \mathbb{N}, f_j: X\rightarrow \overline{\mathbb{R}}\) 可测,则

\[g_1(x) = \sup_j f_j(x), g_2(x) = \inf_j f_j(x), g_3(x) = \limsup_j f_j(x), g_4(x) = \liminf_j f_j(x) \]

都可测。

Proof:因为 \(g_1^{-1}((a,\infty]) = \cup_j f_j^{-1}((a,\infty])\),所以 \(g_1\) 可测;

因为 \(\inf_j f_j = \sup_j (-f_j)\),所以 \(g_2\) 可测。

因为 \(\limsup_j f_j = \inf_k\sup_{j\leq k}f_j\),所以 \(g_3,g_4\) 可测。

Corollary 2.20

  • \(f,g: X\rightarrow \overline{\mathbb{R}}\) 可测,则 \(\max\{f,g\},\min\{f,g\}\) 均可测。
  • \(f_j: X\rightarrow C\) 可测,且 \(f(x) = \lim_{j\rightarrow \infty} f_j(x), \forall x\in X\) 存在,则 \(f\) 可测。

Definition 2.21(正部和负部)\(f: X\rightarrow \overline{\mathbb{R}}, f^+(x) = \max\{f(x),0\}, f^-(x) = \max\{-f(x),0\}\)。且 \(f = f^+ - f^-\)

Definition 2.22(极坐标分解)\(f: X\rightarrow \mathbb{C}\),则其极坐标分解为 \(f = (\text{sgn} f)|f|\),其中

\[\text{sgn}z = \begin{cases} \frac z{|z|}, & z\neq 0 \\ 0, & z=0 \\ \end{cases} \]

Remark 2.23\(f: X\rightarrow \mathbb{C}\) 可测,则 \(\text{sgn}f, |f|\) 可测。

2.2 简单函数

Definition 2.24(特征函数)\(E\subset X\),定义其特征函数为

\[\chi_E(x) = \begin{cases} 1, & x\in E, \\ 0, & x\notin E. \end{cases} \]

Definition 2.25(简单函数)\(f: X\rightarrow \mathbb{C}\),称 \(f\) 是简单函数如果

\[f(x) = \sum_{j=1}^\infty z_j\chi_{E_j}, E_j\in \mathcal{M}, Z_j\in \mathbb{C}, z_j\neq z_k\forall j\neq k. \]

Remark 2.26

  • \(\chi_E\) 可测当且仅当 \(E\in \mathcal{M}\)
  • \(f,g\) 是简单函数 \(\Rightarrow f\pm g, fg\) 是简单函数。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.hqwc.cn/news/899761.html

如若内容造成侵权/违法违规/事实不符,请联系编程知识网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

域自适应

信息时代产生的大量数据使机器学习技术成功地应用在许多领域。大多数机器学习技术需要满足训练集与测试集独立同分布的假设,但在实际应用中这个假设很难满足。 域适应是一种在训练集和测试集不满足独立同分布条件下的机器学习技术。一般情况下的域适应只适用于源域目标域特征空…

JDK8-时间格式化类-时区类-工具类--java进阶day07

1.时间格式化类:DateTimeFormatter1.创建方式 使用DateTimeFormatter调用ofPattern方法即可. 2.格式化方法创建好DateTimeFormatter对象后,调用format方法,将要格式化的日期对象放入即可.3.日期字符串解析 将一个日期字符串变为日期,需要用到日历类对象,调用它的parse方法…

无人机仿真环境介绍及其配置

博客地址:https://www.cnblogs.com/zylyehuo/参考 https://space.bilibili.com/393165606/channel/collectiondetail?sid=1750583&spm_id_from=333.788.0.0仿真器 VS 模拟器目录为什么要学习 ROS 发展现状课程介绍ROS 是什么 历史起源总体设计 一个目标五个特点点对点的设…

为什么 AI 在处理新闻方面如此糟糕

托马斯史密斯插画来源:Ideogram新闻流淌在我的血液里。我的日常工作是一家新闻摄影机构的负责人,而我的主网站是一个专注于旧金山湾区新闻的站点。 我与新闻内容息息相关,所以我对 AI 在处理新闻方面的糟糕表现感受尤为深刻。 哥伦比亚新闻评论(Columbia Journalism Review…

活动回顾 - 《开源智能搜索与知识库管理 - Coco AI》直播活动圆满结束,附 PPT 下载与视频回放

2025 年 03 月 07 日,由搜索客社区和极限科技(INFINI Labs)联合举办的第 7 期线上 Meetup 技术交流直播活动圆满结束。本期 Meetup 直播活动吸引了超过 700+ 技术爱好者观看参与,活动主要介绍了极限科技新推出并正在研发的开源智能搜索产品 Coco AI 的技术特点和应用场景,…

一文带你搞懂SpringBoot项目实现自动化部署

前言要实现springboot项目自动化部署,需要了解下面四个技术点:SpringBoot Profiles Maven命令 Jenkins的使用 Shell脚本下面我们会一一来介绍这四个技术点,最后用一个综合事例来给大家呈现springboot项目的自动化部署。1. SpringBoot Profilesprofiles 是 Spring 框架的一种…

centos更改命令提示符颜色

PS1="\[\e[1;32m\][\t \[\e[1;33m\]\u\[\e[35m\]@\h\[\e[1;31m\] \W\[\e[1;32m\]]\[\e[0m\]\\$"永久生效vim /etc/profile.d/test.sh PS1="\[\e[1;32m\][\t \[\e[1;33m\]\u\[\e[35m\]@\h\[\e[1;31m\] \W\[\e[1;32m\]]\[\e[0m\]\\$"效果: PS1的定义中个常…

P1600 [NOIP 2016 提高组] 天天爱跑步解析

思维难度:cf2300+ 实现方案:贡献计算 方法:线段树合并或者树上差分+桶的统计 思路点补充: 按照题目的设定,如果一个观察员 \(j\) 能够观察到某个人经过,说明 \(j\)一定在第 \(i\)个人的路径上。 树上的路径是唯一确定的,由此可以得到两种情况。 情况一:观察员 \(j\) 此…

C#语言碎片:Switch-Case语句字符串匹配

Switch case语句在处理字符串类型匹配时候,case条件需要设置为静态常量或者一个具体的字符串:因为工具类ToolHand.Name 为变量,所以编译不通过。 使用if语句来逐个判断:看AI对此的解释:C#的switch语句在条件匹配之所以要用静态常量是因为,编译时常量(const)在编译时就被…

TaskPyro:一个轻量级的 Python 任务调度和爬虫管理平台

爬虫管理系统,爬虫管理平台,可视化操作,完整监控,灵活的Python环境管理,,环境隔离,资源占用小,支持 Scrapy 等主流爬虫框架,支持 Selenium、Playwright、DrissionPage 等浏览器自动化工具,支持node环境下的js逆向代码前言 推荐一款本人在使用的Python爬虫管理平台,亲测不错!!…

如何重置CentOS 7的root密码?

简介: 重置CentOS 7 root密码的方式和Centos 6完全不同。让我来展示一下到底如何操作。1 - 在启动grub菜单,选择编辑选项启动2 - 按键盘e键,来进入编辑界面3 - 找到Linux 16的那一行,将ro改为rw init=/sysroot/bin/... 重置CentOS 7 root密码的方式和Centos 6完全不同。让我…

苹果灵动岛功能怎么玩

苹果灵动岛功能怎么玩?苹果的灵动岛功能是一种新的交互方式,可以显示各种提示信息,包括来电显示、信息、后台使用的APP(如音乐)等。以下是一些关于如何玩转灵动岛功能的建议: 查看和管理通知:灵动岛会显示通知和警报,你可以点击灵动岛直接切换到关联的应用程序6。 互动…