Задачу о составлении точной карты Земли картографы стремились решить во все времена. Следуя путем Эйлера, мы доказали, что эта задача не имеет решения. Но если на минуту забыть об этом, можно задаться вопросом: почему построить такую карту невозможно, почему нельзя преобразовать сферу в плоскость с сохранением метрических свойств? Разумеется, если читатель вспомнит наш эксперимент с пластиковым шаром, то придет к выводу: сфера — искривленная поверхность, а плоскость — нет. Однако этот вывод верен лишь отчасти. Цилиндр и конус — также искривленные поверхности, но тем не менее их можно развернуть на плоскости, сохранив при этом метрические свойства. В чем же разница между сферой, цилиндром и конусом? Быть может, их кривизна чем-то отличается или проблема кривизны вообще не так уж и важна? Действительно, не все поверхности искривлены одинаково. Понятие кривизны, применимое к точке поверхности, показывает, насколько далека данная поверхность от плоскости в рассматриваемой точке. Однако кривизну необходимо как-то измерить, выразить количественно.
Два важных элемента локального анализа поверхности — это плоскость, касающаяся поверхности в точке р, и нормальный вектор поверхности N(p), выходящий из точки р, перпендикулярный касательной плоскости.
Для этого рассмотрим плоскость, касающуюся поверхности S в точке р. Это плоскость, ближайшая к поверхности в указанной точке. Вектор, перпендикулярный касательной плоскости, исходящий из точки р, называется нормальным вектором (см. рисунок). Чтобы определить кривизну поверхности в данной точке, нужно изучить, как изменяется положение касательной плоскости (или нормального вектора) в окрестности этой точки. В математике этот процесс называется дифференцированием. Результатом операции будет математический объект под названием дифференциальная форма (мы не будем приводить здесь точного определения, так как интересующийся читатель найдет его в любой книге по дифференциальной геометрии), который содержит всю информацию о кривизне поверхности. На основе дифференциальной формы определяются две различные кривизны: так называемая кривизна Гаусса К и средняя кривизна Н.
Примеры поверхностей, на которых оттенками серого обозначены различные значения кривизны Гаусса и средней кривизны. Плоскость (К = Н = 0), цилиндр с радиусом основания r (К = 0; Н = 1/2r), сфера радиуса r (К = 1/r2, Н = -1/r), псевдосфера (К = -1; наибольшая средняя кривизна ближе к краю псевдосферы, на рисунке оттенками серого представлены значения средней кривизны), тор (на внешней части поверхности кривизна положительная, на внутренней — отрицательная; средняя кривизна для разных участков отличается, оттенками серого на рисунке представлены значения кривизны Гаусса); катеноид (Н = 0; оттенками серого представлены значения кривизны Гаусса), седловая поверхность (оттенками серого представлены значения кривизны Гаусса).
Есть и другой, возможно, более геометрический способ определить эти понятия: для данной точки р поверхности S, для которой мы хотим рассчитать кривизну, рассмотрим нормальный вектор N(р) и семейство плоскостей П(р)» проходящих через р и содержащих N(р). Для каждой плоскости семейства П(р) рассмотрим ее линию пересечения с поверхностью S. Этой линией будет кривая, проходящая через р. Измерим кривизну этой кривой в данной точке. Полученное значение и будет мерой кривизны кривой в точке. Таким образом мы получим ряд значений кривизны поверхности в точке р и сможем рассчитать кривизну поверхности. На множестве этих значений кривизны найдем максимальное значение k1 и минимальное значение k2 — так называемые главные кривизны, то есть максимальные и минимальные значения «направленной» кривизны поверхности в точке р. На их основе можно рассчитать кривизну Гаусса и среднюю кривизну:
Цилиндр и два основных его направления, кривизна которых равна k1 = 1/r и k2 = 0. Следовательно, К = 0, Н = 1/2.
Великий математик Карл Фридрих Гаусс в работе «Общие исследования кривых поверхностей» (1827) показал, что, вопреки определению, величина, впоследствии получившая название кривизны Гаусса, зависит исключительно от метрических свойств поверхности, то есть выступает неотъемлемым элементом геометрии этой поверхности. Это утверждение называется Theorema Egregium — основная теорема теории поверхностей. Как следствие, кривизна Гаусса описывает внутреннюю кривизну поверхности. Эту кривизну может ощутить наблюдатель, находящийся на плоскости и не выходящий за ее пределы. Следовательно, если две поверхности изометричны, то есть если существует изометрическое преобразование, позволяющее преобразовать одну из этих поверхностей в другую, то кривизна Гаусса должна быть одинаковой в точках, соответствующих по изометрии. Это утверждение справедливо и для части поверхности, то есть оно выполняется, если изометрическое преобразование можно определить только для какой-то части поверхности.
Таким образом, решение картографической задачи можно рассматривать как частный случай Teorema Egregium. Так как сфера имеет постоянную положительную кривизну Гаусса (для сферы единичного радиуса кривизна Гаусса равна 1; сфера искривлена во всех точках и вдоль всех направлений одинаково), а плоскость имеет нулевую кривизну, не существует изометрического преобразования (в том числе локального), позволяющего преобразовать сферу в плоскость.
Более того, в дифференциальной геометрии, которая носит более общий характер, чем математическая картография (в дифференциальной геометрии рассматриваются произвольные поверхности), в силу Teorema Egregium кривизна Гаусса препятствует построению изометрии двух поверхностей. Если использовать термины картографии, для построения карты одной поверхности на другой необходимо, чтобы кривизна Гаусса для обеих поверхностей была одинаковой. Ключевой вопрос, связанный с теоремой Гаусса, таков: является ли полученный нами результат не только необходимым, но и достаточным? Иными словами, будут ли изометричными, как минимум локально, две поверхности с одинаковой кривизной Гаусса? Российский математик немецкого происхождения Фердинанд Миндинг (1806–1885), который провел обширные исследования в области дифференциальной геометрии поверхностей, доказал, что если две поверхности имеют одинаковую кривизну Гаусса и она одинакова для всей поверхности, то для этих поверхностей существует локальная изометрия. Так как кривизна Гаусса для цилиндра (или конуса) постоянна, а кривизна Гаусса для плоскости равна нулю, эти поверхности локально изометричны. Однако если кривизна Гаусса не является постоянной, утверждение, доказанное Миндингом, не выполняется.
Рассмотренную выше формулу суммы углов сферического треугольника можно обобщить для произвольной поверхности, что доказал Гаусс, связав изменение углов геодезического треугольника относительно π с кривизной Гаусса:
Формулу суммы углов треугольника на плоскости или на поверхности сферы можно обобщить для любой поверхности. Это так называемая формула Гаусса — Бонне, в которой используется кривизна Гаусса.
Разумеется, приведенная выше формула выполняется для сферы радиуса R. Так как кривизна Гаусса для этой сферы равна 1/R2, имеем
Однако мы определили две кривизны, поэтому возникает вопрос: каков же смысл средней кривизны? Отношения поверхности и окружающего ее трехмерного пространства рассматриваются во внешней геометрии поверхности. Характеристикой кривизны поверхности в трехмерном пространстве и будет средняя кривизна.
Глобус земного шара
Составить точную карту Земли невозможно. Наиболее точное представление о нашей планете дает глобус, сохраняющий все интересующие нас метрические свойства с учетом коэффициента масштаба. Единственное искажение на глобусе — это коэффициент масштаба, неизменный во всех его точках. В этой модели мы смело можем прокладывать морские и воздушные маршруты, так как румбы и расстояния на глобусе сохраняются. Для определения расстояния между двумя точками земной поверхности, например между двумя городами, нужно построить на глобусе большой круг (это нетрудно сделать с помощью натянутой веревки), затем измерить длину веревки и, наконец, вычислить реальное расстояние с помощью коэффициента масштаба. Аналогично на глобусе можно измерить и другие величины, при этом результат будет точнее, чем при использовании плоской карты. Ошибки измерений на глобусе будут вызваны неточностями, допущенными при измерениях, а не погрешностями, внесенными при изготовлении самого глобуса (при условии, что он был построен правильно). Однако, как вы увидите далее, построить глобус сложно, и при этом все же возникают ошибки.
