Точка на кривой, не заданная гладким вложением параметра
В геометрии особой точкой кривой является точка , кривая которой не задана плавным вложением параметра . Точное определение особой точки зависит от типа изучаемой кривой.
Если b 0 и b 1 оба равны 0 в приведенном выше разложении, но хотя бы один из c 0 , c 1 , c 2 не равен 0, то начало координат называется двойной точкой кривой. Опять поставив f можно записать
Круноды
Если имеет два вещественных решения для m , то есть начало координат называется крюнодой . Кривая в этом случае пересекает себя в начале координат и имеет две различные касательные, соответствующие двум решениям функции f в этом случае имеет седловую точку в начале координат.
Акноды
If не имеет действительных решений для m , то есть если тогда начало координат называется акнодом . В реальной плоскости начало координат представляет собой изолированную точку кривой; однако, если рассматривать ее как комплексную кривую, начало координат не изолировано и имеет две мнимые касательные, соответствующие двум комплексным решениям функции f в этом случае имеет локальный экстремум в начале координат.
выступы
Если имеет единственное решение кратности 2 для m , то есть если тогда начало координат называется точкой возврата . Кривая в этом случае меняет направление в начале координат, создавая острую точку. Кривая имеет одну касательную в начале координат, которую можно рассматривать как две совпадающие касательные.
Дальнейшая классификация
Термин « узел» используется для обозначения либо крюнода, либо акнода, другими словами, двойной точки, которая не является точкой возврата. Число узлов и количество точек возврата на кривой — два инварианта, используемые в формулах Плюкера .
Если одно из решений является также решением то соответствующая ветвь кривой имеет точку перегиба в начале координат. В этом случае начало координат называется flecnode . Если обе касательные обладают этим свойством, то и начало координат называется бифлекнодом . [2]
Несколько точек
В общем, если все члены степени меньше k равны 0 и хотя бы один член степени k не равен 0 в f , то говорят, что кривая имеет кратную точку порядка k или k-ple точку . Как правило, кривая будет иметь k касательных в начале координат, хотя некоторые из этих касательных могут быть мнимыми. [3]
Параметрические кривые
Параметризованная кривая определяется как образ функции. Особые точки — это те точки, в которых
Многие кривые могут быть определены любым способом, но эти два определения могут не совпадать. Например, точка возврата может быть определена на алгебраической кривой или на параметризованной кривой. Оба определения дают особую точку в начале координат. Однако узел, такой как узел в начале координат, является особенностью кривой, рассматриваемой как алгебраическая кривая, но если мы параметризуем его как, то он никогда не обращается в нуль, и, следовательно, узел не является особенностью параметризованной кривой, как определено выше.
При выборе параметризации следует проявлять осторожность. Например, можно параметризовать прямую линию y = 0 , которая имеет особенность в начале координат. В параметризованном виде он несингулярен. Следовательно, технически правильнее здесь говорить об особых точках гладкого отображения , а не об особых точках кривой.
Приведенные выше определения можно расширить, чтобы охватить неявные кривые , которые определяются как нулевое множество гладкой функции , и нет необходимости просто рассматривать алгебраические многообразия. Определения могут быть расширены, чтобы охватить кривые более высоких измерений.
Теорема . Любое замкнутое множество встречается как множество решений некоторой гладкой функции.
Любую параметризованную кривую можно также определить как неявную кривую, а классификацию особых точек кривых можно изучать как классификацию особых точек алгебраического многообразия .