Войти
Конечная аффинная плоскость порядка 2, содержащая 4 «точки» и 6 «прямых». Линии одного цвета «параллельны». Центр фигуры не является «точкой» этой аффинной плоскости, поэтому две зеленые «линии» не «пересекаются». A конечная геометрия - это любая геометрическая система, имеющая только конечное количество точек. Знакомая евклидова геометрия не конечна, потому что евклидова прямая содержит бесконечно много точек. Геометрия, основанная на графике, отображаемой на экране компьютера, где пикселей считаются точками, будет конечной геометрией. Хотя существует множество систем, которые можно было бы назвать конечными геометриями, внимание в основном уделяется конечным проективным и аффинным пространствам из-за их регулярности и простоты. Другими важными типами конечной геометрии являются конечные плоскости Мебиуса или инверсивные плоскости и плоскости Лагерра, которые являются примерами общего типа, называемого плоскостями Бенца, и их многомерными аналоги, такие как высшие конечные инверсивные геометрии.
Конечные геометрии могут быть построены с помощью линейной алгебры, начиная с векторных пространств над конечным полем ; Построенные таким образом аффинная и проективная плоскости называются геометриями Галуа. Конечная геометрия также может быть определена чисто аксиоматически. Наиболее распространенными конечными геометриями являются геометрии Галуа, поскольку любое конечное проективное пространство размерности три или больше изоморфно проективному пространству над конечным полем (то есть проективизации векторного пространства над конечным полем). Однако у измерения два есть аффинные и проективные плоскости, которые не изоморфны геометрии Галуа, а именно недезарговы плоскости. Аналогичные результаты справедливы и для других типов конечных геометрий.
Конечная аффинная плоскость порядка 3, содержащая 9 точек и 12 прямых. Следующие примечания применимы только к конечным плоскостям. Существует два основных вида геометрии конечной плоскости: аффинная и проективная. В аффинной плоскости применяется нормальный смысл параллельных линий. Напротив, в проективной плоскости любые две прямые пересекаются в единственной точке, поэтому параллельных прямых не существует. Как конечная аффинная плоская геометрия, так и конечная геометрия проективной плоскости могут быть описаны довольно простыми аксиомами.
Геометрия аффинной плоскости - это непустое множество X (элементы которого называются «точками») вместе с непустым набором L подмножеств X (элементы которого называются «линиями»), такие что:
и точка 
не на существует ровно одна строка 
, содержащая такая, что 
Последняя аксиома гарантирует, что геометрия нетривиальна ( либо пустой, либо слишком простой, чтобы представлять интерес, например, одна линия с произвольным количеством точек на ней), в то время как первые два определяют характер геометрии.
Простейшая аффинная плоскость содержит всего четыре точки; она называется аффинной плоскостью порядка 2. (Порядок аффинной плоскости - это количество точек на любой прямой, см. ниже.) Поскольку никакие три не коллинеарны, любая пара точек определяет единственную прямую, и поэтому эта плоскость содержит шесть строк. Он соответствует тетраэдру, в котором непересекающиеся ребра считаются «параллельными», или квадрату, в котором «параллельными» считаются не только противоположные стороны, но и диагонали. Вообще говоря, конечная аффинная плоскость порядка n имеет n точек и n + n прямых; каждая строка содержит n точек, и каждая точка находится на n + 1 строках. Аффинная плоскость порядка 3 известна как конфигурация Гессе.
Геометрия проективной плоскости - это непустое множество X (элементы которого называются «точками») вместе с непустым совокупность L подмножеств X (элементы которых называются «линиями»), такая что:
Двойственность в плоскости Фано : Каждая точка соответствует линия и наоборот. Исследование первых двух аксиом показывает, что они почти идентичны, за исключением того, что роли точек и линий поменялись местами. Это предполагает принцип двойственности для геометрий проективной плоскости, означающий, что любое истинное утверждение, действительное во всех этих геометриях, остается верным, если мы меняем точки на линии и линии на точки. Наименьшая геометрия, удовлетворяющая всем трем аксиомам, содержит семь точек. В этой простейшей проективной плоскости также есть семь линий; каждая точка находится на трех линиях, и каждая линия содержит три точки.
Плоскость Фано Эту конкретную проективную плоскость иногда называют плоскостью Фано. Если любая из прямых удаляется из плоскости вместе с точками на этой прямой, результирующая геометрия является аффинной плоскостью порядка 2. Плоскость Фано называется проективной плоскостью порядка 2, потому что она единственное (с точностью до изоморфизма). В общем, проективная плоскость порядка n имеет n + n + 1 точку и такое же количество прямых; каждая строка содержит n + 1 точку, и каждая точка находится на n + 1 строках.
Перестановка семи точек плоскости Фано, которая переносит коллинеарные точки (точки на одной линии) в коллинеарные точки, называется коллинеарностью плоскости. Полная группа коллинеаций имеет порядок 168 и изоморфна группе PSL (2,7) ≈ PSL (3,2), которая в этом частном случае также изоморфна группе общая линейная группа GL (3,2) ≈ PGL (3,2).
Конечная плоскость порядка n такая, что каждая линия имеет n точек (для аффинной плоскости) или такая, что каждая линия имеет n +1 балл (за проективную плоскость). Один из основных открытых вопросов в конечной геометрии:
Предполагается, что это правда.
Аффинная и проективная плоскости порядка n существуют, когда n является степенью простого (простое число, возведенное в положительное целое число показатель ), используя аффинную и проективную плоскости над конечным полем с n = p элементами. Плоскости, не полученные из конечных полей, также существуют (например, для 
Лучшее общим результатом на сегодняшний день является теорема Брука – Райзера 1949 г., которая гласит:
Наименьшее целое число, которое не является степенью простого числа и не покрывается теоремой Брука – Райзера 10; 10 имеет вид 4k + 2, но он равен сумме квадратов 1 + 3. Несуществование конечной плоскости порядка 10 было доказано в компьютерном доказательстве, которое закончилось в 1989 - подробности см. В (Лам 1991).
Следующее наименьшее число, которое следует учитывать, - 12, для которого не было доказано ни положительного, ни отрицательного результата.
Отдельные примеры можно найти в работе Томаса Пенингтона Киркмана (1847) и систематическом развитии конечной проективной геометрии, данном фон Штаудом (1856 г.).
Первая аксиоматическая трактовка конечной проективной геометрии была разработана итальянским математиком Джино Фано. В своей работе по доказательству независимости набора аксиом для проективного n-пространства, которое он разработал, он рассмотрел конечное трехмерное пространство с 15 точками, 35 линиями и 15 плоскостями (см. Диаграмму), в котором каждая линия имела только три точки.
В 1906 году Освальд Веблен и WH Bussey описали проективную геометрию, используя однородные координаты с записями из Поле Галуа GF (q). Когда используются n + 1 координаты, n-мерная конечная геометрия обозначается PG (n, q). Он возникает в синтетической геометрии и имеет связанную группу преобразований .
Для некоторых важных различий между геометрией конечных плоскостей и геометрией более высоких размерные конечные пространства, см. аксиоматическое проективное пространство. Обсуждение многомерных конечных пространств в целом см., Например, в работах J.W.P. Хиршфельд. Изучение этих многомерных пространств (n ≥ 3) имеет много важных приложений в передовых математических теориях.
A проективное пространство S может быть определено аксиоматически как множество P (множество точек) вместе с множеством L подмножеств P (множество прямых), удовлетворяющих этим аксиомы:
Последняя аксиома исключает приводимые случаи, которые могут быть записаны как несвязное объединение проективных пространств вместе с 2-точками прямые, соединяющие любые две точки в различных проективных пространствах. Более абстрактно, это может быть определено как структура инцидентности (P, L, I), состоящая из набора P точек, набора L линий и отношения инцидентности I, устанавливающего какие точки лежат на каких линиях.
Для получения конечного проективного пространства требуется еще одна аксиома:
В любом конечном проективном пространстве каждая строка содержит одинаковое количество точек и порядок пробел определяется как на единицу меньше этого общего числа.
Подпространство проективного пространства - это подмножество X, такое, что любая линия, содержащая две точки из X, является подмножеством X (то есть полностью содержится в X). Полное пространство и пустое пространство всегда являются подпространствами.
Геометрическая размерность пространства называется n, если это наибольшее число, для которого существует строго возрастающая цепочка подпространств этого вида:
Стандартная алгебраическая конструкция систем удовлетворяет этим требованиям аксиомы. Для тела D построить (n + 1) -мерное векторное пространство над D (размерность векторного пространства - это количество элементов в базисе). Пусть P - одномерные (с одним образующим) подпространства, а L - 2-мерные (два независимых образующих) подпространства (замкнутые относительно векторного сложения) этого векторного пространства. Заболеваемость - это сдерживание. Если D конечно, то это должно быть конечное поле GF (q), поскольку согласно маленькой теореме Веддерберна все конечные тела являются полями. В этом случае эта конструкция дает конечное проективное пространство. Кроме того, если геометрическая размерность проективного пространства не меньше трех, то существует тело, из которого пространство может быть построено таким образом. Следовательно, все конечные проективные пространства геометрической размерности не менее трех определены над конечными полями. Конечное проективное пространство, определенное над таким конечным полем, имеет q + 1 точку на прямой, поэтому два понятия порядка совпадают. Такое конечное проективное пространство обозначается PG (n, q), где PG обозначает проективную геометрию, n - геометрическое измерение геометрии, а q - размер (порядок) конечного поля, используемого для построения геометрии.
В общем, количество k-мерных подпространств PG (n, q) дается произведением:
который представляет собой биномиальный коэффициент Гаусса, аналог биномиального коэффициента .
PG (3,2), но не все линии нарисованы Наименьшее трехмерное проективное пространство находится над полем GF (2) и обозначается PG (3,2). В нем 15 точек, 35 линий и 15 плоскостей. Каждая плоскость содержит 7 точек и 7 линий. Каждая строка содержит 3 точки. Как и геометрия, эти плоскости изоморфны плоскости Фано.
Квадратная модель 3-мерного пространства Фано Каждая точка содержится в 7 линиях. Каждая пара различных точек содержится ровно в одной прямой, и каждая пара различных плоскостей пересекается ровно на одной прямой.
В 1892 году Джино Фано первым рассмотрел такую конечную геометрию.
PG (3,2) возникает как фон для решения проблемы школьницы Киркмана, которая гласит: «Пятнадцать школьниц ходят каждый день из пяти. группы по три человека. Организуйте прогулку девочек на неделю так, чтобы за это время каждая пара девочек гуляла вместе в группе только один раз ". Девочки могут ходить вместе по 35 различным комбинациям. Также есть 7 дней в неделю, по 3 девушки в каждой группе. Два из семи неизоморфных решений этой проблемы могут быть сформулированы в терминах структур в 3-пространстве Фано, PG (3,2), известных как упаковки. Распространение проективного пространства - это разбиение его точек на непересекающиеся линии, а упаковка - это разбиение прямых на непересекающиеся развертки. В PG (3,2) разброс представляет собой разделение 15 точек на 5 непересекающихся линий (по 3 точки на каждой линии), что соответствует расположению школьниц в определенный день. Упаковка PG (3,2) состоит из семи непересекающихся разворотов и, таким образом, соответствует полной неделе аранжировок.
