Майже багатокутник

Щільний майже багатокутник із діаметром d = 2

Майже багатокутник — це геометрія інцидентності, запропонована Ернестом Е. Шультом і Артуром Янушкою 1980 рокуШаблон:Sfn. Шульт і Янушка показали зв'язок між так званими тетраедрично замкнутими системами прямих в евклідових просторах і класом геометрій точка/пряма, які вони назвали майже багатокутниками. Ці структури узагальнюють нотацію узагальнених багатокутників, оскільки будь-який узагальнений 2n-кутник є майже 2n-кутником певного виду. Майже багатокутники інтенсивно вивчалися, а зв'язок між ними і подвійними полярними просторамиШаблон:Sfn показано в 1980-х роках і початку 1990-х. Деякі спорадичні прості групи, наприклад, група Голла — Янко і групи Матьє, діють як групи автоморфізмів на майже багатокутниках.

Визначення

Майже $2d$-кутники — це структура інцидентності ($P,L,I$), де $P$ — множина точок, $L$ — множина прямих, а $I\subseteq P\times L$ — відношення інцидентності, таке, що:

• Найбільша відстань між двома точками (так званий діаметр) дорівнює d.
• Для будь-якої точки $x$ і будь-якої прямої $L$ існує єдина точка на $L$, найближча до $x$.

Зауважимо, що відстань вимірюється в термінах колінеарного графу точок, тобто графу, утвореного з точок як вершин, і пара вершин з'єднана ребром, якщо вони інцидентні одній прямій. Ми можемо також дати альтернативне визначення в термінах теорії графів. Майже $2d$-кутник — це зв'язний граф скінченного діаметра d з властивістю, що для будь-якої вершини x і будь-якої максимальної кліки M існує єдина вершина x у M, найближча до x. Максимальна кліка такого графа відповідає прямим у визначенні структури інцидентності. Майже 0-кутник (d = 0) — це єдина точка, тоді як майже 2-кутник (d = 1) — це просто одна пряма, тобто повний граф. Майже квадрат (d = 2) — це те саме, що й (можливо, вироджений) узагальнений чотирикутник. Можна показати, що будь-який узагальнений 2d-кутник є майже $2d$-кутником, що задовольняє двом додатковим умовам:

• Будь-яка точка інцидентна щонайменше двом прямим.
• Для будь-яких двох точок x, y на відстані i < d існує єдина сусідня точка для y на відстані i − 1 від x.

Майже багатокутник називають щільним, якщо будь-яка пряма інцидентна щонайменше трьом точкам і якщо дві точки на відстані два мають щонайменше дві спільні сусідні точки. Кажуть, що багатокутник має порядок (s, t), якщо будь-яка пряма інцидентна рівно s + 1 точці і будь-яка точка інцидентна рівно t + 1 прямій. Щільні майже багатокутники мають багату теорію і деякі їх класи (такі як тонкі щільні майже багатокутники) повністю класифікованоШаблон:Sfn.

Підпростір X простору P називають опуклим, якщо будь-яка точка на найкоротшому шляху між двома точками з X також міститься в XШаблон:Sfn.

Приклади

• Всі зв'язні двочасткові графи є майже багатокутниками. Фактично, будь-який майже багатокутник, що має рівно дві точки на пряму, повинен бути зв'язним двочастковим графом.
• Всі скінченні узагальнені багатокутники, за винятком проєктивних площин.
• Всі Шаблон:Не перекладено.
• Майже восьмикутник Голла — Янко, відомий також як майже восьмикутник Коена — Тітса, пов'язаний з групою Голла — Янко. Його можна побудувати, вибравши клас спряженості 315 центральних інволюцій групи Голла — Янко як точки і триелементні підмножини {x, y, xy} як прямі, якщо x і y комутують.
• Майже багатокутник M₂₄, пов'язаний із групою Матьє M₂₄ і розширеним двійковим кодом Голея. Восьмикутник будується з 759 октад (блоків) схеми Вітта S(5, 8, 24), що відповідають кодам Голея, як точок і трійок трьох попарно не перетинних вісімок як прямих.
• Візьмемо розбиття множини {1, 2,…, 2n + 2} на n + 1 підмножину з 2 елементів як точки, і розбиття на n − 1 підмножину з двох елементів і одну підмножину з 4 елементів як прямі. Точка інцидентна прямій тоді й лише тоді, коли вона (як розбиття) є уточненням прямої. Це дає нам 2n-кутник з трьома точками на кожній прямій, який зазвичай позначаються як H_n. Повна група автоморфізмів цього майже багатокутника — S_2n+2Шаблон:Sfn.

Правильні майже багатокутники

Скінченний майже $2d$-кутник S називають правильним, якщо він має порядок $(s,t)$ і якщо існують константи $t_i,i\in \{1,\dots ,d\}$, такі, що для будь-яких двох точок $x$ і $y$ на відстані $i$ існує рівно $t_i+1$ прямих, що проходять через $y$ і містять (обов'язково єдину) точку на відстані $i-1$ від $x$. Виявляється, що правильні майже $2d$- кутники — це точно ті майже $2d$-кутники, точкові графи яких є дистанційно-регулярними графами. Узагальнений $2d$-кутник порядку $(s,t)$ — це правильний майже $2d$-кутник з параметрами $t_1=0,t_2=0,\dots ,t_d=t$.

Див. також

• Скінченна геометрія
• Шаблон:Не перекладено
• Шаблон:Не перекладено
• Шаблон:Нп
• Граф Голла — Янко

Література

• Шаблон:Стаття
• Шаблон:Книга
• Шаблон:Стаття
• Шаблон:Книга
• Шаблон:Стаття
• Шаблон:Книга
• Шаблон:Книга
• Шаблон:Стаття
• Шаблон:Стаття