Dirac delta function
は全射でない。例えば、ディラックのデルタ関数は双対空間にはあるが要求された形式ではない。一方、この双線型形式は次を満たす。