Конечная геометрия — это любая геометрическая система, имеющая конечное количество точек. Например, евклидова геометрия не является конечной, так как евклидова прямая содержит неограниченное число точек, а точнее говоря, содержит ровно столько точек, сколько существует вещественных чисел. Конечная геометрия может иметь любое конечное число измерений.

Конечные геометрии могут описываться линейной алгеброй, как векторные пространства и подобные структуры над конечным полем, которые называются геометриями Галуа, или могут описываться полностью комбинаторно. Многие, но не все, конечные геометрии являются геометриями Галуа, — например, любое проективное пространство размерностью три или более является изоморфным проективному пространству над конечным полем (проективизация векторного поля над конечным полем), и в этом случае различий нет, но в размерности два существуют комбинаторно определённые проективные плоскости, которые не являются изоморфными к проективным пространствам над конечными полями, и названы недезарговыми плоскостями, поэтому в этом случае различия имеются.

Конечные плоскости

Следующие замечания касаются только конечных плоскостей.

Существуют два вида геометрии на плоскости: аффинная и проективная. В аффинной геометрии используется обычное понятие параллельности прямых. В проективной геометрии наоборот, любые две прямые пересекаются в единственно возможной точке, и потому параллельных прямых не существует. Как конечная аффинная геометрия на плоскости, так и конечная проективная геометрия на плоскости могут быть описаны достаточно простыми аксиомами. Аффинная геометрия на плоскости — это непустое множество (элементы которого называются «точками»), с непустым набором подмножеств (элементы которого называются «прямая»), таких, что:

1. Для двух различных точек существует только одна прямая, которая содержит обе точки.
2. Аксиома параллельности Евклида: Для прямой и точки , не принадлежащей , существует одна и только одна прямая , содержащая , такая, что
3. Существует множество из четырёх точек, никакие три из которых не лежат на одной прямой.

Последняя аксиома обеспечивает, что геометрия не пуста, тогда как первые две описывают её природу.

Простейшая аффинная плоскость содержит лишь 4 точки, и называется аффинной плоскостью второго порядка. Каждая пара точек определяет уникальную прямую, поэтому указанная плоскость содержит 6 прямых. Это аналогично тетраэдру, у которого непересекающиеся рёбра рассматриваются как «параллельные», или квадрату, у которого параллельными считаются не только противоположные стороны, но и диагонали также рассматриваются как параллельные.

В более общем случае, конечная аффинная плоскость порядка имеет точек и прямых; каждая прямая содержит точек, и каждая точка принадлежит прямой.

Проективная геометрия на плоскости является непустым множеством (элементы которого называются «точками»), вместе с непустым набором подмножеств (элементы которого называются «прямыми») таких что:

1. Для любых двух различных точек существует только одна прямая, содержащая эти точки.
2. Пересечение двух различных прямых содержит ровно одну точку.
3. Существует множество из четырёх точек, никакие три из которых не принадлежат одной прямой.

Рассмотрение первых двух аксиом показывает, что они почти идентичны, разве что роли точек и прямых поменялись. Это подсказывает нам принцип двойственности проективной геометрии на плоскости, то есть можно считать, что верное утверждение остаётся верным, если заменить точки прямыми, а прямые точками.

Поскольку третья аксиома требует существования как минимум четырёх точек, плоскость должна содержать как минимум 7 точек, чтобы удовлетворить условиям первых двух аксиом. В этой простейшей из проективных плоскостей имеется также 7 прямых; каждая точка принадлежит трём прямым, и каждая прямая содержит три точки. Такую проективную плоскость часто называют "плоскостью Фано". Если какую-либо из линий удалить из плоскости вместе с принадлежащими ей точками, то в результате получим аффинную плоскость второго порядка. По этой причине плоскость Фано называется проективной плоскостью второго порядка.

В общем случае проективная плоскость порядка n имеет точек и столько же линий (согласно упомянутому выше принципу двойственности). Каждая линия содержит точек, и каждая точка принадлежит прямой.

Перестановка семи точек плоскости Фано, которая переносит колинеарные (такие, которые лежат на одной прямой) точки в колинеарные точки називается "симметрией" плоскости. Полная группа симметрии имеет порядок 168 и изоморфна группе PSL(2,7) = PSL(3,2), и общей линейной группе GL(3,2).

Порядки плоскостей

Конечная плоскость порядка n — это такая плоскость, каждая прямая которой имеет n точек (для аффинной плоскости), или каждая прямая которой имеет точку (для проективной плоскости). Для конечной геометрии остаётся открытым следующий важный вопрос:

Всегда ли порядок конечной плоскости является степенью простого числа?

Гипотетически предполагается, что ответ на этот вопрос утвердительный, однако это остаётся недоказанным.

Аффинные и проективные плоскости порядка n существуют всякий раз, когда n является степенью простого числа, и происходят от конечного поля с элементами. Плоскости, которые не происходят от конечных полей, тоже существуют, но все известные примеры имеют порядок степени простого числа.

Наилучшим общим результатом является теорема Брука-Райзера от 1949 года, которая утверждает:

Если n есть положительное целое, которое имеет форму или и n не равняется сумме двух квадратов, тогда n не является порядком конечной плоскости.

Наименьшее целое, не являющееся простым числом, и не отвечающее требованиям теоремы Брука — Райзера — это 10. Число 10 имеет форму , но равняется сумме квадратов . Несуществование конечной плоскости порядка 10 было доказано с помощью компьютера в 1989 году.

Следующее наименьше число, которое может не быть порядком конечной плоскости, — это 12, допущения для которого ещё не доказано, но и не опровергнуто.

Примечания