Рауль Ибаньес - Том 26. Мечта об идеальной карте. Картография и математика

Для этого рассмотрим плоскость, касающуюся поверхности S в точке р . Это плоскость, ближайшая к поверхности в указанной точке. Вектор, перпендикулярный касательной плоскости, исходящий из точки р , называется нормальным вектором (см. рисунок). Чтобы определить кривизну поверхности в данной точке, нужно изучить, как изменяется положение касательной плоскости (или нормального вектора) в окрестности этой точки. В математике этот процесс называется дифференцированием. Результатом операции будет математический объект под названием дифференциальная форма (мы не будем приводить здесь точного определения, так как интересующийся читатель найдет его в любой книге по дифференциальной геометрии), который содержит всю информацию о кривизне поверхности. На основе дифференциальной формы определяются две различные кривизны: так называемая кривизна Гаусса К и средняя кривизна Н .

Примеры поверхностей, на которых оттенками серого обозначены различные значения кривизны Гаусса и средней кривизны. Плоскость ( К= Н = 0), цилиндр с радиусом основания r( К= 0; Н = 1/2 r), сфера радиуса r( К= 1/ r2, Н= -1/ r), псевдосфера ( К= -1; наибольшая средняя кривизна ближе к краю псевдосферы, на рисунке оттенками серого представлены значения средней кривизны), тор (на внешней части поверхности кривизна положительная, на внутренней — отрицательная; средняя кривизна для разных участков отличается, оттенками серого на рисунке представлены значения кривизны Гаусса); катеноид ( Н = 0; оттенками серого представлены значения кривизны Гаусса), седловая поверхность (оттенками серого представлены значения кривизны Гаусса).

Есть и другой, возможно, более геометрический способ определить эти понятия: для данной точки р поверхности S , для которой мы хотим рассчитать кривизну, рассмотрим нормальный вектор N( р ) и семейство плоскостей П( р )» проходящих через р и содержащих N( р ). Для каждой плоскости семейства П( р ) рассмотрим ее линию пересечения с поверхностью S . Этой линией будет кривая, проходящая через р . Измерим кривизну этой кривой в данной точке. Полученное значение и будет мерой кривизны кривой в точке. Таким образом мы получим ряд значений кривизны поверхности в точке р и сможем рассчитать кривизну поверхности. На множестве этих значений кривизны найдем максимальное значение k 1 и минимальное значение k 2 — так называемые главные кривизны, то есть максимальные и минимальные значения «направленной» кривизны поверхности в точке р . На их основе можно рассчитать кривизну Гаусса и среднюю кривизну:

Цилиндр и два основных его направления, кривизна которых равна k 1= 1/ rи k 2= 0. Следовательно, К= 0, Н = 1/2.

Великий математик Карл Фридрих Гаусс в работе «Общие исследования кривых поверхностей» (1827) показал, что, вопреки определению, величина, впоследствии получившая название кривизны Гаусса, зависит исключительно от метрических свойств поверхности, то есть выступает неотъемлемым элементом геометрии этой поверхности. Это утверждение называется Theorema Egregium — основная теорема теории поверхностей. Как следствие, кривизна Гаусса описывает внутреннюю кривизну поверхности. Эту кривизну может ощутить наблюдатель, находящийся на плоскости и не выходящий за ее пределы. Следовательно, если две поверхности изометричны, то есть если существует изометрическое преобразование, позволяющее преобразовать одну из этих поверхностей в другую, то кривизна Гаусса должна быть одинаковой в точках, соответствующих по изометрии. Это утверждение справедливо и для части поверхности, то есть оно выполняется, если изометрическое преобразование можно определить только для какой-то части поверхности.

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