Проективная плоскость - Projective plane

Чертежи конечных проективных плоскостей порядков 2 ( плоскость Фано ) и 3 в виде сетки, показывающие метод создания таких чертежей для простых порядков
Эти параллельные линии пересекаются в точке схода «на бесконечности». В проективном плане это действительно так.

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

Художники эпохи Возрождения , развивая технику рисования в перспективе , заложили основу этой математической темы. Типичным примером является реальная проективная плоскость , также известная как расширенная евклидова плоскость . Этот пример, в несколько ином виде, важен в алгебраической геометрии , топологии и проективной геометрии, где он может по-разному обозначаться PG (2, R ) , RP 2 или P 2 ( R ), среди других обозначений. Есть много других проективных плоскостей, как бесконечных, таких как комплексная проективная плоскость , так и конечных, таких как плоскость Фано .

Проективная плоскость - это 2-мерное проективное пространство , но не все проективные плоскости могут быть вложены в 3-мерные проективные пространства. Такая вложимость является следствием свойства, известного как теорема Дезарга , не присущего всем проективным плоскостям.

Определение

Проективная плоскость состоит из набора строк , набора точек , а также соотношения между точками и линиями , называемой частотой , обладающей следующими свойствами:

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

Второе условие означает отсутствие параллельных линий . Последнее условие исключает так называемые вырожденные случаи (см. Ниже ). Термин «падение» используется, чтобы подчеркнуть симметричный характер отношений между точками и линиями. Таким образом, выражение «точка Р падает с линией л » используется вместо либо « Р находится на л » или « проходит через Р ».

Примеры

Расширенная евклидова плоскость

Чтобы превратить обычную евклидову плоскость в проективную плоскость, выполните следующие действия:

  1. Каждому параллельному классу прямых (максимальный набор взаимно параллельных линий) свяжите одну новую точку. Этот момент следует рассматривать как инцидент с каждой линией в своем классе. Добавленные новые точки отличаются друг от друга. Эти новые точки называются точками на бесконечности .
  2. Добавьте новую линию, которая считается инцидентной всем точкам на бесконечности (и никаким другим точкам). Эта линия называется в линию на бесконечности .

Расширенная структура является проективной плоскостью и называется расширенной евклидовой плоскостью или реальной проективной плоскостью . Описанный выше процесс, используемый для его получения, называется «проективным завершением» или проективизацией . Эта плоскость также может быть построена, начиная с R 3, рассматриваемого как векторное пространство, см. § Построение векторного пространства ниже.

Проективная плоскость Моултона

Мултон самолет . Линии, идущие вниз и вправо, изгибаются там, где они пересекают ось y .

Точки плоскости Моултона - это точки евклидовой плоскости с обычными координатами. Чтобы создать плоскость Моултона из евклидовой плоскости, некоторые линии переопределяются. То есть некоторые из их наборов точек будут изменены, но другие линии останутся неизменными. Переопределите все линии с отрицательным наклоном так, чтобы они выглядели как «изогнутые» линии, что означает, что эти линии сохраняют свои точки с отрицательными координатами x , но остальные их точки заменяются точками линии с тем же пересечением оси y. но удвоенный наклон везде, где их координата x положительна.

Плоскость Моултона имеет параллельные классы прямых и является аффинной плоскостью . Его можно проективизировать, как в предыдущем примере, чтобы получить проективную плоскость Моултона . Теорема Дезарга не является действительной теоремой ни на плоскости Моултона, ни на проективной плоскости Моултона.

Конечный пример

В этом примере всего тринадцать точек и тринадцать строк. Обозначим точки P 1 , ..., P 13 и прямые m 1 , ..., m 13 . Отношение инцидентности (какие точки на каких линиях) может быть задано следующей матрицей инцидентности . Строки помечаются точками, а столбцы - линиями. 1 в строке i и столбце j означает, что точка P i находится на линии m j , а 0 (который мы здесь представляем пустой ячейкой для удобства чтения) означает, что они не инцидентны. Матрица имеет нормальную форму Пейдж-Векслера.

Линии
Точки
м 1 м 2 м 3 м 4 м 5 м 6 м 7 м 8 м 9 м 10 м 11 м 12 м 13
П 1 1 1 1 1                  
П 2 1       1 1 1            
P 3 1             1 1 1      
Стр. 4 1                   1 1 1
Стр. 5   1     1     1     1    
Стр. 6   1       1     1     1  
Стр. 7 1 1 1 1
Стр. 8 1 1 1 1
Стр. 9 1 1 1 1
Стр. 10 1 1 1 1
Стр. 11 1 1 1 1
Стр. 12 1 1 1 1
Стр. 13 1 1 1 1

Чтобы проверить условия, которые делают это проективной плоскостью, заметьте, что каждые две строки имеют ровно один общий столбец, в котором появляются единицы (каждая пара различных точек находится ровно на одной общей линии), и что каждые два столбца имеют ровно одну общую строку, в которой Появляются единицы (каждая пара различных линий пересекается ровно в одной точке). Среди многих возможностей точки P 1 , P 4 , P 5 и P 8 , например, будут удовлетворять третьему условию. Этот пример известен как проективная плоскость третьего порядка .

Построение векторного пространства

Хотя может показаться, что бесконечно удаленная линия расширенной реальной плоскости имеет другую природу, чем другие линии этой проективной плоскости, это не так. Другая конструкция той же проективной плоскости показывает, что никакая линия не может быть отделена (по геометрическим причинам) от другой. В этой конструкции каждая «точка» реальной проективной плоскости является одномерным подпространством ( геометрической линией), проходящим через начало координат в трехмерном векторном пространстве, а «линия» в проективной плоскости возникает из ( геометрической ) плоскость через начало координат в 3-м пространстве. Эту идею можно обобщить и уточнить следующим образом.

Пусть K любое деление кольцо (skewfield). Пусть K 3 обозначает множество всех троек x = ( x 0 , x 1 , x 2 ) элементов K ( декартово произведение, рассматриваемое как векторное пространство ). Для любого ненулевого x в K 3 минимальное подпространство K 3, содержащее x (которое может быть визуализировано как все векторы на прямой, проходящей через начало координат), является подмножеством

из K 3 . Аналогично, пусть x и y являются линейно независимыми элементами K 3 , что означает, что kx + my = 0 влечет, что k = m = 0 . Минимальное подпространство K 3, содержащее x и y (которое может быть визуализировано как все векторы в плоскости, проходящей через начало координат), является подмножеством

из K 3 . Это 2-мерное подпространство содержит различные одномерные подпространства через начало координат, которые могут быть получены путем фиксации k и m и взятия кратных результирующего вектора. При выборе разных значений k и m с одинаковым соотношением будет получена одна и та же линия.

Проективная плоскость над K , обозначаемой PG (2, K ) или K P 2 , имеет множество точек , состоящие из всех 1-мерных подпространств в K 3 . Подмножество L точек PG (2, K ) представляет собой линию в PG (2, K ) , если существует 2-мерное подпространство K 3 , множество 1-мерных подпространств в точности л .

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

Альтернативный (алгебраический) взгляд на эту конструкцию следующий. Точки этой проективной плоскости являются классами эквивалентности множества K 3 ∖ {(0, 0, 0)} по модулю отношения эквивалентности

x ~ kx для всех k из K × .

Прямые на проективной плоскости определяются точно так же, как указано выше.

Координаты ( x 0 , x 1 , x 2 ) точки в PG (2, K ) называются однородными координатами . Каждая тройка ( x 0 , x 1 , x 2 ) представляет четко определенную точку в PG (2, K ), за исключением тройки (0, 0, 0), которая не представляет точки. Однако каждая точка в PG (2, K ) представлена ​​множеством троек.

Если K - топологическое пространство , то K P 2 наследует топологию через топологии произведения , подпространства и фактор- топологии.

Классические примеры

Вещественная проективная плоскость RP 2 , возникает тогда , когда К берется , чтобы быть действительными числами , R . Как замкнутое неориентируемое вещественное 2- многообразие , оно служит фундаментальным примером в топологии.

В этой конструкции рассмотрим единичную сферу с центром в начале координат в R 3 . Каждая из линий R 3 в этой конструкции пересекает сферу в двух противоположных точках. Поскольку линия R 3 представляет точку RP 2 , мы получим ту же модель RP 2 , идентифицируя противоположные точки сферы. Линии RP 2 будут большими кругами сферы после этого определения точек противоположностей. Это описание дает стандартную модель эллиптической геометрии .

Комплексный проективная плоскость СР - 2 , возникает тогда , когда К берется в комплексных числах , С . Это замкнутое комплексное 2-многообразие и, следовательно, замкнутое ориентируемое вещественное 4-многообразие. Это и проективные плоскости над другими полями (известные как паппиевы плоскости ) служат фундаментальными примерами в алгебраической геометрии .

Кватернионно- проективная плоскость HP 2 также представляет самостоятельный интерес.

Плоскости конечного поля

По теореме Веддерберна конечное тело должно быть коммутативным и, следовательно, быть полем. Таким образом, конечные примеры этой конструкции известны как «плоскости поля». Если взять K за конечное поле из q = p n элементов с простым p, получится проективная плоскость из q 2 + q + 1 точек. Плоскости поля обычно обозначаются PG (2, q ), где PG обозначает проективную геометрию, "2" - размерность, а q называется порядком плоскости (на единицу меньше, чем количество точек на любой прямой). . Плоскость Фано, обсуждаемая ниже, обозначается PG (2,2). Третий пример выше является проективной плоскости PG (2,3).

Самолет Фано. Точки показаны точками; линии показаны линиями или кружками.

Плоскость Фано является проективной плоскостью , возникающей из поля двух элементов. Это наименьшая проективная плоскость, состоящая всего из семи точек и семи линий. На рисунке справа семь точек показаны в виде маленьких шариков, а семь линий показаны в виде шести отрезков и круга. Однако можно было бы эквивалентно рассматривать шары как «линии», а отрезки и окружность - как «точки» - это пример двойственности в проективной плоскости: если линии и точки поменять местами, результат все равно останется проективная плоскость (см. ниже ). Перестановка семи точек, которая переносит коллинеарные точки (точки на одной прямой) в коллинеарные точки, называется коллинеацией или симметрией плоскости. Коллинеации геометрии образуют группу относительно композиции, и для плоскости Фано эта группа (PΓL (3,2) = PGL (3,2)) имеет 168 элементов.

Теорема Дезарга и дезарговы плоскости

Теорема Дезарг является общеобязательной в проективной плоскости тогда и только тогда , когда самолет может быть построен из трехмерного векторного пространства над skewfield как выше . Эти самолеты называются Desarguesian , в честь Жирара Дезарга . Реальный (или сложная) проективная плоскость и проективная плоскость порядка 3 данных выше примеры дезарговых проективных плоскостей. Проективные плоскости, которые не могут быть построены таким образом, называются недезарговыми плоскостями , и приведенная выше плоскость Моултона является примером одной из них. Обозначение PG (2, K ) зарезервировано для дезарговских плоскостей. Когда K является полем , что является очень распространенным случаем, они также известны как плоскости поля, и если поле является конечным полем, их можно назвать плоскостями Галуа .

Подпланы

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

( Bruck 1955 ) доказывает следующую теорему. Пусть Π конечная проективная плоскость порядка N с соответствующим подпланом П 0 порядком М . Тогда либо N = M 2 или NМ 2 + М .

Когда N является квадратом, подплоскости порядка N называются подплоскостями Бэра . Каждая точка плоскости лежит на одной линии подплоскости Бэра, и каждая линия плоскости содержит точку подплоскости Бэра.

В конечных дезарговых плоскостях PG (2, p n ) подплоскости имеют порядки, которые являются порядками подполей конечного поля GF ( p n ), то есть p i, где i - делитель n . Однако в недезарговских плоскостях теорема Брука дает единственную информацию о порядках подпланов. Случай равенства в неравенстве этой теоремы не известен. Существует ли подплоскость порядка M в плоскости порядка N с M 2 + M = N - вопрос открытый. Если бы такие подплоскости существовали, были бы проективные плоскости составного (непростого) порядка.

Подпланы Fano

Фано подплан является подплан изоморфна PG (2,2), уникальный проективная плоскость порядка 2.

Если вы рассматриваете четырехугольник (набор из 4 точек, не три из которых коллинеарны) в этой плоскости, точки определяют шесть линий плоскости. Остальные три точки (называемые диагональными точками четырехугольника) - это точки пересечения прямых, не пересекающихся в одной точке четырехугольника. Седьмая линия состоит из всех диагональных точек (обычно нарисованных в виде круга или полукруга).

В конечных дезарговых плоскостях PG (2, q ) подплоскости Фано существуют тогда и только тогда, когда q четно (то есть степень двойки). Ситуация в недезарговских самолетах неурегулирована. Они могли существовать в любом недезарговом плане порядка выше 6, и действительно, они были обнаружены во всех недезарговых планах, на которых их искали (как в нечетном, так и в четном порядке).

Открытый вопрос: каждая ли недезаргова плоскость содержит подплоскость Фано?

Теорема о подплоскостях Фано из ( Gleason 1956 ) такова:

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

Аффинные плоскости

Проективизация евклидовой плоскости произвела действительную проективную плоскость. Обратная операция - начиная с проективной плоскости, удаляем одну линию и все точки, соприкасающиеся с этой линией, - дает аффинную плоскость .

Определение

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

  1. Для любых двух различных точек существует ровно одна линия, инцидентная обеим из них.
  2. Для любой прямой l и любой точки P, не инцидентной l, существует ровно одна линия, инцидентная P, которая не пересекает l.
  3. Есть четыре точки, из которых ни одна линия не пересекается более чем с двумя.

Второе условие означает наличие параллельных линий и известно как аксиома Playfair . Выражение «не соответствует» в этом условии является сокращением для «не существует точки, инцидентной обеим линиям».

Евклидова плоскость и плоскость Моултона являются примерами бесконечных аффинных плоскостей. Конечная проективная плоскость создаст конечную аффинную плоскость, когда одна из ее прямых и точки на ней будут удалены. Порядок конечной аффинной плоскости является число точек на любой из его линий (это будет такое же количество , как и порядок проективной плоскости , из которой он выходит). Аффинные плоскости, которые возникают из проективных плоскостей PG (2, q ), обозначаются AG (2, q ).

Существует проективная плоскость порядка N , если и только если существует аффинная плоскость порядка N . Когда есть только одна аффинная плоскость порядка N, есть только одна проективная плоскость порядка N , но обратное неверно. Аффинные плоскости, образованные удалением различных прямых проективной плоскости, будут изоморфными тогда и только тогда, когда удаленные прямые находятся на одной орбите группы коллинеаций проективной плоскости. Эти утверждения верны и для бесконечных проективных плоскостей.

Построение проективных плоскостей из аффинных плоскостей

Аффинная плоскость K 2 над K вкладывается в K P 2 через карту, переводящую аффинные (неоднородные) координаты в однородные координаты ,

Дополнением изображения является множество точек вида (0, x 1 , x 2 ). С точки зрения только что данного вложения эти точки являются бесконечно удаленными . Они составляют линию в K P 2, а именно линию, выходящую из плоскости

в К 3 - называется бесконечно удаленной линией . Бесконечные точки - это «лишние» точки, где параллельные прямые пересекаются при построении расширенной реальной плоскости; точка (0, x 1 , x 2 ) - это место пересечения всех линий наклона x 2 / x 1 . Рассмотрим, например, две строки

в аффинной плоскости K 2 . Эти линии имеют наклон 0 и не пересекаются. Их можно рассматривать как подмножества K P 2 посредством вложения выше, но эти подмножества не являются прямыми в K P 2 . Добавьте точку (0, 1, 0) к каждому подмножеству; то есть пусть

Это строки в K P 2 ; ū возникает из самолета

в K 3 , а ȳ возникает из плоскости

Проективные прямые ū и ȳ пересекаются в точках (0, 1, 0). Фактически, все прямые в K 2 с наклоном 0, когда проецируются таким образом, пересекаются в (0, 1, 0) в K P 2 .

Приведенное выше вложение K 2 в K P 2 не единственно. Каждое вложение порождает свое собственное понятие бесконечно удаленных точек. Например, вложение

имеет в качестве дополнения те точки вида ( x 0 , 0, x 2 ), которые затем рассматриваются как бесконечно удаленные точки.

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

Обобщенные координаты

Можно построить координатное «кольцо» - так называемое плоское тройное кольцо (не настоящее кольцо), соответствующее любой проективной плоскости. Плоское тройное кольцо не обязательно должно быть полем или телом, и есть много проективных плоскостей, которые не построены из тела. Они называются недезарговскими проективными плоскостями и являются активной областью исследований. Кэли плоскость ( ОП 2 ), проективная плоскость над октонионами , является одним из них , потому что октонионы не образуют кольцо с разделением.

Наоборот, по планарному тернарному кольцу (R, T) можно построить проективную плоскость (см. Ниже). Отношения не один к одному. Проективной плоскости можно сопоставить несколько неизоморфных плоских тернарных колец. Тернарный оператор T может использоваться для создания двух бинарных операторов на множестве R:

a + b = T (a, 1, b) и
a • b = T (a, b, 0).

Тернарный оператор является линейным, если T (x, m, k) = x • m + k. Когда набор координат проективной плоскости фактически образует кольцо, линейный тернарный оператор может быть определен таким образом, используя операции кольца справа, чтобы создать плоское троичное кольцо.

Оказывается, что алгебраические свойства этого плоского тройного координатного кольца соответствуют геометрическим свойствам инцидентности плоскости. Например, теорема Дезарга соответствует координатному кольцу, полученному из тела , а теорема Паппа соответствует тому, что это кольцо получается из коммутативного поля. Проективная плоскость, универсально удовлетворяющая теореме Паппа, называется папповой плоскостью . Альтернативные , не обязательно ассоциативные , алгебры с делением, такие как октонионы, соответствуют плоскостям Муфанг .

Нет известного чисто геометрического доказательства чисто геометрического утверждения о том, что из теоремы Дезарга следует теорема Паппа в конечной проективной плоскости (конечные дезарговы плоскости папповы). (Обратное верно для любой проективной плоскости и геометрически доказуемо, но конечность важна в этом утверждении, поскольку существуют бесконечные дезарговы плоскости, которые не являются папповскими.) Наиболее распространенное доказательство использует координаты в телах и теорему Веддерберна о конечных телах. должен быть коммутативным; Бамберг и Пенттила (2015) приводят доказательство, использующее только более «элементарные» алгебраические факты о телах.

Чтобы описать конечную проективную плоскость порядка N (≥ 2) с помощью неоднородных координат и плоского тернарного кольца:

Обозначим одну точку ( ).
Обозначьте N точек, ( r ), где r = 0, ..., ( N  - 1).
Обозначьте N 2 точек, ( r , c ), где r , c = 0, ..., ( N  - 1).

По этим точкам постройте следующие линии:

Одна строка [ ] = {( ), (0), ..., ( N  - 1)}
N строк [ c ] = {( ), ( c , 0), ..., ( c , N  - 1)}, где c = 0, ..., ( N  - 1)
N 2 прямых [ r , c ] = {( r ) и точки ( x , T ( x , r , c ))}, где x , r , c = 0, ..., ( N  - 1) и T - тернарный оператор плоского тернарного кольца.

Например, для N = 2 мы можем использовать символы {0,1}, связанные с конечным полем порядка 2. Тернарная операция, определенная формулой T (x, m, k) = xm + k с операциями справа, умножение и сложение в поле дает следующее:

Одна линия [ ] = {( ), (0), (1)},
2 строки [ c ] = {( ), ( c , 0), ( c , 1): c = 0, 1},
[0] = {( ), (0,0), (0,1)}
[1] = {( ), (1,0), (1,1)}
4 строки [ r , c ]: ( r ) и точки ( i , ir + c ), где i = 0, 1: r , c = 0, 1.
[0,0]: {(0), (0,0), (1,0)}
[0,1]: {(0), (0,1), (1,1)}
[1,0]: {(1), (0,0), (1,1)}
[1,1]: {(1), (0,1), (1,0)}

Вырожденные самолеты

(Непустые) вырожденные проективные плоскости

Вырожденные плоскости не удовлетворяют третьему условию определения проективной плоскости. Они не являются достаточно сложными структурно, чтобы быть интересными сами по себе, но время от времени они возникают как частные случаи в общих аргументах. Согласно ( Albert & Sandler, 1968 ) существует семь видов вырожденных плоскостей . Они есть:

  1. пустой набор;
  2. одна точка, без линий;
  3. одна линия, без точек;
  4. одна точка, набор линий, точка инцидентна всем линиям;
  5. одна линия, набор точек, все точки соприкасаются с линией;
  6. точка P, инцидентная прямой m, произвольный набор прямых, инцидентных P, и произвольный набор точек, инцидентных прямой m;
  7. точка P, не инцидентная прямой m, произвольный (может быть пустым) набор прямых, инцидентных P, и все точки пересечения этих прямых с m.

Эти семь случаев не являются независимыми, четвертый и пятый можно рассматривать как частные случаи шестого, а второй и третий - частные случаи четвертого и пятого соответственно. Частный случай седьмой плоскости без дополнительных линий можно рассматривать как восьмую плоскость. Таким образом, все случаи могут быть организованы в два семейства вырожденных плоскостей следующим образом (это представление предназначено для конечных вырожденных плоскостей, но его можно естественным образом расширить до бесконечности):

1) Для любого количества точек P 1 , ..., P n и прямых L 1 , ..., L m ,

L 1 = { P 1 , P 2 , ..., P n }
L 2 = { P 1 }
L 3 = { P 1 }
...
L m = { P 1 }

2) Для любого количества точек P 1 , ..., P n и прямых L 1 , ..., L n (то же количество точек, что и прямых)

L 1 = { P 2 , P 3 , ..., P n }
L 2 = { P 1 , P 2 }
L 3 = { P 1 , P 3 }
...
L n = { P 1 , P n }

Коллинеации

Коллинеация проективной плоскости является биективное отображение плоскости на себя, переводящее точки на точки и линии для линий, пресервы падения, а это означает , что если σ биекция и точка P находится на прямой т, то P σ на м σ .

Если σ является коллинеация проективной плоскости, точка Р с Р = P σ называется фиксированной точкой из сг , а линия т с т = т σ называется фиксированной линии из  сг . Точки на фиксированной прямой не обязательно должны быть фиксированными, их изображения под σ просто должны лежать на этой прямой. Набор неподвижных точек и неподвижных линий коллинеации образует замкнутую конфигурацию , которая представляет собой систему точек и линий, удовлетворяющих первым двум, но не обязательно третьему условию в определении проективной плоскости. Таким образом, неподвижная точка и фиксированная линейная структура для любой коллинеации либо сами по себе образуют проективную плоскость, либо вырожденную плоскость . Коллинеации, фиксированная структура которых образует плоскость, называются плоскими коллинеациями .

Гомография

Гомография (или проективное преобразование ) из PG (2, К ) является коллинеацией этого типа проективной плоскости , которая представляет собой линейное преобразование основного векторного пространства. Используя однородные координаты, они могут быть представлены обратимыми матрицами 3 × 3 над K, которые действуют на точки PG (2, K ) посредством y = M x T , где x и y - точки в K 3 (векторах), а M - обратима 3 × 3 матрица над K . Две матрицы представляют собой одно и то же проективное преобразование, если одна из них является постоянным кратным другой. Таким образом, группа проективных преобразований является фактором общей линейной группы по скалярным матрицам, называемым проективной линейной группой .

Другой тип коллинеация PG (2, K ) индуцируется любой автоморфизм из K , которые называются автоморфными коллинеации . Если α - автоморфизм K , то коллинеация (x 0 , x 1 , x 2 ) → (x 0 α , x 1 α , x 2 α ) является автоморфной коллинеацией. Основная теорема проективной геометрии говорит , что все коллинеации PG (2, K ) представляют собой композиция homographies и автоморфных коллинеации. Автоморфные коллинеации - это плоские коллинеации.

Плоская двойственность

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

Меняя местами «точки» и «линии» в

C = ( P , L , I )

получаем двойственную структуру

С * = ( L , P , I *),

где I * есть обратная связь от I .

В проективной плоскости утверждение, включающее точки, линии и инцидентность между ними, которое получается из другого такого утверждения путем замены слов «точка» и «линия» и внесения любых необходимых грамматических корректировок, называется плоским двойственным утверждением первого утверждения. . Плоское двойственное утверждение: «Две точки находятся на единственной прямой». "Две линии встречаются в единственной точке". Формирование плоского двойственного высказывания называется дуализирующим высказыванием.

Если утверждение верно в проективной плоскости C, то плоскость, двойственная к этому утверждению, должна быть истинной в дуальной плоскости C *. Это следует из того, что дуализация каждого утверждения в доказательстве «в C» дает утверждение доказательства «в C *».

В проективной плоскости C можно показать, что существует четыре прямые, ни одна из которых не может быть параллельной. Дуализация этой теоремы и первых двух аксиом в определении проективной плоскости показывает, что плоская дуальная структура C * также является проективной плоскостью, называемой дуальной плоскостью к C.

Если C и C * изоморфны, то C называется самодуальным . Проективные плоскости PG (2, K ) для любого тела K самодвойственны. Однако есть недезарговские планы, которые не являются самодвойственными, такие как планы Холла, и некоторые из них, такие как планы Хьюза .

Принцип Plane Двойственность говорит , что дуализирующий любой теорему самодуального проективной плоскость С дает еще одну теорему действующей в С.

Корреляции

Двойственность является отображение проективной плоскости С = ( Р , L , I) , к его двойной плоскости С * = ( L , P , I *) (см выше ) , который сохраняет частоту. То есть двойственность σ будет отображать точки в прямые, а прямые в точки ( P σ = L и L σ = P ) таким образом, что если точка Q находится на прямой m (обозначается Q I m ), то Q σ I * m σm σ I Q σ . Двойственность, являющаяся изоморфизмом, называется корреляцией . Если корреляция существует, то проективная плоскость C самодуальна.

В частном случае, когда проективная плоскость относится к типу PG (2, K ) , где K - тело, двойственность называется взаимностью . Эти планы всегда самодвойственны. По основной теореме проективной геометрии взаимность представляет собой композицию из автоморфной функции из K и омографии . Если задействованный автоморфизм является тождеством, то взаимность называется проективной корреляцией .

Корреляция второго порядка ( инволюция ) называется полярностью . Если корреляция φ не является полярностью, тогда φ 2 является нетривиальной коллинеацией.

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

График проективной плоскости 7-го порядка, имеющий 57 точек, 57 линий, 8 точек на каждой линии и 8 прямых, проходящих через каждую точку, где каждая точка обозначена прямоугольником с закругленными углами, а каждая линия - комбинацией буквы и числа. Рисуются только линии с буквами A и H. В Dobble или найди! игре, любые два очка снимаются. В файле SVG наведите указатель мыши на строку, чтобы выделить ее.

Можно показать, что проективная плоскость имеет то же количество прямых, что и точек (бесконечных или конечных). Таким образом, для каждой конечной проективной плоскости существует целое число N ≥ 2 такое, что плоскость имеет

N 2 + N + 1 балл,
N 2 + N + 1 строк,
N + 1 балл на каждой строке, и
N + 1 линия через каждую точку.

Число N называется порядком проективной плоскости.

Проективная плоскость порядка 2 называется плоскостью Фано . См. Также статью о конечной геометрии .

Используя конструкцию векторного пространства с конечными полями, существует проективная плоскость порядка N = p n для каждой степени простого p n . Фактически, для всех известных конечных проективных плоскостей порядок N является степенью простого числа.

Существование конечных проективных плоскостей других порядков - открытый вопрос. Только общее ограничение известно на порядок является теорема Брука-Райзера-Чоула , что если порядок N является конгруэнтны 1 или 2 мод 4, она должна быть сумма двух квадратов. Это исключает N = 6. Следующий случай N = 10 был исключен массивными компьютерными вычислениями. Больше ничего не известно; в частности, остается открытым вопрос о том, существует ли конечная проективная плоскость порядка N = 12.

Другая давняя открытая проблема заключается в том, существуют ли конечные проективные плоскости простого порядка, которые не являются конечными плоскостями поля (эквивалентно, существует ли недезаргова проективная плоскость простого порядка).

Проективная плоскость порядка N - это система Штейнера S (2, N  + 1, N 2  +  N  + 1) (см. Систему Штейнера ). Наоборот, можно доказать, что все системы Штейнера этого вида (λ = 2) являются проективными плоскостями.

Число взаимно ортогональных латинских квадратов порядка N не превосходит N - 1. N - 1 существует , если и только если существует проективная плоскость порядка N .

Хотя классификация всех проективных плоскостей далека от завершения, известны результаты для небольших порядков:

  • 2: все изоморфны PG (2,2)
  • 3: все изоморфны PG (2,3)
  • 4: все изоморфны PG (2,4)
  • 5: все изоморфны PG (2,5)
  • 6: невозможно , так как порядка проективной плоскости, доказанной переночуй , который показал , что Euler «s тридцать шесть офицеров проблема не имеет решения. Однако связь между этими проблемами не была известна, пока Бозе не доказал это в 1938 году.
  • 7: все изоморфны PG (2,7)
  • 8: все изоморфны PG (2,8)
  • 9: PG (2,9), и три более различная (неизоморфная) недезарговых плоскость : а Хьюз самолет , А самолет Холла , и сдвоенное эта плоскость Холла. Все они описаны в ( Room & Kirkpatrick 1971 ).
  • 10: невозможно в порядке проективной плоскости, что доказано тяжелым компьютерным расчетом.
  • 11: по крайней мере PG (2,11), другие неизвестны, но возможны.
  • 12: предполагается, что это невозможно как порядок проективной плоскости.

Проективные плоскости в многомерных проективных пространствах

Проективные плоскости можно рассматривать как проективные геометрии «геометрического» измерения два. Многомерные проективные геометрии могут быть определены в терминах отношений инцидентности аналогично определению проективной плоскости. Они оказываются «более ручными», чем проективные плоскости, поскольку дополнительные степени свободы позволяют геометрически доказать теорему Дезарга в геометрии более высоких измерений. Это означает, что координатное «кольцо», связанное с геометрией, должно быть телом (телом) K , а проективная геометрия изоморфна геометрии, построенной из векторного пространства K d +1 , то есть PG ( d , K ). Как и в конструкции, данной ранее, точки d -мерного проективного пространства PG ( d , K ) - это прямые, проходящие через начало координат в K d + 1, а прямая в PG ( d , K ) соответствует плоскости, проходящей через начало координат в K d + 1 . Фактически, каждый i-мерный объект в PG ( d , K ), где i < d , является ( i  + 1) -мерным (алгебраическим) векторным подпространством в K d + 1 («проходит через начало координат»). Проективные пространства, в свою очередь, обобщаются на грассмановы пространства .

Можно показать, что если теорема Дезарга верна в проективном пространстве размерности больше двух, то она также должна выполняться во всех плоскостях, содержащихся в этом пространстве. Поскольку существуют проективные плоскости, в которых теорема Дезарга не работает ( недезарговы плоскости ), эти плоскости не могут быть вложены в проективное пространство более высокой размерности. Только плоскости из конструкции векторного пространства PG (2, K ) могут появляться в проективных пространствах более высокой размерности. Некоторые дисциплины в математике ограничивают значение проективной плоскости только этим типом проективной плоскости, поскольку в противном случае общие утверждения о проективных пространствах всегда должны были бы упоминать исключения, когда геометрическая размерность равна двум.

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

Примечания

использованная литература

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