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