rmula_15和formula_16是formula_14上有限维向量空间。选择一组基formula_18formula_15上和一组基formula_20在formula_16上。令formula_22为formula_15上的任意向量（假设有爱因斯坦求和约定），且有formula_24是线性算子。则有所以有formula_26是算子formula_27在固定基底下的矩阵表示。formula_28不依赖于formula_29的选取，且有formula_30当且仅当formula_31。因此在固定基底下