Русская Википедия:Конечная геометрия
Конечная геометрия — геометрическая система, имеющая конечное количество точек. Например, евклидова геометрия не является конечной, так как евклидова прямая содержит неограниченное число точек, а точнее говоря, содержит ровно столько точек, сколько существует вещественных чисел. Конечная геометрия может иметь любое конечное число измерений.
Конечные геометрии могут описываться линейной алгеброй, как векторные пространства и подобные структуры над конечным полем, которые называются геометриями Галуа, или могут описываться полностью комбинаторно. Многие, но не все, конечные геометрии являются геометриями Галуа, — например, любое проективное пространство размерностью три или более является изоморфным проективному пространству над конечным полем (проективизации векторного пространства над конечным полем), и в этом случае различий нет, но в размерности два существуют проективные плоскости, которые не являются изоморфными проективным пространствам над конечными полями. Они являются недезарговыми плоскостями. Таким образом в размерности два различия имеются.
Конечные плоскости
Следующие замечания касаются только конечных плоскостей.
Существуют два вида геометрии на плоскости: аффинная и проективная. В аффинной геометрии используется обычное понятие параллельности прямых. В проективной геометрии наоборот, любые две прямые пересекаются в единственно возможной точке, и потому параллельных прямых не существует. Как конечная аффинная геометрия на плоскости, так и конечная проективная геометрия на плоскости могут быть описаны достаточно простыми аксиомами. Аффинная геометрия на плоскости — это непустое множество <math>X</math> (элементы которого называются «точками»), с непустым набором <math>L</math> подмножеств <math>X</math> (элементы которого называются «прямая»), таких, что:
- Для двух различных точек существует только одна прямая, которая содержит обе точки.
- Аксиома параллельности Евклида: Для прямой <math>\ell</math> и точки <math>p</math>, не принадлежащей <math>\ell</math>, существует одна и только одна прямая <math>\ell'</math>, содержащая <math>p</math>, такая, что <math>\ell \cap \ell' = \varnothing</math>.
- Существует множество из четырёх точек, никакие три из которых не лежат на одной прямой.
Последняя аксиома обеспечивает, что геометрия не пуста, тогда как первые две описывают её природу.
Простейшая аффинная плоскость содержит лишь 4 точки, и называется аффинной плоскостью второго порядка. Каждая пара точек определяет уникальную прямую, поэтому указанная плоскость содержит 6 прямых. Это аналогично тетраэдру, у которого непересекающиеся рёбра рассматриваются как «параллельные», или квадрату, у которого параллельными считаются не только противоположные стороны, но и диагонали также рассматриваются как параллельные.
В более общем случае, конечная аффинная плоскость порядка <math>n</math> имеет <math>n^2</math> точек и <math>n^2+n</math> прямых; каждая прямая содержит <math>n</math> точек, и каждая точка принадлежит <math>n+1</math> прямой.
Проективная геометрия на плоскости является непустым множеством <math>X</math> (элементы которого называются «точками»), вместе с непустым набором <math>L</math> подмножеств <math>X</math> (элементы которого называются «прямыми») таких что:
- Для любых двух различных точек существует только одна прямая, содержащая эти точки.
- Пересечение двух различных прямых содержит ровно одну точку.
- Существует множество из четырёх точек, никакие три из которых не принадлежат одной прямой.
Первые две аксиомы почти идентичны, разве что роли точек и прямых поменялись: это выводит на принцип двойственности проективной геометрии на плоскости, то есть можно считать, что верное утверждение остаётся верным, если заменить точки прямыми, а прямые точками.
Поскольку третья аксиома требует существования как минимум четырёх точек, плоскость должна содержать как минимум 7 точек, чтобы удовлетворить условиям первых двух аксиом. В этой простейшей из проективных плоскостей имеется также 7 прямых; каждая точка принадлежит трём прямым, и каждая прямая содержит три точки. Такую проективную плоскость часто называют «плоскостью Фано». Если какую-либо из линий удалить из плоскости вместе с принадлежащими ей точками, то в результате получим аффинную плоскость второго порядка. По этой причине плоскость Фано называется проективной плоскостью второго порядка.
В общем случае проективная плоскость порядка <math>n</math> имеет <math>n^2 + n + 1</math> точек и столько же линий (согласно упомянутому выше принципу двойственности). Каждая линия содержит <math>n+1</math> точек, и каждая точка принадлежит <math>n+1</math> прямой.
Перестановка семи точек плоскости Фано, которая переносит коллинеарные (такие, которые лежат на одной прямой) точки в коллинеарные точки называется «симметрией» плоскости. Полная группа симметрии имеет порядок 168 и изоморфна группе PSL(2,7) = PSL(3,2), и общей линейной группе GL(3,2).
Порядки плоскостей
Конечная плоскость порядка <math>n</math> — это такая плоскость, каждая прямая которой имеет <math>n</math> точек (для аффинной плоскости), или каждая прямая которой имеет <math>n+1</math> точку (для проективной плоскости). Для конечной геометрии остаётся открытым следующий важный вопрос:
- Всегда ли порядок конечной плоскости является степенью простого числа?
Гипотетически предполагается, что ответ на этот вопрос утвердительный, однако это остаётся недоказанным.
Аффинные и проективные плоскости порядка <math>n</math> существуют всякий раз, когда <math>n</math> является степенью простого числа, и происходят от конечного поля с <math>q=p^k</math> элементами. Плоскости, которые не происходят от конечных полей, тоже существуют. Наименьшая такая плоскость имеет порядок 9[1].
Все известные примеры имеют порядок степени простого числа; гипотеза что это верно подверждена в нескольких частных случаях. Наилучшим результатом в этом направлении является Шаблон:Iw[2], которая утверждает: если <math>n</math> есть положительное целое, которое имеет форму <math>4k+1</math> или <math>4k+2</math> и <math>n</math> не равняется сумме двух квадратов, тогда <math>n</math> не является порядком конечной плоскости.
В силу теоремы Ферма — Эйлера степень простого числа не может удовлетворять требованиям теоремы Брука — Райзера. Наименьшее целое, не являющееся степенью простого числа, и не отвечающее требованиям теоремы Брука — Райзера — это 10. Число 10 имеет форму <math>4k+2</math>, но равняется сумме квадратов <math>1^2+3^2</math>. Несуществование конечной плоскости порядка 10 было доказано с помощью компьютера в 1989 году.
Следующее наименьшее число, которое может не быть порядком конечной плоскости, — это 12, допущения для которого ещё не доказано, но и не опровергнуто.
Примечания
Литература
- Margaret Lynn Batten : Combinatorics of Finite Geometries. Cambridge University Press
- Dembowski: Finite Geometries.
- Шаблон:Citation
- Картеси Ф. Введение в конечные геометрии
Ссылки
- Шаблон:MathWorld
- Essay on Finite Geometry by Michael Greenberg Шаблон:Недоступная ссылка
- Finite geometry (Script)
- Finite Geometry Resources
- J. W. P. Hirschfeld, researcher on finite geometries
- AMS Column: Finite Geometries?
- Galois Geometry and Generalized Polygons Шаблон:Недоступная ссылка, intensive course in 1998
- Шаблон:Citation
