ormula_80是三维欧几里得空间（Euclidean space）formula_81的一个右手的标准正交基（orthonormal basis），则定义formula_26的迹（trace）在这里，我们约定：如果求和号在表达式中出现，那么爱因斯坦求和约定就不再有效。不难验证，如果把formula_26展开为formula_85，则接下来，我们定义则不难证明，formula_88的定义与标准正交基formula_80的选取无关。此外，不难验证它有如下性质：对于任意一个矢量formula_9