リー微分
が成り立っている。上式の"X"("ω"("Y")) は関数 "ω"("Y") の "X" の方向へのリー微分である。