Определение:
Назовем измеримую функцию суммируемой по мере µ (интегрируемой по Лебегу) на X, если существует последовательность простых суммируемых на X функций , равномерно сходящаяся к . Интегралом Лебега суммируемой функции на множестве X называется предел интегралов Лебега от простых суммируемых функций :
Это определение корректно, если выполнены следующие условия:
1)Предел для любой равномерно сходящейся последовательности простых суммируемых на X функций существует.
2)Этот предел при заданной функции не зависит от выбора последовательности .
3)Для простых функций определения совпадают.