Что же это – отверстие? Ответ найти труднее, чем кажется. Во-первых, речь идет о поверхности многогранника, а не о его сплошном внутреннем пространстве. В реальной жизни для того, чтобы сделать отверстие в чем-либо, мы внедряемся в его твердую сплошную внутренность, но приведенные выше формулы не имеют отношения к ней – только к граням, образующим его поверхность, заодно с их ребрами и вершинами. Всё, с чем мы имеем дело, лежит на поверхности. Во-вторых, единственный вид отверстий, влияющий на численные данные, – те, что пронзают тело насквозь, образуя туннель с двумя концами. Проще говоря, это не такое отверстие, которое может вырыть рабочий на дороге. В-третьих, такие отверстия могут не быть на поверхности, хотя отчасти именно поверхности очерчивают их. Отверстие существует только в качестве пустого места в бублике, но даже в этом случае вы покупаете твердую внутренность бублика.
Удалим одну грань и растянем поверхность тела на плоскости. Это уменьшит
Пример доказательства Коши
Наверное, проще исходить из определения, что значит «не отверстие». Многогранник не имеет отверстий, если его можно непрерывно деформировать, получая искривленные грани и ребра, пока он (вернее, его поверхность) не превратится в сферу. Для таких поверхностей
Непохоже, что многогранник в виде рамы для картины можно деформировать в сферу, – куда же денется отверстие? Для строгого доказательства этого мы не должны заглядывать дальше того факта, что для этого многогранника
Сейчас формула Эйлера кажется нам замечательным намеком на очень полезную связь между комбинаторными аспектами многогранника, такими как количество граней, и его топологическими аспектами. Получается, что проще двигаться в обратном направлении.
Чтобы вычислить количество отверстий на поверхности, возьмем
Курьезный вывод: теперь мы можем вычислить количество отверстий в многограннике, не давая определения отверстия.
Преимущество такой процедуры в том, что она естественна для многогранника, не требует визуального контакта с ним в окружающем трехмерном пространстве – того, как видят отверстие наши глаза. Необычайно разумный муравей, обитающий на поверхности многогранника, может решить, что там есть какое-то отверстие, даже если видит только поверхность. Эта естественная точка зрения присуща топологии. Она изучает форму предметов как таковую, саму по себе, а не как часть чего-то еще.