
книги из ГПНТБ / Хатипов А.Э.-А. Курс проективной геометрии пространств с распадающимся абсолютом учеб. пособие
.pdf- 19 *■
на |
ней |
|
две точки |
|
и Э( в. .* ,.j .Любая точка |
||||||||
прямой |
|
может быть задана |
координатами |
^ |
,выракающими |
||||||||
ся |
через |
л,.»-,, и |
а; ^следующим |
образом |
прямой. Эти точки |
||||||||
|
Возьмем еще |
две точки |
Z |
и |
/ |
на |
|||||||
будут |
соответствовать значениям |
а |
и |
а |
параметра |
t : |
|||||||
|
|
|
|
|
|
|
|
|
|
|
|||
у |
Легко |
проверить ,что |
двойное |
отношение четырех |
точек |
||||||||
2 Т |
*ВЭЯІЫХ^ |
в-этома п порядкет ) |
будет |
равно |
р— |
: |
|
||||||
|
|
|
|
( г л |
Для двойственных образов (пучков прямых &J , с. Л) я пучков плоскостей те же соображения проводят к аналогичному результату:
|
t- |
= ( л I с 1) |
, |
(з,Ю |
Мы |
р |
= О p i t ) . |
(М ) |
|
позже покажем (§ |
) , что |
двойное отношение четырех |
||
точек на |
прямой, |
двойное отношение |
четырех прямых пучка и |
двойное отношение четырех плоскостей пучка являются инвариан тами группы проективных преобразований на прямой, плоскости и в пространстве и не зависит от выбора проективной системы координат. Отметим еще, что проективные координаты могут быть определены с. помощью двойных отношений.*)
§ 5 . Линии и поверхности второго порядка .
Линия второго порядка (коническое сечение) определя ется как геометрическое место точек, однородные координаты которых удовлетворяіст уравнению второй степени________'
0-/( *, |
7*3 %. |
-J—O■ (Д,5) |
|
|
|
|
|
- 20 |
- |
|
|
|
|
|
|
|
|
|
|
°~ ІІ |
S. |
Л * * |
* |
|
£ |
|
.-* |
'Г |
2 |
|
J X z |
X л - 2 |
<?J/XJX//- |
C'N |
||
*■ |
* £ |
|
' ♦ ' Л у у |
Х у |
|
|||||||||||
а поверхность- |
второго |
порядка |
в тех |
хе координатах -уравнению |
||||||||||||
|
- f |
2 А / д |
Х д |
Л / у К / |
X y |
Д |
|
X * |
Х у |
-г-5<7ууХл>^— 0 , |
* |
|||||
Коэффициенты |
a.cj |
в (1 ,5 ) и (2 ,5 ) |
могут |
принимать любые |
зна |
|||||||||||
чения} они не долины равняться |
нулю одновременно. |
|
|
|||||||||||||
|
§ б . Полярные преобразования относительно линий |
|
|
|||||||||||||
, |
Решая |
и поверхностей |
второго порядка |
|
|
(2 ,5 ) |
с |
|
||||||||
уравнения линии |
(1 ,5 ) |
или поверхности |
|
|||||||||||||
уравнениемпрямой линии |
|
|
|
|
|
|
|
|
|
|
|
|||||
проходящей |
через |
f *; |
= |
t *})■ |
, |
|
у , , |
|
получим |
(1*6) |
||||||
точки |
х; , |
|
и |
у( |
t |
|
урав |
|||||||||
нение |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
или |
так как |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
или, |
|
|
|
|
|
5L^u^'y', |
|
|
||||||||
^ |
7 - |
I |
X |
7л + д?47 |
а «Т |
(2 ,6 ) |
||||||||||
|
|
+ ^ |
ах/і ^ 7> = 0 . |
|||||||||||||
|
|
|
|
1 |
dT,f> |
|
' |
|
°У’ |
I |
|
' |
|
|
||
Из этого уравнения мы найдем |
два |
значения |
-л, и Х 2 . |
|
||||||||||||
.Подставляя |
"X, |
и |
">-2 в ( 1 ,6 ) , получим |
координаты |
точки |
пе |
||||||||||
ресечения прямой (1 ,6 ) |
с линией (1,5 ) |
или поверхностью ^): |
||||||||||||||
|
|
|
/ |
|
/ |
/ |
|
|
7 |
точками |
и |
(3 ,6 ) |
||||
Предположим, что эти точки вместе с |
||||||||||||||||
образуют гармоническую группу,, т .е . |
•*, j.- x r = - / |
или л /= -->.s • |
||||||||||||||
Тогда |
в (2 ,6 ) |
коэффициент при |
л |
будет |
равен |
нулю: |
|
|
||||||||
|
|
|
|
I |
|
|
|
.< » . |
. |
|
|
|
<4-б> |
Таково условие, которому должны удовлетворять точки
- 21 -
*,• и у/ , чтобы они вместе с точками (3,6 ) образовали гармоническую группу.
|
Будем |
в (4 ,6 ) |
?. |
|
рассматривать как неподвижную точку |
|||||||
и строить |
на каждой |
прямой, у'проходящей через |
четвертую |
|||||||||
гармоническую точку |
|
xj |
|
к |
- |
относительно |
точек |
пересече |
||||
ния прямой |
с линией ( 1 ,5 ) -или |
поверхностью ( 2 ,5 ) . Тогда со |
||||||||||
вокупность |
четвертых гармонических |
точек |
определиться |
|||||||||
уравнением |
|
|
|
мы |
|
опустили |
штрихи, |
|
(5>б) |
|||
|
В уравнении (5 ,6 ) |
а |
тэк что теперь |
|||||||||
X ': - |
текущие координаты, |
|
уг |
- координаты |
данной |
точки. |
||||||
|
|
|
|
|
|
|
|
|
|
|
Это уравнение в случае пространства может быть написано в
следующем |
виде |
|
|
|
|
|
|
|
|
|
|||
|
|
X СЧ(і |
|
х - |
а *-/> )Л |
*1 а 'Г>1р |
|
уз |
|
о .( 6 , б ) |
|||
|
Оно линейно относительно текущих координат точки X . |
||||||||||||
Эти точки |
в |
случае |
линии (1 ,5 ) |
образуют |
прямую, |
а |
в случае |
||||||
поверхности |
(2 ,5 ) - |
плоскость. Эта прямая называется поляреЯ |
|||||||||||
точки |
у |
по |
отношению к линии |
( 1 ,5 ) , |
а |
соответствующая |
|
||||||
плоскость |
- |
полярной плоскостью (или |
полярой) |
ТОЧКИ У |
по |
||||||||
отношению к поверхности (2 ,5 ) ; |
точка |
у |
называется полю |
||||||||||
сом. (1,6 ) есть |
уравнение поляры (полярной плоскости). |
|
|||||||||||
|
Отметим, что мы будем иметь определенную полярную плос |
||||||||||||
кость, |
если |
не |
все коэффициенты в ( 6 ,6 ) , |
т .е . все координаты |
|||||||||
Чі |
полярной плоскости, равны нулю одновременно. Случай |
|
|||||||||||
|
Z. |
Эр * |
о , |
Z. |
Эр= 0 >I |
а *г Э г °> |
|
h = ° |
(7 ,б ) |
||||
может |
иметь |
( |
в силу теории линейных однородных уравнений) |
||||||||||
лишь |
в том случае, |
когда |
|
|
|
|
|
|
|
||||
|
|
|
|
|
Счі |
“»3 |
|
|
|
|
|
|
|
|
|
Jhtla.j |
aJ( |
«И «ду |
|
|
|
|
|
(8,6) |
|||
|
|
ull |
«зз о-зу |
о. |
|
|
|
|
|||||
|
|
|
|
|
&v, |
|
|
|
|
|
|
|
|
|
|
|
|
|
Пчі йуЗ Йуу |
|
|
|
|
|
|
Такое же полгжение имеет место и для случая поляры отно сительно линии второго порлдка. В этом случа мы не будем
- 22 -
иметь определенную поляру, |
|
если |
|
(9 ,6 ) |
LXU |
Л,і |
0. |
||
Q-iX |
|
(LJL |
||
Ilj, 4 -»i |
Л g |
|
||
и |
|
|
Линии и поверхности второго порядка, для которых 2)е^/а;,40,называются вырождающимися. Для невырождающихся линий и поверхностей второго порядка имеет место следующее положе ние: относительно любой невыроядающейся линии и поверхности второго порядка каждой точке плоскости (соответственно про странства) соответствует определенная поляра (соответственно полярная плоскость).
Предположим, что точка |
находится не линии (1 ,5 ) или ' |
поверхности ( 2 ,5 ) } тогда |
|
Уравнение |
|
«,р |
r |
I |
|
|
|
(ю,б) |
|||||
(5 ,6 ) |
поляры, |
согласно (7 ,6 ), удовлетворяется, . |
|||||||||||
если |
вместо х і |
подставим у*. Это |
значит, |
что поляра |
точки ли |
||||||||
нии (1 ,5 ) |
или поверхности (2 ,5 ) |
проходит |
через |
эту |
точку. |
||||||||
Очевидно, |
эта |
поляра |
не пересекает линию (1 ,5 ) |
или |
поверх |
||||||||
ность |
( 2 ,5 ) , |
следовательно, |
касается е е . Таким |
образом, |
по |
||||||||
лярой |
точки линии (1 ,5 ) |
или поверхности |
(2 ,5 ) |
является |
каса |
||||||||
тельная к |
(1 ,5 ) |
или касательная |
плоскость к ( 2 ,5 ) . |
|
|
||||||||
Отметим следующее свойство поляры: Бели точка *• лежит |
|||||||||||||
на. поляре |
точки |
у |
,то .точка у |
также |
лежит |
на |
поляре точ |
||||||
ки |
у |
.Действительно, |
согласно |
( 5 ,6 ) , имеем |
|
|
|
?./» S * |
= ° ‘ |
Так как полярой точки Я |
является= 0 » |
то, согласно ( I I , ь ), имеем
Z . o - c i V “0'
что и требовалось Доказать.
Доказанная теорема позволяет получить следующий способ построения поляры р по данному полюсу 9 : проводим из
- 23 -
обе касательные линии второго порядка ; соединяя точки при |
|
|||||||||||
косновения, получим поляру |
|
|
|
|
|
|
||||||
Разумеется, |
это |
|
р. |
|
|
|
|
|
||||
построение |
|
|
|
|
|
|||||||
предполагает, |
что |
точка |
9 |
на |
|
|
|
|
|
|||
ходится вне линии второго по |
|
|
|
|
|
|||||||
рядка. Если точка |
|
находится |
|
|
|
|
|
|||||
внутри^линии, |
то |
поступаем |
так: |
|
|
|
|
|||||
через |
(Р |
проводим |
две прямые |
, |
в |
|
|
|
|
|||
точках пересечения |
последних с |
|
|
|
|
|
||||||
линией проводим касательные |
к |
|
|
|
|
|
||||||
линии второго порядка до их пе |
р |
точки |
У* |
. |
||||||||
ресечения ; соединяя |
последние, |
получим поляру, |
|
|
Свойство поляр линии (конического сечения) для случая, когда данная, точка находится вне линии, были известны Апполѳнию. Теория полюсов и поляр была разработана Дезаргом(15931661), Хиром (1640-1718) и Ионием (1248-1818).
§ 7 . Классификация' линий и поверхностей второго порядка
До |
сих пор мы |
исключали из рассмотрения случаи (8 ,6 ) |
и |
(9 ,6 ) |
вырождения |
линий и поверхностей второго порядка. |
Те |
перь мы будем рассматривать и случаи вырождения этих геомет-. р.ических объектов. При этом мы начнем со случая пространствен-?
ных образов. |
что полярная |
плоскость |
точки |
у |
имеет урав |
|
нение |
Мы видели, |
|
||||
( 6 ,6 ) : |
|
|
|
|
|
|
где |
+ |
ь + |
f t + |
* ѵ/з |
|
0 ■ с If 7) |
текущие |
координаты. |
Из (7 ,6 ) |
мы найдем |
точки у , |
для которых полярная плоскость неопределенна. Решая систену
( 7 ,6 ) , |
мы долгны |
различать |
пять |
случаев |
в зависимости от |
|
ранга |
матрицы |
° - U |
Я - и . |
° - і і |
V |
(2 ,7 ) |
|
|
ач |
а-г.1 |
I |
сцу I
Сц/ (Яѵд О-чу
- 24 -
I» |
Определитель Q e tlct^jl |
матрицы (2 ,7 ) не равен |
нулю. |
|||||||||
В этом |
случае |
система (7 ,6 ) |
не имеет решений |
относительно |
||||||||
2 , |
|
Определитель 3)ét/Hyj равен нулю, |
но |
среди миноров |
||||||||
матрицы (2 ,7 ) |
существует по |
крайней мере |
один |
отличный от |
||||||||
нуля минор третьего порядка. В этом случае существует лишь |
||||||||||||
одна точка |
у |
»координаты которой удовлетворяют |
системе |
|||||||||
( 7 ,6 ) . |
|
' |
|
3 ) è t/A y / |
|
равен нулю, |
равны |
нулю и все |
||||
3 .Определитель |
|
|
||||||||||
миноры |
третьего порядка матрицы ( 2 ,7 ) , |
но |
существует |
по |
||||||||
.крайней мере один минор второго порядка, |
отличный от |
нуля. |
||||||||||
Тогда существует целая прямая |
точек |
-у |
, |
координаты |
кото |
|||||||
рых удовлетворяют уравнениям |
|
( 7 ,6 ) . |
|
|
|
|
|
|
4 . Определитель 3jd.IQ .ijj равен нулю, равны нулю и все миноры второго порядка, но существует по крайней мере один минор первого порядка матрицы ( 2 ,7 ) , т .е . один из коэффи циентов Ciij уравнения (2 ,5 ) поверхности, отличной от ну
ля. Тогда существует целая плоскость точек у , координаты которых удовлетворяют уравнениям ( 7 ,6 ) .
5 . Все миноры первого порядка матрицы (2 ,7 ) равны нулю, т .е . все коэффициенты уравнения (2 ,5 ) поверхности равны нулю. Но этот случай мы исключили с самого начала как не имеющий никакого геометрического смысла.
Как известно, наибольший порядок отличного от нуля опре делителя матрицы называется рангом матрицы. Таким образом, в рассмотренных четырех случаях ранг матрицы (2 ,7 ) коэффи циентов уравнения ( 2 ,5 ) ,поверхности имеет ранг, соответст венно равный 4 , 3 и / . Ранг матрицы (2 ,7 ) будем называть рангом поверхности.
При проективных преобразованиях ранг поверхности вто рого порядка не изменяется, так как характеризуемые рангом
.различные вырождения полярного преобразования не переходят друг в друга при проективных преобразованиях.
' Нам остается определить вид различных типов поверхно стей с рангами 4 }3 , і и 1 .С этой целью мы отнесем поверх-
- 25 -
кость к координатному тетраэдру. Пусть одна из верш и н ^, этого тетраэдра не находится на поверхности, а противоле жащая координатная плоскость Ef , является полярной плос костью точки 9\ . В этой системе координат точка 5^ , с координата ми /,0,0'им еет полярную плоскость •*,=0 . Подставляя в (1,7 ) координаты точки 0] , получим
°-и * / + |
х г +0-ц*-з гО-мХ-ч-О |
|
имеем |
|
|||||||||||
и так как это |
уравнение |
|
должно иметь вид х ,= 0 ,т о |
|
|||||||||||
|
°-/1 - Q-іЗ |
= |
Q-ty |
= |
о ■ |
|
|
|
|
||||||
Предположим, что поверхность в выбранной системе коор |
|
||||||||||||||
динат имеет уравнение |
|
|
|
|
|
|
|
|
|
(3,7 ) |
|
||||
|
|
А |
~ 0> |
|
|
|
|
|
|
||||||
|
Л//*•, |
|
|
|
|
|
|
|
|||||||
где C t ^ c .Тогда |
она |
|
является |
дважды взятой |
плоскостью |
Ef |
, |
||||||||
Теперь предполодим, |
|
что |
в уравнении поверхности |
имеются |
|||||||||||
другие члены, |
кроме |
аѵ |
х / |
|
, тогда |
оно имеет |
вид « „х |
|
|
|
|||||
Выберем новый9(координатный тетраэдр |
|
|
|
|
|||||||||||
с вершинами |
и |
^ |
|
,где ^ |
|
не |
при |
|
|
|
|
||||
надлежит поверхности, |
и противолежащи |
|
|
|
|
||||||||||
ми им координатными плоскостями |
|
х ,= о |
|
|
|
|
иОтметим, что по доказанной ра-
нее |
теореме полярная |
плоскость |
Е/ |
содержит точку ^ ,а поляр- |
|||
ная |
плоскость |
Et |
содержит точку |
|
^ . |
||
|
Предположим, чт!о поверхность в выбранной системе координат |
||||||
имеет уравнение |
о-« * |
+а-і х*= |
О л |
|
(4 ,7 ) |
||
г д е а ^ о , |
а ц ? о |
|
|
||||
|
|
ітогда она |
является парой плоскостей, |
проходящих через линию пересечения координатных плоскостей^ и £2 . Если в уравнееии поверхности тлеются и другие члены,то
оно имеет |
вид |
л„ ** + &1S |
|
f l С^з/у^Возъиен |
на |
координат |
||
ном ребре х ,= 0 |
, |
х2=0 ( т .е . на |
линии пересечения |
координатных |
||||
плоскостей |
|
) |
точку |
% |
, |
не находящуюся на |
поверхности. |
|
В качестве |
Е„Е% |
|
|
тетраэдра выберем тетраэдр, |
||||
нового |
координатного |
имевший вершины |
- 26 |
- |
|
,а соот |
||||
9 \, |
|
fj>b |
||||||
ветствующие им полярные плоскости £ |
||||||||
у£3 |
-противоположными координат |
|||||||
ными |
ПЛОСКОСТЯМИ |
X, =0 |
, х а |
= |
0 , * 3 =0 . |
|||
Из доказанной ранее теоремы следует, |
||||||||
что четвертая вершина |
% |
координат |
||||||
|
|
|
|
|
|
|
ного тетраэдра является полюсом противолежащей координатной плоскости Еч .
Этот тетраэдр называется полярным тетраэдром.
Б выбранной системе координат уравнение поверхности бу дет содержать также координаты и Ху .Получится или урав нение
|
|
|
-t- at |
|
X |
“ 0 |
|
(5,7 ) |
|
где |
|
|
ч- о.V х з |
|
|||||
°-цФо , л 1гФ0> |
|
или уравнение |
|
(6 ,7 ) |
|||||
где |
о-, ро , |
|
+ Л,£ Х-х |
|
|
о ' |
|
||
|
, |
«зз іьо , о.чіФ- 0 . |
|
|
|||||
|
В случае |
(5 ,7 ) |
мы имеем конус с вершиной в точке (в с ,с ,/ ) , |
||||||
а в случав (6 ,7 ) -невырождающуюся |
поверхность |
второго |
по |
||||||
рядка |
с определителем, отличным |
от |
нуля: а ,« * « , йу / о • |
||||||
|
Отметим |
, |
что |
определители |
поверхностей |
( 3 ,7 ) , |
( 4 ,7 ) , |
||
( 5 ,7 ) , (6 ,7 ) |
имеют ранги |
1 ,2 ,3 |
и 4 соответственно, И так |
||||||
как ранг определителя при проективном преобразовании оста |
|||||||||
ется неизменным и уравнение всякой поверхности второго |
|||||||||
порядка может быть приведено к одному их расссмотренных вы- |
|||||||||
■ ѳ видов, то мы |
приходим к |
следующему результату: Уравнение |
любой поверхности второго порядка при помощи надлежаще вве денной системы координат можно привести к одному из сле дующих четырех канонических видов ( в зависимости от ранга соответствующего определителя):
** +й33*3 +
О./,*,*■ + « i t * £ • + Q j j * J — О , |
(7 ,7 ) |
|
*/■ Яц ><1-0, ак*,L=o.
-27 -
Впервом случае имеем невырождающуюся поверхность вто рого порядка, во втором - конус второго порядка, в третьемпару плоскостей, в четвертом - дважды взятую плоскость.
Четыре канонические формы (7 ,7 ) при помощи проективного (вообще говоря, комплексного) преобразования
^ |
X I “ * I >. |
|
|
,{л и X *• |
} 9 ^^ чу -Ху =5X у |
могут быть приведеныt |
к ви^дам |
» |
|||
X, |
+ |
I |
6 |
а. О » |
|
"" і |
•— |
|
|
|
|
А , |
+ A t + X ,ä - . |
|
|
;Д +
— 0 •
Так™ образом, относительно комплексных проективных преобразований существует только четыре различных типа по верхностей второго порядка.
Рассмотренная классификация поверхностей второго поряд ка должна быть уточнена. Можно показать*), что при помощи действительных проективных преобразований рассмотренные че тыре вида поверхностей (7 ,7 ) можно свести к следующим вось ми случаям:
|
*(І+ *г |
+ |
|
|
+ *ѵ= о, (нулевые |
поверхности), |
||
|
'і + |
* 4 |
_4 |
|
- х *0= о , |
(овальные |
поверхности), |
|
8 7 |
х ,1+ |
х г |
|
(кольцеобразные поверхности), |
||||
( , ) |
+ |
|
-Aj |
= , |
(нулевые |
конусы), |
||
|
* I.i +,ЦІ |
- |
** |
= 0 , |
||||
|
(обычные |
конусы), |
||||||
|
s . |
|
^ |
|
|
(комплексно-сопвяжекныеМілос- - |
||
|
+ |
|
о |
|
||||
|
•t ” |
**- |
- |
* |
|
костёр, |
||
|
~ |
(действительные пары плоскостей) |
||||||
причем |
*/ = с .> |
|
(дважды |
вЭяхтбя плоскость J |
||||
|
|
|
||||||
оказывается, |
что уравнение данной действительной |
поверхности второго порядка может быть преобразовано при помощи действительных линейных подстановок в одно из вось ми уравнений ( 8 ,7 ) .
Аналогичным образом классифицируются образы второго порядка на плоскости и прямой:х)
х) Ф.Клейн, |
Неевклидова геометрия, Москва, 1936, |
с т р .79, |
ст р .82. |
- 28 -
|
*/+***- |
|
*■}- 0 , |
||
(9 ,7 ) |
* / + |
|
|
X y |
- o , |
|
= О |
> |
|||
|
|
*i - |
|
|
Для пряной имеем
1і.
х/ + xL-o,
(10,7) * / - **=<Ъ
(нулевые конические сечения), (овальные конические сечения), (пары комплексно-сопряженных прямых),
(пары действительных прямых),
(дважды взятые прямые).
(пары компдексно-соряженных точек),
(пары действительных точек),
(дважды взятая точка)
§ 8 . Прямолинейные образующие невырождающеЯся поверхности второго порядка
Как известно из аналитической геометрии х \ н а кольцеоб разных поверхностях (однополостных гиперболоидах, гиперболи ческих параболоидах) имеются два семейства действительных пря ных. Этот вопрос может быть рассмотрен и в проективном про странстве.3“ '
Дадим здесь сводку основных относящихся сюда результатов: на кольцеобразных поверхностях имеются два семейства прямых. Любые две прямые одного семейства не пересекаются, а любые две прямые разных семейств пересекаются,через каждую точку поверхности проходит по одной прямой из каждого семейства, Эю две прямые, по которым касательная плоскость в рассмат риваемой точке пересекается с самой поверхностью. Это факты доказываются так же,как в аналитической геометрии в простран ст в е .
На овальных и нулевых поверхностях имеются два семейства мнимых прямых, обладающих теми же свойствами, что и семейство)х
х) А .Э .- А . Хатипов, Курс аналитической геометрии, ч.ІИ иэд.■ Учитель",Ташкент, 1967, § 122. * ’
X~)X Ф Д іейн, Неевклидова геометрия, Носква, 1936, гл .П , § 5 .