Шрифт:
Закладка:
170. Frost (2002), 308.
171. Brouwer (1912).
172. цитируется по Dieudonne (1975).
173. Dieudonne (1975).
174. Poincare (1881).
175. Poincare (1885).
176. Brouwer (1912).
177. Beno Eckmann, quoted in Frei and Stammbach (1999).
178. Hopf (1925); Hopf (1926a); Hopf (1926b).
179. Morse (1929).
180. Thurston (1997).
181. Brouwer (1909).
182. Brouwer (1912).
Глава 20
Когда топология управляет геометрией
…нам осталось
найти причину этого эффекта,
Или, верней, дефекта, потому что
Дефектный сей эффект небеспричинен.
Вот что осталось, и таков остаток.
— Вильям Шекспир, «Гамлет» 183
На протяжении большей части этой книги мы держались в стороне от жестких рамок геометрии и имели дело с куда более подвижной топологической средой. В этой и следующей главах мы вернемся к геометрии. Мы будем изучать многоугольники, многогранники, кривые и поверхности, сделанные не из резины, а из прочнейшей стали. Однако на эти геометрические объекты все равно можно взглянуть с топологической точки зрения — многоугольники и кривые гомеоморфны окружности, а многогранники и поверхности гомеоморфны сфере или тору с g дырками.
Мы представим целый ряд теорем, демонстрирующих удивительную связь между топологией и геометрией этих фигур. Мы увидим, что эйлерова характеристика позволяет предсказывать некоторые их геометрические свойства. Нашей конечной целью станут три теоремы. В этой главе мы познакомимся с формулой Декарта для многогранников и теоремой об угловом избытке для поверхностей, а в следующей рассмотрим теорему Гаусса-Бонне для поверхностей. Они показывают, что некоторые геометрические свойства (связанные с углами и кривизной) полностью определяются топологией (которая описывается эйлеровой характеристикой). Таким образом, мы увидим, как топология может управлять геометрией.
Но прежде чем переходить к этим теоремам для многогранников и поверхностей, познакомимся с аналогичными результатами в одномерном случае. Одномерными аналогами многогранника и поверхности являются многоугольник и простая замкнутая кривая соответственно. Первую теорему проходят на уроках геометрии в средней школе (см. рис. 20.1).
Рис. 20.1. Внешние углы многоугольника
Теорема о сумме внешних углов
Сумма внешних углов многоугольника равна 2π.
Дьёрдь Пойя (1887–1985) нашел следующее короткое и элегантное доказательство теоремы о сумме внешних углов для выпуклых многоугольников184. В каждом угле проведем два выступающих наружу отрезка, перпендикулярных сходящимся в этом угле сторонам (рис. 20.2). Построим на этих отрезках сектор единичной окружности при каждой вершине. Заметим, что угол этого сектора в точности равен внешнему углу. Это так, потому что сумма двух прямых углов равна π, поэтому внутренний угол и угол сектора в сумме также должны давать п. Поскольку стороны каждой пары соседних секторов параллельны, из этих секторов можно собрать полный круг. Поэтому сумма внешних углов равна 2 π. Мы опустим доказательство для невыпуклых многоугольников, но оно вытекает из того факта, что любой невыпуклый многоугольник можно разложить на выпуклые.
Рис. 20.2. Сумма внешних углов многоугольника равна 2π
В некотором смысле теорема о сумме внешних углов ничуть не удивительна. Автомобиль, движущийся по дороге в форме многоугольника, будет поворачивать в каждом угле, а величина каждого поворота равна внешнему углу. Чтобы вернуться в исходную точку, автомобиль должен совершить полный оборот на 360°.
Типичному взрослому человеку придется напрячься, чтобы вспомнить формулу корней квадратного уравнения или теорему Пифагора, но есть один математический результат, который сможет отбарабанить практически любой взрослый: сумма внутренних углов треугольников равна 180° (или, как говорят, π радиан). Это простое следствие теоремы о сумме внешних углов. если a, b, c — внутренние углы треугольника, то π — а, π — b и π — c — его внешние углы. По теореме о сумме внешних углов, (π — a) + (π — b) + (π — c) = 2π. После перегруппировки членов получаем a + b + c = π.
Для многоугольников с большим числом сторон сумма внутренних углов больше 180° и зависит от числа сторон. если a1…, an — внутренние углы многоугольника, то по теореме о сумме внешних углов:
2π = (π — а1) + (π — а2) +… + (π — an).
После перегруппировки членов получаем следующую полезную теорему.
Теорема о сумме внутренних углов
Сумма внутренних углов n-многоугольника равна (n — 2)π.
Чтобы упростить переход к формуле Декарта для многогранников, полезно будет взглянуть на внешние углы многоугольников немного по-другому. Будем считать, что вершины многоугольника — это «дефектные» прямые. Тогда можно спросить, насколько ломаная линия отличается от прямой в каждой вершине. Если внутренний угол равен а, то ломаная отличается от прямой на π — a — величину внешнего угла. Встав на такую точку зрения, будем называть π — а угловым недостатком, или угловым дефектом, вершины. Поэтому теорему о сумме внешних углов можно переформулировать следующим образом.
Теорема о сумме внешних углов (другая формулировка)
Полный угловой недостаток любого многоугольника равен 2π.
Существует аналог теоремы о сумме внешних углов для гладкого случая. Снова рассмотрим аналогию с автомобилем. Автогонки Гран-при проходят по кольцевой извилистой трассе. Болид, участвующий в гонке «Формула-1», поворачивает то влево, то вправо, но, вернувшись к стартовой черте, делает один полный оборот против часовой стрелки. Иными словами, повороты влево и вправо взаимно уничтожаются, и остается полный оборот на 360°.
Теперь рассмотрим простую замкнутую гладкую кривую на плоскости (трассу автогонки, см. рис. 20.3). Выберем на кривой ориентацию и расположим вдоль нее касательные векторы, указывающие в этом направлении (свет фар автомобиля). Нас интересует поведение этих касательных векторов при прохождении всей кривой один раз. если кривая является окружностью, то после одного полного оборота против часовой стрелки векторы тоже совершат один полный оборот против часовой стрелки — на угол 2π. Полезно представить себе касательный вектор как стрелку циферблата. Когда циферблат огибает окружность, стрелка совершает ровно один оборот против часовой стрелки. Если кривая более сложная, то при перемещении циферблата по кривой стрелка может двигаться как вперед, так и назад, но в конце концов совершит ровно один оборот по циферблату.
Рис. 20.3. Касательный вектор к простой замкнутой кривой совершает оборот на 2π
Это наблюдение может показаться очевидным (и так оно и считалось долгое время), но доказать его трудно. В 1935 году Хопф доказал теорему185, которая сейчас известна под названием теоремы о вращающихся касательных.
Теорема о вращающихся касательных
