Конечная геометрия - Finite geometry

Конечная аффинная плоскость порядка 2, содержащая 4 «точки» и 6 «прямых». Линии одного цвета «параллельны». Центр фигуры не является «точкой» этой аффинной плоскости, поэтому две зеленые «линии» не «пересекаются».

Конечная геометрия является любой геометрической системой , которая имеет только конечное число точек . Знакомая евклидова геометрия не конечна, потому что евклидова прямая содержит бесконечно много точек. Геометрия, основанная на графике, отображаемой на экране компьютера, где пиксели считаются точками, будет конечной геометрией. Хотя существует множество систем, которые можно назвать конечными геометриями, внимание в основном уделяется конечным проективным и аффинным пространствам из-за их регулярности и простоты. Другими важными типами конечной геометрии являются конечные плоскости Мебиуса или инверсивные плоскости и плоскости Лагерра , которые являются примерами общего типа, называемого плоскостями Бенца , и их многомерными аналогами, такими как высшие конечные инверсивные геометрии .

Конечная геометрия может быть построена с помощью линейной алгебры , начиная с векторных пространств над конечным полем ; Построенные таким образом аффинная и проективная плоскости называются геометриями Галуа . Конечная геометрия также может быть определена чисто аксиоматически. Наиболее распространенными конечными геометриями являются геометрии Галуа, поскольку любое конечное проективное пространство размерности три или больше изоморфно проективному пространству над конечным полем (то есть проективизации векторного пространства над конечным полем). Однако у размерности два есть аффинные и проективные плоскости, которые не изоморфны геометрии Галуа, а именно недезарговы плоскости . Аналогичные результаты справедливы и для других типов конечной геометрии.

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

Конечная аффинная плоскость порядка 3, содержащая 9 точек и 12 прямых.

Следующие замечания относятся только к конечным плоскостям . Есть два основных вида геометрии конечных плоскостей: аффинная и проективная . В аффинной плоскости применяется нормальный смысл параллельных прямых. В проективной плоскости , напротив, любые две прямые пересекаются в единственной точке, поэтому параллельных прямых не существует. И конечная аффинная плоская геометрия, и конечная проективная плоская геометрия могут быть описаны довольно простыми аксиомами .

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

Геометрия аффинной плоскости - это непустое множество X (элементы которого называются «точками») вместе с непустым набором L подмножеств X (элементы которого называются «линиями»), такое что:

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

Последняя аксиома гарантирует, что геометрия не является тривиальной (либо пустой, либо слишком простой, чтобы представлять интерес, например, одна линия с произвольным количеством точек на ней), в то время как первые две определяют характер геометрии.

Простейшая аффинная плоскость содержит всего четыре точки; она называется аффинной плоскостью порядка 2. (Порядок аффинной плоскости - это количество точек на любой прямой, см. ниже.) Поскольку никакие три не коллинеарны, любая пара точек определяет единственную прямую, и поэтому эта плоскость содержит шесть строк. Он соответствует тетраэдру, в котором непересекающиеся ребра считаются «параллельными», или квадрату, в котором «параллельными» считаются не только противоположные стороны, но и диагонали. В более общем смысле, конечная аффинная плоскость порядка n имеет n 2 точек и n 2 + n прямых; каждая строка содержит n точек, и каждая точка находится на n + 1 строках. Аффинная плоскость порядка 3 известна как конфигурация Гессе .

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

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

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

Анализ первых двух аксиом показывает, что они почти идентичны, за исключением того, что роли точек и линий поменялись местами. Это предполагает принцип двойственности для геометрий проективной плоскости, означающий, что любое истинное утверждение, действительное во всех этих геометриях, остается верным, если мы заменяем точки линиями, а линии точками. Наименьшая геометрия, удовлетворяющая всем трем аксиомам, содержит семь точек. В этой простейшей из проективных плоскостей также есть семь линий; каждая точка находится на трех линиях, и каждая линия содержит три точки.

Эту конкретную проективную плоскость иногда называют плоскостью Фано . Если какой - либо из линий удаляется из плоскости вместе с точками на этой линии, в результате чего геометрия является аффинная плоскость порядка плоскости 2. Фано называется на проективную плоскость порядка 2 , так как это единственный ( с точностью до изоморфизма) . В общем, проективная плоскость порядка n имеет n 2  +  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 k элементами. Плоскости, не полученные из конечных полей, также существуют (например, для ), но все известные примеры имеют порядок степени простого числа.

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

Если n является положительным целым числом в форме 4 k + 1 или 4 k + 2 и n не равно сумме двух целых квадратов , то n не встречается в порядке конечной плоскости.

Наименьшее целое число, не являющееся степенью простого числа и не охватываемое теоремой Брука – Райзера, равно 10; 10 имеет вид 4 k + 2 , но равно сумме квадратов 1 2 + 3 2 . Несуществование конечной плоскости порядка 10 было доказано компьютерным доказательством , завершившимся в 1989 г. - см. ( Lam 1991 ) подробности.

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

История

Отдельные примеры можно найти в работе Томаса Пенингтона Киркмана (1847) и систематическом развитии конечной проективной геометрии, данном фон Штаудтом (1856).

Первая аксиоматическая трактовка конечной проективной геометрии была разработана итальянским математиком Джино Фано . В своей работе по доказательству независимости набора аксиом для проективного n -пространства, которое он разработал, он рассматривал конечное трехмерное пространство с 15 точками, 35 линиями и 15 плоскостями (см. Диаграмму), в котором каждая линия имела только три точки. в теме.

В 1906 году Освальд Веблен и WH Bussey описали проективную геометрию, используя однородные координаты с элементами из поля Галуа GF ( q ). Когда используются n + 1 координаты, n -мерная конечная геометрия обозначается PG ( n, q ). Он возникает в синтетической геометрии и имеет связанную группу преобразований .

Конечные пространства трех или более измерений

О некоторых важных различиях между геометрией конечной плоскости и геометрией многомерных конечных пространств см. Аксиоматическое проективное пространство . Обсуждение многомерных конечных пространств в целом см., Например, в работах JWP Hirschfeld . Изучение этих многомерных пространств ( n ≥ 3 ) имеет много важных приложений в продвинутых математических теориях.

Аксиоматическое определение

Проективное пространство S может быть определенно аксиоматический как множества P (множество точек), вместе с набором L подмножеств P (множество линий), удовлетворяющим эти аксиомы:

  • Каждые две различные точки p и q находятся ровно на одной прямой.
  • Аксиома Веблена : если a , b , c , d - разные точки и прямые, проходящие через ab и cd, пересекаются, то совпадают прямые, проходящие через ac и bd .
  • На любой линии должно быть не менее 3 точек.

Последняя аксиома исключает приводимые случаи, которые можно записать как несвязное объединение проективных пространств вместе с двухточечными прямыми, соединяющими любые две точки в различных проективных пространствах. Более абстрактно, это может быть определено как структура инцидентности ( P , L , I ), состоящая из набора P точек, набора L прямых и отношения инцидентности I , определяющего, какие точки лежат на каких линиях.

Для получения конечного проективного пространства требуется еще одна аксиома:

  • Множество точек P - конечное множество.

В любом конечном проективном пространстве каждая строка содержит одинаковое количество точек, а порядок пространства определяется как на единицу меньше этого общего числа.

Подпространство проективного пространства - это подмножество X , такое, что любая прямая, содержащая две точки X, является подмножеством X (то есть полностью содержится в X ). Полное пространство и пустое пространство всегда являются подпространствами.

Геометрическая размерность пространства называется п , если это наибольшее число , для которого существует строго возрастающая цепочка подпространств этой формы:

Алгебраическая конструкция

Этим аксиомам удовлетворяет стандартная алгебраическая конструкция систем. Для тела D построить ( n + 1) -мерное векторное пространство над D (размерность векторного пространства - это количество элементов в базисе). Пусть P - одномерные (с одним образующим) подпространства, а L - 2-мерные (два независимых образующих) подпространства (замкнутые относительно векторного сложения) этого векторного пространства. Заболеваемость - это сдерживание. Если D конечно, то это должно быть конечное поле GF ( q ), поскольку по малой теореме Веддерберна все конечные тела являются полями. В этом случае эта конструкция дает конечное проективное пространство. Кроме того, если геометрическая размерность проективного пространства не меньше трех, то существует тело, из которого пространство может быть построено таким образом. Следовательно, все конечные проективные пространства геометрической размерности не менее трех определены над конечными полями. Конечное проективное пространство, определенное над таким конечным полем, имеет q + 1 точку на прямой, поэтому два понятия порядка совпадают. Такое конечное проективное пространство обозначается PG ( n , q ) , где PG обозначает проективную геометрию, n - геометрическое измерение геометрии, а q - размер (порядок) конечного поля, используемого для построения геометрии.

В общем, количество k -мерных подпространств PG ( n , q ) определяется произведением:

который является гауссовским биномиальным коэффициентом , q аналогом биномиального коэффициента .

Классификация конечных проективных пространств по геометрической размерности

  • Размер 0 (без линий): пространство представляет собой единую точку и настолько вырождено, что обычно игнорируется.
  • Размер 1 (ровно одна линия): все точки лежат на единственной прямой, называемой проективной линией .
  • Размер 2: есть как минимум 2 линии, и любые две линии пересекаются. Проективное пространство при n = 2 - проективная плоскость . Их гораздо сложнее классифицировать, поскольку не все они изоморфны PG ( d , q ) . В дезарговы плоскостях (те , которые изоморфны с PG (2, д ) ) удовлетворяет теоремы Дезарг и проективные плоскости над конечными полями, но есть много недезарговых самолетов .
  • Размер не менее 3: существуют две непересекающиеся линии. Теорема Веблена – Юнга утверждает в конечном случае, что любое проективное пространство геометрической размерности n ≥ 3 изоморфно PG ( n , q ) , n -мерному проективному пространству над некоторым конечным полем GF ( q ).

Наименьшее проективное трехпространство

PG (3,2), но не все линии нарисованы

Наименьшее 3-мерное проективное пространство находится над полем GF (2) и обозначается PG (3,2) . В нем 15 точек, 35 линий и 15 плоскостей. Каждая плоскость содержит 7 точек и 7 линий. Каждая строка содержит 3 точки. В геометрии, эти плоскости изоморфно к плоскости Фано .

Квадратная модель Fano 3-space

Каждая точка содержится в 7 строках. Каждая пара различных точек содержится ровно в одной прямой, и каждая пара различных плоскостей пересекается ровно на одной прямой.

В 1892 году Джино Фано первым рассмотрел такую ​​конечную геометрию.

Проблема школьницы Киркмана

PG (3,2) возникает как фон для решения проблемы школьницы Киркмана , которая гласит: «Пятнадцать школьниц ходят каждый день в пяти группах по три человека. Организуйте прогулку девочек в течение недели так, чтобы за это время каждая пара девочки гуляют вместе в группе только один раз ». Есть 35 различных комбинаций для прогулок девочек. Также есть 7 дней недели, по 3 девушки в каждой группе. Два из семи неизоморфных решений этой проблемы могут быть сформулированы в терминах структур в трехмерном пространстве Фано, PG (3,2), известных как упаковки . Распространение проективного пространства является разбиением ее точек на непересекающиеся линии, а упаковка является разбиением строк на непересекающиеся спреды. В PG (3,2) разброс представляет собой разделение 15 точек на 5 непересекающихся линий (по 3 точки на каждой линии), что соответствует расположению школьниц в определенный день. Упаковка PG (3,2) состоит из семи непересекающихся разворотов и, таким образом, соответствует полной неделе аранжировок.

Смотрите также

Заметки

Рекомендации

Внешние ссылки