For with basis , the step-two Lie algebra has basis and its last element is central. WriteIts first level is and its second level isThe step-two multiplication givesConsequently the mapis 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 areTaking orthonormal gives exactly the Carnot-Carathéodory distance inherited from .
Articles by others on the same topic
There are currently no matching articles.