L'をLの双対とする。すなわち、各x∈Xに対して、

L'_x = (L_x)'。

座標関数x_0, x_1, ..., x_nは、L_xの線型汎関数である。