局所直交座標系においては が成り立っている. (要証明) 添字が上に上がっても同様. したがって, あるテンソル があって, その各項がこれらを因数としてもつとき, となる. また, テンソルの変換性により, あるテンソル がある座標系において 0 ならば, それは…