リー微分
まず初めに、関数の微分法の言葉でリー微分を定義する。多様体 "M" 上で与えられた可微分関数 "f": "M" → R および "M" 上のベクトル場 "X" に対して、点 "p" ∈ "M" における "f" のリー微分を