Линейная алгебра и геометрия
Автор программы курса: Панов Тарас Евгеньевич
Преподаватель: Тимашёв Дмитрий Андреевич
Аннотация
Современный курс линейной алгебры, в котором подчеркивается геометрическая сущность рассматриваемых объектов. Является ключевой частью как алгебраической, так и геометрической вертикали курсов программы Фундаментальная математика и математическая физика МГУ им. М.В.Ломоносова. При подготовке курса лекций использовались как классические учебники Гельфанда, Кострикина-Манина и Постникова, так и более современные методические наработки преподавания линейной алгебры и геометрии на кафедрах высшей алгебры и высшей геометрии и топологии механико-математического факультета МГУ.
План курса
Часть 1. Линейные пространства.
-
Линейные пространства и подпространства. Примеры.
-
Линейная зависимость, базис, размерность.
-
Пересечение и сумма подпространств, их размерности.
-
Прямая сумма подпространств, эквивалентные определения. Внешняя прямая сумма.
-
Факторпространство. Размерность факторпространства.
-
Координаты вектора. Закон изменения координат при замене базиса.
-
Линейные отображения и изоморфизмы. Ядро и образ, их размерности.
-
Матрица линейного отображения. Преобразование матрицы линейного отображения при заменах базисов.
-
Двойственное пространство V*, двойственный базис. Отсутствие изоморфизма между V и V* в бесконечномерном случае (пример).
-
Второе двойственное пространство, канонический изоморфизм между V и V**.
-
Сопряжённое линейное отображение, его матрица.
Часть 2. Линейные операторы.
-
Матрица линейного оператора. Определитель и след оператора. Невырожденные операторы. Группы GL(n) и SL(n).
-
Проекторы, их алгебраическая характеризация.
-
Многочлены от оператора. Минимальный аннулирующий многочлен.
-
Овеществление пространства и оператора.
-
Оператор комплексной структуры. Комплексификация пространства и оператора.
-
Инвариантное подпространство. Ограничение оператора и фактор-оператор. Вид матрицы оператора в соответствующем базисе. Собственные значения, собственные векторы.
-
Характеристический многочлен. Связь размерности собственного подпространства и кратности соответствующего ему корня характеристического многочлена.
-
Теорема о существовании одномерного или двумерного инвариантного подпространства.
-
Теорема Гамильтона-Кэли.
-
Диагонализируемые операторы. Критерий диагонализируемости.
-
Нильпотентные операторы. Нормальный вид.
-
Корневые векторы. Теорема о разложении пространства в прямую сумму корневых подпространств.
-
Жорданова нормальная форма оператора. Теорема Жордана.
-
Вычисление многочленов и функций от матриц при помощи жордановой формы
и метода интерполяции.
-
Экспонента линейного оператора, её свойства.
Часть 3. Геометрия евклидовых и эрмитовых пространств.
-
Аффинные пространства, системы координат, подпространства.
-
Евклидовы и эрмитовы пространства, примеры. Неравенство Коши-Буняковского, неравенство треугольника.
-
Ортогональные системы векторов, ортонормированные базисы. Ортогонализация
Грама-Шмидта.
-
Ортогональные и унитарные матрицы. QR-разложение.
-
Ортогональное дополнение. Проекция и ортогональная составляющая. Угол между вектором и подпространством.
-
Аффинные евклидовы пространства. Расстояние от точки до подпространства. Расстояние между подпространствами.
-
Определитель матрицы Грама и многомерный объём.
-
Метод наименьших квадратов.
-
Изоморфизмы евклидовых и эрмитовых пространств. Канонический изоморфизм евклидова пространства и его сопряжённого.
Часть 4. Операторы в евклидовых и эрмитовых пространствах.
-
Cопряжённые операторы в евклидовых и эрмитовых пространствах.
-
Самосопряжённые операторы. Канонический вид.
-
Самосопряжённые проекторы. Спектральное разложение самосопряжённого оператора.
-
Кососимметрические и косоэрмитовы операторы. Канонический вид. Эрмитово разложение.
-
Ортогональные и унитарные операторы. Канонический вид. Группы O(n) и SO(n), U(n) и SU(n).
-
Положительные самосопряжённые операторы. Полярное разложение.
-
Нормальные операторы, связь с диагонализируемостью в ортонормированном базисе.
Часть 5. Билинейные и полуторалинейные функции.
-
Билинейные и полуторалинейные функции, их матрицы. Закон изменения матрицы при замене базиса. Канонический изоморфизм пространства билинейных функций и пространства Hom(V,V*).
-
Симметрические, кососимметрические и эрмитовы функции. Квадратичные формы.
-
Нормальный вид симметрических билинейных функций и квадратичных форм (теорема Лагранжа).
-
Нормальный вид эрмитовых полуторалинейных функций.
-
Закон инерции. Единственность нормального вида.
-
Теорема Якоби. Критерий Сильвестра.
-
Симметрические билинейные функции в евклидовых пространствах. Канонический вид.
-
Приведение пары форм к диагональному виду. Собственные значения и собственные векторы пары форм.
-
Нормальный вид кососимметрических билинейных функций.
-
Симплектические пространства. Лагранжевы подпространства. Существование дополнительного лагранжева подпространства.
-
Пространства с обобщённым скалярным произведением. Группы операторов. Псевдоевклидовы пространства.
Часть 6. Тензоры.
-
Полилинейные функции.
-
Тензоры: координатное определение.
-
Тензорное произведение, свёртка, опускание и поднятие индексов.
-
Базис в пространстве тензоров.
-
Симметрические и кососимметрические тензоры, симметризация и альтернирование.
-
Внешнее произведение кососимметрических тензоров, внешние формы.
Литература
1. Винберг Э.Б. Курс алгебры. 2-е изд., испр. и доп. Москва, “Факториал Пресс’’, 2001.
2. Гельфанд И.М. Лекции по линейной алгебре. Москва, «Наука» 1974.
3. Кострикин А.И., Манин Ю.И. Линейная алгебра и геометрия. Москва, «Наука», 1986.
4. Постников М.М. Лекции по геометрии. Семестр II. Линейная алгебра. Москва, «Наука», 1986.
Дополнительная информация
Текст лекций, план курса, список теоретических задач и другие материалы доступны на странице Т.Е. Панова на сайте кафедры высшей геометрии и топологии.