Недезаргова площина
Недезаргова площина — це проєктивна площина, яка не задовольняє теоремі Дезарга, іншими словами, яка не є дезарговою. Теорема Дезарга виконується у всіх проєктивних просторах розмірності, відмінної від 2[1], тобто, для всіх класичних проєктивних геометрій над полем (або тілом), проте Гільберт виявив, що деякі проєктивні площини не задовольняють теоремі.
Приклади
ред.Деякі приклади є скінченними геометріями. Для скінченної проєктивної площини порядок на одиницю менший від числа точок на прямій (це константа для всіх прямих). Деякі приклади недезаргових площин:
- Площина Молтона.
- Будь-яка проєктивна площина порядку, що не перевищує 8, є дезарговою, але існує три недезаргових площини порядку 9, кожна по 91 точці і 91 прямій[2]
- Площини Г'юза[en].
- Муфангові площини[en] над альтернативними тілами, які не є асоціативними, як, наприклад, проєктивна площина над октоніонами.
- Площини Голла[en].
- Площини Андре[en].
Класифікація
ред.За Вайбелем[3], Х. Ленц дав схему класифікації для проєктивних площин 1954 року[4] і її допрацював А. Барлотті 1957 року[5]. Ця схема класифікації ґрунтується на типах транзитивності точка-пряма, дозволених групою колінеації[en] площини і відома як класифікація проєктивних площин Ленца — Барлотті. Список 53 типів дано в книзі Дембовскі[6]. Таблиця відомих результатів про існування (для груп колінеації і площин, що мають такі групи колінеації) як для скінченного, так і нескінченного випадку, міститься на сторінці 126 книги. За словами Вайбеля, «36 із них існують як скінченні групи. Від 7 до 12 існують як скінченні проєктивні площини і 14 або 15 існують як нескінченні проєктивні площини.»
Існують і інші схеми класифікації. Одна з найпростіших схем базується на типі плоского тернарного кільця[en], яке можна використовувати для введення координат на проєктивній площині. Ці типи: поле, тіло, альтернативні тіла, напівполя[en], майже поля[en], праві майже поля[en], квазіполя[en] і праві квазіполя[en][7].
Конічні перетини
ред.У дезарговій проєктивній площині конічний перетин можна визначити різними еквівалентними способами. У недезаргових площинах доведення еквівалентності виявляються хибними і різні визначення можуть дати нееквівалентні об'єкти[8]. Остром Т. Г. запропонував назву конкоїд для цих подібних конічних перетинів фігур, але не навів формального визначення і термін, як видно, не набув поширення[9].
Існує кілька способів визначення конічних перетинів на дезаргових площинах:
- Множина абсолютних точок[10] полярності відома як конічний перетин фон Штаудта[en]. Якщо площина визначена над полем характеристики два, отримаємо тільки вироджені конічні перетини[en].
- Множина точок перетинів відповідних прямих двох пучків, які проєктивно, але не перспективно, пов'язані, відома як конічний перетин Штейнера[en]. Якщо пучки перспективно пов'язані, перетин вироджений.
- Множина точок, координати яких задовольняють незвідному однорідному рівнянню другого степеня.
Крім того, на скінченній дезарговій площині:
- Множина q + 1 точок, ніякі три з яких не колінеарні в PG(2,q), називають овалом. Якщо q непарне, овал є конічним перетином у сенсі пункту 3 вище.
- Конічний перетин Острома ґрунтується на узагальненнях гармонічних множин.
Артці дав приклад конічних перетинів Штейнера на муфанговій площині, які не є перетинами фон Штаудта[11]. Гарнер навів приклад конічного перетину фон Штаудта, який не є конічним перетином Острома на скінченній площині напівполя[8].
Примітки
ред.- ↑ Теорема Дезарга тривіально, але беззмістовно істинна в розмірності 1. Проблема виникає тільки в розмірності 2.
- ↑ див. книгу Рума і Кіркпатрика (Room, Kirkpatrick, 1971) з описом усіх чотирьох площин порядку 9.
- ↑ Weibel, 2007, с. 1296.
- ↑ Lenz, 1954, с. 20–31.
- ↑ Barlotti, 1957, с. 212–226.
- ↑ Dembowski, 1968, с. 124—5.
- ↑ Colbourn, Dinitz, 2007, с. 723, стаття про скінченну геометрію Лео Сторме.
- ↑ а б Garner, 1979, с. 132–138.
- ↑ Ostrom, 1981, с. 175–196.
- ↑ У просторі з полярністю (відображенням точок у прямі порядку два зі збереженням інцидентності) точка є абсолютною, якщо лежить на своєму образі, а пряма є абсолютною, якщо проходить через свій образ (точку).
- ↑ Artzy, 1971, с. 30–35.
Література
ред.- Albert A.A., Sandler R. An Introduction to Finite Projective Planes. — New York : Holt, Rinehart and Winston, 1968.
- Colbourn C.J., Dinitz J.H. Handbook of Combinatorial Designs. — 2nd. — Boca Raton : Chapman & Hall/ CRC, 2007. — ISBN 1-58488-506-8.
- Dembowski P. Finite Geometries. — Berlin : Springer Verlag, 1968.
- Hall M. Projective planes. — Transactions of the American Mathematical Society. — American Mathematical Society, 1943. — Т. 54. — С. 229–277. — DOI:
- Hughes D.R., Piper F.C. Projective Planes. — New York : Springer Verlag, 1973. — ISBN 0-387-90044-6.
- Kárteszi F. Introduction to Finite Geometries. — Amsterdam : North-Holland, 1976. — ISBN 0-7204-2832-7.
- Lüneburg H. Translation Planes. — Berlin : Springer Verlag, 1980. — ISBN 0-387-09614-0.
- Room T. G., Kirkpatrick P. B. Miniquaternion Geometry. — Cambridge : Cambridge University Press, 1971. — ISBN 0-521-07926-8.
- Sidorov L.A. Non-Desarguesian_geometry // [1] / Hazewinkel M. — Springer Science+Business Media B.V. / Kluwer Academic Publishers, 2001. — ISBN 978-1-55608-010-4. Архівовано з джерела 7 вересня 2017
- Stevenson F.W. Projective Planes. — San Francisco : W.H. Freeman and Company, 1972. — ISBN 0-7167-0443-9.
- Weibel C. Survey of Non-Desarguesian Planes // Notices of the AMS. — 2007. — Т. 54, вип. 10 (28 листопада). — С. 1294–1303. Архівовано з джерела 5 березня 2019. Процитовано 15 жовтня 2021.
- Lenz H. Kleiner desarguesscher Satz und Dualitat in projektiven Ebenen // Jahresbericht der Deutschen Mathematiker-Vereinigung. — 1954. — Т. 57 (28 листопада).
- Barlotti A. Le possibili configurazioni del sistema delle coppie punto-retta (A,a) per cui un piano grafico risulta (A,a)-transitivo // Boll. Un. Mat. Ital.. — 1957. — Т. 12 (28 листопада).
- Garner C.W.L. Conics in Finite Projective Planes // Journal of Geometry. — 1979. — Т. 12, вип. 2 (28 листопада). — DOI: .
- Artzy R. The Conic y=x2 in Moufang Planes // Aequationes Mathematicae. — 1971. — Т. 6 (28 листопада). — DOI: .
- Ostrom T.G. Conicoids: Conic-like figures in Non-Pappian planes // Geometry - von Staudt's Point of View / Plaumann P., Strambach K. — D. Reidel, 1981. — ISBN 90-277-1283-2.