Differentiability of Lipschitz maps from metric measure spaces to Banach spaces with the Radon-Nikodym property (Q2655447)

The authors formulate the following main results: Theorem 1. Every Lipschitz map from \(X\) into a Banach space with the Radon-Nikodým property (RNP) is differentiable \(\mu\)-almost everywhere (a.e.). Theorem 2. If \(X\) admits a bi-Lipschitz embedding in a Banach space with the Radon-Nikodým property, then for \(\mu\)-a.e. \(x\in X\), every tangent cone at \(x\) is bi-Lipschitz homeomorphic to a Euclidean space. Theorem 3. If \(f: X\to V\) is a Lipschitz map into an RNP Banach space, then for a full measure set of points \(p\in X\), there is a spanning set \(\{v,_1,v_2,\dots, v_k\}\subset T_pX\), such that for all \(i\in\{1,2,\dots,k\}\), the tangent vector \(v_i\) is the velocity of a Lipschitz curve \(c: I\to X\) at \(t\), and \(f\circ c\) is differentiable at \(t\).