双対空間の定義
線型代数:V上の線型汎関数
線型位相空間:V上の連続線型汎関数