WikiDer > Проективная плоскость

Эти параллельные линии пересекаются на точка схода «в бесконечности». В проективном плане это действительно так.

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

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

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

Определение

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

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

Примеры

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

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

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

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

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

В Самолет Моултона. Линии с уклоном вниз и вправо изгибаются в местах пересечения у-ось.

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

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

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

В этом примере всего тринадцать точек и тринадцать строк. Обозначим точки P₁,...,П₁₃ а линии m₁, ..., м₁₃. В отношение инцидентности (какие точки на каких линиях) могут быть заданы следующими матрица инцидентности. Строки помечаются точками, а столбцы - линиями. 1 в ряду я и столбец j означает, что точка P_я находится на линии м_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
п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₁,П₄,П₅, а P₈, например, будет удовлетворять третьему условию. Этот пример известен как проективная плоскость третьего порядка.

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

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

Позволять K быть любым делительное кольцо (телескоп). Позволять K³ обозначим множество всех троек Икс = (Икс₀, Икс₁, Икс₂) элементов K (а Декартово произведение рассматривается как векторное пространство). Для любого ненулевого Икс в K³, минимальное подпространство K³ содержащий Икс (который можно представить как все векторы на линии, проходящей через начало координат) - это подмножество

${displaystyle {kx: kin K}}$

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

${displaystyle {kx + my: k, min K}}$

из K³. Это 2-мерное подпространство содержит различные 1-мерные подпространства через начало координат, которые могут быть получены путем фиксации k и м и взяв множители полученного вектора. Различные варианты k и м которые находятся в одинаковом соотношении, дадут ту же строку.

В проективная плоскость над K, обозначается PG (2,K) или же Kп², имеет набор точки состоящий из всех одномерных подпространств в K³. Подмножество L точек PG (2,K) это линия в PG (2,K), если существует двумерное подпространство K³ чей набор одномерных подпространств в точности L.

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

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

Икс ~ kx, для всех k в K^×.

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

Координаты (Икс₀, Икс₁, Икс₂) точки в PG (2,K) называются однородные координаты. Каждая тройка (Икс₀, Икс₁, Икс₂) представляет собой четко определенную точку в PG (2,K), за исключением тройки (0, 0, 0), которая не представляет точки. Каждая точка в PG (2,K), однако, представлен множеством троек.

Если K это топологическое пространство, тогда Kп², наследует топологию через товар, подпространство, и частное топологии.

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

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

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

В комплексная проективная плоскость CP², возникает, когда K считается сложные числа, C. Это замкнутое комплексное 2-многообразие и, следовательно, замкнутое ориентируемое вещественное 4-многообразие. Это и проективные плоскости над другими поля (известный как паппийские самолеты) служат фундаментальными примерами в алгебраическая геометрия.^[5]

В кватернионная проективная плоскость HP² также представляет самостоятельный интерес.^{[нужна цитата]}

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

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

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

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

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

В Теорема Дезарга универсально справедливо в проективной плоскости тогда и только тогда, когда плоскость может быть построена из трехмерного векторного пространства над телом как над.^[6] Эти самолеты называются Дезарговские самолеты, названный в честь Жирар Дезарг. Реальная (или комплексная) проективная плоскость и проективная плоскость порядка 3 заданы над являются примерами дезарговских проективных плоскостей. Проективные плоскости, которые не могут быть построены таким образом, называются недезарговские планы, а Самолет Моултона данный над является примером одного. ПГ (2,K) обозначение зарезервировано для дезарговских плоскостей. Когда K это поле, очень распространенный случай, они также известны как полевые самолеты и если поле конечное поле их можно назвать Самолеты Галуа.

Подпланы

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

(Брук 1955) доказывает следующую теорему. Пусть Π - конечная проективная плоскость порядка N с собственной подплоскостью Π₀ порядка M. Тогда либо N = M² или же N ≥ M² + M.

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

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

Подпланы Fano

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

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

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

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

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

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

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

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

Определение

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

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

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

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

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

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

${displaystyle (x_ {1}, x_ {2}) mapsto (1, x_ {1}, x_ {2}).}$

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

${displaystyle {k (0,0,1) + m (0,1,0): k, min K}}$

в K³ - называется линия на бесконечности. Бесконечные точки - это «лишние» точки, где параллельные прямые пересекаются при построении расширенной реальной плоскости; точка (0, Икс₁, Икс₂) где все линии наклона Икс₂ / Икс₁ пересекаются. Рассмотрим, например, две строки

${displaystyle u = {(x, 0): xin K}}$

${displaystyle y = {(x, 1): xin K}}$

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

${displaystyle {ar {u}} = {(1, x, 0): xin K} чашка {(0,1,0)}}$

${displaystyle {ar {y}} = {(1, x, 1): xin K} чашка {(0,1,0)}}$

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

${displaystyle {k (1,0,0) + m (0,1,0): k, min K}}$

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

${displaystyle {k (1,0,1) + m (0,1,0): k, min K}.}$

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

Вложение K² в Kп² приведенный выше не уникален. Каждое вложение порождает собственное понятие точек на бесконечности. Например, вложение

${displaystyle (x_ {1}, x_ {2}) o (x_ {2}, 1, x_ {1}),}$

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

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

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

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

Наоборот, по планарному тернарному кольцу (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 точки, (р) куда р = 0, ..., (N − 1).

Этикетка N² точки, (р, c) куда р, c = 0, ..., (N − 1).

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

Одна линия [∞] = { (∞), (0), ..., (N − 1)}

N линии [c] = {(∞), (c,0), ..., (c, N - 1)}, где c = 0, ..., (N − 1)

N² линии [р, c] = {(р) и точки (Икс, Т(Икс,р,c)) }, куда Икс, р, c = 0, ..., (N - 1) и Т - тернарный оператор плоского тернарного кольца.

Например, для 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 строки [р, c]: (р) и точки (я,ir + c), где i = 0, 1: р, 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) }

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

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

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

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

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

1) Для любого количества баллов п₁, ..., п_п, и линии L₁, ..., L_м,

L₁ = { п₁, п₂, ..., п_п}

L₂ = { п₁ }

L₃ = { п₁ }

...

L_м = { п₁ }

2) За любое количество баллов п₁, ..., п_п, и линии L₁, ..., L_п, (то же количество точек, что и линий)

L₁ = { п₂, п₃, ..., п_п }

L₂ = { п₁, п₂ }

L₃ = { п₁, п₃ }

...

L_п = { п₁, п_п }

Коллинеации

А коллинеация проективной плоскости является биективная карта плоскости на себя, которая отображает точки в точки, а линии в линии, сохраняющие угол падения, что означает, что если σ биекция и точка P лежит на прямой m, то P^σ находится на м^σ.^[7]

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

Гомография

А омография (или же проективное преобразование) PG (2,K) является коллинеацией этого типа проективной плоскости, которая является линейным преобразованием лежащего в основе векторного пространства. Используя однородные координаты, они могут быть представлены обратимыми матрицами 3 × 3 над K действующие на точки PG (2,K) к у = M Икс^Т, куда Икс и у точки в K³ (векторы) и M является обратимой матрицей 3 × 3 над K.^[8] Две матрицы представляют собой одно и то же проективное преобразование, если одна из них является постоянным кратным другой. Таким образом, группа проективных преобразований является фактором общая линейная группа скалярными матрицами, называемыми проективная линейная группа.

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

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

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

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

C = (п,L,я)

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

C* = (L,п,я*),

куда я* это обратное отношение из я.

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

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

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

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

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

Корреляции

А двойственность отображение из проективной плоскости C = (п, L, I) на двойственную ему плоскость C* = (L, п, Я понимаю над), который сохраняет инцидентность. То есть двойственность σ будет отображать точки в линии, а линии в точки (п^σ = L и L^σ = п) таким образом, что если точка Q на связи м (обозначается Q я м) тогда Q^σ Я* м^σ ⇔ м^σ я Q^σ. Двойственность, являющаяся изоморфизмом, называется корреляция.^[9] Если корреляция существует, то проективная плоскость C самодуальна.

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

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

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

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

N² + N +1 балл,

N² + N + 1 линия,

N +1 балл за каждую строку, и

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

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

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

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

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

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

Проективная плоскость порядка N является штейнером S (2, N + 1, N² + 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: невозможно как порядок проективной плоскости, доказано Терри кто показал это Эйлерс проблема тридцати шести офицеров не имеет решения. Однако связь между этими проблемами не была известна до Bose доказал это в 1938 году.^[11]
• 7: все изоморфны PG (2,7)
• 8: все изоморфны PG (2,8)
• 9: PG (2,9) и еще три разных (неизоморфных) недезарговские планы. (Все описано в (Комната и Киркпатрик 1971)).
• 10: невозможно в порядке проективной плоскости, что доказано тяжелым компьютерным расчетом.^[12]
• 11: как минимум PG (2,11), другие неизвестны, но возможны.
• 12: предполагается, что это невозможно как порядок проективной плоскости.

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

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

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

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

• Блочный дизайн - обобщение конечной проективной плоскости.
• Комбинаторный дизайн
• Структура заболеваемости
• Обобщенный многоугольник
• Проективная геометрия
• Недезарговский план
• Гладкая проективная плоскость
• Трансверсали в конечных проективных плоскостях
• Усеченная проективная плоскость - проективная плоскость с удаленной одной вершиной.
• VC размерность конечной проективной плоскости

Примечания

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

• Альберт, А. Адриан; Сандлер, Рубен (1968), Введение в конечные проективные плоскости, Нью-Йорк: Холт, Райнхарт и Уинстон
• Баэз, Джон С. (2002), "Октонионы", Бык. Амер. Математика. Soc., 39: 145–205, arXiv:математика / 0105155, Дои:10.1090 / S0273-0979-01-00934-X
• Бамберг, Джон; Пенттила, Тим (2015), "Завершение доказательства Сегре маленькой теоремы Веддерберна" (PDF), Бюллетень Лондонского математического общества, 47: 483–492, Дои:10.1112 / blms / bdv021
• Бредон, Глен Э. (1993), Топология и геометрия, Springer-Verlag, ISBN 0-387-97926-3
• Брук, Р. Х. (1955), «Разностные множества в конечной группе», Пер. Амер. Математика. Soc., 78: 464–481, Дои:10.1090 / с0002-9947-1955-0069791-3
• Брук, Р. Х.; Бозе, Р. (1964), «Построение плоскостей трансляции из проективных пространств» (PDF), J. Алгебра, 1: 85–102, Дои:10.1016/0021-8693(64)90010-9
• Касс, Рей (2006), Проективная геометрия: введение, Оксфорд: Издательство Оксфордского университета, ISBN 0-19-929886-6
• Дембовский, Питер (1968), Конечная геометрия, Ergebnisse der Mathematik и ихрер Гренцгебиете, Band 44, Берлин, Нью-Йорк: Springer-Verlag, ISBN 3-540-61786-8, МИСТЕР 0233275
• Глисон, Эндрю М. (1956), «Конечные плоскости Фано», Американский журнал математики, 78: 797–807, Дои:10.2307/2372469, МИСТЕР 0082684
• Холл, Маршалл (1943), «Проективные плоскости», Труды Американского математического общества, Американское математическое общество, 54 (2): 229–277, Дои:10.2307/1990331, ISSN 0002-9947, JSTOR 1990331, МИСТЕР 0008892
• Hughes, D .; Пайпер, Ф. (1973), Проективные плоскости, Springer-Verlag, ISBN 0-387-90044-6
• Kárteszi, F. (1976), Введение в конечную геометрию, Амстердам: Северная Голландия, ISBN 0-7204-2832-7
• Лам, Клемент В. Х. (1991), «Поиск конечной проективной плоскости порядка 10», Американский математический ежемесячный журнал, 98 (4): 305–318, Дои:10.2307/2323798
• Линднер, Чарльз К. и Кристофер А. Роджер (ред.) Теория дизайна, CRC-Press; 1 издание (31 октября 1997 г.). ISBN 0-8493-3986-3.
• Люнебург, Хайнц (1980), Самолеты перевода, Берлин: Springer Verlag, ISBN 0-387-09614-0
• Моултон, Лесной Луч (1902), "Простая недезаргова плоская геометрия", Труды Американского математического общества, 3 (2): 192–195, Дои:10.2307/1986419, ISSN 0002-9947, JSTOR 1986419
• Комната, Т.Г.; Киркпатрик, П. Б. (1971), Геометрия миникватерниона, Кембридж: Издательство Кембриджского университета, ISBN 0-521-07926-8
• Шафаревич, И. (1994), Базовая алгебраическая геометрия, Springer-Verlag, ISBN 0-387-54812-2
• Стивенсон, Фредерик В. (1972), Проективные плоскости, Сан-Франциско: W.H. Фримен и компания, ISBN 0-7167-0443-9

внешняя ссылка

Викискладе есть медиафайлы по теме Проективная плоскость.

• Г. Эрик Мурхаус, Проективные плоскости малого порядка, (2003)
• Гл. Вейбель: Обзор недезарговских самолетов
• Вайсштейн, Эрик В. «Проективная плоскость». MathWorld.
• «Проективная плоскость» в PlanetMath.org.