U⊆Rn を開集合として、X:C∞(U)→C∞(U) が、ライプニッツ法則を満たすR-線形写像のとき、Xは通常の偏微分作用素 の関数係数線形結合で書けます。このことを示すことにしましょう。また、ライプニッツ法則を満たすR線形写像Xと、接ベクトル場の関係についても述…