
Теория к экзамену ГА (2 семестр, ПИ)
.pdf
единиц и rgA-s(A) минус единиц. После замены координат x=Ty получим уравнение квадрики
s A |
yi2 |
rgA |
|
|
n |
|
0. |
|
|
|
|
|
|
i 1 |
i 1 s A yi2 2 i 1bi yi |
|
|
|
Преобразуем |
уравнение |
|||||||
s A |
yi |
2 |
rgA |
bi |
2 |
n |
yi |
|
0, |
s A 2 |
rgA |
2 |
|
i 1 |
bi |
i 1 s A yi |
|
2 i 1 rgAbi |
|
где i 1 bi |
i 1 s A bi . |
||||||
|
|
yi |
bi |
, при i 1, ,s A |
|
|
|
|
|
|
|||
Положим zi yi |
bi |
,при i 1 s A , ,rgA. В новой системе координат уравнение квадрики имеет |
|||||||||||
|
|
|
, при i 1 rgA, ,n |
|
|
|
|
|
|
||||
|
|
yi |
|
|
|
|
|
|
s A |
zi2 |
rgA |
|
|
|
n |
0. |
|
|
|
|
вид i 1 |
i 1 s A zi2 |
2 i 1 rgAbi zi |
|
|
|
||||||
Если bi |
0, |
|
|
|
|
s A |
rgA |
|
|
|
|
где i 1 rgA,...,n, то i 1 zi2 |
i 1 s A zi2 , и теорема в этом случае доказана. |
||||||||||
Пусть найдется i, при котором выполняется неравенство bi 0. Если i=1+rgA, |
то сделаем аффинную |
||||||||||
|
|
|
|
|
z |
j |
при j 1 rgA |
|
|
|
|
|
|
|
|
uj |
|
|
|
|
|
|
|
замену |
координат |
|
|
n |
|
а если |
i>1+rgA, |
то замену |
|||
|
|
2 k 1 rgAbk zk при j 1 rgA, |
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
zj |
при j 1 rgA, j i |
|
|
|
|
||||||
|
|
|
n |
|
|
при j 1 rgA. |
|
|
|
|
|
uj |
2 k 1 rgAbk zk |
В результате |
получим |
уравнение |
квадрики |
||||||
z |
|
при j i |
|
|
|
|
|
|
|
||
|
1 rgA |
|
|
|
|
|
|
|
|
|
is 1A ui2 irgA1 s A ui2 2u1 rgA , что и требовалось доказать.
Если уравнение квадрики умножить на не нулевое число, то множество решений уравнения не изменится. Два уравнения квадрики называются аффинно-эквивалентными, если от одного к другому можно перейти в результате аффинного преобразования или умножения уравнения на произвольное ненулевое число.
Теорема 5.15 Уравнение квадрики аффинно эквивалентно одному из следующих уравнений
s A |
yi2 |
|
rgA |
yi2 |
|
0, 1 |
, причем 2s A rgA. Если |
2s A rgA, то правая часть не |
|||||||||
i 1 |
i 1 s A |
|
|
|
|
||||||||||||
|
|
|
|
|
2y1 rgA |
|
|
|
|
|
|
|
|
|
|||
может равняться -1. Все эти уравнения аффинно не эквивалентны между собой. |
|
|
|
|
|
||||||||||||
Доказательство. Аффинной заменой координат любое уравнение приводится к виду |
|
|
|
|
|
||||||||||||
s A |
|
|
rgA |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
yi2 |
|
yi2 |
|
|
|
|
. Если 2s A rgA, то умножим уравнение на -1. Аналогично, если |
||||||||||
i 1 |
i 1 s A |
|
|
|
|
||||||||||||
|
|
|
|
|
2y1 rgA |
|
|
|
|
|
|
|
|
|
|||
2s A rgA и 0, то умножим уравнение на -1. Если 0, то умножим уравнение на 1 |
|
|
|
. В |
|||||||||||||
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
s A |
rgA |
0, 1 |
|
, где |
||
результате этих преобразований получим уравнение вида i 1 yi2 |
i 1 s A yi2 |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
2 y1 rgA |
||||
0 |
и 2s A rgA. Причем, если 2s A rgA, то правая часть уравнения не может равняться -1. |
||||||||||||||||
|
|
|
|
|
|
|
|
|
yi при i 1, ,rgA |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Сделаем замену координат zi |
|
|
|
|
|
|
|
|
|
|
|
|
|||||
yi при i 1 rgA |
и получим одно из уравнений квадрики, |
||||||||||||||||
|
|
|
|
|
|
|
|
|
при i 2 rgA, ,n |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
yi |
|
|
|
|
|
|
|
||||
приведенных в условии теоремы. |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
|
|
Рассмотрим матрицы A для уравнений квадрик, приведенных в условии теоремы. Для квадрики |
|
|
|
||||||||||||||
s A |
y2 |
|
rgA |
y2 |
|
, где |
|
|
|
|
|
|
|
|
|||
i 1 |
i |
|
i 1 s A |
i |
|
|
|
|
1,0,1 , расширенная матрица |
|
|
|
|
|
21

|
Es A |
|
|
0 |
|
0 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
ErgA s A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
ˆ |
|
0 |
|
0 |
|
0 |
|
|
|
|
|
|
|
s A |
2 |
rgA |
2 |
|
|||||
A |
|
0 |
|
|
0 |
|
0n rgA |
|
0 |
, а для квадрики |
i 1 |
yi |
i 1 s A yi 2y1 rgA расширенная |
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
0 |
|
|
0 |
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
Es A |
|
0 |
0 |
0 |
|
0 |
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
ErgA s A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
0 |
0 |
0 |
|
0 |
|
|
|
|
|
|
|||||||
матрица |
|
|
0 |
|
0 |
0 |
0 |
|
1 |
|
. Приведем таблицу аффинных инвариантов |
||||||||||||
A |
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
0 |
|
0 |
0 |
0n rgA 1 |
|
0 |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
0 |
|
1 |
0 |
|
0 |
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
(Следствие 5.14). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ˆ |
|
|
|
|
ˆ |
|
|
|
|
|
|
|
|
|
|
|
квадрика |
|
|
|
|
|
rgA |
|
|
|
s A |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
rgA |
|
|
|
|
s(A) |
|
|
|
|
|
|
i 1 |
yi2 |
i 1 s A yi2 |
0 |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s A |
|
|
rgA |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
1+rgA |
|
|
|
s(A) |
|
|
|
|
|
|
i 1 |
yi2 |
i 1 s A yi2 |
1 |
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s A |
|
|
rgA |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
1+rgA |
|
|
|
s(A)+1 |
|
|
|
|
|
|
i 1 yi2 i 1 s A yi2 |
1 |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s A |
|
|
rgA |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
2+rgA |
|
|
|
s(A)+1 |
|
|
|
|
|
i 1 |
yi2 |
i 1 s A yi2 2y1 rgA |
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s A |
|
rgA |
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Поскольку все наборы инвариантов различны, то теорема доказана.
5.5Аффинная классификация кривых второго порядка.
Теорема 5.16. Любая кривая второго порядка аффинно эквивалентна одной из 9 кривых, приведенных в таблице. Приведенные кривые аффинно не эквивалентны между собой.
Название кривой |
Каноническое уравнение |
Расширенная |
rgA |
S(A) |
ˆ |
ˆ |
||||||
|
|
|
|
|
|
|
|
|||||
|
|
кривой |
|
|
матрица |
rgA |
s A |
|||||
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|||
Эллипс |
|
x12 x22 |
1 |
|
diag(1,1,-1) |
2 |
2 |
3 |
2 |
|||
|
|
|
|
|
|
|
|
|
|
|
||
Мнимый эллипс |
|
x12 x22 |
|
1 |
|
diag(1, 1, 1) |
2 |
2 |
3 |
3 |
||
|
|
|
|
|
|
|
|
|
|
|
||
Гипербола |
|
x12 |
x22 |
1 |
|
diag(–1, 1, –1) |
2 |
1 |
3 |
1 |
||
|
|
|
|
|
|
|
|
|
|
|
|
|
Пара |
|
|
|
|
|
|
|
|
|
|
|
|
пересекающихся |
|
x12 |
x22 |
0 |
|
diag(0, 1, 1) |
2 |
2 |
2 |
2 |
||
мнимых прямых |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пара |
|
|
|
|
|
|
|
|
|
|
|
|
пересекающихся |
x2 |
x2 |
0 |
, |
x |
x |
2 |
diag(0, 1, –1) |
2 |
1 |
2 |
1 |
|
1 |
2 |
|
1 |
|
|
|
|
|
|
||
прямых |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
22

|
|
|
|
0 |
0 |
1 |
|
|
|
|
|
|
x12 2x2 |
|
0 |
1 |
|
|
|
|
|
|
|
Парабола |
|
0 |
1 |
1 |
3 |
2 |
|||||
|
|
|
|
1 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
Пара параллельных |
x12 |
1 |
|
diag(–1, 1, 0) |
|
1 |
1 |
2 |
1 |
||
прямых |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пара параллельных |
x12 |
1 |
|
diag(1, 1, 0) |
|
1 |
1 |
2 |
2 |
||
мнимых прямых |
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пара совпавших |
|
|
|
|
|
|
|
|
|
|
|
параллельных |
x12 |
0 |
|
diag(0, 1, 0) |
|
1 |
1 |
1 |
1 |
||
прямых |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Доказательство. Любую кривую 2-го порядка в соответствующих аффинных координатах можно описать
одним из перечисленных канонических уравнений. |
Действительно, 2s A rgA и rgA может принимать |
|||||
лишь |
два |
значения 1 |
или |
2, поэтому матрица |
A может иметь один из следующих трёх видов: |
|
1 |
0 |
1 |
0 |
1 |
0 |
|
|
, |
|
|
|
|
|
|
|
0 |
или |
|
. Очевидно, приведённая таблица исчерпывает все возможные варианты |
|
0 |
1 |
1 |
0 |
0 |
|
расширенных матриц, соответствующих каждой из трёх матриц A.
5.6Аффинная классификация поверхностей второго порядка
Теорема 5.17. Любая поверхность второго порядка аффинно эквивалентна одной из 17 поверхностей, приведенных в таблице. Приведенные поверхности аффинно не эквивалентны между собой.
Каноническое
Название |
|
уравнение |
|
|
|
|
Расширенная |
|
rgA |
S(A) |
ˆ |
ˆ |
||||
|
|
|
|
|
|
rgA |
s A |
|||||||||
поверхности |
|
поверхности |
|
|
|
матрица |
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
Поверхности вращения |
|
|
|
|
|
||||||
Эллипсоид |
x12 x22 |
x32 |
1 |
|
diag(–1, 1, 1, 1) |
|
3 |
3 |
4 |
3 |
||||||
Мнимый |
x2 |
x2 |
x2 |
1 |
|
|
diag(1, 1, 1,1) |
|
3 |
3 |
4 |
4 |
||||
эллипсоид |
1 |
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Однополостный |
x2 |
x2 |
x |
2 |
1 |
|
diag(–1, 1, 1, –1) |
|
3 |
2 |
4 |
2 |
||||
гиперболоид |
1 |
2 |
|
3 |
|
|
|
|
|
|
|
|
|
|
|
|
Двуполостный |
x2 |
x2 |
x2 |
1 |
|
diag(1, 1, 1, –1) |
|
3 |
2 |
4 |
3 |
|||||
гиперболоид |
1 |
2 |
3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
Мнимый конус |
x12 x22 |
x32 |
0 |
|
|
diag(0, 1, 1, 1) |
|
3 |
3 |
3 |
3 |
|||||
Конус |
x12 |
x22 |
x32 |
0 |
|
diag(0, 1, 1, –1) |
|
3 |
2 |
3 |
2 |
|||||
|
|
|
|
|
|
|
|
1 |
0 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Эллиптический |
x2 x2 2x |
|
0 |
1 |
0 |
0 |
|
2 |
2 |
4 |
3 |
|||||
параболоид |
|
1 |
2 |
|
|
3 |
|
0 |
0 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|||||
|
|
|
|
|
|
|
|
0 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Цилиндрические поверхности |
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Эллиптический |
|
x12 x22 1 |
|
|
|
diag(1,1,-1) |
|
2 |
2 |
3 |
2 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
23
цилиндр |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Мнимый |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
эллиптический |
x12 |
x22 |
1 |
|
|
diag(1, 1, 1) |
|
2 |
2 |
3 |
3 |
|||||
цилиндр |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
гиперболический |
x12 |
x22 |
1 |
|
|
diag(–1, 1, –1) |
2 |
1 |
3 |
1 |
||||||
цилиндр |
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пара |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
пересекающихся |
x12 |
x22 |
0 |
|
|
|
diag(0, 1, 1) |
|
2 |
2 |
2 |
2 |
||||
мнимых |
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
плоскостей |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Пара |
x2 |
x2 |
0 |
, |
|
|
|
|
|
|
|
|
|
|
||
пересекающихся |
1 |
|
2 |
|
|
|
diag(0, 1, –1) |
|
2 |
1 |
2 |
1 |
||||
x1 x2 |
|
|
|
|
||||||||||||
плоскостей |
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
Параболический |
|
|
|
|
|
|
0 |
0 |
1 |
|
|
|
|
|||
x12 2x2 |
|
|
|
|
|
|
|
|
|
|
|
|||||
цилиндр |
|
|
0 |
1 0 |
1 |
1 |
3 |
2 |
||||||||
|
|
|
|
|
|
|
1 |
0 |
0 |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пара параллельных |
|
x12 |
1 |
|
|
|
diag(–1, 1, 0) |
|
1 |
1 |
2 |
1 |
||||
плоскостей |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пара параллельных |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
мнимых |
x12 |
1 |
|
|
|
diag(1, 1, 0) |
|
1 |
1 |
2 |
2 |
|||||
плоскостей |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Пара совпавших |
|
x12 |
0 |
|
|
|
diag(0, 1, 0) |
|
1 |
1 |
1 |
1 |
||||
плоскостей |
|
|
|
|
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
1 |
0 |
0 |
0 |
|
|
|
|
||
Гиперболический |
|
|
|
|
|
|
0 |
1 |
0 |
0 |
|
|
|
|
|
|
x12 x22 2x3 |
|
|
|
|
|
|
||||||||||
параболоид |
2 |
1 |
4 |
2 |
||||||||||||
|
|
|
|
|
|
|||||||||||
(седло) |
|
|
|
|
|
|
0 |
0 |
0 |
1 |
|
|
|
|
||
|
|
|
|
|
|
|
0 |
0 |
1 |
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
24
6 Линейный оператор
6.1Линейный оператор. Матрица линейного оператора.
Пусть W и V линейные пространства над числовым полем P. Однозначное отображение линейного пространства W в линейное пространство V называется линейным оператором, если для любых векторов x,y
из W и чисел , из поля P справедливо равенство
6.1.1 Примеры линейных операторов.
1.Линейная функция
2.Дифференцирование функций
3.Проекция вектора
4.Пседообратная матрица
6.1.2 Матрица линейного оператора.
Пусть базис W. Разложим вектор x из W по этому базису и найдем его
образ x x1 e1 xn en . Из полученного равенства видно, что образ вектора определяется координатами вектора и значениями линейного оператора на базисных векторах. Обозначим через
f1, , fm базис V. Координаты вектора x из W в базисе |
e1, ,en обозначим через x e , а координаты |
вектора y из V в базисе f1, , fm обозначим через y f |
. Перейдем в последнем равенстве от равенства |
векторов к равенству их координат x f x1 e1 f xn en |
f , которое можно записать |
используя матричное умножение следующим образом x f e1 f |
, , en f x e . Матрица |
e1 f , , en f называется матрицей линейного оператора и обозначается e f .
6.1.3 Изменение матрицы линейного оператора при изменении базиса.
Получим формулу изменения матрицы линейного оператора при изменении базиса в пространствах V и W.
Пусть h1, ,hn |
новый базис W, а g1, ,gm |
|
новый базис V. Координаты вектора в разных базисах |
|||||||||||||
связаны матрицей перехода. Пусть [x]e=T[x]h и [y]f=Q[y]g. Отсюда и равенства x f e f x e |
||||||||||||||||
выводим |
Q x |
g |
|
T x |
h или |
x |
g |
Q 1 |
|
T x |
|
|
||||
|
|
e f |
|
|
|
|
e f |
h . Сопоставляя полученное равенство с |
||||||||
x |
g |
|
x |
h , получаем равенство матриц |
|
h g |
Q 1 |
T |
. |
|||||||
|
h g |
|
|
|
|
e f |
|
6.2Алгебра линейных операторов.
Обозначим через WV множество линейных операторов, действующих из пространства W в пространство V.
На множестве WV определим операции умножения оператора на скаляр x x и сложение операторов x x x . Оператор назовем нулевым, если все векторы переводятся в ноль.
Нулевой оператор обозначим через 0, т.е 0 x 0. Относительно операций умножения на скаляр и
сложения множество линейных операторов WV образует линейное пространство. Отметим, что
и .
Пусть W,V,U – линейные пространства над полем P, а линейный оператор из W в V, - линейный
оператор из V в U. Отображение x из W в U является линейным оператором и обозначается . Пусть e1 , ,en - базис W, h1 , ,hm - базис V, g1 , ,gk - базис U, тогда eg hg eh .
6.3Простейший вид матрицы линейного оператора.
6.3.1 Эквивалентность матриц
Матрицы A и B называются эквивалентными, если найдутся невырожденные матрицы Q и T, что A=QBT.
Теорема 6.18. Если матрицы эквивалентны, то их ранги равны.
25

Доказательство. Поскольку ранг произведения не превосходит ранги сомножителей, то rgA rgB. Так как B Q 1AT 1 , то rgB rgA. Объединяя два неравенства, получаем требуемое утверждение.
Теорема 6.19. Элементарными преобразованиями со строками и столбцами матрицу A можно
E |
rgA |
0 |
|
|
|
|
|
|
|
|
|
, где |
Ek |
- единичная матрица порядка k, а 0 – нулевая матрица |
|
привести к блочному виду |
0 |
0 |
|
||||
|
|
|
|
|
соответствующих размеров.
Доказательство. Приведем алгоритм приведения матрицы A к указанному виду. Номера столбцов будут указываться в квадратных скобках, а номера строк – в круглых скобках.
1.Положим r=1.
2.Если arr 0 то перейдем на шаг 4, иначе перейдем на шаг 3.
3.Сделаем преобразования со строками i i air arr r , где i=r+1,…,m, и со столбцами
j j arj arr r , где j=r+1,…,n, и r 1
arr r . Увеличим r на 1 и вернемся на шаг 2.
4.Если aij 0, при i=r+1,…,m, j=r+1,…,n, то конец. В противном случае найдем i,j>r, что aij 0.
Переставим строки r i и столбцы r j , вернемся на шаг 2.
Очевидно, что алгоритмом будет строиться последовательность эквивалентных матриц, последняя из которых имеет требуемый вид.
Теорема 6.20. Матрицы A и B одинаковых размеров эквивалентны тогда и только тогда, когда их ранги равны.
Доказательство. Если матрицы эквивалентны, то их ранги равны (Теорема 6.18). Пусть ранги матриц
|
|
|
|
|
E |
r |
0 |
|
|
|
|
равны. Тогда найдутся невырожденные матрицы, что |
|
|
|
|
Q1 AT1 |
Q2BT2 , где r=rgA=rgB |
|||||
|
0 |
0 |
|
||||||||
|
A Q 1Q |
|
B T |
|
|
|
|
|
|||
(Теорема 6.19). Следовательно, |
2 |
T 1 |
, и матрицы A и B – эквивалентны. |
||||||||
|
1 |
2 |
2 |
|
|
|
|
|
|
|
Результаты данного пункта позволяют находить простейший вид матрицы линейного оператора и базисы пространств, в которых матрица линейного оператора имеет этот простейший вид.
6.3.2 Ранг, дефект линейного оператора.
Образ нуля равен нулю. Действительно, 0 0 0 2 0 , отсюда 0 0.
Множество векторов из W, образ которых равен 0, называется ядром линейного оператора. Ядро линейного преобразования обозначим Ker (Ker x x 0 ). Ядро является подпространством W (докажите)
и его размерность называют дефектом и обозначают def .
Множество всех образов векторов из W обозначают Im ( Im y x W ,y x ). Множество образов является подпространством V (докажите), его размерность называют рангом линейного оператора и обозначают rg .
Теорема 6.21. dimW rg def .
Доказательство. Пусть g1 , ,gk – базис Im . По определению Im для каждого вектора gi
существует прообраз hi из W. Система векторов h1 , ,hk является линейно независимой. Действительно,
из равенства 1h1 k hk 0, выводим 1h1 khk 0 , или
1g1 k gk 0. В силу линейной независимости, все коэффициенты равны 0, и система h1 , ,hk является линейно независимой. Аналогично показывается, что пересечение линейной оболочки векторов
h1 , ,hk и Ker состоит только из нулевого вектора. Действительно, из включения
1h1 khk Ker , выводим 1h1 k hk 0, и далее, 1g1 k gk 0. Для
26
любого вектора x из W найдутся коэффициенты, что x 1g1 k gk , и
x 1h1 khk 0. Таким образом W представляется в виде прямой суммы линейной оболочки векторов h1 , ,hk и Ker . Теорема вытекает из свойства прямой суммы.
Следствие 6.15. Можно выбрать базисы в пространствах W и V так, чтобы матрица линейного оператора имела диагональный вид, причем по диагонали расположены 1 и 0. Количество ненулевых элементов на диагонали равно рангу оператора.
Доказательство. Пусть g1 , ,gk и h1 , ,hk имеют тот же смысл, что и в доказательстве предыдущей теоремы. Дополним векторы g1 , ,gk до базиса V, а векторы h1 , ,hk до базиса W векторами из
Ker . Полученные базисы обозначим через g1 , ,gm |
и h1 , ,hn , соответственно. Построим матрицу |
|||
g |
|
приi k |
, а координаты вектора gi в базисе |
|
линейного оператора в этих базисах. Заметим, hi |
|
i |
|
|
|
0приi k |
|
g1 , ,gm равны (0,…,0,1,0,…,0), где 1 стоит на i-ом месте. Таким образом, матрица линейного оператора в этих базисах имеет диагональный вид, причем по диагонали расположены 1 и 0. Количество 1 равно рангу оператора.
27
7 Линейное преобразование
7.1 Линейное преобразование. Его матрица
Однозначное отображение линейного пространства V над числовым полем P в себя называется линейным
преобразованием, если оно сохраняет линейность, то есть ( x y) (x) (y) для любых x, y V и , P.
Линейное преобразование полностью определяется своими значениями на базисных векторах.
Действительно, пусть e1 , ,en базис V. Вектор x разложим по базису x x1e1 xnen , где
x1 , ,xn - координаты вектора x. По свойству линейного преобразования имеем
x x1 e1 xn en . Перейдем в последнем равенстве от равенства векторов к равенству их
координат x e x1 e1 e xn en e , которое можно записать используя матричное умножение следующим образом x e e1 e , , en e x e . Матрица e1 e , , en e
называется матрицей линейного преобразования и обозначается e . Матрица линейного преобразования связывает координаты образа с координатами исходного вектора x e e x e .
7.2Изменение матрицы линейного преобразования при изменении базиса.
Поскольку линейное преобразование частный случай линейного оператора, то можно воспользоваться полученной ранее формулой f P 1 e P, где P – матрица перехода. Матрицы A и B называются подобными, если существует невырожденная матрица P, что A P 1BP . Вопрос о подобии матриц сводится к решению системы линейных уравнений PA BP , где в роли неизвестных выступают элементы матрицы P, с дополнительным нелинейным условием det P 0.
7.3Алгебра линейных преобразований.
На множестве всех линейных преобразований пространства V расмотрим операции:
1.Умножение на число: x x .
2.Сложение (вычитание) x x (x)
3.Умножение x x .
Легко проверить линейность всех этих преобразований и вывести следующие формулы, связывающие их матрицы
Линейное преобразование, переводящее каждый вектор в себя, называется тождественным преобразованием и обозначается . В любом базисе матрица тождественного преобразования равна единичной.
Пусть f t 0 1t ktk - некоторый многочлен, - линейное преобразование пространства V.
Сопоставим многочлену f t линейное преобразование f 0 1 k k . Будем говорить,
что преобразование f получено подстановкой в многочлен |
f t . Матрица |
f может быть |
вычислена по формуле f 0E 1 k k . |
|
|
Свойство 7.14. Пусть f t g t h t . Тогда f g h . |
|
|
7.4Инвариантные пространства
Подпространство W называется инвариантным относительно линейного преобразования , если для любого x из W его образ x также принадлежит W.
28
Свойство 7.15. Ker - инвариантное подпространство.
Доказательство. Пусть x Ker . Тогда x 0 Ker .
Свойство 7.16. Im - инвариантное подпространство.
Доказательство. Пусть x Im , тогда x Im .
Свойство 7.17. Пусть f t - многочлен, тогда Ker f инвариантное пространство относительно
.
Доказательство. Пусть x Ker f , то есть f x 0. Далее,
f x f x f x 0 0, то есть x Ker f .
Свойство 7.18. Пусть f t - многочлен, тогда Im f инвариантное пространство относительно
.
Доказательство. Пусть x Im f , тогда x f y . Далее, x f y f y , то есть x Im f .
Знание инвариантных подпространств позволяет найти базис пространства, в котором матрица линейного преобразования имеет простую структуру. Действительно, пусть e1 , ,ek базис инвариантного
подпространства W. Дополним его до базиса всего пространства векторами ek 1 , ,en . Координаты образов первых k векторов могут иметь только k первых ненулевых компонент. Следовательно, в матрице линейного преобразования содержится в левом нижнем углу блок размером (n-k)*k, состоящий из одних нулей.
Если пространство V представляется в виде прямой суммы инвариантных подпространств W и U, то построим базис пространства V, объединив базисы W и U. В построенном базисе матрица линейного преобразования будет иметь блочно диагональный вид.
Таким образом, структура матрицы линейного преобразования имеет тем более простой вид, чем меньше размерность инвариантных подпространств, в прямую сумму которых расщепляется исходное пространство
V.
7.5 Собственные векторы и собственные числа. Характеристическое уравнение.
Базис одномерного инвариантного подпространства называется собственным вектором. Другими словами,
ненулевой вектор x называется собственным, если x x . Число называется собственным. Запишем
это равенство в координатах x x , или E x 0. Последнее равенство можно рассматривать как квадратную систему линейных уравнений с n неизвестными. По правилу Крамера, если
det E 0, то система имеет единственное нулевое решение. Следовательно, собственные числа являются корнями уравнения det E 0. Данное уравнение называется характеристическим.
Обратно, если корень характеристического уравнения, то система E x 0 имеет ненулевое решение, и значит, является собственным числом. Тем самым доказана теорема.
Теорема 7.22. Корнями характеристического уравнения являются только собственные числа. Все собственные числа являются корнями характеристического уравнения.
Коэффициенты характеристического уравнения не зависят от выбора базиса. Действительно, матрицы линейного преобразования в разных базисах связаны уравнением e P 1 f P, откуда
det |
E det P 1 |
f |
E P det |
f |
E |
. |
t |
|
|
|
Собственные векторы для собственного числа принадлежат ядру линейного преобразования .
Подпространство Ker называется корневым подпространством, соответствующим собственному числу .
29

Приведем простые факты.
Следствие 7.16. Линейное преобразование линейного пространства V над полем комплексных чисел имеет собственный вектор.
Доказательство. Над полем комплексных чисел характеристический многочлен имеет хотя бы один корень, а, значит, линейное преобразование имеет собственный вектор.
Следствие 7.17. Линейное преобразование линейного пространства V над полем вещественных чисел имеет инвариантное подпространство размерности не выше 2.
Доказательство. Пусть - линейное преобразование пространства V над полем R. Если
характеристический многочлен имеет вещественный корень, то утверждение леммы очевидно. На множестве V~ x iy x,y V определим операцию сложения x iy a ib x a i y b
и умножения на комплексное число i x iy x y i x y . Множество V~ относительно введенных операций сложения векторов и умножения на скаляр образует линейное
пространство над C. Вектор x из V можно рассматривать как вектор из пространства V~, записанный в виде x+i0. Базис пространства V является базисом пространства V~, и, значит, размерности пространств V иV~
совпадают. В пространстве V~ рассмотрим линейное преобразование ~ x iy x i y . Пусть e1 , ,en - базис V. Тогда e1 , ,en - базис V~ и e ~ e . Пусть i - комплексное
собственное число, а x iy - соответствующий собственный вектор линейного преобразования ~ . Тогда
~ x iy x i y i x iy x y i x y , и, значит, x x y,
y x y. Линейная оболочка векторов x,y образует двумерное инвариантное подпространство.
7.6Коэффициенты характеристического уравнения. След матрицы.
Теорема 7.23. Коэффициент характеристического уравнения при n k равен
i1 , ,ik1 i1 ik n det A i1 , ,ik .
Доказательство получается раскрытием определителя det A E .
Сумма элементов матрицы A, расположенных на главной диагонали, называется следом матрицы. След матрицы является коэффициентом характеристического многочлена и не зависит от выбора базиса..
7.7Диагонализируемые преобразования
Линейное преобразование называется диагонализируемым, если существует базис, в котором матрица линейного преобразования имеет диагональный вид. Заметим, что базис, в котором матрица линейного преобразования имеет диагональный вид, образован собственными векторами. Верно и обратное. В базисе из собственных векторов матрица линейного преобразования имеет диагональный вид. Не каждое линейное
|
0 |
1 |
|
|
|
преобразование диагонализируемо. Например, линейное преобразование, заданное матрицей |
|
|
|
|
не |
|
0 |
0 |
|
||
|
|
|
|
диагонализируемо.
Теорема 7.24. Собственные векторы, отвечающие различным собственным значениям, линейно независимы.
Доказательство. Пусть ei1 , ,eiki - линейно независимая система собственных векторов,
соответствующих собственному значению i , где i=1,…,s. Покажем линейную независимость системы векторов e11 , ,esks индукцией по s. При s=1 утверждение очевидно. Пусть оно верно для s-1. Покажем его справедливость для s. Допустим, система e11 , ,esks - линейно зависима. Тогда найдутся
коэффициенты ij не все равные нулю, что 11e11 |
sks esks 0. Из этого равенства выводим |
s 11e11 sks esks 0 или 11 1 |
s e11 s 1ks 1 s 1 s es 1ks 1 0. По |
30