Any sub-Riemannian Metric has Points of Smoothness

Andrei Agrachev

We prove the result stated in the title; it is equivalent to the existence of a regular point of the sub-Riemannian exponential mapping. We also prove that the metric is analytic o…