リー微分
L Y X = [ Y , X ] . {\displaystyle {\mathcal {L}}_{Y}X=[Y,X].}