Аппроксимативный предел
Аппроксимати́вный преде́л, предел функции при по множеству , для которого является точкой плотности. В простейшем случае есть действительная функция точки -мерного евклидова пространства (в более общем случае – вектор-функция). Аппроксимативный предел обозначается
Из существования аппроксимативного предела, вообще говоря, не следует существование обычного предела. Для аппроксимативного предела имеют место элементарные свойства пределов: единственность, теоремы о пределе суммы, разности, произведения и частного двух функций.
Пусть – точка плотности области определения действительной функции . Если при этом существует обычный предел , то существует и равный ему аппроксимативный предел. Верхним аппроксимативным пределом функции в точке называется нижняя грань множества чисел (причём не исключается), для которых множество имеет своей точкой разрежения. Аналогично, нижним аппроксимативным пределом функции в точке называется верхняя грань множества тех ( не исключается), для которых служит точкой разрежения множества . Эти аппроксимативные пределы обозначаются соответственно
Аппроксимативный предел существует в том и только том случае, если верхний и нижний аппроксимативные пределы равны; их общее значение совпадает с аппроксимативным пределом.
В случае действительного употребляются также односторонние (правый и левый) верхние и нижние аппроксимативные пределы (при этом требуется, чтобы была соответственно правосторонней или левосторонней точкой плотности области определения функции). Для правого верхнего аппроксимативного предела употребляют запись
аналогично записываются и другие случаи. При совпадении правых верхнего и нижнего аппроксимативных пределов получается правый аппроксимативный предел, при совпадении левых – левый аппроксимативный предел.
Аппроксимативный предел был использован впервые А. Данжуа (1915) и А. Я. Хинчиным (1916–1918) при исследовании дифференциальных связей неопределённого интеграла (в смысле Лебега и в смысле Данжуа – Хинчина) и подинтегральной функции (см. Аппроксимативная непрерывность, Аппроксимативная производная).