Конфігурація Мебіуса

Конфігурацією Мебіуса або тетраедрами Мебіуса називають конфігурацію в евклідовому просторі або проєктивному просторі, що складається з двох взаємно вписаних тетраедрів — кожна вершина одного тетраедра лежить на площині, що проходить через грань іншого тетраедра і навпаки. Таким чином, в отриманій системі восьми точок і восьми площин кожна точка лежить на чотирьох площинах (три площини визначають вершину тетраедра, а четверта площина — це площина, що проходить через грань другого тетраедра, на якій вершина лежить), і кожна площина містить чотири точки (три вершини грані тетраедра і вершина іншого тетраедра, що лежить на тій самій площині).

Приклад конфігурації. На верхньому малюнку — площини граней червоного тетраедра. На нижньому — площини граней синього тетраедра. Координати вершин червоного тетраедра: ${\displaystyle (0,0,0),}$ ${\displaystyle (0,0,1),}$ ${\displaystyle (0,1,0)}$ і ${\displaystyle (1,0,0)}$. Координати вершин синього тетраедра — ${\displaystyle (0,-\gamma ,\gamma ),}$ ${\displaystyle (\gamma ,0,-\gamma ),}$ ${\displaystyle (-\gamma ,\gamma ,0)}$ і ${\displaystyle (\lambda ,\lambda ,\lambda ),}$ де ${\displaystyle \gamma ={\frac {1}{\sqrt {2}}}}$ і ${\displaystyle \lambda ={\frac {1}{3}}}$.

Теорема Мебіуса

Конфігурацію названо на честь Августа Фердинанда Мебіуса, який довів 1828 року, що якщо два тетраедри мають властивість, що сім їхніх вершин лежать на відповідних площинах граней іншого тетраедра, то восьма вершина також лежить на площині відповідної грані, утворюючи конфігурацію Мебіуса. Ця ^[en] істинна і в загальнішому тривимірному проєктивному просторі тоді й лише тоді, коли в цьому просторі виконується теорема Паппа (Рейдемейстер, ^[en]), і виконується в тривимірному просторі, побудованому на тілі, тоді й лише тоді, коли виконується комутативний закон, і тому група маж бути полем (Al-Dhahir). Через проєктивну подвійність результат Мебіуса еквівалентний твердженню, що якщо сім з восьми площин двох тетраедрів, які проходять через грані, містять відповідні вершини іншого тетраедра, то площина восьмої грані теж містить іншу вершину.

Побудова

Коксетер (Coxeter, 1950) описав просту побудову конфігурації. Почнемо з довільної точки p евклідового простору. Нехай A, B, C і D — чотири площини, що проходять через p, ніякі три з яких не перетинаються по одній прямій. Розмістимо шість точок q, r, s, t, u і v на шести прямих, утворених попарним перетином цих площин таким чином, що ніякі чотири точки не лежать на одній площині. Для будь-якої площини A, B, C і D чотири з семи точок p, q, r, s, t, u і v лежать на цій площині і три лежать поза нею. Побудуємо площини A’, B’, C’ і D’ через трійки точок, що лежать поза площин A, B, C і D відповідно. Тоді за двоїстою формою теореми Мебіуса ці чотири нові площини перетнуться в одній точці w. Вісім точок p, q, r, s, t, u, v і w і вісім площин A, B, C, D, A’, B’, C’ і D’ утворюють конфігурацію Мебіуса.

Схожі конструкції

Гільберт і Кон-Фоссен (Hilbert, Cohn-Vossen, 1952) стверджують (без посилань), що існують п'ять конфігурацій, які мають вісім точок і вісім площин з чотирма точками на кожній площині і з чотирма площинами, що проходять через кожну точку, які можна реалізувати в тривимірному евклідовому просторі. Такі конфігурації мають позначення ${\displaystyle 8_{4}}$. Інформацію про ці конфігурації можна отримати зі статті (Steinitz, 1910). У статті, спираючись на результати Мафа (Muth, 1892), Бавера (Bauer, 1897) і Мартінетті (Martinetti, 1897), насправді стверджується, що є п'ять ${\displaystyle 8_{4}}$ конфігурацій з властивостями, що максимум дві площини мають дві загальні точки і двоїсту властивість, що максимум дві точки належать двом площинам. (Ця умова означає, що будь-які три точки не лежать на одній прямій і двоїсті три площини не перетинаються по одній прямій.) Однак існує десять інших ${\displaystyle 8_{4}}$ конфігурацій, для яких ця умова не виконується, і всі п'ятнадцять конфігурацій можна реалізувати в тривимірному просторі. Цікаві конфігурації, в яких беруть участь два тетраедри, кожен вписаний і описаний один відносно одного, і це якраз ті конфігурації, які задовольняють вищеописаній властивості. Таким чином, існує п'ять конфігурацій з тетраедрами, і вони відповідають п'яти класам спряженості симетричної групи ${\displaystyle S_{4}}$. Можна отримати перестановки чотирьох вершин одного тетраедра S = ABCD в себе таким способом: кожна вершина p тетраедра S лежить на площині, яка містить три вершини іншого тетраедра T. Остання точка тетраедра T лежить на площині, що містить три точки тетраедра S, і точка Q тетраедра S лежить поза цією площиною. Отримуємо відображення ${\displaystyle P\rightarrow Q}$. П'ять класів спряженості перестановок ${\displaystyle S_{4}}$ — це ${\displaystyle e}$, (12)(34), (12), (123), (1234) і, з цих п'яти класів, конфігурація Мебіуса відповідає класу спряженості ${\displaystyle e}$. Його позначають ${\displaystyle K_{e}}$. Штайніц стверджує, що якщо два тетраедри ${\displaystyle K_{e}}$ — це ${\displaystyle A_{0},B_{0},C_{0},D_{0}}$ і ${\displaystyle A_{1},B_{1},C_{1},D_{1}}$, то вісім площин ${\displaystyle A_{i},B_{j},C_{k},D_{l}}$ цих тетраедрів задаються індексами з непарною сумою ${\displaystyle i+j+k+l}$.

Штайніц також стверджує, що тільки одна ${\displaystyle 8_{4}}$ конфігурація Мебіуса відповідає геометричній теоремі. Однак із цим не згоден Глін (Glynn, 2010) — він показав, скориставшись комп'ютерним пошуком, що існує рівно дві ${\displaystyle 8_{4}}$: одна відповідає конфігурації Мебіуса, для другої конфігурації (що відповідає класу спряженості (12)(34) вище) теорема також виконується у всіх тривимірних проєктивних просторах над полем, але не над загальними тілами. Існують інші подібності між цими двома конфігураціями, зокрема той факт, що вони самодвоїсті в сенсі двоїстості матроїдів. У абстрактних термінах, друга конфігурація має «точки» 0,…, 7 і «площини» 0125+i, (i = 0,…, 7), де цілі беруться за модулем вісім. Цю конфігурацію, як і конфігурацію Мебіуса, можна подати як два тетраедри, взаємно вписаних і описаних — у поданні у вигляді цілих тетраедри можуть бути 0347 і 1256. Однак ці дві ${\displaystyle 8_{4}}$ конфігурації не ізоморфні, оскільки конфігурація Мебіуса має чотири пари площин, що не містять спільних точок конфігурації, тоді як друга конфігурація таких площин не має.

Граф Леві конфігурації Мебіуса має 16 вершин, по одній для кожної точки і площини, а ребра відповідають інцидентності вершин і площин (пара — площина і вершина, що лежить на ній). Граф ізометричний графу гіперкуба з 16 вершинами Q₄. Близька конфігурація Мебіуса — Кантора, утворена двома взаємно вписаними чотирикутниками, має графом Леві граф Мебіуса — Кантора, підграф графа Q₄.

Примітки

1. K. Reidemeister. Zur Axiomatik der 3-dimensionalen projektive Geometrie // Jahresbericht der Deutschen Mathematiker-Vereinigung. — 1929. — Bd. 38. — S. 71..
2. H. S. M. Coxeter. Self-dual configurations and regular graphs // Bulletin of the American Mathematical Society. — 1950. — Vol. 56, iss. 5. — P. 413–455. — DOI:10.1090/S0002-9904-1950-09407-5..

Література

• M. W. Al-Dhahir. A class of configurations and the commutativity of multiplication. — The Mathematical Gazette. — The Mathematical Association, 1956. — Т. 40. — С. 241–245. — DOI:10.2307/3609605..
• G. Bauer.  // München Ber.. — 1897. — Т. 27 (18 червня). — С. 359..
• H. S. M. Coxeter. Self-dual configurations and regular graphs // Bulletin of the American Mathematical Society. — 1950. — Т. 56, вип. 5 (18 червня). — С. 413–455. — DOI:10.1090/S0002-9904-1950-09407-5..
• D. G. Glynn. Theorems of points and planes in three-dimensional projective space // Journal of the Australian Mathematical Society. — 2010. — Т. 88 (18 червня). — С. 75–92. — DOI:10.1017/S1446788708080981..
• David Hilbert, Stephan Cohn-Vossen. Geometry and the Imagination. — 2nd. — Chelsea, 1952. — С. 184. — ..
• V. Martinetti. Le configurazioni (8₄,8₄) di punti e piani // Giornale di Matematiche di Battaglini. — 1897. — Т. 35 (18 червня). — С. 81–100. з джерела 26 вересня 2021. Процитовано 26 вересня 2021..
• A. F. Möbius. Kann von zwei dreiseitigen Pyramiden einejede in Bezug auf die andere um- und eingeschriehen zugleich heissen? // . — 1828. — Т. 3 (18 червня). — С. 273–278. У зібранні творів (1886), том. 1, стор. 439—446.
• P. Muth.  // Zeitschrift Math. Phys.. — 1892. — Т. 37 (18 червня). — С. 117..
• K. Reidemeister. Zur Axiomatik der 3-dimensionalen projektive Geometrie // Jahresbericht der Deutschen Mathematiker-Vereinigung. — 1929. — Т. 38 (18 червня). — С. 71..
• K. Reidemeister. Aufgabe 63 (gestellt in Jahresbericht D. M. V. 38 (1929), 71 kursiv). Lösung von E. Schönhardt // Jahresbericht der Deutschen Mathematiker-Vereinigung. — 1931. — Т. 40 (18 червня). — С. 48–50..
• Ernst Steinitz. Konfigurationen der projektiven Geometrie. 6. Konfigurationen von Punkten und Ebenen // Enzyklopädie der mathematischen Wissenschaften. — 1910. — Т. 3-1-1 A B 5a (18 червня). — С. 492–494..