Комплексные числа

§1. Определение комплексного числа

Комплексным числом называют упорядоченную пару чисел, для которой справедливы следующие
понятия равенства и операций сложения и умножения:
1. ( x1 , y1 )  ( x 2 , y 2 )  ( x1  x 2 )  ( y1  y 2 )
2. ( x1 , y1 )  ( x 2 , y 2 )  ( x1  x 2 , y1  y 2 )
3. ( x1 , y1 )  ( x2 , y2 )  ( x1 x2  y1 y2 , x1 y2  y1 x2 )
Свойства операций
1. Коммутативность
z1  z 2  z 2  z1
z1  z 2  z 2  z1
2. Ассоциативность
( z1  z 2 )  z 3  z1  ( z 2  z 3 )
( z1  z 2 )  z 3  z1  ( z 2  z 3 )
3. Дистрибутивность
z1  ( z 2  z 3 )  z1  z 2  z1  z 3
C - множество компле́ксных чисел.
Пару вида (x,0) можно считать действительным числом.
def
i -мнимая единица   i  (0,1) .
2
i  i  i  (0,1)  (0,1)  (1,0)  1 .
Алгебраическая форма комплексных чисел
z  xi y.
Доказательство корректности: ( x,0)  (0,1)  ( y ,0)  ( x,0)  (0, y )  ( x, y ) .
Re z  x - действительная часть комплексного числа.
Im z  y - мнимая часть комплексного числа.
z  x  i  y - число, сопряженное с z .
Свойства сопряжения
1. z  z
2. z  z  z  R
3. z  z  2 x z  x  i  y

4. z  z  2iy z  x  i  y
z1  z 2  z1  z 2
5. z1  z 2  z1  z 2
 z1  z1
   , z2  0
 z2  z2

§2. Геометрическое представление комплексных чисел

z  ( x, y )
z - комплексная плоскость.

Между множеством точек на плоскости XoY и множеством C можно

установить взаимно-однозначное соответствие.
oX - действительная ось.
oY - мнимая ось.

1
Операции  и  для комплексных чисел не введены.
Радиус-вектор комплексного числа – вектор, начало которого лежит в точке (0,0), а конец – в точке
( x1 , y1 ).
z - модуль комплексного числа.
z  x12  y12 .
Свойства модулей комплексных чисел
1) z  z
2
2) z  z  z
3) z1  z 2  z1  z 2
2 2 2
z1  z 2  z1  z 2  z1  z 2  z1  z1  z 2  z 2  z1  z 2
z1 z1
4) 
z2 z2
z1  z 2 z
z1   1  z2
z2 z2
z1 z1

z2 z2
z1  z 2  z1  z 2

Главным аргументом комплексного числа z , отличного от 0, будем

называть угол  между положительным направлением оси oX и
радиус-вектором комплексного числа z.
  arg z.
Произвольным аргументом комплексного числа z называется
Arg z  arg z  2k , k  Z .
Для z  0 главный и произвольный аргументы не определены.

Комплексное число в алгебраической форме: z  x  iy. Обозначим r  z . Тогда x  r  cos  , y  r  sin  .

Получаем, что z  r  (cos  i sin  ) - такая запись называется тригонометрической формой
комплексного числа.
Операции над комплексными числами в тригонометрической форме
z1  r1 (cos 1  i sin 1 )
z 2  r2 (cos  2  i sin  2 )
z1  z 2  r1 (cos 1  i sin 1 )  r2 (cos  2  i sin  2 )  r1  r2 (cos(1   2 ))
z1 r (cos1  i sin 1 ) r1
 1  (cos(1   2 )  i sin(1   2 )).
z 2 r2 (cos  2  i sin  2 ) r2
Комплексное число в показательной форме получаем при помощи формулы Эйлера: cos   i sin   e i
 i e i  e  i e i  e i
Заменим  на   : cos   i sin   e , выразим cos  и sin   .
2 2i
e i1  e i2  e i (1 2 )
e i1
 e i (1 2 )
e i 2
(e i ) n  e in .
(cos   i sin  ) n  (cos n  i sin n ) - формула Муавра.

2
Таким образом, если z  r (cos  i sin  ), то z n  r n (cos n  i sin n )  r n e in .

§3. Извлечение корней из комплексных чисел

Пусть  n  z , z  0.

  ,   arg z.

  e i , z  re i .

 n  r, n    2k , k  Ζ.
  2k
  n r,  , k  Ζ.
n
   2k 
   2k     2k  n i 
n
 k  r (cos   i sin  )  r  e  n  , k  0, n  1.
 n   n 
Если комплексные корни изобразить точками на координатной плоскости, то они будут вершинами
правильного n-угольника, вписанного в окружность с центром в точке (0,0) и радиусом n r .

Линейные пространства

§1. Основные понятия линейного пространства

Рассмотрим множество векторов на плоскости. Операция сложения векторов определена по правилу
параллелограмма. Рассмотрим также множество матриц над полем P. Операция сложения определена
сложением соответствующих элементов матриц. В каждом из этих множеств операции сложения
элементов и их умножение на число определены по-своему, но эти операции могут обладать одними и
теми же свойствами (коммутативность, ассоциативность, дистрибутивность). Нам полезно выделить
множества, у которых операции сложения элементов и умножения элементов на число обладают одними
и теми же свойствами.
Множество L называется линейным пространством, если выполняются следующие 3 требования:
I. Имеется правило, посредством которого двум любым элементам x, y  L ставится в соответствие
третий элемент z  L, называемый суммой этих элементов и обозначающийся z  x  y.
II. Имеется правило, посредством которого элементу x  L и числу   R C  ставится в соответствие
элемент u  L, называемый произведением элемента на число и обозначающийся u  x.
III. Для этих двух правил справедливы следующие восемь аксиом:
x, y , z  L;  ,   RC .
1. x  y  y  x
2. ( x  y )  z  x  ( y  z )
3.   L | x      x  x
4. x( x )  L | x  ( x )  ( x )  x  
5. 1  x  x
6. ( ) x   ( x)
7. (   ) x  x  x
8.  ( x  y )  x  y
Если число  - вещественное, то линейное пространство называется вещественным, если комплексное,
то линейное пространство называется комплексным.

§2. Свойства линейного пространства

1) В линейном пространстве существует единственный нейтральный элемент.
 Допустим, существуют 2 нейтральных элемента  1 и  2 . Тогда  2   1   2  1  1   2 . 
2) Для каждого элемента линейного пространства существует единственный противоположный элемент.

3
 Допустим, что это неверно и x( x1 ), ( x 2 ). Тогда ( x 2 )  ( x1 )  x  ( x 2 )  ( x1 )  ( x1 )  ( x 2 ). 
3) Если элемент ( x) противоположен x, то элемент x противоположен ( x ).
 x  (  x)   , (  x)  x   . 
4) a, b, x  L уравнение a  x  b имеет единственное решение относительно x.
 1. x  ( a)  b

a  (a )  b  b

 b b

bb

2. a  x  b

(  a)  a  x  b  (  a)

x  ( a)  b. 
Таким образом, наряду с понятием суммы элементов в линейном пространстве, мы можем ввести понятие
разности элементов.
Разностью элементов b и a будем называть элемент x, являющийся решением уравнения a  x  b.
5) Результатом умножения элемента на 0 является нулевой элемент.
 Рассмотрим уравнение x  y  x относительно y. Решением является y   . Покажем, что y  0  x
также является решением уравнения.
x  0  x  1  x  0  x  (1  0)  x  1  x  x.
Таким образом, 0  x является решением уравнения  0  x   . 
6) В линейном пространстве противоположный элемент для элемента x может быть получен как
произведение ( x)  (1)  x.
 1  x  (1)  x  (1  (1))  x  0  x   . 
7) Результатом умножения нулевого элемента на число является нулевой элемент.
       (0  x)  (  0)  x  0  x   . 

§3. Базис и размерность линейного пространства

Система элементов x, y,..., z называется линейно зависимой, если равенство x  y  ...  z  
выполняется, причем хотя бы один из коэффициентов  ,  ,...,  отличен от нуля.
Система элементов x, y,..., z называется линейно независимой, если равенство x  y  ...  z  
выполняется только в случае, когда каждый из коэффициентов  ,  ,...,  равен нулю.
Теорема. Система элементов x, y,..., z линейно зависима тогда и только тогда, когда один из элементов
этой системы можно представить в виде линейной комбинации остальных элементов системы.
 Доказательство приводилось в прошлом семестре. 
Свойства линейно зависимых и линейно независимых систем
1) Если в системе есть нулевой элемент, то система линейно зависима.
x  y  ...  z     .
2) Если система x, y,..., z линейно независима, то любая ее подсистема также линейно независима.
3) Если в системе x, y,..., z есть линейно зависимая подсистема, то вся система x, y,..., z линейно
зависима.
4) Пусть система x, y,..., z линейно независима, а добавление элемента z ' превращает ее в линейно
зависимую систему. Тогда элемент z ' можно представить в виде линейной комбинации элементов
x, y,..., z .

4
Рассмотрим систему элементов e1 , e2 ,..., en . Эту систему будем называть базисом линейного
пространства L, если выполняются следующие два требования:
1) Система e1 , e2 ,..., en линейно независима.
2) x  L можно представить в виде линейной комбинации элементов системы e1 , e2 ,..., en , причем это
представление единственно.
x  x1e1  x 2 e2  ...  x n e n .
Коэффициенты x1 , x 2 ,..., x n называются координатами элемента x в базисе e1 , e2 ,..., en .
Докажем единственность представления от противного:
 x  x1e1  x 2 e2  ...  x n e n
 
 x  x1 ' e1  x 2 ' e 2  ...  x n 'e n
  ( x1  x1 ' )e1  ( x 2  x 2 ' )e2  ...  ( x n  x n ' )en
Так как система e1 , e2 ,..., en линейно независима, то ( x1  x1 ' )  0, ( x 2  x 2 ' )  0,..., ( x n  x n ' )  0 
x1  x1 ' , x 2  x 2 ' ,..., x n  x n '. 
При сложении двух элементов пространства их соответствующие координаты складываются, а при
умножении элемента на число каждая его координата умножается на это число.
Размерностью линейного пространства будем называть максимальное число линейно независимых
элементов пространства. Другими словами, если в пространстве любая система из n элементов линейно
независима, а система из n  1 элементов линейно зависима, то n - размерность пространства.
Запись dim( L)  n означает, что размерность пространства L равна n .
Пространство называется бесконечно-мерным, если в нем существует бесконечное число линейно
независимых систем. dim( L)  .
Теорема. Если n  dim( L) , то в пространстве L любая линейно независимая система из n элементов
является базисом.
 e1 , e2 ,..., en - линейно независимая система, тогда
x, e1 , e 2 ,..., en - линейно зависимая система.
 0 x   1e1   2 e2  ...   n en   .
0  0
  
x   1 e1  2 e2  ...  n en .
0 0 0
x  x1e1  x 2 e2  ...  x n en 
система e1 , e2 ,..., en является базисом по определению.
Теорема. Если в линейном пространстве L базис состоит из n элементов, то размерность пространства
dim( L) равна n.
 Нужно доказать, что любая система из n  1 элементов является линейно зависимой.
x1 , x 2 ,..., x n1
x1  a11 e1  a12 e 2  ...  a1n en
x 2  a 21e1  a 22 e 2  ...  a 2 n en
…
x( n1)  a( n 1)1e1  a( n1) 2e2  ...  a( n 1) n en .
Выпишем все коэффициенты aij в матрицу Aij :
 a11 a12 ... a1n 
 
 a 21 a 22 ... a 2n 
 ... ... ... ... 
 
 a n1 an 2 ... a nn 
a a ( n 1) 2 ... a ( n 1) n 
 ( n 1)1

5
Минор порядка n данной матрицы является базисным, так как n элементов системы линейно независимы
и все строки минора линейно независимы. По теореме о базисном миноре любая строка, не входящая в
базисный минор, представляется как линейная комбинация строк базисного минора, следовательно n  1
строк матрицы линейно зависимы, то есть система из n  1 элементов линейно зависима, значит n -
размерность пространства. 
§4. Изоморфизм линейных пространств
Для того чтобы установить связь между пространствами различной структуры, но одной и той же
размерности, используют понятие «изоморфизм».
Два линейных пространства L1 и L2 называются изоморфными, если существует биективное
отображение из L1 в L2 :  : L1  L2 | x, y  L1 ,   RC , должны выполняться два следующих
требования:
1)  ( x  y )   ( x)   ( y )
2)  (x )   ( x) .
Изоморфизм пространств L1 и L2 обозначается L1  L2 .
Свойства изоморфных пространств
1) Образ линейной комбинации элементов пространства равен линейной комбинации образов с теми же
коэффициентами.
2) Образ линейно независимой системы есть систем линейно независимая.
3) Образ нулевого элемента есть нулевой элемент.
4) Образ базиса есть базис.
Теорема. Критерий изоморфизма.
L1  L2  dim( L1 )  dim( L2 ).
 Необходимость:
Даны 2 изоморфных линейных пространства. Тогда равенство их размерностей следует из свойства 4.
Достаточность:
dim( L1 )  dim( L2 )
L1 : e1 , e2 ,..., en

L2 : e'1 , e' 2 ,..., e' n

x  L1 , y  L2
n n
x    i ei ; y    i e' i .
i 1 i 1

 ( x)  y
 ( x1  x 2 )   ( x1 )   ( x 2 ). 
§5. Линейные подпространства
L'  L
L' называется линейным подпространством пространства L, если выполняются 2 следующих требования:
1) x, y  L'  x  y  L.
2) x  L' ,   R (C )  x  L'.
Линейное подпространство является линейным пространством:
x  L'
2
0  x    L'
2
(1)  x   x  L'.
Теорема. Размерность линейного подпространства L' не превосходит размерности линейного
пространства L. Если размерности L и L' совпадают, то L' совпадает с L.
 k  dim( L' )
n  dim( L' )
6
kn
Предположим, что k  n.
Можем сказать, что существует k линейно независимых элементов в пространстве L, количество которых
превосходит n. Приходим к противоречию, так как по определению размерности линейного пространства
линейно независимых элементов должно быть ровно n. 
Пусть x, y ,..., z  L. Тогда множество элементов вида x  y  ...  z будем называть линейной
оболочкой L( x, y ,..., z ). Также встречается обозначение spanx, y ,..., z.
Теорема о размерности линейной оболочки. Размерность линейной оболочки L( x, y,..., z ) равна
максимальному числу линейно независимых элементов из ( x, y ,..., z ).
 Пусть g1 , g 2 ,..., g r  x, y,..., z , причем g1 , g 2 ,..., g r - линейно независимая система, а g1 , g 2 ,..., g r , g r 1 -
линейно зависимая система. Тогда dim L( x, y ,..., z )  r. (Любой элемент из ( x, y ,..., z ) может быть
представлен в виде линейной комбинации g1 , g 2 ,..., g r , то есть ( g1 , g 2 ,..., g r ) - базис линейной оболочки, и
размерность линейной оболочки dim L( x, y,..., z )  r ). 
§6. Сумма и пересечение линейных подпространств
Пусть L1 , L2 ,..., Lk - подпространства пространства L. Тогда L1  L2  ...  Lk - множество, все элементы
которого подчинены равенству:
x  x1  x 2  ...  x k , где xi  Li .
k

 L  x  x
i 1
i 1  x 2  ...  x k | x i  Li .

L1  L2  ...  Lk - множество, все элементы которого подчинены равенству x  x1  x 2  ...  x k , xi  Li

Теорема. Сумма линейных подпространств и пересечение линейных подпространств являются
линейными подпространствами.
 Сумма.
u , v  L1  L2 .
u  x1  x 2 ; v  y1  y 2 .
u  v  x1  x 2  y1  y 2  ( x1  y1 )  ( x 2  y 2 ), ( x1  y1 )  L1 , ( x 2  y 2 )  L2  u  v  L1  L2 .
 ( x1  x 2 )  x1  x 2 . x1  L1 , x 2  L2  u  L1  L2 .
Пересечение.
x1  L1  L2  ( x1  L1 )  ( x1  L2 ).
x 2  L1  L2  ( x 2  L1 )  ( x 2  L2 ).
x1  x 2  L1  L2 .
x1  L1  L2 . 
Теорема о размерности суммы подпространств.
dim( L1  L2 )  dim( L1 )  dim( L2 )  dim( L1  L2 ).

 f1 , f 2 ,..., f S - базис L1  L2 .
L1  L2  L1 , L1  L2  L2  по теореме о дополнении базиса линейного подпространства базис
f1 , f 2 ,..., f S можно дополнить как до базиса L1 , так и до базиса L2 .
e1 , e2 ,..., em , f1 , f 2 ,..., f s - базис L1 , f1 , f 2 ,..., f s , g1 , g 2 ,..., g t - базис L2 .
Докажем, что e1 , e2 ,..., em , f1 , f 2 ,..., f s , g1 , g 2 ,..., g t - базис L1  L2 .
m s t
По определению базиса равенство  e   
i 1
i i
j 1
j f j    k g k   выполняется тогда и только тогда, когда
k 1
t m s
все коэффициенты  i ,  j ,  k равны нулю. Рассмотрим разложение g    k g k    i ei    j f j .
k 1 i 1 j 1

7
 t q
Как левая, так и правая части принадлежат L1  L2 , значит 
k 1
k g k    p f p . Но f1 , f 2 ,..., f s , g1 , g 2 ,..., g t -
p 1
m s
базис L2 . Значит, все коэффициенты  k и  p равны 0. Тогда   i ei   j f j   . e1 , e2 ,..., em , f1 , f 2 ,..., f s -
i 1 j 1

базис L1 , поэтому все коэффициенты  i ,  j равны 0. Получаем, что система e1 , e2 ,..., em , f 1 , f 2 ,..., f s ,
g1 , g 2 ,..., g t является линейно независимой. Теперь покажем, что x  L1  L2 существует разложение в
m s
системе e1 , e2 ,..., em , f1 , f 2 ,..., f s , g1 , g 2 ,..., g t . Это следует из того, что x  x1  x 2 , где x1    i ei    j f j ,
i 1 j 1
s t
x 2    j f j    k g k . Получаем, что система e1 , e2 ,..., em , f1 , f 2 ,..., f s , g1 , g 2 ,..., g t является базисом
j 1 k 1

L1  L2 . 

Подпространства L1 , L2 ,..., Lk образуют прямую сумму L1  L2  ...  Lk , если разложение x  x1  x 2  ...

...  x k , где xi  Li , является единственным.
Теорема. Для того чтобы подпространства L1 и L2 образовывали прямую сумму, достаточно, чтобы
L1  L2    и dim( L1  L2 )  dim( L1 )  dim( L2 ).
 Пусть e1 , e2 ,..., ek - базис L1 , g1 , g 2 ,..., g l - базис L2 . Докажем, что e1 , e2 ,..., ek , g1 , g 2 ,..., g l - базис L1  L2
и что разложение элемента x единственно.
dim( L1 )  k , dim( L 2 )  l , dim( L1  L2 )  k  l  dim( L1 )  dim( L 2 ).
 1e1   2 e 2  ...   k ek   1 g1   2 g 2  ...   l g l   .
 1e1   2 e 2  ...   k ek   1 g 1   2 g 2  ...   l g l .
L1  L2     все коэффициенты  i ,  j равны 0. Значит, система e1 , e2 ,..., ek , g1 , g 2 ,..., g l - базис L1  L2 .
x1  1e1   2 e 2  ...   k ek , x 2   1 g1   2 g 2  ...   l g l . Допустим, что разложение не единственно, то есть
x  x1  x 2 и x  x '1  x ' 2 . Тогда   x1  x'1  x 2  x' 2 , x1  x '1  x' 2  x 2 . Но L1  L2   , значит x1  x'1 ,
x' 2  x 2 , то есть разложение единственно. 

§7. Преобразование координат при преобразовании базиса

Пусть в линейном пространстве L заданы базисы e и e' . Элементы базиса e' могут быть выражены через
элементы e :
e'1  a11e1  a 21 e2  ...  a n1en
e'  a e  a e  ...  a e
 2 12 1 22 2 n2 n

 ...
e' n  a1n e1  a 2 n e2  ...  a nn en
 a11 a12 ... a1n 
 
 a 21 a 22 ... a 2 n 
A
... ... ... ... 
 
a 
 n1 a n 2 ... a nn 
Матрицей перехода от базиса e к базису e' будем называть матрицу, в которой координаты e' в e
выписаны по столбцам. A  Pee ' .
Если записать e как (e1 , e2 ,..., e n ) , а e' - как (e'1 , e' 2 ,..., e' n ) , то получим e'  e  Pee ' .

8
Теорема. Матрица перехода от e к e' является невырожденной.
 Предположим, что Pee '  0  в матрице существует линейная зависимость строк или столбцов.
Получаем, что e'1 , e' 2 ,..., e' n - линейно зависимая система, но это невозможно, так как она является
базисом, то есть наше предположение неверно и Pee '  0. 
Теорема. xe  Pee'  xe ' .
 x  x1e1  x 2 e 2  ...  x n en .
x e  ( x1 , x 2 ,..., x n ) T
e  (e1 , e2 ,..., en )
x  e  x e , x  e' x e' .
x  e' xe '  e  Pee '  x e '  x e  Pee '  x e ' . 
При переходе от базиса e' к базису e имеем: e  e'Pe1e ' , то есть Pe'e  Pe1 e ' .

Евклидовы пространства

§1. Определение евклидова пространства

Вещественное линейное пространство E называется вещественным евклидовым пространством, если
выполняются следующие два требования:
1) Имеется правило, посредством которого любым двум элементам из этого пространства x и y ставится в
соответствие вещественное число ( x, y ) и называется скалярным произведением элементов x и y.
2) Указанное правил подчинено следующим четырем аксиомам:
1. ( x, y )  ( y , x)
2. ( x  y, z )  ( x, z )  ( y , z )
3. (x, y )   ( x, y )
4. ( x, x)  0, причем ( x, x)  0  x   .
Евклидовы пространства нужны, чтобы рассматривать расстояние между элементами, длину элемента,
угол между элементами, то есть взаимное расположение элементов в пространстве.
Свойства скалярного произведения
1) ( x, y  z )  ( x, y )  ( x, z )
1 1
( x, y  z ) ( y  z , x)  ( y , z )  ( z , x ) ( x, y )  ( x, z )
2) ( x, y )   ( x, y )
1 1
( x, y )  (y, x )   ( y , x)   ( x, y )
3) ( x, )  0
( x,0  x)  0  ( x, x)  0
n n
4) (  i  xi , y )    i ( xi , y )
i 1 i 1
5) x, y , z  E : ( x, z )  ( y , z )  x  y
( x, z )  ( y, z )
( x, z )  ( y, z )  0
( x  y, z)  0
( x  y , x  y )  0  x  y    x  y.

Неравенство Коши – Буняковского

x, y  E ( x, y )2  ( x, x )  ( y , y )
 ( x  y ,  x  y )  0
(x,  x)  ( y , x )  ( x, y )  ( y , y )  0

9
2 ( x, x )   ( x, y )   ( x, y )  ( y, y )  0
2 ( x, x )  2 ( x, y )  ( y , y )  0
D  ( x, y ) 2  ( x, x )( y, y )  0
( x, y ) 2  ( x, x )  ( y , y )

Метрические понятия
1) Длина элемента
x  ( x, x)
1) x  0, x  0  x  
2) x  (x, x )   2 ( x, x)    x
x  y  x y  x  y
x y  x  y
2 2 2
x  y  ( x  y, x  y )  ( x, x)  2( x, y )  ( y, y )  x  2  x  y  y  ( x  y ) 2
2) Угол между элементами
(a, b)  a  b  cos 
( a, b)
cos  
ab
( x, y )
cos   .
( x, x )  ( y , y )

§2. Ортогональные и ортонормированные системы элементов

Системы вида e1 , e2 ,..., en ,... называются ортогональными, если (ei , e j )  0  i  j. Нулевой элемент
ортогонален с любым элементом.
1, i  j
Системы вида e1 , e2 ,..., en ,... называются ортонормированными, если (ei , e j )   .
0, i  j
Теорема. Ортогональная система является линейно независимой.
  1e1   2 e 2  ...   n en  
 1 (e1 , e1 )   2 (e2 , e1 )  ...   n (en , e1 )  
 1 (e1 , e1 )  0   1  0.
 1 (e1 , e2 )   2 (e2 , e 2 )  ...   n (en , e 2 )  
 2 ( e 2 , e 2 )  0   2  0. 
Следствие: ортонормированная система является линейно независимой.

Евклидово пространство по определению является линейным пространством, поэтому в нем существуют

базисы и определена размерность. Также, евклидово пространство может быть конечномерным и
бесконечномерным. Если в линейном пространстве все базисы равноправны, то в евклидовом
пространстве выделяют специальную группу базисов, в которой удобно вести вычисления и выполняется
ряд свойств. Это ортогональные и ортонормированные базисы.
Теорема. В любом евклидовом пространстве существует ортонормированный базис.
 Пусть f1 , f 2 ,..., f n - какой-либо базис, e1 , e2 ,..., en - ортонормированный базис.
Процесс построения ортонормированного базиса основывается на формулах Грама – Шмидта.
g1 , g 2 ,..., g n - вспомогательный базис.
g
1) g1  f1 , e1  1
g1

10
 g2
2) g 2  f 2  ( f 2 , e1 )  e1 , e2 
g2
g3
3) g 3  f 3  ( f 3 , e1 )e1  ( f 3 , e2 )e2 , e3 
g3
gn
g n  f n  ( f n , e1 )e1  ( f n , e2 )e2  ...  ( f n , e n1 )e n1 , en 
gn
Должны выполниться:
1) g i   .
2) ( g i , g j )  0  i  j.
gi
ei  , то есть если система g i  ортогональна, то и система ei  также ортогональна.
gi
Докажем 1) и 2) методом полной математической индукции:
1) Проверим выполнение утверждений при n  1.
g1  f1
Так как система f1 , f 2 ,..., f n – базис, то f i  0  f1  0.
Система, состоящая из одного элемента является ортогональной, то есть при n  1 условия
выполняются.
2) Предположим, что утверждения выполняются при n  k .
g1 , g 2 ,..., g k  
( g i , g j )  0  i  j.
3) Докажем, что утверждения выполняются при n  k  1.
g k 1  f k 1  ( f k 1 , e1 )e1  ...  ( f k 1 , ek )ek .
Предположим, что g k 1   .
  f k 1  ( f k 1 , e1 )e1  ...  ( f k 1 , e k )ek
f k 1  ( f k 1 , e1 )e1  ...  ( f k 1 , e k )ek .
e1 , e2 ,..., ek выражаются через f1 , f 2 ,..., f k , то есть f k 1 выражается через f1 , f 2 ,..., f k . Получаем
линейную зависимость в системе f1 , f 2 ,..., f k , f k 1 , что противоречит условию теоремы, так как
первоначальный базис f1 , f 2 ,..., f n – линейно независимая система. Получаем противоречие, то есть
наше предположение неверно  g k 1   .
Умножим скалярно обе части равенства на ei :
( g k 1 , ei )  ( f k 1 , ei )  ( f k 1 , e1 )(e1 , ei )  ...  ( f k 1 , ei )(ei , ei )  ...  ( f k 1 , ek )(e k , ei ).
По предположению для n  k , элементы g1 , g 2 ,..., g k попарно ортогональны.
( g k 1 , ei )  ( f k 1 , ei )  ( f k 1 , ei )  0.
( g k 1 , g i )  0.
Таким образом, по методу математической индукции получаем, что 1) и 2) выполняются n  N , то есть
в любом евклидовом пространстве можно построить ортонормированный базис, что и требовалось
доказать. 

Второй вариант формул ортогонализации Грама – Шмидта.

Пусть f1 , f 2 ,..., f n - какой-либо базис, e1 , e2 ,..., en - ортонормированный базис, g1 , g 2 ,..., g n -
вспомогательный базис.
g1  f 1
( f ,g )
g 2  f 2  2 1 g1
( g 1 , g1 )
…

11
 ( f n , g1 ) ( f n , g n1 )
gn  fn  g1  ...  g n1 .
( g1 , g1 ) ( g n 1 , g n1 )
g1
e1 
g1
g2
e2 
g2
...
gn
en  .
gn

§3. Выражение скалярного произведения через компоненты сомножителей

Пусть задано евклидово пространство E n размерности n , в котором заданы элементы x и y .
Пусть e1 , e2 ,..., en – ортонормированный базис пространства E n . Тогда существуют разложения:
n
x  x1e1  x 2 e2  ...  x n en   xi ei .
i 1
n
y  y1e1  y 2 e2  ...  y n e n   y j e j .
j 1
n n n n
( x, y )  ( xi ei ,  y j e j )   x i y j (ei , e j ).
i 1 j 1 i 1 j 1

Координаты элементов в базисе e1 , e2 ,..., en :

x e  ( x1 x2 ... x n ) T ,
y e  ( y1 y2 ... y n ) T .
 (e1 , e1 ) (e1 , e 2 ) ... (e1 , e n ) 
 
 (e , e ) (e 2 , e 2 ) ... (e2 , en ) 
Матрицей Грама базиса e1 , e2 ,..., en будем называть матрицу e   2 1 .
... ... ... ... 
 
 (e , e ) (e , e ) ... (en , e n ) 
 n 1 n 1
T
Тогда скалярное произведение элементов x и y выражается формулой ( x, y )  x e e y e .
T
Заметим, что e  e .
Для определения матрицы e ' базиса e'1 , e' 2 ,..., e' n запишем разложение для матрицы перехода ee ' :
e'1  a11e1  a 21e2  ...  a n1e n
e' 2  a12 e1  a 22 e2  ...  a n 2 en
...
e' n  a1n e1  a 2 n e 2  ...  a nn e n ,
n n n n n
то есть e' i   a ki ek , (e'i , e' j )  ( a ki e k ,  alj el )   a ki alj (ek , el ).
k 1 k 1 l 1 k 1 l 1
T
Получаем, что e '  ee ' e ee ' .
Теорема. Система векторов a1 , a 2 ,..., a n евклидова пространства линейно зависима тогда и только тогда,
когда a  0.
k
 Рассмотрим вектор y    i ai   . Равенство нулевому элементу равносильно ортогональности
i 1

вектора y любому вектору из L(a1 , a 2 ,..., a n ) , то есть системе:

12
 1 (a1 , a1 )   2 (a1 , a 2 )  ...   n (a1 , a n )  0
 (a , a )   (a , a )  ...   (a , a )  0
 1 2 1 2 2 2 n 2 n

...
 1 (a n , a1 )   2 (a n , a 2 )  ...   n (a n , a n )  0
Линейная зависимость векторов a1 , a2 ,..., an означает наличие нетривиального решения однородной
T
системы уравнений относительно  1 ,  2 ,..., n с матрицей системы a , а это значит, что a  0. 

Теорема. Определитель матрицы Грама любого базиса больше нуля.

 Пусть e1 , e2 ,..., en – базис в пространстве E n . Пусть e'1 , e' 2 ,..., e' n – ортонормированный базис.
T T T T
e  e 'e e ' e'e  e 'e e 'e . det(e )  det(e 'e e 'e )  det(e 'e )  det(e 'e )  det((e 'e ) 2 )  0.
По предыдущей теореме det(e )  0, значит det(e )  0. 

§4. Ортогональная матрица. Ортогональное дополнение

Матрица Q называется ортогональной, если выполняется равенство Q  Q T  E.
Примеры ортогональных матриц:
1) E
 cos   sin  
2) R   .
 sin  cos  

Свойства ортогональной матрицы

1) det(Q )  1.
 det(QQ T )  det(E )
det(Q ) det(Q T )  det(E )
(det(Q)) 2  1 
2) Q T  Q 1
 QQ 1  E 
3) Если Q – ортогональная, то Q 1 – также ортогональная.
 Q 1  (Q 1 ) T  Q 1  (Q T ) 1  Q 1  (Q 1 ) 1  Q 1  Q  E 
4) Если Q – ортогональная, то Q T – также ортогональная.
 Q T  (Q T ) T  (Q 1 )  (Q 1 ) T  E 
5) Q T  Q  E.
 Q T  Q 1  Q 1  Q  E 
6) Если Q1 и Q2 – ортогональные матрицы, значит Q1  Q2 – ортогональная матрица.
T T T
 (Q1  Q2 )  (Q1  Q2 ) T  (Q1  Q2 )  (Q2  Q1 )  Q1  Q1  E 

Ортогональное дополнение
Пусть H – подпространство евклидова пространства E . Если x  E и ортогонален каждому элементу
подпространства H , то говорят, что x ортогонален подпространству H .
Множество элементов, ортогональных подпространству H называется ортогональным дополнением
подпространства H и обозначается H  .
Теорема. H является линейным подпространством.
 Пусть x1 , x 2  H  , y  H . Тогда ( x1 , y )  0, ( x 2 , y )  0. Складывая два этих равенства, получаем:
( x1 , y )  ( x 2 , y )  ( x1  x 2 , y )  0  x1  x2  H  .

13
Теперь рассмотрим равенство ( x1 , y )  0. (x1 , y )   ( x1 , y )  0, то есть x1  H  . Отсюда следует, что
H  – линейное подпространство. 

Теорема. Если H – линейное подпространство E , то H  H   E.

 Пусть система e1 , e2 ,..., ek – ортонормированный базис H , система ek 1 , ek  2 ,..., en – ортонормированный
базис H  . Докажем теперь, что система e1 , e2 ,..., ek , ek 1 , ek  2 ,..., en – ортонормированный базис всего
пространства E . Предположим что это не так. Тогда существует вектор f пространства, который не
является линейной комбинацией e1 , e2 ,..., en . Система векторов e1 , e 2 ,..., en , f линейно независима,
применение к ней процесса ортогонализации приведет к получению вектора en1 , который ортогонален
e1 , e2 ,..., ek , значит, en 1  H  . Но en 1 ортогонален H  , так как ортогонален ek 1 , ek  2 ,..., en . Получаем, что
en1   . Отсюда вытекает линейная зависимость e1 , e 2 ,..., en , f , что противоречит допущению.
Следовательно, оно неверно и система векторов e1 , e2 ,..., en является базисом пространства E и
dim( H )  dim( H  )  dim( E ). Так как пространства H и H  не имеют пересечений, то получаем что
H  H   E. 

Следствие: f  E существует разложение по элементам f  g  h, где g  H – ортогональная проекция

элемента f на подпространство H , а h  H  – ортогональная составляющая элемента f .
Задача нахождения этого разложения называется задачей о перпендикуляре.
2 2
Свойство разложения: ( f , f )  ( g  h, g  h)  ( g , g )  (h, g )  ( g , h)  (h, h)  ( g , g )  (h, h)  f  g 
2
h .

§5. Изометрия
Изоморфизм евклидовых пространств называется изометрией.
Два пространства E и E ' называются изометричными, если существует биективное отображение  из
E в E ' такое, что x, y  E ,   R(C ) справедливы три требования:
1)  ( x  y )   ( x)   ( y )
2)  (x )   ( ( x ))
3) (x, y )  ( x, y )
Изометрия пространств обозначается E  E '.

Теорема. Два евклидовых пространства изометричны тогда и только тогда, когда равны их размерности.
 Необходимость.
Следует из изоморфизма евклидовых пространств как линейных пространств.
Достаточность.
dim( E )  dim( E ' )
e1 , e2 ,..., en – ортонормированный базис E , e'1 , e' 2 ,..., e' n – ортонормированный базис E ' .
n n
Возьмем элементы x  E | x   xi ei и x' E ' | x '   xi e' i и установим биекцию.
i 1 i 1
Требования 1) и 2) выполняются, так как координаты обладают свойствами линейности.
Проверим 3):
n
y   y je j.
j 1
n n n n n
( x, y )  ( xi ei ,  y j e j )    xi y j (ei , e j )   xi y i .
i 1 j 1 j 1 i 1 i 1
n n n
(x, y )  ( xi e'i ,  y j e' j )   xi y i  (x, y )  ( x, y ). 
i 1 j 1 i 1

14
Унитарные пространства

§1. Определение и свойства

Комплексные евклидовы пространства называются унитарными. Комплексное линейное пространство V
называется комплексным евклидовым (унитарным) и обозначается U , если выполняются два требования:
1. x, y  U ставится в соответствие по определенному правилу комплексное число, обозначается ( x, y ) и
называется скалярным произведением элементов x и y .
2. Указанное выше правило подчинено четырем следующим аксиомам:
x, y , z  U ,   C
1) ( x, y )  ( y , x)
2) ( x  y, z )  ( x, z )  ( y , z )
3) (x, y )   ( x, y )
4) ( x, x)  0, ( x, x)  0  x   . ( x, x)  R.
Примером унитарного пространства может являться множество всех векторов размерности n с
комплексными координатами.

Свойства скалярного произведения

1) ( x, y  z )  ( x, y )  ( x, z )
2) ( x, y )   ( x, y )
3) ( x, )  0
n n
4) (  i  xi , y )    i ( xi , y )
i 1 i 1
5) x, y , z  U : ( x, z )  ( y , z )  x  y

Неравенство Коши – Буняковского в унитарных пространствах

2
x, y  U выполняется ( x, y )  ( x, x)( y , y ).
 x, y  
( x  y ,  x  y )  0
( x ,  x )  ( y ,  x )  ( x , y )  ( y , y )  0
   ( x, x)   ( y, x )   ( x, y )  ( y, y )  0
2
 ( x, x)   ( x, y )   ( x, y )  ( y , y )  0
Пусть ( x, y ) – комплексное число с аргументом  .
Тогда ( x, y )  ( x, y ) (cos   i sin  )
  t (cos   i sin  )
tR
2
  t2
 ( x, y )  t ( x, y )
 ( x, y )  t ( x, y )
t 2 ( x, x)  2t ( x, y )  ( y, y )  0
2 2
D  ( x, y )  ( x, x )( y, y )  0  ( x, y )  ( x, x)( y , y ). 

Неравенство треугольника x  y  x  y  x  y также выполняется

Угол между элементами не определен, длина элемента определена как x  ( x, x ) .

15
§2. Выражение скалярного произведения через компоненты сомножителей
x, y  U
n n
x   xi ei , y   y j e j
i 1 j 1
n n n n
( x, y )  ( xi ei ,  y j e j )   xi y j (ei , e j )
i 1 j 1 i 1 j 1
T
( x, y )  xe e ye , где e – матрица Грама.
 (e1 , e1 ) (e1 , e 2 ) ... (e1 , e n ) 
 
 (e 2 , e1 ) (e2 , e2 ) ... (e2 , en ) 
e  
... ... ... ... 
 
 (e , e ) (e , e ) ... (en , e n ) 
 n 1 n 1

T
e '  ee ' e ee ' .

Матрица R называется унитарной, если выполняется равенство R R T  E.

Свойства унитарной матрицы
1) det(R )  1 .
2) R T  R 1 .
3) Если R – унитарная матрица, то R T – тоже унитарная матрица.
4) R T R  E .
5) Если R1 и R2 – унитарные матрицы, то R1  R2 – также унитарная матрица.
6) Если R – унитарная матрица, то R 1 – тоже унитарная матрица.

Линейные операторы

§1. Определение и свойства

Пусть заданы два линейных пространства Ln и Lm . Оператором будем называть отображение
 : Ln  Lm , которое ставит в соответствие каждому элементу x  Ln элемент y  Lm , y   ( x ).
Оператор  называется линейным, если x1 , x 2  Ln ,   R выполняются следующие требования:
1)  ( x1 , x 2 )   ( x1 )   ( x 2 ).
2)  (x )   ( x).
Если n  m , то оператор называется отображением. Если  : Ln  Ln , то оператор называется
преобразованием. Если  : Ln  R(C ) , то оператор называется функционалом.
Два оператора  и  называются равными, если условие x   x выполняется x  Ln .
Примерами линейных операторов могут служить подобие векторов  : Ln  Ln | x  x и операция
дифференцирования многочленов  : Pn  Pn1 |  ( p ( x ))  p' ( x) .

Основные свойства линейных операторов

x  Ln
1) 1   2
 1  Ln ,  2  Lm
 (0  x)  0  x   2
n n
2)  (  i xi )    i x i , то есть линейный оператор переводит линейную комбинацию элементов в
i 1 i 1
линейную комбинацию образов с теми же коэффициентами.
16
3) Линейный оператор переводит линейно зависимую систему в линейно зависимую, а линейно
независимую – в линейно независимую.

§2. Задание линейного оператора

для задания линейного оператора достаточно определить его только на базисных векторах пространства
Ln .
Пусть e1 , e2 ,..., en – базис Ln , g1 , g 2 ,..., g n  Lm .

Теорема. Существует, и при том единственный, оператор  , который переводит e1 , e2 ,..., en в g1 , g 2 ,...
..., g n .
n
 x  Ln , x   x i e i .
i 1
n
x   xiei
i 1

ei  g i .
Оператор  – линейный (следует из линейности координат)
Теперь докажем единственность. Предположим, что также существует оператор  :
n n n
x    x i ei   xiei   xi g i  x , то есть x  Ln     . Значит, оператор  единственен. 
i 1 i 1 i 1

Матрица линейного оператора

Пусть e1 , e2 ,..., en – базис пространства Ln , а f1 , f 2 ,..., f m – базис пространства Lm .
Задан оператор  : Ln  Lm :
e1  a11 f 1  a 21 f 2  ...  a m1 f m
e 2  a12 f1  a 22 f 2  ...  a m 2 f m
...
e n  a1n f1  a 2n f 2  ...  a mn f m
Выписываем координаты различных образов базисных элементов e1 , e2 ,..., en в базисе f1 , f 2 ,..., f m в
матрицу по столбцам:
 a11 a12 ... a1n 
 
 a 21 a 22 ... a 2 n 
A , A  R mn .
... ... ... ... 
 
a 
 m1 a m 2 ... a mn 
A  [e1 ] f [e 2 ] f ... [en ] f .

Координаты вектора и его образа

 : Ln  Lm , x  Ln , x  y  Lm .

Теорема. Координаты элемента x и элемента y связаны следующим соотношением: [ ] fe xe  y f , где e

– базис Ln , f – базис Lm .
n m
 x   xi ei , y   y i f i
i 1 i 1

[ ] fe  A  (aij ), i  1, m, j  1, n.
n
y i   a ij x j
j 1

17
 n n n m m n
y  x   ( x j e j )   x j e j   x j  aij f i   aij x j f i .
j 1 j 1 j 1 i 1 i 1 j 1
n
Из единственности разложения вектора по базису получаем, что y i   a ij x j , а значит y f  [ ] fe x e . 
j 1

Связь матриц операторов в различных парах базисов

Задан оператор  : Ln  Lm , e, e' – базисы Ln , f , f ' – базисы Lm .
Тогда [ ] f 'e '   f
1
f  [ ] fe  e  e ' .

 [ ] fe  x e  y f
[ ] f 'e '  x e'  y f '
xe  ee '  xe ' , y f   f  f '  y f '
[ ] fe  ee '  x e '   f  f '  y f '   f  f '  [ ] f 'e '  xe '
[ ] fe  ee '   f  f '  [ ] f 'e '
[ ] f 'e '   1f  f '  [ ] fe  ee ' 

§3. Линейное пространство линейных операторов

1) Пусть  и  – два линейных оператора, которые действуют из Ln в Lm . Суммой двух операторов
называют оператор    : Ln  Lm , который определен по правилу (   ) x  x  x, x  Ln .
2) Пусть  – линейный оператор, который действует из Ln в Lm . Произведением оператора на число
  R называют оператор  : Ln  Lm , который определен по правилу ( ) x  x, x  Ln .

Теорема. Операторы    и  являются линейными.

   :
def
1) (   )( x  y )    ( x  y )   ( x  y )   ( x)   ( y )   ( x )   ( y )  (   ) x  (   ) y.
def
2) (   )(x)    (x )   (x)  x  x   (   ) x.
Для  теорема доказывается аналогично. 
    L( Ln , Lm ),   L( Ln , Lm ).
(   ) x  x  x  x  x  (   ) x         .

Произведением линейных операторов  : Ln  Lk и  : Lk  Lm , называется оператор  : Ln  Lm ,

определенный по правилу ( ) x   (x ), x  Ln .
Докажем линейность оператора  .
 1)  ( x  y )  def
 ( ( x  y ))   ( ( x )   ( y ))  ( ) x  ( ) y
2)  ( x)  def
 ( (x ))   (x )   ( ) x. 

Свойства произведения операторов

1) ( )   ( )
2)  ( )   ( )
3) (   )     .

Теорема. Пусть заданы операторы  : Ln  Lk ,  : Lk  Lm и  : Ln  Lm . Пусть e, f , g – базисы

пространств Ln , Lk и Lm соответственно. Тогда справедливо утверждение: [ ] ge  [ ] gf [ ] fe.
 dim( Ln )  n, dim( Lk )  k , dim( Lm )  m, [ ] fe  (aij ), [ ] gf  (bij ), [ ] ge  (cij ).

18
e1  a11 f1  a21 f 2  ...  am1 f m
e  a f  a f  ...  a f
 2 12 1 22 2 m2 m

...
en  a1n f1  a2n f 2  ...  amn f m
m
e j   cij g i .
i 1
k k k m m k k
e j   (e j )   ( a sj f s )   a sjf s   a sj  bis g i   bis a sj g i  cij   bis a sj .
s 1 s 1 s 1 i 1 i 1 s 1 s 1

А это означает, что [ ] ge  [ ] gf [ ] fe. 

§4. Образ и ядро линейного оператора

Ядром ker  оператора  : Ln  Lm будем называть множество элементов x  Ln | x   , x  Ln .
Образом im оператора  : Ln  Lm будем называть множество элементов y  Lm | x  y , x  Ln .

Теорема. Образ и ядро линейного оператора являются подпространствами Lm и Ln соответственно.

 Сначала докажем, что ker  – линейное подпространство Ln .
1) Пусть x1 , x 2  ker  . Тогда x1   и x 2   .  ( x1  x 2 )  x1  x 2        x1  x 2  ker  .
2) Пусть   R. Тогда  (x1 )   (x1 )      x1  ker   ker  – линейное подпространство Ln .
Теперь докажем, что im  – линейное подпространство Lm .
1) y1 , y 2  im  . Тогда y1  y 2  x1  x 2   ( x1  x 2 ).
2) y1  1 x1   (x1 )  im  – линейное подпространство Lm . 

Теорема. Если e1 , e2 ,..., en – базис пространства Ln , то im   L ( e 1 ,  e 2 ,...,  e n ).

n n
 Достаточно показать двустороннее включение: если y  im  , то y  x   ( x i ei )   xiei 
i 1 i 1
n n
 L(e1 , e2 ,...,en ). С другой стороны, если y  L(e1 ,e2 ,...,en ), то y   xiei   ( xi ei )  x, то
i 1 i 1
есть y  im  

Дефект оператора defekt   dim ker  .

Ранг оператора rg   dim im  .

Теорема. Ранг оператора это есть ранг его матрицы в каком-либо базисе.
 rg   dim im   dim L(e1 , e2 ,...en )  rg[ ] fe . A  [ ] fe 

Теорема. Если  : Ln  Lm , то rg   defekt  dim Ln .

 Пусть e1 , e2 ,..., ek – базис ker  . Пусть e1 , e2 ,..., ek , ek 1 ,..., en – базис Ln .
Теперь рассмотрим im   L(e1 , e2 ,...,e k , e k 1 ,...e n ). По определению ядра, e1 , e2 ,..., ek – элементы
базиса ядра, поэтому e1 , e2 ,...,ek – нулевые элементы. Тогда L(ek 1 , e k  2 ,...,en )  im  .
Предположим, что найдутся  i такие, что  k 1ek 1   k  2ek  2  ...   nen   . Тогда
 ( k 1ek 1   k  2 ek  2  ...   n en )     k 1ek 1   k  2 ek  2  ...   n en  ker  . Если элемент принадлежит
ядру, то он выражается через базис ядра. Получаем противоречие, значит rg  dim L(e k 1 , ek  2 ,...,en )
 n  k . Отсюда rg   defekt  n  k  k  n  dim Ln . 

19
§5. Обратный оператор
Пусть задано преобразование  : Ln  Ln . Оператор  1 : Ln  Ln будет называться обратным, если
 1  E.
Свойства обратного оператора
 1x    x   .
Если x   и для оператора  существует обратный, то из x   следует x   .

Теорема. Для того чтобы для оператора  существовал обратный оператор  1 , необходимо и
достаточно, чтобы преобразование  было взаимнооднозначным преобразованием.
 Необходимость.
Пусть задано, что  1 . Предположим, что  не является взаимнооднозначным преобразованием:
x1 , x 2  Ln , x1  x 2
x1  y
x 2  y
 ( x1  x2 )    x1  x2    x1  x2 , то есть  – взаимнооднозначное преобразование.
Достаточность.
y  x. Тогда  1 (x )  x. Возьмем два элемента:
y1  x1 , y 2  x 2
x1   1 y1 , x 2   1 y 2
 1 ( y1  y 2 )   1 (x1  x 2 )  x1  x 2
 1 (y1 )   1 (x1 )  x1 .
Таким образом, построенный оператор является линейным и обратным оператору  . 

Теорема. Матрица оператора  и матрица обратного оператора  1 связаны следующим равенством:

[ ]e [ 1 ]e  E.
 При доказательстве ссылаемся на теорему о матрице произведения операторов.
 1  E , [ E ]  E  [ ]e [ 1 ]e  E. 

§6. Характеристический многочлен матрицы и оператора

a11   a12 ... a1n
a 21 a11   ... a2n
Пусть A  R nn . Тогда равенство A  E  называется характеристическим
... ... ... ...
a n1 an2 ... a11  
многочленом матрицы. Уравнение A  E  0 называется характеристическим уравнением матрицы.

Теорема. Характеристические многочлены подобных матриц совпадают.

 B   1 A.
B  E   1 A  E   1 A   1 E   1 ( A  E )   1 A  E    1 A  E  E A  E  A  E 

Характеристический многочлен и характеристическое уравнение оператора  : Ln  Ln в базисе e

обозначаются [ ]e  E и [ ]e  E  0 соответственно.

20
§7. Собственные значения и собственные векторы
Подпространство L' пространства L называется инвариантным относительно оператора  , если
x  L' его образ x  L'.
Примеры инвариантных подпространств:  , L, ker  , im  .
Собственным вектором x   оператора  будем называть такой вектор, для которого выполняется
равенство x  x, где  называется собственным значением, соответствующим собственному вектору
x оператора  и   R(C ).

Свойства собственных векторов

1) Каждому собственному вектору x соответствует единственное собственное значение  .
x  x,   
x  x
  (   ) x    
2) Если x – собственный вектор оператора  , то любой вектор x, где   0, также является
собственным вектором для собственного значения  .
x  x
x   x
 (x )   (x).

Теорема. Для того чтобы  являлось собственным значением оператора  : Ln  Ln необходимо и

достаточно, чтобы оно было корнем его характеристического многочлена.
 x  x
x  x  
(  E ) x  
x  ker(  E )
dim ker(  E )  0
dim ker(  E )  dim im(  E )  n
defekt(  E )  rg(  E )  n
rg(  E )  n    E  0   является собственным значением тогда и только тогда, когда является
корнем характеристического многочлена оператора  . 

Собственным подпространством векторов называется множество V собственных векторов x

оператора  для собственного значения  в объединении с нулевым элементом.
Докажем, что V является линейным подпространством.
 1) x, y  V , x  y  V .
 ( x  y )  x  y  x  y  ( ( x  y )).
2) x  V , x  V .
 (x )  x  x   (x ). 

Величина dim V называется геометрической кратностью собственного значения  .

Теорема. Матрица линейного оператора в каком-либо базисе e является диагональной тогда и только
тогда, когда e – базис, составленный из собственных векторов оператора  .
[ ]e  .
 Достаточность.
e k   k e k , k  1, n

21
e1  1e1  1e1  0e2  ...  0e n
e 2   2 e2  0e1   2 e2  ...  0e n
...
e n   n en  0e1  0e 2  ...   n e n .
Получаем определитель матрицы линейного оператора  – матрица является диагональной.
Необходимость доказывается аналогично. 

Теорема. Если 1 ,  2 ,...,  n – различные собственные значения, то соответствующие им собственные

векторы x1 , x 2 ,..., x n образуют линейно независимую систему.
 Используем метод полной математической индукции.
1) Проверим для n  1.
x1 – система из одного элемента является линейно независимой.
2) Предположим выполнение условия для n  m.
x1 , x 2 ,..., x m – линейно независимая система.
3) Докажем выполнение условия для n  m  1.
m 1

 x
i 1
i i 
m 1
 (  i xi )  
i 1
m 1

  x
i 1
i i 
m 1

  x
i 1
i i i 
m 1

 
i 1
i m 1 i x 
m

  (
i 1
i i   m 1 ) x i  

 1 ,  2 ,..., m  0 по предположению индукции

 m 1 x m 1    x1 , x 2 ,..., x m 1 – линейно независимая система.
На основании метода математической индукции приходим к выводу, что векторы x1 , x 2 ,..., x n образуют
линейно независимую систему n  N . 

Алгоритм нахождения собственных значений и собственных векторов линейного оператора

Пусть задан оператор  : Ln  Ln .
1) Запишем матрицу оператора [ ]e .
2) Решим характеристическое уравнение [ ]e  E  0, его корни 1 ,  2 ,...,  n будут являться
собственными значениями. Если оператор действует в вещественном пространстве, а некоторые из
полученных корней – комплексные, то отбрасываем их.
3) Для нахождения собственных векторов для каждого из собственных значений составим и решим
однородную систему уравнений ([ ]e   k E ) x   .

§8. Операторы простой структуры

Линейный оператор  : Ln  Ln называется оператором простой структуры, если существует базис из
его собственных векторов, в котором матрица оператора  имеет диагональный вид.
[ ]e  A

22
  1 0 ... 0 
 
 0 2 ... 0 
[ ]e '    
... ... ... ... 
 
0 0 ...  n 

  e1 e ' Aee '
A  ee ' e1 e '
Равенство A  ee ' e1 e ' называется каноническим разложением матрицы A.
При возведении матрицы A в степень m используем каноническое разложение и получаем меньшее
число арифметических операций: A m  ee ' m e1 e ' .

Теорема. Оператор  является оператором простой структуры тогда и только тогда, когда
алгебраические и геометрические кратности каждого из его собственных значений совпадают.
 Пусть 1 ,  2 ,...,  n – все различные собственные значения оператора  : Ln  Ln и пусть mk и s k ,
n
k  1, n – соответственно алгебраические и геометрические кратности  k . dim Ln   mi . С другой
i 1
n
стороны, 0  dim Vk  s k  m k , k  1, n. Но dim Ln   dim Vi . Исходя из этого получаем, что mk = s k ,
i 1

k  1, n . 

Алгоритм построения канонического разложения матрицы

1) Находим собственные значения и определяем их алгебраические кратности.
2) Находим геометрические кратности собственных значений.
( A  k E )  
s k  n  rg( A   k E )
Если алгебраические и геометрические кратности совпадают, то
3) Строим трансформирующую  . Для ее построения находим собственные значения и векторы,
выписываем векторы в матрицу  в таком же порядке по столбцам, в каком выписываем
соответствующие собственные значения на диагональ матрицы  .
Если алгебраические и геометрические кратности не совпадают, то построение невозможно.

§9. Жорданова нормальная форма матрицы

Теорема. Пусть задан линейный оператор  : Ln  Ln . Пусть L1 , L2 ,..., Ls – инвариантные
подпространства пространства Ln , причем L1  L2  ...  Ls  Ln . Тогда существует
 A1 0
 
 A2 
[ ] f    , где f – некоторый базис. Квадратный блок Ai имеет порядок dim Li , а все
...
 
0 A 
 s 

остальные блоки являются нулевыми.

 Выберем в линейных подпространствах L1 , L2 ,..., Ls базисы
e (1)  (e1(1) , e2(1) ,...en(11 ) ),
e ( 2)  (e1( 2 ) , e2( 2) ,...en( 22 ) ),
...
e ( s )  (e1( s ) , e 2( s ) ,...en( ss ) ).

23
В совокупности эти базисы дают базис f всего пространства Ln . Так как Li – инвариантное
подпространство линейного оператора  , элемент ei(1) , i  1, n1 попадает в L1 и поэтому является
линейной комбинацией системы элементов e (1) . Другими словами, координаты элементов ei(1) в базисе
f , соответствующие ei( 2) , ei(3) ,..., ei( s ) , равны нулю. Аналогично получаем для всех элементов ei(k ) . 

Теорема. Каждой паре комплексно-сопряженных корней характеристического уравнения линейного

оператора соответствует двумерное инвариантное подпространство этого оператора.
 Зафиксируем в линейном пространстве Ln некоторый базис e и рассмотрим матрицу A линейного
оператора  в этом базисе.
Пусть     i ,   0 – комплексный корень характеристического уравнения линейного оператора  .
Тогда A  E  0 и система линейных уравнений  A  E x   с комплексными коэффициентами имеет
ненулевое решение x , которое можно записать в виде x  u  iv, разделив действительные и мнимые
части у элементов столбца x .
Столбец v не является нулевым, так как в противном случае x  u , Au  x. Видим, что действительные
элементы столбца Au получаются из действительных элементов столбца u умножением на комплексное
число  , а это возможно лишь в случае, когда u   . Но это противоречит выбору столбца x .
Столбцы u и v линейно независимы. Действительно, если они линейно зависимы, то u  v  0, где
одно из чисел  , отлично от нуля.
Пусть   0 и поэтому u  kv, где k     R  x  u  iv  (k  i )v. Ax  x  A(k  i )v   (k  i )v ,
Av  v. Равенство невозможно при комплексном числе  .
A(u  iv )  (  i )(u  iv). Разделим действительные и мнимые части, получаем: Au  u  v, Av  u 
+ v. Рассмотрим векторы x и y , которые в базисе e имеют координатные столбцы x e  u, y e  v : x 
 x  y , y  x  y. Векторы x и y линейно независимы, так как независимы их столбцы u и v .
Полученные соотношения означают, что двумерное линейное подпространство L' n  L( x, y ) является
инвариантным подпространством линейного оператора  .

  
Обозначим C ( ,  )   , где  ,   R.
   

Теорема. Если характеристическое уравнение линейного оператора  : Ln  Ln имеет p различных пар

комплексно сопряженных корней  j  i j , j  1, p и q различных действительных корней  j , j  1, q ,
причем 2 p  q  n  dim Ln , тогда матрица линейного оператора в некотором базисе будет иметь вид:
 C ( 1 ,  1 ) 0 ... ... 0 0 
 
 0 C ( 1 ,  1 ) ... ... 0 0 
 ... ... ... ... ... ... 
 
 0 0 C ( 1 ,  1 ) ... 0 0 
A .
 0 0 0 1 0 0 
 0 0 0 0 2 0 
 
 ... ... ... ... ... ... 
 0 0 0 ... ...  q 


 Каждой паре комплексно сопряженных корней  j  i j характеристического уравнения соответствует

двумерное инвариантное подпространство Pj оператора  с базисом u j , v j . Каждому собственному
значению  j соответствует одномерное собственное подпространство Q j оператора  . Можно показать,

24
что все эти пространства образуют прямую сумму, так как пересечение любой пары таких подпространств
содержит только  . Учитывая, что сумма размерностей этих подпространств 2 p  q  n  dim Ln ,
заключаем, что P1  P2  ...  Pp  Q1  Q2  ...  Qq  L. Матрица A оператора  имеет блочно-
диагональный вид, причем каждый диагональный блок представляет собой ограничения оператора  на
соответствующее инвариантное подпространство. В случае двумерного подпространства Pj в базисе
u j , v j эта матрицы равна C ( j ,  j ) , а в случае одномерного подпространства Q j такой блок есть число,
представляющее собой собственное значение  j . 

Для произвольного числа   R введем обозначение матрицы порядка s :

  1 0 ... 0 
 
 0  1 ... 0 
J s (  )   ... ... ... ... ... .
 
 0 ... ...  1 
 0 0 0 ...  
 
Заметим, что в случае s =1 матрица сводится к числу  .

Для произвольного комплексного числа   i (   0) введем обозначение блочной матрицы порядка 2r :

 C ( ,  ) E O ... O 
 
 O C ( ,  ) E ... O 
C r ( ,  )   ... ... ... ... ... , где все блоки – матрицы второго порядка.
 
 O ... ... C ( ,  ) E 
 O
 O O ... C ( ,  ) 

Блочно-диагональную матрицу вида

 C r 1 ( 1 ,  1 ) 0 ... ... 0  0
 
 0 C r 2 ( 2 ,  2 ) ... ... 0  0
 ... ... ... ... ...  ...
 
 0 0 C rm ( m ,  m ) ... 0  0
 ,
 0 0 0 J s1 ( 1 )0  0
 0 0 0 0 0 
J s2 ( 2 )
 
 ... ... ... ... ...  ...
 0 0 0 J sk (  k ) 
... ...

где  i ,  i  R, i  1, m,  j  R, j  1, k называют жордановой. Ее диагональные блоки называют
жордановыми клетками.

КОНЕЦ

25