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

редактировать
Завершение обычного пространства «точками на бесконечности» В графической перспективе параллельные линии в плоскости пересекаются в точке схода на горизонте.

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

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

Используя линейную алгебру, проективное пространство размерности n определяется как набор векторных линий (то есть векторных подпространств размерности один) в векторное пространство V размерности n + 1. Эквивалентно, это факторный набор для V \ {0} по отношению эквивалентности ", находящемуся на одной векторной линии. ". Поскольку векторная линия пересекает единичную сферу V в двух антиподальных точках, проективные пространства могут быть эквивалентно определены как сферы, в которых идентифицируются антиподальные точки. Проективное пространство размерности 1 - это проективная линия, а проективное пространство размерности 2 - это проективная плоскость.

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

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

Содержание
  • 1 Мотивация
  • 2 Определение
  • 3 Понятия, связанные с данным
    • 3.1 Подпространство
    • 3.2 Span
    • 3.3 Frame
    • 3.4 Проективное преобразование
  • 4 Топология
    • 4.1 Комплексная структура CW
  • 5 Алгебраическая геометрия
    • 5.1 Теория схем
  • 6 Синтетическая геометрия
    • 6.1 Классификация
    • 6.2 Конечные проективные пространства и плоскости
  • 7 Морфизмы
  • 8 Двойное проективное пространство
  • 9 Обобщения
  • 10 См. Также
    • 10.1 Обобщения
    • 10.2 Проективная геометрия
    • 10.3 Связанное
  • 11 Примечания
  • 12 Ссылки
  • 13 Внешние ссылки
Мотивация
Проективная плоскость и центральная проекция

Как отмечалось выше, проективные пространства были введены для формализации утверждений типа «две копланарные прямые пересекаются ровно в одной точке, и эта точка находится на бесконечности y, если линии параллельны. " Такие утверждения предлагаются при исследовании перспективы, которую можно рассматривать как центральную проекцию трехмерного пространства на плоскость (см. модель камеры-обскуры ). Точнее, входной зрачок камеры или глаза наблюдателя является центром проекции, а изображение формируется на плоскости проекции.

Математически центр проекции - это точка O пространства (пересечение осей на рисунке); плоскость проекции (P 2, на рисунке синим цветом) - это плоскость, не проходящая через точку O, которую часто выбирают в качестве плоскости уравнения z = 1, когда декартовы координаты которые считаются. Затем центральная проекция отображает точку P в точку пересечения прямой OP с плоскостью проекции. Такое пересечение существует тогда и только тогда, когда точка P не принадлежит плоскости (P 1, зеленый на рисунке), которая проходит через O и параллельна P 2.

. Отсюда следует, что прямые проходя через O, разбивается на два непересекающихся подмножества: строки, которые не содержатся в P 1, которые находятся во взаимно однозначном соответствии с точками P 2, и те, которые содержатся в P 1, которые находятся во взаимно однозначном соответствии с направлениями параллельных линий в P 2. Это предлагает определить точки (называемые здесь проективными точками для ясности) проективной плоскости как прямые, проходящие через O. Проективная прямая в этой плоскости состоит из всех проективных точек (которые являются прямыми), содержащихся в плоскости, проходящей через O. Поскольку пересечение двух плоскостей, проходящих через O, является прямой, проходящей через O, пересечение двух различных проективных прямых состоит из одной проективной точки. Плоскость P 1 определяет проективную линию, которая называется бесконечно удаленной линией P 2. Отождествляя каждую точку P 2 с соответствующей проективной точкой, можно, таким образом, сказать, что проективная плоскость является непересекающимся объединением P 2 и (проективной) линия на бесконечности.

В качестве аффинного пространства с выделенной точкой O можно отождествить его с ассоциированным с ним векторным пространством (см. Аффинное пространство § Векторные пространства как аффинные пространства ), предыдущее построение обычно выполняется, начиная с векторного пространства и называется проективизацией. Кроме того, построение можно выполнить, начав с векторного пространства любой положительной размерности.

Итак, проективное пространство размерности n можно определить как набор векторных линий (векторных подпространств размерности один) в векторном пространстве размерности n + 1. Проективное пространство может также можно определить как элементы любого множества, которое естественным образом соответствует этому множеству векторных линий.

Этот набор может быть набором классов эквивалентности в соответствии с отношением эквивалентности между векторами, определяемым как «один вектор является произведением другого на ненулевой скаляр». Другими словами, это означает определение проективного пространства как набора векторных линий, в которых был удален нулевой вектор.

Третьим эквивалентным определением является определение проективного пространства размерности n как набора пар противоположных точек в сфере размерности n (в пространстве размерности n + 1).

Определение

Учитывая векторное пространство V над полем K, проективное пространство P (V) является множество классов эквивалентности V \ {0} относительно отношения эквивалентности ~, определяемого x ~ y, если существует ненулевой элемент λ в K такой, что x = λy. Если V является топологическим векторным пространством , фактор-пространство P (V) является топологическим пространством , наделенным факторной топологией. Это тот случай, когда K - это поле R {\ displaystyle \ mathbb {R}}\ mathbb {R} из вещественных чисел или поле C {\ displaystyle \ mathbb {C}}\ mathbb {C} из комплексных чисел. Если V конечномерно, размерность P (V) равна размерности V минус один.

В общем случае, когда V = K, проективное пространство P (V) обозначается Pn(K) (а также K P или P (K), хотя это обозначение можно спутать с возведением в степень). Пространство Pn(K) часто называют проективным пространством размерности n над K или проективным n-пространством, поскольку все проективные пространства размерности n изоморфны ему (поскольку каждое векторное пространство K размерности n + 1 изоморфен K.

Элементы проективного пространства P (V) обычно называют точками. Если базис из V, и, в частности, если V = K, проективные координаты точки P являются координатами на основе любого элемента соответствующего класса эквивалентности. Эти координаты обычно обозначаются [x 0 :...: x n ], двоеточия и скобки используются для отличия от обычных координат и подчеркивают, что это класс эквивалентности, который определяется до умножение на ненулевую константу. То есть, если [x 0 :...: x n ] являются проективными координатами точки, то [λx 0 :...: λx n ] также являются проективными координатами образца e точка для любого ненулевого λ в K. Кроме того, из приведенного выше определения следует, что [x 0 :...: x n ] являются проективными координатами точки тогда и только тогда, когда по крайней мере одна из координат отлична от нуля.

Если K - поле действительных или комплексных чисел, проективное пространство называется реальным проективным пространством или комплексным проективным пространством соответственно. Если n равно одному или двум, проективное пространство размерности n называется проективной прямой или проективной плоскостью, соответственно. Комплексная проективная прямая также называется сферой Римана.

. Все эти определения естественным образом распространяются на случай, когда K - тело ; см., например, Кватернионное проективное пространство. Обозначение PG (n, K) иногда используется для Pn(K). Если K является конечным полем с q элементами, Pn(K) часто обозначается PG (n, q) (см. PG (3,2) ).

Понятия, связанные с данным

Подпространство

Пусть P (V) - проективное пространство, где V - векторное пространство над полем K, и

p: V → P (V) { \ displaystyle p: V \ to \ mathbf {P} (V)}{\ displaystyle p: V \ to \ mathbf {P} (V)}

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

Каждое линейное подпространство W в V является объединением прямых. Отсюда следует, что p (W) - проективное пространство, которое можно отождествить с P (W).

Таким образом, проективное подпространство - это проективное пространство, которое получается ограничением линейного подпространства отношения эквивалентности, которое определяет P (V).

Если p (v) и p (w) - две разные точки P (V), векторы v и w линейно независимы. Отсюда следует, что:

одна проективная прямая, проходящая через две разные точки P (V)

и

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

В синтетической геометрии, где проективные линии являются примитивными объектами, первое свойство является аксиомой, а второе - определением проективного подпространства.

Span

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

Множество точек S является проективно независимым, если его промежуток не является промежутком какого-либо собственного подмножества S. Если S - остовное множество проективного пространства P, то существует подмножество S, которое охватывает P и проективно независим (это следует из аналогичной теоремы для векторных пространств). Если размерность P равна n, такое независимое остовное множество имеет n + 1 элемент.

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

Кадр

Проективный кадр - это набор точек в проективном пространстве, позволяющий определять координаты. Точнее, в n-мерном проективном пространстве проективный фрейм - это набор из n + 2 точек таких, что любые n + 1 из них независимы, т. Е. Не содержатся в гиперплоскости.

Если V - это (n + 1) -мерное векторное пространство, а p - каноническая проекция из V на P (V), то (p (e 0),…, P (en + 1)) {\ displaystyle (p (e_ {0}), \ dots, p (e_ {n + 1}))}{\ displaystyle ( п (е_ {0}), \ точки, р (е_ {п + 1}))} является проективным фреймом тогда и только тогда, когда (e 0,…, en) {\ displaystyle (e_ {0}, \ dots, e_ {n})}{\ displaystyle (e_ {0}, \ точки, e_ {n})} является основой V, а en + 1 = e 0 + ⋯ + en. {\ displaystyle e_ {n + 1} = e_ {0} + \ dots + e_ {n}.}{\ displaystyle e_ {n + 1} = e_ {0} + \ dots + e_ {n}.} Кроме того, если (f 0,…, fn + 1) {\ displaystyle ( f_ {0}, \ dots, f_ {n + 1})}{\ displaystyle (f_ {0}, \ dots, f_ { n + 1})} - другой набор векторов, который определяет тот же кадр, есть ненулевой скаляр λ {\ displaystyle \ lambda}\ lambda такое, что fi = λ ei {\ displaystyle f_ {i} = \ lambda e_ {i}}{\ displaystyle f_ {i} = \ lambda e_ {i}} для i = 0,..., n + 1.

Проективные координаты или однородные координаты точки p (v) на кадре (p (e 0),…, p (en + 1)) {\ displaystyle (p (e_ {0}), \ dots, p (e_ {n + 1}))}{\ displaystyle ( п (е_ {0}), \ точки, р (е_ {п + 1}))} - координаты v на основе (e 0,…, en). {\ displaystyle (e_ {0}, \ dots, e_ {n}).}{\ displaystyle (e_ {0}, \ dots, e_ {n}).}

Канонический каркас проективного пространства Pn(K) состоит из изображений на p элементов канонического базиса K ( кортежи только с одной нулевой записью, равной 1), и изображение p их суммы.

Проективное преобразование

Топология

Проективное пространство - это топологическое пространство, наделенное факторной топологией топологии конечномерного реального векторного пространства.

Пусть S будет единичной сферой в нормированном векторном пространстве V, и рассмотрим функцию

π: S → P (V) {\ displaystyle \ pi: S \ to \ mathbf {P} (V)}{\ displaystyle \ pi: S \ to \ mathbf {P} (V)}

, который отображает точку S в векторную линию, проходящую через нее. Эта функция непрерывна и сюръективна. Инверсия каждой точки P (V) состоит из двух противоположных точек. Поскольку сферы являются компактными пространствами, отсюда следует, что:

(конечномерное) проективное пространство компактно.

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

Как только для V выбран базис, любой вектор может быть идентифицирован с его координатами на основе, а любая точка P (V) может быть идентифицирована с его однородные координаты. Для i = 0,..., n набор

U i = {[x 0: ⋯: xn], xi ≠ 0} {\ displaystyle U_ {i} = \ {[x_ {0}: \ cdots: x_ {n}], x_ {i} \ neq 0 \}}{\ displaystyle U_ {i} = \ {[x_ {0}: \ cdots: x_ {n}], x_ {i} \ neq 0 \}}

- открытое подмножество P (V) и

P (V) = ⋃ i = 0 n U я {\ displaystyle \ mathbf {P} (V) = \ bigcup _ {i = 0} ^ {n} U_ {i}}{\ displaystyle \ mathbf {P} (V) = \ bigcup _ {i = 0} ^ {n} U_ {i}}

, поскольку каждая точка P (V) имеет хотя бы одну ненулевую координату.

С каждым U i связана карта, которая представляет собой гомеоморфизмы

φ i: R n → U i (y 0,…, yi ^,… yn) ↦ [y 0: ⋯: yi - 1: 1: yi + 1: ⋯: yn], {\ displaystyle {\ begin {align} \ mathbb {\ varphi} _ {i}: R ^ {n} \ к U_ {i} \\ (y_ {0}, \ dots, {\ widehat {y_ {i}}}, \ dots y_ {n}) \ mapsto [y_ {0}: \ cdots: y_ {i-1}: 1: y_ {i + 1}: \ cdots: y_ {n}], \ end {align}}}{\ displaystyle {\ begin {выровнено} \ mathbb {\ varphi} _ {i}: R ^ {n} \ to U_ {i} \\ (y_ {0}, \ dots, {\ widehat {y_ {i}}}, \ dots y_ {n}) \ mapsto [ y_ {0}: \ cdots: y_ {i-1}: 1: y_ {i + 1}: \ cdots: y_ {n}], \ end {align}}}

такие, что

φ i - 1 ([x 0 : ⋯ xn]) = (x 0 xi,…, xixi ^,…, xnxi), {\ displaystyle \ varphi _ {i} ^ {- 1} \ left ([x_ {0}: \ cdots x_ {n} ] \ right) = \ left ({\ frac {x_ {0}} {x_ {i}}}, \ dots, {\ widehat {\ frac {x_ {i}} {x_ {i}}}}, \ точки, {\ frac {x_ {n}} {x_ {i}}} \ right),}{\ displaystyle \ varphi _ {i} ^ {- 1} \ left ([x_ {0}: \ cdots x_ {n}] \ right) = \ left ({\ frac {x_ {0}} {x_ {i}}}, \ dots, {\ widehat {\ frac {x_ {i}} {x_ {i}}}}, \ dots, {\ frac {x_ {n}} {x_ {i}}} \ right),}

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

Структура многообразия реальной проективной линии

Эти диаграммы образуют атлас, и, поскольку карты переходов являются аналитическими функциями, это приводит к тому, что проективные пространства - это аналитические многообразия.

Например, в случае n = 1, то есть проективной прямой, есть только два U i, каждое из которых может быть идентифицировано как копия действительной строки . В обеих строках пересечение двух диаграмм представляет собой набор ненулевых действительных чисел, а карта перехода имеет вид

x ↦ 1 x {\ displaystyle x \ mapsto {\ frac {1} {x}}}{\ displaystyle x \ mapsto {\ frac {1} {x}}}

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

CW сложная структура

Реальные проективные пространства имеют простую CW сложную структуру, так как P(R) можно получить из P(R) путем присоединения n-ячейки с частной проекцией S→ P(R) в качестве прикрепляемой карты.

Алгебраическая геометрия

Первоначально алгебраическая геометрия была изучением общих нулей наборов многомерных многочленов. Эти общие нули, называемые алгебраическими разновидностями, принадлежат аффинному пространству. Вскоре выяснилось, что в случае действительных коэффициентов необходимо учитывать все комплексные нули для получения точных результатов. Например, основная теорема алгебры утверждает, что одномерный многочлен без квадратов степени n имеет ровно n комплексных корней. В многомерном случае рассмотрение комплексных нулей также необходимо, но этого недостаточно: нужно также учитывать нули на бесконечности. Например, теорема Безу утверждает, что пересечение двух плоских алгебраических кривых соответствующих степеней d и e состоит из ровно de точек, если рассматривать комплексные точки на проективной плоскости, и если одна считает точки с их кратностью. Другим примером является формула род – степень, которая позволяет вычислить род плоскости алгебраической кривой по ее особенностям на комплексной проективной плоскости.

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

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

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

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

Теория схем

Теория схем, представленная Александром Гротендиком во второй половине 20 века, позволяет определять обобщение алгебраических многообразий, называемых схемами, склеивая вместе более мелкие части, называемые аффинными схемами, аналогично многообразия можно построить, склеивая вместе открытые наборы R n. {\ displaystyle \ mathbb {R} ^ {n}.}{\ displaystyle \ mathbb {R} ^ {n}.} Конструкция Proj - это конструкция схемы проективного пространства и, в более общем смысле, любого проективного многообразия, посредством склейка аффинных схем. В случае проективных пространств в качестве этих аффинных схем можно взять аффинные схемы, ассоциированные с картами (аффинными пространствами) приведенного выше описания проективного пространства как многообразия.

Синтетическая геометрия

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

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

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

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

Можно избежать проблемных случаев в низких измерениях, добавив или изменив аксиомы, определяющие проективное пространство. Кокстер (1969, стр. 231) дает такое расширение, благодаря Бахманну. Чтобы гарантировать, что размерность не меньше двух, замените аксиому «три точки на линию» выше на;

  • Существует четыре точки, три из которых не лежат на одной прямой.

Чтобы избежать недезарговых плоскостей, включите теорему Паппа в качестве аксиомы;

  • Если шесть вершин шестиугольника лежат поочередно на двух линиях три точки пересечения пар противоположных сторон коллинеарны.

И, чтобы гарантировать, что векторное пространство определено над полем, которое не имеет даже характеристики, включают аксиому Фано;

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

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

∅ = X - 1 ⊂ X 0 ⊂ ⋯ X n = P. {\ displaystyle \ varnothing = X _ {- 1} \ subset X_ {0} \ subset \ cdots X_ {n} = P.}\ varnothing = X _ {- 1} \ subset X_ {0} \ subset \ cdots X_ {n} = P.

подпространство X i {\ displaystyle X_ {i}}X_ {i} в такой цепочке имеет (геометрический) размер i {\ displaystyle i}я . Подпространства размерности 0 называются точками, подпространства размерности 1 - линиями и так далее. Если все пространство имеет размер n {\ displaystyle n}n , то любое подпространство размерности n - 1 {\ displaystyle n-1}n-1 называется гиперплоскость.

Классификация

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

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

Плоскость Фано

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

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

1, 1, 1, 1, 0, 1, 1, 4, 0,… (последовательность A001231 в OEIS )

конечных проективных плоскостях порядков 2, 3, 4,..., 10 соответственно. Числа сверх этого очень трудно вычислить и не определяются, за исключением некоторых нулевых значений из-за теоремы Брука – Райзера.

Наименьшая проективная плоскость - это плоскость Фано, PG (2, 2) с 7 точками и 7 линиями. Наименьшее трехмерное проективное пространство - это PG (3,2), с 15 точками, 35 линиями и 15 плоскостей.

Морфизмы

Инъективные линейные отображения T ∈ L (V, W) между двумя векторными пространствами V и W над одним и тем же полем k индуцируют отображения соответствующие проективные пространства P (V) → P (W) через:

[v] → [T (v)],

где v ненулевое значение элемент V и [...] обозначает классы эквивалентности вектора при определяющей идентификации соответствующих проективных пространств. Поскольку члены класса эквивалентности различаются скалярным множителем, а линейные m aps сохраняют скалярные факторы, это индуцированное отображение хорошо определено. (Если T не является инъективным, у него пустое пространство больше, чем {0}; в этом случае значение класса T (v) проблематично, если v не равно нулю и находится в нулевом пространстве. В этом случае получается так называемое рациональное отображение, см. Также бирациональная геометрия ).

Две линейные карты S и T в L (V, W) индуцируют одну и ту же карту между P (V) и P (W) , если и только если они различаются скалярным кратным, то есть если T = λS для некоторого λ ≠ 0. Таким образом, если идентифицировать скалярные кратные карты идентичности с нижележащим полем K, набор K-линейные морфизмы от P (V) до P (W) - это просто P (L (V, W)).

автоморфизмы P(V) → P (V) можно описать более конкретно. (Мы имеем дело только с автоморфизмами, сохраняющими базовое поле K). Используя понятие пучков , порожденных глобальными секциями, можно показать, что любой алгебраический (не обязательно линейный) автоморфизм должен быть линейным, т. Е. Происходящим из (линейного) автоморфизма векторного пространства V. Последний образуют группу GL (V). Выявив карты, которые отличаются скаляром, можно сделать вывод, что

Aut (P (V)) = Aut (V) / K = GL (V) / K =: PGL (V),

фактор-группа группы GL (V) по модулю матриц, которые являются скалярными кратными единице. (Эти матрицы образуют центр Aut (V).) Группы PGL называются проективными линейными группами. Автоморфизмы комплексной проективной прямой P(C) называются преобразованиями Мёбиуса.

Двойное проективное пространство

Когда приведенная выше конструкция применяется к дуальному пространству V вместо V, получается двойственное проективное пространство, которое можно канонически отождествить с пространством гиперплоскостей через начало координат V. То есть, если V n-мерно, то P (V) является грассманианом из n - 1 плоскостей в V.

В алгебраической геометрии эта конструкция обеспечивает большую гибкость при построении проективных расслоений. Хотелось бы иметь возможность связать проективное пространство с каждым квазикогерентным пучком E над схемой Y, а не только с локально свободными. См. EGA II, гл. II, п. 4 для более подробной информации.

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

Многообразия Севери – Брауэра - это алгебраические многообразия над полем k, которые становятся изоморфными проективным пространствам после расширения базовое поле k.

Еще одно обобщение проективных пространств - весовые проективные пространства ; они сами являются частными случаями торических многообразий.

См. также

Обобщения

Проективная геометрия

Связанное с

Примечания
Литература
Внешние ссылки
Последняя правка сделана 2021-06-02 08:02:14
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте