Definition:Definite Integral/Darboux

Definition
Let $\closedint a b$ be a closed real interval.

Let $f: \closedint a b \to \R$ be a real function. Let $f$ be bounded on $\closedint a b$.

Suppose that:
 * $\displaystyle \underline {\int_a^b} \map f x \rd x = \overline {\int_a^b} \map f x \rd x$

where $\displaystyle \underline {\int_a^b}$ and $\displaystyle \overline {\int_a^b}$ denote the lower integral and upper integral, respectively.

Then the definite (Darboux) integral of $f$ over $\closedint a b$ is defined as:
 * $\displaystyle \int_a^b \map f x \rd x = \underline {\int_a^b} \map f x \rd x = \overline {\int_a^b} \map f x \rd x$

$f$ is formally defined as (properly) integrable over $\closedint a b$ in the sense of Darboux, or (properly) Darboux integrable over $\closedint a b$.

More usually (and informally), we say:
 * $f$ is (Darboux) integrable over $\closedint a b$.

Also known as
Because of the Equivalence of Definitions of Riemann and Darboux Integrals, and because the concept of the Darboux integral is generally considered to be easier to grasp than the Riemann integral, it is a popular approach on an introductory course of integral calculus to teach the Darboux integral, but then to call it the Riemann integral. Technically it is not, but the difference is ultimately immaterial.

Also see

 * Equivalence of Definitions of Riemann and Darboux Integrals