Особая точка кривой


Особая точка кривой — точка, в окрестности которой не существует гладкой параметризации. Точное определение зависит от типа изучаемой кривой.

Алгебраическую кривую на плоскости можно определить как множество точек , удовлетворяющих уравнению вида , где  — полиномиальная функция :

Если начало координат принадлежит кривой, то . Если , то теорема о неявной функции гарантирует существование гладкой функции , такой что кривая принимает вид в окрестности начала координат. Аналогично, если , то существует такая функция , что кривая удовлетворяет уравнению в окрестности начала координат. В обоих случаях существует гладкое отображение , которое определяет кривую в окрестности начала координат. Заметим, что в окрестности начала координат