Кратность критической точки: различия между версиями

Удобно также положить <math>\,\mu=0</math> в случае некритической точки.

при этом значение <math>\,\mu=0</math> соответствует некритической точке. Действительно, так как в этом случае степенной ряд функции <math>\nabla f = {\partial f}/{\partial x}</math> начинается с члена <math>x^{\mu},\,</math> то любой элемент <math>g \in \R[[x]]</math> представим в виде <math>g=p_{\mu-1}+ \alpha \cdot \nabla f</math>, где <math>\alpha \in \R[[x]]</math> и <math>p_{\mu-1}\,</math> — многочлен степени <math>\mu-1,\,</math> задаваемый <math>\mu\,</math> коэффициентами, т.е. <math>\dim \, \R[[x]]/I_{\nabla f} = \mu.</math>

:<math>f(x)=x^{\mu+1}.\,</math>

Пусть <math>f: \R^{n+1}\to\R</math> — гладкая функция от <math>n+1</math> переменной <math>x,y_1, \ldots, y_n</math>, имеющая точку <math>0\in\R^{n+1}</math> своей критической точкой кратности <math>0 \le \mu < \infty</math> по переменной <math>x\,</math>, т.е.

где <math>\varphi</math> и <math>a_{i}\,</math> — гладкие функции своих аргументов, <math>\varphi(x,y_1, \ldots, y_n)</math> не обращается в нуль и <math>a_{i}(0,\ldots,0)=0\,</math> для всех

<math>\,i<\mu</math>.

Пусть <math>f: \R^n\to\R^n</math> — <math>C^{\infty}</math>-гладкое отображение, имеющее <math>O\in\R^n</math> своей критической точкой. Отображение <math>\,f</math> задается набором <math>n</math> функций <math>f_1, \ldots, f_n</math> от <math>n</math> переменных <math>x_1, \ldots, x_n</math>.

Сопоставляя каждой гладкой функции её формальный ряд Тейлора, мы получаем вложение <math>\,I_{f}</math> в алгебру <math>\R[[x_1, \ldots, x_n]]</math>. '''Локальной алгеброй''' отображения в точке <math>O</math> называется [[факторалгебра]] <math>\R[[x_1, \ldots, x_n]]/I_{f},</math> а её размерность <math>\mu = \dim \, \R[[x_1, \ldots, x_n]]/I_{f}</math> называется '''кратностью''' отображения <math>f</math> в точке <math>O.</math>