Lie derivative
によって "T" の "Y" に沿うリー微分を定義するということになる。