Академический Документы
Профессиональный Документы
Культура Документы
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,
Заметим, что
где ⎡ ⎤
1
⎢ ε1 ⎥
Dm = ⎢
⎣ .. ⎥.
⎦
.
εm−1
Следовательно,
Fm 0 Im 0 Im I m
Fn = P n , m = n/2.
0 Fm 0 Dm Im −Im
1)
Начало «переворота» отсчитывается с 1965 года — с выхода в свет
знаменитой работы американцев Кули и Тьюки. Впоследствии было выяснено,
что быстрые алгоритмы были описаны Рунге еще в начале XX века; более
того, Г. Стрэнг утверждает, что обнаружил их прототипы еще у Гаусса.
34.5. Быстрое преобразование Фурье 301
A∗ = U Σ V ∗ .
Cn = ker A ⊕ im A∗ , Cm = ker A∗ ⊕ im A.
r
r
5) A = σk vk u∗k , A∗ = σk uk vk∗ .
k=1 k=1
6) Если m = n = r (матрица A невырожденная), то
n
n
1
A= σk vk u∗k , A−1 = uk vk∗ .
σk
k=1 k=1
36.2. Конгруэнтность
Замена переменных x = P y с помощью невырожденной мат-
рицы P делает f квадратичной формой от новых переменных:
f = x Ax = (P y) A(P y) = y (P AP )y.
Матрицы A и B , связанные равенством B = P AP для неко-
торой невырожденной матрицы P , называются конгруэнтными.
Легко видеть, что отношение конгруэнтности есть отношение
эквивалентности на множестве матриц фиксированного порядка.
Квадратичные формы от трех переменных нам уже встреча-
лись при изучении поверхностей второго порядка. В этом случае
переменные были вещественными координатами, а матрица A —
вещественной симметричной матрицей. Тогда нас особенно инте-
ресовали декартовы системы координат — поэтому требовалось,
чтобы матрица P была ортогональной. Как следствие, переход от
A к B в данном случае является одновременно преобразованием
конгруэнтности и подобия.
n
1)
Напомним, что ||A||∞ = max |aij |.
1 i m j=1
312 Лекция 36
1)
В вычислительной алгебре разложение такого вида называют разложе-
нием Холецкого.
36.8. Метод квадратного корня 317
В итоге получаем
a11 a12 a13 1 0 0 a11 a12 a13
a21 a22 a23 = l21 1 0 0 b22 b23 .
a31 a32 a33 l31 l32 1 0 0 c33
11 Е. Е. Тыртышников
322 Лекция 37
1)
Данное утверждение известно как сигнатурное правило Якоби.
326 Лекция 37
использовать формулу
Φ(u) = (f , z)W .
aij = (Avj , wi ), 1 i m, 1 j n.
n
m
x= xj vj , y = yi wi ⇒
j=1 i=1
n
m
⇒ (Ax, y)W = aij xj y i = (x, A∗ y)V ,
j=1 i=1
1)
Глубокие результаты по применению сопряженных уравнений, во многом
навеянные данной общей идеей, получил академик Гурий Иванович Марчук —
последний президент Академии наук СССР.
330 Лекция 38
20
∂F ∂F
= (x − i) + 19 t x19 ⇒ = 19!.
∂x ∂x x,t=0
j=1 1 i 20
i = j
∂F
Ясно также, что = 2019 . Следовательно, при условии x(0) = 20
∂t x
находим
dx 2019
=− ≈ −4.3 · 107 .
dt t=0 19!
39.4. Преобразования отражения и вращения 339
1)
Описание и развитие данной точки зрения можно найти в книге: Го-
дунов С.К. Современные аспекты линейной алгебры. Новосибирск: Научная
книга, 1997.
340 Лекция 39
a0n
Рассмотрим следующий бесконечный процесс исключения элемен-
тов, начинающийся с вещественной двухдиагональной матрицы A0
и использующий вещественные матрицы вращения. Последовательно
исключая наддиагональные элементы b01 , . . . , b0n−1 с помощью умноже-
ния на матрицы вращения справа, преобразуем A0 в нижнюю двухдиа-
гональную матрицу
⎡ 1 ⎤
a1
⎢ b1 a1 ⎥
⎢ 1 2 ⎥
⎢ ⎥
A1 = ⎢ b12 . . . ⎥.
⎢ ⎥
⎣ 1
. . . an−1 ⎦
1 1
bn−1 an
Далее будем последовательно исключать поддиагональные элементы,
умножая на матрицы вращения слева, и вновь будем иметь верхнюю
двухдиагональную матрицу A2 . Затем из A2 умножениями справа
получим нижнюю двухдиагональную матрицу A3 и т. д.
39.8. Вычисление сингулярных чисел 343
A = AP DA , = BP DB ,
B = CP DC ,
C (∗)
P — матрица перестановки, DA , DB , DC — диагональные матри-
цы такие, что DA DB DC = I . Трилинейные разложения (A, B , C)
и (A , C)
, B , связанные соотношениями (∗), называются эквива-
лентными.
40.7. Единственность с точностью до эквивалентности 349
1)
Условия доказанной нами теоремы единственности в данном случае не
выполнены. Поэтому можно найти и другое, неэквивалентное данному, разло-
жение.
12 Е. Е. Тыртышников
Дополнение к лекции 1
Отсюда
zn = Az0 , A = An (An−1 (· · · (A3 (A2 A1 )) · · · ).
Чтобы определить произведение матриц An An−1 · · · A1 , нужно
свести его к вычислению произведений двух матриц. Это дела-
ется расстановкой скобок. Используя ассоциативность операции
умножения матриц, можно доказать, что результат не будет
зависеть от порядка расстановки скобок; поэтому можно писать
без скобок:
A = An An−1 · · · A1 .
Чтобы найти zn (а значит, и xn ), сначала вычислим матри-
цу A. Для этого можно использовать ту же схему сдваивания:
находим произведения
An An−1 , An−2 An−3 , . . . , A2 A1 ,
затем попарные произведения полученных результатов и т. д.
Потребуется всего лишь O(log2 n) параллельных шагов!
12*
356 Дополнение к лекции 1
e = (i1 j1 ) · . . . · (ip jp ),
= Σ1 (B) + Σ2 (B),
где Σ1 содержит члены, для которых I = I, а Σ2 — члены, для
которых I = I.
D 5.2. Определители с нулевыми членами 365
Таким образом,
−1 −1
−1 A11 −A11 A12 W −1 I 0
A = −1 . (∗)
0 W −1 −A21 A11 I
Отсюда
(tαi + (1 − t)βi )(vi − vj ) = 0 ⇒
1 i n, i = j
⇒ tαi + (1 − t)βi = 0 ⇒ αi = βi = 0.
Итак, x = y , а мы исходили из того, что x = y .
Пусть теперь x ∈ M — произвольная точка симплекса, отлич-
k
ная от его вершин. Это значит, что x = ti vi и 0 < tj < 1 хотя
i=0
бы для одного j . Не ограничивая общности, предположим, что
k
0 < t0 < 1. Тогда x = t0 v0 + (1 − t0 )w, где w = (ti /(1 − t0 ))vi ∈
i=1
∈ M.
В действительности для широкого класса выпуклых мно-
жеств доказывается, что любая точка в них является выпуклой
комбинацией конечного числа угловых точек. 1)
1)
Это тот самый Кардано, который известен автомобилистам как изобре-
татель способа передачи вращения с одного вала на другой. Данная формула
опубликована им в XVI веке, но известно, что она была открыта другими
итальянскими математиками. Ученики Кардано нашли также способ решения
уравнений 4-й степени.
378 Дополнение к лекции 14
D 16.2. Результант
Пусть даны многочлены
f (x) = a0 + ... + am xm = am (x − α1 ) · . . . · (x − αm ), am = 0,
g(x) = b0 + ... + bn xn = bn (x − β1 ) · . . . · (x − βn ), bn = 0.
380 Дополнение к лекции 16
$
m $
n
Утверждение. det R(f , g) = (am )n (bn )m (βj − αi ).
i=1 j=1
Доказательство. Ограничимся случаем, когда корни каждого из мно-
гочленов попарно различны. Пусть V (x1 , . . . , xk ) обозначает матрицу
Вандермонда порядка k для чисел x1 , . . . , xk . Взяв W = V (α1 , . . .
. . . , αm , β1 , . . . , βn ), находим
0 W1 D1
R(f , g) W = Wn×m ,
2 D2 0m×n
где
W1 = V (β1 , . . . , βn ), D1 = diag{f (β1 ), . . . , f (βn )},
m
n
det R(f , g) (αk − αi ) (βj − αi ) (βl − βj ) =
1i<km i=1 j=1 1j<ln
= (−1)mn (am )n (bn )m (αk − αi ) (βl − βj ) ×
1i<km 1j<ln
m
n m
n
× (βj − αi ) (αi − βj ).
i=1 j=1 i=1 j=1
D 16.3. Построения циркулем и линейкой 381
1)
Вообще, можно доказать, что многочлен с целочисленными коэффициен-
тами разложим над Q тогда и только тогда, когда он разложим в произведение
двух многочленов с целочисленными коэффициентами. Это можно вывести из
следующей леммы.
D 16.5. Круговые многочлены простой степени 385
13 Е. Е. Тыртышников
386 Дополнение к лекции 16
f (x) = 1 + x + . . . + xn−1
1)
Однако специалисты по истории вопроса говорят, что доказательство
необходимости в рукописях Гаусса не было обнаружено.
2)
В более общем случае, когда Φ(F ) принадлежит другому полю, отобра-
жение Φ со свойством сохранения операций называется гомоморфизмом.
13*
388 Дополнение к лекции 16
n−2 n−1
ε → εm → εm → εm → . . . εm → εm
2 3
= ε.
ϑ = α1 + cβ1 , c = 0, c ∈ K,
f (x) = a(x − z1 ) · . . . · (x − zn ), a ∈ P, z1 , . . . , zn ∈ F.
Дополнение к л е к ц и и 18
Fc (x) = (x − xcij ), xcij = c xi xj + xi + xj .
1i<jn
1)
Можно доказать, что от цепочки радикальных расширений вида (∗),
дающей некоторое поле L , всегда можно перейти к такой цепочке радикальных
расширений, которая дает в итоге поле, содержащее L и нормальное над K .
Для первого знакомства с данным кругом идей можно полагать, для простоты,
= L.
что изучается случай L
400 Дополнение к лекции 18
Заметим, что все корни R(x) простые. Если поле L нормально над K ,
то все они принадлежат L. Пусть ζ — любой корень R(x). Тогда
отображение α0 + α1 ϑ + . . . + αm−1 ϑm−1 → α0 + α1 ζ + . . . + αm−1 ζ m−1
является автоморфизмом L над K . Значит, число автоморфизмов равно
степени расширения.
В любом случае число автоморфизмов не больше числа различных
корней R(x), принадлежащих полю L. Если все m корней R(x) при-
надлежат L, то L — поле разложения для R(x) и поэтому является
нормальным над K .
1)
Отсюда, в частности, вытекает конечность числа промежуточных полей.
402 Дополнение к лекции 18
1)
Такие группы называются примарными.
D 18.9. Группы при построении правильных многоугольников 405
hi ah− −1 −1 −1
i = hj ahj ⇔ (hj hi )a = a(hj hi ).
1
hi ah− −1 −1
i = hj ahj ⇔ hj hi ∈ H(a) ⇔ hi H(a) = hj H(a).
1
Положим
xk+1 = (y − z0 )/γ.
Тогда ||xk+1 || = 1 и, кроме того,
1
min ||xk+1 − z|| = min ||(y − z0 )/γ − z/γ|| = min ||y − z|| = 1.
z∈Lk z∈Lk γ z∈Lk
Поскольку xi ∈ Lk при 1 i k , находим
||xk+1 − xi || inf ||xk+1 − z|| = 1.
z∈Lk
Таким образом, к системе векторов x1 , . . . , xk можно добавить
вектор xk+1 с сохранением соотношений вида (∗∗). Любая под-
последовательность последовательности векторов xk таких, что
||xi − xj || 1 при i = j , обладает тем же свойством и поэтому
не может быть фундаментальной.
1)
Функция такого вида называется функционалом Минковского.
414 Дополнение к лекции 23
1)
Такое покрытие называется ε-сетью.
Дополнение к л е к ц и и 25
1)
Например, при n 10 попробуйте применить процесс ортогонализации
к столбцам невырожденной (n × n)-матрицы с элементами aij = 1/(i + j).
D 25.2. Обобщение теоремы о перпендикуляре 417
|h| = |x − z0 | < |x − z| ∀z ∈ L, z = z0 .
14 Е. Е. Тыртышников
418 Дополнение к лекции 25
γ 2 |x − zn |2 γ 2 + 1/n.
В силу тождества параллелограмма
1 1
|x − zn |2 + |x − zm |2 = 2| (zm − zn )|2 + 2|x − (zn + zm )|2 ⇒
2 2
⇒ |zn − zm |2 2(1/n + 1/m).
γ 2 |x − z0 − ετ z|2 = |y − ετ z|2
|y|2 − 2ε|a| + ε2 |z|2 = γ 2 − 2ε|a| + ε2 |z|2 ⇒ |a| ε|z|2 /2.
1)
Метод описан в работе польского математика Качмажа, опубликованной
в 1937 г.
422 Дополнение к лекции 26
|f (x1 )| |f (x )|
||x1 || = sup n 1 = ||x1 ||.
f =0 ||f || ||fn ||
Отсюда ||x1 || = ||x1 ||. Остается заметить, что базис можно начинать
с любого вектора x1 = 0.
Возможность продолжения линейного ограниченного функционала
с сохранением нормы в достаточно общем случае — глубокий и не
очень простой результат. Он относится к совокупности фактов, которые
принято называть теоремами Хана–Банаха.
Теорема Хана–Банаха. Пусть V — нормированное пространство,
L — его подпространство, w ∈ /LиL = L + L(w). Тогда любой линей-
ный ограниченный функционал f : L → C на L можно продолжить
до линейного ограниченного функционала f : L → C на L таким
образом, что f (x) = f (x) ∀x ∈ L и при этом ||f || = ||f ||.
Доказательство. Пусть u ∈ L и α ∈ C. Тогда f(u + αw) = f (u) + αc,
где c = f(w). Таким образом, f определяется числом c. Будем считать,
что ||f || = 1. Ясно, что ||f|| 1 при любом выборе c. Поэтому нужно
найти такое c, чтобы |f (u) + αc| ||u + αw|| при всех u ∈ L и α ∈ C.
Рассмотрим сначала более простой случай, когда все пространства
и функционалы являются вещественными. 1) Все получается из вполне
элементарного наблюдения
1)
Независимо друг от друга Хан и Банах рассмотрели именно этот случай.
D 26.5. Дуальные нормы 425
Теперь уже ясно, что |f (u) + c| ||u + w|| для всех u ∈ L. Для любого
вещественного s = 0 находим: |f (u) + sc| = |s||f (u/s) + c| |s|||u/s +
+ w|| = ||u + sw||. То же верно, конечно, и для s = 0. Итак, веще-
ственный линейный функционал f (x) можно доопределить с помощью
равенства f(w) = c на более широком пространстве L таким образом,
что
|
g (x)| ||x|| ∀x ∈ L. (∗)
Функционал g(x) обладает свойством линейности лишь при умножении
на вещественные числа. Однако с его помощью можно определить
функционал
f(x) = g(x) − i ,
g (ix), x ∈ L
который, как можно убедиться, уже является комплексным линейным
функционалом на L его вещественная часть
. К тому же, при всех x ∈ L
re(f (x)) совпадает с g(x), а при всех x ∈ L имеем: f(x) = f (x).
Остается доказать, что |f(x)| ||x|| при всех x ∈ L . Пусть f(x) =
= |f (x)|ξ , где ξ ∈ C и, очевидно, |ξ| = 1. В силу вещественности числа
ξ f(x) получаем: f(ξx) = g(ξx). Согласно неравенству (∗) находим
|f(x)| = |f(ξx)| = |
g (ξx)| ||ξx|| = ||x||.
Дополнение к л е к ц и и 27
z = P −1 x.
Типична ситуация, когда в ходе вычислений вместо x возник
слабо возмущенный вектор x = x + δ . Тогда вместо z будет
получен вектор
z ≡ z + Δ = P −1 (x + δ) ⇒ Δ = P −1 δ.
Предположим, что x = 0 (тогда и z = 0). Используя спектраль-
ную норму, находим−1 −1
||Δ||2 = ||P||x||δ||2 ||P z||2 ||P ||x||
||2 ||δ||2
||P ||2 ||z||2 ⇒
||Δ||2 ||δ||2
2 2
1)
Простое доказательство (все же требующее техники, которую мы еще не
успели развить) можно найти в статье: Tyrtyshnikov E.E. How bad are Hankel
matrices? // Numer. Math., 1994, № 67. P. 261–269.
428 Дополнение к лекции 27
1
(f , g) = f (x)g(x) dx, f , g ∈ Pn .
−1
D 34.1. Свертки
Пусть циркулянтная матрица A определяется первым столб-
цом a. Вектор y = Ax называется периодической сверткой век-
торов a и x. Обозначение: y = a ∗ x.
Задача 1. Докажите, что a ∗ x = x ∗ a.
Согласно теореме о циркулянтах (см. п. 34.2) вычисление
периодической свертки векторов из Cn (умножение на цирку-
лянтную матрицу) сводится к трем умножениям на матрицу
Фурье. Их можно выполнить с помощью алгоритма быстрого
преобразования Фурье за O(n log2 n) арифметических операций,
если n = 2L .
Решение линейных систем с циркулянтной матрицей осу-
ществляется с теми же затратами (докажите!).
Пусть теперь a = [a−n+1 , a−n+2 , . . . , a0 , a1 , . . . , an−1 ] ∈
∈ C2n−1 и x ∈ Cn . Под апериодической сверткой векторов a и x
понимается вектор y ⎡= Ax, где ⎤
a0 a−1 . . . a−n+1
⎢a a0 . . . a−n+2 ⎥
A=⎣ 1 ⎦.
... ... ... ...
an−1 an−2 . . . a0
Матрица A такого вида называется теплицевой матрицей. 1)
Заметим, что любой циркулянт является также теплицевой мат-
рицей.
Утверждение. Для любого n теплицева матрица порядка n
может быть умножена на вектор с затратой O(n log2 n)
операций.
Доказательство. Достаточно заметить, что теплицеву матри-
цу A порядка n можно «достроить»
до циркулянта
A C12
C=
C21 C22
1)
В честь немецкого математика Отто Тёплица.
D 34.2. Сложность преобразования Фурье 433
где
r
|f (u, v) − ϕs (u)ψ(s (v)| ε, u, v ∈ D.
s=1
Тогда A аппроксимируется матрицей Ar вида
r ϕ(u1 )
Ar = . . . [ψ(v1 ) . . . ψ(vn )] (∗)
s=1 ϕ(u n )
с поэлементной оценкой погрешности
|aij − (Ar )ij | ε, 1 i, j n.
При этом, очевидно, Ax ≈ Ar x, а умножение матрицы Ar на
вектор x требует, в силу (∗), всего лишь O(nr) арифметических
операций.
Как видим, число операций зависит от n линейно. Но важно
понимать также, каков характер зависимости r от ε. Это вопрос,
относящийся к теории приближения функций. Его полное изуче-
ние может потребовать весьма тонких средств анализа.
Однако какие-либо оценки (вообще говоря, завышенные) можно
получать и с помощью очень простых средств. Например, пусть k =
= 1 и D = [a, b] — отрезок вещественной прямой. Предположим, что
функция f (u, v) бесконечно дифференцируема как функция от v при
любом фиксированном u. Тогда при любом фиксированном u можно
разложить f (u, v) в ряд Тейлора в точке v = v0 = (a + b)/2:
r−1 s
∂ f (v − v0 )s
f (u, v) = s + Er (u, v),
∂v v=v0 s!
s=0
1)
Любопытный исторический факт: работа на эту тему опубликована
Дж. фон Нейманом в журнале Томского университета (J. von Neuman. Some
matrix-inequalities and methrization of matrix space // 1937, Tomsk Univ. Rev.
V. 1. P. 286–300).
Дополнение к л е к ц и и 36
Следовательно,
λi+l (A) λi (A + B) λi−k (A).
Часто бывает известно, что все собственные значения эрми-
товой матрицы A принадлежат некоторому отрезку [a, b]. По-
лученный результат означает, что при всех эрмитовых возму-
щениях F ранга r матрица A + F будет по-прежнему иметь
все собственные значения на отрезке [a, b], кроме, быть может,
r «аутсайдеров».
D B
Задача 1. Блоки эрмитовой матрицы A = B ∗ D таковы, что
D > 0 и rank B = 1. Докажите, что A не может иметь более одного
отрицательного собственного значения.
k
|λi |2 = | det B|2 = det(B ∗ B) =
i=1
k
k
k
∗ ∗
= λi (B B) λi (R R) = σi2 .
i=1 i=1 i=1
ln |λ1 | + . . . + ln |λk | ln σ1 + . . . + ln σk , 1 k n,
D 37.3. Мажоризация и неравенства 445
k k−1
k
k
= yj + 1− sij (yk − yj ) yj .
j=1 j=1 i=1 j=1
xn . . . x1 yk−1 . . . y1 .
l
l
Поэтому xi yi для всех 1 l k − 1. При k l n находим
i=2 i=2
l
k−1
l
zi = (ty1 + syk ) + yi + yi =
i=2 i=2 i=k+1
l
l l
= yi − (sy1 + tyk ) xi − x1 = xi .
i=1 i=1 i=2
1 0
T = 0 T
k
k
n
ϕ(xi ) sij ϕ(yj )
i=1 i=1 j=1
k−1
k k
sij ϕ(yj ) + 1 − sij ϕ(yk )
j=1 i=1 i=1
k k−1
k
k
ϕ(yj ) + 1− sij (ϕ(yk ) − ϕ(yj )) ϕ(yj ).
j=1 j=1 i=1 j=1
|λ1 | + . . . + |λk | σ1 + . . . + σk , 1 k n.
Дополнение к л е к ц и и 38
AQ = QΛ, Q = [q1 , . . . , qn ], Λ= .. .
.
0 λn
n
n
|ζi |2 ||rk ||22
−1
rk = ζi qi ⇒ ||A rk ||2A = ,
λi λ1
i=1 i=1
n
n
|Φk (λi )|2 |ξi |2
−1
r0 = ξi qi ⇒ ||A Φk (A)r0 ||2A =
λi
i=1 i=1
1
max |Φ (λ)|2 ||r0 ||22 .
λn λmin λλmax k
n + c zn
Ясно, что zn = c1 z(+) 2 (−) будет решением данного рекур-
рентного уравнения при любых константах c1 , c2 . Выберем их
так, чтобы z0 = T0 (t), z1 = T1 (t). В итоге получаем
1 ! 1 !
Tn (t) = (t + t2 − 1 )n + (t − t2 − 1 )n .
2 2
В случае многочленов от λ ∈ [λmin , λmax ] сделаем замену
переменной
λ +λ
λmax + λmin λmax − λmin λ − max min
λ= +t ⇔ t = λ −λ 2 .
2 2 max min
2
Положим
⎛ λmax + λmin
⎞
λ−
Tk ⎝ 2
λmax − λmin
⎠
Φk (λ) = 2
λmax + λmin
⇒ max |Φk (λ)|
Tk (− ) λmin λλmax
λmax − λmin
1
λmax + λmin
.
Tk −
λmax − λmin
Далее,
λmax + λmin !
|t| = ⇒ |t| + t2 − 1 =
λmax − λmin
! ! ! !
λmax + λmin + 2 λmax λmin λmax + λmin
= =! ! .
λmax − λmin λmax − λmin
При этом t находим
! ! k
1 λmax + λmin
|Tk (t)| ! ! .
2 λmax − λmin
Отсюда, согласно лемме об оценке норм невязок метода сопря-
женных градиентов, получается следующая
Теорема. В условиях леммы об оценке норм невязок метода
сопряженных градиентов справедливы неравенства
4 ! ! k
λmax λmax − λmin
||rk ||2 2 ! ! ||r0 ||2 , k = 1, 2, . . .
λmin λmax + λmin
D 38.4. Предобусловленный метод сопряженных градиентов 451
(B −1 rk , rk )
pk+1 = B −1 rk + βk pk , βk = .
(B −1 rk−1 , rk−1 )
Лемма 2. Пусть имеет место (2). Тогда для любой начальной невяз-
ки r0 = 0, не дающей обрыва процесса на k-м шаге, выполняются
равенства (1).
Доказательство. В силу (2) A∗ pj есть линейная комбинация векторов
p1 , . . . , pj+s . Согласно проекционному условию rk ⊥ p1 , . . . , pj+s при
j + s k ⇒ (1).
Лемма 3. Предположим, что начальная невязка r0 = 0 такова, что
процесс не обрывается на n-м шаге и при этом выполняются равен-
ства (1) для всех 1 k n. Тогда для некоторых чисел αj = αj (r0 )
имеет место соотношение
s−1
∗
A r0 = αj Aj r0 .
j=0
1)
Данный вопрос усиленно дискутировался в конце 1970-х годов. Простое
и ясное решение, которое мы здесь излагаем, основано на идеях статьи: Вое-
водин В.В., Тыртышников Е.Е. Об обобщении методов сопряженных направ-
лений // Численные методы алгебры. Изд-во Московского университета, 1981,
C. 3–9. В 2005 г. Йорг Лиезен и Пoль Сэйлор заметили, что использованное
в этой статье дополнительное ограничение на порядок матрицы легко снима-
ется (Liesen J., Saylor P. E. Orthogonal Hessenberg reduction and orthogonal
Krylov subspace bases, SIAM J. Numer. Anal., V. 42, № 5. P. 2148–2158, 2005).
Заметим, что другое, причем весьма сложное, доказательство необходимости
условия (2) было опубликовано в 1984 г. Фабером и Мантефелем (Faber V.,
Manteuffel T. Necessary and sufficient conditions for the existence of a conjugate
gradient method. SIAM J. Numer. Anal., V. 21, № 2. P. 352–362, 1984).
454 Дополнение к лекции 38
s−1
A∗ (x + γy) = ϕj Aj (x + γy).
j=0
s−1
α0 x + (αj + γβj−1 )Aj x + βs−1 As x =
j=1
s−1
= ϕ0 x + (ϕj + γϕj−1 )Aj x + ϕs−1 As x ⇒ ϕ0 = α0 ;
j=1
n
n
max f (s) f (P ) = αi σ(i) = Re (ϕi ψσ(i) ) ⇒ ||A − B||2F
S
i=1 i=1
n
n
& '
|ϕi |2 + |ψσ(i) |2 − 2Re (ϕi ψσ(i) ) = |ϕi − ψσ(i) |2 .
i=1 i=1
что
X = X 1 P ⇔ X1 = P X1 ,
X = X 2 Q ⇔ X2 = QX2 ,
X = X 3 R ⇔ X3 = RX3 .
Лемма. Пусть матрицы P , Q, R ортогональные. Тогда ес-
ли X = (X 1 P ) 2 Q, то скалярные произведения строк
с одинаковыми номерами в матрицах X3 и X3 одинако-
вы. Аналогично, если X = (X 1 P ) 3 R, то одинаковы
скалярные произведения строк в матрицах X2 и X2 ; если
X = (X 2 Q) 3 R, то одинаковы скалярные произведения
строк в матрицах X1 и X1 .
Доказательство. Пусть X = (X 1 P ) 2 Q. Это означает, что
n1
n2
xi j k = pi i qj j xijk .
i=1 j=1
Рассмотрим скалярные произведения строк матрицы X3 с номе-
рами k1 и k2 :
xi j k1 xi j k2 =
i j
= pi i1 qj j1 xi1 j1 k1 pi i2 qj j2 xi2 j2 k2 =
i j i1 j1 i2 j2
= pi i1 pi i2 qj j1 qj j2 xi1 j1 k1 xi2 j2 k2 =
i1 j1 i2 j2 i j
= δi1 i2 δj1 j2 xi1 j1 k1 xi2 j2 k2 = xi1 j1 k1 xi1 j1 k2 .
i1 j1 i2 j2 i1 j1
Здесь мы использовали так называемый символ Кронекера:
0, α = β ,
δαβ = 1, α = β.
Получено первое утверждение леммы. Остальные два утвержде-
ния устанавливаются аналогичным образом.
Вектор 37
база 41 Вычет 89
базис 41
векторное пространство 109
внешнее произведение 67 Гипербола 177
высота вектора 276 асимптоты 177
длина вектора 212 директрисы 178
коллинеарные векторы 92 касательная 179
компланарные векторы 92 фокусы 178
линейная комбинация 37 эксцентриситет 178
Предметный указатель 467
Индекс
Группа 33
собственного значения 278
абелева 33
нильпотентности 272
Галуа 400
гомоморфизм 359
единичный элемент 33 Интерполяционная формула
знакопеременная 361 Лагранжа 428
изоморфизм 358
конечная 45, 357
корней из единицы 138 Исключение элементов
мультипликативная группа выбор ведущего элемента 369
поля вычетов 379 метод Гаусса 82
невырожденных диагональ- приведение к почти треуголь-
ных матриц 34 ному виду 341
невырожденных треугольных приведение к двухдиагональ-
матриц 35 ному виду 341
нормальная подгруппа 358 с помощью вращений 340
нормальный делитель 358 с помощью отражений 340
обратный элемент 33
подгруппа 35 Квадратичная форма 310
порядок группы 45 инерция 312
примарная 404 канонический вид 311, 313
симметрическая 45 приведение к главным осям
смежные классы 358 311
сопряженные элементы 88
транзитивная 403
фактор-группа Квадратный корень 291
централизатор элемента 405
циклическая 36
Коды Хэмминга 143
Поле 141
Парабола 179 автоморфизм 389
директриса 179 Галуа 146
касательная 180 изоморфизм 143
фокальный параметр 179 конечное 143
фокус 180 нормальное 398
подполе 143
Первообразный корень 138 поле вычетов 143, 379
промежуточное 401
Плоскость 93, 94 разложения 394
расширение поля 143
характеристика поля 145
Поверхность второго порядка частных 147
181 эндоморфизм 387
гиперболический параболоид
194
двуполостный гиперболоид Полупространство 96, 129
193
линейчатая 191 Последовательность
однополостный гиперболоид предел 199, 201
191 сходящаяся 199, 201
приведенные уравнения 190 фундаментальная (Коши, схо-
цилиндрическая 194 дящаяся в себе) 202
Предметный указатель 473
Преобразование Разложение
быстрое преобразование вещественных многочленов
Фурье 299, 433 163
дискретное преобразование комплексных многочленов
Фурье 295 161
подобия 249 корневое 273
унитарного подобия 287 по базису 116
полярное 303
сингулярное 242, 303
Признак Эйзенштейна 385
скелетное 67
Таккера 461
Пример Уилкинсона 338 трилинейное 345
эрмитово 289
Произведение LU 83
векторное 101 QR 226
внешнее 67
естественное скалярное 211 Ранг
линейных операторов 246 матрицы 68
матриц 24 разделение переменных 67
многочленов 151 тензорный ранг 344
скалярное 98, 99, 210 теорема о базисном миноре
смешанное 101 70
Пространство Расстояние
банахово 202 до множества вырожденных
гильбертово 213 матриц 309
евклидово 210 между спектрами нормаль-
корневое 271 ных матриц 457
линейное 109 от точки до прямой 105
метрическое 201 от точки до плоскости 106
многочленов 118
направляющее 126 Расширение поля 143
нормированное 195 конечное 383
нуль-пространство 112 минимальное 155
полное 202 присоединение корня 155
пополнение пространства 409 простое алгебраическое 155
сопряженное 229 радикальное 399
топологическое 413 расширение Галуа 400
474 Предметный указатель