大学第4阶段数学知识讲解 · 测度、Lebesgue 积分与控制收敛至模型拟合、验证与可辨识性

返回分篇目录

知识讲解 · 公式速查 · 逐点习题

本版采用大学四阶段建议路线，专业、学校和选课顺序可能不同，不对应统一教材或固定学期。覆盖口径：本页列出的 22 个知识点；配套 44 道习题，每点两题。 它不声称穷尽大学数学，专业拓展只提供明确的入门范围。

测度、Lebesgue 积分与控制收敛

测度推广长度、面积与概率，Lebesgue 积分按函数值层次而非仅按横轴区间分割。零测集上的修改不改变可积函数的积分。“几乎处处”表示允许在零测集上例外。交换极限与积分必须有定理条件，例如单调收敛或可积控制函数，不能只凭逐点收敛。

关键关系与条件

可测集合 $E$ 的示性函数满足 $\int {\mathbf{1}}_E\mathrm{d}\mu =\mu (E)$。控制收敛定理：若可测 $f_n\to f$ 几乎处处，且 $|f_n|\le g$、$\int g\mathrm{d}\mu <\mathrm{\infty }$，则 $\int f_n\to \int f$。若 $0\le f_n\uparrow f$，单调收敛定理允许积分极限等于极限积分。

公式定位 · 练习与讲解

度量空间、开集与连续映射

度量抽象点之间的距离，满足非负、对称及三角不等式。开集表示每点都能找到包含于集合的小球；闭集表示包含所有极限点。连续性可以完全用开集原像刻画，不依赖坐标公式。讨论开闭必须说明环境空间，例如子空间中的开集与实直线中的开集可能不同。

关键关系与条件

度量满足 $d(x,y)\ge 0$ 且等号仅当 $x=y$，$d(x,y)=d(y,x)$，$d(x,z)\le d(x,y)+d(y,z)$。球 $B_r(x)=\{y:d(x,y)<r\}$。映射连续当且仅当每个开集的原像为开集；闭集的补集为开集。

公式定位 · 练习与讲解

紧致性与连通性

紧致性要求每个开覆盖有有限子覆盖，能保证连续函数取得极值；在欧氏空间中它等价于闭且有界，但这不是所有度量空间中的通用判据。连通性表示集合不能分成两个彼此分离的非空开部分，连续像保持连通，从而解释介值性质。

关键关系与条件

在 ${\mathbb{R}}^n$ 中，紧致当且仅当闭且有界。紧集的连续像仍紧；非空紧集上的实值连续函数取得最大最小值。实数中的非空连通集合恰为区间（包括单点）。连续映射保持连通性。

公式定位 · 练习与讲解

群、子群与同态

群抽象可逆的对称操作，要求封闭、结合律、单位元和每个元素的逆元，不要求交换律。子群在相同运算下自身成群。同态保持运算，其核衡量被映射到单位元的元素。陪集及 Lagrange 定理将群结构与计数联系起来。

关键关系与条件

同态满足 $\varphi (ab)=\varphi (a)\varphi (b)$。核为 $\ker \varphi =\{g:\varphi (g)=e\}$，是正规子群。有限群的子群 $H$ 满足 $|H|\mid |G|$。元素阶是使 $g^n=e$ 的最小正整数，存在时等于循环子群大小。

公式定位 · 练习与讲解

环、域与模运算

环的加法构成交换群，乘法满足结合律，并对加法满足左右分配律；本篇讨论有乘法单位元的环。域是乘法交换且每个非零元素都有乘法逆元的非零环。整数构成环却不是域，有理数、实数、复数是域。模整数系统是否为域取决于模数是否为素数；复合模数中可能有非零元素相乘得到零。

关键关系与条件

在 ${\mathbb{Z}}_m$ 中，$a$ 有乘法逆元当且仅当 $gcd(a,m)=1$。${\mathbb{Z}}_p$ 是域当且仅当 $p$ 为素数。Bézout 等式 $ua+vm=1$ 给出逆元 $umodm$。整环是满足 $1\ne 0$ 且无零因子的交换含幺环；域一定是整环。

公式定位 · 练习与讲解

Hilbert 空间与算子入门

Hilbert 空间是关于内积诱导范数完备的空间，把有限维正交投影推广到函数空间。$L^2$ 中几乎处处相等的函数视为同一元素，内积由积分定义。闭子空间上有唯一最佳逼近；子空间若不闭，最近点未必存在。算子是作用于向量或函数的映射，线性有界算子连续。

关键关系与条件

实 $L^2[a,b]$ 内积为 $⟨f,g⟩={\int }_a^{b}f(x)g(x)\mathrm{d}x$，复情形第二因子取共轭。若 $M$ 为 Hilbert 空间闭子空间，则 $f=P_{M}f+r$ 且 $r\perp M$。线性算子有界指存在 $C$ 使 $\parallel Tf\parallel \le C\parallel f\parallel$。

公式定位 · 练习与讲解

离散时间 Markov 链

Markov 性表示给定当前状态后，下一个状态的条件分布不再依赖更早历史。本篇讨论时间齐次链，使用不随时间变化的行随机转移矩阵及行概率向量。平稳分布保持一步转移后不变，但任意初始分布是否趋于它还需不可约、非周期等条件。平稳分布与吸收概率不是同一对象。

关键关系与条件

$P_{ij}=P(X_{n+1}=j\mid X_n=i)$，$P_{ij}\ge 0$、每行和为 $1$。分布递推 ${\pi }_{n+1}={\pi }_{n}P$，$n$ 步转移为 $P^n$。平稳分布满足 $\pi P=\pi ,{\pi }_i\ge 0,\sum _i{\pi }_i=1$。有限不可约链有唯一平稳分布；再非周期时从任意初始分布收敛到它。

公式定位 · 练习与讲解

Poisson 过程与更新等待

齐次 Poisson 过程以恒定速率产生独立到达，具有平稳独立增量，初始计数为零。任意长度区间的计数服从参数为速率乘长度的 Poisson 分布，相邻等待时间独立同分布且为指数分布。计数分布与等待时间分布是同一过程的两种观察方式。

关键关系与条件

速率 $\lambda >0$ 时 $N(t+s)-N(s)\sim \mathrm{Pois}(\lambda t)$，不相交区间增量独立。首次等待 $T_1\sim \mathrm{Exp}(\lambda )$，$P(T_1>t)=e^{-\lambda t}$，$E{T}_1=1/\lambda$。$EN(t)=\mathrm{Var}N(t)=\lambda t$。

公式定位 · 练习与讲解

Brownian 运动与随机微分入门

标准 Brownian 运动从零开始，有独立平稳高斯增量及连续路径；路径几乎必然处处不可导，因此随机微分不能当作普通微分机械运算。Itô 公式多出二阶修正项，源于二次变差。这里给出入门计算，不替代随机积分所需的适应性与可积性理论。

关键关系与条件

$B_t-B_s\sim N(0,t-s)$（$0\le s<t$），$E{B}_t=0$，$\mathrm{Cov}(B_s,B_t)=min(s,t)$。对 $C^{1,2}$ 函数，Itô 公式为 $\mathrm{d}f(t,B_t)=(f_t+\frac{1}{2}{f}_{xx})\mathrm{d}t+f_x\mathrm{d}{B}_t$；随机积分取满足适当适应性与可积性的被积过程。

公式定位 · 练习与讲解

平稳过程与 AR 时间序列

弱平稳要求均值不随时间改变且协方差仅依赖时间差；它不等于各时刻独立。AR(1) 用上一期数值及新噪声描述持续性，本篇限定由当前及过去噪声构成的因果平稳解，非退化噪声下要求系数绝对值小于一。以任意固定初始值启动的递推一般不立即平稳，在该条件下可逐渐接近平稳状态。

关键关系与条件

对 $X_t=\varphi X_{t-1}+{\epsilon }_t$，若 $|\varphi |<1$，噪声独立同分布、均值零、方差 $0<{\sigma }_{\epsilon }^2<\mathrm{\infty }$，且采用因果平稳解 $X_t=\sum _{j=0}^{\mathrm{\infty }}{\varphi }^j{\epsilon }_{t-j}$（均方收敛；从有限时刻启动时初值取平稳分布且独立于未来噪声），则 $E{X}_t=0$，$\mathrm{Var}{X}_t={\sigma }_{\epsilon }^2/(1-{\varphi }^2)$，自相关 $\rho (k)={\varphi }^{|k|}$。

公式定位 · 练习与讲解

数学建模与量纲分析

建模首先明确问题、变量、单位、假设与输出，再选方程。量纲一致是必要的自检：只有同量纲项才能相加，指数与对数的自变量应无量纲。无量纲化减少参数并帮助比较不同尺度的系统，但不能单凭量纲确定无量纲常数或证明某机制正确。

关键关系与条件

若模型 $T=C{\ell }^a{g}^b$，量纲 $[T]=T,[\ell ]=L,[g]=L{T}^{-2}$ 给出 $L^{a+b}{T}^{-2b}=T$，从而 $a+b=0,-2b=1$。相似分析还需说明除所列变量外没有其他关键控制量。

公式定位 · 练习与讲解

模型拟合、验证与可辨识性

拟合通过训练数据估计参数，验证用未参与拟合的数据评估推广能力。复杂模型可降低训练误差却增加过拟合；残差结构常暴露遗漏机制。参数可辨识性要求不同参数能产生可区分的预测；若只观测参数之和，再多同类数据也无法分别识别每个参数。

关键关系与条件

平方误差目标 $\mathrm{SSE}(\theta )=\sum _i[y_i-f(x_i;\theta ){]}^2$；均方根误差 $\mathrm{RMSE}=\sqrt{n^{-1}\sum _i({\hat{y}}_i-y_i{)}^2}$。岭惩罚可写为 $\mathrm{SSE}(\theta )+\lambda \parallel \theta {\parallel }^2$（$\lambda \ge 0$，是否惩罚截距须约定）。验证集不得用于反复拟合而仍声称独立测试。

公式定位 · 练习与讲解