Let and , with nonzero , distinct positive . The squared adjoint action of has different eigenvalues on the two adjacent skew-Hermitian couplings. Linear combinations of and its double commutator with isolate both couplings. Further commutators give their real antisymmetric partners, two traceless diagonal generators, and both – generators, hence the special unitary Lie algebra . The drift has nonzero trace; subtracting its traceless part supplies , giving the Lie algebra of the unitary group and unitary operator controllability under the usual freely timed real-control assumptions.
Articles by others on the same topic
There are currently no matching articles.