Мелочи о критических точках пространства
математическая сингулярность (особенность) — точка, в которой математическая функция стремится к бесконечности или имеет какие-либо иные нерегулярности поведения (например, критическая точка);
Комплексный анализ рассматривает особенности голоморфных (и более общий случай: аналитических) функций — точки комплексной плоскости, в которой эта функция не определена, её предел бесконечен либо предела не существует вовсе. В случае точек ветвления аналитических функций функция в особой точке может быть определена и непрерывна, но не являться аналитичной.
Критической точкой дифференцируемой функции , где — область в , называется точка, в которой всё её частные производные обращаются в нуль. Это условие эквивалентно обращению в нуль дифференциала функции в данной точке, а также равносильно горизонтальности касательной гиперплоскости к графику функции. Это условие является необходимым (но не достаточным) для того, чтобы внутренняя точка области могла быть точкой локального минимума или максимума функции.
Значение функции в критической точке называется критическим значением. Согласно лемме Сарда, множество критических значений любой -гладкой функции имеет нулевую меру Лебега (хотя критических точек при этом может быть сколько угодно, например, для функции f = const любая точка является критической).
Понятие критической точки допускает обобщение на случай дифференцируемых отображений , и на случай дифференцируемых отображений произвольных многообразий . В этом случае определение критической точки состоит в том, что ранг матрицы Якоби отображения f в ней меньший максимального (равного числу min{n,m}).
Критические точки функций и отображений играют важную роль в таких областях математики, как дифференциальные уравнения, вариационное исчисление, теория устойчивости, а также в механике и физике. Исследование критических точек гладких отображений составляет один из главных вопросов теории катастроф.
Понятие критической точки обобщается также на случай функционалов, определенных на бесконечномерных функциональных пространствах. Поиск критических точек таких функционалов является важной частью вариационного исчисления. Критические точки функционалов (которые, в свою очередь, являются функциями) называются экстремалями.
Формальное определение
Критической точкой (или особой точкой, или стационарной точкой) непрерывно дифференцируемой функции (отображения) называется такая точка , в которой дифференциал является вырожденным линейным преобразованием соответствующих касательных пространств в точках x0 и f(x0), то есть размерность образа f * меньше min{n,m}. В координатной записи это означает что ранг матрицы Якоби функции f, составленной из всех частных производных меньше своего максимально возможного значения min{n,m}.
Пространства и в этом определении могут быть заменены на многообразия Nn и Mm таких же размерностей.
Случай m = 1
В случае m = 1 данное определение означает, что градиент в данной точке обращается в нуль. В простейшем случае n = m = 1 это значит, что производная f' в данной точке равна нулю.
Критическая точка называется невырожденной, если в ней гессиан отличен от нуля. Если f имеет класс гладкости не ниже C3, то в окрестности невырожденной критической точки существуют координаты, в которых функция f(x) имеет квадратичную нормальную форму (лемма Морса).
При m = 1 имеет смысл вопрос о максимуме и минимуме функции. Согласно известному утверждению математического анализа, непрерывно дифференцируемая функция f, определенная во всем пространстве или в его открытом подмножестве, может достигать локального максимума (минимума) только в критических точках, причем если точка невырождена, то матрица в ней должна быть отрицательно (положительно) определённой. Последнее является также достаточным условием локального максимума (минимума).
Случай постоянного ранга
Если в любой точке , принадлежащей некоторой окрестности x0, ранг функции f равен одному и тому же числу r, то есть ранг линейного преобразования f * соответствующих касательных пространств в точках x и f(x) равен r, то в окрестности точки x0 существуют локальные координаты с центром в x0, а в окрестности точки f(x0) существуют локальные координаты с центром в f(x0), такие, что функция f в них задается соотношениями