WikiSort.ru - Не сортированное

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

Наиболее важная открытая проблема этой области — g-гипотеза, сформулированная Питером Макмалленом^[en], который задал вопрос о возможном числе граней различных размерностей симплициальной сферы.

Примеры

• Для любого n ≥ 3 простой n-цикл C_n является симплициальной окружностью, т.е. симплициальной сферой размерности 1. Это построение даёт все симплициальные окружности.
• Граница выпуклого многогранника в R³ с правильными гранями, такого как октаэдр или икосаэдр, является 2-сферой.
• Более обще, граница любого (d+1)-мерного компактного (или ограниченного) симплициального выпуклого многогранника в евклидовом пространстве является симплициальной сферой.

Свойства

Из формулы Эйлера следует, что любая симплициальная 2-сфера с n вершины имеет 3n − 6 рёбер и 2n − 4 граней. Случай n = 4 реализуется в виде тетраэдра. При повторном осуществлении барицентрического подразделения легко построить симплициальные сферы для любого n ≥ 4. Однако Эрнст Штайниц дал описание 1-скелетов (графов рёбер) выпуклых многогранников в R³, из которого следует, что любая симплициальная 2-сфера является границей выпуклого многогранника.

Бранко Грюнбаум построил пример симплициальной сферы, не являющейся границей многомерного многогранника. Гиль Калай^[en] доказал, что, фактически, «большая часть» симплициальных сфер не являются границами многогранников. Наименьший пример существует в размерности d = 4 и имеет f₀ = 8 вершин.

Теорема о верхней границе^[en] даёт верхние границы для числа f_i i-граней любой симплициальной d-сферы с f₀ = n вершинами. Гипотезу доказал для полиэдральных сфер в 1970 Питер Макмаллен^[en][1], а для общих симплициальных сфер в 1975 доказал Ричард Стэнли^[en].

Сформулированная Макмалленом в 1970 g-гипотеза ставит вопрос о полном описании f-векторов симплициональных d-сфер. Другими словами, каковы возможные наборы числа граней каждой размерности симплициальной d-сферы? Для полиэдральных сфер ответ задаётся g-теоремой, которую доказали в 1979 Биллера и Ли (существование) и Стэнли (необходимость). Было высказано предположение, что те же самые условия необходимы для общих симплициональных сфер. На 2015 год гипотеза оставалась открытой для d=5 и выше.

См. также

• Уравнения Дена — Сомервиля

Примечания

Литература

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