For with basis , the step-two Lie algebra has basis and its last element is central. Write
Its first level is and its second level is
The step-two multiplication gives
Consequently the map
is an isomorphism onto the real Heisenberg group. The shift by converts exponential coordinates into the matrix coordinates used for that group. In exponential coordinates the left-invariant horizontal vector fields are
Taking orthonormal gives exactly the Carnot-Carathéodory distance inherited from .

Articles by others on the same topic (0)

There are currently no matching articles.