内容简介
《随机引论》共分五章。第1章为测度论基础,讲解可测空间、测度空间、可测函数、积分和乘积空间。第2章为概率论基础,包括数学期望、条件数学期望、乘积空间的概率测度和独立随机变量序列。第3章为随机过程,首先讲解随机过程的构造和性质,然后是研究随机过程的重要工具:停时与鞅论,最后是若干重要随机过程。第4章为随机微分方程,包括It。积分的定义与性质,随机微分方程解的存在性和单一性及平凡解的稳定性理论。第5章为随机系统的建模与模拟。借助于随机过程的谱分析工具,深刻理解一般白噪声与有限带宽白噪声、白噪声与Wiener过程,以及随机微分方程数学建模与物理可实现的关系。
目录
第1章 测度论基础
1.1 可测空间
1.1.1 集合与函数
1.1.2 集合系
1.1.3 集合系的生成
1.1.4 可测空间的生成
1.1.5 开集,闭集与Borel集
1.2 测度空间
1.2.1 测度的定义与性质
1.2.2 外测度
1.2.3 测度的扩张
1.2.4 Lebesgue-Stieljes测度和Lebesgue测度
1.3 可测函数
1.3.1 可测函数的定义与性质
1.3.2 可测函数序列的收敛性
1.3.3 Lebesgue可测函数*
1.4 关于测度的积分
1.4.1 非负简单函数的积分
1.4.2 非负可测函数的积分
1.4.3 一般可测函数的积分
1.4.4 积分的性质
1.4.5 Lp(Ω,F,μ)空间
1.5 符号测度
1.5.1 分解定理
1.5.2 Radon-Nikodym导数
1.6 乘积空间
1.6.1 有限维乘积空间
1.6.2 可列维乘积空间*
1.6.3 任意无穷维乘积空间*
第2章 概率论基础
2.1 从测度论到概率论
2.1.1 概率论中的基本概念
2.1.2 分布函数
2.1.3 从分布函数到概率测度
2.1.4 Lebesgue-Stieljes积分
2.1.5 随机变量的分类*
2.2 数学期望
2.2.1 数学期望的性质
2.2.2 一致可积
2.2.3 随机序列的收敛性
2.3 条件期望
2.3.1 初等情形*
2.3.2 一般情形
2.3.3 正则条件概率*
2.3.4 关于X的给定值的情形*
2.4 乘积空间的概率测度*
2.4.1 可列维乘积空间的概率构造
2.4.2 Kolmogorov定理
2.5 独立随机变量序列
2.5.1 独立性
2.5.2 0-1律
2.5.3 独立随机变量序列的部分和
2.5.4 独立随机变量的级数*
2.5.5 特征函数*
第3章 随机过程
3.1 随机过程的定义与构造
3.2 随机过程的性质
3.2.1 可测性
3.2.2 连续性
3.2.3 可分性
3.2.4 可测,连续与可分的关系*
3.3 停时
3.3.1 停时τ的定义
3.3.2 τ前σ域
3.3.3 随机区间与首遇时
3.4 鞍论
3.4.1 鞍
3.4.2 鞍列
3.4.3 连续参数的鞍
3.5 一些常用的随机过程
3.5.1 独立增量过程
3.5.2 Markov过程
3.5.3 Wiener过程
第4章 随机微分方程
4.1 It.o积分
4.1.1 It.o积分的定义
4.1.2 It.o公式
4.1.3 It.o积分的鞍不等式*
4.2 随机微分方程的解
4.2.1 解的定义
4.2.2 Lipschitz条件
4.2.3 局部Lipschitz条件
4.2.4 解过程的Markov性质
4.3 随机稳定性
4.3.1 随机稳定性的定义
4.3.2 可积性与一致连续性
4.3.3 随机Barbalat引理
4.3.4 扩散过程的Barbalat引理
4.3.5 随机LaSalle型定理
第5章 随机系统的建模与模拟*
5.1 平稳过程的定义
5.1.1 严平稳过程
5.1.2 二阶矩过程
5.1.3 宽平稳过程
5.1.4 正态过程
5.2 平稳过程的谱分析
5.2.1 平稳过程的谱分解
5.2.2 自噪声
5.2.3 平稳过程通过线性系统的分析
5.2.4 利用Matlab生成宽平稳过程
5.3 从自噪声到随机微分方程
5.3.1 广义Wiener过程
5.3.2 It.o积分与Stratonovich积分
5.3.3 随机系统的建模与仿真
附录A 矩阵范数与卷积*
A.1 矩阵范数
A.2 卷积
附录B 积分变换与谱分析*
B.1 Fourier变换与频谱分解
B.1.1 普通周期函数的Fourier级数
B.1.2 普通时间函数的Fourier变换
B.1.3 普通时间函数的频谱与能谱的概念
B.1.4 Fourier变换的性质
B.2 Laplace变换
B.3 线性系统的谱分析
B.3.1 系统的脉冲响应
B.3.2 系统的频率响应
B.3.3 系统的谱
参考文献
索引
精彩书摘
《随机引论》:
1.1 可测空间
1.1.1 集合与函数
1.集合的运算读者应熟知集合的“交”“并”“补”运算和“包含”关系,以及与之相应事件的“与”“或”“非”逻辑和“充要”条件。并了解下标的“任给”“存在”的描述方式和它们的“否定”形式。这三套等价的逻辑f或语言)体系贯穿于本书的各种定义、命题和证明中。
对于A与B,称AB:={u:u∈A,u B)为A与B的差,而当A]B时,称AB为A与B的真差。测度论中经常涉及集合的无限次(可数或不可数)运算。对于并与交运算有以下定义。
定义1.1.1
由此定义可验证如下结论。
定理1.1.1(Do-Morgan定理)
利用集合的运算,给出集合极限的定义。
定义1.1.2设(Ai,A2, )是一个集列,如果对每个n=1,2, ,有A。c。。An+i,则称{A。)为非降,记作A。T,并有limAn=UAn,如果对每个有,则称{An)为非升,记作A。并有。
定义1.1.3集列的上、下极限分别为
根据表1.1,可以得到上、下极限等价的表述:
定义1.1.4对于集列,如,则认为集列的极限存在,并把称为它的极限,作为集合,开闭区间可以相互表示。
命题1.1.2(1) (2)
注1.1.1当然也有同类集合间的表示,如实际上以上诸区间端点可有可无,k=1
注1.1.2大于等于凸的情形对应于大于的交运算,可称之为“含等则外交”,同样对于不合等于的情形有“不等则内并”的规律。
2.用函数表示的集合数学分析中的映射表示点与点之间的对应关系,给定映射:成立,而在集合论中,映射还用来表示点集与点集间的对应关系。
定义1.1.5在映射下的原像:为了便于讨论,本书假定。首先给出原像的性质,命题1.1.3取原像的运算具有这种“穿墙功能”是指像空间的集合运算被保留到原像空间,结合命题1.1.2和命题1.1.3,则有关于函数的“含等则外交”的结论,命题1.1.4对于δ上的函数X和任意的n∈R,有证明。其余作为练习,关于函数确界有如下“含等则外交”的结论。
……
前言/序言
随机引论 下载 mobi epub pdf txt 电子书 格式