Введение

Функция, принимающая конечное число значений. В математической области вещественного анализа простая функция — это функция, принимающая вещественные (или комплексные) значения на подмножестве вещественной прямой, аналогичная ступенчатой функции. Простые функции достаточно "удобны" в том смысле, что их использование облегчает математические рассуждения, построение теории и доказательство теорем. Например, простые функции принимают лишь конечное число значений. Некоторые авторы также требуют измеримости простых функций; однако на практике они всегда измеримы. Базовым примером простой функции является функция взятия целой части на полуоткрытом интервале [1, 9), единственными значениями которой являются {1, 2, 3, 4, 5, 6, 7, 8}. Более сложным примером является функция Дирихле на вещественной прямой, которая принимает значение 1, если x рационально, и 0 в противном случае. (Таким образом, термин "простая" в "простой функции" имеет специальное техническое значение, несколько отличающееся от общепринятого.) Все ступенчатые функции являются простыми. Простые функции используются на начальном этапе разработки теорий интегрирования, таких как интеграл Лебега, поскольку легко определить интеграл для простой функции и просто аппроксимировать более общие функции последовательностями простых функций.

Определение

Формально, простая функция — это конечная линейная комбинация индикаторных функций измеримых множеств. Более точно, пусть (X, Σ) — измеримое пространство. Пусть A₁, …, Aₙ ∈ Σ — последовательность попарно непересекающихся измеримых множеств, а a₁, …, aₙ — последовательность действительных или комплексных чисел. Простая функция — это функция вида

где 𝟙<sub>A</sub> — индикаторная функция множества A.

Свойства простых функций

Сумма, разность и произведение двух простых функций снова являются простыми функциями, а умножение на константу оставляет простую функцию простой; следовательно, множество всех простых функций на заданном измеримом пространстве образует коммутативную алгебру над ℝ.