Ця стаття містить правописні, лексичні, граматичні, стилістичні або інші мовні помилки, які треба виправити. (серпень 2019) |
В геометрії діаграма Коксетера — Динкіна (або діаграма Коксетера, граф Коксетера, схема Коксетера) — це граф з позначеними числами ребрами (так званими гілками), що представляють просторові зв'язки між набором дзеркальних симетрій (або гіперплощин дзеркальних відображень). Діаграма описує калейдоскопічну побудову — кожна «вершина» графу це дзеркало (грань фундаментальної області), а мітки гілок задають величину двогранного кута між двома дзеркалами (на гребені фундаментальної області, тобто на межі з розмірністю ). Непомічені гілки неявно припускають ступінь 3.Кожна діаграма — це група Коксетера.
Діаграми Динкіна тісно пов'язані з діаграмами Коксетера і відрізняються від них тим що: по-перше, гілки з міткою «4» і вище є орієнтованими, в той час як в діаграмах Коксетера — неорієнтовані; по-друге, діаграми Динкіна повинні задовольняти додатковому (кристалографічному) обмеженню, а саме, мітки дозволені тільки 2, 3, 4 і 6. Діаграми Динкіна відповідають системі коренів і використовуються для їх класифікації, тому відповідають напівпростим групам Лі.
Опис Редагувати
Гілки діаграми Коксетера — Динкіна позначаються раціональними числами p, відповідними двогранним кутами 180° / p. Якщо p = 2, кут дорівнює 90° і дзеркала не впливають одне на одного, гілка може бути виключена з діаграми. Якщо гілка не позначена, домовляються, що p = 3, що відповідає куту 60°. Два паралельних дзеркала мають гілку, позначену знаком «∞». У загальному випадку, n відображень можуть бути представлені повним графом, в якому всі n(n − 1) / 2 гілок намальовані. На практиці, майже всі цікаві комбінації відображень містять деяку кількість прямих кутів, так що відповідні гілки можуть бути виключені.
Діаграми можуть бути позначені відповідно до структури графу. Першими формами, які вивчав Людвіг Шлефлі, були симплекси, що визначаються сукупністю взаємнопенпердикулярних ребер. Ці симплекси Шлефлі назвав ортосхемами. Ортосхеми виникають в різних ситуаціях, особливо при розгляді правильних політопів і правильних стільників. Плагіосхеми — це симплекси, представлені розгалуженими графами, а циклосхеми — симплекси, представлені циклічними графами.
Матриця Грама (Шлефлі) Редагувати
Будь-яка діаграма Коксетера має відповідну матрицю Шлефлі з елементами , де — порядок гілки між парами віддзеркалень. Як матриця косинусів, вона також називається матрицею Грама. Всі матриці Грама групи Коксетера симетричні, оскільки їх кореневі вектора нормалізовані. Вони близько пов'язані з матрицями Картана, які використовуються у схожому контексті, але для орієнтованих графів діаграм Динкіна для випадків p = 2,3,4 і 6, в загальному випадку, НЕ симетричні.
Визначник матриці Шлефлі називається шлефіаном (він же граміан), його знак визначає, чи є група скінченною (додатний визначник), афінною (нульовий) або невизначеною (від'ємний). Це правило називається критерієм Шлефлі.
Власні значення матриці Грама визначають, чи є група Коксетера скінченного типу (всі значення додатні), афінного типу (всі невід'ємні, щонайменше одне значення дорівнює нулю) або невизначеного типу (всі інші випадки). Невизначений тип іноді розбивається на підтипи, наприклад, на гіперболічні й інші групи Коксетера. Однак є багато не еквівалентних визначень гіперболічних груп Коксетера. Ми використовуємо наступне визначення: Група Коксетера з відповідною діаграмою є гіперболічною, якщо вона ні скінченного, ні афінного типів, але будь-яка зв'язкова піддіаграма має або скінченний, або афінний тип. Гіперболічна група Коксетера компактна, якщо всі її підгрупи скінченні (тобто мають додатні визначники) і паракомпактна, якщо всі її підгрупи скінченні або афінні (тобто мають невід'ємні визначники).
Скінченні і афінні групи також називаються еліптичними і параболічними відповідно. Гіперболічні групи називаються також групами Ланнера, який перерахував компактні гіперболічні групи в 1950-м, а паракомпактні групи — групами Козуля (або квазіланнеровими групами). Зустрічаються й інші назви. Так, в статті Максвелла скінченні групи називаються додатними, а афінні — евклідові.
Групи Коксетера рангу 2 Редагувати
Для рангу 2 тип групи Коксетера повністю визначений визначником матриці Грама, оскільки він просто дорівнює добутку його власних значень: скінченний тип (додатний визначник), афінний тип (нульовий визначник) або гіперболічний тип (від'ємний визначник). Коксетер використовує еквівалентну дужкову нотацію, яка перераховує послідовності порядків гілок замість графічних діаграм вузол-гілка.
Тип | Скінченна | Афінна | Гіперболічна | |||||
---|---|---|---|---|---|---|---|---|
Геометрія | … | |||||||
Коксетер | [ ] | [2] | [3] | [4] | [p] | [∞] | [∞] | [iπ/λ] |
степінь | 2 | 4 | 6 | 8 | 2p | ∞ | ||
Прямі відображення розфарбовані відповідно вузлів діаграми Коксетера. Фундаментальні області пофарбовані в альтернативні кольори. |
степінь p | Група | Діаграма Коксетера | Матриця Грама | ||
---|---|---|---|---|---|
Визначник (4-a21*a12) | |||||
Скінченна (Визначник>0) | |||||
2 | I2(2) = A1xA1 | [2] | 4 | ||
3 | I2(3) = A2 | [3] | 3 | ||
4 | I2(4) = B2 | [4] | 2 | ||
5 | I2(5) = H2 | [5] | = ~1.38196601125 | ||
6 | I2(6) = G2 | [6] | 1 | ||
8 | I2(8) | [8] | ~0.58578643763 | ||
10 | I2(10) | [10] | = ~0.38196601125 | ||
12 | I2(12) | [12] | ~0.26794919243 | ||
p | I2(p) | [p] | |||
Афінна (Визначник=0) | |||||
∞ | I2(∞) = = | [∞] | 0 | ||
Гіперболічна (Визначник≤0) | |||||
∞ | [∞] | 0 | |||
∞ | [iπ/λ] |
Геометричне уявлення Редагувати
Діаграму Коксетера — Динкіна можна розглядати як графічний описфундаментальної області відображень. Дзеркалом (безліччю нерухомих точок відображення) є гіперплощина в заданому сферичному, евклідовому або гіперболічному просторі. (У двовимірному просторі дзеркалом є пряма, а в тривимірному — площина).
Нижче показані фундаментальні області двовимірних і тривимірних евклідових груп, а також двовимірних сферичних груп. Для кожної групи діаграма Коксетера може бути виведена шляхом визначення гіперплощин і розмітки їх зв'язків, ігноруючи двогранні кути в 90 градусів (порядок 2).
Група Коксетера | x | |||
---|---|---|---|---|
[4,4] | [∞4,∞] | [6,3] | [(3,3,3)] = [3[3]] | |
Фундаментальна область | ||||
Диаграма Коксетера — Динкіна |
Групи Коксетера на евклідовій площині з відповідними діаграмами. Дзеркала позначені як вузли графу R1, R2, і т. д. та розфарбовані відповідно до порядку відображення. Відображення на 90 градусів нічого не змінюють, а тому видалені з діаграми. Паралельні відображення відзначені символом ∞. Призматична група x зображена як подвоєння , але вона також може бути створена як прямокутні області, отримані з подвоєння трикутників . є подвоєнням трикутника .
Група Коксетера | [n,4] | [∞n,∞] | [n,3] | [(n,3,3)] |
---|---|---|---|---|
Фундаментальна область | ||||
Двоїстий граф (повна схема Коксетера) | ||||
Диаграма Коксетера — Динкіна | ||||
n=5,6… | n=3,4… | n=7,8… | n=4,5 |
Багато груп Коксетера нагіперболічній площині можуть бути поширені з евклідового випадку як серії гіперболічних рішень.
Групи Коксетера в тривимірному просторі з відповідними діаграмами. Дзеркала (трикутні грані) позначені протилежними вершинами 0..3. Гілки пофарбовані відповідно до порядку відображень. заповнює 1/48 частин куба. заповнює 1/24 частин куба. заповнює 1/12 частин куба. | Групи Коксетера на сфері з відповідними діаграмами. Одна фундаментальна область виділена жовтим кольором. Вершини області (і гілки графу) пофарбовані відповідно до порядку відображення. |
Скінченні групи Коксетера Редагувати
Див. також сімейства багатогранників для таблиці однорідних багатогранників, пов'язаних з цими групами.
- Для кожної групи наведені три різних позначення — буквено-цифрове позначення, набір цифр в дужках і діаграма Коксетера.
- Розгалужені групи Dn є половинними або знакозмінними версіями звичайних груп Cn.
- Для розгалужених груп Dn і En наведені позначення з верхніми індексами [3a,b,c], де числа a,b і c задають кількість сегментів у кожній з трьох гілок.
Ранг | Прості групи Лі | Виключні групи Лі | |||||
---|---|---|---|---|---|---|---|
1 | A1=[] | ||||||
2 | A2=[3] | B2=[4] | D2=A1xA1 | G2=[6] | H2=[5] | I2[p] | |
3 | A3=[32] | B3=[3,4] | D3=A3 | E3=A2A1 | F3=B3 | H3 | |
4 | A4=[33] | B4=[32,4] | D4=[31,1,1] | E4=A4 | F4 | H4 | |
5 | A5=[34] | B5=[33,4] | D5=[32,1,1] | E5=D5 | |||
6 | A6=[35] | B6=[34,4] | D6=[33,1,1] | E6=[32,2,1] | |||
7 | A7=[36] | B7=[35,4] | D7=[34,1,1] | E7=[33,2,1] | |||
8 | A8=[37] | B8=[36,4] | D8=[35,1,1] | E8=[34,2,1] | |||
9 | A9=[38] | B9=[37,4] | D9=[36,1,1] | ||||
10+ | .. | .. | .. | .. |
Застосування до однорідних політопів Редагувати
Діаграми Коксетера — Динкіна можуть перерахувати майже всі класи однорідних багатогранників та однорідних мозаїк. Кожен однорідний багатогранник з простою дзеркальною симетрією (всі вони, за винятком декількох спеціальних випадків, мають просту дзеркальну симетрію) можуть бути представлені діаграмами Коксетера — Динкіна з перестановками міток. Кожен однорідний багатогранник можна отримати, використовуючи такі дзеркала й одну генеруючу точку — відображення створюють у результаті симетрії нової точки, потім можна визначити ребра багатогранника між точками і їх дзеркальними відображеннями. Грані можна побудувати при отриманні циклу з ребер і т. д. Для завдання генеруючої вершини один або більше вузлів позначаються колами, що означає, що вершина не знаходиться на дзеркалі, представлених поміченими колами вузлами. (Якщо два або більше дзеркала позначені, вершина розташовується на рівновіддалених відстані від них.) Дзеркало активно (створює відображення), тільки для точок, які не лежать на ньому. Діаграма повинна мати щонайменше один активний вузол для подання багатогранника.
Усі правильні багатовимірні багатогранники, представлені символом Шлефлі ((p, q, r, …), можуть мати фундаментальні області, представлені набором n дзеркал з відповідною діаграмою Коксетера -Динкіна у вигляді послідовності вузлів і гілок, помічених p, q, r, … з першим обведеним колом вузлом.
Однорідні багатогранники з одним колом відповідають генеруючим точкам у кутах симплекса фундаментальної області. Два гуртка відповідають ребрам симплекса й мають свободу вибору, але тільки середина призводить до однорідного рішенням з однаковими довжинами ребер. У загальному випадку генератори з k-колами є (k-1)-вимірним гранями симплекса. Якщо всі вузли позначені колами, генеруюча точка знаходиться всередині симплекса.
Інший елемент розмітки висловлює спеціальний випадок недзеркальної симетрії однорідних багатогранників. Ці випадки існують як альтернації дзеркальної симетрії багатогранників. У цьому елементі розмітки відсутня центральна точка позначеного колом вузла, який тоді називається діркою, і означає такий вузол віддалену альтернуючу вершину. Отриманий багатогранник матиме підсімметрії вихідної групи Коксетера. Усічена альтернація називається відрізком.
- Окремий вузол це окреме дзеркало. Відповідна група позначається A1. Коло навколо вузла призводить до утворення відрізка, перпендикулярного дзеркала, і він позначається як {}.
- Два незв'язаних вузла представляють два перпендикулярних дзеркала. Якщо обидва вузла обведені колом, може бути створений прямокутник, або квадрат, якщо точки розташовані на однаковій відстані від обох дзеркал.
- Два вузла, з'єднаних гілкою порядку n, можуть створити n — кутник, якщо точка знаходиться на одному з дзеркал, і 2n — кутник, якщо крапка не лежить ні на одному з дзеркал. Ці два вузла утворюють групу I1(n).
- Два паралельних дзеркала можуть представляти групу нескінченного багатокутника I1(∞), що позначається також Ĩ1.
- Три дзеркала у вигляді трикутника утворюють образи, які спостерігаються в традиційному калейдоскопі і така конфігурація може бути представлена трьома вузлами, з'єднаними в трикутник. Періодичні приклади матимуть гілки, помічені як (3 3 3), (2 4 4) і (2 3 6), хоча останні два можуть побут намальовані як прямі (видаливши гілки 2). Вони генерують однорідні мозаїки.
- Три дзеркала можуть створити однорідний багатогранник, наприклад, трикутники Шварца, одержувані з раціональних чисел.
- Три дзеркала, де одне дзеркало перпендикулярно двом іншим, можуть створити однорідні призми.
Є 7 дзеркальних однорідних конструкцій для загального трикутника, заснованих на 7 топологічних позиціях генератора всередині фундаментальної області. Будь-яке одиничне активне дзеркало має генератор в куту і утворює ребро, для двох дзеркал генератор знаходиться на одній зі сторін трикутника, а три активних дзеркала мають генератор всередині трикутника. Один або два ступені свободи можна звести до однієї позиції для досягнення однакових довжин ребер результуючого багатогранника або мозаїки. | Приклад семи генераторів при октаедральної симетрії з фундаментальним трикутником (4 3 2) і восьмим генератором обрізка |
Подвійні однорідні багатогранники іноді позначаються вертикальними рисками замість позначених кіл вузлів, а перекреслений порожній вузол (без внутрішньої точки) означає відсікання. Наприклад, представляє прямокутник (як два активних ортогональних дзеркала), а представляє його двоїстий багатокутник (ромб).
Приклади багатогранників і мозаїк Редагувати
Як приклад група Коксетера B 3 має схему . Вона також називається октаедральною симетрією.
Є 7 опуклих однорідних багатогранників, які можна побудувати за допомогою цієї групи симетрії та 3 з її альтернаційних підсиметрій, кожна з єдиною схемою Коксетера — Динкіна. Символ Вітгофа[en] це спеціальний випадок схеми Коксетера для графів рангу 3 з усіма трьома гілками без видалення гілок порядку 2. Символ Вітгофа здатний працювати з обрізками, але не з загальними альтернаціями, коли не всі вузли позначені колами.
Симетрії: [4,3], *432 | [4,3]+, (432) | [3+,4], (3*2) | ||||||
---|---|---|---|---|---|---|---|---|
{4,3} | t{4,3} | r{4,3} | t{3,4} | {3,4} | rr{4,3} | tr{4,3} | sr{4,3} | s{3,4} |
Двоїсті багатогранники | ||||||||
V43 | V3.82 | V(3.4)2 | V4.62 | V34 | V3.43 | V4.6.8 | V34.4 | V35 |
Ті ж побудови можна виконати з незв'язними (ортогональними) групами Коксетера, на зразок групи однорідних призм, і можуть розглядатися з більшою ясністю як мозаїки діедр і осоедр на сфері, на зразок сімейств [6]×[] або [6,2]:
Симетрія|: [6,2], (*622) | [6,2]+, (622) | [6,2+], (2*3) | ||||||
---|---|---|---|---|---|---|---|---|
{6,2} | t{6,2} | r{6,2} | t{2,6} | {2,6} | rr{2,6} | tr{6,2} | sr{6,2} | s{2,6} |
Двоякі їм багатогранники | ||||||||
V62 | V122 | V62 | V4.4.6 | V26 | V4.4.6 | V4.4.12 | V3.3.3.6 | V3.3.3.3 |
У порівнянні з [6,3], сімейство породжує два паралельних сімейства 7 однорідних мозаїк евклідової площини і їх двоїстих мозаїк. Знову маємо 3 альтернації і кілька напівсиметричних версій.
Є вісім однорідних мозаїк, які базуються на правильних шестикутних мозаїках (або подвійних трикутних мозаїках). Якщо намалювати мозаїку, розмальовуючи елементи мозаїки в червоний для граней, в жовтий для вершин і в блакитний для ребер, отримаємо 8 видів мозаїки, 7 з яких топологічно різні. Усічена трикутна мозаїка топологічно ідентична шестикутній.
Симетрія: [6,3], (*632) | [6,3]+ (632) | [6,3+] (3*3) | ||||||
---|---|---|---|---|---|---|---|---|
{6,3} | t{6,3} | r{6,3} | t{3,6} | {3,6} | rr{6,3} | tr{6,3} | sr{6,3} | s{3,6} |
63 | 3.122 | (3.6)2 | 6.6.6 | 36 | 3.4.12.4 | 4.6.12 | 3.3.3.3.6 | 3.3.3.3.3.3 |
Двоякі їм однорідні мозаїки | ||||||||
V63 | V3.122 | V(3.6)2 | V63 | V36 | V3.4.12.4 | V.4.6.12 | V34.6 | V36 |
На гіперболічній площині [7,3] сімейство породжує дві паралельні множини однорідних мозаїк евклідової площині і двоїстих їм мозаїк. Є тільки одна альтернация (обрізок), оскільки всі гілки непарні. Багато інших гіперболічних сімейств однорідних мозаїк можна побачити серед однорідних мозаїк на гіперболічної площині.
Симетрія: [7,3], (*732) | [7,3]+, (732) | ||||||
---|---|---|---|---|---|---|---|
{7,3} | t{7,3} | r{7,3} | 2t{7,3}=t{3,7} | 2r{7,3}={3,7} | rr{7,3} | tr{7,3} | sr{7,3} |
Однорідні двоїсті мозаїки | |||||||
V73 | V3.14.14 | V3.7.3.7 | V6.6.7 | V37 | V3.4.7.4 | V4.6.14 | V3.3.3.3.7 |
Афінні групи Коксетера Редагувати
Сімейства опуклих однорідних евклідових мозаїк визначаються афінною групою Коксетера. Ці групи ідентичні скінченним групам з додаванням одного вузла. У літерних позначеннях у них та ж буква, що і у тильди, знак «~» над буквою. Індекс стосується скінченної групи, так що ранг дорівнює індексу + 1. (Символи Вітта для афінних груп дані з позначкою також)
- : діаграми цього типа це цикли. (Також Pn)
- асоційована з родиною гіперкубічних правильних мозаїк||hypercubic honeycomb}} (3, …., 4). (Також Rn)
- зв'язана з С видаленням одного мінору.(Також Sn)
- зв'язана з С видаленням двох мінорів. (Також Qn)
- , , . (Також T7, T8, T9)
- утворює {3,4,3,3} правильну мозаїку. (Також U5)
- утворює 30-60-90 трикутні фундаментальні області. (Також V3)
- складається з двох паралельних дзеркал. (= = ) (Also W2)
Складові групи можна визначити як ортогональні системи. Найбільш часто використовується. Таким чином, наприклад, представляє квадратні або прямокутні області на евклідовій площині, а представляє фундаментальну область у вигляді трикутної призми в евклідовому тривимірному просторі.
Ранг | (P2+) | (S4+) | (R2+) | (Q5+) | (Tn+1) / (U5) / (V3) |
---|---|---|---|---|---|
2 | =[∞] | =[∞] | |||
3 | =[3[3]] * | =[4,4] * | =[6,3] * | ||
4 | =[3[4]] * | =[4,31,1] * | =[4,3,4] * | =[31,1,3−1,31,1] = | |
5 | =[3[5]] * | =[4,3,31,1] * | =[4,32,4] * | =[31,1,1,1] * | =[3,4,3,3] * |
6 | =[3[6]] * | =[4,32,31,1] * | =[4,33,4] * | =[31,1,3,31,1] * | |
7 | =[3[7]] * | =[4,33,31,1] | =[4,34,4] | =[31,1,32,31,1] | =[32,2,2] |
8 | =[3[8]] * | =[4,34,31,1] * | =[4,35,4] | =[31,1,33,31,1] * | =[33,3,1] * |
9 | =[3[9]] * | =[4,35,31,1] | =[4,36,4] | =[31,1,34,31,1] | =[35,2,1] * |
10 | =[3[10]] * | =[4,36,31,1] | =[4,37,4] | =[31,1,35,31,1] | |
11 | … | … | … | … |
Гіперболічні групи Коксетера Редагувати
Є нескінченно багато нескінченних гіперболічних груп Коксетера. Гіперболічні групи діляться на компактні й некомпактні, де компактні групи мають обмежені фундаментальні області. Компактні групи гіперболічних симплексів (симплекси Ланнера) існують для рангів від 3 до 5. Паракомпланарні групи симплексів (симплекси Козуля) існують аж до рангу 10. Гіперкомпланарні (багатогранники Вінберга) групи досліджувалися, але повністю ще не вивчені. У 2006 Алкок (Allcock) довів, що є нескінченно компактних багатогранників Винберга для просторів розмірності аж до 6 і нескінченно багато багатогранників Вінберга для розмірностей аж до 19, так що повне перерахування неможливо. Всі ці фундаментальні області відображень, як симплексів, так і не симплексів, часто називають політопами Коксетера, або, іноді, що менш точно, багатогранниками Коксетера .
Гіперболічні групи Коксетера в H2 Редагувати
Приклади прямокутних трикутників [p, q] | ||||
---|---|---|---|---|
[3,7] | [3,8] | [3,9] | [3,∞] | |
[4,5] | [4,6] | [4,7] | [4,8] | [∞,4] |
[5,5] | [5,6] | [5,7] | [6,6] | [∞,∞] |
Приклади трикутників загального виду [(p, q, r)] | ||||
[(3,3,4)] | [(3,3,5)] | [(3,3,6)] | [(3,3,7)] | [(3,3,∞)] |
[(3,4,4)] | [(3,6,6)] | [(3,∞,∞)] | [(6,6,6)] | [(∞,∞,∞)] |
Двовимірні гіперболічні групи трикутників це схеми Коксетера рангу 3, визначині трикутником (p q r):
Існує нескінченно багато компактних трикутних гіперболічних груп Коксетера, включаючи лінійні і трикутні графи. Лінійні графи існують для прямокутних трикутників (з r = 2).