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

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

Алгебраические кривые на плоскости

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

.

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

Особые точки кривой — это те точки кривой, в которых обе производные обращаются в ноль:

Регулярные точки

Пусть кривая проходит через начало координат. Положив , можно представить в виде

.

Если , то уравнение имеет решение кратности 1 в точке и начало координат является точкой одиночного контакта кривой с прямой . Если , то имеет в точке решение кратности 2 или выше и прямая является касательной к кривой. В этом случае, если , кривая имеет двойной контакт с прямой . Если , а коэффициент при не равен нулю, то начало координат является точкой перегиба кривой. Это рассуждение может быть применено к любой точке кривой путём переноса начала координат в заданную точку.

Двойные точки

Три улитки Паскаля иллюстрируют типы двойных точек. Левая кривая имеет изолированную точку в начале координат. Центральная кривая, кардиоида , имеет касп в начале координат. Правая кривая имеет в начале координат точку самопересечения, образуя петлю.

Если в вышеприведённом уравнении и , но по крайней мере одна из величин , или не равна нулю, то начало координат называется двойной точкой кривой. Снова положим , тогда примет вид

Двойные точки можно классифицировать по корням уравнения .

Точки самопересечения

Если уравнение имеет два вещественных решения по , то есть, если , то начало координат называется . Кривая в этом случае имеет две различные касательные, соответствующие двум решениям уравнения . Функция в этом случае имеет седловую точку в начале координат.

Изолированные точки

Если уравнение не имеет вещественных решений по , то есть, если , то начало координат называется изолированной точкой . На вещественной плоскости начало координат окажется изолировано от кривой, однако на комплексной плоскости начало координат изолировано не будет и будет иметь две мнимых касательных, соответствующих двум мнимым решениям уравнения . Функция в этом случае имеет локальный экстремум в начале координат.

Каспы

Если уравнение имеет одно вещественное решение по кратности 2, то есть, если , то начало координат называется каспом , или точкой возврата . Кривая в этом случае в особой точке меняет направление, образуя остриё. Кривая в начале координат имеет единственную касательную, что можно трактовать как две совпадающие касательные.

Дальнейшая классификация

Термин узел ( англ. node ) используется как общее название для изолированных точек и точек самопересечения. Число узлов и число каспов кривой являются двумя инвариантами, используемыми в формулах Плюккера .

Если одно из решений уравнения является также решением уравнения , то соответствующая ветвь кривой имеет перегиб в начале координат. В этом случае начало координат называется точкой самокасания . Если обе ветви имеют это свойство, то является делителем , и начало координат называется биффлектоидальной точкой (точкой двойного соприкосновения).

Многократные точки

Кривая с тройной точкой в начале координат.

В общем случае при равенстве нулю всех членов со степенью, меньшей , и при условии, что хотя бы один член со степенью не равен нулю, говорят, что кривая имеет многократную точку порядка k . В этом случае кривая имеет касательных в начале координат, но некоторые из них могут быть мнимыми или совпадать.

Параметрические кривые

Параметрическая кривая в R 2 определяется как образ функции g : R R 2 , g ( t ) = ( g 1 ( t ), g 2 ( t )). Особые точки такой кривой — это точки, в которых

Касп

Многие кривые можно задать в обоих видах, но эти два задания не всегда согласуются. Например, касп можно найти как у алгебраической кривой x 3 y 2 = 0, так и параметрической кривой g ( t ) = ( t 2 , t 3 ). Оба задания кривой дают особую точку в начале координат. Однако кривой y 2 x 3 x 2 = 0 в начале координат является особой для алгебраической кривой, но при параметрическом задании g ( t ) = ( t 2 −1, t ( t 2 −1)) пара производных g ′( t ) никогда не обращается в ноль, а потому точка не является особой в вышеуказанном смысле.

Следует соблюдать осторожность при выборе параметризации. Например, прямую y = 0 можно задать параметрически как g ( t ) = ( t 3 , 0) и она будет иметь особую точку в начале координат. Если же её же параметризовать как g ( t ) = ( t , 0), она не будет иметь особых точек. Таким образом, технически более корректно говорить об особых точках гладкого отображения, а не об особых точках кривой.

Вышеуказанные определения можно распространить на неявные кривые , которые можно определить как множество нулей f −1 (0) произвольной гладкой функции . Определения также можно распространить на кривые в пространствах более высоких размерностей.

Согласно теореме Хасслера Уитни , любое замкнутое множество в R n является множеством решений f −1 (0) для некоторой гладкой функции f : R n R . Следовательно, любая параметрическая кривая может быть задана как неявная кривая.

Типы особых точек

Примеры особых точек различных типов:

См. также

Примечания

  1. Hilton Chapter II § 1
  2. Hilton Chapter II § 2
  3. Hilton Chapter II § 3
  4. Brooker and Larden. Differential Germs and Catastrophes. — London Mathematical Society. Lecture Notes 17. Cambridge. — 1975.
  5. Bruce and Giblin, Curves and singularities , (1984, 1992) ISBN 0-521-41985-9 , ISBN 0-521-42999-4 (paperback)

Литература

  • Harold Hilton. . — Oxford, 1920.
Источник —

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