リー微分
ソフス・リー (Sophus Lie) に因んだリー微分は多様体 "M" 上のテンソル場の多元環上のである。"M" 上のすべてのリー微分からなるベクトル空間は