Прапор (геометрія)

Прапор у геометрії багатогранників — послідовність граней (різної розмірності) абстрактного багатогранника, в якій кожна попередня грань міститься в наступній та послідовність містить рівно по одній грані кожної розмірності.

Діаграма граней квадратної піраміди, показує один з її прапорів

У Вікіпедії є статті про інші значення цього терміна: Прапор (значення).

Більш формально, прапор ψ n-вимірного багатогранника — це множина {F₋₁, F₀, …, F_n}, така, що F_i ≤ F_i+1 (-1 ≤ i ≤ n − 1) і є рівно один елемент F_i у ψ для кожного i, (-1 ≤ i ≤ n). Оскільки мінімальна грань F₋₁ і максимальна грань F_n повинні бути в кожному прапорі, їх часто опускають зі списку граней для стислості. Ці дві грані називаються невласними.

Наприклад, прапор тривимірного багатогранника складається з вершини, одного ребра, інцидентного цій вершині, і однієї багатокутної грані, інцидентної як вершині, так і ребру, плюс дві невласні грані. Прапор тривимірного багатогранника іноді називається «дартом».

Багатогранник можна розглядати як правильний тоді і тільки тоді, коли його група симетрії є транзитивною на прапорах. Це визначення виключає хіральні багатогранники.

Геометрія інцидентності

У більш абстрактних умовах геометрії інцидентності, яка є множиною з симетричним і рефлексованим відношенням, визначеним на елементах множини і званим інцидентністю, прапор — це множина елементів, які попарно інцидентні^[1]. Цей рівень абстракції узагальнює як концепцію прапорів багатогранників, дану вище, так і концепцію прапорів з лінійної алгебри.

Прапор є максимальним, якщо він не міститься в більшому прапорі. Якщо всі максимальні прапори геометрії інцидентності мають однаковий розмір, це загальне значення є рангом геометрії.