§1. Понятие кривой. Элементарная кривая. Простая кривая. Общая кривая.

Дифференциальная геометрия – разветвленная и глубокая область математики, значение которой со временем возрастает, начинается с теории кривых. Это ее исток. Именно в теории кривых впервые в дифференциальной геометрии даются точные определения и понятия, вводятся инвариантные геометрические характеристики поведения кривых, именно здесь вырабатывается первоначальная геометрическая интуиция, которая затем развивается и углубляется при изучении поверхностей и многообразий.

В настоящих лекциях мы излагаем общую теорию кривых на достаточно простом и доступном, как нам кажется языке

Понятие кривой является одним из основных в дифференциальной геометрии. Первоначально этому понятию не давалось точного математического определения. Евклид называет линией длину без ширины или границу поверхности. В древние времена были найдены многие интересные кривые, но представление об общем виде кривой оставались на наглядном уровне. Предложенный Декартом метод координат впервые позволил сформулировать понятие кривой в достаточно общей форме. Так, плоской кривой стали называть множество точек плоскости, координаты которых удовлетворяют некоторому уравнению. Из механики возникло представление о кривой как о траектории движущейся точки с координатами, зависящими от времени. Жордан дал определение кривой как образа непрерывного отображения отрезка в пространство. Это определение казалось вполне соответствующим наглядному представлению о кривой, но в 1890 году Пеано построил такое непрерывное отображение отрезка, образом которого является целый квадрат на плоскости. В 1897 году Клейн писал: "Что такое произвольная кривая, произвольная поверхность?… Можно сказать, что с математической точки зрения в настоящее время нет ничего темнее и неопределеннее, чем упомянутое понятие. То, что мы в эмпирическом представлении называем кривой, есть, прежде всего полоса, т.е. часть пространства, в которой перед размерами длины отступают прочие измерения…. Но если кривая должна стать предметом точного математического рассмотрения, то мы должны ее идеализировать точно так же, как это бывает повсюду в начале геометрии с точкой. И здесь-то начинаются трудности…". В дифференциальной геометрии обычно используется определение кривой, данное Жорданом, но несколько видоизмененное. Также поступим и мы в настоящем параграфе, рассмотрев при этом понятие кривой в той мере, в какой этого требует дальнейшее изложение. Определению понятия кривой мы предпошлём некоторые сведения об отображениях произвольного множества точек в пространство.

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

Отображение множества называется взаимно однозначным, если образы различных точек различны. Если – взаимно однозначное отображение, то естественным образом определено отображение множества , которое точке сопоставляет точку . Это отображение называется обратным к отображению .

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

Пусть – взаимно однозначное и непрерывное отображение множества M. Если отображение множества также непрерывно, то называют топологическим отображением или гомеоморфизмом.

При этом относительно множества и его образа при топологическом отображении говорят, что они гомеоморфные или топологически эквивалентные.

Определение понятия кривой проведем последующей схеме: первоначально определим элементарную кривую, затем, используя это понятие, определим простую кривую, и, наконец, общую кривую. При этом покажем, что исследование любой кривой «в малом» может быть сведено к рассмотрению элементарной кривой.

Итак, определим элементарную кривую.

Определение. Множество точек пространства будем называть элементарной кривой, если это множество является образом открытого отрезка прямой при топологическом отображении его в пространство.

Множество точек пространства называется открытым, если для каждой точки можно указать число такое, что все точки пространства, расстояния которых от точки меньше , тоже принадлежат . Очевидно, множество, составленное из любой совокупности открытых множеств – открытое.

Окрестностью точки пространства называется любое открытое множество, содержащее эту точку.

Множество точек пространства называется связным, если не существует открытых множеств и , разбивающих множество на две части – и , одна из которых принадлежала бы только , а другая – только .

Определим теперь простую кривую.

Определение. Множество точек пространства будем называть простой кривой, если это множество связно и у каждой его точки есть такая окрестность, что расположенная в ней часть является элементарной кривой.

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

Строение простой кривой «в целом» выясняется следующей теоремой, которую мы приведем без доказательства.

Теорема. Образ открытого отрезка или окружности при топологическом отображении в пространство есть простая кривая.

Обратно, любая простая кривая есть образ открытого отрезка или окружности при топологическом отображении в пространство.

Коротко это выражается словами: простая кривая гомеоморфна или открытому отрезку, или окружности.

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

Простая кривая, гомеоморфная окружности, называется замкнутой.

Пусть простая кривая является образом открытого отрезка или окружности при топологическом отображении . Пусть и – её любая окрестность. Тогда образ при отображении является окрестностью точки на кривой . Обратно, любая окрестность на кривой может быть получена таким образом.

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

Определим общую кривую.

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

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

Пусть общая кривая является образом при локально топологическом отображении в пространство простой кривой . Окрестностью точки на кривой мы будем называть образ любой окрестности точки на кривой при отображении . Так как отображение в достаточно малой окрестности точки является топологическим, то на кривой имеет окрестность, являющуюся элементарной кривой.

Таким образом, исследование любой кривой «в малом» может быть сведено к рассмотрению элементарной кривой.