Riemann integral
由于一个函数的黎曼积分是一个实数，因此在固定了一个区间formula_8后，将一个黎曼可积的函数设到其黎曼积分的映射formula_101是所有黎曼可积的函数空间上的一个线性泛函。