Участник:Isbur/Функциональный анализ I/Карточки/Интеграл Лебега/Для измеримых функций
Неотрицательные функции
правитьПусть – неотрицательная измеримая функция, - измеримое множество. Тогда по определению
,
супремум берётся по всем простым функциям, для которых для всех .