Измеримая функция
Измери́мая фу́нкция, заданная на измеримом по Лебегу множестве действительных чисел функция , принимающая действительные значения, такая, что для каждого действительного измеримо по Лебегу множество точек из , для которых . Измеримыми являются сумма, разность, произведение и частное измеримых функций, а также предел последовательности измеримой функции.
Измеримость характеризует теорема Лузина (1913) о -свойстве: измеримыми являются те и только те функции, которые могут быть сделаны непрерывными после изменения их значений на множестве сколь угодно малой меры.
Измеримые функции на пространствах более общей природы определяются относительно выбранной системы измеримых подмножеств множества . При естественных условиях на систему (когда eсть -алгебра) функция называется измеримой, если множества вида измеримы при всех . В теории вероятностей случайными величинами называются измеримые функции, отображающие измеримые пространства на действительную прямую, когда измеримые множества представляют собой область определения некоторого распределения вероятностей.