Manuscript En09-A@1 · En09-A.tex · proposition · eafec9de
Proposition: No finite canonical time commutator
An exact finite stationary realization · lines 780–792 · proof included or linked
En09-A@1#prop:no-ccr
For nonzero finite-dimensional , no matrices satisfy
Proof. The trace of a matrix commutator is zero, whereas the trace of is .
Displayed formulas in this passage
unlabeled · line 784