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