Особая точка кривой (KvkQgx mkctg tjnfkw)

Перейти к навигации Перейти к поиску

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

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

[править | править код]

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

.

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

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

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

[править | править код]

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

.

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

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

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

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

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

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

[править | править код]

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

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

[править | править код]

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

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

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

[править | править код]

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

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

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

[править | править код]
Кривая с тройной точкой в начале координат.

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

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

[править | править код]

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

Касп

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

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

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

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

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

[править | править код]

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

Примечания

[править | править код]
  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)

Литература

[править | править код]