Площина Фано

Матеріал з Вікіпедії — вільної енциклопедії.
Перейти до: навігація, пошук
Площина Фано
Дуальність площини Фано: Кожна точка відповідає прямій та навпаки.

В скінченній геометрії, площина Фано (від імені італійського математика Джино Фано[en]) — це скінченна проективна площина 2-го порядку, яка має найменшу можливу кількість точок та прямих — всього 7 точок і 7 прямих: кожна пряма проходить через три точки і через кожну точку проходить три прямі. Стандартне позначення для цієї площини, як для представника проективного простору, є PG(2,2), де скорочення PG означає англ. Projective Geometry, перший параметр — геометрична розмірність, другий — порядок.

Однорідні координати[ред.ред. код]

Площину Фано можна побудувати методами лінійної алгебри, як проективну площину над скінченним полем з двома елементами. Можна так само побудувати проективні площини над будь-яким іншим скінченним полем, але площина Фано буде найменшою.

Використовуючи стандартну побудову проективних просторів за допомогою однорідних координат, сім точок площини Фано можна помітити сімома ненульовими трійками двійкових цифр 001, 010, 011, 100, 101, 110 і 111. Для будь-якої пари точок p і q третя точка на прямій pq має мітку, що виходить з міток p і q додаванням по модулю 2. Іншими словами, точки площини Фано відповідають ненульовим точкам скінченного векторного простору розмірності 3 над скінченним полем 2-го порядку.

Згідно з цією побудовою площина Фано вважається дезарговою, хоча площина занадто мала, щоб містити невироджену конфігурацію Дезарга[en] (яка має 10 точок і 10 прямих).

Прямим площини Фано можна також приписати однорідні координати, знову використовуючи ненульові трійки двійкових цифр. У цій системі точка інцидентна прямій, якщо координати точки і координати прямої мають парне число позицій, в яких обидві координати є ненульовими бітами. Наприклад, точка 101 належить прямій 111, оскільки і пряма, і точка мають ненульові біти в двох однакових позиціях. В термінах лінійної алгебри, точка належить прямій, якщо внутрішній добуток векторів, що представляють точку і пряму, дорівнює нулю.

Прямі можна розділити на три типи:

  • На три прямі, у яких двійкові коди для точок мають 0 у фіксованій позиції. Так, на прямій 100 (що містить точки 001, 010 і 011) всі точки мають 0 в першій позиції. Прямі 010 і 001 мають ту ж властивість.
  • На три прямі, у яких двійковий код точки має одне і те саме значення в двох фіксованих позиціях. Так, на прямій 110 (що містить точки 001, 110 і 111) значення першої і другої позицій (координат) точок завжди одинакові. Прямі 101 і 011 мають аналогічну властивість.
  • На прямій, що залишилася, 111 (що містить точки 011, 101 і 110) кожен код має в точності два ненульових біта.

Симетрії[ред.ред. код]

Колінеації площини Фано відповідають перестановкам 3-бітного кода Грея

Перестановки семи точок площини Фано, які зберігають інцидентність точок (прямої), тобто коли точка, що лежить на прямій, виявляється на тій же прямій, називається «колінеацією», «автоморфізмом» або «симетрією» площини. Повною групою колінеації (чи групою автоморфізмов, або групою симетрії) є проективна лінійна група[en] PGL(3,2)[1], яка в даному випадку ізоморфна проективній спеціальній лінійній групі PSL(2,7)[en] = PSL(3,2) і загальній лінійній групі GL(3,2) (яка дорівнює PGL(3,2), оскільки поле має тільки один ненульовий елемент). Група складається зі 168 різних перестановок.

Група автоморфізмів складається з 6 класів спряженості[en].
Усі циклічні структури[en], за винятком циклу довжиною 7, однозначно визначають клас спряженості:

  • Fanoperm124.svg Тотожна перестановка
  • Fanoperm421.svg 21 перестановка двох 2-циклів
  • Fanoperm621.svg 42 перестановки 4-циклів і 2-циклів
  • Fanoperm521.svg 56 перестановок 3-циклів

48 перестановок з повним циклом довжини 7 утворюють два класи спряженності по 24 елементи в кожному:

  • Fanoperm713.svg A переходить в B, B в C, C в D. В цьому випадку D лежить на одній прямій з A і B.
  • Fanoperm265.svg A переходить в B, B в C, C в D. В цьому випадку D лежить на одній прямій з A і C.

Внаслідок теореми Редфілда — Пойа[en] число нееквівалентних розмальовок площини Фано в n кольорів дорівнює:

Конфігурації[ред.ред. код]

Площина Фано містить наступні різні конфігурації точок та прямих. Для кожного виду конфігурації число копій конфігурації, помножене на число симетрій площини, при якій конфігурація зберігається, дорівнює 168, розміру усієї групи симетрій.

  • Існує 7 точок і 24 симетрії, що зберігають ці точки.
  • Існує 7 прямих і 24 симетрії, що зберігають ці прямі.
  • Існує 7 варіантів вибору чотирикутника з чотирьох (невпорядкованих) точок, ніякі три з яких не лежать на одній прямій і 24 симетрії, які зберігають такий чотирикутник. Ці чотири точки утворюють доповнення прямої, яка є діагоналлю чотирикутника.
  • Існує 21 невпорядкована пара[en] точок, кожна з яких може бути переведена симетрією в будь-яку іншу невпорядковану пару. Для кожної невпорядкованої пари існує 8 симетрій, що зберігають її.
  • Існує 21 флаг[en], що складається з прямої і точки на ній. Кожен флаг відповідає невпорядкованій парі інших точок, що лежать на тій же прямій. Для кожного флага існує 8 різних симетрій, що зберігають його.
  • Існує 28 трикутників, які взаємно однозначно відповідають 28 подвійними дотичними квартиками[en] [2]. Для кожного трикутника існує шість симетрій, що зберігають його, по одному для кожної перестановки точок всередині трикутника.
  • Існує 28 способів вибору точки і прямої, не інцидентних одна одній (антифлаг) і шість способів перестановки площини Фано, що зберігають антифлаг. Для будь-якої пари неінцидентних точки і прямої (p,l) три точки, не рівні p і що не належать l, утворюють трикутник, і для будь-якого трикутника існує єдиний спосіб згрупувати чотири точки, що залишились, в антифлаг.
  • Існує 28 способів побудови шестикутника, в якому ніякі три послідовні вершини не лежать на одній прямій, і шість симетрій, що зберігають будь-який такий шестикутник.
  • Існує 42 впорядкованих пари точок і знову, кожна може бути переведена симетрією в будь-яку іншу впорядковану пару. Для впорядкованих пар існує 4 симетрії, які зберігають її.
  • Існує 42 способи вибору чотирикутника з чотирьох циклічно впорядкованих точок, ніякі три з яких не лежать на одній прямі, і чотири симетрії, що зберігають будь-який такий впорядкований чотирикутник. Для будь-якої неорієнтованої четвірки є два циклічних порядки.
  • Існує 84 способи вибору трикутника з точкою на цьому трикутнику і для кожного вибору існує дві симетрії, що зберігають цей вибір.
  • Існує 84 способи вибору п'ятикутника, при якому ніякі три послідовні вершини не лежать на одній прямій, і дві симетрії, що зберігають будь-який п'ятикутник.
  • Існує 168 різних способів вибору трикутника з впорядкуванням його трьох вершин і тільки одна тотожна симетрія, що зберігає цю конфігурацію.

Теоретико-групові побудови[ред.ред. код]

7 точок площини відповідають 7 неодиничним елементам групи (Z2)3 = Z2 × Z2 × Z2. Прямі площини відповідають підгрупам 4-го порядка, ізоморфним Z2 × Z2. Група автоморфізмів GL(3,2)[en] групи (Z2)3 є групою ізоморфізмів площини Фано і має порядок 168.

Блок-схеми[ред.ред. код]

Площина Фано є малою симетричною блок-схемою[en], а саме, схемою 2-(7,3,1). Точки схеми є точками площини, а блоки схеми є прямими площини. Таким чином, площина Фано є важливим прикладом теорії блок-схем.

Теорія матроїдів[ред.ред. код]

Докладніше: Матроїд

Площина Фано є одним з важливих прикладів в теорії матроїдів. Виключення площини Фано як мінору матроїда[en] необхідне для опису деяких важливих класів матроїдів, таких як правильний[en], графовий[en] та кографовий матроїди.

Якщо розбити одну пряму на три двохточкові прямі, отримаємо «нефанову конфігурацію», яку можна вкласти в дійсну площину. Це інший важливий приклад з теорії матроїдів, який слід виключити, щоб виконувалась велика кількість теорем.

Система Штейнера[ред.ред. код]

Докладніше: Система Штейнера

Площина Фано, як блок-схема, є системою трійок Штайнера[en]. А в такому разі, їй можна надати структуру квазігрупи. Ця квазігрупа співпадає з мультиплікативною структурою, визначеною одиницями октоніонів e1, e2, …, e7 (без 1) якщо знаки добутку октоніонів ігнорувати[3].

Тривимірний простір Фано[ред.ред. код]

PG(3,2), але не всі прямі намальовані

Площину Фано можна розширити на тривимірний випадок, щоб утворити найменший тривимірний проективний простір, а позначається він - PG(3,2). Простір має 15 точок, 35 прямих і 15 площин.

  • Кожна площина містить 7 точок і 7 прямих.
  • Кожна пряма містить 3 точки і міститься у 3-х площинах.
  • Площини ізоморфні площині Фано.
  • Кожна точка належить 7 прямим та 7 лініям.
  • Кожна пара різних точок належить рівно одній прямій.
  • Будь-яка пара різних площин перетинається по одній прямій.
  • Пряма і площина, що не містить лінію, перетинаються рівно в одній точці.

Див. також[ред.ред. код]

Примітки[ред.ред. код]

  1. Насправді це група PΓL(3,2), але скінченне поле 2-го порядку не має тотожного автоморфізму, тому група перетворюється на PGL(3,2).
  2. Manivel, 2006, с. 457–486
  3. Baez, 2002, с. 145–205

Література[ред.ред. код]

  • John Baez The Octonions. — Bull. Amer. Math. Soc.. — 2002. — Т. 39. — DOI:10.1090/S0273-0979-01-00934-X. (Online HTML version)
  • J. H. van Lint, R. M. Wilson A Course in Combinatorics. — Cambridge University Press, 1992. — С. 197.
  • L. Manivel. Configurations of lines and models of Lie algebras // Journal of Algebra. — 2006. — Т. 304, вип. 1. — ISSN 0021-8693. — DOI:10.1016/j.jalgebra.2006.04.029.
  • Burkard Polster (1998) A Geometrical Picture Book, Chapter 1: «Introduction via the Fano Plane», also pp 21, 23, 27, 29, 71, 73, 77, 112, 115, 116, 132, 174, Springer ISBN 0-387-98437-2 .

Посилання[ред.ред. код]