Жемчужина Эйлера

Теперь поместим внутрь каждой грани синюю вершину. Проведем синее ребро, соединяющее синюю вершину с соседней синей вершиной, если только они не разделены красным ребром (синие ребра показаны штриховыми линиями на рис. 15.8). И снова для многогранника, удовлетворяющего условиям Штаудта, получившийся синий граф будет деревом. В этом синем дереве F вершин, поэтому оно состоит из F — 1 ребер. Ключевое наблюдение заключается в том, что каждое ребро исходного многогранника либо красное, либо пересекается с синим ребром. Поэтому общее число ребер равно сумме числа красных и синих ребер:

E = (V — 1) + (F — 1),

что после изменения порядка членов дает V — E + F = 2.

Сделаем паузу — вернемся к трем исключениям Люилье (см. рис. 15.1) и убедимся, что они не удовлетворяют определению многогранника, данному Штаудтом. Первый многогранник Люилье имеет кольцевую грань. Поскольку невозможно пройти от наружных ребер кольца к внутренним, условие не выполнено. Заметим, что этот многогранник можно изменить, так что он будет отвечать определению Люилье. Для этого достаточно добавить искусственное ребро, соединяющее внутреннюю часть кольцевой грани с внешней (как на рис. 15.9 слева).

Рис. 15.9. Изменение кольцевой грани и разрезание тора

Второй многогранник имеет туннель, проходящий через центр. Он не удовлетворяет условию 2, потому что, как видно по рис. 15.9, можно сделать разрез, проходящий по циклу ребер, так что многогранник не распадется на две части. В 1879 году Р. Хоппе заметил: «Допустим, что многогранник сделан из материала, который легко режется, например из мягкой глины. Протащим нить через туннель, а потом сквозь глину. Многогранник не развалится»¹³⁵. Напомним, что Люилье не дал точного определения туннеля. Хоппе воспользовался идеями из статьи Штаудта, чтобы исправить эту ситуацию. Он определил туннель в терминах количества разрезов, которые необходимо сделать, чтобы поверхность распалась на части. Мы вернемся к этой идее в главе 17.

Ну, и третье исключение Люилье тоже легко отметается. Ведь в нем предполагается, что в многограннике имеется многогранная же полость, но это имеет смысл только для сплошных многогранников, тогда как Штаудт предполагал, что многогранники полые. Но даже если допустить сплошные многогранники, все равно условие 1 не выполняется, потому что не существует ребер, соединяющих внутренние вершины с внешними. Хотя исключения Гесселя удовлетворяют обоим условиям Штаудта, он, как и большинство математиков, не считал их многогранниками.

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

Этот плодотворный диалог об эйлеровых и неэйлеровых многогранниках, состоявшийся в первой половине XIX века, подготовил сцену для рождения топологии. Эти идеи были развиты другими математиками, и кульминацией стало замечательное обобщение формулы Эйлера, полученное в конце XIX века Пуанкаре. Мы обсудим это развитие в главах 17, 22 и 23.

Приложения к главе

123. Quoted in Federico (1982), 71.

124. Sommerville (1958), 143-44.

125. de Jonquieres (1890).

126. Speziali (1973).

127. Pont (1974), 24.

128. Lhuilier (1813).

129. Hessel (1832).

130. Poinsot (1810).

131. Cauchy (1813a).

132. Lhuilier (1813).

133. Steiner (1826).

134. von Staudt (1847), 18–23.

135. Hoppe (1879).

Глава 16 Резиновые листы, полые бублики и безумные бутылки

Некто Клейн, не любивший вина,

Раз придумал бутылку без дна.

Восклицал он: «К тому же

Что внутри — в ней снаружи!

Даже пробка совсем не нужна!»

— Анонимный автор

К середине XIX века математики гораздо лучше понимали, как формула Эйлера применяется к многогранникам. Именно в то время они начали задаваться вопросом, применима ли она к другим объектам. Что, если мы говорим не о многограннике с плоскими гранями, а об изогнутой поверхности, например сфере или торе? И как в этом случае должно выглядеть разбиение? Напомним, что в 1794 году Лежандр воспользовался разбиением сферы на геодезические многоугольники, а Кэли показал, что, когда формула Эйлера применяется к графам, ребра необязательно должны быть прямолинейными.