以上をまとめると、

φ_i(v_j) = δ_{i,j} （クロネッカーのデルタ）

である。

v_1, …, v_n は φ_1, …, φ_n の双対基底である。