，在这种情况一般称这些映射为典范同构（canonical isomorphosm）。这些运算在流形上的张量场理论里也称为指标的上升和下降。
正式定义.黎曼流形 "M" 的黎曼度量 formula_5 是一个二阶的对称、正定张量场formula_6。在任意一点 "x"∈"M"，黎曼度量会诱导出一个映射 formula_7 这映射给了点 formula_9的切空间跟余切空间之间的一个线性同构，对任何切向量 "X" 属于 "T"M，定义其中符号 formula_11 代表 流形