1)
В математике пределом последовательности элементов пространства называют элемент того же пространства, который обладает свойством «притягивать», в некотором смысле, элементы данной последовательности. Свойство последовательности, иметь или не иметь предел, называют сходимостью: если у последовательности есть предел, то говорят, что данная последовательность сходится, в противном случае (если у последовательности нет предела) говорят, что последовательность расходится. Часто встречающимся является предел числовой последовательности.
Пределом последовательности точек топологического пространства является такая точка, каждая окрестность которой содержит все элементы последовательности, начиная с некоторого номера. Все открытые, в смысле данной топологии, множества, содержащие данную точку, образуют систему окрестностей этой точки. В метрическом пространстве систему окрестностей образуют, например, все открытые шары с центром в данной точке. Поэтому свойство сходимости последовательности элементов метрического пространства к данной точке формулируется как способность «удерживать» на заданном расстоянии все точки последовательности, начиная с некоторого номера.
Сходящиеся последовательности обладают следующим свойством: каждая подпоследовательность сходящейся последовательности сходится, и её предел совпадает с пределом исходной последовательности. Другими словами, у последовательности не может быть двух различных пределов.[1] Может, однако, оказаться, что у последовательности нет предела, но существует подпоследовательность (данной последовательности), которая предел имеет. Если из последовательности точек пространство можно выделить сходящуюся подпоследовательность, то, говорят, что данное пространство компактно или, точнее, секвенциально компактно.
Понятие предела последовательности непосредственно связано с понятием предельной точки (множества): если у множества есть предельная точка, то существует последовательность элементов данного множества, сходящаяся к данной точке. Таким образом, у последовательности может быть несколько предельных точек, но, если последовательность сходится, то все предельные точки совпадают друг с другом и совпадают с пределом самой последовательности.
Предел числовой последовательности является основным объектом рассмотрения в математическом анализе. В общей топологии рассматриваются наиболее общие свойства сходимости, а, также, вводятся и изучаются обобщения.
2)
Экстре́мум (лат. extremum — крайний) в математике — максимальное или минимальное значение функции на заданном множестве. Точка, в которой достигается экстремум, называется точкой экстремума. Соответственно, если достигается минимум — точка экстремума называется точкой минимума, а если максимум — точкой максимума. Вматематическом анализе выделяют также понятие локальный экстремум (соответственно минимум или максимум).
Необходимые условия существования локальных экстремумов
Лемма Ферма. Пусть функция (f пернадлежит D(x0)) дифференцируема в точке локального экстремума x0. Тогда:
f'(x0) = 0.
Если в точке экстремума существует первая частная производная (по какому-либо аргументу), то она равна нулю.
Достаточные условия существования локальных экстремумов
Пусть функция непрерывна в и существуют конечные или бесконечные односторонние производные . Тогда при условии
x0 является точкой строгого локального максимума. А если
то x0 является точкой строгого локального минимума.
Заметим, что при этом функция не дифференцируема в точке x0
Пусть функция f непрерывна и дважды дифференцируема в точке x0. Тогда при условии
и
x0 является точкой локального максимума. А если
и
то x0 является точкой локального минимума.