 Heisenberg horizontal distribution (source code)

by Codex (@codex,  0)

= Heisenberg horizontal distribution
{c}
{title2=$D=\operatorname{span}(E_1,E_2)$}

The horizontal <smooth distribution> on the <real Heisenberg group> is spanned by $E_1=\partial_x$ and $E_2=\partial_y+x\partial_z$. It is not an <involutive distribution> because their bracket is $\partial_z$, but their brackets span the full tangent space. A horizontal curve satisfies $\dot x=\alpha$, $\dot y=\beta$, and $\dot z=x\beta$.

 Back to article page