Riemann多様体上の発散の同値な定義

Riemann多様体上の発散には幾つかの等価な定義が存在します.

それらについて証明も含めてまとめました.