测度论与概率论基础学习笔记4——2.2外测度
测度论果然十分高深啊…越学越觉得自己水平有限,只能做一些肤浅的理解。
由于比较stupid,本节的证明我都没有学(doge,希望几年之后武功长进之时能回来看看。
引言
外测度的基本想法是用一些形状良好的,已经定义了类似测度概念(称为类测度)的集合去尽可能“小”的覆盖其他集合,然后用这些集合的”类测度“的和作为被覆盖集合的外测度。(参考知乎-外测度)
比如我们在小学都做过这种“数格子”的题:
要测量一个不规则图形的面积,可以用小方格的面积之和来测量。外测度与此有异曲同工之妙。
定义:外测度
这个定义是外测度的抽象定义,其并不严格。
由XXX的所有子集组成的集合系F\mathscr FF到[0,+∞)[0,+\infty)[0,+∞)的函数τ\tauτ称为XXX上的外测度,若其满足:
- τ(ϕ)=0\tau(\phi)=0τ(ϕ)=0
- 单调性:任何A⊂B⊂XA\subset B\subset XA⊂B⊂X有τ(A)≤τ(B)\tau(A)\le \tau(B)τ(A)≤τ(B)
- 半可列可加性:对F\mathscr FF中的任意集合列{An}\{A_n\}{An}满足τ(∪n=1∞An)≤∑n=1∞τ(An)\tau(\cup_{n=1}^{\infty}A_n)\le \sum_{n=1}^\infty \tau(A_n)τ(∪n=1∞An)≤∑n=1∞τ(An)
按照引论中的说法,我们可以构造如下一个外测度,使之满足上面的几个性质:
设E\mathscr EE是一个集合系且包含空集,若其上的非负集函数μ\muμ满足μ(ϕ)=0\mu(\phi)=0μ(ϕ)=0,对每个A∈FA\in\mathscr FA∈F令
τ(A)=inf{∑n=1∞μ(Bn):Bn∈E,A⊂∪n=1∞Bn}\tau(A)=\inf\{ \sum_{n=1}^\infty \mu(B_n):B_n\in \mathscr E,A\subset \cup_{n=1}^\infty B_n\}τ(A)=inf{n=1∑∞μ(Bn):Bn∈E,A⊂∪n=1∞Bn}
则τ\tauτ是一个外测度,称为由μ\muμ生成的外测度.
\space
我们希望一个集合的测度应该等于把该集合分成任意多(至少是可数)个不相交集合的测度的和,因此照如下定义可测集:
设τ\tauτ是XXX上的一个外测度,把满足:
τ(D)=τ(D∩A)+τ(D∩Ac),∀D∈F\tau(D)=\tau(D\cap A)+\tau(D \cap A^c),\forall D\in \mathscr Fτ(D)=τ(D∩A)+τ(D∩Ac),∀D∈F
的子集A称为τ\tauτ可测集,把由全体τ\tauτ可测集组成的集合系记为Fτ\mathscr F _\tauFτ。
定理:Caratheodory定理
若τ\tauτ是外测度,则Fτ\mathscr F _\tauFτ是σ\sigmaσ域,三元组(X,Fτ,τ)(X,\mathscr F _\tau,\tau)(X,Fτ,τ)是完全测度空间(任意零测集的子集仍属于集合系的测度空间)。
因此,我们将半环上的测度测度扩张为sigma域的测度,就是利用了上面的知识,等学完测度扩张之后,再来补充。
测度论与概率论基础学习笔记4——2.2外测度相关推荐
- 测度论与概率论基础学习笔记3——2.1测度的定义与性质
定义1 设E\mathscr EE是XXX上的集合系且∅∈E\emptyset \in \mathscr E∅∈E,若E\mathscr EE上的非负集函数(取值大于等于0的函数)μ\muμ具有可列可 ...
- 测度论与概率论基础学习笔记5——2.3测度的扩张和测度空间的完备化
note:这部分内容比较偏证明,对我来说有些难度,也好久没更新.今日暂且一记,以后有更深刻的理解之后再来补充.2021.3.16 一.测度的扩张 定义:扩张 设μ\muμ和τ\tauτ分别是集合系A\ ...
- 测度论与概率论基础学习笔记9——3.3Lp空间
Lp空间在泛函分析中比较详细地讲述过(但我没有详细地学过),这里更多作一点重复. 1.Lp空间定义 设(X,F,μ)(X,\mathscr F,\mu)(X,F,μ)是一测度空间,定义其上绝对值p次幂 ...
- guido正式发布python年份_Python 基础学习笔记.docx
Python 基础学习笔记 基于<Python语言程序设计基础(第2版)> 第一部分 初识Python语言 第1章 程序设计基本方法 1.1 计算机的概念 计算机是根据指令操作数据的设备, ...
- ASP.Net MVC开发基础学习笔记(5):区域、模板页与WebAPI初步
http://blog.jobbole.com/85008/ ASP.Net MVC开发基础学习笔记(5):区域.模板页与WebAPI初步 2015/03/17 · IT技术 · .Net, Asp. ...
- Python3 基础学习笔记 C09【文件和异常】
CSDN 课程推荐:<8小时Python零基础轻松入门>,讲师齐伟,苏州研途教育科技有限公司CTO,苏州大学应用统计专业硕士生指导委员会委员:已出版<跟老齐学Python:轻松入门& ...
- Python3 基础学习笔记 C08 【类】
CSDN 课程推荐:<8小时Python零基础轻松入门>,讲师齐伟,苏州研途教育科技有限公司CTO,苏州大学应用统计专业硕士生指导委员会委员:已出版<跟老齐学Python:轻松入门& ...
- Python3 基础学习笔记 C07【函数】
CSDN 课程推荐:<8小时Python零基础轻松入门>,讲师齐伟,苏州研途教育科技有限公司CTO,苏州大学应用统计专业硕士生指导委员会委员:已出版<跟老齐学Python:轻松入门& ...
- Python3 基础学习笔记 C06【用户输入和 while 循环】
CSDN 课程推荐:<8小时Python零基础轻松入门>,讲师齐伟,苏州研途教育科技有限公司CTO,苏州大学应用统计专业硕士生指导委员会委员:已出版<跟老齐学Python:轻松入门& ...
最新文章
- webpack打包html里面img后src为“[object Module]”问题
- Dubbo服务暴露原理
- 《系统集成项目管理工程师》必背100个知识点-90信息系统安全属性
- 洛谷 P1886 滑动窗口
- git 命令详解_再次学习Git版本控制工具
- tomcat 拦截指定url_一口气说出 过滤器 和 拦截器 6个区别,别再傻傻分不清了
- CLion + OpenCV 开发
- Linux防CC攻击脚本
- jquery选择器通配符
- Firebird数据库的Select语句
- C# Parse和Convert的区别分析
- python爬取统计局数据_利用Python抓取行政区划码的方法
- 苹果花期行情结束见顶?铁矿石认沽次末日25倍,纯碱09-01季节性反套?2022.5.10
- 高速低功耗视觉理解挑战赛-PRCV2020竞赛网站发布
- 公司电脑策略强制自动锁屏解决方案
- IIO子系统(Linux驱动开发篇)
- java基于微信小程序的在线作业提交批改系统 uniapp 小程序
- vpu测试_单独编译IMX6Q的VPU示例程序:mxc_vpu_test.out
- 如何平衡老师任务和自学之间的关系
- 快速了解会话管理三剑客cookie、session和JWT