книги / Линейная алгебра.-1
.pdf§ 7. ГИПЕРПОВЕРХНОСТИ ВТОРОГО ПОРЯДКА |
|
|
231 |
|||
Тогда, очевидно, элем енты p jk м атрицы Р |
удовлетворяю т |
усло |
||||
вию (7.72), что, согласно этим ж е соотнош ениям |
(7.72), эквивалентно |
|||||
условию ортонорм ированности базиса {е^}. |
|
|
|
|
||
Н апомним, что в § 9 гл. 5 м атрицу Р , удовлетворяю щ ую |
усло |
|||||
вию (7.73), мы назвали ортогональной . |
|
|
|
|
||
И так, для того чтобы преобразование (7.70) |
было преобразовани |
|||||
ем орт онорм ированного базиса |
в ортонор м ир ованны й, |
необходимо и |
||||
дост ат очно, чтобы м ат рица |
Р |
эт ого преобразования |
была |
орт ого |
||
нальной. |
|
|
|
|
|
|
З а м е ч а н и е . О бращ аясь |
к |
ф орм улам (5.14) преобразования ко |
||||
ординат вектора при преобразовании базиса |
(см. и. 1 § 2 |
гл. 5) и |
||||
учи ты вая, что обратн ая м атри ц а д л я ортогональной м атрицы |
Р |
есть |
м атри ц а Р ', получим следую щ ие ф орм улы преобразования координат
точки х при переходе от ортонорм ированого |
базиса к ортонорм иро- |
||||||
ванному: |
|
|
|
|
|
|
|
X ! |
= |
р ц х ' х |
+ |
р 1 2 х ' 2 |
+ . . . |
+ |
P l n X ' n , |
Х 2 |
= |
Р 21Х 'х |
+ |
р 2 2 Х 2 |
+ . . . |
+ |
р2пх'п , |
|
|
|
|
|
|
|
7.75 |
Х п |
= |
Pnix'i |
+ |
Р п 2 Х 2 |
+ . . . |
+ |
Р п п Х ' п - |
3.П р еобр азов ани е общ его уравнения гиперповерхности
второго |
порядка |
при |
параллельном |
п ер ен осе. |
Рассм отрим |
|||||||||
п араллельн ы й |
перенос, которы й определяется |
как |
преобразование |
|||||||||||
п ространства V |
по |
ф орм уле |
(7.68) |
(или |
в |
координатах |
по ф орм у |
|||||||
ле (7.69)). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Л евая часть |
|
(7.62) |
после подстановки |
вместо |
х его вы раж ен и я по |
|||||||||
ф орм уле (7.68) в силу линейности квад рати чн ой ф орм ы по первому и |
||||||||||||||
второму аргум енту 9) |
и свойств линейной ф орм ы прим ет следую щ ий |
|||||||||||||
вид: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
А ( х ', х ') + |
2 |
[Л (х ', |
х) + |
В (х')] |
+ [Л (х , |
х) + |
2 В |
(х) |
+ |
с] = 0 . |
||||
И так, общее уравнение |
(7.62) гиперповерхности S |
при п ар ал л ел ь |
||||||||||||
ном переносе (7.68) запиш ется в ф орм е |
|
|
|
|
|
|
||||||||
|
|
|
|
Л ( х ', х ') |
+ 2 В ' |
(х') + |
с’ |
= 0, |
|
|
(7.76) |
|||
9) |
К вадратичная |
ф орм а |
А ( х , х ) |
связана |
с симметричной |
билинейной ф ор |
||||||||
мой А ( х , у ) , |
полярной к форме А ( х , х ) . Билинейная форм а А ( х , |
у ) |
линейна по |
|||||||||||
аргументам х и у . |
Фигурирующее в дальнейшем тексте выражение А |
( х ' , х ) пред |
||||||||||||
ставляет собой значение формы |
А ( х , у ) на векторах х ' и х . |
|
|
|
232 |
ГЛ. 7. БИЛИНЕЙНЫЕ И КВАДРАТИЧНЫЕ ФОРМЫ |
|||||
где линейная ф о р м а В 1 (х ') |
и постоянное число с1 определяю тся соот |
|||||
нош ениями |
|
|
|
|
|
|
|
В ' (х ') |
= |
А (х ', |
х) + В |
(х ;), |
(7.77) |
|
с' = А (х , |
х) + |
2 В (х ) |
+ с. |
(7.78) |
|
Запиш ем полученны е ф орм улы в координатах. |
|
|||||
П усть координаты точек х ' и х равны соответственно х [, |
х '2, . .. , х'п |
|||||
и ад, Ж2 ... , |
х п . Т ак как при п араллельном переносе базис { е к} не ме |
няется, то к вад р ати чн ая ф о р м а А (х ', х ') запиш ется следую щ им обра |
||||
зом: |
|
п |
|
|
|
|
|
|
|
А (х', х') |
= |
^ |
djkx'jx'f, |
(7.79) |
|
|
j,k = 1 |
|
|
(отметим, что коэф ф и ц и ен ты |
ajk |
= |
A ( e j , е к) не м еняю тся, |
так как |
не меняю тся базисны е векторы щ ). |
|
|
С ледовательно, мы можем сделать важ н ы й вывод: при |
па р а ллель |
|||||||||||
ном переносе группа ст арш их членов сохраняет |
свой вид. |
|
||||||||||
Займ ем ся теперь ф орм улам и |
(7.77) и (7.78). Т ак как |
|
||||||||||
|
|
|
|
п |
|
/ |
п |
|
|
|
|
|
|
А { х ', *) |
= |
X |
|
|
X |
aA |
i |
|
|
|
|
|
|
|
|
к = 1 |
\ j |
= 1 |
|
/ |
|
|
|
|
|
|
|
|
п |
|
|
|
|
|
|
|
|
|
Б (х') = |
XI |
|
|
|
|
|
|
|
|||
|
/ О |
О |
= |
|
|
|
О |
О |
|
|
|
|
|
Л (х, х) |
2^ C L j k X j X k , |
|
|
|
|||||||
|
|
|
|
3,к = 1 |
|
|
|
|
|
|
|
|
|
|
|
|
п |
|
|
|
|
|
|
|
|
|
£ (х ) |
= |
X |
Ьк^к’ |
|
|
|
|
|
|||
то ф орм ула (7.77) прим ет вид |
|
|
|
|
|
|
|
|
|
|||
в ' (х о |
= 5 |
] |
|
=х |
|
|
UjkXj |
+ |
Ък х к? |
(7.80) |
||
|
к = 1 |
|
|
к = 1 3 = 1 |
|
|
|
|
||||
а ф орм ула (7.78) запиш ется следую щ им образом: |
|
|
|
|||||||||
|
|
п |
|
|
|
|
|
п |
|
|
|
|
/ |
X —^ |
|
о о |
|
|
^ > |
о |
|
|
(7.81) |
||
с |
= |
2 ^ |
aj k X j X k |
+ |
2 ^ |
Ькх к |
+ |
С. |
j, к = 1 |
к = 1 |
|
§ 7. ГИПЕРПОВЕРХНОСТИ ВТОРОГО ПОРЯДКА |
233 |
|||||
Таким образом, уравнение (7.76) в координатах будет им еть следу |
|||||||
ющ ий вид: |
п |
|
п |
|
|
|
|
|
|
|
|
|
|
||
|
|
Е |
ajk x 'jx 'k + |
2 Е |
Ь'кХ'к |
+ с' = 0. |
(7.82) |
|
|
j , к = 1 |
|
к — 1 |
|
|
|
Н ам |
понадобится |
несколько |
иное, |
чем |
(7.81), вы раж ение |
д л я с '. |
|
Запиш ем (7.81) в следую щ ей ф орме: |
|
|
|
||||
|
|
п |
|
|
|
|
|
|
с/ |
Е ^ ^&jk% т ьk Хк + |
^ 2 Ък^ к + с- |
(7.83) |
|||
|
|
к = 1 |
3 = 1 |
|
|
к = 1 |
|
У чи ты вая, что коэф ф и ц и ен ты Ьгк вы раж аю тся, как это следует из |
|||||||
(7.80), по ф орм улам |
п |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
К = Е |
ai kXi |
+ Ък |
Г -84) |
|
|
|
|
3 = 1 |
|
|
|
|
мы получим из |
(7.83) нуж ное нам вы раж ение д л я с': |
|
|||||
|
|
|
п |
|
|
|
|
|
|
|
d = |
+ h ) x k |
+ с. |
(7.85) |
|
|
|
|
fc = i |
|
|
|
|
4. |
Преобразование общего |
уравнения гиперповерхности |
второго порядка при переходе от ортонормированного базиса к ортонормированному. П усть ортонорм ированны й базис {е/,} пре образуется в новы й ортонорм ированны й базис {е^} по ф орм улам (7.70) и Р — ортогон альн ая м атри ц а этого преобразования (см. (7.71)). Тогда,
согласно зам ечанию |
в и. 2 |
этого п ар агр аф а, координаты |
х и х'к точ |
|
ки в базисах {щ } |
и |
{е^} |
связаны соотнош ениям и (7.75) |
. П одставляя |
вы раж ение д л я х\~ |
из (7.75) в левую часть уравнения (7.66) и учиты |
вая, что вследствие однородности соотнош ений (7.75) группа старш их
членов и линейная часть уравнения |
(7.66) преобразую тся автономно, |
||||||||
получим следую щ ее |
вы раж ение |
д л я общ его |
уравнения |
гиперповерх |
|||||
ности второго |
порядка в координатах х к |
точек |
в |
преобразованном |
|||||
базисе{е^}: |
п |
|
|
п |
|
|
|
|
|
|
Е a'jkX'jX'k + |
2 Е Ь'кХ'к + |
d |
= |
0 . |
(7.86) |
|||
|
j, к = 1 |
к = 1 |
|
|
|
|
|
||
Согласно отмеченной вы ш е автоном ности преобразования группы |
|||||||||
старш их членов, справедливы равенства |
|
|
|
|
|
||||
п |
|
п |
п |
|
|
п |
|
|
|
Е a'jkX'jX'k |
= |
Е ajk x j x k 1 |
У |
ь'кх'к |
= |
Y |
ъкх к , d |
= с. (7.87) |
|
j , к = 1 |
j , к = 1 |
к = 1 |
|
к = 1 |
|
|
|
234 |
ГЛ. 7. БИЛИНЕЙНЫЕ И КВАДРАТИЧНЫЕ ФОРМЫ |
|
О бращ аясь к первой из ф орм ул (7.87), мы видим, что д л я опре |
деления коэф ф ициентов а'-к мож но воспользоваться правилом преоб |
разован и я коэф ф ициентов квад рати чн ой ф орм ы при переходе к ново му базису. И менно, если обозначим буквой А ' м атрицу квадрати чн ой
ф орм ы |
А (х, х) в базисе |
{е'Д, то, согласно теореме |
7.2 и соотнош е |
|
нию Р 1 |
— Р ~ 1, п о луч и м следую щ ую связь м еж ду м а т р и ц а м и А и А 1 |
|||
формы А (х, х) в базисах |
{е/Д |
и {е'Д: |
|
|
|
|
А! |
= Р ~ 1А Р |
(7.88) |
(напомним, что Р — м атри ц а ортогонального преобразования).
Будем рассм атри вать теперь м атрицу А 1 как м атрицу некоторого линейного оператора А в базисе {е'Д 10) , а м атрицу Р ~ 1 как м атрицу перехода от базиса {е/Д к базису {е'Д. Тогда, согласно теореме 5.7 (см. п. 2 § 2 гл. 5), м атрицу А мож но рассм атри вать как м атрицу этого
линейного оператора А в базисе {е/Д. |
|
|
|
||
И ны ми словами, м ат рица квадрат ичной формы при |
преобразова |
||||
н и и орт онорм ированного базиса в |
ортонор м ир ованны й |
и зм ен яет ся |
|||
как м ат рица некот орого линейного оператора. |
|
|
|||
Э тот вы вод мы используем в следую щ ем пункте. |
|
|
|||
З а м е ч а н и е . |
О тметим, что оператор А, м атри ц а которого |
в ор |
|||
тонорм ированием |
базисе совпадает с м атрицей квад рати чн ой |
ф о р |
|||
мы А (х, х), сам осопряж енны й. |
|
|
|
|
|
Д л я доказательства проведем следую щ ие рассуж дения. |
|
||||
П усть А (х, х )— квад р ати ч н ая |
ф о р м а |
и А (х, у) — сим м етричная |
|||
билинейная ф орм а, полярн ая ф орм е А (х, |
х). Согласно |
теореме 7.8, |
|||
билинейная ф о р м а А (х, у) м ож ет бы ть представлена в виде |
|
||||
|
А ( х , у) = (А х , у ), |
|
|
||
где А — сам осопряж енны й оператор. |
|
|
|
||
П оэтому квад р ати ч н ая ф о р м а |
А (х, х) |
м ож ет бы ть |
представлена |
||
в виде |
А (х, х) = |
(Ах, х). |
|
|
|
|
|
|
Д окаж ем , что в ортонорм ированном базисе {е/Д м атрицы операто
р а А и квадрати чн ой |
ф орм ы совпадаю т. Этим будет доказано утвер |
ж дение зам ечания. |
|
П усть d jk — элем енты м атрицы ф орм ы А (х, х) и a jk — элементы |
|
м атрицы оператора А |
в базисе {е/Д. С огласно и. 2 § 1 этой главы ajk = |
10) |
Согласно теореме 5.5 (см. п. 1 § 2 |
гл. 5) любая |
квадратная |
матрица из п |
|
строк и п столбцов может |
рассматриваться |
как матрица |
некоторого |
линейного |
|
оператора, действующего в |
n -мерном пространстве. |
|
|
§ 7. |
ГИПЕРПОВЕРХНОСТИ ВТОРОГО ПОРЯДКА |
235 |
||
= A ( e j , е Д , |
а элем енты d jk, согласно |
п. 1 § 2 |
гл. 5, ф орм уле |
(5.13), |
м огут бы ть найдены из равенств A e j = |
^2 р = 1 |
d jpep . |
|
|
У м нож им обе части последнего соотнош ения скалярно на щ . Тогда, |
||||
учи ты вая ортонорм ированность б а зи с а{ еД , получим (А е^, е Д |
= dj |
|||
Т ак как A ( e j , |
еД = (A e j, е Д , то ajk = |
d jk . У тверж дение зам ечания |
||
доказано. |
|
|
|
|
5.И нварианты общ его уравнения гиперповерхности вто
рого порядка. Н азовем инвариант ом общ его уравнения (7.62) (или (7.66) ) гиперповерхности второго порядка относительно п араллельн ы х
переносов и преобразований ортогональны х базисов в ортогональны е
такую |
ф ункцию |
/ |
(о ц , а ц , |
. .. , a nn, bi, |
Ьп , с) |
коэф ф ициентов |
|||
этого |
уравнения, |
значение |
которой |
не м еняется при |
указанны х |
пре |
|||
образованиях пространства. |
|
|
|
|
|
|
|||
Д окаж ем следую щ ее утверж дение. |
|
|
|
|
|||||
Т еорем а 7 .11. |
И нвариан т ам и |
общего |
уравнения |
(7.62) |
(и ли |
||||
(7.66) |
) гиперповерхност и |
второго |
порядка |
я в ля ю т с я |
коэф ф ициен |
т ы характ ерист ического м ногочлена м ат рицы А квадрат ичной фор
м ы А (х, х) и определит ель det В м ат рицы В |
в соот нош ении (7.67). |
|
В |
част ност и , инвариан т ам и я в ля ю т с я det А |
и след а ц + < 2 2 2 + . .. |
. .. |
+ апп м ат рицы А . |
|
|
Д о к а з а т е л ь с т в о . О чевидно, инвариантность перечисленны х в |
|
условии теорем ы величин достаточно д оказать |
отдельно д л я п ар ал |
лельного переноса и преобразования ортонорм ированного базиса в ортонорм ированны й .
Рассм отрим сн ачала параллельны й перенос. В п. 3 этого п ар а гр аф а мы установили, что при этом преобразовании группа старш их членов
сохраняет свой вид (см. ф орм улу (7.79)). П оэтому не м еняется м атри
ца А , а следовательно, и характеристический м ногочлен этой м атрицы .
Д окаж ем инвариантность det В .
П ри п араллельном переносе (7.68) (или (7.69)) м атри ц а преобразу
ется в м атрицу В 1, определитель которой, согласно (7.82), имеет вид
ац |
|
а 1п |
Ъ[ |
|
|
0"п1 |
• • |
0"пп |
К |
|
(7.89) |
|
|
||||
К |
■•• |
К |
с' |
|
|
где величины Ь'к и с' определяю тся по ф орм улам |
(7.84) и |
(7.85). |
|||
В ы чтем из элементов последней |
(п + |
1)-й |
строки |
определите |
л я (7.89) элем енты первой строки, ум нож енны е на ад, затем элементы
о
второй строки, ум нож енны е на х 2 и т. д., наконец, элем енты п -й стро ки, ум нож енны е на х п . Т ак как при таких преобразованиях определи-
236 |
ГЛ. 7. БИЛИНЕЙНЫЕ и к в а д р а т и ч н ы е |
ф орм ы |
||||
тель не меняется, то, используя |
(7.84) и (7.85), получим соотнош ение |
|||||
|
а ц |
.. |
а \п |
К |
|
|
|
det В ' = &п1 |
- - |
0"пп |
ь'п |
|
(7.90) |
|
К |
|
( |
п |
|
\ |
|
••• |
К |
у ^ ЬкХк |
+ |
С |
|
|
|
|
\fc = i |
|
/ |
|
|
В ы чтем теперь из элементов последнего (п + |
1)-го столбца опреде |
ли теля (7.90) элем енты первого столбца, ум нож енны е на ад, затем эле м енты второго столбца, ум нож енны е на ад, и т. д., наконец, элементы n -го столбца, ум нож енны е на х п . Т ак как при таких преобразованиях
определитель не меняется, то, используя соотнош ение djk |
= а^-, вы |
|||
текаю щ ее |
из сим м етричности |
ф орм ы А (х, у), |
и ф орм улу (7.84), мы |
|
получим |
в результате det IT |
И так, равенство |
det В ' = |
det В дока |
зано. С ледовательно, det В инвариантен относительно п араллельн ы х переносов.
Рассм отрим |
теперь преобразование орт онорм ированного базиса в |
||||
ортонор м ир ованны й. |
|
|
|
|
|
В о-первы х, |
убедимся, |
что |
коэф ф и ц и ен ты |
характеристического |
|
м ногочлена м атрицы А квадрати чн ой ф орм ы |
являю тся инварианта |
||||
ми рассм атриваем ого преобразования. |
|
|
|||
В преды дущ ем пункте |
мы |
установили, |
что |
при переходе к ново |
|
му ортонорм ированном у базису м атри ц а А |
изм еняется как м атрица |
некоторого линейного оператора. Но в таком случае, как следует из
зам ечан и я 1 п. 3 § 2 гл. 5, коэф ф и ц и ен ты характеристического много члена этой м атрицы не меняю тся при переходе к другом у базису.
В частности, определитель det А и след а ц + + . .. + апп м атри
цы А , как коэф ф и ц и ен ты характеристического м ногочлена, являю тся инвари ан там и .
Н ам остается |
доказать инвариантность |
определителя |
det В при |
||||
преобразовании |
ортонорм ированного |
базиса |
в ортонорм ированны й . |
||||
П риступим к этому доказательству. |
|
|
|
|
|||
П рименим |
следую щ ий прием . Введем обозначения |
bk |
= a,k,n + 1 , |
||||
к = 1, 2 , ... , |
п, |
с = а п + i,n + i- Тогда |
уравнение (7.66) |
гиперповерх |
|||
ности мож но записать следую щ им образом: |
|
|
|
||||
|
|
п + |
1 |
|
|
|
|
|
|
У ] |
cijkXjXk |
= о, |
|
|
(7.91) |
3,к = 1
где х п + 1 = 1 .
§ 7. |
ГИПЕРПОВЕРХНОСТИ ВТОРОГО ПОРЯДКА |
237 |
|
Рассм отрим |
преобразование переменны х ад, ад, . . жп , х п + \ |
в пе |
|
ременны е х [, |
а?2 |
, . . аф, х'п + 1? при котором первы е п переменны х пре |
образую тся по ф орм улам (7.75), а перем енная х п + 1 преобразуется по
ф орм уле х п + 1 |
= |
х'п + 1 . |
Ясно, что |
это |
преобразование переменны х м ож но рассм атри вать |
как преобразование координат при преобразовании ортонорм ирован -
ного базиса e i, |
в 2 , . .. , e n , e n + i |
(п + |
1 )-м ерного евклидова простран |
||||
ства, причем м атри ц а Р этого преобразования имеет вид |
|
||||||
|
/ |
Р п . . . |
Pni |
0 |
\ |
|
|
|
|
P in |
• .. |
Рпп |
О |
|
|
|
VО ... |
о |
I |
) |
|
||
Л егко видеть, |
что м атри ц а |
Р |
удовлетворяет |
условию Р 1 |
= Р ~ 1 и |
||
поэтому явл яется ортогональной . Но тогда, |
согласно п. 2 |
этого п ар а |
|||||
гр аф а, ортонорм ированны й базис ei, |
в 2 , ... , |
e n , e n + i преобразуется с |
помощ ью м атрицы Р в ортонорм ированны й базис. Вы ш е бы ло вы яс нено, что при таком преобразовании м атрицы В квадрати чн ой ф орм ы
определитель det В этой м атрицы |
представляет собой инвариант. Те |
орем а доказана. |
|
З а м е ч а н и е . И з рассуж дений |
в доказательстве теорем ы следует, |
что инвариантам и общ его уравнения гиперповерхности второго поряд
ка будут такж е величины rang Л и rang В . |
|
|
|
|||||||
|
6. |
Ц е н т р |
ги п е р п о в е р х н о с т и |
в т о р о го |
п о р я д к а . |
П опы таем |
||||
ся |
найти |
такой |
п араллельн ы й |
перенос, |
при котором общее |
уравне |
||||
ние |
(7.76) |
не содерж ало бы слагаем ого 2 |
В 1 (х') (или, |
если обратиться |
||||||
к уравнению |
(7.82), то слагаем ы х 2 Y^k = i &кх к)• |
|
|
|
||||||
|
И ны ми |
словами, будем искать п араллельн ы й |
перенос (т. е. коор- |
|||||||
ди н аты ад, ад, |
• •., х п точки х), |
при котором обратятся в нуль все ко |
||||||||
эф ф и ц и ен ты |
Ь'к . |
О бращ аясь к ф орм улам |
(7.84), найдем , что искомые |
|||||||
координаты |
о |
о |
о |
о |
|
собой реш ение сле |
||||
ад, ад, ... , х п точки х представляю т |
||||||||||
дую щ ей системы линейны х уравнений: |
|
|
|
|
||||||
|
|
|
|
|
п |
|
|
|
|
|
|
|
|
|
|
^ ^ &jk%j Н" |
Ькч ^ — 1, 2, ... , 77/. |
|
(7.93) |
||
|
|
|
|
|
3 = 1 |
|
|
|
|
|
|
У равнения (7.93) н азы ваю тся ур а внен иям и цент ра гиперповерхно- |
|||||||||
ст и второго |
порядка, а точка |
о |
|
, о |
о |
о \ |
||||
х с координатам и |
(ад, ад, . .. , |
х п ), где |
(ад, ад, • • - , х п ) — реш ение системы (7.93), назы вается центром этой по верхности.
238 |
ГЛ. 7. БИЛИНЕЙНЫЕ И КВАДРАТИЧНЫЕ ФОРМЫ |
|
|||||
П оясним наим енование «центр» |
гиперповерхности. П усть |
начало |
|||||
координат помещ ено в центр |
о |
|
|
|
|||
х, т. е. произведен иском ы й п ар ал л ел ь |
|||||||
ный перенос. Тогда уравнение поверхности S прим ет вид |
|
||||||
|
|
|
п |
|
|
|
|
|
|
|
У " |
а]кх)х'к |
+ с' = |
0. |
(7.94) |
|
|
|
3,к = 1 |
|
|
|
|
П усть точка х с координатам и х [, |
х '2, ... , |
х'п располож ена на S . Это |
|||||
означает, |
что |
ее |
координаты удовлетворяю т уравнению (7.94). О че |
||||
видно, точка |
—х |
с координатам и — |
— х 2, ... , —х 'п1 сим м етричная |
точке х относительно точки х, такж е располож ена на 5 , ибо ее коор
ди н аты тож е удовлетворяю т уравнению |
(7.94). |
||||
Таким образом , если у гиперповерхности S |
есть центр, то от носи |
||||
т ельно цент ра т очки S располагаю т ся сим м ет ричн о парами. |
|||||
З а м е ч а н и е 1 . Если |
гиперповерхность S |
второго порядка име |
|||
ет центр, то и н варианты |
det А , det В и |
свободный член с' в уравне |
|||
нии (7.94) связаны соотнош ением |
|
|
|
|
|
|
det В |
= |
det |
А . |
(7.95) |
Д ействительно, д л я уравнения |
(7.94) получим |
||||
|
a n . . . |
CL\n |
0 |
||
|
— |
|
- - - |
Q"nn |
|
|
&nl |
|
0 |
||
|
0 |
|
. . . |
0 |
с' |
|
вы текает |
(7.95). |
|
Н аличие центра у гиперповерхности второго порядка связано с р аз
реш имостью уравнений центра (7.93).
Е сли уравнения цент ра им ею т единст венное реш ение, то гипер поверхност ь S будем назы ват ь цент ральной.
Т ак как определитель системы (7.93) равен det А , а необходимым
и достаточны м условием сущ ествования единственного реш ения этой системы явл яется отличие от нуля ее определителя, то мы можем сде
л ать следую щ ий |
вывод: для того чтобы гиперповерхност ь S |
была |
|
цент ральной , необходимо и дост ат очно, чтобы det 4 / |
0 . |
|
|
З а м е ч а н и е |
2 . Если начало координат перенесено |
в центр |
цен |
тральной гиперповерхности 5 , то уравнение этой гиперповерхности
будет иметь вид |
|
|
|
A |
ajk x jXk + |
det В |
(7.96) |
^ |
= 0. |
j, k = 1
§ 7. ГИПЕРПОВЕРХНОСТИ ВТОРОГО ПОРЯДКА |
239 |
Д ействительно, после переноса н ач ал а в центр уравнение гиперпо
верхности прим ет вид (7.94). Т ак |
как д л я центральной гиперповерх |
|
ности det А ф 0 , то из ф орм улы |
(7.95) найдем с' |
= det В / det А . |
П одставляя это вы раж ение д л я с' в ф орм улу |
(7.94), мы и получим |
уравнение (7.96).
7. С тандартное уп рощ ени е лю бого уравнения гип ерп оверх
ности второго порядка путем п реобразован и я |
ортонорм иро- |
|||
ванного базиса. По теореме 7.8 сущ ествует такой ортонорм ирован - |
||||
ный |
базис, |
в котором квад р ати ч н ая ф о р м а А (х, х) |
записы вается в |
|
виде |
суммы |
квадратов. О бозначим этот базис |
через |
{е/Д, а коорди |
н аты точки х в этом базисе обозначим через х [, |
х 2, ... , х'п . К ром е то |
го, буквам и Ai, А2 , ... , Ап обозначим собственны е значения сам осопря
ж енного оператора А, м атри ц а которого в ортонорм ированном базисе
совпадает с м атрицей квадрати чн ой ф орм ы |
А (х, х) |
(см. зам ечание в |
||||||
и. 4 этого п ар агр аф а). |
|
|
|
|
|
|
|
|
И спользуя |
теперь |
вы воды |
теорем ы |
7.8, |
запиш ем |
квадратичную |
||
ф орм у А (х, х) |
в координатах |
(х[, |
х 2, |
... , х'п ) точки |
х |
в базисе сле |
||
дую щ им образом: |
|
|
п |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
х) = |
^ 2 |
Хкх'к2. |
|
(7.97) |
||
|
|
|
|
к = 1 |
|
|
|
|
И так, перейдем от |
базиса |
{е/Д |
к базису |
{е Д . Т ак |
как ф орм улы |
преобразования координат точек при таком преобразовании линейны и однородны (см. зам ечание и. 2 этого п ар агр аф а, ф орм улы (7.75)), то
группа старш их членов и линейная часть уравнения |
гиперповерхно |
сти S преобразую тся автономно. Н а основании этого |
и в силу (7.97) |
уравнение гиперповерхности S в базисе {е]Д будет им еть следую щ ий вид п ) :
пп
Y , Хкх'к + 2 Y , ь'кХк + С = 0. |
(7.98) |
|
к = 1 |
к = 1 |
|
П риведение лю бого уравнения гиперповерхности S второго поряд |
||
ка к виду (7.98) будем |
н азы вать ст андарт ны м упрощ ением |
этого |
уравнения (путем преобразования ортонорм ированного базиса). |
|
8. У п рощ ени е уравнения центральной гиперповерхности второго порядка. К л асси ф ик ац ия центральны х гип ерп оверх ностей . В ы воды , сделанны е в преды дущ их двух пунктах, позволяю т
реш ить вопрос о классиф икации всех центральны х гиперповерхностей
11) Напомним, что при переходе от ортонормированного базиса к ортонормированному свободный член с в уравнении поверхности S не меняется (см. третью из формул (7.87)).
240 ГЛ. 7. БИЛИНЕЙНЫЕ И КВАДРАТИЧНЫЕ ФОРМЫ
второго порядка. Реш ение этого вопроса мы проведем по следую щ ей схеме. В о-первы х, путем переноса н ач ал а координат в центр гиперпо верхности (7.66) мы приведем ее уравнение к виду (7.96). П осле это го произведем стандартное упрощ ение уравнения (7.96). В результате, очевидно, мы получим, согласно (7.98), следую щ ее уравнение цен тральной поверхности второго порядка:
|
|
Aix'l |
+ |
А2 Ж2 |
+ |
. .. + |
Ап х п |
+ |
|
|
= |
|
|
(7.99) |
|||||||
в котором |
Xk — собственны е |
числа |
м атрицы А |
квадрати чн ой |
ф о р |
||||||||||||||||
мы А (х, х) в уравнении (7.62), а |
х р — координаты |
точки |
х |
в |
окон |
||||||||||||||||
чательном ортонорм ированием базисе {е Д . |
|
|
|
|
|
|
|
|
|||||||||||||
О тметим, |
во-первы х, что |
все собст венные числа |
А/., к |
= |
1 , 2 |
, . .. |
|||||||||||||||
... , п, |
от личны |
от нуля. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Д ействительно, подсчиты вая det Л д л я уравнения (7.99), получим |
|||||||||||||||||||||
det А |
= Ai А2 |
. .. Ап , а так как д л я центральной поверхности det 4 |
/ |
0, |
|||||||||||||||||
то очевидно, что все А/, ф 0 . |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
Д оговорим ся |
далее |
все |
полож ительны е |
собственны е числа |
м ат |
||||||||||||||||
рицы |
А |
нум еровать |
первы ми |
индексам и, |
а |
|
отрицательны е — |
||||||||||||||
последую щ ими. Таким образом , найдется такой номер р, что |
|
|
|
||||||||||||||||||
Ai > 0, А2 > 0, ...Хр, > |
0, Хр + 1 < |
|
0, |
Ар_|_2 |
< |
0, ..., |
Ап |
< |
0. |
||||||||||||
Введем теперь следую щ ие обозначения: |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
det |
А |
|
|
, то полож им |
|
|
|
|
|
|
|
|
|
|
|
|
|||
если sgn ------— ф 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
det |
А |
Ak = |
— |
|
при |
к |
= |
1 |
, 2 |
, ... , |
р, |
|
|
|
|
|
|
||
|
|
det |
В |
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
ак |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(7.100) |
|||
|
|
det |
А |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
Ак |
= |
----- о |
ПРИ & |
= |
р + |
1, . |
. |
п; |
|
|
|
|
|||||||
|
|
det |
В |
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
ак |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
det |
А |
|
|
, то полож им |
|
|
|
|
|
|
|
|
|
|
|
|
|||
если sgn ------— = |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
6 |
det В |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
Ак |
= |
\ |
|
при |
к |
= |
1 |
, 2 , ... , |
р, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ч |
х |
|
|
|
|
|
|
|
|
|
|
(7.101) |
||
|
|
|
|
|
Ак |
= |
----- « |
|
при |
к |
= |
р |
+ |
1 , ... , |
п. |
|
|
|
|
|
|
|
|
|
|
|
|
|
a t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Тогда, очевидно, уравнение (7.99) м ож ет бы ть переписано следую щ им образом (при этом мы заменим обозначение координат х р на жД:
Х1 |
, |
rJ2 |
, |
х р |
р 2 |
х п |
|
det В |
Х2 |
х р +1 |
|
||||||
О |
“ Г |
О |
“ Г • • • “ Г |
9 |
2 |
~2 |
+ |
= 0. (7.102) |
а{ |
|
a i |
|
йр |
а2р +1 |
Sgn det А |