БСЭ - Большая Советская энциклопедия (Пр)

• Название: Большая Советская энциклопедия (Пр)
• Автор: БСЭ
• Жанр: Энциклопедии

---

  Если на проективной плоскости заданы пять точек, из которых никакие четыре не лежат на одной прямой, то существует и притом только одна линия второго порядка, проходящая через эти точки. Точки пересечения противоположных сторон шестиугольника, вписанного в линию второго порядка, лежат на одной прямой (теорема Паскаля) (рис. 6 ). В случае распадающейся линии второго порядка эта теорема сводится к утверждению, формулируемому аксиомой Паппа. Двойственной теореме Паскаля является теорема Брианшона: диагонали, соединяющие противоположные стороны шестисторонника, описанного около овальной линии второго порядка, проходят через одну точку (рис. 7 ). См. также Полюсы и поляры .

  Основы П. г. были заложены в 17 в. Ж. Дезаргом (в связи с развитием им учения о перспективе) и Б. Паскалем (в связи с изучением им некоторых свойств конических сечений) Большое значение для последующего развития П. г. имели работы Г. Монжа (2-я половина 18 — начало 19 вв.). Как самостоятельная дисциплина П. г. была изложена Ж. Понселе (начало 19 в.). Заслуга Понселе заключалась в выделении проективных свойств фигур в отдельный класс и установлении соответствий между метрическими и проективными свойствами этих фигур. К этому же периоду относятся работы французского математика Ж. Брианшона. Дальнейшее развитие П. г. получила в трудах швейцарского математика Я. Штейнера и французского математика М. Шаля. Большую роль в развитии П. г. сыграли работы немецкого математика К. Штаудта. Его работами были намечены также контуры аксиоматического построения П. г. Все эти геометры стремились доказывать теоремы П. г. синтетическим методом, положив в основу изложения проективные свойства фигур. Аналитическое направление в П. г. было намечено работами А. Мебиуса . Влияние на развитие П. г. оказали работы Н. И. Лобачевского по созданию неевклидовой геометрии, позволившие в дальнейшем А. Кэли и Ф. Клейну рассмотреть различные геометрические системы с точки зрения П. г. Развитие аналитических методов обычной П. г. и построение на этой базе комплексной П. г. (немецкий математик Э. Штуди, Э. Картан ) поставили задачу о зависимости тех или иных проективных свойств от того тела, над которым построена геометрия. В решении этого вопроса больших успехов добились А. Н. Колмогоров и Л. С. Понтрягин .

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

  Лит.: Вольберг О. А., Основные идеи проективной геометрии, 3 изд., М. — Л., 1949; Глаголев Н. А., Проективная геометрия, 2 изд., М.,1963; Ефимов Н. В., Высшая геометрия, 5 изд., М., 1971; Хартсхорн Р., Основы проективной геометрии, пер. с англ., М., 1970; Veblen О., Young J. W., Projective geometry, v. 1—2, Boston — N. Y., 1910—18.

  По материалам одноимённой статьи из 2-го издания БСЭ.

Рис. 1.

Рис. 2.

Рис. 3.

Рис. 5.

Рис. 7.

Рис. 6.

Рис. 4.

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

Проекти'вная ме'трика , способ измерения длин и углов средствами проективной геометрии . Он состоит в закреплении некоторой фигуры в качестве абсолюта, определяющего данную метрическую геометрию, и выделении из группы всех проективных преобразований таких, которые отображают абсолют в себя и порождают т. о. соответствующую группу движений. Например, метрика плоскости Лобачевского получается, если за абсолют принять нераспадающуюся действительную линию второго порядка,— тогда длина отрезка AB равна l ln (ABPQ ), где Р и Q — точки пересечения прямой AB с абсолютом, (ABPQ ) — двойное отношение, l — константа, одинаковая для всех отрезков. Если для измерения длин и углов используется линия второго порядка без действительных точек. то получается (эллиптическая) геометрия Римана. Для построения евклидовой и псевдоевклидовой геометрий выбирают вырожденные линии второго порядка.

  Лит.: Ефимов Н. В., Высшая геометрия, 5 изд., М., 1971; Клейн Ф., Неевклидова геометрия, пер. с нем., М. — Л.,1936.

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

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

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

Проекти'вное преобразова'ние , взаимно однозначное отображение проективной плоскости или проективного пространства в себя, при котором точки, лежащие на прямой, переходят в точки, также лежащие на прямой (поэтому П. п. иногда называется коллинеацией). П. п. проективной прямой называется взаимно однозначное отображение её в себя, при котором сохраняется гармоническое расположение точек этой прямой. Простейшим и вместе с тем наиболее важным для приложений примером П. п. является гомология — П. п., оставляющее на месте прямую и точку вне её. Примером П. п. пространства является перспектива, т. е. проектирование фигуры F , лежащей в плоскости П, из точки S в фигуру F' , расположенную в плоскости П' , любое П. п. получается конечной последовательностью перспектив. П. п. образуют группу , основным инвариантом которой является двойное отношение четырёх точек прямой. Теории инвариантов групп П. п., оставляющих на месте некоторую фигуру, представляют собой метрические геометрии (см. Проективная метрика ).

  Основная теорема о П. п. проективной плоскости состоит в том, что каковы бы ни были четыре точки А , В , С, D плоскости П , из которых никакие три не лежат на одной прямой, и четыре точки A' , B' , C' , D' той же плоскости, из которых никакие три также не лежат на одной прямой, существует и притом только одно П. п., которое точки А , В , С , D переводит соответственно в точки A' , B' , C' , D'. Эта теорема применяется в номографии и аэрофотосъёмке. Аналогичная теорема имеет место и в проективном пространстве: там П. п. определяется пятью точками, из которых никакие четыре не лежат в одной плоскости. Эта теорема эквивалентна аксиоме Паппа.

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

  Лит. см. при ст. Проективная геометрия .

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

Проекти'вное простра'нство , в первоначальном смысле — евклидово пространство, дополненное бесконечно удалёнными точками, прямыми и плоскостью, называемыми также несобственными элементами (см. Бесконечно удалённые элементы ). При этом каждая прямая дополняется одной несобственной точкой, каждая плоскость — одной несобственной прямой, всё пространство — одной несобственной плоскостью; параллельные прямые дополняются общей несобственной точкой, непараллельные — разными; параллельные плоскости дополняются общей несобственной прямой, непараллельные — разными; несобственные точки, дополняющие всевозможные прямые данной плоскости, принадлежат несобственной прямой, дополняющей ту же плоскость; все несобственные точки и прямые принадлежат несобственной плоскости.

  П. п. можно определить аналитически как совокупность классов пропорциональных четверок действительных чисел, не равных одновременно нулю. При этом классы интерпретируются либо как плоскости П. п., а числа называются однородными координатами плоскостей. Отношение инцидентности точки (x 1 : x 2 : x 3 : x 4 ) и плоскости (u1 : u 2 : u 3 : u4 ) выражается равенством:. Аналогичнымобразом вводится понятие n -мерного П. п., играющего важную роль в алгебраической геометрии, причём координатами его могут быть элементы некоторого тела k. В более общем смысле П. п. — совокупность трёх множеств элементов, называется соответственно точками, прямыми и плоскостями, для которых определены отношения принадлежности и порядка так, что соблюдаются требования аксиом проективной геометрии . А. Н. Колмогоров и Л. С. Понтрягин показали, что если П. п. над телом k есть связное компактное топологическое пространство, в котором прямая непрерывно зависит от двух принадлежащих ей точек, и выполняются аксиомы инцидентности, то k есть либо поле действительных чисел, либо поле комплексных чисел, либо тело кватернионов.