设formula_3为 在域formula_4上的向量空间，定义其对偶空间formula_5为由"formula_3"到"formula_4"的所有线性函数的集合。即是"formula_3"的标量线性变换。formula_5本身是formula_4的向量空间，并且对所有formula_5中的formula_12及formula_13、所有"formula_4"中的formula_15、所有"formula_3"中的formula_17满足以下加法及标量乘法：在张量的语言中，"formula_3"的元素