6
ББК 22.143
Т 93
c ФИЗМАТЛИТ, 2007
ISBN 978-5-9221-0778-5
c Е. Е. Тыртышников, 2007
ОГЛАВЛЕНИЕ
Предисловие . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
Лекция 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.1. Линейные отображения и матрицы . . . . . . . . . . . . . . . . . . . 23
1.2. Умножение матриц . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
1.3. Ассоциативность умножения матриц . . . . . . . . . . . . . . . . . . 24
1.4. Некоммутативность умножения матриц . . . . . . . . . . . . . . . . 25
1.5. Сложение матриц и умножение на число . . . . . . . . . . . . . . . 25
1.6. Умножение блочных матриц . . . . . . . . . . . . . . . . . . . . . . . . 25
1.7. Вычислительный аспект умножения матриц. . . . . . . . . . . . . 26
1.8. Хороша ли программа? . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
1.9. Метод Винограда . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.10. Метод Штрассена . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
1.11. Рекурсия для (n × n)-матриц. . . . . . . . . . . . . . . . . . . . . . . . 28
Лекция 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.1. Множества и элементы . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
2.2. Отображения, функции, операторы . . . . . . . . . . . . . . . . . . . 31
2.3. Алгебраические операции . . . . . . . . . . . . . . . . . . . . . . . . . . 31
2.4. Ассоциативность и скобки . . . . . . . . . . . . . . . . . . . . . . . . . . 32
2.5. Ассоциативность при умножении матриц . . . . . . . . . . . . . . . 33
2.6. Группы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
2.7. Примеры абелевых групп. . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.8. Группа невырожденных диагональных матриц . . . . . . . . . . . 34
2.9. Группа невырожденных треугольных матриц . . . . . . . . . . . . 35
2.10. Подгруппы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
4 Оглавление
Лекция 3 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.1. Система линейных алгебраических уравнений . . . . . . . . . . . 37
3.2. Линейные комбинации . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.3. Линейная зависимость . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.4. Линейная независимость . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.5. Транзитивность линейной зависимости . . . . . . . . . . . . . . . . 40
3.6. Монотонность числа линейно независимых векторов . . . . . . 40
3.7. Базис и размерность . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.8. Дополнение до базиса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.9. Существование базиса. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.10. Совместность системы линейных алгебраических уравнений 43
Лекция 4 . . . . . . . . . . . . . . . . . . . . . . .......... . . . . . . . 44
4.1. Индикатор линейной зависимости . . . .......... . . . . . . . 44
4.2. Подстановки и перестановки . . . . . . . .......... . . . . . . . 44
4.3. Циклы и транспозиции . . . . . . . . . . . .......... . . . . . . . 46
4.4. Четность подстановки . . . . . . . . . . . . .......... . . . . . . . 47
4.5. Единственность индикатора линейной зависимости . . . . . . . 49
4.6. Определитель . . . . . . . . . . . . . . . . . . .......... . . . . . . . 50
Лекция 5 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
5.1. Определитель транспонированной матрицы . . . . . . . . . . . . . 52
5.2. Определитель как функция столбцов (строк) матрицы . . . . . 53
5.3. Существование индикатора линейной зависимости. . . . . . . . 54
5.4. Подматрицы и миноры. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.5. Замечание о подстановках . . . . . . . . . . . . . . . . . . . . . . . . . . 56
5.6. Разбиение множества подстановок на подмножества . . . . . . 56
5.7. Теорема Лапласа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.8. Определитель блочно-треугольной матрицы . . . . . . . . . . . . . 59
Лекция 6 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
6.1. Обратная матрица . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 60
Оглавление 5
Лекция 7 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
7.1. Разделение переменных и матрицы . . . . . . . . . . . . . . . . . . . 67
7.2. Скелетное разложение. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
7.3. Ранг матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
7.4. Окаймление обратимой подматрицы. . . . . . . . . . . . . . . . . . . 69
7.5. Теорема о базисном миноре . . . . . . . . . . . . . . . . . . . . . . . . . 70
7.6. Ранги и матричные операции. . . . . . . . . . . . . . . . . . . . . . . . 71
7.7. Однородная система линейных алгебраических уравнений . . 73
7.8. Теорема Кронекера–Капелли . . . . . . . . . . . . . . . . . . . . . . . . 75
7.9. Общее решение системы линейных алгебраических уравне-
ний . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
7.10. Неустойчивость ранга . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
Лекция 8 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
8.1. Исключение неизвестных . . . . . . . . . . . . . . . . . . . . . . . . . . 77
8.2. Элементарные матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
8.3. Ступенчатые матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
8.4. Приведение к ступенчатой форме . . . . . . . . . . . . . . . . . . . . 80
8.5. Приведение к диагональной форме . . . . . . . . . . . . . . . . . . . 81
8.6. Эквивалентные матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . 82
8.7. Метод Гаусса и LU -разложение. . . . . . . . . . . . . . . . . . . . . . 82
8.8. LU -разложение и строго регулярные матрицы . . . . . . . . . . . 83
Лекция 9 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
9.1. Метод координат. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 85
9.2. Направленные отрезки . . . . . . . . . . . . . . . . . . . . . . . . . . . . 86
9.3. Отношение эквивалентности . . . . . . . . . . . . . . . . . . . . . . . . 87
9.4. Свободный вектор . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 89
6 Оглавление
Л е к ц и я 10 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 98
10.1. Скалярное произведение геометрических векторов . . . . . . . . 98
10.2. Скалярное произведение и координаты . . . . . . . . . . . . . . . . 99
10.3. Об обобщениях . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 99
10.4. Ориентация системы векторов . . . . . . . . . . . . . . . . . . . . . . . 100
10.5. Векторное и смешанное произведения . . . . . . . . . . . . . . . . . 101
10.6. Векторное произведение в декартовых координатах . . . . . . . 103
10.7. Смешанное произведение в декартовых координатах . . . . . . 104
10.8. Нормали к прямой и плоскости . . . . . . . . . . . . . . . . . . . . . . 105
10.9. Расстояние от точки до прямой на плоскости. . . . . . . . . . . . 105
10.10. Расстояние от точки до плоскости . . . . . . . . . . . . . . . . . . . . 106
10.11. Критерии параллельности вектора прямой и плоскости. . . . . 106
Л е к ц и я 11 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
11.1. Линейные пространства. . . . . . . . . . . . . . . . . . . . . . . . . . . . 108
11.2. Примеры бесконечномерных линейных пространств . . . . . . . 110
11.3. Примеры конечномерных линейных пространств . . . . . . . . . 111
11.4. Базис и размерность . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 112
11.5. Подпространства линейного пространства . . . . . . . . . . . . . . 113
11.6. Сумма и пересечение подпространств . . . . . . . . . . . . . . . . . 114
Л е к ц и я 12 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
12.1. Разложение по базису . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 116
12.2. Изоморфизм линейных пространств . . . . . . . . . . . . . . . . . . . 117
12.3. Пространство многочленов . . . . . . . . . . . . . . . . . . . . . . . . . 118
12.4. Прямая сумма подпространств. . . . . . . . . . . . . . . . . . . . . . . 120
Оглавление 7
Л е к ц и я 13 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
13.1. Линейные многообразия . . . . . . . . . . . . . . . . . . . . . . . . . . . 126
13.2. Аффинные множества . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 127
13.3. Гиперплоскости . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 128
13.4. Полупространства . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 129
13.5. Выпуклые множества . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 130
Л е к ц и я 14 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
14.1. Комплексные числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 132
14.2. Комплексная плоскость . . . . . . . . . . . . . . . . . . . . . . . . . . . . 133
14.3. Преобразования плоскости . . . . . . . . . . . . . . . . . . . . . . . . . 135
14.4. Корни из единицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 137
14.5. Группа корней степени n из единицы . . . . . . . . . . . . . . . . . 138
14.6. Матрицы с комплексными элементами. . . . . . . . . . . . . . . . . 139
Л е к ц и я 15 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
15.1. Кольца и поля . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 140
15.2. Делители нуля . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 141
15.3. Кольцо вычетов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 142
15.4. Вложения и изоморфизмы . . . . . . . . . . . . . . . . . . . . . . . . . . 144
15.5. Число элементов в конечном поле . . . . . . . . . . . . . . . . . . . . 145
15.6. Поле частных . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 146
Л е к ц и я 16 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 148
16.1. Линейные пространства над полем . . . . . . . . . . . . . . . . . . . 148
16.2. Многочлены над полем . . . . . . . . . . . . . . . . . . . . . . . . . . . . 150
16.3. Кольцо многочленов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 151
16.4. Деление с остатком . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
16.5. Наибольший общий делитель . . . . . . . . . . . . . . . . . . . . . . . 153
16.6. Значения многочлена и корни . . . . . . . . . . . . . . . . . . . . . . . 154
16.7. Присоединение корня . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 155
8 Оглавление
Л е к ц и я 17 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 157
17.1. Комплексные многочлены . . . . . . . . . . . . . . . . . . . . . . . . . . 157
17.2. Последовательности комплексных чисел . . . . . . . . . . . . . . . 157
17.3. Непрерывные функции на комплексной плоскости . . . . . . . . 158
17.4. Свойства модуля многочлена . . . . . . . . . . . . . . . . . . . . . . . . 159
17.5. Основная теорема алгебры. . . . . . . . . . . . . . . . . . . . . . . . . . 160
17.6. Разложение комплексных многочленов. . . . . . . . . . . . . . . . . 161
17.7. Разложение вещественных многочленов. . . . . . . . . . . . . . . . 162
Л е к ц и я 18 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
18.1. Формулы Виета . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
18.2. Многочлены от n переменных . . . . . . . . . . . . . . . . . . . . . . . 165
18.3. Лексикографическое упорядочение. . . . . . . . . . . . . . . . . . . . 166
18.4. Симметрические многочлены . . . . . . . . . . . . . . . . . . . . . . . . 167
18.5. Ньютоновы суммы. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 169
Л е к ц и я 19 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 170
19.1. Алгебраические многообразия . . . . . . . . . . . . . . . . . . . . . . . 170
19.2. Квадратичные многочлены от двух переменных . . . . . . . . . . 171
19.3. Поворот декартовой системы координат . . . . . . . . . . . . . . . . 171
19.4. Сдвиг декартовой системы координат . . . . . . . . . . . . . . . . . 173
19.5. Эллипс . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 175
19.6. Гипербола . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 177
19.7. Парабола . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 179
Л е к ц и я 20 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
20.1. Квадратичные многочлены от трех переменных . . . . . . . . . . 181
20.2. Декартовы системы и ортогональные матрицы . . . . . . . . . . . 181
20.3. Метод вращений . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 183
20.4. Вложенные подпоследовательности . . . . . . . . . . . . . . . . . . . 184
20.5. Диагонализация в пределе. . . . . . . . . . . . . . . . . . . . . . . . . . 185
20.6. Диагонализация вещественных симметричных матриц . . . . . 186
Л е к ц и я 21 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 189
21.1. Приведенные уравнения поверхности второго порядка . . . . . 189
Оглавление 9
Л е к ц и я 22 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 195
22.1. Нормированное пространство . . . . . . . . . . . . . . . . . . . . . . . 195
22.2. Выпуклые функции и неравенства . . . . . . . . . . . . . . . . . . . . 196
22.3. Неравенства Гёльдера и Минковского . . . . . . . . . . . . . . . . . 197
22.4. Нормы Гёльдера . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 198
22.5. Зачем нужны нормы?. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 199
22.6. Нормы в бесконечномерном пространстве . . . . . . . . . . . . . . 200
22.7. Метрическое пространство . . . . . . . . . . . . . . . . . . . . . . . . . 201
22.8. Пределы и полнота . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 201
Л е к ц и я 23 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 203
23.1. Множества в метрическом пространстве . . . . . . . . . . . . . . . 203
23.2. Компактность и непрерывность . . . . . . . . . . . . . . . . . . . . . . 204
23.3. Компактность единичной сферы. . . . . . . . . . . . . . . . . . . . . . 205
23.4. Эквивалентные нормы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 206
23.5. Компактность замкнутых ограниченных множеств . . . . . . . . 207
23.6. Наилучшие приближения . . . . . . . . . . . . . . . . . . . . . . . . . . 208
Л е к ц и я 24 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
24.1. Евклидово пространство . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
24.2. Унитарное пространство . . . . . . . . . . . . . . . . . . . . . . . . . . . 210
24.3. Билинейные и полуторалинейные формы . . . . . . . . . . . . . . . 211
24.4. Длина вектора . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 212
24.5. Тождество параллелограмма . . . . . . . . . . . . . . . . . . . . . . . . 213
24.6. Ортогональность векторов . . . . . . . . . . . . . . . . . . . . . . . . . . 215
24.7. Ортогональность множеств . . . . . . . . . . . . . . . . . . . . . . . . . 216
10 Оглавление
Л е к ц и я 25 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
25.1. Матрица Грама . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 218
25.2. Скалярное произведение в конечномерном пространстве. . . . 219
25.3. Перпендикуляр и проекция . . . . . . . . . . . . . . . . . . . . . . . . . 220
25.4. Ортогональные системы . . . . . . . . . . . . . . . . . . . . . . . . . . . 222
25.5. Процесс ортогонализации . . . . . . . . . . . . . . . . . . . . . . . . . . 223
25.6. Дополнение до ортогонального базиса . . . . . . . . . . . . . . . . . 224
25.7. Биортогональные системы . . . . . . . . . . . . . . . . . . . . . . . . . . 224
25.8. QR-разложение матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . 225
Л е к ц и я 26 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 228
26.1. Линейные функционалы . . . . . . . . . . . . . . . . . . . . . . . . . . . 228
26.2. Сопряженное пространство . . . . . . . . . . . . . . . . . . . . . . . . . 229
26.3. Примеры линейных функционалов . . . . . . . . . . . . . . . . . . . . 230
26.4. Размерность дополнительного пространства . . . . . . . . . . . . . 230
26.5. Линейные функционалы и гиперплоскости. . . . . . . . . . . . . . 231
26.6. Опорные гиперплоскости . . . . . . . . . . . . . . . . . . . . . . . . . . . 232
Л е к ц и я 27 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236
27.1. Линейные операторы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 236
27.2. Непрерывность и ограниченность . . . . . . . . . . . . . . . . . . . . 236
27.3. Операторная норма . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 237
27.4. Матричная норма . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
27.5. Норма Фробениуса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 239
27.6. Сохранение норм. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 240
27.7. Унитарно инвариантные нормы . . . . . . . . . . . . . . . . . . . . . . 241
27.8. Сингулярное разложение матрицы . . . . . . . . . . . . . . . . . . . . 242
Л е к ц и я 28 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 245
28.1. Матрица линейного оператора . . . . . . . . . . . . . . . . . . . . . . . 245
28.2. Произведение линейных операторов. . . . . . . . . . . . . . . . . . . 246
28.3. Переход к другим базисам. . . . . . . . . . . . . . . . . . . . . . . . . . 247
28.4. Преобразование подобия . . . . . . . . . . . . . . . . . . . . . . . . . . . 248
Оглавление 11
Л е к ц и я 29 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 254
29.1. Диагонализуемые матрицы . . . . . . . . . . . . . . . . . . . . . . . . . 254
29.2. Собственные значения и собственные векторы . . . . . . . . . . . 255
29.3. Собственные векторы для различных собственных значений 256
29.4. Характеристическое уравнение . . . . . . . . . . . . . . . . . . . . . . 257
29.5. Алгебраическая кратность собственного значения . . . . . . . . 258
29.6. Характеристический многочлен и подобие . . . . . . . . . . . . . . 258
29.7. Приведение к почти треугольной матрице . . . . . . . . . . . . . . 259
29.8. Матрицы Фробениуса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 260
29.9. Вычисление характеристического многочлена. . . . . . . . . . . . 261
Л е к ц и я 30 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 263
30.1. Одномерные инвариантные подпространства . . . . . . . . . . . . 263
30.2. Геометрическая кратность собственного значения . . . . . . . . 264
30.3. Матричное выражение инвариантности . . . . . . . . . . . . . . . . 264
30.4. Сужение оператора на подпространство . . . . . . . . . . . . . . . . 265
30.5. Инвариантные пространства и сдвиги . . . . . . . . . . . . . . . . . 265
30.6. Треугольная форма матрицы . . . . . . . . . . . . . . . . . . . . . . . . 265
30.7. Спектральный радиус . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 266
30.8. Теорема Шура . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 268
30.9. Делители и подпространства . . . . . . . . . . . . . . . . . . . . . . . . 269
Л е к ц и я 31 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
31.1. Многочлены от матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
31.2. Корневые пространства . . . . . . . . . . . . . . . . . . . . . . . . . . . . 270
31.3. Нильпотентные операторы . . . . . . . . . . . . . . . . . . . . . . . . . . 272
31.4. Корневое разложение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 272
31.5. Блочно-диагональная форма матрицы . . . . . . . . . . . . . . . . . 273
31.6. Теорема Гамильтона–Кэли . . . . . . . . . . . . . . . . . . . . . . . . . . 274
12 Оглавление
Л е к ц и я 32 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 276
32.1. Минимальное инвариантное подпространство . . . . . . . . . . . 276
32.2. Жордановы цепочки . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 277
32.3. Жорданова форма матрицы . . . . . . . . . . . . . . . . . . . . . . . . . 277
32.4. Индекс собственного значения. . . . . . . . . . . . . . . . . . . . . . . 278
32.5. Жорданов базис в корневом пространстве . . . . . . . . . . . . . . 279
32.6. Существование и единственность жордановой формы. . . . . . 280
32.7. Инвариантные подпространства для вещественных матриц 281
32.8. Вещественный аналог жордановой формы . . . . . . . . . . . . . . 282
32.9. Вычисление жордановой формы . . . . . . . . . . . . . . . . . . . . . . 283
Л е к ц и я 33 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286
33.1. Нормальные матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 286
33.2. Унитарные матрицы. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 287
33.3. Матрицы отражения и вращения . . . . . . . . . . . . . . . . . . . . . 288
33.4. Эрмитовы матрицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
33.5. Эрмитово разложение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 289
33.6. Неотрицательная и положительная определенность . . . . . . . 290
33.7. Квадратный корень . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 291
33.8. Блочно-диагональная форма вещественной нормальной мат-
рицы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 292
33.9. Блочно-диагональная форма ортогональной матрицы . . . . . . 292
Л е к ц и я 34 . . . . . . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . 294
34.1. Матрица Фурье. . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . 294
34.2. Циркулянтные матрицы. . . . . . . . . . . . . . . .... . . . . . . . . . 295
34.3. Алгебры матриц . . . . . . . . . . . . . . . . . . . . .... . . . . . . . . . 297
34.4. Одновременное приведение к треугольному виду . . . . . . . . . 298
34.5. Быстрое преобразование Фурье . . . . . . . . . .... . . . . . . . . . 299
Л е к ц и я 35 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 302
35.1. Сингулярные числа и сингулярные векторы . . . . . . . . . . . . . 302
35.2. Полярное разложение . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 303
35.3. Выводы из сингулярного разложения . . . . . . . . . . . . . . . . . . 304
35.4. Сингулярное разложение и решение систем . . . . . . . . . . . . . 305
Оглавление 13
Л е к ц и я 36 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 310
36.1. Квадратичные формы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 310
36.2. Конгруэнтность . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 311
36.3. Канонический вид квадратичной формы. . . . . . . . . . . . . . . . 311
36.4. Закон инерции . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 312
36.5. Эрмитова конгруэнтность . . . . . . . . . . . . . . . . . . . . . . . . . . 313
36.6. Канонический вид пары квадратичных форм . . . . . . . . . . . . 313
36.7. Метод Лагранжа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 314
36.8. Метод квадратного корня . . . . . . . . . . . . . . . . . . . . . . . . . . 315
36.9. Критерий положительной определенности . . . . . . . . . . . . . . 318
Л е к ц и я 37 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 319
37.1. Разделение собственных значений эрмитовой матрицы. . . . . 319
37.2. Вариационные свойства собственных значений . . . . . . . . . . 321
37.3. Возмущения собственных значений . . . . . . . . . . . . . . . . . . . 322
37.4. Соотношения разделения. . . . . . . . . . . . . . . . . . . . . . . . . . . 323
37.5. Критерий неотрицательной определенности . . . . . . . . . . . . . 325
37.6. Вариационные свойства сингулярных чисел . . . . . . . . . . . . . 326
37.7. Разделение сингулярных чисел . . . . . . . . . . . . . . . . . . . . . . 327
Л е к ц и я 38 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
38.1. Сопряженный оператор . . . . . . . . . . . . . . . . . . . . . . . . . . . . 328
38.2. Матрица сопряженного оператора . . . . . . . . . . . . . . . . . . . . 330
38.3. Нормальный оператор . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 330
38.4. Самосопряженный оператор. . . . . . . . . . . . . . . . . . . . . . . . . 331
38.5. Минимизация на подпространствах . . . . . . . . . . . . . . . . . . . 332
38.6. Метод сопряженных градиентов . . . . . . . . . . . . . . . . . . . . . 333
38.7. Двучленные формулы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 334
14 Оглавление
Л е к ц и я 39 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
39.1. Спектральные задачи . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 335
39.2. Непрерывность корней многочлена . . . . . . . . . . . . . . . . . . . 336
39.3. Возмущение спектра матрицы . . . . . . . . . . . . . . . . . . . . . . . 339
39.4. Преобразования отражения и вращения . . . . . . . . . . . . . . . . 339
39.5. Приведение к треугольному виду. . . . . . . . . . . . . . . . . . . . . 340
39.6. Приведение к почти треугольному виду . . . . . . . . . . . . . . . . 341
39.7. Приведение к двухдиагональному виду . . . . . . . . . . . . . . . . 341
39.8. Вычисление сингулярных чисел . . . . . . . . . . . . . . . . . . . . . . 342
Л е к ц и я 40 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 344
40.1. Многомерные массивы и матрицы . . . . . . . . . . . . . . . . . . . . 344
40.2. Трехмерные массивы и трилинейные разложения . . . . . . . . . 345
40.3. Сечения трехмерного массива . . . . . . . . . . . . . . . . . . . . . . . 345
40.4. Примеры трилинейных разложений . . . . . . . . . . . . . . . . . . . 346
40.5. Все не так. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 347
40.6. Эквивалентные трилинейные разложения. . . . . . . . . . . . . . . 348
40.7. Единственность с точностью до эквивалентности. . . . . . . . . 349
40.8. Тензорный ранг и умножение матриц. . . . . . . . . . . . . . . . . . 351
Д о п о л н е н и е к л е к ц и и 4 . . . . . . . . . . . . . . . . . . . . . . . . 361
D 4.1. Знакопеременная группа . . . . . . . . . . . . . . . . . . . . . . . . . . . 361
Оглавление 15
Дополнение к л е к ц и и 5 . . . . . . . . . . . . . . . . . . . . . . . . 364
D 5.1. Функциональное доказательство теоремы Лапласа. . . . . . . . 364
D 5.2. Определители с нулевыми членами . . . . . . . . . . . . . . . . . . . 365
Дополнение к л е к ц и и 6 . . . . . . . . . . . . . . . . . . . . . . . . 367
D 6.1. Матрицы с диагональным преобладанием . . . . . . . . . . . . . . 367
D 6.2. Определитель и возмущения . . . . . . . . . . . . . . . . . . . . . . . . 368
Дополнение к л е к ц и и 8 . . . . . . . . . . . . . . . . . . . . . . . . 369
D 8.1. Выбор ведущего элемента . . . . . . . . . . . . . . . . . . . . . . . . . . 369
D 8.2. Вычисление обратной матрицы . . . . . . . . . . . . . . . . . . . . . . 371
Дополнение к л е к ц и и 13 . . . . . . . . . . . . . . . . . . . . . . . 373
D 13.1. Аффинная независимость . . . . . . . . . . . . . . . . . . . . . . . . . . 373
D 13.2. Линейные неравенства и минимизация . . . . . . . . . . . . . . . . 374
Дополнение к л е к ц и и 14 . . . . . . . . . . . . . . . . . . . . . . . 376
D 14.1. Квадратные уравнения . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
D 14.2. Кубические уравнения . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 376
D 14.3. Уравнения четвертой степени. . . . . . . . . . . . . . . . . . . . . . . . 377
Дополнение к л е к ц и и 16 . . . . . . . . . . . . . . . . . . . . . . . 379
D 16.1. Мультипликативная группа поля вычетов . . . . . . . . . . . . . . 379
D 16.2. Результант . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 379
D 16.3. Построения циркулем и линейкой . . . . . . . . . . . . . . . . . . . . 381
D 16.4. Конечные расширения полей . . . . . . . . . . . . . . . . . . . . . . . . 383
D 16.5. Круговые многочлены простой степени . . . . . . . . . . . . . . . . 384
D 16.6. Правильные n-угольники . . . . . . . . . . . . . . . . . . . . . . . . . . 386
D 16.7. Эндоморфизмы и автоморфизмы . . . . . . . . . . . . . . . . . . . . . 387
D 16.8. Алгебраические числа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 389
16 Оглавление
Д о п о л н е н и е к л е к ц и и 17 . . . . . . . . . . . . . . . . . . . . . . . 391
D 17.1. Кратные корни и производные . . . . . . . . . . . . . . . . . . . . . . . 391
D 17.2. Разностные уравнения с постоянными коэффициентами . . . . 392
D 17.3. Поле разложения. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 394
D 17.4. Корни многочленов над произвольным полем . . . . . . . . . . . . 395
Д о п о л н е н и е к л е к ц и и 18 . . . . . . . . . . . . . . . . . . . . . . . 397
D 18.1. Еще одно доказательство основной теоремы алгебры . . . . . . 397
D 18.2. Нормальные поля и поля разложения . . . . . . . . . . . . . . . . . 398
D 18.3. Радикальные расширения . . . . . . . . . . . . . . . . . . . . . . . . . . 399
D 18.4. Автоморфизмы и расширения . . . . . . . . . . . . . . . . . . . . . . . 400
D 18.5. Расширения Галуа . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 400
D 18.6. Промежуточные поля и подгруппы . . . . . . . . . . . . . . . . . . . 401
D 18.7. Разрешимость алгебраических уравнений . . . . . . . . . . . . . . 402
D 18.8. Нормальные делители симметрической группы . . . . . . . . . . 403
D 18.9. Группы при построении правильных многоугольников . . . . . 404
Д о п о л н е н и е к л е к ц и и 19 . . . . . . . . . . . . . . . . . . . . . . . 406
D 19.1. Классификация линий второго порядка . . . . . . . . . . . . . . . . 406
D 19.2. Инварианты линии второго порядка. . . . . . . . . . . . . . . . . . . 406
D 19.3. Определение типа линии . . . . . . . . . . . . . . . . . . . . . . . . . . . 407
Д о п о л н е н и е к л е к ц и и 22 . . . . . . . . . . . . . . . . . . . . . . . 409
D 22.1. Пополнение пространства . . . . . . . . . . . . . . . . . . . . . . . . . . 409
Д о п о л н е н и е к л е к ц и и 23 . . . . . . . . . . . . . . . . . . . . . . . 411
D 23.1. Подпространства и замкнутость . . . . . . . . . . . . . . . . . . . . . 411
D 23.2. Единичная сфера в бесконечномерном пространстве. . . . . . . 411
D 23.3. Геометрические свойства единичных шаров . . . . . . . . . . . . . 412
D 23.4. Топологические пространства . . . . . . . . . . . . . . . . . . . . . . . 413
D 23.5. Компактные множества в топологическом пространстве . . . . 414
Д о п о л н е н и е к л е к ц и и 25 . . . . . . . . . . . . . . . . . . . . . . . 416
D 25.1. Потеря ортогональности при вычислениях . . . . . . . . . . . . . . 416
Оглавление 17
Дополнение к л е к ц и и 26 . . . . . . . . . . . . . . . . . . . . . . . 419
D 26.1. Строение выпуклых множеств . . . . . . . . . . . . . . . . . . . . . . . 419
D 26.2. Линейные неравенства . . . . . . . . . . . . . . . . . . . . . . . . . . . . 420
D 26.3. Поиск точки в пересечении гиперплоскостей . . . . . . . . . . . . 421
D 26.4. Линейные функционалы и скалярные произведения . . . . . . . 422
D 26.5. Дуальные нормы . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 423
Дополнение к л е к ц и и 27 . . . . . . . . . . . . . . . . . . . . . . . 426
D 27.1. Выбор базиса . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 426
D 27.2. Базисы в пространстве многочленов . . . . . . . . . . . . . . . . . . 427
Дополнение к л е к ц и и 32 . . . . . . . . . . . . . . . . . . . . . . . 429
D 32.1. Минимальный многочлен матрицы . . . . . . . . . . . . . . . . . . . 429
D 32.2. Жорданова форма: прямое доказательство по индукции . . . . 430
Дополнение к л е к ц и и 34 . . . . . . . . . . . . . . . . . . . . . . . 432
D 34.1. Свертки . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 432
D 34.2. Сложность преобразования Фурье . . . . . . . . . . . . . . . . . . . . 433
D 34.3. Быстрые приближенные вычисления . . . . . . . . . . . . . . . . . . 434
Дополнение к л е к ц и и 35 . . . . . . . . . . . . . . . . . . . . . . . 437
D 35.1. Общий вид унитарно инвариантных норм . . . . . . . . . . . . . . 437
Дополнение к л е к ц и и 36 . . . . . . . . . . . . . . . . . . . . . . . 438
D 36.1. Гиперповерхности второго порядка . . . . . . . . . . . . . . . . . . . 438
D 36.2. Геометрические свойства гиперповерхностей . . . . . . . . . . . . 439
Дополнение к л е к ц и и 37 . . . . . . . . . . . . . . . . . . . . . . . 442
D 37.1. Эрмитово возмущение заданного ранга . . . . . . . . . . . . . . . . 442
D 37.2. Собственные значения и сингулярные числа . . . . . . . . . . . . 443
D 37.3. Мажоризация и неравенства . . . . . . . . . . . . . . . . . . . . . . . . 444
18 Оглавление
Д о п о л н е н и е к л е к ц и и 38 . . . . . . . . . . . . . . . . . . . . . . . 448
D 38.1. Число итераций. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 448
D 38.2. Как убывают нормы невязок . . . . . . . . . . . . . . . . . . . . . . . . 448
D 38.3. Оценка с помощью многочленов Чебышёва . . . . . . . . . . . . . 449
D 38.4. Предобусловленный метод сопряженных градиентов. . . . . . . 451
D 38.5. Обобщения метода сопряженных градиентов . . . . . . . . . . . . 452
Д о п о л н е н и е к л е к ц и и 39 . . . . . . . . . . . . . . . . . . . . . . . 456
D 39.1. Локализация собственных значений . . . . . . . . . . . . . . . . . . 456
D 39.2. Расстояние между спектрами нормальных матриц . . . . . . . . 457
Д о п о л н е н и е к л е к ц и и 40 . . . . . . . . . . . . . . . . . . . . . . . 460
D 40.1. Преобразования массивов с помощью матриц . . . . . . . . . . . 460
D 40.2. Ортогональные преобразования массивов. . . . . . . . . . . . . . . 460
D 40.3. Разложение Таккера . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 461
Литература . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 464
Предметный указатель . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 466
Предисловие
A + (B + C) = (A + B) + C (ассоциативность),
A + B = B + A (коммутативность).
Полезно ввести также операцию умножения матрицы на чис-
ло. Если α — число, то матрица C = αA определяется как
матрица тех же размеров с элементами cij = αaij .
m
m
− ai 2k−1 ai 2k − b2k j b2k−1 j .
k=1 k=1
7nlog2 7
→0 при n → ∞,
n3
метод Штрассена асимптотически лучше классического метода.
7log2 n = nlog2 7
1.11. Рекурсия для (n × n)-матриц 29
• B = X ∩ Y ≡ {b : b ∈ X и b ∈ Y } (пересечение множеств);
• C = X\Y ≡ {c : c ∈ X , c ∈/ Y } (разность множеств);
• D = X × Y ≡ {d = (a, b) : a ∈ X , b ∈ Y } (декартово произ-
ведение множеств).
2.6. Группы
Непустое множество G с ассоциативной алгебраической опе-
рацией называется группой, если:
(1) существует элемент e ∈ G такой, что ae = ea = a для
любого элемента a ∈ G;
(2) для любого элемента a ∈ G существует элемент b ∈ G
такой, что ab = ba = e.
Элемент e определяется свойством (1) однозначно: если e1
и e2 — два таких элемента, то e1 = e1 e2 = e2 . Он называется
единичным.
Элемент b из свойства (2) однозначно определяется по a: если
b1 и b2 — два таких элемента, то b1 = b1 (ab2 ) = (b1 a)b2 = b2 .
Элемент b называется обратным для a. Обозначение: b = a−1 .
Для любых фиксированных a, b ∈ G можно рассмотреть урав-
нения ax = b (относительно x) и ya = b (относительно y ). Оба
уравнения однозначно разрешимы: x = a−1 b и y = ba−1 .
Группа называется абелевой (коммутативной), если ab = ba
для всех a, b ∈ G.
2 Е. Е. Тыртышников
34 Лекция 2
2.10. Подгруппы
Подмножество H ⊂ G называется подгруппой группы G, если
оно является группой относительно операции, действующей в G.
Для этого необходимо и достаточно, чтобы
• ab ∈ H для любых элементов a, b ∈ H ;
• a−1 ∈ H для любого элемента a ∈ H .
Например, группа невырожденных диагональных матриц яв-
ляется подгруппой группы невырожденных нижних (верхних)
треугольных (n × n)-матриц.
1)
Такие матрицы называются скалярными.
2*
36 Лекция 2
am ∈ L(a1 , . . . , am−1 ).
α1 a1 + . . . + αm am = 0 ⇒
α
α
⇒ am = − 1 a1 + . . . + − m−1 am−1 .
αm αm
α1 a1 + . . . + αk ak = 0 ⇒ α1 = . . . = αk = 0.
Отсюда
Далее, возьмем j1 ∈
/ {j , σ(j), σ 2 (j), . . . , σ k−1 (j)} и аналогичным
образом построим цикл b, выполняющий преобразования вида
j1 → σ1 (j1 ) → σ12 (j1 ) → . . .
(Заметим, что σ1l (j1 ) = σ l (j1 ) для всех l.) Продолжая подобные
построения, мы неизбежно придем к тождественной подстановке
σ a−1 b−1 . . . c−1 = e,
откуда
σ = c . . . ba.
По построению циклы a, b, . . . , c независимы.
Утверждение (3) доказывается проверкой, например, следую-
щего равенства:
(i1 , . . . , ik ) = (i1 , i2 )(i2 , i3 ) . . . (ik−1 , ik ).
Утверждение (4), очевидно, вытекает из (2) и (3).
Задача 1. Докажите, что все множество подстановок степени n
можно упорядочить таким образом, что каждая следующая подста-
новка будет получаться из предыдущей путем умножения справа на
некоторую транспозицию.
0 = f (a1 + a2 , a1 + a2 , a3 , . . . , an ) =
= f (a1 , a1 , a3 , . . . , an ) + f (a1 , a2 , a3 , . . . , an ) +
+ f (a2 , a1 , a3 , . . . , an ) + f (a2 , a2 , a3 , . . . , an ).
Первое и четвертое слагаемые имеют совпадающие векторы
и поэтому равны нулю. Отсюда
f (a1 , a2 , a3 , . . . , an ) = −f (a2 , a1 , a3 , . . . , an ).
Следовательно, если подстановка σ является транспозицией, то
Мы доказали важное
Утверждение. Если функция–индикатор линейной зависимо-
сти существует, то она определяется формулой (∗).
4.6. Определитель
Определение. Функция вида (∗) называется определителем
(детерминантом) матрицы A со столбцами a1 , a2 , . . . , an и обо-
значается det A или |A|.
Таким образом, если A = [aij ] — матрица размеров n × n, то
4.6. Определитель 51
a11 . . . a1n
det A = |A| = . . . . . . . . . =
a
n1 . . . ann
= sgn(σ) aσ(1)1 aσ(2)2 . . . aσ(n)n . ()
σ∈Sn
Частные случаи:
a11 a12
= a11 a22 − a21 a12 ,
a21 a22
a11 a12 a13
a21 a22 a23 = a11 a22 a33 + a12 a23 a31 + a13 a21 a32 −
a a a
31 32 33
− a13 a22 a31 − a12 a21 a33 − a11 a23 a32 .
В общем случае сумма () содержит n! членов, в каждом из
них перемножаются n элементов матрицы, причем никакие два
элемента в одном произведении не принадлежат одной строке
или одному столбцу.
Несмотря на то что определитель вводится как функция от
матрицы, исторически понятие определителя сформировалось в
XVIII веке (сначала в трудах Лейбница и Крамера, затем теория
определителей была развита в работах Вандермонда, Лапласа,
Коши и К. Якоби) — намного раньше понятия матрицы, вве-
денного в алгебру Гамильтоном и Кэли в середине XIX века.
Конечно, с самого начала определитель связывался с квадрат-
ной таблицей n × n чисел (поэтому говорили об определителе
порядка n). Это были, в частности, таблицы коэффициентов
«квадратной» системы линейных алгебраических уравнений. Но
такие таблицы стали называть матрицами позже — когда для
них ввели операцию умножения.
Лекция 5
A = [aij ], 1 i m, 1 j n.
Если поменять местами строки и столбцы, то получается новая
матрица — размеров n × m. Она называется транспонированной
по отношению к A и обозначается A :
A = [aji ], 1 j n, 1 i m.
= α det Ap + β det Aq .
2) Определитель меняет знак при перестановке двух столб-
цов.
Доказательство. Пусть матрица B = [bij ] отличается от A
перестановкой столбцов ak и al . Тогда для любой подстановки
σ ∈ Sn
aσ(1)1 . . . aσ(n)n = b(στ )(1)1 . . . b(στ )(n)n ,
где τ = (k , l), и, поскольку транспозиция меняет знак подстанов-
ки,
sgn (στ ) = −sgn (σ).
Легко видеть, что отображение σ → στ задает взаимно-
однозначное соответствие между подстановками. Каждый
член суммы вида () определяется одной и только одной
подстановкой. Подстановки σ и στ в разложениях det A и det B
определяют члены с произведением одних и тех же элементов
(в разном порядке), но с противоположными знаками. Значит,
det A = − det B .
54 Лекция 5
= (aiπ(1) j1 . . . aiπ(k) jk ) ×
I∈Nk π∈Sk τ ∈Sm
× (aiτ (1) j1 . . . aiτ (m) jm
) sgn(π) sgn(τ )) (−1)ν(I)+ν(J) =
= (aiπ(1) j1 . . . aiπ(k) jk ) sgn(π) ×
I∈Nk π∈Sk
× (aiτ (1) j1 . . . aiτ (m) jm
) sgn(τ )) (−1)ν(I)+ν(J) .
τ ∈Sm
1)
В общем случае можно доказать, что если |aij | 1, то | det A| nn/2 (см.
п. 25.8). Матрицы с элементами ±1, для которых | det A| = nn/2 , называются
матрицами Адамара. Нетрудно установить, что матрицы Адамара существуют
не для всех n. Имеется гипотеза о том, что матрицы Адамара существуют для
всех n, кратных 4.
Лекция 6
1)
По существу, здесь воспроизводится часть доказательства более общего
утверждения, связанного с избыточностью рассмотренного нами определения
группы (см. дополнение к лекции 2).
62 Лекция 6
Далее,
n
n
aij Akj = aij (A )jk , 1 i, k n.
j=1 j=1
1 1
n
x=A−1
b=
A b ⇒ xi = Aji bj , 1 i n.
det A det A
j=1
n
Остается заметить, что сумма Aji bj есть разложение по i-му
j=1
столбцу определителя матрицы Ai .
1)
Разделение переменных с большим успехом применяется для приближе-
ния функций общего вида.
2)
Матрица uv иногда называется внешним произведением векторов u ∈
∈ Cm и v ∈ Cn .
3*
68 Лекция 7
1)
Конечно, порядок P равен числу строк, а порядок Q — числу столбцов
матрицы A.
7.7. Однородная система линейных алгебраических уравнений 73
Доказать, что блок A11 невырожден тогда и только тогда, когда невы-
рожден блок B22 .
det A−1 (I , J ) = (−1)i1 +...+ik +j1 +...+jk det A(I , J)/ det A.
Лекция 9
= (x0 + p11 x + p12 y + p13 z )e1 + (y0 + p21 x + p22 y + p23 z )e2 +
+ (z0 + p31 x + p32 y + p33 z )e3 .
Следовательно, координаты одной и той же точки в первой и вто-
рой системах координат связаны следующим соотношением:
x x0 x
y = y0 + P y .
z z0 z
Отсюда легко понять, например, как связаны общие урав-
нения одной и той же плоскости в разных аффинных системах
координат. Если в первой системе координат имеем уравнение
Ax + By + Cz + D = 0, то, записывая его в матричном виде,
находим
x x0 x
[A B C] y = −D ⇔ [A B C] y0 + P y = −D.
z z0 z
Таким образом, уравнение той же плоскости во второй системе
приобретает вид
x
[A B C y
] = −D ,
z
[A B C ] = [A B C] P , D = D − (Ax0 + By0 + Cz0 ).
1)
Они называются барицентрическими координатами точки M . Если
в пространстве задан тетраэдр ABCD и принадлежащая ему точка M , то,
аналогично, для любой точки O найдутся неотрицательные α, β , γ , δ такие, что
−→ −→ −→ −→ −→
OM = α OA + β OB + γ OC + δ OD, α + β + γ + δ = 1.
4 Е. Е. Тыртышников
Л е к ц и я 10
Доказательство. Запишем
a = a1 e1 + a2 e2 + a3 e3 , b = b1 e1 + b2 e2 + b3 e3 .
Опираясь на свойства скалярного произведения (2)–(4) и соот-
ношения (∗), находим
(a, b) = (a1 e1 + a2 e2 + a3 e3 , b1 e1 + b2 e2 + b3 e3 ) =
3
3
= ai bj (ei , ej ) = a1 b1 + a2 b2 + a3 b3 .
i=1 j=1
10.3. Об обобщениях
Формула (#) и свойства (1)–(4) дают основу для введения
скалярного произведения в более общих случаях — для объек-
тов, уже не являющихся векторами в геометрическом простран-
стве.
4*
100 Лекция 10
1)
Как утверждает М. М. Постников, в старые времена правыми называли
как раз сегодняшние левые тройки.
102 Лекция 10
Для векторов a = a1 e1 + a2 e2 + a3 e3 , b = b1 e1 + b2 e2 + b3 e3
получаем
[a, b] = a1 b1 [e1 , e1 ] + a1 b2 [e1 , e2 ] + a1 b3 [e1 , e3 ] +
+ a2 b1 [e2 , e1 ] + a2 b2 [e2 , e2 ] + a2 b3 [e2 , e3 ] +
+ a3 b1 [e3 , e1 ] + a3 b2 [e3 , e2 ] + a3 b3 [e3 , e3 ] =
= (a2 b3 − a3 b2 ) e1 − (a1 b3 − a3 b1 ) e2 + (a1 b2 − a2 b1 ) e3 .
Полученный результат легче всего запомнить, увидев в нем
формальное применение теоремы Лапласа для разложения опре-
делителя по первой строке:
e 1 e2 e3
[a, b] = det a1 a2 a3 .
b1 b2 b3
• a + b = b + a ∀ a, b ∈ V (коммутативность сложения
векторов);
• α(β a) = (αβ) a ∀ α, β ∈ R, ∀ a ∈ V ;
• (α + β) a = αa + βa ∀ α, β ∈ R, ∀a ∈ V (дистрибутив-
ность);
• α(a + b) = αa + αb ∀ α ∈ R, ∀ a, b ∈ V (дистрибутив-
ность);
• 1 · a = a ∀ a ∈ V . 1)
Множество V , обладающее всеми этими свойствами, называ-
ется вещественным линейным пространством. Часто встречаю-
щийся термин-синоним — векторное пространство.
Заметим, что множество V относительно операции сложения
векторов является абелевой группой. Роль единичного элемента
играет нулевой вектор. Вектор b такой, что a + b = b + a = 0,
называется противоположным вектору a и обозначается b = −a.
Некоторые привычные свойства введенных нами операций,
ранее свободно применявшихся к матрицам-столбцам, в рассмот-
ренном более абстрактном случае нуждаются в доказатель-
ствах.
Утверждение 1. 0 · a = 0 ∀ a ∈ V .
Доказательство. В силу дистрибутивности
0 · a = (0 + 0) · a = (0 · a) + (0 · a).
1)
Данное свойство равносильно тому, что каждый вектор a можно пред-
ставить в виде a = αb для некоторого вектора b и некоторого числа α.
В самом деле, если это свойство выполнено, то можно взять b = a и α = 1.
С другой стороны, пусть выполнение этого свойства не предполагается, но
известно, что a = αb. Тогда, используя аксиому α(β a) = (αβ) a, получаем
1 · (αb) = (1 · α) · b = αb ⇒ 1 · a = a.
110 Лекция 11
Очевидно, что
W1 + W2 = L(g1 , . . . , gr , p1 , . . . , pk , q1 , . . . , qm ).
Поэтому остается доказать линейную независимость векторов,
порождающих данную линейную оболочку. Пусть
α1 g1 + . . . + αr gr + β1 p1 + . . . + βk pk + γ1 q1 + . . . + γm qm = 0.
Отсюда
α1 g1 + . . . + αr gr + β1 p1 + . . . + βk pk =
= −(γ1 q1 + . . . + γm qm ) ∈ W1 ∩ W2 .
Поскольку W1 ∩ W2 = L(g1 , . . . , gr ), для некоторых коэффи-
циентов δ1 , . . . , δr имеем
δ1 g1 + . . . + δr gr = −(γ1 q1 + . . . + γm qm ),
что равносильно равенству
δ1 g1 + . . . + δr gr + γ1 q1 + . . . + γm qm = 0 ⇒
⇒ δ1 = . . . = δr = γ1 = . . . = γm = 0 ⇒
⇒ α1 = . . . = αr = β1 = . . . = βm = 0.
Доказательство. Определитель
⎡ ⎤
1 1 ... 1
⎢ x1 x2 . . . xn ⎥
det V (x1 , . . . , xn ) = ⎣ . . . ... ... ... ⎦
x1n−1 x2n−1 . . . xn−
n
1
det V (x1 , . . . , xn ) =
⎡ 1 1 ... 1 1
⎤
⎢ x 1 − xn x 2 − xn ... xn−1 − xn 0⎥
= det⎣ ... ... ... ⎦.
x1n−2 (x1 − xn ) x2n−2 (x2 − xn ) . . . xn−
n−1 (xn−1 − xn ) 0
2
Таким образом,
⎡ ⎤ ⎡ ⎤ ⎡ ⎤
−1 −1 0
⎢ 1 ⎥ ⎢ 0 ⎥ ⎢ 0 ⎥
⎢ ⎥ ⎢ ⎥ ⎢ ⎥
W1 = L(p1 , p2 , p3 ), где p1 = ⎢ 0 ⎥ , p2 = ⎢ 1 ⎥ , p3 = ⎢ 0 ⎥.
⎣ 0 ⎦ ⎣ 0 ⎦ ⎣ −1 ⎦
0 0 1
В матрице B базисными являются, например, столбцы с но-
мерами 1, 3, 5. Неизвестные x1 , x3 , x5 — базисные, а неизвестные
x2 , x4 — свободные:
x2 = 1, x4 = 0 ⇒ x1 = −1, x3 = 0, x5 = 0;
x2 = 0, x4 = 1 ⇒ x1 = −1/2, x3 = −1/2, x5 = 0.
Таким образом,
⎡ ⎤ ⎡ ⎤
−1 −1/2
⎢ 1 ⎥ ⎢ 0 ⎥
⎢ ⎥ ⎢ ⎥
W2 = L(q1 , q2 ), где q1 = ⎢ 0 ⎥ , q2 = ⎢ −1/2 ⎥.
⎣ 0 ⎦ ⎣ 1 ⎦
0 0
Далее, W1 + W2 = L(p1 , p2 , p3 , q1 , q2 ) = im C , где
⎡ ⎤
−1 −1 0 −1 −1/2
⎢ 1 0 0 1 0 ⎥
⎢ ⎥
C = [p1 , p2 , p3 , q1 , q2 ] = ⎢ 0 1 0 0 −1/2 ⎥.
⎣ 0 0 −1 0 1 ⎦
0 0 1 0 0
Простое вычисление показывает, что rank C = 4, а базисными
являются, например, столбцы с номерами 1, 2, 3, 5. Поэтому век-
торы p1 , p2 , p3 , q2 линейно независимы и
W1 + W2 = L(p1 , p2 , p3 , q2 ),
dim(W1 + W2 ) = 4.
Наконец, в силу теоремы Грассмана, dim W1 W2 = 3 + 2 −
− 4 = 1.В данном случае можно заметить, что p1 = q1 ⇒
p1 ∈ W1 W2 . Следовательно,
"
W1 W2 = L(p1 ).
Конечно, для поиска пересечения в данномслучае можно также
заметить, что вектор x принадлежит W1 W2 тогда и только
тогда, когда Ax = 0 и Bx = 0. Таким образом,
" "
#
A 0
W1 W2 = ker A ker B = x : x= .
B 0
12.6. Вычисление подпространства 125
13.3. Гиперплоскости
Пусть V — вещественное линейное пространство размерно-
сти n. Любое линейное многообразие M = v0 + L ⊂ V размерно-
сти n − 1 называется гиперплоскостью.
Поскольку V изоморфно Rn , давайте считать, что V = Rn ,
и рассмотрим уравнение относительно вещественных неизвест-
ных x1 , . . . , xn :
c1 x1 + . . . + cn xn = b, (∗)
где хотя бы одно из чисел ci отлично от нуля.
Утверждение 1. Множество всех векторов из Rn с коорди-
натами x1 , . . . , xn , удовлетворяющими уравнению (∗), есть
гиперплоскость. Кроме того, любая гиперплоскость может
быть задана как множество решений некоторого уравнения
вида (∗).
Доказательство. Уравнение (∗) — это частный случай систе-
мы линейных алгебраических уравнений, состоящей их одного
уравнения. Матрица коэффициентов имеет размеры (1 × n), и,
поскольку не все ci равны нулю, ее ранг равен 1. Очевидно,
что система совместна. Обозначим через v1 , . . . , vn−1 векторы
фундаментальной системы решений, и пусть v0 — произвольное
частное решение. Тогда множество решений системы (∗) имеет
вид v0 + L(v1 , . . . , vn−1 ) и поэтому является гиперплоскостью.
Пусть M = v0 + L(v1 , . . . , vn−1 ) — произвольная гиперплос-
кость. Образуем [n × (n − 1)]-матрицу B = [v1 , . . . , vn−1 ] и рас-
смотрим уравнение
c1
B . . . = 0.
cn
Ранг матрицы коэффициентов равен n − 1 ⇒ система имеет
нетривиальное решение c = [c1 , . . . , cn ] . Очевидно, что
M = {x = v0 + Bz , z ∈ Rn−1 }.
Умножив обе части равенства x = v0 + Bz слева на матрицу-
строку c , находим
c x = c v0 + (c B)z = c v0 ⇒ c1 x1 + . . . + cn xn = b, b = c v0 .
13.4. Полупространства 129
B y = 0.
Поскольку rankB = k , фундаментальная система решений содер-
жит n − k векторов. Обозначим их через a1 , . . . , an−k . Далее,
a
i x = ai v0 + (ai B)z = ai v0 .
13.4. Полупространства
Любая гиперплоскость π : c1 x1 + . . . + cn xn = b (c x = b )
выделяет в Rn два подмножества:
π− = {x : c x b}, π+ = {x : c x b}, π− ∩ π+ = π.
Эти подмножества называются («отрицательным» и «положи-
тельным») полупространствами. В случае плоскости в трехмер-
ном пространстве они уже изучались в п. 7.12.
Утверждение. Точки x, y ∈ / π принадлежат разным полупро-
странствам тогда и только тогда, когда x + t(y − x) ∈ π при
некотором 0 < t < 1.
Доказательство. Пусть для определенности x ∈ π− и y ∈ π+ .
Тогда уравнение
c (x + t(y − x)) = b
5 Е. Е. Тыртышников
130 Лекция 13
имеет решение
b − c x b − c x
t= = ,
c (y − x) (b − c x) − (b − c y)
причем с очевидностью 0 < t < 1. Если же x, y ∈ π− (π+ ), то при
любом 0 t 1 находим: x + t(y − c) ∈ π− (π+ ).
5*
Л е к ц и я 14
1
n−
Задача 1. Доказать, что (x + εk y)n = n(xn + y n ), где ε =
k=0
= cos(2π/n) + i sin(2π/n).
Задача 2. Используя комплексные числа, доказать, что
n−
1
а) x2n − 1 = (x2 − 1) (x2 − 2x cos(πk/n) + 1);
k=1
n−
1
√
πk n
б) sin = .
k=1
2n 2n−1
1)
Функция Эйлера обладает рядом замечательных свойств. Например,
ϕ(ab) = ϕ(a)ϕ(b) для любых взаимно простых чисел a и b — докажите!
Л е к ц и я 15
Утверждение 1. 0 · a = a · 0 = 0 ∀ a ∈ K .
Доказательство. Пусть b = −(0 · a) (элемент, противоположный
0 · a). В силу дистрибутивности, 0 · a = (0 + 0) · a = (0 · a) +
+ (0 · a). Прибавим b к обеим частям: 0 = b + (0 · a) = (b + 0 · a) +
+ (0 · a) = 0 + (0 · a)0 · a.
Если умножение коммутативно, то K называется коммута-
тивным кольцом. Если существует единичный элемент отно-
сительно операции умножения, то кольцо называется кольцом
с единицей.
Пусть P — коммутативное кольцо с единицей, для которого
множество P \{0} относительно операции умножения является
абелевой группой. В таких случаях множество P называется
полем.
Группа P \{0} по умножению называется мультипликатив-
ной группой поля P .
Единичный элемент кольца с единицей или поля относитель-
но операции умножения обозначается обычно символом 1.
Утверждение 2. Если K — кольцо с единицей, то
(−1) · a = −a ∀ a ∈ K.
Доказательство.
0 = (1 + (−1)) · a = 1 · a + (−1) · a = a + (−a).
Задача 1. Пусть a и b — элементы кольца с единицей e. Дока-
жите, что из обратимости элемента e − ab в данном кольце вытекает
обратимость элемента e − ba.
1)
По заглавным буквам фамилий трех его авторов: R. L. Rivest, A. Shamir,
L. Adleman.
15.5. Число элементов в конечном поле 145
c
a
c
a
лем: если ∈ K , то K =K ; поэтому традиционно
d b d b
он отождествляется с любым своим представителем.
Операции сложения и умножения классов эквивалентности
формальных частных определим по аналогии с заданием опера-
ций для рациональных чисел:
a
c
ad + bc
a c
ac
K +K =K , K ) K( =K .
b d bd b d bd
Проверка того, что результаты этих операций не зависят a
от вы-
c
бора представителей в классах эквивалентности K иK ,
b d
осуществляется вполне рутинным образом.
Легко видеть, что множество формальных
a
частных есть ком-
0
мутативное кольцо с единицей 1 = K . При этом 0 = K .
a a
a
Любой ненулевой элемент имеет вид K , где a = 0. Очевидно,
b
b
что элемент K будет к нему обратным.
a a
Итак, множество классов K есть поле. Почему оно мо-
b
жет считаться расширением кольца K ?
Рассмотрим взаимно-
ac
однозначное соответствие a ↔ K и заметим, что оно
c
сохраняет операции:
ac
bc
ac
bc
a+b ↔ K +K , ab ↔ K K .
c c c c
Остается договориться об отождествлении
ac
элемента a ∈ K с
классом эквивалентности K (конечно, не зависящим от
c
выбора c = 0).
Построенное поле формальных частных является минималь-
ным полем, содержащим K , — в том смысле, что любое поле,
содержащее K , должно содержать и данное поле частных (это
очевидно — вместе с любыми двумя элементами поле содержит
также их частное).
Л е к ц и я 16
β1 log p1 + . . . + βn log pn = 0 ⇒
β1 = ... = βn = 0 ⇒ α1 = ... = αn = 0.
p(x) = a0 + a1 x + . . . + an xn , a0 , a1 , . . . , an ∈ P. (∗)
si = ai + bi , i 0.
16.3. Кольцо многочленов 151
1)
Данное предложение обычно приводится в качестве главного следствия
из теоремы Безу — утверждения о том, что r(ϑ) = f (ϑ) для остатка r(x) от
деления f (x) на x − ϑ.
16.7. Присоединение корня 155
f (z) = a0 + a1 z + . . . + an z n = a0 + a1 z + . . . + an z n = f (z) = 0.
a, x1 , . . . , xM ∈ R,
ϕi (x) = x2 + si x + ti , si , ti ∈ R, i = 1, . . . , N.
Ясно, что a =
a (это старший коэффициент f (x)). Далее,
полный набор комплексных корней с учетом кратностей опреде-
лен однозначно ⇒ вещественные корни с учетом кратностей
определены однозначно ⇒
6*
164 Лекция 17
a(x − x1 ) · . . . · (x − xM ) =
a(x − x
1 ) · . . . · (x − x
M ),
M =M ⇒ N =N .
Поскольку в R[x] делителей нуля нет, получаем
ϕ1 (x) · . . . · ϕN (x) = ϕ
1 (x) · . . . · ϕ
N (x).
Пусть ϕ1 (z) = 0 ⇒ ϕ1 (x) = (x − z)(x − z). Далее, ϕ1 (z) × . . .
... × ϕ
N (z) = 0 ⇒ хотя бы один из множителей равен нулю.
1 (z) = 0 ⇒ ϕ
Пусть, например, ϕ 1 (x) = (x − z)(x − z). Таким
образом,
1 (x)
ϕ1 (x) = ϕ ⇒ ϕ2 (x) · . . . · ϕN (x) = ϕ
2 (x) · . . . · ϕ
N (x).
Далее по индукции.
Следствие. Любой вещественный многочлен нечетной степе-
ни имеет хотя бы один вещественный корень.
Замечание. Последнее утверждение можно было бы доказать и
непосредственно — без использования основной теоремы алгеб-
ры. Достаточно доказать, что при положительном старшем ко-
эффициенте f (x) (как функция от x ∈ R) имеет положительный
знак при достаточно больших положительных x и отрицательный
знак при достаточно больших отрицательных x. После этого
использовать непрерывность f (x).
Л е к ц и я 18
a xα1 1 −α2 (x1 x2 )α2 −α3 . . . (x1 . . . xn−1 )αn−1 −αn (x1 . . . xn−1 xn )αn =
= a xα1 1 . . . xαnn . (2)
1)
На практике для этой цели все же используются другие методы — с более
быстрой сходимостью.
Л е к ц и я 19
1)
Подробным изучением алгебраических многообразий занимается алгеб-
раическая геометрия.
19.3. Поворот декартовой системы координат 171
−1
cos ϕ − sin ϕ cos ϕ sin ϕ
= ⇒
sin ϕ cos ϕ − sin ϕ cos ϕ
x cos ϕ sin ϕ x
⇒ = .
y − sin ϕ cos ϕ y
В новых координатах квадратичная часть f2 (x, y) принимает
вид
cos ϕ sin ϕ a11 a12 cos ϕ − sin ϕ
x
x y]
f2 = [ .
− sin ϕ cos ϕ a12 a22 sin ϕ cos ϕ y
= Q AQ,
Матрица в скобках есть произведение трех матриц: A
причем A — симметричная матрица: A = A. Отсюда
= (Q AQ) = Q A (Q ) = Q AQ = A.
A
Значит, A = [
aij ] остается симметричной матрицей.
Попытаемся выбрать угол ϕ так, чтобы матрица A приобрела
диагональный вид:
cos ϕ sin ϕ a11 a12 cos ϕ − sin ϕ λ1 0
= .
− sin ϕ cos ϕ a12 a22 sin ϕ cos ϕ 0 λ2
(∗)
Таким образом, требуется занулить элемент
a12 =
a21 = (cos2 ϕ − sin2 ϕ) a12 − sin ϕ cos ϕ (a11 − a22 ) =
a11 − a22
= cos(2ϕ) a12 − sin(2ϕ) = 0.
2
Если a12 = 0, то можно взять ϕ = 0. Если a12 = 0, то надо
решить уравнение
a − a22
ctg (2ϕ) = 11 .
2a12
Очевидно, что решение существует. Поэтому всегда найдется ϕ
такое, что имеет место равенство (∗). Кроме того, при любом
выборе ϕ получаем
λ1 = cos2 ϕ a11 + 2 cos ϕ sin ϕ a12 + sin2 ϕ a22 ,
λ2 = sin2 ϕ a11 − 2 cos ϕ sin ϕ a12 + cos2 ϕ a22 .
Отсюда λ1 + λ2 = a11 + a22 . В то же время, используя равенство
(∗) и тот факт, что определитель произведения матриц равен
19.4. Сдвиг декартовой системы координат 173
19.5. Эллипс
Пусть в некоторой декартовой системе координат уравнение
f (x, y) = 0 имеет вид (1), где λ1 и λ2 — ненулевые числа
одинакового знака. Уберем штрихи и рассмотрим новую систему
в качестве исходной.
Не ограничивая общности, можно считать, что 0 < λ1 λ2
(если оба числа отрицательны, то можно поменять знак в обе-
их частях уравнения; если λ1 > λ2 , то можно поменять их
местами с помощью поворота на угол π/2). Если при этом
c > 0, то изучаемое множество пусто. Если c = 0, в нем толь-
! точка (0,!
ко одна 0). Предположим, что c < 0. Тогда, положив
a = −c/λ1 , b = −c/λ2 , уравнение (1) можно записать в виде
x2 y2
2
+ 2 = 1, a b > 0. (1 )
a b
Определение 1. Множество точек (x, y), удовлетворяющих
уравнению (1 ), называется эллипсом с полуосями a и b.
√
Точки F− = (−c, 0) и F+ = (c, 0), где c = a2 − b2 0,
называются отрицательным и положительным фокусами эллип-
са соответственно. Число e = c/a называется эксцентрисите-
том эллипса. Заметим, что 0 e < 1. Прямые l− : x = −a/e
и l+ : x = a/e называются отрицательной и положительной ди-
ректрисами эллипса.
Пусть точка M = (x, y) удовлетворяет уравнению (1 ). Най-
дем сумму расстояний от нее до фокусов:
% %
|M F− | + |M F+ | = (x + c)2 + y 2 + (x − c)2 + y 2 =
%
= x2 (1 − b2 /a2 ) + 2xc + b2 + c2 +
%
+ x2 (1 − b2 /a2 ) − 2xc + b2 + c2 .
Заметим, что 1 − b2 /a2 = e2 и b2 + c2 = (c/e)2 = a2 . Кроме того,
|ex| a. Поэтому
%
|M F− | + |M F+ | = (ex)2 + 2(ex)(c/e) + (c/e)2 +
%
+ (ex)2 − 2(ex)(c/e) + (c/e)2
= |a + ex| + |a − ex| = (a + ex) + (a − ex) = 2a.
176 Лекция 19
|M F+ |
|M F+ | = |a − ex| = e|x − (a/e)| ⇒ = e.
|x − (a/e)|
19.6. Гипербола
По-прежнему, пусть в декартовой системе координат урав-
нение f (x, y) = 0 принимает вид (1), но λ1 и λ2 имеют разные
знаки. Если при этом свободный член оказался равен нулю,
то получаем пару прямых, проходящих через начало координат.
Предположим, что свободный член отличен от нуля. Ясно, что
в этом случае уравнение можно записать в виде
x2 y2
− = 1, (1 )
a2 b2
где a, b — некоторые положительные числа (возможно, для этого
потребуется дополнительно повернуть систему координат на угол
π/2).
Определение 1. Множество точек (x, y), удовлетворяющих
уравнению (1 ), называется гиперболой с полуосями a и b.
Легко видеть, что точки (x, y) гиперболы (1 ) находятся в
объединении двух непересекающихся областей плоскости (как
говорят, распадаются на две ветви):
D+ = {(x, y) : x a, |y| (b/a)|x|},
D− = {(x, y) : x −a, |y| (b/a)|x|}.
Прямые h+ : y = (b/a)x и h− : y = −(b/a)x называются асимп-
тотами гиперболы.
1 & '
1)
Функция z → z + z −1 называется функцией Жуковского и широко
2
применяется при решении задач гидро- и аэродинамики.
178 Лекция 19
1 1
ch (ϕ) = (eϕ + e−ϕ ), sh (ϕ) = (eϕ − e−ϕ ).
2 2
19.7. Парабола
Пусть уравнение f (x, y) имеет вид (2). Можно считать, что
λ2 > 0 и b < 0 (этого всегда можно добиться умножением уравне-
ния на (−1) и дополнительным поворотом системы координат на
угол π ). Уберем штрихи, рассматривая новую систему в качестве
исходной. Положив p = −b/λ2 , получаем уравнение
y 2 = 2px, p > 0. (2 )
Определение 1. Множество точек (x, y), удовлетворяющих
уравнению (2 ), называется параболой с фокальным парамет-
ром p.
Точка F = (p/2, 0) называется фокусом параболы (2 ). Пря-
мая l : x = −p/2 называется директрисой параболы (2 ).
Пусть M = (x, y) — произвольная точка параболы. Расстоя-
ние от нее до фокуса имеет вид
180 Лекция 19
% %
|M F | = (x − p/2)2 + y 2 = x2 − px + (p/2)2 + 2px =
%
= x2 + 2x(p/2) + (p/2)2 = |x + p/2|.
Итак, расстояние от любой точки параболы до фокуса |F |
равно расстоянию от этой точки до директрисы l.
Определение 2. Множество тех и только тех точек, для ко-
торых расстояние до заданной точки F равно расстоянию до
заданной прямой l, называется параболой.
Пусть расстояние от заданной точки до заданной пря-
мой равно p. Выберем систему координат таким образом, что
F = (p/2, 0) и l : x = −p/2. Если |M F | = |x + p/2|, то, возводя
это равенство в квадрат, получаем (2 ). Таким образом, опреде-
ления 1 и 2 действительно эквивалентны.
Задача 1. Написать общее уравнение прямой, проходящей через
точку M (x0 , y0 ) параболы y 2 = 2px и имеющей с ней единственную
общую точку (такая прямая называется касательной к параболе).
Доказать, что прямая, ортогональная данной прямой и проходящая
через точку M , делит пополам угол между прямой F M , где точка F —
фокус параболы, и прямой, параллельной оси x и проходящей через
точку M .
Задача 2. Докажите, что геометрическое место точек пересечения
взаимно ортогональных касательных к параболе совпадает с ее дирек-
трисой.
Задача 3. Отрезок, соединяющий две точки кривой, называет-
ся ее хордой. Докажите, что для эллипса, гиперболы или параболы
середины всех хорд, параллельных произвольной заданной хорде, рас-
положены на одной прямой.
Задача 4. Кривая S — это эллипс, одна из ветвей гиперболы
или парабола, E — произвольная фиксированная точка на S . Для
произвольных точек A и B на S прямая l(A, B) определяется как
прямая AB в случае A = B и как касательная в точке A в случае
A = B . Докажите, что прямая, проведенная через точку E параллельно
l(A, B), имеет с S не более одной общей точки C , помимо E . Пусть
C = E , если общая точка только одна. Таким образом, любой паре
точек A, B ставится в соответствие точка C — назовем ее суммой
точек A и B . Докажите, что множество S относительно этой операции
является абелевой группой.
Л е к ц и я 20
и заметим, что
p11 p21 p31 p11 p12 p13
p12 p22 p32 p21 p22 p23 =
p13 p23 p33 p31 p32 p33
e1 , e1 ) (
( e1 , e2 ) (
e1 , e3 ) 1 0 0
= ( e2 , e1 ) (
e2 , e2 ) (
e2 , e3 ) = 0 1 0 .
e3 , e1 ) (
( e3 , e2 ) (
e3 , e3 ) 0 0 1
Таким образом, матрица перехода P для базисов двух декарто-
вых систем координат удовлетворяет матричному равенству
P P = I. (∗)
Ясно и то, что если матрица перехода обладает свойством (∗), то
декартова система переходит в декартову.
Определение. Квадратная вещественная матрица P , удовлетво-
ряющая равенству (∗), называется ортогональной.
Ортогональные матрицы порядка 2 осуществляют переход
между базисами декартовых систем на плоскости. Таковы,
в частности, матрицы перехода, реализующие поворот (см. лек-
цию 19).
Данное нами определение применимо и для матриц, порядок
которых больше 3. Согласно (∗) для ортогональных матриц про-
извольного порядка обращение сводится к транспонированию:
P −1 = P .
Кроме того, произведение двух ортогональных матриц
остается ортогональной матрицей: если P P = Q Q = I ,
то (P Q) (P Q) = Q (P P )Q = Q I Q = Q Q = I . Очевидно,
что единичная матрица I является ортогональной матрицей.
Следовательно, множество всех ортогональных матриц
фиксированного порядка относительно операции умножения
матриц образует группу.
Утверждение. Пусть y = P x, где P — произвольная орто-
гональная матрица порядка n и x ∈ Rn×1 . Тогда сумма квад-
ратов элементов матрицы-столбца y равна сумме квадратов
элементов матрицы-столбца x.
Доказательство.
y12 + . . . + yn2 = y y = (P x) (P x) =
= x (P P ) x = x x = x21 + . . . + x2n .
Следствие. Пусть B = P AQ, где P , Q — произвольные ор-
тогональные матрицы порядка n и A — произвольная веще-
20.3. Метод вращений 183
ность. Пусть
(k)
lim pij = pij , i, j = 1, 2, 3.
k→∞
При каждом k выполняется равенство (#). Переходя к пределу
в соответствующих поэлементных равенствах, получаем
λ1 0 0
Λ ≡ 0 λ2 0 = P A0 P.
0 0 λ3
Кроме того, для каждого k имеем: Pk Pk = I ⇒ P P = I . В итоге
доказана следующая важная
Теорема. Для любой вещественной симметричной матрицы A
порядка 3 существуют ортогональная матрица P и диаго-
нальная матрица Λ такие, что
Λ = P AP.
(k) (k)
Для любых фиксированных i, j последовательности aij , pij
являются ограниченными. По лемме об ограниченных последо-
вательностях существует последовательность номеров k1 <k2 < . . .
(k ) (k )
такая, что каждая из подпоследовательностей aij l , pij l будет
(k )
сходящейся. Заметим, что aij l → 0 при i = j . Пусть
(k ) (k )
lim aii l = λi , i = 1, . . . , n, lim pij l = pij , i, j = 1, . . . , n.
l→∞ l→∞
Введем матрицы
⎡ ⎤
λ1
Λ=⎣ ..
. ⎦, P = [pij ].
λn
Для всех l = 1, 2, . . . имеем: Akl = Pkl APkl . Переходя к пределу
в поэлементных равенствах, получаем
Λ = P AP.
Из условий ортогональности Pkl Pkl = I вытекает, что в пределе
P P = I . Значит, матрица P является ортогональной.
Мы только что получили один из важнейших результатов —
как для самой теории матриц, так и для ее многочисленных при-
ложений. В нашем курсе мы еще вернемся к его обсуждению в
связи с рядом фундаментальных понятий линейной алгебры. На-
ше доказательство замечательно своей конструктивностью: оно
дает одновременно и метод приближенного вычисления матриц Λ
и P . Это один из ранних практических методов вычислительной
алгебры, предложенный К. Якоби в 1846 г. . 1)
Задача 1. Дана симметричная матрица A ∈ Rn×n с ненулевой
суммой элементов главной диагонали. Доказать существование ортого-
нальной матрицы Q ∈ Rn×n такой, что в матрице Q AQ все элементы
главной диагонали одинаковы.
1)
Последние результаты по изучению метода вращений принадлежат со-
всем недавнему прошлому: в 1990-х годах были обнаружены его особые воз-
можности, связанные с высокоточным вычислением малых по модулю элемен-
тов матрицы Λ.
Л е к ц и я 21
1) λ1 x2 + λ2 y 2 + λ3 z 2 + c = 0,
2) λ1 x2 + λ2 y 2 + 2bz = 0,
3) λ1 x2 + λ2 y 2 + c = 0,
4) λ1 x2 + 2by = 0,
5) λ1 x2 + c = 0.
21.2. Эллипсоид
Пусть в приведенном уравнении типа (1) коэффициенты
λ1 , λ2 , λ3 имеют одинаковый знак, противоположный знаку
свободного члена c. Тогда уравнение приводится к виду
x2 y2 z2
2
+ 2 + 2 = 1, a, b, c > 0.
a b c
Множество точек (x, y , z), удовлетворяющих этому уравнению,
называется эллипсоидом с полуосями a, b, c.
Заметим, что эллипсоид целиком содержится в параллелепи-
педе
|x| a, |y| b, |z| c.
Доказательство. Пусть
n 1/p n 1/q
a= |xi |p , b= |yi |q .
i=1 i=1
В случае a = 0 или b = 0 неравенство очевидно. Если a = 0
и b = 0, то, используя лемму для чисел |xi |/a и |yi |/b, находим
|xi |p /ap |y |q /bq
(|xi |/a) (|yi |/b) + i , i = 1, . . . , n.
p q
Складывая эти неравенства, получаем
n
1 1
|xi yi | /(ab) + = 1.
p q
i=1
Неравенство Минковского. Пусть p 1, x1 , . . . , xn и y1 , . . .
. . . , yn — произвольные комплексные числа. Тогда
n 1/p n 1/p n 1/p
|xi + yi | p
|xi | p
+ |yi | p
.
i=1 i=1 i=1
Доказательство. При p = 1 неравенство проверяется очевид-
ным образом. В случае p > 1 имеем
198 Лекция 22
n
n
n
|xi + yi |
p
|xi + yi | p−1
|xi + yi | |xi | |xi + yi |p−1 +
i=1 i=1 i=1
n
+ |yi | |xi + yi |p−1 .
i=1
n
|xi + yi |p
i=1
⎛ 1/p n 1/p ⎞ n 1/q
n
⎝ |xi | p
+ |yi | p ⎠ |xi + yi | (p− 1)q
.
i=1 i=1 i=1
в себе.
2)
В честь польского математика, профессора Львовского университета Сте-
фана Банаха (1892–1945).
Л е к ц и я 23
1)
В частности, многочлен pn−1 (x) для функции f (x) = xn ∈ C[−1, 1] имеет
вид pn−1 (x) = xn − 21−n cos(n arccos x), −1 x 1.
2)
Говорят, что многочлены Tn (x) наименее уклоняются от нуля (среди
всех многочленов той же степени и с тем же старшим коэффициентом).
Многочлены Tn (x) называются многочленами Чебышёва.
Л е к ц и я 24
|h| = |x − z0 | < |x − z| ∀ z ∈ L, z = z0 .
1)
Проверьте, что оно выполняется, например, если скалярное произведение
1
задано формулой (f , g) = f (x)g(x)dx. В этом случае полученные ортого-
−1
нальные многочлены называются многочленами Лежандра.
224 Лекция 25
2 k n, ak , bk , ck ∈ R.
8 Е. Е. Тыртышников
226 Лекция 25
aj = 0 при j < i1 ;
aj ∈ L(ai1 , . . . , ail ) при il < j < il+1 , l = 1, . . . , r − 1;
aj ∈ L(ai1 , . . . , air ) при ir < j.
Найдем QR-разложение:
8*
Л е к ц и я 26
1)
Значит, P = C или P = R.
26.2. Сопряженное пространство 229
1)
Другое доказательство, справедливое для замкнутых выпуклых мно-
жеств в произвольных (в том числе, бесконечномерных) гильбертовых про-
странствах (т. е. полных пространствах со скалярным произведением), фак-
тически содержится в доказательстве обобщения теоремы о перпендикуляре
в дополнении к лекции 25 (п. D25.2).
2)
Выпуклое множество, имеющее хотя бы одну внутреннюю точку, назы-
вается выпуклым телом.
234 Лекция 26
(u, h) c (v , h) ∀ u ∈ L, ∀ v ∈ M.
1)
В этом случае доказательство требует особой техники, связанной с во-
просами продолжения линейных функционалов и теоремами Хана–Банаха.
26.6. Опорные гиперплоскости 235
α1 a1 + . . . + αm am = 0, α1 c1 + . . . + αm cm = −1.
Л е к ц и я 27
1)
Это свойство можно также рассматривать как свойство сохранения опе-
раций при отображении одного линейного пространства в другое пространство
над тем же полем. Такие отображения называются гомоморфизмами.
27.3. Операторная норма 237
Утверждение 2. Величина
||A|| ≡ sup ||Ax||W , A ∈ L(V , W ), (∗)
||x||V =1
является нормой на линейном пространстве L(V , W ).
Доказательство. Очевидно, что величина ||A|| имеет конеч-
ное значение и, конечно, неотрицательна. Если ||A|| = 0, то
||Ax||W = 0 на единичной сфере ||x||V = 1. Отсюда ||Ax||W = 0
238 Лекция 27
∀ x ∈ V ⇒ Ax = 0 ∀ x ∈ V ⇒ A = 0. Положительная
однородность следует из равенства
||αAx||W = |α| ||Ax||W ,
а неравенство треугольника — из неравенства
||(αA + βB)x||W |α| ||Ax||W + |β| ||Bx||W .
Определение. Норма (∗) для операторов A ∈ L(V , W ) называ-
ется операторной нормой или нормой, подчиненной векторным
нормам || · ||V , || · ||W .
1 1
A : f (t) → f (t) − a(t, τ )f (τ )dτ , A : f (τ ) → f (τ ) − f (t)a(t, τ )dt
0 0
−1
p11 p12 0 1 p11 p12 λ1 0
= ⇒
p21 p22 0 0 p21 p22 0 λ2
0 1 p11 p12 p p12 λ1 0
⇒ 0 0 p p = p11 p22 0 λ2
.
21 22 21
Отсюда
p21 p22 p11 λ1 p12 λ2
= .
0 0 p21 λ1 p22 λ2
Хотя бы одно из чисел λ1 , λ2 должно отличаться от нуля. Пусть
для определенности λ1 = 0 ⇒ p21 = 0 ⇒ p11 = 0. Получаем
противоречие, поскольку матрица с нулевым столбцом не может
быть обратимой.
0 1
.
A= .. .
1 0 n×n
⎡ ⎤
⎡ ⎤ 1 0 0 0 ⎡ ⎤
b11 b12 b13 b14 c11 c12 c13 c14
⎢0 1 0 0⎥
⎢b21 b22 b23 b24 ⎥ ⎢ a31 ⎥ ⎢c21 c22 c23 c24 ⎥
⎣0 b34 ⎦ ⎢ 1 0⎥ = ⎣ 0 c34 ⎦
0 .
b32 b33 ⎣ a21 ⎦ c32 c33
0 b42 b43 b44 0 a41 0 1 0 c42 c43 c44
a21
= a0 + a1 λ + a2 λ2 + a3 λ3 + λ4 .
1)
Ниоткуда, впрочем, не следует, что собственный вектор матрицы B
автоматически соответствует какому-то собственному вектору матрицы A.
2)
Недавно было доказано, что то же верно для любой комплексной матрицы
порядка 4 (V. Pati, 2001) и что существуют матрицы порядка 5, которые не
приводятся к трехдиагональному виду преобразованием подобия с помощью
унитарной матрицы.
Л е к ц и я 31
1)
Многочлен от матрицы A имеет скалярные коэффициенты. Термин мат-
ричный многочлен обычно используется для обозначения многочлена от λ,
коэффициенты которого являются матрицами.
31.2. Корневые пространства 271
где либо R(λ) = 0, либо deg R k − 1. Ясно также, что F (A) = R(A).
Остается заметить, что в силу (∗) матричный многочлен F (λ) = f (λ)I
делится нацело на λI − A, поэтому F (A) = 0 ⇒ f (A) = 0.
Л е к ц и я 32
Av 1 = λv 1 , Av j = λv j + v j−1 , 2 j k ,
где
⎡ ⎤
a b 1 0 0
⎢ −b a 0 1 ⎥
⎢ ⎥
⎢ a b 1 0 ⎥
⎢ −b a ⎥
⎢ 0 1 ⎥
⎢ .. .. ⎥
⎢ . . ⎥
M2k = ⎢⎢ . .
⎥ ∈ R(2k)×(2k) . (∗)
⎥
⎢ .. .. ⎥
⎢ ⎥
⎢ a b 1 0⎥
⎢ ⎥
⎢ −b a 0 1 ⎥
⎣ a b⎦
0 −b a
Таким образом, линейная оболочка L(x1 , y1 , . . . , xk , yk ) ⊂ Rn
является инвариантным подпространством размерности 2k , со-
ответствующим паре жордановых клеток порядка k для λ и λ.
Из сказанного вытекает
Теорема. Любая матрица A ∈ Rn×n с помощью веществен-
ного преобразования подобия приводится к прямой сумме
вещественных жордановых блоков и вещественных блоков
вида (∗).
собственные значения
можно
искать по отдельности для блоков
−1 1 1 1
A1 = и A2 = . Матрица A имеет собственные зна-
−1 1 1 1
чения λ = 2 кратности 1 и λ = 0 кратности 3.
Собственный вектор для λ = 2 есть нетривиальное решение
системы (A − 2 · I)x = 0. Ранг матрицы коэффициентов равен 3,
поэтому фундаментальная система решений состоит из одного
вектора. Собственные векторы для λ = 0 — это нетривиальные
решения системы (A − 0 · I)x = 0. В данном случае ранг матрицы
коэффициентов равен 2, поэтому в фундаментальной системе
2 вектора ⇒ имеется система ровно из двух линейно незави-
симых собственных векторов для λ = 0. Таким образом, базиса
284 Лекция 32
Окончательно,
⎡ ⎤
0 1
⎢ 0 ⎥
J =⎣ 0 1⎦
, X = [Bx, x, By , y].
0
Обратим внимание на то, что жорданова форма J и матри-
ца X жорданова базиса должны соответствовать друг дру-
гу: AX = XJ . Это значит, что даже из правильно найденных
векторов имеется возможность составить неправильную матри-
цу X (за счет неверной их нумерации).
a b
A[x, y] = [x, y] −b a . (∗)
1)
Минус — дань сложившейся традиции определения прямого и обратного
преобразований Фурье: минус — для прямого, плюс — для обратного.
34.2. Циркулянтные матрицы 295
1
n− 1
n− 1
n−
k
(Fn∗ Fn )ij = ki kj
ε ε = ε k(j−i)
= ε (j−i)
=
k=0 k=0 k=0
ε(j−i)n − 1
= = 0, i = j ,
εj−i − 1
n, i = j.
дим
λ · 1 = a0 + ξ a1 + . . . + ξ n−1 an−1 ,
λ · ξ = an−1 + ξ a0 + . . . + ξ n−1 an−2 ,
λ · ξ 2 = an−2 + ξ an−1 + . . . + ξ n−1 an−3 ,
........................................
λ · ξ n−1 = a1 + ξ a2 + . . . + ξ n−1 a0 .
Следовательно,
ΛFn = Fn A,