線型汎関数って、線形写像の空間のdualの元のことじゃねーの?