巴拿赫空间
(其中formula_2可以是任何巴拿赫空间，但为简单起见令其为实数轴）。定义："广义导数"formula_19