在实分析或数学分析中,达布积分是一种定义一个函数的积分的方法,它是通过达布和构造的。达布积分和黎曼积分是等价的,也就是说,一个实值函数是达布可积的当且仅当它是黎曼可积的,并且积分的值相等。达布积分的定义比黎曼积分简单,并且更具操作性。达布积分的名字来自于数学家让·加斯东·达布(Jean Gaston Darboux)。

于是我们可以在此区间的所有取样分割中定义一个偏序关系,称作“精细”。如果一个分割是另外一个分割的精细化分割,就说前者比后者更“精细”。

同样的有下达布和的定义:

f {\displaystyle f} 的上达布积分指的是所有上达布和的下确界:

同样的 f {\displaystyle f} 的下达布积分指的是所有下达布和的上确界:

从中我们可以看出上下达布和不等。

与黎曼积分的关系[编辑]

由上可以看出,黎曼积分的第二个定义与达布积分的定义等价(见黎曼积分)。如果一个函数 f {\displaystyle f} 在区间 [ a b ] {\displaystyle [ab]} 的达布积分存在,那么一个对于足够精细的分割,上达布和与下达布和之间的差将能够无限趋近于0(都趋近于共同的极限),因此比其更为精细的分割,黎曼和将介于上达布和与下达布和之间,于是趋于一个极限。同时,注意到对于一个分割,我们可以适当取样使得取样的函数值趋于上(下)确界(由确界的定义)。这表明如果黎曼和趋于一个定值,则上下达布和之间的差将趋于0,也就是说达布积分存在。