定義
K を実数体または複素数体とする。
E を K 上の位相線形空間とする。
L(E, K) を E から K への連続な線形写像全体とする。
L(E, K) を E の双対(dual)と言う。