
itmo114
.pdfа это и означает, что собственные векторы x1 и x2 ортогональны.
Замечание. Так как собственные векторы самосопряженного оператора A ортогональны, их можно принять за базис линейного пространства, в котором определён этот линейный оператор. Поделив далее каждый вектор на его длину, мы получаем ортонормированный базис.
Теорема 3. В базисе из единичных собственных векторов самосопряженного оператора матрица этого оператора диагональная, причём элементами диагонали являются её собственные числа.
Доказательство. Доказательство проведём для случая n = 3 . Пусть e1,e2 ,e3 - единичные векторы самосопряженного оператора A относитель-
но некоторого базиса линейного пространства Ε3, отвечающие собственным значениям λ1,λ2 ,λ3 этого линейного оператора, т.е. A e1 = λ1e1 , A e2 = λ2e2 , A e3 = λ3e3 . Примем векторы e1,e2 ,e3 за базис линейного пространства. Оче-
видно, что в |
этом базисе векторы |
λ1e1 , |
λ2e2 , λ3e3 имеют |
координаты: |
||
λ1e1 =(λ1,0,0); |
λ2e2 =(0,λ2 ,0); λ3e3 =(0,0,λ3 ) . Следовательно, |
матрица A |
||||
оператора A |
в базисе e1,e2 ,e3 имеет вид: |
|
|
|
||
|
λ1 |
0 |
0 |
|
|
|
|
|
0 |
λ |
0 |
. |
|
|
|
|
2 |
|
|
|
|
|
0 |
0 |
λ |
|
|
|
|
|
|
3 |
|
Выбор такого базиса, в котором матрица линейного оператора имеет диагональный вид, называется приведением матрицы к диагональному виду.
§8. Квадратичные формы и их приведение к каноническому виду
Пусть в вещественном пространстве Εn |
|
выбран |
произвольный базис |
|||||||||||||||||
e ,e |
2 |
,...,e |
n |
, |
|
в |
котором |
некоторый |
вектор |
x Εn |
имеет координаты |
|||||||||
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
x1 , x2 ,…, xn , |
тогда этому вектору можно поставить в соответствие одно- |
|||||||||||||||||||
столбцовую матрицу X = (x1 |
x 2 |
... |
xn )T . |
|
|
|
|
|
|
|
||||||||||
Определение. Выражение вида |
|
|
|
|
|
|
|
|
||||||||||||
|
Φ(x |
,x |
2 |
,...,x |
n |
) =a x 2 |
+2a |
x x |
+2a x x |
+... +2a |
1n |
x x |
n |
+ |
|
|||||
|
|
1 |
|
|
|
|
11 1 |
|
12 1 2 |
|
13 1 3 |
|
|
1 |
|
(1) |
||||
|
|
|
|
|
|
|
|
|
|
|
2 |
+ 2a23x2x3 +... +2a2nx2xn + |
||||||||
|
|
|
|
|
|
|
|
|
|
+ a22x2 |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
+. |
. |
|
. |
. |
. |
|
. |
|
+ |
|
+annxn ,
130
содержащее |
в |
качестве слагаемых только квадраты координат |
|
x1,x 2 ,..., xn |
и все их попарные произведения, |
называются квадратичной |
|
формой координат x1,x 2 ,..., xn , а числа aij |
(i , j =1,2,...,n ) - коэффициен- |
||
тами квадратичной формы. |
|
||
Положим aij |
=a ji (i , j =1,2,...,n ) , тогда квадратичную форму (1) можно |
||
переписать в виде |
|
Φ(x |
,x |
2 |
,...,x |
n |
) =a x 2 +a x x |
|
+a x x |
+... |
+a |
1n |
x x |
n |
+ |
|
||||||||||
1 |
|
|
|
11 1 |
|
|
12 1 2 |
|
13 1 3 |
|
|
1 |
|
|
|
|||||||||
|
|
|
+ a21x2x1 +a22x22 +a23x2x3 +... +2a2nx2xn + |
(2) |
||||||||||||||||||||
|
|
|
+. . |
|
|
. |
|
. |
|
|
|
. |
. |
|
|
|
|
|
|
+ |
|
|||
|
|
|
+ |
a |
x |
x |
1 |
+ a |
|
x |
x |
2 |
+ ... |
|
+ a |
nn |
xn . |
|
||||||
|
|
|
|
|
|
n1 n |
|
|
n 2 |
n |
|
|
|
|
|
|
|
|
|
|||||
Рассмотрим матрицу, составленную из коэффициентов этой квадратич- |
||||||||||||||||||||||||
ной формы: |
|
|
|
|
|
a11 |
|
a12 ... |
a1n |
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
a 21 |
|
a 22 ... |
a 2n |
|
|
|
|
(3) |
|||||||
|
|
|
|
|
|
|
|
|
A = . |
|
|
. ... |
. |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
an 1 |
|
an 2 ... |
ann |
|
|
|
|
|
Матрица A называется матрицей квадратичной формы. Очевидно, что она симметрична относительно главной диагонали и квадратичную форму
(1) в матричном виде можно записать так: |
(4) |
Φ(x1,x 2 ,...,xn ) =X T A X |
Оператор A , имеющий матрицу A , самосопряженный. Допустим, что оператор A имеет n различных собственных значений λ1,λ2 ,...,λn , кото-
рым соответствуют n взаимно ортогональных собственных векторов e1 ,e2 ,...,en .
Примем эти векторы за новый базис. Обозначим через T матрицу преобразования координат. Ясно, что матрицаT ортогональная.
Итак, положим
|
( |
|
) |
X =T X ′, |
(5) |
|
x1′ x 2′ |
|
|
||
где X ′ = |
|
... xn ′ T |
- вектор – столбец, составленный из коор- |
динат вектора относительно нового базиса. Подставим (5) в (4), тогда получим квадратичную форму относительно нового базиса
Φ(x1′,x 2′,...,xn ′) = (T X ′)T A (T X ′).
Напомним, что (A B)T = BT AT . Учитывая кроме того, что T T =T −1 , так какT - ортогональная матрица, получим
131
Заметим, что это преобразование представляет собой переход от старой системы координат xO y к новой x ′O y ′ , повёрнутой относительно старой
системы на некоторый угол α . Напомним, что формулы преобразования координат при повороте координатных осей на угол α имеют вид:
x =x ′cosα −y ′sinα, |
(5) |
. |
|
y =x ′sinα +y ′cosα |
|
Правые части этих соотношений совпадают с правыми частями соотношений (4), откуда и можно определить угол α . В результате таких преобразований уравнение (7) будет иметь вид:
λ1x ′2 + λ2y ′2 +a1′x ′+a 2′y ′+a 0 = 0 . |
(6) |
Теперь остаётся выполнить второй этап упрощения кривой, т.е. сделать параллельный перенос координатных осей. При этом возможны следующие ситуации:
1) λ1 и λ2 отличны от нуля и имеют одинаковый знак. Выполняя парал-
лельный перенос, мы приведём далее уравнение (6) к виду:
λ1x ′′2 + λ2y ′′2 +a 0′′ = 0 .
Очевидно, что если a 0′′ имеет такой же знак, что и собственные числа λ1 и λ2 , или обращается в нуль, то либо данному уравнению не отвечает никакая
кривая, либо соответствует точка (0,0) ; если a 0′′ имеет противоположный
знак, то данная кривая – эллипс; 2) λ1 и λ2 имеют противоположные знаки. Если после параллельного пере-
носа свободный член не обращается в нуль, то получим гиперболу, в противном случае – пару пересекающихся прямых; 3) λ1 или λ2 обращается в ноль. После параллельного переноса мы можем
получить параболу.
Отметим, что не может оказаться, что оба собственных числа обращаются в нуль, так как в противном случае уравнение (1) было бы линейным.
Приведённые рассуждения позволяют сделать вывод, что общее уравнение второго порядка вида (1) является уравнением либо эллипса (окружности), либо гиперболы, либо параболы. Заметим, что здесь содержатся и вырожденные кривые: эллипс (окружность), сжавшийся в точку, пара пересекающихся прямых, мнимый эллипс, пара параллельных прямых и т.п.
Остановимся теперь кратко на идее приложения теории квадратичных форм к приведению общего уравнения поверхности второго порядка к каноническому виду.
Общее уравнение поверхности второго порядка имеет вид:
133

Получим характеристическое уравнение, корни которого равны собственно λ1 =3, λ2 = 6, λ3 = −1.
Найдём соответствующие им собственные вектора γ(1) , γ(2) и γ (3) .
1. λ1 = 3 подставим в систему (1):
|
−2 0 2 |
γ |
1(1) |
|
0 |
|
|
|
−2γ |
|
(1) |
+ 2γ |
3 |
(1) |
|
|
|
|
|
(1) |
|
|
|
(1) |
|
|
(1) |
|
|
|
||||||||||||||||
|
|
0 3 0 |
|
|
|
(1) |
= |
|
|
=> |
1 |
|
|
= 0 |
|
|
=γ3 |
|
|
= 0 |
, |
|||||||||||||||||||||||||
|
|
γ |
2 |
|
0 |
|
|
|
|
|
|
3 γ |
|
|
|
(1) |
|
|
|
=> γ1 |
|
|
=t , γ2 |
|||||||||||||||||||||||
|
|
2 0 −2 |
|
|
(1) |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
2 |
|
|
= 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
γ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
где t - параметр. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
Имеем γ |
(1) |
|
|
, нормируем этот вектор, получим γ |
(10) |
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||
|
|
= |
0 |
|
|
= |
0 |
|
|
. |
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
2. λ2 = 6 . Аналогично |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
−5 0 2 |
|
γ1(2) |
|
|
0 |
|
|
|
|
|
(2) |
|
|
|
|
|
(2) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
(2) |
|
|
|
|
|
|
|
−5γ |
|
|
+ 2γ |
|
|
|
|
|
(2) |
|
|
(2) |
|
|
(2) |
|
|
|||||||||||
|
|
0 0 0 |
γ |
= |
|
0 |
|
=> |
1 |
|
3 |
|
= 0 |
=> |
|
=γ |
= 0, γ2 |
=t |
||||||||||||||||||||||||||||
|
2 |
2γ |
−5γ |
|
|
|
|
|
|
|
γ1 |
|
3 |
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
(2) |
|
|
|
|
|
(2) |
3 |
(2) |
|
= 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
2 0 −5 |
|
|
|
|
|
0 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
γ |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
γ (2) = (0 t |
|
0)T , γ (20) = (0 1 0)T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
3. λ3 = −1. Имеем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
2 0 2 |
|
γ1(3) |
|
0 |
|
|
|
|
|
(3) |
|
|
|
|
(3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
(3) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
0 7 0 |
γ |
|
=> |
2γ1 |
+ 2γ3 |
= 0 |
=> |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
2 |
|
= |
0 |
|
|
7 |
γ |
(3) |
= 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
2 0 2 |
|
|
|
(3) |
|
|
0 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
γ |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(3) |
|
|
(3) |
|
|
|
(3) |
|
|
|
|
(3) |
|
|
|
|
|
|
|
T |
|
|
|
(30) |
|
|
1 |
|
|
|
|
|
1 T |
|
|
|
|||||||||
γ |
1 |
|
= −γ3 |
|
|
= −t , |
γ2 |
|
= 0;γ |
|
= (−t |
|
0 t ) |
|
|
, |
γ |
|
= − |
|
|
|
0 |
|
|
|
|
|
|
. |
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
Возьмём теперь координаты единичных собственных векторов в качестве матрицы преобразования координат
135


Кафедра высшей математики (ВМ) была организована в 1930 году. Первым заведующим кафедрой был профессор Г.Д.Гродский. С конца 1936 года кафедрой ВМ заведовал профессор И.П.Натансон, известный специалист по теории функций действительной переменной.
В 1944 году заведующим кафедрой ВМ становится профессор В.А.Тартаковский [1901-1973], замечательный математик и педагог. Владимир Абрамович Тартаковский является одним из крупнейших советских алгебраистов. Им получены пользующиеся мировой известностью результаты по проблеме тождества в теории бесконечных групп. Известность получили также его работы по использованию теоретико-числовых методов в теории изгибания поверхностей, теории диофантовых уравнений.
Обладая исключительной энергией, В.А.Тартаковский уделял много внимания научной и общественной работе. Ещё в тридцатые годы он в составе комиссии Наркомпроса участвовал в разработке программы по математике для средней школы. В течение долгого времени был членом президиума учебно-методического совета при МВ ССО СССР, входил в комиссию по реформе математического образования в стране, был одним из инициаторов проведения среди школьников Ленинграда первой математической олимпиады. В.А. Тартаковский участвовал в организации ленинградского отделения математического института им. В.А.Стеклова и был первым его директором.
139