если для любого e > 0 существует такое d > 0, что каково бы ни было разбиение {xi } отрезка [a , b ], для которого Dxi < d, и каковы бы ни были точки xi , xi-1 £ xI £ xi , i = 1, 2,..., n, выполняется неравенство
½f (x1 )Dx1 + f (x2 )Dx2 +... + f (xn )Dxn - A | < e.
Понятие П. интегральных сумм может быть введено и с помощью П. последовательности.
Обобщения понятия предела . Ввиду разнообразия употребляемых в математике специальных видов понятия П. естественно возникло стремление включить их как частный случай в то или иное общее понятие П. Например, можно ввести понятие П., обобщающее как понятие П. функции, так и понятие П. интегральных сумм. Система S непустых подмножеств некоторого множества Е называется направлением, если для каждых двух подмножеств А и В этой системы выполняется одно из включений А Ì В или B Ì A и пересечение всех множеств из S пусто. Пусть на множестве Е задана числовая функция f. Число а называется пределом функции f по направлению S, если для любого e > 0 существует такое множество А из S, что во всех его точках выполняется неравенство |f (x ) — а | < e. При определении П. функции f в точке x0 за направление следует взять совокупность всех окрестностей этой точки с достаточно малыми радиусами за вычетом самой точки х 0 . При определении П. интегральных сумм функции f , заданной на отрезке [а, b ], следует рассмотреть множество Е, элементами которого являются всевозможные разбиения отрезка [а, b ] с выбранными в них точками xi . Подмножества Eh множества Е, отвечающие разбиениям, длины Dxi , отрезков которых не превышают h, образуют направление. П. интегральных сумм (которые, очевидно, являются функциями, определёнными на множестве Е ) по указанному направлению является интеграл.
Понятие П. обобщается на более широкие классы функций, например на функции, заданные на частично упорядоченных множествах, или на функции, являющиеся отображениями одного пространства (метрического или, более общо, топологического) на другое. Наиболее полно задача определения П. решается в топологии и означает в общем случае, что некоторый объект, обозначенный f (x ), меняющийся при изменений др. объекта, обозначенного через х, при достаточно близком приближении объекта х к объекту х 0 сколь угодно близко приближается к объекту А. Основным в такого рода понятиях П. является понятие близости объектов х и x 0 , f (x ) и А, которые нуждаются в математическом определении. Только после того как это будет сделано, высказанному определению П. можно будет придать чёткий смысл и оно станет содержательным. Различные понятия близости и изучаются, в частности, в топологии.
Встречаются, однако, понятия П. др. природы, не связанные с топологией, например понятие П. последовательности множеств. Последовательность множеств An , n = 1, 2,..., называется сходящейся, если существует такое множество А, называемое её пределом, что каждая его точка принадлежит всем множествам A n , начиная с некоторого номера, и каждая точка из объединения всех множеств A n , не принадлежащая A , принадлежит лишь конечному числу A n .
Историческая справка . К понятию П. вплотную подошли ещё древнегреческие учёные при вычислении площадей и объёмов некоторых фигур и тел с помощью исчерпывания метода . Так, Архимед , рассматривая последовательности вписанных и описанных ступенчатых фигур и тел, с помощью метода исчерпывания доказывал, что разность между их площадями (соответственно объёмами) может быть сделана меньше любой наперёд заданной положительной величины. Включая в себя представление о бесконечно малых, метод исчерпывания являлся зародышем теории П. Однако в явном виде в древнегреческой математике понятие П. не было сформулировано, не было создано и каких-либо основ общей теории.
Новый этап в развитии понятия П. наступил в эпоху создания дифференциального и интегрального исчислений. Г. Галилей , И. Кеплер , Б. Кавальери , Б. Паскаль и др. широко используют при вычислении площадей и объёмов «неделимых» метод , метод актуальных бесконечно малых, т. е. таких бесконечно малых, которые, по их представлению, являются неизменными величинами, не равными нулю и вместе с тем меньшими по абсолютной величине любых положительных конечных величин. Продолжает в этот период применяться и развиваться и метод исчерпывания (Григорий из Сен-Винцента, П. Гульдин , Х. Гюйгенс и др.). На основе интуитивного понятия П. появляются попытки создать общую теорию П. Так, И. Ньютон первый отдел первой книги («О движении тел») своего труда «Математические начала натуральной философии» посвящает своеобразной теории П. под названием «Метод первых и последних отношений», которую он берёт за основу своего флюксий исчисления . В этой теории Ньютон взамен актуальных бесконечно малых предлагает концепцию «потенциальной» бесконечно малой, которая лишь в процессе своего изменения становится по абсолютной величине меньше любой положит, конечной величины. Точка зрения Ньютона была существенным шагом вперёд в развитии представления о П. Понятие П., намечавшееся у математиков 17 в., в 18 в. постепенно всё больше анализировалось (Л. Эйлер , Ж. Д'Аламбер , Л. Карно , братья Бернулли и др.) и уточнялось. В этот период оно служило лишь для попыток объяснить правильность дифференциального и интегрального исчисления и ещё не являлось методом разработки проблем математического анализа.
Современная теория П. начала формироваться в начале 19 в. в связи с изучением свойств различных классов функций, прежде всего непрерывных, а также в связи с попыткой доказательства существования ряда основных объектов математического анализа (интегралов функций действительных и комплексных переменных, сумм рядов, алгебраических корней и более общих уравнений и т.п.). Впервые в работах О. Коши понятие П. стало основой построения математического анализа. Им были получены основные признаки существования П. последовательностей, основные теоремы о П. и. что очень важно, дан внутренний критерий сходимости последовательности, носящий теперь его имя. Наконец, он определил интеграл как П. интегральных сумм и изучил его свойства, исходя из этого определения. Окончательно понятие П. последовательности и функции оформилось на базе теории действительного числа в работах Б. Больцано и К. Вейерштрасса . Из дальнейших обобщений понятия П. следует отметить понятия П., данные в работах С. О. Шатуновского (опубликовано в 1923), американских математиков Э. Г. Мура и Г. Л. Смита (1922) и французского математика А. Картана (1937).
Лит.: Александров П. С., Введение в общую теорию множеств и функций, М. — Л., 1948; Ильин В. А., Позняк Э. Г., Основы математического анализа, 3 изд., т. 1—2, М., 1971—73; Кудрявцев Л. Д., Математический анализ, 2 изд., т. 1—2, М., 1970; Никольский С. М., Курс математического анализа, т. 1—2, М., 1973; Смирнов В. И., Курс высшей математики, 22 изд., т. 1, М., 1967.
Л. Д. Кудрявцев.
Предельная равнина
Преде'льная равни'на, почти равнина, то же, что пенеплен .
Предельная точка
Преде'льная то'чка множества А, такая точка x пространства, сколь угодно близко от которой имеются отличные от x точки множества А, т. е. в любой окрестности которой содержится бесконечное множество точек из А. Характеристическим свойством П. т. множества A является существование по крайней мере одной сходящейся к ней последовательности различных точек множества А. П. т. множества А не обязана ему принадлежать. Так, например, всякая точка числовой прямой является П. т. для множества А рациональных её точек: ко всякому как рациональному, так и иррациональному числу можно подобрать сходящуюся к нему последовательность различных рациональных чисел. Не всякое бесконечное множество имеет П. т. — таково, например, множество всех целых чисел. Однако всякое бесконечное и ограниченное множество любого евклидова пространства имеет по крайней мере одну П. т.
