であるから よって は 1 階の共変ベクトルになる. も同様. であるから, よって と定義すれば は 2 階反変 1 階共変のテンソルである.テンソルの縮約について, 特に と定義する. これをもって「ベクトルに計量をかけると添字の上げ下げができる」と表現される…