Carnot群中Lipschitz曲线与C¹光滑曲线的可求长性分离

1. 引言：从欧氏空间的“光滑”到Carnot群的“断裂”

在经典的几何测度论里，一个集合是否“可求长”，本质上是在问它能在多大程度上被一些“好”的曲线或曲面所逼近。在欧氏空间R^n中，这个问题有着优雅而统一的答案：一个集合是1-可求长的，当且仅当它几乎处处能被C1光滑曲线所覆盖。这背后的核心是Whitney延拓定理——它像一位技艺高超的工匠，能将局部看起来像光滑函数的碎片，无缝拼接成一个整体光滑的函数。这个定理保证了Lipschitz函数（一种“几乎处处可微”但可能不够光滑的函数）可以被C1函数在测度意义下任意逼近，即所谓的“Lusin性质”。因此，在欧氏世界里，用Lipschitz曲线定义的1-可求长性，与用C1曲线定义的1-可求长性，是完全等价的。

然而，当我们踏入Carnot群的世界，这幅和谐的图景便骤然破碎。Carnot群，作为一类特殊的李群，其几何由“水平分布”这一非交换结构所主导。想象一下，在三维的Heisenberg群（最简单的非平凡Carnot群）中，你只能沿着特定的水平方向移动（比如东西向和南北向），而垂直方向的运动（上下移动）必须通过水平方向的“换向”操作（类似于泊车时前后移动来调整高度）来实现。这种受限的运动方式，使得其度量（Carnot-Carathéodory度量）与欧氏度量有着本质的不同：两点间的测地距离可能远大于其欧氏直线距离，且空间的“维数”在度量意义下也发生了变化（例如，Heisenberg群的豪斯多夫维数是4，而非拓扑维数3）。

在这种非交换的几何中，一个自然的问题是：欧氏空间中关于可求长性的经典结论，哪些还能成立？具体到本文的核心，即：在Carnot群中，一个集合能被Lipschitz水平曲线覆盖，是否也意味着它能被C1光滑的水平曲线覆盖？或者说，Lusin逼近性质是否依然有效？

本文所研究的对象——自由步数为3、具有2个生成元的Carnot群F（也称为Cartan群）——为我们提供了一个否定的、甚至可以说是极端的答案。我们将在F中明确构造出一条Lipschitz曲线γ，它与任何C1水平曲线的交集，其1维豪斯多夫测度都为零。这意味着，你无法找到任何一条足够光滑的C1水平曲线，在哪怕一个正测度的区间段上与γ重合。用更专业的术语说，γ的像是“纯粹C1水平1-不可求长”的。

这个构造的直接推论是，在群F中，C1水平的Lusin性质彻底失效。你无法用C1水平曲线去任意逼近一条给定的Lipschitz曲线。这从根本上划清了Carnot群与欧氏空间在可求长性理论上的界限：在F中，Lipschitz可求长性与C1水平可求长性是两种截然不同的概念。

2. 舞台搭建：认识自由Carnot群F

在深入构造之前，我们必须先了解故事发生的舞台——自由Carnot群F。它是最简单的非平凡Carnot群之一，却已足够复杂到展现出与欧氏空间的根本差异。

2.1 F的代数与几何结构

我们可以将F实现为R^5，并赋予其一个特定的群运算*。这个运算使得以下向量场构成左不变向量场的一组基：

• X1 = ∂₁ （对第一个坐标求偏导）
• X2 = ∂₂ - x₁∂₃ + (1/2)x₁²∂₄ + x₁x₂∂₅
• X3 = ∂₃ - x₁∂₄ - x₂∂₅
• X4 = ∂₄
• X5 = ∂₅

这里的非零李括号关系是：

• [X2, X1] = X3
• [X3, X1] = X4
• [X3, X2] = X5

这个结构是“分层”的：令V1 = Span{X1, X2}， V2 = Span{X3}， V3 = Span{X4, X5}。那么，[V1, V1] = V2， [V2, V1] = V3。V1被称为“水平层”，是运动被允许的“方向”；V2和V3被称为“垂直层”，其方向不能直接到达，必须通过水平方向的换向（李括号）来生成。由于经过3次李括号后所有对易子都为零，我们说F是一个“步数为3”的Carnot群。

关键理解：你可以将F中的点(x₁, x₂, x₃, x₄, x₅)想象成一个“扩展的”位置。前两个坐标x₁, x₂是基本的水平坐标，就像平面上的点。后三个坐标x₃, x₄, x₅则编码了为了到达这个“水平位置”所必须执行的、复杂的“换向历史”。群运算*不是简单的向量加法，它会根据这些历史记录，非线性地组合这些垂直坐标。

2.2 水平曲线与度量

在F中，我们只关心一类特殊的曲线——水平曲线。

定义 2.1 (水平曲线)：一条绝对连续曲线 γ: [a, b] → R⁵ 被称为是水平的，如果存在L¹函数u₁, u₂，使得几乎处处有： γ'(t) = u₁(t) X₁(γ(t)) + u₂(t) X₂(γ(t)) 换句话说，曲线的速度向量必须始终落在水平分布V1中。

利用向量场X1, X2的具体形式，这个条件可以转化为对坐标函数的微分约束（引理 2.3）：

• γ₃' = -γ₂' γ₁
• γ₄' = (1/2) γ₂' γ₁²
• γ₅' = γ₂' γ₁ γ₂

而曲线的水平长度定义为 ℓ(γ) = ∫_a^b √(u₁² + u₂²) = ∫_a^b √((γ₁')² + (γ₂')²)。这告诉我们，水平长度只由前两个坐标的变化决定，垂直坐标的变化是“免费”附带的，但其变化方式受到严格的约束。

基于水平曲线，我们定义F上的Carnot-Carathéodory (CC)度量： d_c(x, y) = inf { ℓ(γ) : γ 是连接x和y的水平曲线 } 根据Chow-Rashevsky定理，F中任意两点都可以用有限长度的水平曲线连接，因此d_c确实是一个度量。这个度量是左不变的，并且与欧氏度量不等价：在紧集上，存在常数c₁, c₂使得 c₁|x-y| ≤ d_c(x, y) ≤ c₂|x-y|^(1/3)。这个1/3的指数正反映了空间的“非各向同性”和度量的“亚黎曼”特性——在垂直方向上移动一点，需要付出水平方向上长得多距离的代价。

2.3 两类重要的曲线：Lipschitz与C¹_H

我们主要关心两类曲线：

1. Lipschitz曲线：关于CC度量d_c是Lipschitz连续的曲线。由度量不等价性可知，它关于欧氏度量也是绝对连续的，因此几乎处处可微。一个关键结论是：在Carnot群中，每一条Lipschitz曲线都必然是水平的（[25, Proposition 4.1]）。这是与欧氏空间截然不同的性质——在R^n中，一条Lipschitz曲线可以到处乱窜，但在F中，它的速度被“锁死”在水平分布里。
2. C¹_H曲线：既是水平的，又作为R⁵中的曲线是C¹光滑的（即导数存在且连续）。这等价于说它的Pansu导数存在且连续。显然，C¹_H曲线在紧区间上是Lipschitz的。

2.4 可求长性：定义与目标

在F中，我们聚焦于1维可求长性。

定义 2.2 (纯粹C¹_H 1-不可求长)：一个集合 E ⊂ F 被称为是纯粹C¹_H 1-不可求长的，如果对于每一条C¹_H曲线 Γ: [0,1] → F，都有 H¹(E ∩ Γ([0,1])) = 0。这里H¹是关于CC度量d_c的1维豪斯多夫测度。

本文的核心目标，就是构造一条Lipschitz曲线γ: [0,1] → F，使得它的像γ([0,1])是纯粹C¹_H 1-不可求长的。这等价于证明以下更强的点态不交性定理：

定理 1.2：存在一条Lipschitz曲线 γ: [0,1] → F，使得对于每一条C¹_H曲线 Γ: [0,1] → F，都有 m{ t ∈ [0,1] : Γ(t) = γ(t) } = 0。其中m是勒贝格测度。

也就是说，γ与任何C¹_H曲线最多只能在零测集上重合。定理1.1（纯粹不可求长性）是定理1.2的直接推论。

3. 构造的基石：水平运动的约束与“楼梯”曲线

为了构造这样的γ，我们需要两个关键工具：一是理解在F中如何通过水平移动来产生垂直位移；二是理解C¹_H曲线的水平速度如何约束其垂直坐标的变化。

3.1 “楼梯”曲线：用水平线段攀登垂直方向

在欧氏空间中，要垂直向上移动，你只需沿着垂直方向走直线。在F中，由于你只能沿X1、X2方向移动，要改变x₄或x₅坐标，你必须走一条“之”字形的路径。

命题 3.1 (楼梯曲线)：对于任意λ ∈ R，存在一条曲线 ζ_λ: [0, 8] → F，从原点0出发，到达点 p = (0,0,0, λ³, 0) 或 p = (0,0,0,0, λ³)。并且，对于每个k=0,...,7，限制ζ_λ|_{[k,k+1]}都是一段水平的|λ|-线段（即沿±X1或±X2方向、速度为|λ|的匀速线段）。特别地，其长度ℓ(ζ_λ) = 8|λ|。

构造与直觉：这个构造本质上是李群中Baker-Campbell-Hausdorff (BCH) 公式的应用。以到达(0,0,0,λ³,0)为例，通过精心设计8段水平线段的顺序和方向，利用李括号的非交换性，使得在水平方向“绕了一圈”回到原点后，在垂直的x₄坐标上产生了一个净的λ³变化。这个过程就像爬一个正方形的螺旋楼梯：你在水平面上走了8步，最终水平位置没变，但高度（垂直坐标）改变了。

这个命题有一个重要的几何推论（推论 3.4）：d_c(0, p) ≤ 8|λ|。这意味着，为了在垂直方向产生λ³的变化，你只需要走大约8|λ|的水平距离。当|λ|很小时，这个代价远小于欧氏距离（约为|λ|³），这直观地体现了CC度量的“放大”效应。

3.2 C¹_H曲线的“单向门”性质

这是整个证明的灵魂所在，它揭示了C¹_H曲线在特定方向运动时，其垂直坐标变化的强制性单调性。

引理 3.2 (高度变化约束)：设 γ: [a,b] → F 是一条水平曲线，s < t。那么：

1. 如果在[s,t]上几乎处处有 γ₁' ≥ 0，则 γ₅(t) - γ₅(s) ≤ (1/2)[γ₁(t)γ₂(t)² - γ₁(s)γ₂(s)²]。
2. 如果在[s,t]上几乎处处有 γ₁' ≤ 0，则 γ₅(t) - γ₅(s) ≥ (1/2)[γ₁(t)γ₂(t)² - γ₁(s)γ₂(s)²]。
3. 如果在[s,t]上几乎处处有 γ₂' ≥ 0，则 γ₄(t) - γ₄(s) ≥ 0。
4. 如果在[s,t]上几乎处处有 γ₂' ≤ 0，则 γ₄(t) - γ₄(s) ≤ 0。

证明思路与解读：这些不等式直接来自水平条件(2.8)和分部积分。以结论(1)为例： γ₅(t) - γ₅(s) = ∫_s^t γ₂'(θ) γ₁(θ) γ₂(θ) dθ = (1/2) ∫_s^t γ₁(θ) d(γ₂(θ)²) 使用分部积分，得到 = (1/2)[γ₁(t)γ₂(t)² - γ₁(s)γ₂(s)²] - (1/2) ∫_s^t γ₁'(θ) γ₂(θ)² dθ。 由于假设γ₁' ≥ 0，最后一项积分非正，因此不等式成立。

这个引理的威力在于：它把C¹_H曲线垂直坐标的变化，与水平坐标的符号和大小耦合在了一起。例如，结论(3)和(4)告诉我们，如果一个C¹_H曲线在某个区间上其γ₂'恒为正（即一直朝正X2方向运动），那么它的x₄坐标必须单调不减。反之，如果γ₂'恒为负，则x₄必须单调不增。这就像设置了一个“单向门”：如果你想在正X2方向走一段C¹_H曲线，你的x₄坐标只能增加，不能减少。对于γ₁'和γ₅也有类似但更复杂的关系。

这个性质是F群特有的，源于其李代数结构的非交换性。在Heisenberg群（步数2）中，就没有对x₄坐标的这种强约束。正是这种约束，使得我们可以设计一条Lipschitz曲线，去“愚弄”所有试图跟踪它的C¹_H曲线。

4. 核心构造：一条让所有C¹_H曲线都无法跟随的Lipschitz曲线

我们的策略是构造一条Lipschitz曲线γ，它由越来越精细的“之”字形振荡构成，使得任何C¹_H曲线都无法在正测度集上与它一致。构造是迭代的，类似于构造Cantor集或Koch雪花曲线，但振荡发生在垂直坐标x₄和x₅上。

4.1 基本构建块：修改水平线段

我们首先定义如何在一条水平线段上加入一个垂直方向的“突起”，同时保持曲线是水平且分段匀速的。

构造 4.1 (修改曲线 α₊)：给定参数：区间[a,b]（长度L=b-a≤1），速度1≤λ<3/2，整数Q≥5。

1. 划分区间：将[a,b]等分为3Q+2个子区间I₁, I₂, ..., I_{3Q+2}。
2. 定义垂直扰动幅度：令 μ = (λL)/(24Q)。这个μ³将是我们希望在x₅坐标上产生的净变化量。
3. 分段定义曲线：
   • 第一阶段 (I₁到I_Q)：沿正X1方向，以速度λ' = (1 + 2/(3Q))λ匀速运动。这相当于走了一段“平路”。
   • 第二阶段 (I_{Q+1})：在这一个小区间上，运行前面提到的“楼梯曲线”ζ_μ（按时间缩放），从(0,0,0,0,0)走到(0,0,0,0, μ³)。这相当于“爬上一座天桥”。
   • 第三阶段 (I_{Q+2}到I_{2Q+1})：继续沿正X1方向，以速度λ'匀速运动。这是在“天桥”上水平移动。
   • 第四阶段 (I_{2Q+2})：运行楼梯曲线ζ_μ的逆（时间反向），从(0,0,0,0, μ³)回到(0,0,0,0,0)。这是“走下天桥”。
   • 第五阶段 (I_{2Q+3}到I_{3Q+2})：继续沿正X1方向，以速度λ'匀速运动，到达终点(λL, 0,0,0,0)。

最终得到的曲线α₊，起点是0，终点是(λL, 0,0,0,0)。它整体上模拟了原来从0到(λL,0,0,0,0)的X1方向线段，但在中间插入了一个在x₅坐标上先上后下的“突起”。类似地，我们可以定义α₋（模拟负X1方向）、β₊（模拟正X2方向，在x₄坐标上产生突起）、β₋（模拟负X2方向）。

命题 4.2 (修改曲线的性质)：这些修改曲线具有以下关键性质：

1. 它们是由有限段水平λ'-线段拼接而成的，因此是分片光滑的水平曲线。
2. 如果我们把[a,b]分成足够多（是8(3Q+2)的倍数）的等长子区间，那么在每个这样的子区间上，修改曲线就是一段匀速的水平线段（方向为±X1或±X2）。

性质2至关重要。它意味着，无论我们把区间分得多细，在这些细分的区间上，修改曲线的行为都非常简单——就是朝某个固定方向匀速前进。这为后续的迭代构造提供了便利。

命题 4.3 (逼近性质)：修改曲线与原水平线段不会偏离太远。

1. 整个修改曲线始终停留在原点的一个小邻域内（d_c距离≤17/10）。
2. 对于所有t∈[a,b]，有 d_c(α₊(t), exp(λ(t-a)X1)) ≤ 2(b-a)/Q。对α₋, β₊, β₋类似。

性质2说明，修改曲线和它要模拟的原线段，在CC度量下，最大偏差被控制在O(1/Q)。当Q很大时，修改曲线和原线段几乎无法区分。然而，正是这个微小的偏差中，蕴含了垂直方向的扰动μ³ = (λL/(24Q))³。

4.2 关键引理：C¹_H曲线无法同时匹配两个“长区间”

现在，我们利用引理3.2的约束，来证明一个核心的技术命题。

命题 4.4 (排斥原理)：设ρ是构造4.1中的某条修改曲线（如α₊）。设η是另一条水平曲线，且在整个[a,b]上满足 d_c(η(t), ρ(t)) < (1/(10κ)) * (λ(b-a)/(24Q))³，其中κ是联系欧氏距离和CC距离的常数（见(4.6)）。 现在，假设Γ: [a,b] → F是一条C¹_H曲线，并且满足 |Γ₁'| ≥ 1/2 或 |Γ₂'| ≥ 1/2 在[a,b]上几乎处处成立。 那么，Γ和η重合的点的集合，其勒贝格测度不超过(4/5)(b-a)。

证明思路（以ρ=α₊，且Γ₁' ≥ 1/2为例）：

1. 设定与观察：令 ε = (λ(b-a)/(24Q))³。条件表明η非常接近α₊（偏差远小于ε）。特别地，η的x₅坐标在区间I₁∪...∪I_Q上接近0，在区间I_{Q+2}∪...∪I_{2Q+1}上接近ε。
2. 反证法：假设Γ和η在两个“长区间”I₁∪...∪I_Q和I_{Q+2}∪...∪I_{2Q+1}上都有重合点。设s在前一个长区间，t在后一个长区间，且Γ(s)=η(s), Γ(t)=η(t)。
3. 利用垂直坐标约束：由于η接近α₊，我们有 η₅(t) - η₅(s) ≈ ε。另一方面，因为Γ是C¹_H且Γ₁' ≥ 1/2，根据引理3.2(1)，有： Γ₅(t) - Γ₅(s) ≤ (1/2)[Γ₁(t)Γ₂(t)² - Γ₁(s)Γ₂(s)²]。 由于Γ=η在s和t两点，我们可以用η的坐标来估计右边。
4. 导出矛盾：通过仔细估计（利用η接近α₊，而α₊的x₂坐标在相关区间为0，所以η的x₂坐标很小），我们可以得到： ε ≈ η₅(t)-η₅(s) ≤ (1/2)|η₁(t)|η₂(t)² + (1/2)|η₁(s)|η₂(s)² ≤ O( (ε/10)² ) ≪ ε。 这显然是一个矛盾。因此，Γ和η不可能同时在两个长区间上都有重合点。
5. 测度估计：由(4.3)可知，每个“长区间”的并集（I₁到I_Q，或I_{Q+2}到I_{2Q+1}）的测度至少是(b-a)/5。既然Γ和η不能同时在两个长区间上有重合点，那么它们重合的点的集合，其测度最多是(b-a) - (b-a)/5 = (4/5)(b-a)。

这个命题是构造的核心逻辑。它告诉我们：如果一条C¹_H曲线在某个区间上的水平速度分量（比如Γ₁'）远离零（≥1/2），那么它就无法很好地跟踪一条在垂直坐标（x₅）上做了特定“突起”的修改曲线。它最多只能在一个“长区间”上与之重合，而会“错过”另一个长区间。

4.3 迭代构造与极限曲线

现在，我们从一条简单的线段开始，反复应用上述的“修改”操作，构造一列曲线{γ_n}，最终取极限得到目标曲线γ。

构造 4.5 (迭代序列)：

1. 初始曲线：令γ₀: [0,1] → F为沿X1方向的匀速直线，即γ₀(t) = exp(tX1) = (t, 0, 0, 0, 0)。这是一条C¹_H曲线（实际上非常光滑）。
2. 迭代步骤：假设我们已经构造了γ_n。它将[0,1]划分为M_n个等长的区间{J_{n,1}, ..., J_{n, M_n}}，并且在每个区间J_{n,i}上，γ_n都是一条水平的λ_n-线段（方向为±X1或±X2）。
   • 选择参数：取λ_{n+1} = (1 + 2/(3Q_n)) λ_n，其中Q_n是一个待定的、快速增长的整数序列（例如Q_n = 10^{n+5}）。
   • 在每个小区间J_{n,i}上，我们用构造4.1中对应的修改曲线来替换γ_n在J_{n,i}上的那段线段。
     • 如果γ_n在J_{n,i}上是正X1方向的线段，就用α₊替换。
     • 如果是负X1方向，用α₋替换。
     • 如果是正X2方向，用β₊替换。
     • 如果是负X2方向，用β₋替换。
   • 替换时，我们需要对构造4.1中的曲线进行适当的平移（利用群的左平移），使得修改后的曲线段在端点与相邻段连接。
   • 根据命题4.2(4)，只要我们选择M_{n+1}是8(3Q_n+2)的倍数，那么新曲线γ_{n+1}在它自己的更细的划分下，每个小区间上又是一条水平的λ_{n+1}-线段。这保证了迭代可以继续进行。

命题 4.6 (序列性质)：通过精心选择增长足够快的Q_n（例如Q_n = 10^{n+5}），我们可以确保构造的曲线序列{γ_n}满足：

1. 一致收敛：{γ_n}在[0,1]上关于CC度量d_c一致收敛到某条曲线γ。
2. Lipschitz性质：极限曲线γ是Lipschitz的（因为所有γ_n的Lipschitz常数有一个一致上界，且收敛是一致的）。
3. 逼近控制：对于每个n，在[0,1]上，d_c(γ_{n+1}(t), γ_n(t)) ≤ C / Q_n，其中C是某个常数。这意味着每一步修改造成的扰动非常小。
4. 结构继承：对于每个n，曲线γ与γ_n在每个“第n层”区间J_{n,i}上的偏差非常小。更准确地说，存在常数C'，使得对于所有t ∈ J_{n,i}，有 d_c(γ(t), γ_n(t)) ≤ C' / Q_n。

性质4是连接γ与修改曲线性质的关键。它说明，极限曲线γ在“大尺度”上（第n层）看起来非常像γ_n，而γ_n在每个第n层区间上，本质上就是一条经过了n次修改的、带有复杂垂直振荡的“近似水平线段”。

4.4 定理1.2的证明

现在，我们证明构造出的γ满足定理1.2：对于任意C¹_H曲线Γ: [0,1] → F，有 m{ t : Γ(t) = γ(t) } = 0。

证明：

1. 处理零速度点：首先，C¹_H曲线Γ的导数Γ'是连续的。令 Z = { t ∈ [0,1] : |Γ₁'(t)| < 1/2 且 |Γ₂'(t)| < 1/2 }。由于Γ'连续，Z是一个开集，因此是可数个开区间的并集。在Z的每个构成区间上，Γ的两个水平速度分量都很小。我们将证明，γ与Γ在Z上重合的集合是零测的。这需要更精细的分析，但基本思想是：γ的构造在越来越细的尺度上引入了垂直振荡，而Γ在Z上水平速度太小，无法快速调整其垂直坐标来跟踪这些振荡，因此重合点只能是稀疏的。详细论证涉及对Γ在Z上振动幅度的估计和γ振荡频率的比较，这里从略。
2. 处理非零速度点：关键在于集合 [0,1] \ Z。在这个集合上，至少有一个水平速度分量的绝对值不小于1/2。由于[0,1] \ Z是闭集，我们可以找到一列紧集K_n，使得m([0,1] \ Z \ ∪_n K_n) = 0，并且在每个K_n上，要么恒有Γ₁' ≥ 1/2，要么恒有Γ₁' ≤ -1/2，要么恒有Γ₂' ≥ 1/2，要么恒有Γ₂' ≤ -1/2。我们只需证明对于每个这样的K_n，有 m({t ∈ K_n : Γ(t) = γ(t)}) = 0。
3. 应用排斥原理：以K_n上满足Γ₁' ≥ 1/2的情况为例。固定一个大的迭代层次N。将[0,1]按照第N层的划分分成区间{J_{N,i}}。对于每个这样的区间J_{N,i}，曲线γ非常接近于第N层的曲线γ_N。而γ_N在J_{N,i}上，本质上就是一条修改曲线（可能是α₊, α₋, β₊, β₋之一），其参数λ ≈ λ_N，区间长度L = 1/M_N，Q = Q_N。 根据命题4.4，在区间J_{N,i}上，由于Γ₁' ≥ 1/2，Γ与γ_N（从而与非常接近γ_N的γ）重合的点的集合，其测度不超过 (4/5) * m(J_{N,i})。
4. 求和与取极限：因此，在整個K_n上，Γ与γ重合的点的测度，不超过所有第N层区间上测度上界的和，即 ≤ Σ_i (4/5) m(J_{N,i}) = (4/5) m(∪_i J_{N,i} ∩ K_n) ≤ 4/5。注意，这个上界(4/5)与N无关！ 但是，我们可以让N越来越大。当N增加时，第N层的划分越来越细。对于任何固定的t，如果Γ(t) = γ(t)，那么当N足够大时，t所在的那个第N层区间会非常小。然而，命题4.4给出的上界(4/5)是相对于整个区间长度的。一个更精细的分析（利用γ与γ_N的逼近误差随N增大而趋于零，以及Γ的连续性）表明，实际上我们可以证明：对于任意ε>0，存在一个足够细的划分（即N足够大），使得在K_n的每个子区间上，重合点的测度小于ε倍区间长度。通过求和，我们得到 m({t ∈ K_n : Γ(t) = γ(t)}) ≤ ε。由于ε任意，这个测度必须为零。

综合步骤1和2，我们得到 m{ t : Γ(t) = γ(t) } = 0。这就完成了定理1.2的证明。

5. 推论：纯粹C¹_H不可求长性

从定理1.2到定理1.1（纯粹C¹_H 1-不可求长性）的推导几乎是直接的。

定理1.1的证明：设γ是定理1.2中构造的Lipschitz曲线。我们需要证明，对于任何C¹_H曲线Γ: [0,1] → F，都有 H¹( γ([0,1]) ∩ Γ([0,1]) ) = 0。

由于Γ是C¹_H，根据引理2.9，它在[0,1]上是Lipschitz的。Lipschitz映射不会增加豪斯多夫测度的维数。更具体地说，存在常数L，使得对于任意集合A，有 H¹(Γ(A)) ≤ L * m(A)，其中m是勒贝格测度。

现在，考虑集合 E = { t ∈ [0,1] : Γ(t) ∈ γ([0,1]) }。由于γ是单射（可以要求构造的γ是单射），这等价于存在唯一的s∈[0,1]使得Γ(t)=γ(s)。但根据定理1.2，集合 { t ∈ [0,1] : Γ(t) = γ(t) } 的勒贝格测度为零。然而，E可能更大，它包含了所有使得Γ(t)落在γ像上的t，即使对应的参数s不等于t。

这里需要一个额外的观察：由于γ也是Lipschitz的，因此它的像γ([0,1])是一个紧致的、1-可求长的集合（在通常的Lipschitz意义下）。而Γ是C¹_H。如果Γ([0,1])与γ([0,1])的交集具有正的H¹测度，那么在这个交集的一个正H¹测度的子集上，两个曲线必须重合。通过利用Lipschitz曲线的性质（例如，它们几乎处处有切向量），以及C¹_H曲线的光滑性，可以论证这最终会导致存在一个正测度的参数区间，使得Γ(t) = γ(t)。这与定理1.2矛盾。一个更简洁的论证是利用[32]中的结果：对于Lipschitz曲线γ，集合γ⁻¹(Γ([0,1]))是[0,1]的一个子集，并且如果H¹(γ([0,1]) ∩ Γ([0,1])) > 0，那么这个原像集合也必须有正的勒贝格测度。在这个正测度集上，有Γ(t) ∈ γ([0,1])，即存在s使得γ(s)=Γ(t)。再次利用曲线的单射性和Lipschitz性质，可以论证这迫使在参数的一个正测度集上s=t，从而与定理1.2矛盾。

因此，我们得出结论：H¹( γ([0,1]) ∩ Γ([0,1]) ) = 0。根据定义2.10，γ([0,1])是纯粹C¹_H 1-不可求长的。

6. 结论与延伸思考

本文的构造揭示了一个深刻的事实：在自由Carnot群F中，可求长性的世界与欧氏空间截然不同。在欧氏空间，Whitney延拓定理保证了“粗糙”（Lipschitz）的可求长性与“光滑”（C¹）的可求长性本质是一回事。而在F中，我们构造出了一条Lipschitz曲线，它的像集却无法被任何C¹水平曲线在哪怕一个正的一维测度意义上所覆盖。这意味着：

1. Lusin性质的彻底失效：你无法用C¹_H曲线在测度意义下逼近一条给定的Lipschitz曲线。这与Heisenberg群及更一般的“可塑”(pliable) Carnot群形成鲜明对比，在那些群中，C¹_H的Lusin性质是成立的。
2. 可求长性概念的分离：“Lipschitz 1-可求长”与“C¹_H 1-可求长”在F中成为了不同的概念。一条Lipschitz曲线的像，作为最简单的Lipschitz可求长集，却可以是纯粹C¹_H不可求长的。
3. 根源在于非可塑性：证明的关键利用了F中两个生成方向X1和X2都是“非可塑”的这一事实。这体现在引理3.2的约束中：沿X2方向的C¹_H运动强制x₄坐标单调变化；而沿X1方向的运动，则通过更复杂的耦合影响x₅坐标。我们的构造正是通过精心设计垂直坐标（x₄, x₅）的振荡模式，使得任何C¹_H曲线都无法同时满足这些单调性约束并与我们的曲线在多处重合。

这项工作不仅仅是一个反例的构造，它更指明了在更一般的Carnot群乃至子黎曼流形中，研究可求长性时需要格外小心。经典的欧氏工具（如Whitney延拓）不再可用，几何测度论中的许多等价定义可能在此分道扬镳。未来的研究可以沿着以下几个方向：

• 更高维度的推广：对于F中更高维度的集合（如曲面），其可求长性是否也有类似的分裂现象？
• 其他Carnot群：如何刻画所有C¹_H Lusin性质失效的Carnot群？是否存在一个代数或几何的判据？
• 弱化光滑性：如果我们将C¹_H替换为更弱的正则性类（例如，只有Pansu可微），Lusin性质是否可能恢复？
• 定量分析：我们的构造给出了一个“存在性”的反例。能否定量地描述这种不可逼近的程度？例如，对于一条给定的Lipschitz曲线，其最佳C¹_H逼近的误差下界是多少？

这个构造本身也体现了度量几何中一种常见的哲学：通过在不同尺度上重复某种“破坏性”的模式（这里是垂直振荡），可以构造出具有极端反直觉性质的对象。这种技巧在分形几何、实分析中屡见不鲜，而在子黎曼几何这个结合了微分结构、代数结构和非交换分析的领域，它绽放出了新的光彩。