在欧氏平面上，半径 r、圆心 O 的圆定义为 C = { x ∈ ℝ² : |x − O| = r }，周长写作 2πr，面积写作 πr²。
课堂上这两个公式常被当作圆本身的属性：点集一经给出，周长与面积便已经完整地附着其上。可是只要追问几句，这个印象就撑不住：
“距离”从哪里来？点集只说明哪些点属于圆，它本身没有说任何两点之间有多远。“沿边界走一圈”是什么意思？点集没有次序，走这个动作不在点集里。 无穷多个点怎么会有一个有限的长度？ 用折线逼近、用弧长积分、用滚轮测量，为什么会得到同一个数？
四个问句指向同一件事：周长这个数不是从点集里读出来的，它至少需要三层。
S：圆周作为可指认的显露——哪些点在上面。 D：分割、逼近、求和、取极
限——沿它走的那套动作。 E：距离、角度、测地线、收敛规则——什么使这
些动作有意义。
本书不主张 2πr 是错的，恰恰相反：本书要求把这条结论成立所依赖的三层同时写出来，它才是一个完整的数学命题。
在圆内作正 n 边形，每边是一条弦，对应圆心角 2π/n，边长 2r·sin(π/n)，故内接正n 边形周长
P⁻(n) = 2nr·sin(π/n).
弦短于所对的弧，故对每个有限 n 都有 P⁻(n) < 2πr。
在圆外作正 n 边形，使每边与圆相切，由直角三角形得每边长 2r·tan(π/n)，故P⁺(n) = 2nr·tan(π/n) > 2πr.
于是有经典夹逼 2nr·sin(π/n) < 2πr < 2nr·tan(π/n)。
这里静态点集 S 没有变，欧氏平面 E 没有变，变的只有 D：一条从内部以弦逼近，一条从外部以切线逼近。有限阶段显露出的“周长”并不相同，只有 n → ∞ 时两条路径才共同收敛到 2πr。
请记住这一格的形状——D 变了，E 没变，最终的 S 没变。第二章会给它一个编号。
如果一列多边形的面积越来越接近圆的面积，它们的周长是否也越来越接近圆周长？
不是。
取多边形 P(n) 并只要求对称差的面积趋于零，|P(n) △ B_r| → 0。这意味着 P(n) 与圆盘不一致的区域面积趋于零，从面积看它们确实越来越像圆。但这个条件对边界怎样接近圆周一个字都没说。
于是可以造出第三条路径：在接近圆周的边界上加入越来越细的小锯齿。每个锯齿高度足够小，增加的总面积趋于零；但锯齿的两条斜边之和大于它所替代的那段短弦，所以周长趋于某个 L > 2πr。还可以造第四条：让锯齿数量增长得更快，面积误差仍趋于零，而周长趋于无穷。
同一个面积极限、同一个欧氏平面，对应完全不同的边界路径，产生 2πr、某个更大的有限数、乃至 +∞ 三种周长。
这个例子最要紧的一点是：它不是说 D 在捣乱，而是说 E 给弱了。 面积拓扑太弱，它控制区域占据多少平面，不控制边界怎样振荡。要让周长收敛，必须把凸性、Hausdorff 收敛、边界总变差或更强的几何测度条件加进 E。
用一句通俗话说：两块地的面积几乎一样，不表示围栏的长度也几乎一样。
这个例子值得单独用一整章推到底，理由不在于它有趣，在于它几乎逼到了
极限：锯齿不只在面积上像圆，它在点集这一层与圆的极限完全相同——不是
相似，是同一个集合，一个点都不差。一个反例若只是“不够像”，补一补
就没了；一个反例若已经“像到不能再像”而结论仍然不对，那它指出的就
不是精度问题，是表述缺了一层。下一章处理它。
既然不同 D 可以给出不同周长，周长是不是任意的？
不是。严格数学的任务正是分开“合格路径”与“不合格路径”。对一条可求长曲线γ: [a,b] → ℝ²，取分割 a = t₀ < t₁ < ⋯ < t(n) = b，折线长度L_P(γ) = Σ |γ(t_i) − γ(t(i−1))|， L(γ) = sup over P of L_P(γ).
若 γ 分段 C¹，则可证 L(γ) = ∫ |γ′(t)| dt。折线逼近与微分积分是两种不同的 D，但在欧氏度量、连续性与可求长条件组成的 E 中，它们给出同一个值。
于是更准确的说法不是“长度由 S 单独决定”，而是：
长度是 S 在 E 中对一类被许可的 D 保持不变的量。
这句话是本书对“客观性”的处理方式：SDE 不削弱客观性，它解释客观性怎样发生——许多路径彼此有差异，而环境把其中一类组织成等价类，并保证它们结算一致。锯齿路径不在这个等价类里，因为 E 中的可求长条件把它排除了。
圆的对称性太高，容易让人以为长度是形状天然携带的数字。一般曲线更清楚。
曲线写成 γ(t) = (x(t), y(t))，弧长 L = ∫ √(x′² + y′²) dt。公式里出现的参数、速度、导数，全部属于发生路径：没有参数沿曲线运行，没有局部位移的累积，就没有弧长积分。
同一条几何曲线可以有不同参数化。若 t = φ(s) 是保向的光滑单调变换，则 γ∘φ 与 γ的速度不同，而弧长不变。这说明真正相关的不是某一个裸参数，而是参数化在 E 中的等价类：环境规定哪些重新参数化被视为同一条几何路径，并保证积分在变量替换下不变。
长度已经需要 D，曲率更明显。平面光滑曲线的曲率
κ = |x′y″ − y′x″| / (x′² + y′²)^(3/2)
公式里出现一阶与二阶导数，说明曲率描述的不是一个孤立点，而是方向沿路径如何变化。只给一堆无序的点，曲率无法定义。
但曲率也不只依赖 D。把同一条曲线放进不同的度量环境，切向量长度、角度、联络与测地曲率都会变。欧氏平面里的直线曲率为零；球面上的大圆作为球面内的测地线，其内蕴测地曲率为零，而从三维欧氏空间看它又有非零的外在曲率。
同一条曲线，同一个“直不直”的问题，在两个环境里有两个正确答案。 所以曲率必须注明：在哪个 E 中、沿哪种 D、量的是哪一种曲率。
传统定义说圆是到定点距离相等的点集。这里最容易被略过的词不是“点集”，是“距离”——距离不由点集提供，它由度量环境决定。写完整：在度量空间 (M, d)中，以 p 为心、ρ 为半径的圆是 { x ∈ M : d(x,p) = ρ }。E 一变，d 一变，圆就变。欧氏平面（曲率 K = 0）：L₀(ρ) = 2πρ，面积 A₀(ρ) = πρ²。
半径 R 的球面（K = 1/R² > 0）：测地半径 ρ 的圆周长
L₊(ρ) = 2πR·sin(ρ/R)， 面积 A₊(ρ) = 2πR²[1 − cos(ρ/R)].
因 sin u < u，故 0 < ρ < πR 时 L₊(ρ) < 2πρ。更有意思的是：ρ 从 0 增到 πR/2 时圆周增到最大的大圆；继续增大，圆周反而缩小，最终在对跖点趋于零。“半径越大周长越长”这条直觉在球面上不成立。
常负曲率双曲平面（K = −1/R²）：
L₋(ρ) = 2πR·sinh(ρ/R)， 面积 A₋(ρ) = 2πR²[cosh(ρ/R) − 1].
因 sinh u > u，故 L₋(ρ) > 2πρ。
三者合起来：对同一个 ρ，L₊(ρ) < L₀(ρ) < L₋(ρ)。三种圆都满足“到中心的测地距离等于 ρ”，而圆周的增长规律完全不同。
请记住这一格的形状——D 没变（都是测地扩张与测地测量），E 变了，S 的特征翻面。
环境生成圆，而圆的精细特征又能反过来显露环境。二维黎曼流形上，圆心附近高斯曲率为 K 时，小测地圆有展开
L(ρ) = 2πρ [1 − Kρ²/6 + O(ρ⁴)]， A(ρ) = πρ² [1 − Kρ²/12 + O(ρ⁴)].
K > 0 时小圆周与面积略小于欧氏值，K < 0 时略大。于是测量小圆周偏离 2πρ 的程度，就可以估计局部曲率。
这形成一个闭环：环境先决定圆周，圆周的偏差又让环境显露出来。三方程在这里有一个可以直接看见的实例——S = F(D,E)：周长由测地路径与度量生成；D = G(S,E)：目标圆与环境决定应沿哪种测地路径去量；E = H(S,D)：由圆周、面积与测地三角形的观测反推环境曲率。
π 常被定义为欧氏圆周长与直径之比。这个看似静态的比例背后有一串条件：周长必须可定义；直径依赖欧氏距离；必须证明不同半径的圆有相同的周长直径比；还必须证明不同测量路径给出同一结果。π 之所以是常数，是因为欧氏环境的相似变换把所有大小的圆组织进同一结构，并使长度按同一比例缩放。
在球面上，测地圆周长除以测地直径 2ρ 得到 πR·sin(ρ/R)/ρ，它随 ρ 变化，并不恒等于 π；双曲平面上相应的比值大于 π 且随半径变化。这不是 π 失效，而是说明“圆周与直径之比恒定”是欧氏环境的一条特征。环境的曲率正是通过这个比值显露出来的。SDE 分析不把 π 相对化，它把“何时出现 π、为什么稳定地出现 π”说完整。
上一节容易被误读，必须当场堵住。
有人会说：既然球面上圆周长不是 2πρ，那“圆周长等于 2πr”这个真值岂不是随环境而变？若真值也随环境变，数学还剩什么？
变的不是真值，是命题。
“在欧氏平面中，圆周长等于 2πr”与“在半径 R 的球面上，测地半径 ρ 的圆周长等于 2πR·sin(ρ/R)”是两个不同的命题，各自的真值不随任何人的显露、路径或纠缠而改变。换 E 换掉的不是答案，是你在问哪一句。
这条界线本书将反复使用，第六章会单独处理它，第三编第十八章会给它一个更精确的形式。此处先立在这里，因为它是本编与相对主义之间那道墙。发生的是提问装置，不发生的是装置指向的那个真值。
其一，静态显露不足以独立承载全部几何性质。 无序点集不能自动给出长度、方向与曲率；即使区域面积收敛，也不保证边界周长收敛。
其二，D 不是可以事后删除的计算步骤。 内接、外切、折线细化、参数化、积分、锯齿振荡都是对象怎样被生成与被测量的差异序列。不同 D 在有限阶段给出不同显露，在弱环境中甚至保留不同极限。
其三，E 不是背景。 欧氏、球面、双曲通过不同度量定义不同距离，从而生成不同的圆；环境还规定哪些 D 合格、哪种收敛足够强、哪些参数化算作同一条曲线。
因此本章的核心句是：
圆的周长不是圆这个静态显露自动吐出的数字，而是圆在某一度量环境中，
经一类合格测量路径形成的稳定显露。
本章反复说“点集不够”，这句话必须说准，否则会伤及一个本来没有毛病的定义。
C = { x : |x − O| = r } 这个定义没有毛病。 从它出发，圆的长度是良定的：一维Hausdorff 测度 ℋ¹(C) = 2πr，它完全由点集决定。点集决定了圆自己的长度。
失效的是另一件事：ℋ¹ 在点集自带的那种收敛（Hausdorff 距离）之下不连续。于是定义与计算分家：定义圆的长度，点集够——ℋ¹(C) = 2πr；计算圆的长度，点集不够——计算必经逼近，而逼近在点集这一层不受控。而长度几乎从来不是“读”出来的，是算出来的：多边形、弧长积分、数值求积、网格离散，全是逼近。
一个定义若不能支撑通往它的路径，它就只是一个名字。
［记号纪律．］ 本书不把数学对象写成 H(S, D, E) 一类的合成式。对象不是三样东西拼成的，对象是“在 E 中，经 D，成 S”这一次发生稳定下来的结晶，而 S 是它的显露，不是它的一个零件。把互生写成合成，等于把“对象先在、只等被组装”的旧句法偷偷放回来。需要逐项检查时，本书使用记账式表示 𝒪 = (S, 𝒟, E, ∼E)（第三编与第二编各有用法），并始终声明那是一张账目，不是一个构成成分表。函数名 F、G、H只用于三方程 S = F(D,E)、D = G(S,E)、E = H(S,D)，不挪作他用。