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

Это же самое можно сформулировать несколько по-другому. Возьмите лист бумаги. Изогните его. И измерьте в какой-нибудь точке гауссову кривизну. Теперь можно проделывать с этим листком все, что угодно (только не растягивать и не рвать!), изгибать самым прихотливым образом. Значение гауссовой кривизны в данной точке не изменится.

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

Рассмотрим какую-нибудь точку поверхности и проведем к ней нормаль.

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

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

Для случая, показанного на верхнем рисунке на странице 205, довольно очевидно, как будет расположена касательная плоскость. Но иногда касательная плоскость располагается более хитро относительно поверхности (см. рис. на стр. 202).

Теперь строго определим понятие нормали. Нормаль — прямая, перпендикулярная к касательной плоскости.

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

Ясно, что их можно провести бесконечное число. Но мы выберем для начала любую. При пересечении плоскости и поверхности образуется плоская кривая.

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

Радиус этой прилегающей (соприкасающейся) окружности R называется радиусом кривизны плоской кривой. Так как через нормаль можно провести бесчисленное множество плоскостей, то мы получим бесчисленное число радиусов кривизны. Среди них есть наибольший и наименьший по абсолютной величине. Можно доказать, что плоские кривые, которым соответствуют наименьший и наибольший радиусы, взаимно перпендикулярны в точке P. Эти два радиуса, R₁ и R₂, и называются главными радиусами кривизны нашей поверхности в точке P.

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

Если центры кривизны лежат по одну сторону от поверхности, точка P называется эллиптической. Если по разные — гиперболической. В этом случае один из главных радиусов следует считать отрицательным.

Наконец, есть еще и параболические точки. Это точки, где один из главных радиусов кривизны равен бесконечности. Гауссова кривизна в любой точке поверхности определяется так:

Теперь можно составить табличку:

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

Условия игры таковы. Нашу материю (естественно, первоначально это был плоский кусок) нельзя:

а) разрезать,

б) растягивать,

в) она должна покрывать поверхность без складок.

Если бы какая-нибудь дама предъявила подобные требования своему портному, он, вероятно, выгнал бы ее без дальнейших разговоров. И был бы прав.

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

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

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

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

Но вот на шар невозможно изогнуть плоскость так, как мы этого требуем.

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

Несколько запоздало надо добавить, что и раньше и позже мы все время будем иметь в виду «хорошие» поверхности. Строго объяснять, что это значит, я не буду, а грубо говоря, «хорошими» мы будем считать поверхности без острых ребер и остриев. Вершина конуса, например, «нехорошая» точка.

Далее надо иметь в виду, что когда мы говорим об изгибании одной поверхности на другую, то, строго говоря, мы всегда подразумеваем возможность изгибания достаточно большого куска, а не всей замкнутой поверхности. Например, целиком развернуть боковую поверхность конуса на плоскость можно, только проделав хотя бы один разрез по образующей. Теперь последнее необходимое нам понятие — понятие геодезической линии. Геодезическая — это такая кривая линия, проведенная на поверхности между двумя точками, что любая другая кривая окажется длиннее. Вообще-то это определение из числа «почти строгих», но я утешаюсь тем, что те, кто достаточно хорошо знает математику, вообще не будут читать эту главу, и уличить меня, таким образом, некому.

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

Для нас, жителей сферы, кратчайшие расстояния между двумя точками Земли дуги большого круга. И именно по дуге большого круга должен направлять штурман свой корабль, чтобы возможно быстрее прибыть из одного порта в другой. А теперь обсудим весьма любопытный вопрос. Мы договорились, что плоскость можно изогнуть на поверхность, кривизна которой постоянна и равна нулю. Или — что то же самое — такую поверхность можно развернуть на плоскость. Любая фигура, нарисованная на плоскости, превратится в аналогичную фигуру на нашей поверхности. Углы между линиями при изгибании не меняются. Кратчайшие линии на плоскости — прямые линии — перейдут в геодезические линии на поверхности. Поэтому для цилиндрического треугольника, например (его стороны, понятно, образованы кривыми линиями), сумма углов останется той же, что была у плоского треугольника. В том же духе можно рассуждать и далее. Каждому геометрическому понятию на плоскости можно сопоставить соответственный образ на поверхности.

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