Абстрактный многогранник

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

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

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

Вводные понятия

Традиционные и абстрактные многогранники

Изоморфные четырехугольники.

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

Эта общая структура может быть представлена ​​в виде базового абстрактного многогранника, чисто алгебраического частично упорядоченного набора, который отражает структуру связей (или инцидентностей) между различными структурными элементами. Измеримые свойства традиционных многогранников, такие как углы, длины ребер, асимметрия, прямолинейность и выпуклость, не имеют значения для абстрактного многогранника.

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

Реализации

Говорят, что традиционный многогранник является реализацией соответствующего абстрактного многогранника. Реализация — это отображение или внедрение абстрактного объекта в реальное пространство, обычно евклидово , для построения традиционного многогранника как реальной геометрической фигуры.

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

Лица, звания и порядки

В абстрактном многограннике каждый структурный элемент (вершина, ребро, ячейка и т. д.) связан с соответствующим членом множества. Термин «грань» используется для обозначения любого такого элемента, например, вершины (0-грани), ребра (1-грани) или общей k -грани, а не только многоугольной 2-грани.

Грани ранжируются в соответствии с их действительным измерением: вершины имеют ранг 0, ребра — 1 и так далее.

Инцидентные грани разных рангов, например вершина F ребра G, упорядочиваются отношением F < G. F называется подгранью G.

F, G называются инцидентными , если либо F = G, либо F <G, либо G <F. Такое использование «инцидентности» также встречается в конечной геометрии , хотя оно отличается от традиционной геометрии и некоторых других областей математики. Например, в квадрате ABCD ребра AB и BC абстрактно не инцидентны (хотя оба они инцидентны вершине B).

Тогда многогранник определяется как набор граней P с отношением порядка < . Формально P (с < ) будет (строгим) частично упорядоченным набором или частично упорядоченным набором .

Наименьшие и величайшие лица

Точно так же, как число ноль необходимо в математике, так и каждое множество имеет пустое множество ∅ в качестве подмножества. В абстрактном многограннике ∅ по соглашению определяется как наименьшая или нулевая грань и является подгранью всех остальных. Поскольку наименьшая грань находится на один уровень ниже вершин или 0-граней, ее ранг равен −1, и ее можно обозначить как F ₋₁ . Таким образом, F ₋₁ ≡ ∅ и абстрактный многогранник также содержит пустое множество в качестве элемента. Обычно это не осознается.

Существует также единственное лицо, все остальные которого являются подлицами. Это называется величайшим лицом. В n -мерном многограннике наибольшая грань имеет ранг = n и может быть обозначена как F _n . Иногда его понимают как внутреннюю часть геометрической фигуры.

Эти наименьшие и величайшие лица иногда называют неправильными лицами, а все остальные — настоящими лицами.

Простой пример

Грани абстрактного четырехугольника или квадрата показаны в таблице ниже:

Тип лица	Ранг ( к )	Считать	k -грани
Наименее	−1	1	Ф -1
Вертекс	0	4	а , б , в , г
Край	1	4	Ш, Х, Y, Я
Величайший	2	1	Г

Отношение < состоит из набора пар, к которым здесь относятся

F ₋₁ < a , ... , F ₋₁ <X, ... , F ₋₁ <G, ... , b <Y, ... , c <G, ... , Z<G.

Отношения порядка транзитивны , т.е. F <G и G <H подразумевают, что F <H. Следовательно, чтобы указать иерархию граней, нет необходимости приводить все случаи F <H, а только пары, в которых одна из них является наследником граней . другой, т. е. где F < H и ни один G не удовлетворяет F < G < H.

Ребра W, X, Y и Z иногда обозначаются как ab , ad , bc и cd соответственно, но такое обозначение не всегда подходит.

Все четыре ребра структурно схожи, то же самое относится и к вершинам. Таким образом, фигура имеет симметрию квадрата и обычно называется квадратом.

Диаграмма Хассе

График ) (слева) и диаграмма Хассе четырехугольника с указанием рангов (справа

Меньшие частично упорядоченные множества и в частности многогранники часто лучше всего визуализировать на диаграмме Хассе , как показано. По соглашению лица одинакового ранга располагаются на одном вертикальном уровне. Каждая «линия» между гранями, скажем F, G, указывает на отношение порядка < такое, что F < G, где F находится ниже G на диаграмме.

Диаграмма Хассе определяет уникальное ЧУУ и, следовательно, полностью отражает структуру многогранника. Изоморфные многогранники порождают изоморфные диаграммы Хассе, и наоборот. То же самое обычно не относится к графическому представлению многогранников.

Классифицировать

Ранг грани F определяется как ( m − 2), где m — максимальное количество граней в любой цепочке (F', F", ... , F), удовлетворяющих F' < F" < ... < F. F' всегда является наименьшей гранью, F ₋₁ .

Ранг . абстрактного многогранника P — это максимальный ранг n любой грани Это всегда ранг наибольшей грани _Fn .

Ранг грани или многогранника обычно соответствует размерности его аналога в традиционной теории.

Типы лиц некоторых рангов указаны в следующей таблице.

Классифицировать	-1	0	1	2	3	...	н - 2	н - 1	н
Тип лица	Наименее	Вертекс	Край	†	Клетка		Подфасетка или гребень	Фасет	Величайший

† Традиционно «лицо» означало лицо 2-го ранга или 2-лицо. В абстрактной теории термин «лицо» обозначает лицо любого ранга.

Флаги

В геометрии флаг — это максимальная цепочка граней, т. е. (полностью) упорядоченный набор граней Ψ, каждая из которых является подгранью следующей (если таковая имеется), и такой, что Ψ не является подмножеством какой-либо большей цепи. Для любых двух различных граней F, G во флаге либо F < G, либо F > G.

Например, { ø , a , ab , abc } — это флаг в треугольнике abc .

Для данного многогранника все флаги содержат одинаковое количество граней. Другие ЧУМ, как правило, не удовлетворяют этому требованию.

Разделы

График (слева) и диаграмма Хассе треугольной призмы, показывающая 1-секционную ( красный ) и 2-секционную ( зеленый ).

Любое подмножество P' частичного множества P является частично упорядоченным множеством (с тем же отношением <, ограниченным P').

В абстрактном многограннике для любых двух граней F , H из P, F ⩽ H , множество { G | F ⩽ G ⩽ H называется секцией P F и обозначается H / } . (В теории порядка сечение называется замкнутым интервалом чу-множества и обозначается [ F , H ].

Например, в призме abcxyz (см. схему) сечением xyz / ø (выделено зеленым) является треугольник

{ ø , Икс , у , z , ху , хз , yz , ксиз }.

k ранга -сечение — это сечение k .

Таким образом, P является частью самого себя.

Это понятие сечения не имеет того же значения, что и в традиционной геометрии.

Фасеты

Фасетой /∅ , для данной j -грани F является ( j − 1 )-сечение F где F _j — наибольшая грань.

Например, в треугольнике abc грань ab равна ab / ∅ = { ∅, a, b, ab }, что является отрезком прямой.

Разница между F и F /∅ обычно незначительна, и их часто считают идентичными.

Вершинные фигуры

Фигура вершины данной вершине V — это ( n −1)-сечение Fn _/ в V , где Fn _— наибольшая грань.

Например, в треугольнике abc фигура вершины в точке b — это abc / b = { b, ab, bc, abc }, которая является отрезком прямой. Вершинами куба являются треугольники.

Связность

Частное множество P связно , если P имеет ранг ≤ 1 или для любых двух собственных граней F и G существует последовательность собственных граней

H ₁ , H ₂ , ... ,H _k

такой, что F = H ₁ , G = H _k и каждый H _i , i < k, инцидентен своему последующему элементу.

Вышеупомянутое условие гарантирует, что пара непересекающихся треугольников abc и xyz является не (одним) многогранником.

ЧУ-множество P сильно связно , если каждая его часть (включая сам P) связна.

Благодаря этому дополнительному требованию также исключаются две пирамиды, имеющие только одну общую вершину. Однако две квадратные пирамиды, например, можно «склеить» квадратными гранями, получив октаэдр. «Общая грань» не является тогда гранью октаэдра.

Формальное определение

Абстрактный многогранник — это частично упорядоченное множество , элементы которого мы называем гранями , удовлетворяющее 4 аксиомам:

1. У него есть только одно наименьшее лицо и одно величайшее лицо .
2. Все флаги содержат одинаковое количество граней.
3. Это сильно связано .
4. Если ранги двух граней a > b различаются на 2, то существует ровно 2 грани, лежащие строго между a и b .

-многогранник n — это многогранник ранга n . Абстрактный многогранник, связанный с действительным выпуклым многогранником, также называется его решеткой граней .

Простейшие многогранники

Ранг < 1

Для каждого ранга −1 и 0 существует только одно ЧУМ. Это соответственно нулевая грань и точка. Они не всегда считаются допустимыми абстрактными многогранниками.

Ранг 1: сегмент прямой

График (слева) и диаграмма Хассе отрезка прямой.

Существует только один многогранник ранга 1 — отрезок прямой. У него есть наименьшая грань, всего две 0-грани и наибольшая грань, например {ø, a, b, ab }. Отсюда следует, что вершины a и b имеют ранг 0, а наибольшая грань ab и, следовательно, частично упорядоченное множество имеют ранг 1.

Ранг 2: полигоны

Для каждого p 3 ≤ p < $\infty$, мы имеем (абстрактный эквивалент) традиционный многоугольник с p вершинами и p ребрами, или p -угольник. Для p = 3, 4, 5,... мы имеем треугольник, квадрат, пятиугольник, ....

Для p = 2 мы имеем двуугольник , а p = $\infty$ мы получаем апейрогон .

Дигон

График (слева) и диаграмма Хассе двуугольника.

Дигон . — это многоугольник, у которого всего два ребра В отличие от любого другого многоугольника, оба ребра имеют одинаковые две вершины. По этой причине оно вырождено в евклидовой плоскости .

Грани иногда описываются с использованием «нотации вершин» — например, { ø , a , b , c , ab , ac , bc , abc } для треугольника abc . Преимущество этого метода заключается в том, что он подразумевает отношение < .

С дигоном такое обозначение вершин использовать нельзя . Необходимо присвоить граням отдельные символы и указать пары подграней F < G.

Таким образом, двуугольник определяется как набор { ø , a , b , E', E", G} с отношением <, заданным формулой

{ ø < ​​a , ø < b , a <E', a <E", b <E', b <E", E'<G, E"<G}

где Е' и Е" — два ребра, а G — наибольшая грань.

Необходимость идентифицировать каждый элемент многогранника уникальным символом применима ко многим другим абстрактным многогранникам и поэтому является обычной практикой.

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

Примеры более высокого ранга

Набор j -граней (−1 ≤ j ≤ n ) традиционного n -многогранника образует абстрактный n -многогранник.

Понятие абстрактного многогранника более общее и включает в себя также:

• Апейротопы или бесконечные многогранники, включающие мозаику (мозаику)
• Собственные разложения неограниченных многообразий, таких как тор или вещественная проективная плоскость .
• Многие другие объекты, такие как 11-ячеечный и 57-ячеечный , не могут быть точно реализованы в евклидовом пространстве.

Осоэдры и гозотопы

Шестиугольный осоэдр , реализованный как сферический многогранник .

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

Проективные многогранники

Гемикуб . можно получить из куба путем определения противоположных вершин, ребер и граней У него 4 вершины, 6 ребер и 3 грани.

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

Полукуб — ​​еще один пример того, где нотацию вершин нельзя использовать для определения многогранника — все 2-грани и 3-грани имеют одинаковый набор вершин.

Двойственность

У каждого геометрического многогранника есть двойник . Абстрактно, двойственный многогранник — это тот же многогранник, но с обратным рангом: диаграмма Хассе отличается только аннотациями. В n -многограннике каждая из исходных k -граней отображается в ( n − k − 1)-грань в двойственном. Так, например, n -грань отображается в (−1)-грань. Двойственное к двойственному ( изоморфно ) оригиналу.

Многогранник является самодвойственным, если он тождественен своему двойственному, то есть изоморфен ему. Следовательно, диаграмма Хассе самодвойственного многогранника должна быть симметрична относительно горизонтальной оси на полпути между верхом и низом. Квадратная пирамида в приведенном выше примере самодвойственна.

Фигура вершины в вершине V является двойственной грани, в которую V отображается в двойственном многограннике.

Абстрактные правильные многогранники

Формально абстрактный многогранник считается «регулярным», если его группа автоморфизмов действует транзитивно на множестве его флагов. В частности, любые две k -грани F , G -многогранника n «одинаковы», т. е. существует автоморфизм, который отображает F в G . Когда абстрактный многогранник регулярен, его группа автоморфизмов изоморфна фактору группы Кокстера .

Все многогранники ранга ≤ 2 являются правильными. Самыми известными правильными многогранниками являются пять Платоновых тел. Полукуб (показан) также имеет правильную форму.

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

Одного этого условия достаточно, чтобы гарантировать, что любой правильный абстрактный многогранник имеет изоморфные регулярные ( n −1)-грани и изоморфные правильные вершинные фигуры.

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

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

Реализация

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

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

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

Пространство модулей

Группа G симметрий реализации V абстрактного многогранника P порождается двумя отражениями, произведение которых переводит каждую вершину P в следующую. Продукт двух отражений можно разложить как продукт ненулевого перемещения, конечного числа вращений и, возможно, тривиального отражения.

В общем случае пространство модулей реализаций абстрактного многогранника представляет собой выпуклый конус бесконечной размерности. Конус реализации абстрактного многогранника имеет несчетную бесконечную алгебраическую размерность и не может быть замкнутым в евклидовой топологии .

Проблема объединения и универсальные многогранники.

Важным вопросом теории абстрактных многогранников является проблема объединения . Это серия вопросов, таких как

Для данных абстрактных многогранников K и L существуют ли многогранники P , фасетами которых являются K , а фигурами вершин являются L ?

Если да, то все ли они конечны?

Какие существуют конечные?

Например, если K — квадрат, а L — треугольник, ответы на эти вопросы будут следующими:

Да, существуют многогранники P с квадратными гранями, соединенными по три на вершину (т. е. существуют многогранники типа {4,3}).

Да, все они конечны, а именно,

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

Известно, что если ответ на первый вопрос «Да» для некоторых правильных K и L , то существует единственный многогранник, гранями которого являются K и чьими вершинными фигурами являются L , называемый универсальным многогранником с этими гранями и вершинными фигурами, который покрывает все остальные такие многогранники. То есть предположим, что — универсальный многогранник с гранями K и фигурами вершин L. P Тогда любой другой многогранник Q с этими гранями и фигурами вершин можно записать Q = P / N , где

• N является подгруппой группы автоморфизмов P и
• P / N это совокупность орбит элементов P под действием N с частичным порядком, индуцированным порядком P. —

Q = P / N называется фактором P что , и мы говорим P покрывает Q. ,

Учитывая этот факт, поиск многогранников с определенными гранями и фигурами вершин обычно происходит следующим образом:

1. Попытайтесь найти подходящий универсальный многогранник.
2. Попытайтесь классифицировать его частные.

Эти две проблемы, в общем, очень сложны.

Возвращаясь к приведенному выше примеру, если K — квадрат, а L — треугольник, универсальный многогранник { K , L } — это куб (также обозначаемый {4,3}). Полукуб — ​​это фактор {4,3}/ N , где N — группа симметрий (автоморфизмов) куба всего с двумя элементами — единицей и симметрией, которая отображает каждый угол (или ребро, или грань) в его противоположность. .

Если вместо этого L также является квадратом, универсальный многогранник { K , L } (то есть {4,4}) представляет собой мозаику евклидовой плоскости квадратами. Эта мозаика имеет бесконечно много частных с квадратными гранями, по четыре на вершину, некоторые из которых правильные, а некоторые нет. За исключением самого универсального многогранника, все они соответствуют различным способам замощения тора или бесконечно длинного цилиндра квадратами.

11-клеточный и 57-клеточный

многогранник 11-клеточный , открытый независимо Х.С.М. Кокстером и Бранко Грюнбаумом , представляет собой абстрактный 4-мерный многогранник. Его грани представляют собой полуикосаэдры. Поскольку ее грани топологически представляют собой проективные плоскости, а не сферы, 11-ячейка не является мозаикой какого-либо многообразия в обычном смысле. Вместо этого 11-ячеечный является локально проективным многогранником. Он самодуален и универсален: это единственный многогранник с полуикосаэдрическими гранями и полудодекаэдрическими вершинными фигурами.

также 57-ячеечная клетка самодвойственна, с полудодекаэдрическими гранями. Он был обнаружен HSM Coxeter вскоре после открытия 11-клеток. Как и 11-ячеечный, он также универсален, являясь единственным многогранником с полудодекаэдрическими гранями и полуикосаэдрическими вершинными фигурами. С другой стороны, существует множество других многогранников с полудодекаэдрическими гранями и типом Шлефли {5,3,5}. Универсальный многогранник с полудодекаэдрическими гранями и икосаэдрическими (не полу-икосаэдрическими) фигурами вершин конечен, но очень велик, с 10006920 гранями и вдвое меньшим количеством вершин.

Локальная топология

Проблема объединения исторически решалась в соответствии с локальной топологией . То есть вместо того, чтобы ограничивать K и L конкретными многогранниками, им разрешено быть любым многогранником с заданной топологией , то есть любым многогранником, мозаичным для данного многообразия . Если K и L сферичны (т. е . мозаики топологической сферы ), то P называется локально сферическим и соответствует мозаике некоторого многообразия. Например, если K и L являются квадратами (и поэтому топологически совпадают с кругами), P будет мозаикой плоскости, тора или бутылки Клейна квадратами. Мозаика n -мерного многообразия на самом деле представляет собой многогранник ранга n + 1. Это соответствует общепринятому представлению о том, что Платоновы тела трехмерны, хотя их можно рассматривать как мозаику двумерной поверхности шара.

В общем, абстрактный многогранник называется локально X, если его грани и фигуры вершин топологически являются либо сферами, либо X , но не обеими сферами. и 11-клеточные 57 -клеточные многогранников 4-го ранга (то есть четырехмерных) являются примерами локально проективных , поскольку их грани и фигуры вершин являются мозаикой реальных проективных плоскостей . Однако в этой терминологии есть слабость. он не позволяет легко описать многогранник, грани которого являются торами Например, , а фигуры вершин — проективными плоскостями. Еще хуже, если разные фасеты имеют разную топологию или вообще не имеют четко определенной топологии. Однако большой прогресс был достигнут в полной классификации локально тороидальных правильных многогранников.

Обмен картами

Пусть Ψ — флаг абстрактного n -многогранника и −1 < i < n . Из определения абстрактного многогранника можно доказать, что существует единственный флаг, отличающийся от Ψ на элемент ранга i , и то же самое в остальном. Если мы назовем этот флаг Ψ ^{( я )} , то это определяет набор отображений на флагах многогранников, скажем φ _i . Эти карты называются картами обмена , так как они меняют пары флагов: ( Ψφ _i ) φ _i = Ψ всегда. Некоторые другие свойства карт обмена:

• φ _я ² это карта личности
• φ ​ _i порождает группу . (Действие этой группы на флаги многогранника является примером того, что называется действием флага группы на многогранник)
• Если | я - j | > 1, φ _я φ _j = φ _j φ _я
• Если α — автоморфизм многогранника, то αφ _i = φ _i α
• Если многогранник правильный, группа, порожденная φ _i, изоморфна группе автоморфизмов, в противном случае она строго больше.

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

Матрицы заболеваемости

Многогранник также можно представить путем табулирования его инцидентностей .

Следующая матрица инцидентности представляет собой матрицу треугольника:

	ø	а	б	с	аб	до нашей эры	что	абв
ø	1	1	1	1	1	1	1	1
а	1	1	0	0	1	0	1	1
б	1	0	1	0	1	1	0	1
с	1	0	0	1	0	1	1	1
аб	1	1	1	0	1	0	0	1
до нашей эры	1	0	1	1	0	1	0	1
что	1	1	0	1	0	0	1	1
абв	1	1	1	1	1	1	1	1

В таблице отображается 1 везде, где грань является подлицом другой, или наоборот (поэтому таблица симметрична относительно диагонали) — так что фактически в таблице имеется избыточная информация ; достаточно показать только 1, если грань строки ≤ грань столбца.

Поскольку и тело, и пустое множество инцидентны всем остальным элементам, первая строка и столбец, а также последняя строка и столбец тривиальны и их можно удобно опустить.

Квадратная пирамида

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

Дополнительную информацию получают путем подсчета каждого случая. Такое числовое использование позволяет группировать по симметрии , как в диаграмме Хассе квадратной пирамиды : если вершины B, C, D и E считаются симметрично эквивалентными внутри абстрактного многогранника, то ребра f, g, h и j будут сгруппированы. И, наконец, треугольники P , Q , R и S. вместе, а также ребра k, l, m и n . Таким образом, соответствующая матрица инцидентности этого абстрактного многогранника может быть представлена ​​как:

	А	Б,В,Г,Е	е, ж, ч, дж	к,л,м,н	П , К , Р , С	Т
А	1	*	4	0	4	0
Б,В,Г,Е	*	4	1	2	2	1
е, ж, ч, дж	1	1	4	*	2	0
к,л,м,н	0	2	*	4	1	1
П , К , Р , С	1	2	2	1	4	*
Т	0	4	0	4	*	1

В этом представлении накопленной матрицы инцидентности диагональные элементы представляют общее количество элементов любого типа.

Очевидно, что элементы разных типов одного и того же ранга никогда не встречаются, поэтому значение всегда будет равно 0; однако, чтобы помочь отличить такие отношения, вместо 0 используется звездочка (*).

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

Уже эта простая квадратная пирамида показывает, что матрицы инцидентности, накопленные симметрией, больше не являются симметричными. Но все же существует простое отношение сущностей (помимо обобщенных формул Эйлера для диагонали, соответственно субдиагональных сущностей каждой строки, соответственно супердиагональных элементов каждой строки - тех, по крайней мере, когда нет дырок, звездочек и т. д.). рассматривается), как и для любой такой матрицы инцидентности $I=(I_{ij})$ держит:

$I_{ii}\cdot I_{ij}=I_{ji}\cdot I_{jj}\ \ (i<j).$

История

В 1960-х годах Бранко Грюнбаум призвал геометрическое сообщество рассмотреть обобщения концепции правильных многогранников , которые он назвал полистроматами . Он разработал теорию полистромат, показав примеры новых объектов, включая 11-клеточные .

— 11-клеточный это самодвойственный 4-многогранник которого , грани не являются икосаэдрами , а являются « полу-икосаэдрами » — то есть они представляют собой форму, которую можно получить, если считать противоположные грани икосаэдров фактически одной и той же гранью ( Грюнбаум, 1977). Через несколько лет после открытия Грюнбаумом 11-клеточного многогранника HSM Coxeter открыл аналогичный многогранник, 57-клеточный (Coxeter 1982, 1984), а затем независимо заново открыл 11-клеточный.

Благодаря более ранним работам Бранко Грюнбаума , Х.С.М. Коксетера и Жака Титса, заложившим основу, основная теория комбинаторных структур, теперь известных как абстрактные многогранники, была впервые описана Эгоном Шульте в его докторской диссертации 1980 года. В нем он определил «регулярные комплексы инцидентности» и «многогранники регулярной инцидентности». Впоследствии он и Питер Макмаллен развили основы теории в серии исследовательских статей, которые позже были собраны в книгу. С тех пор множество других исследователей внесли свой вклад, и первые пионеры (включая Грюнбаума) также приняли определение Шульте как «правильное».

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

См. также

• Эйлеров частичное множество
• Градуированный посет
• Правильный многогранник

Ссылки

• Макмаллен, Питер (1994), «Реализации регулярных апейротопов», Mathematical Equations , 47 (2–3): 223–239, doi : 10.1007/BF01832961 , MR   1268033 , S2CID   121616949
• МакМаллен, Питер ; Шульте, Эгон (декабрь 2002 г.), Абстрактные правильные многогранники (1-е изд.), Cambridge University Press , ISBN  0-521-81496-0
• Мир Джарона: Формы в других измерениях , Откройте для себя маг. , апрель 2007 г.
• Доктор Ричард Клитцинг, Матрицы заболеваемости
• Шульте, Э.; «Симметрия многогранников и многогранников», Справочник по дискретной и вычислительной геометрии , под редакцией Дж. Гудмана и Дж. О'Рурка, 2-е изд., Chapman & Hall, 2004.