从 σ-代数与测度构造，经 Lebesgue 积分、收敛定理和 Lp，走到乘积测度、Radon–Nikodym、符号测度与泛函分析桥梁
从可测集合一直走到 Lp 与泛函分析接口。
关联：全课程
只在逐项核对条件后使用。