遍历论、双曲动力系统与光滑系统

第 1 单元第 1 章从一个学习者问题开始，而不是从口号开始：“状态空间与更新规则”是什么意思，它比较哪些对象，究竟能推出什么？用白话说，动力系统首先说明状态在哪里，以及哪条规则把一个许可状态送到下一状态。这句话是锚点；只有学习者能说出状态、更新规则与观测量以后，才引入记号。

计算以前逐个读出符号。X 是状态空间；T:X→X 是声明的映射；T^n 表示 n 次复合；x 是点；μ 是概率测度；f 是观测量；D01.01 是本章审计标签。状态点、可测集、切向量、函数、概率测度与数字属于不同类型。T^n 是复合，不是 T 乘 n，也不是把 T 当普通数字乘方。

本章定义由焦点建立：动力系统首先说明状态在哪里，以及哪条规则把一个许可状态送到下一状态。它放在本单元环境“带类型状态空间、更新规则、其迭代或流时间，以及沿单条轨道的观测”中解释。定义只识别数据与关系；它不会自动断言不变性、遍历性、混合性、可微性、双曲性、统计可识别性或因果意义。

本单元有边界的定理路线是：连续映射具有定义良好的正向迭代；完备流满足群律；共轭传递轨道主张，而因子可能丢失信息。这条路线把紧性、可测性、可逆性、光滑阶、μ 保持、f 的可积性、一致常数及几乎处处限定全部保留。若本章不使用某项假设，就明确说明，而不是悄悄借用更强定理。

四本账防止类型错误。轨道账列出 x、T(x)、T²(x) 与时间方向；测度账检查逆像与零测集；导数账给 D_xT:T_xX→T_{T(x)}X 标类型并记录范数及坐标；极限账说明逐点、几乎处处、Lp、弱、依分布或一致收敛。只有经已证明的具名桥梁，结论才能跨账。

有限账故意保持小而准确：在十六点圆周上，从 j=2 出发迭代 D(j)=2j mod 16。前五个状态为 2、4、8、0、0；每个状态都按剩余类标类型，不把它误作实数提升。它不能证明无限定理，却能在抽象记号掩盖错误以前，暴露错误迭代、正像与逆像混淆、归一化错误、虚假独立性或放进错误切空间的导数。

用两条路线重建 D01.01。路线 A 直接跟随轨道、分割、矩阵或加权和；路线 B 使用不变计数恒等式、邻接矩阵乘法、特征值计算或变量替换账。两路一致只核验有限记录；若不一致，就在最先分叉的一行停下。

分开拓扑、测度与光滑主张。拓扑传递性涉及开集或稠密轨道；遍历性涉及模 μ 的不变可测集；双曲性涉及带类型子丛中的导数增长。一种性质可与另一种性质的失败并存；本章绝不以含糊的“混沌”替代所需定义。

必须执行的失效变异是：在各步之间改变定义域、把 T^n 混作 nT、把不完备向量场当作整体流，或从纯拓扑共轭推断度量速率。把它用于“状态空间与更新规则”，指出最先失败的假设或等式，并保留仍成立的最强较弱结论。反例属于定义的一部分，因为它说明哪些诱人的逆命题、端点或有限数据推断无效。

一条画出的轨道只是示意，不是关于不变测度、极限指数、混合、熵或结构稳定性的证据。有限精度计算机最终会重复状态。因此只要出现计算，本课都报告运算、精度、截断、预热、观测窗口与替代初值。

出现 μ 时，要说明它是给定、构造、已证不变、唯一、遍历、物理，还是仅由采样得到。这些是不同主张。只有在相应定理下，时间平均才描述 μ-几乎每个初值；它不会自动描述每个点、每个不变测度或真实实验。

出现导数时，要写明范数、正则阶、不变分裂与时间方向。有限时间正增长不自动成为 Lyapunov 指数。Lyapunov 指数是声明的渐近极限或由定理给出的值；零指数与不可积对数不能被悄悄删掉。

以重建收尾。不回看正文，用白话解释“状态空间与更新规则”，给符号标类型，两次复算 D01.01，连同假设陈述单元定理，触发变异，并写出仍成立的结论。只认得“遍历”“混合”“熵”或“双曲”等词，还不算理解。

保留本章局部词典，列为符号、类型、定义域、单位、依赖关系、观测或潜在状态以及等号含义。再把展示公式完整换成一句话。最后这次翻译能抓住常见错误：把轨道点、其规律、时间平均与空间平均当成可互换对象。

写等号以前先使用“等号阶梯”。先问两个对象是否逐点完全相同；若不是，再问它们是共轭、同构、几乎处处相等、依分布相等、积分后相等、渐近相等、只在常数意义下可比，还是仅在声明度量中接近。对 D01.01 的每个等号或近似号，都在旁边写出所处阶梯，再把整行读成包含量词与时间范围的完整句子。这样可防止把有限轨道平均悄悄提升为空间积分、把符号因子提升为共轭，或把测得斜率提升为渐近指数。