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

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

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

Координата

Мебіус[1] задав питання, чи існує пара багатокутників із p сторонами в кожному, що мають таку властивість, що кожна вершина одного багатокутника лежить на прямій, яка проходить через сторону іншого, і навпаки. Якщо така пара існує, вершини і сторони цих багатокутників мають утворювати проєктивну конфігурацію. Для p = 4 ця задача не має розв'язку на евклідовій площині, проте Кантор[2] знайшов пару багатокутників такого типу в узагальненому варіанті задачі, в якому вершини і ребра належать комплексній проєктивній площині. Таким чином, у розв'язку Кантора координатами вершин багатокутника є комплексні числа. Розв'язок Кантора для p = 4, пара взаємно вписаних чотирикутників на комплексній проєктивній площині, називають конфігурацією Мебіуса — Кантора.

Всі, крім однієї, лінії конфігурації можна зобразити прямими, всі одночасно — не можна

Коксетер[3] запропонував такі прості однорідні координати для восьми точок конфігурації Мебіуса — Кантора:

(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 складається з трьох неколінеарних точок. Даний матроїд отримав назву матроїда Маклейна, після того як Маклейн довів[4], що такий матроїд не може бути орієнтованим. Це один з небагатьох відомих мінорно-мінімальних неорієнтованих матроїдів[5].

Споріднені конфігурації

Розв'язок задачі Мебіуса про взаємно вписані багатокутники для значень p більше чотирьох також становить інтерес. Зокрема, одинз можливих розв'язків для p = 5 — це конфігурація Дезарга з 10 точок і 10 прямих, що допускає реалізацію в евклідовому просторі. Конфігурація Мебіуса — це тривимірний аналог конфігурації Мебіуса — Кантора, що складається з двох взаємно вписаних тетраедрів.

Конфігурацію Мебіуса — Кантора можна розширити, додавши чотири прямих через чотири пари точок, які до цього не були з'єднані прямими, і додавши дев'яту точку на перетині цих чотирьох прямих. Результатом буде конфігурація Гессе, яку, як і конфігурацію Мебіуса — Кантора, можна реалізувати в комплексних координатах, але не в дійсних[6]. Видалення будь-якої точки з конфігурації Гессе дає копію конфігурації Мебіуса — Кантора.

Примітки

Література

  • H. S. M. Coxeter. Self-dual configurations and regular graphs // Bulletin of the American Mathematical Society.  1950. Т. 56, вип. 5 (17 лютого). С. 413–455. DOI:10.1090/S0002-9904-1950-09407-5..
  • 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 (17 лютого). С. 915–932..
  • MacLane, Saunders. Some Interpretations of Abstract Linear Dependence in Terms of Projective Geometry // American Journal of Mathematics.  1936. Т. 58, вип. 1 (17 лютого). С. 236–240. DOI:10.2307/2371070..
  • 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 (17 лютого). С. 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 (17 лютого). С. 365–371. DOI:10.1007/BF00181199..

Посилання

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.