黎曼积分
所有在formula_157上可积的函数构成了一个线性空间。黎曼积分的意义上，所有区间["a", "b"]上黎曼可积的函数formula_18和formula_160都满足：