Кривая

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

Кривая или линия — геометрическое понятие, определяемое в разных разделах математики различно.

Элементарная геометрия[править | править вики-текст]

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

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

Определение в топологии[править | править вики-текст]

Чаще всего кривая определяется как непрерывное отображение из отрезка в пространство:

\gamma:[a,b]\to X

При этом, кривые могут быть различными, даже если их образы совпадают. Такие кривые называют параметризованными кривыми или, если [a,b]=[0,1], путями.

Иногда кривая определяется с точностью до репараметризации, то есть с точностью до минимального отношения эквивалентности такого что параметрические кривые

\gamma_1:[a_1,b_1]\to X и \gamma_2:[a_2,b_2]\to X

эквивалентны, если существует непрерывная монотонная функция (иногда неубывающая) h из отрезка [a_1,b_1] на отрезок [a_2,b_2], такая что

\gamma_1\equiv\gamma_2\circ h.

Определяемые этим отношением классы эквивалентности называются непараметризованными кривыми или просто кривыми.

Комментарий[править | править вики-текст]

Приведённое определение во многом позволяет передать наше интуитивное представление о кривой как о чём-то, «нарисованном без отрыва карандаша». Однако это определение является слишком слабым, поскольку ему удовлетворяют многие фигуры, которые трудно считать кривыми.

Например, возможно построить такое непрерывное отображение отрезка в плоскость, что его образ заполняет квадрат (см. кривая Пеано). Более того, согласно теореме Мазуркевича, любое компактное связное и локально связное топологическое пространство является непрерывным образом отрезка. Таким образом, не только квадрат, но и куб любого числа измерений и даже гильбертов кирпич являются непрерывными образами отрезка.

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

Кривая Жордана[править | править вики-текст]

Кривой Жордана называется образ непрерывного инъективного отображения (вложения) окружности или отрезка в пространство. В случае окружности кривая называется замкнутой кривой Жордана, а в случае отрезка — жордановой дугой или простой дугой. Известная теорема Жордана утверждает, что любая такая кривая делит плоскость на «внутреннюю» и «внешнюю» часть.

Следует отметить что кривая Жордана является довольно сложным объектом, например, возможно построить плоскую кривую Жордана с ненулевой мерой Лебега.

Определение в анализе[править | править вики-текст]

В математическом анализе часто используется определение гладкой кривой. Определим сначала плоскую кривую (то есть кривую в R^2). Пусть x(t) и y(t) — функции на отрезке [a,b], непрерывно дифференцируемые на этом отрезке, и такие, что (x'(t))^2+(y'(t))^2 ни для какого t не равно нулю. Тогда отображение \gamma: [a,b]\to \mathbb R^2, t\mapsto (x(t),y(t)) задаёт кривую, которая является гладкой; непараметризованная кривая называется гладкой, если она допускает такую параметризацию. Длину гладкой кривой можно вычислить по формуле

\text{L}(\gamma)=\int_a^b \sqrt{(x'(t))^2+(y'(t))^2} \, dt.

Это определение можно обобщить на отображения в другие пространства, а также на отображения другого класса гладкости, см. ниже.

Определение в дифференциальной геометрии[править | править вики-текст]

Если X — гладкое многообразие, можно определить гладкую кривую на X как гладкое отображение \gamma: [a,b]\to X, дифференциал которого нигде не обращается в ноль. Пусть класс гладкости многообразия X равен k, тогда C_k-кривая — это кривая, для которой \gamma — k раз непреравно дифференцируемое отображение. Если X — аналитическое многообразие (например, евклидово пространство) и \gamma — аналитическое отображение, кривую называют аналитической.

Гладкие кривые \gamma_1:I\to X и \gamma_2:J\to X называются эквивалентными, если существует диффеоморфизм p:I\to J (замена параметра), такой что \gamma_1=\gamma_2\circ p. Классы эквивалеентности по этому отношению называют непараметризованными гладкими кривыми.

Алгебраическая кривая[править | править вики-текст]

Алгебраические кривые изучаются в алгебраической геометрии. Плоская алгебраическая кривая — это множество точек с координатами x, y, задаваемое множество решений уравнения f(x, y) = 0, где f — многочлен от двух переменных с коэффициентами в поле F. В алгебраической геометрии обычно принимают во внимание не только точки, координаты которых принадлежат F, но и точки с координатами в алгебраическом замыкании F. Если C — плоская алгебраическая кривая кривая, такая что коэффициенты определяющего её многочлена лежат в поле F, она назывется кривой, определённой над F. Точки кривой, определённой над F, все координаты которых принадлежат G, называются рациональными над G (или просто G-точками). Пример: кривая x2 + y2 + 1 = 0, определённая над действительными числами, имеет точки, однако ни одна из них не является действительной точкой.

Алгебраические кривые можно определить и в пространствах большей размерности; они определяются как множество решений системы полиномиальных уравнений.

Любая плоская кривая может быть дополнена до кривой на проективной плоскости. Если плоская кривая определяется многочленом f(x, y) полной степени d, то многочлен

z^d\cdot f(x/z,y/z)

после раскрытия скобок упрощается до однородного многочлена f(x, y, z) степени d. Значения x, y, z, такие что f(x, y, z) = 0 — однородные координаты пополнения плоской кривой, при этом точки исходной кривой — это точки, для которых z не равно нулю. Пример: кривая Ферма xn + yn = zn в аффинной форме принимает вид xn + yn = 1. Процесс перехода от аффинной кривой к проективной можно обобщить и на более высокие размерности.

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

Трансцендентные кривые — это кривые, не являющиеся алгебраическими. Более точно, трансцендентные кривые — кривые, которые можно задать как линию уровня аналитической, но не алгебраической функции (или, в многомерном случае, системы функций). Примеры трансцендентных кривых:

Типы кривых[править | править вики-текст]

Типы точек на кривой[править | править вики-текст]

Обобщённые кривые[править | править вики-текст]

Более общее определение кривой для случая плоскости было дано Кантором в 1870-e годы:

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

Важный пример канторовой кривой доставляет ковёр Серпинского. Какова бы ни была канторова кривая L, она может быть вложена в ковёр Серпинского, то есть в ковре Серпинского содержится подмножество L', гомеоморфное L. Таким образом ковёр Серпинского является универсальной плоской канторовой кривой.

Впоследствии это определение было обобщено Урысоном:

Кривой Урысона называется связное компактное топологическое пространство C топологической размерности 1.

Ковёр Серпинского удовлетворяет этому определению, так что всякая канторова кривая является также и кривой Урысона. Обратно, если плоский связный компакт является кривой Урысона, то он будет канторовой кривой.

См. также[править | править вики-текст]

Литература[править | править вики-текст]

Ссылки[править | править вики-текст]

Логотип Викисловаря
В Викисловаре есть статья «кривая»