В частности, барицентрическое подразбиение симплициального комплекса является флаговым.
Свойства
Флаговый комплекс полностью определяется своим одномерным остовом, то есть графом из вершин и рёбер комплекса.
Более того, по любому графу можно построить флаговый комплекс, объявив, что каждая клика его вершин образует симплекс
Линк любого симплекса флагового комплекса флаговый.
Любой флаговый комплекс удовлетворяет следующему условию на треугольники:
Если три вершины соединены рёбрами, то они образуют треугольник в комплексе.
Более того, если симплициальный комплекс и все его линки удовлетворяют этому условию на треугольники, то он является флаговым.
(критерий Громова) Предположим, симплициальный комплекс оснащён внутренней метрикой, такой, что каждый симплекс изометричен симплексу в единичной сфере со всеми углами прямыми. Полученное метрическое пространство является CAT(1) тогда и только тогда, когда комплекс является флаговым.
Berge, C.(1989),Hypergraphs: Combinatorics of Finite Sets, North-Holland, ISBN 0-444-87489-5.
Chatterji, I.&Niblo, G.(2005),"From wall spaces to CAT(0) cube complexes",International Journal of Algebra and Computation Т.15(5–6): 875–885, DOI 10.1142/S0218196705002669.
Davis, M. W.(2002),"Nonpositive curvature and reflection groups", inDaverman, R. J.&Sher, R. B.,Handbook of Geometric Topology, Elsevier, с. 373–422.
Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.ru внимательно изучите правила лицензирования конкретных элементов наполнения сайта.
2019-2025 WikiSort.ru - проект по пересортировке и дополнению контента Википедии