Из всего сказанного следует, что математические проекции, используемые при составлении карт, становятся понятны, если рассмотреть построение карт как двухэтапный процесс. Сначала земная сфера проецируется на сферический глобус, уменьшенный (в масштабе) до выбранного нами размера. Эта часть проекции заключается в простом уменьшении изображения земной поверхности. Затем уменьшенное изображение проецируется на плоскость, в результате чего появляется нужная нам карта.
* * *
ТОПОЛОГИЧЕСКИЕ КАРТЫ
Если мы нарисуем карту нашего дома, квартала или района, на ней не будет сохранен ни один из привычных параметров. Точно такими же были первые карты, созданные человеком, например вавилонская карта VI века до н. э., изображенная на глиняной табличке. Это так называемые топологические карты, на которых основное значение имеют отношения вида «близко — далеко», «вместе — раздельно», а также порядок и непрерывность. На топологических картах обычно изображают взаимосвязи между элементами местности. Хрестоматийным примером таких карт служат схемы метро, так как для тех, кто ими пользуется, важнее не расстояние между станциями, а их число и схемы пересадок.
К топологическим картам относятся так называемые фэнтези-карты вымышленных миров, например карта Средиземья из «Властелина колец» Дж. Р. Р. Толкиена (1954) или «живописные карты», которые можно увидеть, например, в парках аттракционов. К этому же виду относятся карты нейронных сетей и другие карты, используемые в информатике, а также карты, связанные с графами.
* * *
Описанная выше сферическая модель Земли — это идеальная модель земной поверхности, которая отличается от нее только размером, но не формой. Масштаб указывает разницу в размерах между Землей и сферой. Определить его можно, разделив радиус сферы на радиус Земли. Рассмотрим глобус радиусом 25 см. Радиус Земли будем считать равным 6371 км (если использовать размеры эллипсоида WGS84). В этом случае масштаб равен
Этот масштаб, который обычно записывается как 1:25484000, означает, что каждый сантиметр глобуса соответствует 25484000 см, то есть 254,84 км земной поверхности.
На многих древних картах масштаб указывался с помощью изображения компаса, как можно видеть на этой карте Магелланова пролива (1606), выполненной Йодокусом Хондиусом. На карте изображены и другие типичные элементы карт того времени, в частности роза ветров и фантастические животные.
Как влияет это уменьшение в размерах на метрические параметры карт, о которых мы говорили выше? Расстояния и длины кривых уменьшаются линейно в соответствии с масштабом, то есть каждый сантиметр глобуса соответствует 254,84 км земной поверхности. Следовательно, если мы хотим измерить расстояние от Барселоны до Аделаиды, нужно всего лишь измерить это расстояние на сферической модели Земли и умножить результат в сантиметрах на 254,84. Площади участков земной поверхности и масштаб карты связаны квадратичной зависимостью: каждый квадратный сантиметр на глобусе будет соответствовать 254,842 = 64943,4256 км2.
Большие круги, указывающие кратчайшие пути, станут большими кругами на сферической модели, поэтому геодезические линии также останутся неизменными. Сохранятся также углы и направления. Как видим, преобразование, которое заключается в уменьшении размеров Земли, не изменяет метрические параметры, масштаб во всех точках сферической модели остается постоянным.
Математически это можно выразить следующим образом. Будем считать, что Земля и ее сферическая модель имеют общий центр, который мы примем за начало нашего трехмерного пространства . Следовательно, наше математическое преобразование будет отображением Земли (S1), которая является сферой радиуса 6371 км, на сферическую модель (S2) радиусом 25 см φ: S1 —>S2, определяемым как φ(х) = е·х. На языке геометрии это отображение называется гомотетией (при е> 1 исходные фигуры увеличиваются, при е< 1, как в нашем случае, — уменьшаются). Это простое преобразование, которое однозначно определяется свойством пропорционального уменьшения размеров фигур.
Теперь, когда вопрос об изменении размеров решен, осталось решить проблему изменения формы. Как вы увидите, она намного сложнее, и именно здесь в действительности скрывается святой Грааль картографии — идеальная карта. Чтобы решить эту проблему, нужно изучить математические проекции сферы на плоскость и рассмотреть, как они изменяют различные метрические свойства. Это центральная тема математической картографии и настоящей главы. Как мы упоминали в предисловии, существует множество математических преобразований сферы в плоскость и, как следствие, множество разных проекций, на основе которых можно составить столь же большое число самых разных карт. Далее для простоты мы будем понимать картографические проекции как отображения сферы единичного радиуса на плоскость Кроме того, с математической точки зрения проекции должны обладать некоторыми естественными свойствами: в частности, они должны быть непрерывными и дифференцируемыми. Это означает, что сфера должна проецироваться на плоскость разумным образом, то есть без складок, разрезов и наложений.
Как мы уже отмечали, важно знать, как изменяются основные метрические свойства при использовании тех или иных проекций. Поэтому начнем наши поиски точной карты земной сферы с того, что докажем следующее утверждение: в проекции, сохраняющей расстояния между точками (такие отображения называются изометрическими), также сохраняются кратчайшие пути (геодезические линии), углы и площади. Кроме того, сохранение расстояний эквивалентно сохранению длин кривых. Предыдущие утверждения — не более чем частный случай анализа дифференцируемых отображений между регулярными поверхностями применительно к их метрическим свойствам (доказательство этого утверждения методами дифференциальной геометрии можно найти в любом классическом учебнике по этой дисциплине).
Далее мы докажем, что любая проекция сферы на плоскость, сохраняющая расстояния (это означает, что расстояние между двумя произвольными точками сферы будет равно расстоянию между отображениями этих точек на плоскости), также сохраняет кратчайшие пути, иными словами, отображением больших кругов сферы будут прямые на плоскости.
Докажем это утверждение методом от противного, который заключается в том, что мы считаем утверждение, которое хотим доказать, ложным, и путем логических рассуждений приходим к противоречию, затрагивающему исходную гипотезу. Следовательно, утверждение, которое мы хотим доказать, будет истинным. В нашем случае предположим, что проекцией больших кругов не всегда будет прямая.
Если бы рассматриваемая проекция в самом деле не сохраняла кратчайшие пути, то существовали бы две точки сферы А и В и точка С, лежащая на кратчайшем пути между ними (то есть на большом круге, проходящем через А и В), такая, что ее отображение на плоскость С' не лежало бы на кратчайшем пути (прямой), соединяющем отображения точек А и В — А' и В' соответственно.
Имеем: так как рассматриваемая проекция сохраняет расстояния, то расстояние между отображениями А' и В' равно расстоянию между исходными точками А и В:
d(A, B) = d(A', B').
Так как точка С лежит на кратчайшем пути между А и В, расстояние между этими точками будет равно сумме расстояний между А и С и между С и В:
d(A, B) = d(A, C) + d(C, B).
Тем не менее точка С не лежит на прямой, соединяющей А' и В', следовательно:
d(A', B') <d(A', C') + d(C', B').
Но так как рассматриваемая проекция сохраняет расстояния, то последняя сумма будет равна d(A, С) + d(С, В). Имеем противоречие: мы доказали, что
d(A, B) <d(A, B).
Это очевидно ложное утверждение означает, что проекция не сохраняет кратчайшие пути.
Используем утверждение из предыдущего раздела (проекции, сохраняющие расстояния, сохраняют и кратчайшие пути), чтобы доказать, что в этом случае кривые на сфере преобразуются в кривые на плоскости, имеющие ту же длину. Почему это утверждение верно? Во-первых, любую кривую на сфере можно приближенно представить в виде конечного (но достаточно большого) числа дуг больших кругов. Концы этих дуг р0, р1, р2, …, рn-1, pnлежат на кривой, как показано на иллюстрации.
Следовательно, длину кривой можно приближенно представить как сумму длин этих дуг, или, иными словами, как сумму расстояний между их концами. Так как речь идет о дугах больших кругов, это будут кратчайшие расстояния, соединяющие концы дуг:
l(α) = d(р0, р1) + d(р1, p2) + …+ d(рn-1, рn).
Во-вторых, кривую на плоскости, которая является отображением исходной кривой на сфере, можно приближенно представить с помощью множества отрезков, которые будут отображениями дуг больших кругов (об этом мы рассказали в прошлом разделе), а длину плоской кривой — как сумму длин расстояний между концами этих отрезков р'0, р'α, р'2, …, p'n