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

В 1879 году адвокат сэр Альфред Брей Кемпе, ученик математика Артура Кэли, предложил доказательство гипотезы о четырех красках. К сожалению, его доказательство оказалось ошибочным, хотя содержало интересные и глубокие идеи. Лишь в 1976 году Кеннет Аппель и Вольфганг Хакен опубликовали окончательное доказательство теоремы о четырех красках. В нем исходная теорема была выражена на языке теории графов. Аппель и Хакен пошли от противного и предположили, что исходная гипотеза ложна и что существуют карты (графы), которые нельзя раскрасить четырьмя красками, затем они показали, что в таких картах существуют определенные «неизбежные конфигурации» и, наконец, что все подобные конфигурации на самом деле можно раскрасить четырьмя красками. Объем вычислений, которые потребовалось провести на последнем этапе доказательства, был столь велик, что пришлось прибегнуть к помощи компьютера, и это вызвало широкую полемику в математическом сообществе. Можно ли считать доказательство корректным, если оно включает вычисления, выполненные на компьютере, при этом предполагается, что любое доказательство должно быть убедительным, формализуемым и, что самое главное, проверяемым?

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

* * *

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

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

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

Рассмотрим произвольную точку сферы р , два направления, проходящие через эту точку, то есть два касательных вектора v 1 и v 2 а также угол θ между ними. Чтобы рассчитать, как изменятся касательные векторы и, следовательно, величина угла, будем действовать следующим образом. Рассмотрим две кривые на поверхности сферы, α 1 : (— ε, ε) —> S 2 и α 2 : (— ε, ε) —> S 2 , которые проходят через точку р . Их касательными векторами в этой точке будут v 1 и v 2 (если говорить математическим языком, то α' 1 (0) = v 1, α' 2 (0) = v 2геометрический смысл этих равенств представлен на следующей иллюстрации). Далее рассмотрим плоские кривые, которые будут отображениями этих кривых: , а также касательные векторы этих кривых в точке пересечения то есть

Эти векторы будут отображениями векторов v 1 и v 2 полученными проекцией φ . Если угол между w 1 и w 2 вновь будет равен θ , то проекция φ будет сохранять углы между векторами v 1 и v 2 (а также между кривыми а 1 и а 2 соответственно). Интересный момент: векторы w 1 и w 2 которые являются отображениями векторов v 1 и v 2 полученными проекцией φ , не зависят от исходных кривых а 1 и а 2 , следовательно, они также не зависят от угла между этими кривыми. Это позволяет, например, выбрать в качестве кривых а 1 и а 2 дуги больших кругов, проходящие через точку р , и касательные векторы v 1 и v 2 которые определяются единственным образом.

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

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

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

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