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

двумерное проективное пространство,- инцидентностная структура [img: http://localhost:8080/file/041751-31.jpg], где элементы множества [img: http://localhost:8080/file/041751-32.jpg] наз. точкам и, элементы множества [img: http://localhost:8080/file/041751-33.jpg] - прямыми, а I - отношение инцидентности. Инцидентностная структура удовлетворяет следующим аксиомам: 1) для любых двух различных точек ри qсуществует единственная прямая Lтакая, что pIL и qIL; 2) для любых двух различных прямых Lи Мсуществует единственная точка ртакая, что pIL и рIМ; 3) существуют четыре точки, никакие три иа к-рых не инцидентны одной прямой. Напр., пучок П прямых и плоскостей трехмерного аффинного пространства, проходящих через точку О, является П. п., если в качестве проективной точки считать прямую пучка П, а в качестве проективной прямой - плоскость из П. В этой интерпретации получают прозрачный геометрич. смысл однородные координаты точки П. п. над полем как координаты какого-либо вектора прямой, изображающей эту точку (см. Проективная геометрия, Проективные координаты), Другим примером является П. п., состоящая из семи точек Ai, i=l,..., 7, и семи прямых {A1, А 2, A4}, {A2, А 3, А 5}, {А 3, A4, А 6},{A4, А 5, А 7), {А 5, A6, А 1}, {А 6, A7, A2}, {A7, A1, A3} (рис. 1),- представитель класса конечных проективных плоскостей. П. п. Р(2, п).наз. конечной проективной плоскостью порядка п, если отношение инцидентности удовлетворяет еще одной аксиоме: 4) существует прямая, инцидентная ровно n+1 точке. В Р(2, п).каждая точка (прямая) инцидентна n+1 прямой (точке), а число точек плоскости равно числу прямых и равно n2+n+1. [img: http://localhost:8080/file/041751-34.jpg] Остается невыясненным (1983) вопрос, для каких значений псуществует П. п. Р(2, п). Доказано существование конечной П. п., порядок к-рой есть степень простого числа (см. [4]). Доказано также (см. [5]) отсутствие П. п. Р(2, п).для широкого класса чисел: если псравнимо с 1 или 2 по модулю 4 и если в разложении этого числа на простые множители встречается в нечетной степени хотя бы одно простое число, сравнимое с 3 по модулю 4, то Р(2, п).не существует; таковы, напр., n=6, 14, 21, 22,.... Вопрос относительно n=10, 12, 15, 18,... остается открытым. Важной задачей теории конечных П. п. является изучение подплоскостей заданной плоскости P(2, п). Так, если Р(2, т).является собственной подплоскостью конечной П. п. Р(2, п), то [img: http://localhost:8080/file/041751-35.jpg] или m2=n (см. [5]). Специфическим для П. п. является понятие двойственности. Две П. п. наэ. двойственными, или дуальными, если между точками (прямыми) одной плоскости и прямыми (точками) другой можно установить взаимно однозначное соответствие, сохраняющее инцидентность. Нек-рые П. п. (напр., П. п. над полем k).допускают двойственное отображение на себя, к-рое наз. корреляцией, а П. п., допускающие корреляцию, наз. автодуальными. Для П. п. имеет место т. н. малый принцип двойственности: если верно нек-рое предложение [img: http://localhost:8080/file/041751-36.jpg] о точках и прямых П. п., сформулированное только в терминах инцидентности между ними, то будет верно предложение [img: http://localhost:8080/file/041751-37.jpg], двойственное [img: http://localhost:8080/file/041751-38.jpg], т. е. предложение, к-рое получается из [img: http://localhost:8080/file/041751-39.jpg] заменой слова "точка" на слово "прямая" и наоборот. Изоморфное отображение П. п. на себя наз. коллинеацией. Коллинеация конечной П. п. Р(2, n) является подстановкой множества точек и подстановкой множества прямых, причем эти подстановки подобны. Конечная П. п. наз. дезарговой, если она имеет группу коллинеаций, дважды транзитивную на ее точках. Группа коллинеаций дезарговой П. п. PG(2, ph).имеет порядок [img: http://localhost:8080/file/041751-40.jpg] Группа коллинеаций недезарговой П. п. Р(2, п).имеет порядок, не превосходящий [img: http://localhost:8080/file/041751-41.jpg] где [img: http://localhost:8080/file/041751-42.jpg]. Порядки групп коллинеаций известных недезарговых П. п. но превосходят порядков групп коллинеаций дезарговых плоскостей того же порядка. На рассмотрении 53 типов множеств Т(G) = {(x, X)|G является (х, Х)-транзитивной}, определенных для полной группы коллинеаций G, основана классификация Ленца - Бартолоцци П. ц. Одним из основных путей изучения П. п. является введение в ней координат и тернарной операции. Каждому возможному типу П. п. классификации Ленца - Бартолоцци соответствует система алгебраич. законов, к-рой должно удовлетворять натуральное тело П. п., определенное через тернарную операцию. Напр., П. п. является дезарговой (папповой) тогда и только тогда, когда во всех ее натуральных телах выполняется ассоциативный (коммутативный) закон. Де-заргоиа конечная П. п. Р(2, п).является папповой. Особенность дезарговой П. н. PG(2, п).в том, что она обладает коллинеацией порядка n2+n+1, циклической на точках и прямых. Этот результат дает возможность представить П. п. PG(2, п).в виде цишщч. таблицы. Такое представление PG(2, п).заключается в том, что точки плоскости, занумерованные натуральными числами от 1 до n2+n+1, располагаются в прямоугольной таблице из n+1 строки и n2+n+1 столбца таким образом, что каждый столбец, означающий прямую со всеми на ней точками, получается прибавлением к каждому элементу предыдущего столбца единицы по модулю п 2+п+1. Напр., представление плоскости Р (2, 2) имеет вид [img: http://localhost:8080/file/041751-43.jpg] Плоскости Р(2, n), где [img: http://localhost:8080/file/041751-44.jpg], единственны с точностью до изоморфизма - это дезарговы плоскости или плоскости Галуа (см. [6]), а уже для n=9 известны четыре неизоморфные плоскости (см. [7]). Если к аксиомам П. п. и предложению Дезарга присоединить аксиомы порядка (к-рыми описывается разделенность двух пар точек, лежащих на одной прямой: напр., на рис. 2 пара С, D разделяет пару А, В, а пара А, С не разделяет пару В, D).и аксиому непрерывности, то полученная П. п. оказывается изоморфной действительной аффинной плоскости, пополненной несобственными элементами: к каждой прямой присоединяется несобственная (бесконечно удаленная) точка, к параллельным прямым - одна я та же, а к непараллельным - разные, причем все несобственные точки лежат на одной несобственной прямой. [img: http://localhost:8080/file/041751-45.jpg] П. п. наз. топологической, если множества ее точек и прямых являются топология, пространствами, причем отношение инцидентности является непрерывным. В топология, плоскости тернарная операция непрерывна по всем своим аргументам. С топологич. точки зрения множество точек действительной П. п. (равно как и множество прямых) представляет собой замкнутое неориентируемое многообразие, эйлерова характеристика к-рого равна 1.