Interested Article - Конфигурация Мёбиуса

Пример конфигурации. Плоскости граней красного тетраэдра показаны на верхнем рисунке. Плоскости граней синего тетраэдра показаны на нижнем. Координаты вершин красного тетраэдра: $(0,0,0),$ $(0,0,1),$ $(0,1,0)$ and $(1,0,0)$ . Координаты вершин синего тетраэдра — $(0,-\gamma ,\gamma ),$ $(\gamma ,0,-\gamma ),$ $(-\gamma ,\gamma ,0)$ and $(\lambda ,\lambda ,\lambda ),$ where $\gamma ={\frac {1}{\sqrt {2}}}$ and $\lambda ={\frac {1}{3}}$ .

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

Теорема Мёбиуса

Конфигурация названа в честь Августа Фердинанда Мёбиуса , который доказал в 1828, что если два тетраэдра имеют свойство, что семь их вершин лежат на соответствующих плоскостях граней другого тетраэдра, то восьмая вершина также лежит на плоскости соответствующей грани, образуя конфигурацию Мёбиуса. Эта верна и в более общем трёхмерном проективном пространстве в том и только в том случае, когда в этом пространстве выполняется теорема Паппа ( Рейдемейстер , ), и выполняется в трёхмерном пространстве, построенном на теле , в том и только в том случае, если выполняется коммутативный закон , и поэтому группа должна быть полем (Al-Dhahir). Ввиду проективной двойственности результат Мёбиуса эквивалентен утверждению, что если семь из восьми плоскостей двух тетраэдров, проходящих через грани, содержат соответствующие вершины другого тетраэдра, то плоскость восьмой грани тоже содержит другую вершину.

Построение

Коксетер ( ) описал простое построение конфигурации. Начнём с произвольной точки 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’ образуют конфигурацию Мёбиуса.

Похожие конструкции

Гилберт и Кон-Воссен ( ) утверждают (без ссылок), что существуют пять конфигураций, имеющих восемь точек и восемь плоскостей с четырьмя точками на каждой плоскости и с четырьмя плоскостями, проходящими через каждую точку, которые можно реализовать в трёхмерном евклидовом пространстве — такие конфигурации имеют обозначение $8_{4}$ . Информацию об этих конфигурациях можно получить из статьи Штайница ( ). В статье, опираясь на результаты Мафа ( ), Бауэра ( ) и Мартинетти ( ), на самом деле утверждается, что имеется пять $8_{4}$ конфигураций со свойствами, что максимум две плоскости имеют две общие точки и двойственное свойство, что максимум две точки принадлежат двум плоскостям. (Это условие означает, что любые три точки не лежат на одной прямой и двойственные три плоскости не пересекаются по одной прямой.) Однако существует десять других $8_{4}$ конфигураций, для которых это условие не выполняется, и все пятнадцать конфигураций можно реализовать в трёхмерном пространстве. Интересны конфигурации, в которых участвуют два тетраэдра, каждый вписанный и описанный друг в друга, и это как раз те конфигурации, которые удовлетворяют вышеописанному свойству. Таким образом, существует пять конфигураций с тетраэдрами, и они соответствуют пяти классам сопряжённости симметрической группы $S_{4}$ . Можно получить перестановки четырёх вершин одного тетраэдра S = ABCD в себя следующим образом: каждая вершина P тетраэдра S лежит на плоскости, содержащей три вершины другого тетраэдра T. Оставшаяся точка тетраэдра T лежит на плоскости, содержащей три точки тетраэдра S, и точка Q тетраэдра S лежит вне этой плоскости. Получаем отображение P → Q. Пять классов сопряжённости перестановок $S_{4}$ — это e, (12)(34), (12), (123), (1234) и, из этих пяти классов, конфигурация Мёбиуса соответствует классу сопряжённости e. Его обозначают Ke. Штайниц утверждает, что если два тетраэдра Ke — это $A_{0},B_{0},C_{0},D_{0}$ и $A_{1},B_{1},C_{1},D_{1}$ , то восемь плоскостей $A_{i},B_{j},C_{k},D_{l}$ этих тетраэдров задаются индексами с нечётной суммой $i+j+k+l$ .

Штайниц также утверждает, что только одна $8_{4}$ конфигурация Мёбиуса соответствует геометрической теореме. Однако этот факт оспаривает Глин ( ) — он показал, используя компьютерный поиск, что существует в точности две $8_{4}$ , одна соответствует конфигурации Мёбиуса, для второй конфигурации (соответствующей классу сопряжённости (12)(34) выше) теорема также выполняется для всех трёхмерных проективных пространств над полем , но не над общими телами . Имеются другие сходства между этими двумя конфигурациями, включая факт, что они самодвойственны в смысле двойственности матроидов . В абстрактных терминах, вторая конфигурация имеет «точки» 0,…,7 и «плоскости» 0125+i, (i = 0,…,7), где целые берутся по модулю восемь. Эту конфигурацию, как и конфигурацию Мёбиуса, можно представить как два тетраэдра, взаимно вписанных и описанных — в представлении в виде целых тетраэдры могут быть 0347 и 1256. Однако эти две $8_{4}$ конфигурации не изоморфны, поскольку конфигурация Мёбиуса имеет четыре пары плоскостей, не содержащие общих точек конфигурации, в то время как вторая конфигурация таких плоскостей не имеет.

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

Примечания

Литература

M. W. Al-Dhahir. A class of configurations and the commutativity of multiplication. — The Mathematical Gazette. — The Mathematical Association, 1956. — Т. 40. — С. 241–245. — doi : . .
G. Bauer. {{{заглавие}}} // München Ber.. — 1897. — Т. 27 . — С. 359 . .
H. S. M. Coxeter. Self-dual configurations and regular graphs // Bulletin of the American Mathematical Society. — 1950. — Т. 56 , вып. 5 . — С. 413–455 . — doi : . .
D. G. Glynn. Theorems of points and planes in three-dimensional projective space // Journal of the Australian Mathematical Society. — 2010. — Т. 88 . — С. 75–92 . — doi : . .
David Hilbert, Stephan Cohn-Vossen. . — 2nd. — Chelsea, 1952. — С. . — ISBN 0-8284-1087-9 . .
V. Martinetti. Le configurazioni (8 ₄ ,8 ₄ ) di punti e piani (итал.) // Giornale di Matematiche di Battaglini. — 1897. — Т. 35 . — С. 81–100 . .
A. F. Möbius. Kann von zwei dreiseitigen Pyramiden einejede in Bezug auf die andere um- und eingeschriehen zugleich heissen? // . — 1828. — Т. 3 . — С. 273–278 . . В собрании сочиненй (1886), том. 1, стр. 439—446.
P. Muth. // Zeitschrift Math. Phys.. — 1892. — Т. 37 . — С. 117 . .
K. Reidemeister. Zur Axiomatik der 3-dimensionalen projektive Geometrie // Jahresbericht der Deutschen Mathematiker-Vereinigung. — 1929. — Т. 38 . — С. 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 . — С. 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 . — С. 492–494 . .