Конфігура́ція Ме́біуса — Ка́нтора — конфігурація, що складається з восьми точок і восьми прямих, така, що на кожній прямій лежать по три точки і через кожну точку проходять по три прямих. Неможливо зобразити точки і прямі з цією моделлю інцидентності на евклідовій площині, однак можна зобразити на комплексній проєктивній площині.
Координата
Мебіус задав питання, чи існує пара багатокутників із p сторонами в кожному, що мають таку властивість, що кожна вершина одного багатокутника лежить на прямій, яка проходить через сторону іншого, і навпаки. Якщо така пара існує, вершини і сторони цих багатокутників мають утворювати проєктивну конфігурацію. Для p = 4 ця задача не має розв'язку на евклідовій площині, проте Кантор знайшов пару багатокутників такого типу в узагальненому варіанті задачі, в якому вершини і ребра належать комплексній проєктивній площині. Таким чином, у розв'язку Кантора координатами вершин багатокутника є комплексні числа. Розв'язок Кантора для p = 4, пара взаємно вписаних чотирикутників на комплексній проєктивній площині, називають конфігурацією Мебіуса — Кантора.
Коксетер запропонував такі прості однорідні координати для восьми точок конфігурації Мебіуса — Кантора:
- (1,0,0), (0,0,1), (ω, −1, 1), (−1, 0, 1),
- (−1,ω2,1), (1,ω,0), (0,1,0), (0,−1,1), де ω позначає комплексний кубічний корінь з 1.
Абстрактна модель інциденцій
У загальнішому вигляді конфігурацію Мебіуса — Кантора можна описати як систему восьми точок і восьми трійок точок, у якій кожна точка входить рівно в три трійки. За додаткових умов (природних для точок і прямих), а саме, що ніяка пара точок не належить більш ніж двом трійкам і що ніякі дві трійки не мають у перетині більше двох точок, будь-які дві системи цього типу еквівалентні з точністю до перестановки точок. Таким чином, конфігурація Мебіуса — Кантора є єдиною проєктивною конфігурацією типу (8383).
Граф Мебіуса — Кантора отримав своє ім'я від конфігурації Мебіуса — Кантора, оскільки він є графом Леві цієї конфігурації. Граф має одну вершину для кожної точки конфігурації і по вершині для кожної трійки, а ребра з'єднують дві вершини, якщо одна вершина відповідає точці, а інша — трійці, яка містить цю точку.
Точки і прямі конфігурації Мебіуса — Кантора можна описати як матроїд, елементами якого є точки конфігурації, а нетривіальні бази — це прямі конфігурації. У цьому матроїді множина S точок є незалежною тоді й лише тоді, коли або |S| ≤ 2, або S складається з трьох неколінеарних точок. Даний матроїд отримав назву матроїда Маклейна, після того як [ru] довів, що такий матроїд не може бути орієнтованим. Це один з небагатьох відомих [en] неорієнтованих матроїдів.
Споріднені конфігурації
Розв'язок задачі Мебіуса про взаємно вписані багатокутники для значень p більше чотирьох також становить інтерес. Зокрема, одинз можливих розв'язків для p = 5 — це конфігурація Дезарга з 10 точок і 10 прямих, що допускає реалізацію в евклідовому просторі. Конфігурація Мебіуса — це тривимірний аналог конфігурації Мебіуса — Кантора, що складається з двох взаємно вписаних тетраедрів.
Конфігурацію Мебіуса — Кантора можна розширити, додавши чотири прямих через чотири пари точок, які до цього не були з'єднані прямими, і додавши дев'яту точку на перетині цих чотирьох прямих. Результатом буде [en], яку, як і конфігурацію Мебіуса — Кантора, можна реалізувати в комплексних координатах, але не в дійсних. Видалення будь-якої точки з конфігурації Гессе дає копію конфігурації Мебіуса — Кантора.
Примітки
Література
- H. S. M. Coxeter. Self-dual configurations and regular graphs // Bulletin of the American Mathematical Society. — 1950. — Т. 56, вип. 5 (4 липня). — С. 413–455. — DOI: ..
- Igor V. Dolgachev. The Fano Conference. — Univ. Torino, Turin, 2004. — С. 423–462..
- S. Kantor. Über die Configurationen (3, 3) mit den Indices 8, 9 und ihren Zusammenhang mit den Curven dritter Ordnung // Sitzungsberichte der Mathematisch-Naturwissenschaftlichen Classe der Kaiserlichen Akademie der Wissenschaften, Wien. — 1882. — Т. 84, вип. 1 (4 липня). — С. 915–932..
- MacLane, Saunders. Some Interpretations of Abstract Linear Dependence in Terms of Projective Geometry // American Journal of Mathematics. — 1936. — Т. 58, вип. 1 (4 липня). — С. 236–240. — DOI: ..
- A. F. Möbius. Kann von zwei dreiseitigen Pyramiden eine jede in Bezug auf die andere um- und eingeschrieben zugleich heissen? // J. Reine Angew. Math.. — 1828. — Т. 3 (4 липня). — С. 273–278.. В Gesammelte Werke (1886), том 1, стр. 439—446.
- Günter M. Ziegler. Some minimal non-orientable matroids of rank three // Geometriae Dedicata. — 1991. — Т. 38, вип. 3 (4 липня). — С. 365–371. — DOI: ..
Посилання
- Weisstein, Eric W. Möbius-Kantor Configuration(англ.) на сайті Wolfram MathWorld.
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Konfigura ciya Me biusa Ka ntora konfiguraciya sho skladayetsya z vosmi tochok i vosmi pryamih taka sho na kozhnij pryamij lezhat po tri tochki i cherez kozhnu tochku prohodyat po tri pryamih Nemozhlivo zobraziti tochki i pryami z ciyeyu modellyu incidentnosti na evklidovij ploshini odnak mozhna zobraziti na kompleksnij proyektivnij ploshini Konfiguraciya Mebiusa KantoraKoordinataMebius zadav pitannya chi isnuye para bagatokutnikiv iz p storonami v kozhnomu sho mayut taku vlastivist sho kozhna vershina odnogo bagatokutnika lezhit na pryamij yaka prohodit cherez storonu inshogo i navpaki Yaksho taka para isnuye vershini i storoni cih bagatokutnikiv mayut utvoryuvati proyektivnu konfiguraciyu Dlya p 4 cya zadacha ne maye rozv yazku na evklidovij ploshini prote Kantor znajshov paru bagatokutnikiv takogo tipu v uzagalnenomu varianti zadachi v yakomu vershini i rebra nalezhat kompleksnij proyektivnij ploshini Takim chinom u rozv yazku Kantora koordinatami vershin bagatokutnika ye kompleksni chisla Rozv yazok Kantora dlya p 4 para vzayemno vpisanih chotirikutnikiv na kompleksnij proyektivnij ploshini nazivayut konfiguraciyeyu Mebiusa Kantora Vsi krim odniyeyi liniyi konfiguraciyi mozhna zobraziti pryamimi vsi odnochasno ne mozhna Kokseter zaproponuvav taki prosti odnoridni koordinati dlya vosmi tochok konfiguraciyi Mebiusa Kantora 1 0 0 0 0 1 w 1 1 1 0 1 1 w2 1 1 w 0 0 1 0 0 1 1 de w poznachaye kompleksnij kubichnij korin z 1 Abstraktna model incidencijGraf Mebiusa Kantora graf Levi konfiguraciyi Mebiusa Kantora Vershini odnogo koloru predstavlyayut tochki konfiguraciyi a vershini inshogo koloru predstavlyayut pryami U zagalnishomu viglyadi konfiguraciyu Mebiusa Kantora mozhna opisati yak sistemu vosmi tochok i vosmi trijok tochok u yakij kozhna tochka vhodit rivno v tri trijki Za dodatkovih umov prirodnih dlya tochok i pryamih a same sho niyaka para tochok ne nalezhit bilsh nizh dvom trijkam i sho niyaki dvi trijki ne mayut u peretini bilshe dvoh tochok bud yaki dvi sistemi cogo tipu ekvivalentni z tochnistyu do perestanovki tochok Takim chinom konfiguraciya Mebiusa Kantora ye yedinoyu proyektivnoyu konfiguraciyeyu tipu 8383 Graf Mebiusa Kantora otrimav svoye im ya vid konfiguraciyi Mebiusa Kantora oskilki vin ye grafom Levi ciyeyi konfiguraciyi Graf maye odnu vershinu dlya kozhnoyi tochki konfiguraciyi i po vershini dlya kozhnoyi trijki a rebra z yednuyut dvi vershini yaksho odna vershina vidpovidaye tochci a insha trijci yaka mistit cyu tochku Tochki i pryami konfiguraciyi Mebiusa Kantora mozhna opisati yak matroyid elementami yakogo ye tochki konfiguraciyi a netrivialni bazi ce pryami konfiguraciyi U comu matroyidi mnozhina S tochok ye nezalezhnoyu todi j lishe todi koli abo S 2 abo S skladayetsya z troh nekolinearnih tochok Danij matroyid otrimav nazvu matroyida Maklejna pislya togo yak ru doviv sho takij matroyid ne mozhe buti oriyentovanim Ce odin z nebagatoh vidomih en neoriyentovanih matroyidiv Sporidneni konfiguraciyiRozv yazok zadachi Mebiusa pro vzayemno vpisani bagatokutniki dlya znachen p bilshe chotiroh takozh stanovit interes Zokrema odinz mozhlivih rozv yazkiv dlya p 5 ce konfiguraciya Dezarga z 10 tochok i 10 pryamih sho dopuskaye realizaciyu v evklidovomu prostori Konfiguraciya Mebiusa ce trivimirnij analog konfiguraciyi Mebiusa Kantora sho skladayetsya z dvoh vzayemno vpisanih tetraedriv Konfiguraciyu Mebiusa Kantora mozhna rozshiriti dodavshi chotiri pryamih cherez chotiri pari tochok yaki do cogo ne buli z yednani pryamimi i dodavshi dev yatu tochku na peretini cih chotiroh pryamih Rezultatom bude en yaku yak i konfiguraciyu Mebiusa Kantora mozhna realizuvati v kompleksnih koordinatah ale ne v dijsnih Vidalennya bud yakoyi tochki z konfiguraciyi Gesse daye kopiyu konfiguraciyi Mebiusa Kantora Primitki Mobius 1828 Kantor 1882 Coxeter 1950 MacLane 1936 Ziegler 1991 Dolgachev 2004 LiteraturaH S M Coxeter Self dual configurations and regular graphs Bulletin of the American Mathematical Society 1950 T 56 vip 5 4 lipnya S 413 455 DOI 10 1090 S0002 9904 1950 09407 5 Igor V Dolgachev The Fano Conference Univ Torino Turin 2004 S 423 462 S Kantor Uber die Configurationen 3 3 mit den Indices 8 9 und ihren Zusammenhang mit den Curven dritter Ordnung Sitzungsberichte der Mathematisch Naturwissenschaftlichen Classe der Kaiserlichen Akademie der Wissenschaften Wien 1882 T 84 vip 1 4 lipnya S 915 932 MacLane Saunders Some Interpretations of Abstract Linear Dependence in Terms of Projective Geometry American Journal of Mathematics 1936 T 58 vip 1 4 lipnya S 236 240 DOI 10 2307 2371070 A F Mobius Kann von zwei dreiseitigen Pyramiden eine jede in Bezug auf die andere um und eingeschrieben zugleich heissen J Reine Angew Math 1828 T 3 4 lipnya S 273 278 V Gesammelte Werke 1886 tom 1 str 439 446 Gunter M Ziegler Some minimal non orientable matroids of rank three Geometriae Dedicata 1991 T 38 vip 3 4 lipnya S 365 371 DOI 10 1007 BF00181199 PosilannyaWeisstein Eric W Mobius Kantor Configuration angl na sajti Wolfram MathWorld