A sufficient condition for the \(C^H\)-rectifiability of Lipschitz curves (Q942978)

A Borel subset \(S\) of \({\mathbb R}^{1+k}\) (\(k \geq 1, k\) integer) is said to be \(C^H\)-rectifiable if there exist countably many curves \(M_j\) of the class \(C^H\), embedded in \({\mathbb R}^{1+k}\) and such that \[ {\mathcal H}^1\left(S\setminus \bigcup\limits_{j} M_j\right) = 0, \] where \({\mathcal H}^1\) denotes the usual one-dimensional Hausdorff measure in \({\mathbb R}^{1+k}\). The following sufficient condition for \(C^H\)-rectifiability is proved. Theorem. Let \(\gamma : [a, b] \rightarrow {\mathbb R}^{1+k}\) be a Lipschitz map and \(H \geq 2\) an integer number. Then the set \(\gamma([a, b])\) is \(C^H\)-rectifiable if the following condition is satisfied: there exist a family of \(2^{H-1}\) Lipschitz maps \[ \gamma_{\alpha} : [a, b] \rightarrow {\mathbb R}^{1+k},\; \alpha\in \{0, 1\}^{H-1}, \] and a family of \(H-1\) bounded functions \[ c_{h} : [a, b] \rightarrow {\mathbb R},\; h\in \{0, 1, \ldots, H-2\}, \] such that \[ \gamma_{0^{H-1}} = \gamma, \] and \[ \dot\gamma_{0^{H-1-h} \beta} = c_h {\gamma}_{0^{H-2-h} 1 \beta} \] (almost everywhere) for all \(h\in \{0, 1, \ldots, H-2\}\) and \(\beta\in \{0, 1\}^{h}\) (where \(\{0, 1\}^{0} = \emptyset\), \(\gamma_{\alpha \emptyset} = \gamma_{\alpha}\) for all \(\alpha\in \{0, 1\}^{H-1}\)).