Lie微分とは多様体の上の関数、ベクトル場, etc(一般のテンソル場)を「流した」ときの変化分のことである。Lie derivative - Wikipediaもその邦訳もわかりにくかったので自分で書いてみる。ただし考え方のアウトラインだけ。 流れから誘導されるのテンソル量…