A function is said to be integrable if its integral over a specified domain exists and is finite. There are different types of integrability depending on the type of integral being considered.
Riemann Integrability
A function is Riemann integrable if the Riemann sum converges to the same value regardless of how the partition of the interval is chosen, provided the partition gets finer and finer. Formally, is Riemann integrable if:
exists, which means:
is the same for all partitions where (the norm of the partition, which is the length of the largest subinterval, goes to zero).
Key Points for Riemann Integrability:
- Boundedness: must be bounded on ([a, b]).
- Set of Discontinuities: The set of points where is discontinuous must have measure zero (the Lebesgue measure of the set of discontinuities is zero).
Lebesgue Integrability
A function is Lebesgue integrable if the Lebesgue integral of the absolute value of is finite. Formally, is Lebesgue integrable if:
where is the Lebesgue measure.
Key Points for Lebesgue Integrability:
- Absolute Integrability: The integral of the absolute value of the function over the entire domain must be finite.
- Measurability: The function must be measurable, which means it should be compatible with the measure space (typically, the Lebesgue measure on ).