1: \begin{definition}[\cite{Ch99}, Theorem 17.1]\label{LDspace}

2: A metric measure space $(X,d,\mu)$ is called a \textit{Lipschitz differentiability space} if it satisfies the following condition. There are countably many Borel sets (``charts'') $U_i$ covering $X$, positive integers $n_i$ (the ``dimensions of the charts''), and Lipschitz maps $\phi_i\colon X\rightarrow\mathbb{R}^{n_i}$ with respect to which any Lipschitz function $f \colon X \rightarrow \R$ is differentiable almost everywhere, in the sense that for each $i$ and for $\mu$-almost every $x\in U_i$, there exists a unique $df(x) \in\mathbb{R}^{n_i}$ such that

3: \begin{equation} \label{LD}

4: \lim_{y\rightarrow x} \frac{|f(y) - f(x) -  df(x) \cdot(\phi_i(y)-\phi_i(x))|}{d(x,y)} = 0.

5: \end{equation}

6: Here $df(x) \cdot(\phi_i(y)-\phi_i(x))$ denotes the standard scalar product in $\mathbb{R}^{n_i}$.

7: \end{definition}