度量测度微积分、上梯度与非光滑几何

第 1 单元第 1 章先问一个具体的学习者问题：空间可能没有坐标、切向量或经典导数时，“度量分开并比较点”究竟是什么意思？用白话说，度量给每对点赋非负对称距离，仅在同一点时为零，并满足三角不等式。课程先认对象再展示公式，因为熟悉的导数符号很容易掩盖空间并不具备的假设。

把每个符号读成带类型的句子。(X,d,m) 是带声明 Borel 测度的度量空间；B_r(x) 是开球；γ 是可求长或绝对连续曲线；f 是实值函数；g 是候选上梯度；p 是声明指数；N01.01 是审计标签。点、曲线、函数、几乎处处等价类、测度、模元素与数字是不同种类的对象。字母 m 用来测量集合；除非明确声明，它不是某个点质量。

本章局部含义是：度量给每对点赋非负对称距离，仅在同一点时为零，并满足三角不等式。它放在单元焦点“完备或明确不完备的度量空间、在有界集上有限的 Borel 测度，以及由分割计算长度的曲线”中解释。定义说明比较哪些数据，却不会暗中赠送倍增性、完备性、Poincaré 不等式、测地线、可微坐标、二次能量、曲率界或唯一性。

有边界的定理路线是：度量长度在递增重参数化下不变；绝对连续曲线几乎处处具有度量速度，其积分控制端点距离与子曲线长度。句中每个名词都携带假设。学习者要标出完备性、可分性、m 在有界集上有限、p>1、倍增、弱 (1,p)-Poincaré 不等式、无穷小 Hilbert 性或曲率—维数条件首次进入的位置。

分开四本账。几何账记录距离、球、曲线长度与参数化；测度账记录可测集、零集、密度与积分；能量账记录斜率、上梯度、松弛与指数；结论账说明等式是逐点、m-几乎处处、沿 p-几乎每条曲线、在 Lp 中、弱意义，还是仅为不等式。

有限账故意保持小规模：取 X={0,…,7}、d(i,j)=|i−j| 及计数测度 m。声明开球 B_1.5(4)={3，4，5}，其质量为 3；账中分开半径、直径、基数与测度。它不是无限定理的缩小版证明。它的作用是在记号变密以前，暴露错误半径约定、遗漏绝对值、未归一质量、不许可的曲线密度、隐藏端点或错误指数。

用两条独立路线重建 N01.01。路线 A 直接沿定义计算距离、曲线积分、松弛或运输代价；路线 B 使用对称性、细分、比较函数、对偶不等式或光滑校准情形。两路一致只认证有限记录；若不一致，就在首次分叉运算处停止。

只有固定曲线类与例外曲线族约定以后，曲线不等式才能替代缺失的坐标导数。“每条曲线”“p-几乎每条曲线”与“一条采样曲线”是三个不同陈述。即使只在 m-零集上改变函数，也可能影响某条例外曲线上的值，因此代表元与容量不可省略。

斜率、弱上梯度、最小弱上梯度、Cheeger 微分与模范数是有关联的构造，不是可互换写法。本章说明在声明环境中可以使用哪条识别定理；若尚未证明等距识别，就保留不等号。

必须执行的失效变异是：把任意测度当成倍增测度、把支撑等同整个 X、混淆开球与闭球，或假设任意两点都有测地线相连。把它用于“度量分开并比较点”，找出第一个不可用定义或定理假设，并写出仍成立的最强较弱结论。边界是课程内容的一部分，不是公式之后的道歉。

球、分支曲线、水平集或运输质量的图，是带类型数据的解释，不会证明倍增、Poincaré 不等式、可求长性、曲率界或收敛。每幅图因此标明度量、测度、半径约定、尺度，并说明边是实际曲线、示意关系还是数值近似。

出现积分时要说出测度与单位。∫_γg ds 沿弧长积分，∫_Xg^p dm 对环境测度积分，∫P({u>t},A)dt 对水平值积分周长。相同积分号并不会把这些量变成同一类对象。

出现曲率语言时，要区分度量测度曲率—维数条件与光滑流形上的逐点截面或 Ricci 张量。课程只按声明方向使用最优运输、熵、二次 Cheeger 能量与 Bochner 不等式；不会从 RCD 三个字母反推出光滑流形或经典张量。

最后离开页面讲一遍。用白话解释“度量分开并比较点”，给每个符号标类型，两次复算 N01.01，连同全部假设陈述有边界定理，触发变异，并指出一个诱人但无效的更强主张。认识术语还不等于能够重建证明。

保留证据表，列为对象、类型、定义域、测度、指数、代表元、曲线量词、等号含义、假设来源与首个失效点。把主要展示关系翻译成完整句子；若句子说不清对什么、沿什么积分，就还没有理解公式。

最后完成一个邻近情形比较：保留同一函数，只改变度量、测度、指数、曲线族、代表元或结构假设中的一项。重新计算有限账，标出哪些量保持不变、哪些发生改变，并判断定理是否仍可使用。这样的受控比较能防止学习者把 N01.01 记成脱离条件、到处套用的步骤；它还要求说明改变来自定义本身、积分所用测度、例外曲线约定，还是定理桥梁的失效。每一步都要写出原因，不能只报告最终数字或结论。