Пример ступенчатой функции (красный график). В этой функции каждая постоянная подфункция со значением функции α i ( i = 0, 1, 2, ...) определяется интервалом A i , а интервалы выделяются точками x j ( j = 1, 2, .. .). Эта конкретная ступенчатая функция непрерывна справа .
Определение и первые последствия
Функция называется ступенчатой функцией , если ее можно записать как
, для всех действительных чисел
где , – действительные числа, – интервалы, – индикаторная функция :
В этом определении можно предположить, что интервалы обладают следующими двумя свойствами:
Объединение интервалов — это вся вещественная линия:
Действительно, если изначально это не так, можно выбрать другой набор интервалов, для которых эти предположения выполняются. Например, ступенчатая функция
можно записать как
Варианты определения
Иногда интервалы должны открываться вправо [1] или быть одноэлементными. [2] Условие, что набор интервалов должен быть конечным, часто отбрасывается, особенно в школьной математике, [3] [4] [5] , хотя он все равно должен быть локально конечным , что приводит к определению кусочно-постоянных функций.
Постоянная функция — это тривиальный пример ступенчатой функции. Тогда существует только один интервал,
Знаковая функция sn( x ) , равная −1 для отрицательных чисел и +1 для положительных чисел, является простейшей непостоянной ступенчатой функцией.
Функция Хевисайда H ( x ) , равная 0 для отрицательных чисел и 1 для положительных чисел, эквивалентна знаковой функции с точностью до сдвига и масштаба диапазона ( ). Это математическая концепция, лежащая в основе некоторых тестовых сигналов , например тех, которые используются для определения переходной характеристики динамической системы .
Прямоугольная функция , следующая простейшая ступенчатая функция.
Прямоугольная функция , нормализованная коробчатая функция , используется для моделирования единичного импульса.
Непримеры
Функция целой части не является ступенчатой функцией согласно определению этой статьи, поскольку она имеет бесконечное количество интервалов. Однако некоторые авторы [6] определяют также ступенчатые функции с бесконечным числом интервалов. [6]
Характеристики
Сумма и произведение двух ступенчатых функций снова является ступенчатой функцией. Произведение ступенчатой функции на число также является ступенчатой функцией. Таким образом, ступенчатые функции образуют алгебру над действительными числами.
Ступенчатая функция принимает только конечное число значений. Если интервалы для в приведенном выше определении ступенчатой функции не пересекаются и их объединение представляет собой действительную линию, то для всех
Интеграл Лебега от ступенчатой функции равен где – длина интервала , и здесь предполагается, что все интервалы имеют конечную длину. Фактически это равенство (рассматриваемое как определение) может стать первым шагом в построении интеграла Лебега. [7]
Дискретную случайную величину иногда определяют как случайную величину , кумулятивная функция распределения которой является кусочно-постоянной. [8] В данном случае это локально ступенчатая функция (в глобальном масштабе она может иметь бесконечное количество шагов). Однако обычно любая случайная величина, имеющая только счетное множество возможных значений, называется дискретной случайной величиной, в этом случае их кумулятивная функция распределения не обязательно локально является ступенчатой функцией, поскольку в конечной области может накапливаться бесконечное количество интервалов.