Д.В. Беклемишев - Курс аналитической геометрии и линейной алгебры (1112306), страница 58
Текст из файла (страница 58)
Матрица Я не имеет вида (6), но Л и Х не меняются при произвольной замене базиса. Выпишем канонические виды уравнений второго порядка на плоскости вместе со значениями рангов и модулей сигнатур в табл. 1. Из теоремы 1 видно, что уравнениям одного класса соответствует один и тот же набор инвариантов, а из табл.
1, что наборы инвариантов, соответствуюшие уравнениям разных классов, различны. Таким образом, имеет место Теорема 2. Аффикный класс уравнения второго порядка с двумя переменными однозначна впределяетсл числалш г, Л, в и Е. Гл. УШ. Аффппние пространства зб2 Кроме того, мы видим, что значение г = 2 характеризует центральные линии, а их разделение на линии эллиптического и гиперболического типов определяется значением о.
Значение Л ( 3 соответствует "распаншимсяе линиям, в состав которых входят вещественные или мниглые прямые. Это было установлено в 2 3 гл. 111 в связи с геометрическим смыслом определителей б и 11. Сейчас мы в состоянии посмотреть на них с более общей точки зрения. Таблица 1 Каноническое уравнение Название о Ю-"1ае+ (12)-'Ф =1 Эллипс 2 2 (1~) 'а Ь (Ге) 1Ье 1 а (1') + Ь (4 ) = О Мнимый эллипс Пара мнимых пересекаю- шихся прямых (1~)~/а — (б ) /Ье = 1 Гипербола 2 О Пара пересекающихся прямых а(1) — Ь(б) =О (бе) = 2рб' 2 О Парабола 1 1 Юе =ае Пара параллельных прямых 1 1 Пара мнимых параллель- вых прямых (бе)е = — " 1 1 (б) =О Две совпавшие прямые 1 1 СС11 О12 1э =вы+наг, 12 = Ош О22 12 —..
зто знакомый нам детерминант д. При произвольных заменах координат его величина меняется, но знак (или обращение в 0) остается инвариантным. Об 1, речь шла в упр. 6 2 1 гл. П1. Замена базиса (6) имеет специальный вид, но если прямоугольная 3. Ортогональные инварианты. Вместе с малой квадратичной формой мы можем рассматривать ее присоединенное преобразование. Если пользоваться только прямоугольными системами координат, то матрица малой квадратичной формы совпадает с матрицей присоединенного преобразования. Поэтому коэффициенты ее характеристического многочлена не меняются при замене одной декартовой прямоугольной системы координат другой такой гке системой. Определение. Величины, не меняющиеся при замене одной декартовой прямоугольной системы координат на другую декартову прямоугольную систему, называются ортогональнымп (или евклидовылщ) инвариантами.
Итак, с линией связаны два ортогональных инварианта ге. Ойииая теория линий и поверхностей второго порядка 253 ГЛОО ГЛ10 Ого Лз = Ош Оы 111г Ого О12 П22 Легко видеть, что матрица перехода в формуле (6) ортогональна тогда и только тогда, когда ортогональна матрица ~8) и а01 — — аог = О, т. е. ортонормированный базис заменнется на ортонормированный, а перенос начала координат не производится. При этом коэффициенты характеристического многочлена матрицы большой квадратичной формы це изменятся.
Итак, коэффициенты при Лг и — Л (9) ооо -Ь гл11 + ою, оы ош о21 пг + ооо 1110 + поо елго (10) О10 О11 ого огг не меняются при ортогональной замене базиса и, возможно, меняются при переносе начала координат. Величины такого типа называются семиинвариантами (т. е.
полуинвариантами). Вычитая из (9) и (10) соответственно 11 и 12, мы получаем семиинварианты елоо и ооо ого + ооо ого ЕЛ10 '-111 Ого '-122 Впрочем, то, что аоо семиинвариант, видно и из формул (2). Значения полученных здесь инвариантов и семиинвариантов позволяют найти коэффициенты в канонических уравнениях, и потому опродоллют линию второго порлдка с точностью до пололгспия па плоскости. Следует, однако, помнить, что эти величины связаны с многочленом второго порядка, а не с линией.
Онн меняются очевидным образом, если уравнение умножить на отличное от нуля число. 4. Поверхности второго порядка. Пусть уравнение (1) связывает координаты точки в трехмерном пространстве. В этом пункте мы покажем, что существует такая декартова прямоугольная система координат, при переходе к которой уравнение принимает один из 17 канонических видов. В качестве базиса такой системы координат выберем тот ортонормированный базис., в котором малая квадратичная форма имеет система координат меннется на прямоугольную, то матрица а1 1т1 (8) П1 О..; ортогональная, и ее детерминант равен 1 или — 1. В этом случае детерминант матрицы перехода Я в формуле (6) также равен т1. При замене базиса (6) детерминант матрицы большой квадратичной формы умножается на (асс л)г, т.
е. остается неизменным. Мы получили еще один ортогопальный инвариант уравнония второго порядка известный нам детерминант лг, записанный несколько иначе: зь4 2л. У11Е Аффинные пространства диагональный вид. Таким образом, мы будем исходить из уравнения Лз(~') + Л (са)2+ Лз(с' ) + 2о2еС~ + 2озосз+ 2озосз+ осе =О (11) и запомним, что уже выбран определенный ортормированный базис.
На коэффициенты уравнения не накладывается никаких ограничений, за исключением того, что Л„Л и Лз не обращаются в нуль одновременно. Дальнейшие упрощения определяются следующим вспомогательным предложением. Предложение 3. Если в уравнение (11) входит с ненулевым коэффициентом квадрат одной из координат, то при помощи переноса начала координат вдоль соответствующей оси мозкно обратить в нуль член с первой степенью этой координаты. Это доказывается так же, как и предложение 1 3 1 гл. П1.
Нам будет удобно рассмотреть отделыю несколько случаев, соответствующих различным зпаченинм инвариантов г, о, Н и Е. 1. Пусть 2 = 3. Это равносильно тому, что ни одно из Лы Лз и Лз не равно нулю. Тогда в силу предложения 3 начало координат можно перенести в такую точку, что уравнение (11) примет вид Л,(~')' + Л,<бз)' + Л,ьб')2 + р = О. (12) 1А. Условие Л = 4 равносильно тому, что свободный член р в (12) не равен нулю. Разделив на него, получим — 'Ы')2 — — '-Юз- — '"Ы')' =1 (13) р р 12 1Аа.
Пусть Е = 4. Это означает, что Л2, Лх, Лз и р одного знака, коэффициенты в уравнении (13) отрицательны, и оно приводится к каноническому виду Ы')' Ю' Юз Это уравнение называется уравнением мнимого эллипсоида. Ему не удовлетворяет ни одна точка. 1Аб. Если Е = 2, а о = 3, то общий знак Лы Лз, Лз противоположен знаку р. Ноэффициенты в (13) положительны, и уравнение приводится к каноническому виду Ы')2 Ы')' „ Ы")2 а2 Ь2 с2 Поверхность эллипсоид.
1Ав. При Х = О и и = 1 знак одного из собственных значений (можно считать, при необходимости изменян нумерацию базисных векторов, что это Лз) противоположен знаку двух других (Ль и Лз) и совпадает со знаком р. В уравнении (13) два положительных и один отрицательный коэффициент. Поверхность — однополостнь2й гиперболоид с каноническим уравнением Ю , 42) (б ) оз Ьь сз 22. Общая теория линий и поверхностей второго порядка 255 ооо О О озо О Л, О О О О Лз О озо ΠΠΠ— '"зв'1 "2.
2 (15) Условие П = 4 в силу равенства (15) равносильно озо Ф О. 2А. Пусть Л = 4. Сгруппируем члены в уравнении (14): Л1Ы ) + Лг(4 ) + 2озо(С' + — ) = О2озо Отсюда видно, что переносом начала координат вдоль оси ~з. ~1 с1 ~2 ~2 спЗ ~З + ОЕЕ 2оге ' уравнение можно преобразовать в Л (~1)2 + Лз Юз + 2озохз О Далее есть две возмо'кности в соответствии со значением т. 1Аг. Пусть теперь Е = 2, о = 1. Знак одного из собственных зна- чений (считаем, что Л1) противоположен знаку двух других и про- тивоположен знаку р. Теперь в уравнении (13) два отрицательных и один положительный коэффициент.
Оно приводится к виду Ы')2 Ыг)' Ы')2 аг 62 се и определлет двуполостный гиперболоид. 1Б. Пусть Л = 3. При г = 3 это равносильно р = О. Уравнение (12) однородно, и всегда Х = и, 1Ба. При и = 3 все собственные значения имеют один знак, и уравнение (12) может быть записано в виде — + —,+ —,=О. Юг Юг Ы')2 а- 6. сОно называется уравнением мнимого конуса. Поверхность состоит из одной точки. 1Бб.
Если о = 1, то одно из собственных значений отличается зна- ком от двух других. Уравнение приводится к каноническому виду (б')1 + Е' Юг О а'-' 62 се Поверхность называется конусом второго порядка. 2. Пусть теперь г = 2. В уравнении (11) одно из собственных значений равно нулю. Не уменьшая общности, мы можем считать, что Лз = О. Используя предложение 3, приведем (11) к виду Л1(~')' + Лз(~2)' + 211зоб~ + ооо = О. (14) (Начало координат переносится вдоль осей ~1 и ~2.) Выпишем детер- минант матрицы большой квадратичной формы для уравнении (14): Зл. Ъ'1П.
Аффикные пространства 2Аа. а = 2. Тут Л1 и Лг одного знака, и, в случае необходимости, заменяя базисный вектор ез на — ез, мы приведем уравнение к виду — — = 2цз. (4')2 (бг)' -3 а2 62 Это каноническое уравнение эллиптического параболоида.
2Аб. о = О. В этом случае Л1 и Л0 имеют разные знаки, и уравнение приводится к каноническому виду — — — = 2ц1. ад)2 ЮЗ аг 02 (Тут также могкет потребоваться изменение направления ез.) Это уравнение определяет гиперболический параболоид. 2Б. Пусть Л = 3.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
