Введение в геометрическую теорию плоских кривых (Кремона)/2
← Art. 1 | Проективность пунктуалов и звезд. — Введение в геометрическую теорию плоских кривых, Art. 2. | Art. 3 → |
См. Оглавление. Дата создания: 1862. Источник: Introduzione ad una teoria geometrica delle curve piane. // Opere matematiche di Luigi Cremona. Рubblicati sotto gli auspici della R. Accademia dei Lincei. Milano: U. Hoepli, 1914. T. 1. Pag. 317-465. |
7. Назовем пунктуталом (итал. punteggiata) ряд точек, расположенных на одной прямой, и пучком прямых или звездой (итал. stella) ряд прямых, лежащих на плоскости и проходящих через одну и ту же точку (центр пучка) [1][2]. Пунктуалы и звезды вмести называют геометрическими образами (итал. forme geometriche). Элементами геометрического образа могут выступать точки или прямые, образующие рассматриваемый пунктуал или звезду.
Два геометрических образа называются проективными, когда между их элементами имеется соотношение, ставящее в соответствие каждому элементу первого образа единственный и вполне определенный элемент второго образа, и наоборот, каждому элементу второго образа — единственный и вполне определенный элемент первого образа. [3][4]
Например, если пучок прямых пересекает произвольную секущую, то точки пересечений образуют ряд точек, проективный пучку.
Из данного определения со всей очевидностью следует, что два образа, проективные третьему, проективны между собой.
8. Рассмотрим две прямые, на которых лежат точки проективных пункуталов. Если — фиксированная точка первой прямой, то можно указать произвольную точку той же прямой, задав отрезок ; и аналогично, произвольную точку второй прямой можно задать, указав отрезок , где — фиксированная точка второй прямой. Если эти два ряда точек проективны, причем точка соответствует точке , то между отрезками и имеется соотношение, которое, в силу определения проективности, неизбежно имеет следующий вид:
|
(1.) |
где , , и — постоянные коэффициенты.[5] Это уравнение можно упростить, определив начала подходящим образом. Пусть такая точка первого пункутала, которой соответствует бесконечно удаленная точка второго, тогда отрезку должен отвечать , и, следовательно, . Аналогично, если предположить, что — такая точка второго пункутала, которой отвечает бесконечно удаленная точка первого, то . Тогда уравнение (1) принимает вид:
|
(2.) |
где — некоторая постоянная.
Пусть — четыре точки первой прямой, а — соответствующие им точки на второй прямой. В силу (2) верно:
- ,
следовательно,
- .
Поступая аналогично с отрезками , и , в итоге получим:
- ,
то есть:
- .
Пусть теперь имеется проективные звезда и пунктутал. Пересекая звезду произвольной секущей, получим новый пунктуал, проективный звезде, а, следовательно, и данному пунктуалу (§ 7). Пусть — четыре точки данного пункутала, — соответствующие им лучи звезды, а — точки, в которых эти лучи пересекают секущую. Имеем:
- .
Но также верно (§ 2), что
- ,
следовательно,
- .
Наконец, пусть даны две проективные звезды: пересекая их с двумя секущими (или с одной и той же секущей), получим два пунктуала, проективных соответствующим звездам, а следовательно и проективных друг другу. Пусть — четыре луча первой звезды, а — соответствующие им лучи второй; и — точки, в которых эти лучи пересекают соответствующие секущие. В силу проективности пунктуалов имеем
- .
Кроме того (§ 2) верно:
- ,
следовательно,
- .
Таким образом, в двух проективных образах ангармоническое отношение четырех произвольных элементов равно ангармоническому отношению четырех соответствующих им элементов другого образа.
Вследствие этого для фиксации проективности между двумя геометрическими образами, достаточно задать три пары соответствующих друг другу элементов, напр. , и . Тогда для каждого элемента первого образа, соответствующий элемент второго образа может быть однозначно определен из условия равенства ангармонических отношений и .
9. Предположим теперь, что две прямые, на которых лежат точки проективных пунктуалов, совпадают друг с другом, или же мы сами изобразили два проективных пунктуала на одной и той же прямой, что, напр., получилось выше (§ 8), когда две проективные звезды мы посекли одной и той же секущей. Проективность двух пунктуалов выражается уравнением (2):
- .
При его помощи, мы найдем такие точки , которые совпадают с соответствующими им точками .
Когда пробегает точки первого пунктуала в одном направлении, а — соответствующие ей точки второго пунктуала, то эта точка движется или в том же направлении, что и точка , или в противоположном в зависимости от того, отрицательна или положительна постоянная .
Пусть . В этом случае очевидно, что на продолжении отрезка можно взять такую точку , для которой верно , а на продолжении такую точку , отстоящую от как от , тогда . То есть точки , рассматриваемые как элементы одного из двух пунктуалов, совпадают с соответствующими им точками второго пунктуала.
Пусть теперь . Точки не могут в этом случае совпасть вне отрезка . Таким образом, вопрос сводится к делению этого отрезка на две части и , такие, чтобы построенный на них прямоугольник имел площадь . Следовательно, если , имеется две точки , делящие таким образом отрезок . В самом деле, построим на отрезке как на диаметре полукруг, тогда из точек полуокружности можно опустить на ровно два перпендикуляра, длина которых была бы равна . Основания этих перпендикуляров и есть искомые точки . Если , то имеется только одна единственная точка — середина отрезка , обладающая указанным свойством. Наконец, если , то задача не допускает вещественного решения.
Таким образом, два проективные пунктуала, наложенные друг на друга, имеют две общие точки (итал. punti comuni)[6], вещественные, мнимые или совпадающие, равноотстоящие от середины отрезка .
То, что общих точек не может быть больше двух, можно было предвидеть заранее, поскольку два проективных пунктуала имеющих три точки, совпадающих с соответствующими им точками второго, совпадали бы тождественно. В самом деле, если , то точка совпадает с .
Если — точки, общие двум проективным и наложенным друг на друга пунктуалам, в которых и — две пары соответствующих точек, то равенство ангармонических отношений дает:
- ,
что можно переписать так:
- ,
это означает, что ангармоническое отношение не зависит от выбора пары .
10. Пусть даны две проективные звезды, имеющие один и тот же центр. Пересекая их с секущей, получим два проективных пункутала: две соответствующие друг другу точки являются пересечениями секущей с двумя соответствующими друг другу лучами двух звезд. Пусть — общие точки двух пункуталов. Тогда точки первого пункутала совпадают с соответствующими им точками второго пункутала, и, следовательно, также и лучи первой звезды совпадают с лучами лучами , отвечающими им во второй звезде. Таким образом, две проективные концентрические звезды имеют два общих луча, вещественных, мнимых или совпадающих, то есть два луча, которые соответствуют сами себе.
Примечания
[править]- ↑ Bellavitis, Geometria descrittiva, Padova 1851, p. 75.
- ↑ Термин пунктуал теперь почти не используется и не вполне понятно, следует ли его сопоставить множеству всех точек прямой, множеству некоторых точек прямой или считать понятие множества вовсе чуждым излагаемой теории. При рассмотрении проективных соответствий этот нюанс несущественен, поскольку проективное соответствие двух конечных множеств точек двух прямых продолжается единственным образом до проективного соответствия всех точек этих прямых, если в каждом из множествах более чем две точки. Кажется, что Кремона, когда это нужно, дополняет пунктуалы в т. ч. и мнимыми элементами и так же свободно их уменьшает с тем, чтобы рассматривать их как упорядоченные счетные множества. — Перев.
- ↑ Chasles, Principe de correspondance entre deux objets variables etc. (Comptes rendus de l’Acad. de France, 24 decembre 1855). — Battaglini, Sulla dipendenza scambievole delle figure (Memorie della R. Accademia delle scienze, vol. 2, Napoli 1857, p. XXI и p. 188).
- ↑ Ниже слово «проективный» используется в тех же конструкциях, в каких возможно использовать слово «равный», что сохранено и в переводе. — Перев.
- ↑ Сегре в своем примечании к этому месту отметил, что в самом определении проективного отношения нужно было потребовать еще что-то, что бы вело к алгебраичности зависимости отрезков. — Перев.
- ↑ Термин общая точка (англ. general point), используемый в современной алгебраической геометрии, соответствует не общей, а произвольной точке у старых авторов. — Перев.