Большая Советская Энциклопедия (ПР)

если для любого e > 0 существует такое d > 0, что каково бы ни было разбиение {xi } отрезка [a , b ], для которого Dx_i  < d, и каковы бы ни были точки x_i , x_i-1  £ x_I   £ x_i , i = 1, 2,..., n, выполняется неравенство

½f (x₁ )Dx₁ + f (x₂ )Dx₂ +... + f (x_n )Dx_n   - A | < e.

  Понятие П. интегральных сумм может быть введено и с помощью П. последовательности.

  Обобщения понятия предела . Ввиду разнообразия употребляемых в математике специальных видов понятия П. естественно возникло стремление включить их как частный случай в то или иное общее понятие П. Например, можно ввести понятие П., обобщающее как понятие П. функции, так и понятие П. интегральных сумм. Система S непустых подмножеств некоторого множества Е называется направлением, если для каждых двух подмножеств А и В этой системы выполняется одно из включений А Ì В или B Ì A и пересечение всех множеств из S пусто. Пусть на множестве Е задана числовая функция f. Число а называется пределом функции f по направлению S, если для любого e > 0 существует такое множество А из S, что во всех его точках выполняется неравенство |f (x ) — а | < e. При определении П. функции f в точке x₀ за направление следует взять совокупность всех окрестностей этой точки с достаточно малыми радиусами за вычетом самой точки х ₀ . При определении П. интегральных сумм функции f , заданной на отрезке [а, b ], следует рассмотреть множество Е, элементами которого являются всевозможные разбиения отрезка [а, b ] с выбранными в них точками x_i . Подмножества E_h множества Е, отвечающие разбиениям, длины Dx_i , отрезков которых не превышают h, образуют направление. П. интегральных сумм (которые, очевидно, являются функциями, определёнными на множестве Е ) по указанному направлению является интеграл.

  Понятие П. обобщается на более широкие классы функций, например на функции, заданные на частично упорядоченных множествах, или на функции, являющиеся отображениями одного пространства (метрического или, более общо, топологического) на другое. Наиболее полно задача определения П. решается в топологии и означает в общем случае, что некоторый объект, обозначенный f (x ), меняющийся при изменений др. объекта, обозначенного через х, при достаточно близком приближении объекта х к объекту х ₀ сколь угодно близко приближается к объекту А. Основным в такого рода понятиях П. является понятие близости объектов х и x ₀ , f (x ) и А, которые нуждаются в математическом определении. Только после того как это будет сделано, высказанному определению П. можно будет придать чёткий смысл и оно станет содержательным. Различные понятия близости и изучаются, в частности, в топологии.

  Встречаются, однако, понятия П. др. природы, не связанные с топологией, например понятие П. последовательности множеств. Последовательность множеств A_n , n = 1, 2,..., называется сходящейся, если существует такое множество А, называемое её пределом, что каждая его точка принадлежит всем множествам A _n , начиная с некоторого номера, и каждая точка из объединения всех множеств A _n , не принадлежащая A , принадлежит лишь конечному числу A _n .

  Историческая справка . К понятию П. вплотную подошли ещё древнегреческие учёные при вычислении площадей и объёмов некоторых фигур и тел с помощью исчерпывания метода . Так, Архимед , рассматривая последовательности вписанных и описанных ступенчатых фигур и тел, с помощью метода исчерпывания доказывал, что разность между их площадями (соответственно объёмами) может быть сделана меньше любой наперёд заданной положительной величины. Включая в себя представление о бесконечно малых, метод исчерпывания являлся зародышем теории П. Однако в явном виде в древнегреческой математике понятие П. не было сформулировано, не было создано и каких-либо основ общей теории.