Двойственный многогранник

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

Определение и формальное построение

Для выпуклого многогранника (например, платонова тела, архимедова тела или призмы) существует каноническая процедура построения двойственного. Пусть исходный многогранник \(P\) содержит набор граней \(F_1, F_2, \dots, F_n\). В каждой грани выбирается точка, называемая центром грани (например, центр описанной окружности или центр тяжести). Если две грани \(F_i\) и \(F_j\) имеют общее ребро, то центры этих граней соединяются отрезком. Совокупность таких отрезков образует рёбра двойственного многогранника \(P^\). Вершинами \(P^\) являются центры граней \(P\).

Существует несколько способов выбора центров граней, что может приводить к разным формам двойственного многогранника, однако все они комбинаторно эквивалентны (имеют одинаковое число вершин, рёбер и граней, а также одинаковую структуру смежности). Наиболее распространённым является построение через полярное преобразование относительно сферы: если многогранник \(P\) содержит начало координат, то двойственный многогранник \(P^*\) определяется как выпуклая оболочка точек, полярных к граням \(P\).

Свойства двойственности

Взаимность

Двойственность является инволюцией: двойственный к двойственному многограннику комбинаторно эквивалентен исходному. Для выпуклых многогранников, построенных через полярное преобразование, это равенство точное: \((P^)^ = P\).

Соотношение Эйлера

Для любого многогранника выполняется формула Эйлера: \(V - E + F = 2\), где \(V\) — число вершин, \(E\) — число рёбер, \(F\) — число граней. Для двойственного многогранника \(V^ = F\), \(F^ = V\), \(E^* = E\). Таким образом, формула Эйлера сохраняется: \(F - E + V = 2\).

Комбинаторная двойственность

Два многогранника называются комбинаторно двойственными, если их графы (рёберные структуры) являются двойственными графами. Это означает, что существует взаимно однозначное соответствие между гранями одного и вершинами другого, сохраняющее смежность.

Выпуклость и симметрия

Если исходный многогранник выпуклый, то и его двойственный многогранник выпуклый. Группа симметрий исходного многогранника совпадает с группой симметрий двойственного (если центры граней выбраны симметрично). Например, куб и октаэдр имеют одну и ту же группу симметрии — октаэдрическую.

Примеры двойственных пар

Платоновы тела (правильные выпуклые многогранники)

Пять правильных многогранников образуют три двойственные пары:

• Тетраэдр — двойственен сам себе (самодвойственен). Число вершин и граней тетраэдра равно 4.
• Куб и октаэдр — двойственны друг другу. У куба 8 вершин и 6 граней, у октаэдра — 6 вершин и 8 граней.
• Додекаэдр и икосаэдр — двойственны друг другу. У додекаэдра 20 вершин и 12 граней, у икосаэдра — 12 вершин и 20 граней.

Архимедовы тела (полуправильные многогранники)

Двойственными к архимедовым телам являются каталановы тела. Например:

• Усечённый куб (архимедово тело) двойственен триакисоктаэдру (каталаново тело).
• Усечённый додекаэдр двойственен триакисикосаэдру.

Призмы и антипризмы

• Призма (с правильным \(n\)-угольным основанием) двойственна бипирамиде. Например, треугольная призма двойственна треугольной бипирамиде (которая является октаэдром).
• Антипризма двойственна трапецоэдру.

Невыпуклые и звёздчатые многогранники

Понятие двойственности обобщается на невыпуклые многогранники, в том числе на звёздчатые формы. Например, малый звёздчатый додекаэдр и большой додекаэдр являются двойственными друг другу (оба относятся к телам Кеплера — Пуансо).

Способы построения двойственного многогранника

Полярное преобразование

Пусть многогранник \(P\) содержит начало координат. Каждой грани \(F\) многогранника \(P\) ставится в соответствие точка \(p_F\) — полярная точка относительно сферы единичного радиуса. Эта точка определяется как конец вектора, перпендикулярного грани, длина которого обратно пропорциональна расстоянию от начала координат до плоскости грани. Двойственный многогранник \(P^*\) — это выпуклая оболочка всех таких точек \(p_F\).

Геометрическое построение (метод центров граней)

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

Комбинаторное построение

Если известен только комбинаторный тип многогранника (его граф), то двойственный многогранник строится как граф, вершины которого соответствуют граням исходного, а рёбра — смежным граням. Такое построение не даёт конкретных координат, но полностью описывает структуру.

Применение двойственных многогранников

Кристаллография

В кристаллографии понятие двойственности используется для описания кристаллических решёток и зон Бриллюэна. Двойственные многогранники (например, куб и октаэдр) часто встречаются в формах кристаллов минералов (галенит — куб, флюорит — октаэдр).

Компьютерная графика и моделирование

В 3D-моделировании двойственные многогранники применяются для генерации сеток, сглаживания (субдивизионные поверхности) и создания сложных форм из простых. Алгоритмы построения двойственных сеток используются в методе конечных элементов.

Теория графов и комбинаторика

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

Архитектура и дизайн

Формы двойственных многогранников (например, кубооктаэдр и его двойственный — ромбододекаэдр) используются в архитектурных конструкциях (геодезические купола, футуристические здания) и дизайне ювелирных изделий.

Интересные факты

• Самодвойственность — свойство многогранника быть двойственным самому себе. Помимо тетраэдра, самодвойственными являются пирамиды (с правильным многоугольником в основании) и некоторые другие многогранники.
• Тела Кеплера — Пуансо — четыре правильных невыпуклых многогранника, которые образуют две двойственные пары: малый звёздчатый додекаэдр и большой додекаэдр, а также большой звёздчатый додекаэдр и большой икосаэдр.
• Двойственность и полярность — в проективной геометрии понятие двойственности обобщается на любые фигуры, а не только на многогранники. Теорема о двойственности проективного пространства утверждает, что любая теорема о точках и прямых остаётся верной при замене точек прямыми и наоборот.

Источники

• Веннинджер М. «Модели многогранников» (1974).
• Кокстер Г. С. М. «Введение в геометрию» (1966).
• Залгаллер В. А. «Выпуклые многогранники» (1967).
• Grünbaum B. «Convex Polytopes» (2003).
• Cromwell P. R. «Polyhedra» (1997).