はこのベクトル空間上の線型汎関数になる。