[Math] What do these commutator identities have to do with the product rule for derivatives

calculuslinear algebra

enter image description here

This is a snapshot from the pdf I was reading. The last line here says that the identities above resemble the product rule for derivatives (which they do). But it is not explained in the pdf why.

Is the resemblance just a co-incidence, or is there some connection between the two concepts?

Best Answer

The identities are expressing the product rule, not the chain rule, as already pointed out in the comments. To see that the identities are expressing the product rule, define the commutator operator $D_A: B\mapsto [A,B]$ acting on an operator $B$ and resulting in the operator $[A,B]$, being $A$ also a linear operator. Then the first identity can be restated as $$ D_\Omega(\Lambda\theta)=(D_\Omega\Lambda)\theta+\Lambda(D_\Omega\theta). $$ The second identity does not add anything new, recalling that $D_AB=-D_BA$, the antisymmetric property of the commutator. Thus the operator $D_A$ is a derivation on the associative algebra of multiplication of linear operators. It is interesting to notice that $D_A$ is also a derivation on the commutator (Lie) algebra of linear operators, that is $$ D_A[B,C]=[D_AB,C]+[B,D_AC], $$ also known as Jacobi's identity.

Related Question