{"id":"arxiv/2601.22473","url":"https://arxiv.org/abs/2601.22473","tags":["math.MG","math.CA"],"score":0,"title":"Tangents to Lipschitz and Sobolev images","domain":"math.MG","source":"arxiv","authors":["Matthew Badger","Jared Krandel","Vyron Vellis"],"reviews":0,"subject":"math.MG","summary":"We develop geometric versions of Rademacher and Calderon type differentiability theorems in two categories. A special case of our results is that for any Lipschitz or continuous $W^{1,p}$ Sobolev map $f$ from $[0,1]^n$ into a Euclidean space with $p>n$, the image $f([0,1]^n)$ has a unique tangent set (Attouch-Wets convergence) at almost every point with respect to the $n$-dimensional Hausdorff measure. In the analogous case when $f$ is a continuous $N^{1,p}$ map from $[0,1]^n$ into a metric space, we show that the image $f([0,1]^n)$ has a unique metric tangent (Gromov-Hausdorff convergence)…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-01-30","reactions":{}}