Линейная алгебра и геометрия на ПМИ 2021/2022 (пилотный поток) — различия между версиями

Материал из Wiki - Факультет компьютерных наук
Перейти к: навигация, поиск
(Краткое содержание лекций)
(3-4 модули)
(не показаны 44 промежуточные версии 3 участников)
Строка 22: Строка 22:
 
| <center>2</center> || Антон Шафаревич || ||  ||  ||  ||  
 
| <center>2</center> || Антон Шафаревич || ||  ||  ||  ||  
 
|-
 
|-
| <center>3</center> || Галина Калеева || || || ||  || Пятница, начиная с 16.20. [https://docs.google.com/forms/d/e/1FAIpQLSdbAFvvA9dQMCRXdG5Lc3G77ldPbR8UwW8NoUcX0m4mQzPEww/viewform Записаться]
+
| <center>3</center> || Галина Калеева || || || ||  || 13:00, [https://yandex.zoom.us/j/97147642066 онлайн]
 +
14 мая, '''15.00'''
 +
[https://docs.google.com/forms/d/e/1FAIpQLSdbAFvvA9dQMCRXdG5Lc3G77ldPbR8UwW8NoUcX0m4mQzPEww/viewform Записаться] на консультацию.
 
|}
 
|}
  
Строка 83: Строка 85:
  
 
'''Лекция&nbsp;6''' (13.10.2021). Единственность знака перестановки. Три подхода к определителям: (I) явная формула с помощью перестановок, (II) полилинейность и кососимметричность по строкам (или столбцам),  (III) согласованность с умножением. Вычисление по явной формуле для верхнетреугольных матриц и в случае размерностей 2 и 3.
 
'''Лекция&nbsp;6''' (13.10.2021). Единственность знака перестановки. Три подхода к определителям: (I) явная формула с помощью перестановок, (II) полилинейность и кососимметричность по строкам (или столбцам),  (III) согласованность с умножением. Вычисление по явной формуле для верхнетреугольных матриц и в случае размерностей 2 и 3.
 +
 +
'''Лекция&nbsp;7''' (27.10.2021). Определитель транспонированной матрицы. Полилинейность определителя (импликация (I)=>(II)). Определитель элементарных матриц. Доказательство импликации (II)=>(I). Мультипликативность определителя (импликация (II)=>(III)), определитель блочно верхнетреугольной матрицы.
 +
 +
'''Лекция&nbsp;8''' (03.11.2021). Импликация (III)=>(I). Миноры и алгебраические дополнения, присоединенная матрица. Разложение определителя по строке или столбцу. Явная формула для обратной матрицы. Формулы Крамера. Характеристический многочлен.
 +
 +
'''Лекция&nbsp;9''' (10.11.2021). Связь характеристического многочлена со спектром. Явные формулы для коэффициентов характеристического многочлена. Теорема Гамильтона-Кэли. Определение поля.
 +
 +
'''Лекция&nbsp;10''' (17.11.2021).  Определение подполя и изоморфизма полей, изоморфизм над подполем. Комплексные числа: концептуальное определение, две конструкции. Различные операции на комплексных числах, геометрическая модель. Доказательство алгебраической замкнутости поля комплексных чисел: вспомогательные утверждения (1), (2) и (3), сведение доказательства теоремы к ним и доказательство (1) и (2).
 +
 +
'''Лекция&nbsp;11''' (24.11.2021). Доказательство утверждения (3) для алгебраической замкнутости поля комплексных чисел. Векторные пространства, подпространства, линейные комбинации, линейная зависимость, порождающая система, линейная оболочка.
 +
 +
'''Лекция&nbsp;12''' (01.12.2021). Три эквивалентных определения базиса. Понятие размерности. Конечномерные векторные пространства. Базисы, матрица перехода, смена координат. Подпространства в R^n. Фундаментальная система решений (ФСР).
 +
 +
'''Лекция&nbsp;13''' (08.12.2021). Ранг конечной системы векторов, его связь с размерностью линейной оболочки системы. Пять определений ранга: строчный, столбцовый, факториальный, тензорный, минорный. Неизменность первых четырех рангов при домножении на обратимую матрицу слева и справа и их совпадение. Совпадение минорного ранга с остальными.
 +
 +
'''Лекция&nbsp;14''' (15.12.2021). Линейные отображения, примеры. Изоморфизмы. Операции на линейных отображениях, структура векторного пространства. Критерий существования линейного отображения в терминах базиса, критерий изоморфности векторных пространств. Матрица линейного отображения и ее связь с операциями на линейных отображениях. Замена матрицы линейного отображения при смене базисов. Образ и ядро. Критерий инъективности и сюръективности в их терминах.
  
 
== 3-4 модули ==
 
== 3-4 модули ==
 +
 +
'''Лекция&nbsp;15''' (12.01.2022). Оценка ранга произведения матриц. Связь размерности ядра и образа линейного отображения. Сумма и пересечение подпространств, связь их размерностей. Линейная независимость подрпостранств. Внешние и внутренние прямые суммы (6 эквивалентных определений).
 +
 +
'''Лекция&nbsp;16''' (19.01.2022).  Линейные операторы, определения и примеры, проекторы. Матрица линейного оператора, смена матрицы при замене базиса. Характеристики линейного оператора: след, определитель, характеристический многочлен, минимальный многочлен, спектр. Критерии обратимости линейного оператора. Инвариантные подпространства и связь с углом нулей. Инвариантность ядра и образа относительно коммутирующего оператора. Неболее чем одномерные инвариантные подпространства и собственные векторы, собственные значения.
 +
 +
'''Лекция&nbsp;17''' (26.01.2022). Собственные подпространства. Связь собственных значений со спектором, кратность собственных значений. Существование ненулевого собственного вектора над алгебраически замкнутым полем. Корневые подпространства. Лемма о стабилизации образа и ядра степени линейного оператора. Классификационный результат для линейных отображений. Объявлена цель: классификационный результат для линейных операторов. Линейная независимость собственных и корневых подпространств.
 +
 +
'''Лекция&nbsp;18''' (02.02.2022). Критерий диагонализуемости линейного оператора. Свойства ограничения оператора. Приведение к верхнетреугольному виду матрицы оператора. Идеальный спектр и его описание в терминах минимального многочлена, в терминах хар многочлена (БД).
 +
 +
'''Лекция&nbsp;19''' (09.02.2022). Обобщение корневых и собственных подпространств на идеальный спектр. Утверждение о подстановке оператора во взаимно простые многочлены. Теорема о разложении через зануляющий многочлен. Разложение пространства в прямую сумму корневых. Описание инвариантных подпространств. Геометрический смысл кратности корня минимального и характеристического многочленов.
 +
 +
'''Лекция&nbsp;20''' (16.02.2022). Отношение равенства по модулю подпространства. Линейная независимость, порождающие и базис по модулю подпространства (определения и критерии). Определение жорданова базиса и жордановой нормальной формы (ЖНФ). Теорема о ЖНФ для нильпотентных операторов: единственность и формула для количества клеток.
 +
 +
'''Лекция&nbsp;21''' (02.03.2022). Теорема о ЖНФ для произвольного оператора: существование и едниственность. Классификация линейных операторов. Функционалы: двойственное (сопряженное) пространство с примерами.
 +
 +
'''Лекция&nbsp;22''' (09.03.2022). Понятие о двойственном базисе. Связь размерности пространства и его двойственного. Векторы -- это функции на функциях, изоморфизм векторного пространства на свое двойное сопряженное. Конструкция сопряженного линейного отображения. Матрица сопряженного линейного отображения в двойственном базисе. Согласованность изоморфизма векторного пространства с двойным сопряженным и конструкции сопряженного линейного отображения.
 +
 +
'''Лекция&nbsp;23''' (16.03.2022). Билинейные формы, примеры. Матрица билинейной формы, замена матрицы билинейной формы при смене координат, матричный формализм. Конструирование билинейных форм по значениям на паре базисов. Ранг билинейной формы. Левые и правые ортогональные дополнения, ядра формы, невырожденность в терминах ядра. Связь ранга с размерностями ядер. Двоейственность для подпространств относительно невырожденной билинейной формы.
 +
 +
'''Лекция&nbsp;24''' (23.03.2022). Двойственность для линейных отображений (альтернатива Фредгольма). Характеристики оператора и сопряженного оператора. ЖНФ сопряженного оператора. Классификационное утверждение о том, что две матрицы задают одну и ту же билинейную форму на паре разных пространств тогда и только тогда, когда их ранги совпадают. Структура векторного пространства на билинейных формах, изоморфизм на матрицы. Билинейные формы на одном пространстве. Симметричный Гаусс. Обсуждение того, какие матричные характеристики являются инвариантами формы: (1) ранг, (2) след не является, (3) определитель по модулю квадратов ненулевых чисел, (4) невырожденность матрицы. Симметричность и кососимметричность формы. Замечание про поле характеристики 2.
 +
 +
'''Лекция&nbsp;25''' (06.04.2022). Разложение любой билинейной формы (на одном пространстве при обратимости двойки в поле) в сумму симметрической и кососимметрической. Ограничение билинейной формы на подпространство. Невырожденность ограничения. Диагонализуемость симметрических форм (замечание про характеристику 2). Симметричный Гаусс. Метод Якоби.
 +
 +
'''Лекция&nbsp;26''' (13.04.2022). Алгоритм диагонализации на основе метода Якоби. Квадратичные формы. Связь квадратичных и билинейных форм. Метод Лагранжа. Классификация симметрических билинейных форм над алгебраически замкнутым полем. Классификация симметричных билинейных форм над полем вещественных чисел и сигнатура. Геометрический смысл сигнатуры.
 +
 +
'''Лекция&nbsp;27''' (20.04.2022). Положительная и отрицательная определенность формы над полем вещественных чисел. Критерий Сильвестра. Графики квадратичных форм. Анализ поверхности. Евклидовы пространства и скалярные произведения. Ортогональные и ортонормированные базисы. Задание скалярных произведений в базисах. Разложение вектора по ортогональным и ортонормированным базисам. Ортогональные матрицы. Классификация ортонормированных базисов в терминах одного ортонормированного базиса. Классификация евклидовых пространств. Замечание о сведении к школьной геометрии. Понятие длины вектора. Неравенство Коши-Буняковского. Понятие угла в евклидовом пространстве. Теорема Пифагора. Ортогонализация Грама-Шмидта. Матрица Грама и ее свойства.
 +
 +
'''Лекция&nbsp;28''' (27.04.2022). Проекции и ортопроекции. Формула БАБА для проектора. Формула Атата для ортопроектора. Расстояние между двумя векторами, между вектором и подпространством, угол между вектором и подпространством. Метод наименьших квадратов. k-мерные объемы через матрицу Грама и рекурентная формула. Расстояние от вектора до подпространства через объемы. Изменение объема под действием линейного отображения и при смене образующих параллелепипеда.
 +
 +
'''Лекция&nbsp;29''' (04.05.2022). Понятие ориентированного n-мерного объема. Изменение ориентированного объема при смене образующих параллелепипеда. Связь ориентированного объема с определителем. Смена ориентированного объема под действием оператора. Комплексные векторные пространства. Полуторалинейные формы, матрица полуторалинейной формы, изменение матрицы при смене базиса. Эрмитово сопряжение матрицы. Сведение к билинейным формам. Ортогональные дополнения и двойственность. Квадратичные формы для полуторалинейных форм. Поляризационная формула. Соответствие между полуторалинейными формами и квадратичными формами. Эрмитовы и косоэрмитовы формы, выражение этих свойств в терминах матриц. Вещественность значений квадратичной формы для эрмитовой полуторалинейной формы. Диагонализация эрмитовых и косоэрмитовых форм. Классификация эрмитовых форм. Понятие сигнатуры, положительная и отрицательная определенность.
 +
 +
'''Лекция&nbsp;30''' (11.05.2022). Метод Якоби. Критерий Сильвестра. Эрмитово векторное пространство и эрмитово скалярное произведение. Ортонормированность и ортогональность. Классификация эрмитовых пространств. Понятие длины вектора, неравенство Коши-Буняковского.  Понятие угла между векторами и поляризации угла. Замечание про угол и его поляризацию. Унитарные матрицы. Классификация ортонормированных базисов в терминах одного базиса в эрмитовом пространстве. Обзор геометрических понятий в эрмитовом пространстве: ортогональные проекции, углы и расстояния, метод наименьших квадратов, матрица грама и формальный объем. Комплексификация векторного пространства, его базис и размерность. Комплексификация линейного отображения и билинейной формы, их матрицы.
 +
 +
'''Лекция&nbsp;31''' (18.05.2022).  Операторы в еклидовом и эрмитовом пространствах. Движения, различные определения, описание движений с помощью матриц. Ключевые свойства движений: спектр на окружности, собственные подпространства ортогональны, ортогональное дополнение к инвариантному инвариантно.  Классификация движений в эрмитовом случае (диагонализуемость плюс спектр на окружности). Когда существует скалярное произведение, чтобы данный оператор стал унитарным. Классификация движений в евклидовом случае (блочная диагонализуемость специального вида). Когда существует скалярное произведение, чтобы данный оператор стал ортогональным.
 +
 +
'''Лекция&nbsp;32''' (25.05.2022). Сопряженное линейное отображение и его матрица. Связь с сопряженным отображением на двойственном пространстве. Самосопряженные операторы. Матрица самосопряженного оператора. Базовые свойства самосопряженного оператора (вещественный непустой спектр, ортогональность собственных пространств, инвариантность ортогонального дополнения к инвариантному). Классификация самосопряженных операторов в эрмитовом и евклидовом пространстве. Критерий существования скалярного произведения, чтобы заданный оператор стал самосопряженным.
 +
 +
'''Лекция&nbsp;33''' (01.06.2022). Билинейные формы и операторы: изоморфизм между операторами и билинейными (полуторалинейными формами) в евклидовом (эрмитовом) пространстве. Приведение к главным осям. Вычисление сигнатуры симметричной билинейной (полуторалинейной) формы через спектр ее матрицы. Классификация линейных отображений между евклидовыми пространствами. SVD или сингулярное разложение. Ортопроекторы и их характеризация в терминах сопряжения. Вычисление размерности образа ортопроектора. Задача о низкоранговом приближении. Сжатие данных с потерей информации.
  
 
= Листки с задачами =
 
= Листки с задачами =
Строка 97: Строка 153:
 
[https://drive.google.com/file/d/1kX0mRoI16ZMPV1EE9SA3TXyFdrlbJ524/view?usp=sharing '''Листок&nbsp;1''']. Матричные алгебры Ли
 
[https://drive.google.com/file/d/1kX0mRoI16ZMPV1EE9SA3TXyFdrlbJ524/view?usp=sharing '''Листок&nbsp;1''']. Матричные алгебры Ли
  
Сроки сдачи листка&nbsp;1 будут объявлены позднее
+
Сроки сдачи листка&nbsp;1:
 +
 
 +
задачи принимаются в период с момента выдачи листка по 31 октября включительно
 +
 
 +
в период с 24 по 31 октября включительно одному студенту разрешается сдать не более шести задач
 +
 
 +
[https://drive.google.com/file/d/1Y9R6wkPu2HIaOgZkRN8ehI8fh_3yjYII/view?usp=sharing '''Листок&nbsp;2''']. Разложения матриц
 +
 
 +
[https://drive.google.com/file/d/10V59oqkAi-wFge0uF5zZZX5xvZxnHmsp/view?usp=sharing '''Листок&nbsp;3''']. Тензорное произведение векторных пространств
 +
 
 +
задачи принимаются до 27 марта включительно.
 +
 
 +
[https://drive.google.com/file/d/1B062veh15XFKoKJVGRHxCYJ-OYqnb0vB/view?usp=sharing '''Листок&nbsp;4''']. Конусы
 +
 
 +
задачи принимаются в период с момента выдачи листка по 19 июня включительно
 +
 
 +
= Индивидуальные домашние задания =
 +
 
 +
== ИДЗ-3 ==
 +
 
 +
Задания по группам:
 +
[https://disk.yandex.ru/i/juAS6H8zv5K-2g 211]
 +
[https://disk.yandex.ru/i/57LDVyBHbn5k4g 212]
 +
[https://disk.yandex.ru/i/oI_cD8wzMiPfHg 214]
 +
 
 +
Дедлайн 28 февраля 23:00. Дедлайн мягкий.
  
 
= Лабораторные работы =
 
= Лабораторные работы =
 +
 +
Для каждой лабораторной работы файл с условием представляет собой IPython ноутбук. Выполнять работу нужно '''прямо в нём'''. При этом, пожалуйста, не удаляйте условия задач. Задание должно быть выполнено на языке Python 3.
 +
 +
Готовые лабораторные нужно сдавать в систему [http://anytask.org AnyTask]. Инвайты для регистрации на курс:
 +
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
! 211 !! 212 !! 214
 +
|-
 +
|| tl7vTmf || qHs34vJ || WtaEZe2
 +
|}
 +
 +
Краткое руководство по работе с системой [https://www.dropbox.com/s/fl2pyq5fruxchyw/manual_student.pdf?dl=0 прилагается].
 +
 +
Для того чтобы начать работать с IPython (Jupyter) ноутбуками, рекомендуется скачать [https://www.continuum.io/downloads Анаконду] (теоретически можно и без неё справиться, но лучше не ищите себе сложностей).
 +
 +
Все вопросы по лабораторным работам можно задавать Станиславу Николаевичу Федотову. Пишите на почту: [mailto:st-fedotov@yandex-team.ru st-fedotov@yandex-team.ru]
 +
 +
'''Внимание:''' тема письма должна начинаться с '''[ФКН - лабораторная N]''', где N &mdash; номер лабораторной работы.
 +
 +
Без этого письмо с некоторой вероятностью может остаться без ответа.
 +
 +
== Лабораторная работа 1 (3-й модуль) ==
 +
 +
Файл с условием, а также картинка к файлу лежат [https://disk.yandex.ru/d/3_YHyPefcTMBUg '''тут'''].
 +
 +
'''Срок:'''
 +
 +
4 февраля 23:00 для всех групп
 +
 +
== Лабораторная работа 2 (3-й модуль) ==
 +
 +
Файл с условием, а также остальные файлы лежат [https://disk.yandex.ru/d/-ta06hRvq8xR9w '''тут''']
 +
 +
'''Срок:'''
 +
 +
22 мая 23:00 для всех групп
 +
 +
== Лабораторная работа 3 (4-й модуль) ==
 +
 +
Файл с условием, а также остальные файлы лежат [https://disk.yandex.ru/d/oF6xo6mxOOYcwg '''тут''']
 +
 +
'''Срок:'''
 +
 +
13 июня 23:00 для всех групп
  
 
= Контрольные работы =
 
= Контрольные работы =
  
 
== 2-й модуль ==
 
== 2-й модуль ==
 +
 +
Дата-время: 2 декабря, 18:00
  
 
== 4-й модуль ==
 
== 4-й модуль ==
Строка 110: Строка 238:
  
 
== 2-й модуль ==
 
== 2-й модуль ==
 +
 +
Дата проведения TBA
 +
 +
'''Материалы для подготовки:'''
 +
 +
[https://disk.yandex.ru/i/FyR-FVVBGj2ywQ '''Список определений и формулировок''']
 +
 +
[https://disk.yandex.ru/i/sCr_ngZD4RqGeA '''Список вопросов на доказательство''']
 +
 +
'''Формат проведения:'''
 +
 +
[https://disk.yandex.ru/i/pN1m7ZFYN8O2Dw '''Предварительные правила проведения коллоквиума''']
  
 
== 4-й модуль ==
 
== 4-й модуль ==
Строка 122: Строка 262:
  
 
== 1-2 модули ==
 
== 1-2 модули ==
 +
 +
'''Результаты проверки больших домашних заданий'''
 +
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
!  [https://docs.google.com/spreadsheets/d/1_DIOrWEDnu0YuiAqkbwYxEgmQU5H2kuEJPHDmADwj8E/edit#gid=1196896000 211] !! [https://docs.google.com/spreadsheets/d/1_DIOrWEDnu0YuiAqkbwYxEgmQU5H2kuEJPHDmADwj8E/edit#gid=1418802091 212] !! [https://docs.google.com/spreadsheets/d/1_DIOrWEDnu0YuiAqkbwYxEgmQU5H2kuEJPHDmADwj8E/edit#gid=1370470393 214]
 +
|}
 +
 +
'''Результаты сдачи задач из листков'''
 +
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
!  [https://docs.google.com/spreadsheets/d/1zVD7iYALIFQS4hhTvUYHbz9fGmEE1vzjvhfT8Aja-Ig/edit#gid=1196896000 211] !! [https://docs.google.com/spreadsheets/d/1zVD7iYALIFQS4hhTvUYHbz9fGmEE1vzjvhfT8Aja-Ig/edit#gid=1418802091 212] !! [https://docs.google.com/spreadsheets/d/1zVD7iYALIFQS4hhTvUYHbz9fGmEE1vzjvhfT8Aja-Ig/edit#gid=1370470393 214]
 +
|}
 +
 +
'''Результаты 1-й контрольной работы'''
 +
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
!  [https://docs.google.com/spreadsheets/d/11uDdlRGMZVgPfrUnLjFXWvFX_AJxRTFcve9miGiideE/edit#gid=1196896000 211] !! [https://docs.google.com/spreadsheets/d/11uDdlRGMZVgPfrUnLjFXWvFX_AJxRTFcve9miGiideE/edit#gid=1418802091 212] !! [https://docs.google.com/spreadsheets/d/11uDdlRGMZVgPfrUnLjFXWvFX_AJxRTFcve9miGiideE/edit#gid=1370470393 214]
 +
|}
 +
 +
'''Сводные таблицы с оценками'''
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
!  [https://docs.google.com/spreadsheets/d/17SuiiUNMrhtfFH-UHi2jopZ8D4Hpu093Buocn35rSFk/edit#gid=1196896000 211] !! [https://docs.google.com/spreadsheets/d/17SuiiUNMrhtfFH-UHi2jopZ8D4Hpu093Buocn35rSFk/edit#gid=1418802091 212] !! [https://docs.google.com/spreadsheets/d/17SuiiUNMrhtfFH-UHi2jopZ8D4Hpu093Buocn35rSFk/edit#gid=1370470393 214]
 +
|}
  
 
== 3-4 модули ==
 
== 3-4 модули ==
 +
 +
'''Результаты проверки больших домашних заданий'''
 +
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
!  [https://docs.google.com/spreadsheets/d/1HBbgUG6nstuJVWAXn7uoGD7tZ2uQesK27YXKN04ZsrE/edit#gid=1196896000 211] !! [https://docs.google.com/spreadsheets/d/1HBbgUG6nstuJVWAXn7uoGD7tZ2uQesK27YXKN04ZsrE/edit#gid=1418802091 212] !! [https://docs.google.com/spreadsheets/d/1HBbgUG6nstuJVWAXn7uoGD7tZ2uQesK27YXKN04ZsrE/edit#gid=1370470393 214]
 +
|}
 +
 +
'''Результаты сдачи задач из листков'''
 +
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
!  [https://docs.google.com/spreadsheets/d/1lVtZS1NbjEj_9Fz61NoCV0rMsD43s1D-yyr-IYfZztQ/edit#gid=1196896000 211] !! [https://docs.google.com/spreadsheets/d/1lVtZS1NbjEj_9Fz61NoCV0rMsD43s1D-yyr-IYfZztQ/edit#gid=1418802091 212] !! [https://docs.google.com/spreadsheets/d/1lVtZS1NbjEj_9Fz61NoCV0rMsD43s1D-yyr-IYfZztQ/edit#gid=1370470393 214]
 +
|}
 +
 +
'''Результаты 2-й контрольной работы'''
 +
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
!  [https://docs.google.com/spreadsheets/d/1jkHHW3ot7TYb6QCOJeNMZpZ-k5s8RuursMsF0TpMyhg/edit#gid=1196896000 211] !! [https://docs.google.com/spreadsheets/d/1jkHHW3ot7TYb6QCOJeNMZpZ-k5s8RuursMsF0TpMyhg/edit#gid=1418802091 212] !! [https://docs.google.com/spreadsheets/d/1jkHHW3ot7TYb6QCOJeNMZpZ-k5s8RuursMsF0TpMyhg/edit#gid=1370470393 214]
 +
|}
 +
 +
'''Сводные таблицы с оценками'''
 +
{| class="wikitable" style="text-align:center"
 +
|-
 +
!  [https://docs.google.com/spreadsheets/d/1jkHHW3ot7TYb6QCOJeNMZpZ-k5s8RuursMsF0TpMyhg/edit#gid=1196896000 211] !! [https://docs.google.com/spreadsheets/d/1jkHHW3ot7TYb6QCOJeNMZpZ-k5s8RuursMsF0TpMyhg/edit#gid=1418802091 212] !! [https://docs.google.com/spreadsheets/d/1jkHHW3ot7TYb6QCOJeNMZpZ-k5s8RuursMsF0TpMyhg/edit#gid=1370470393 214]
 +
|}
  
 
= Ссылки =
 
= Ссылки =

Версия 21:34, 26 июня 2022

Преподаватели и учебные ассистенты

Группа БПМИ211 БПМИ212 БПМИ214
Лектор Дима Трушин
Семинарист Дима Трушин Антон Шафаревич Галина Калеева
Ассистент Арслан Разин Коля Юдин Артур Гимранов

Расписание консультаций

Преподаватель/ассистент понедельник вторник среда четверг пятница
1
Дима Трушин
2
Антон Шафаревич
3
Галина Калеева 13:00, онлайн

14 мая, 15.00 Записаться на консультацию.

Формы контроля знаний студентов

  • Коллоквиум
  • Контрольная работа
  • Большие домашние задания (делящиеся на индивидуальные домашние задания и лабораторные работы)
  • Активность и работа на семинарах
  • Экзамен

Бонус к накопленной оценке:

  • Устная сдача задач из листков

Порядок формирования итоговой оценки

2-й модуль

Формула для накопленной оценки:

Oнакопленная = 0,36 * Околл + 0,25 * Oк/р + 0,25 * Oд/з + 0,14 * Oсем + 0,1 * Oл,

где Околл — оценка за коллоквиум, Oк/р — оценка за контрольную работу, Oд/з — оценка за большие домашние задания, Oсем — оценка за работу на семинарах и Oл — оценка за сдачу задач из листков.

Формула для итоговой оценки:

Oитоговая = 0,7 * Oнакопленная + 0,3 * Оэкз.

В этой формуле используется неокруглённое значение накопленной оценки. Способ округления итоговой оценки — арифметический.

4-й модуль

Формула для накопленной оценки:

Oнакопленная = 0,36 * Околл + 0,25 * Oк/р + 0,25 * Oд/з + 0,14 * Oсем + 0,1 * Oл,

где Околл — оценка за коллоквиум, Oк/р — оценка за контрольную работу, Oд/з — оценка за большие домашние задания, Oсем — оценка за работу на семинарах и Oл — оценка за сдачу задач из листков.

Формула для итоговой оценки:

Oитоговая = 0,7 * Oнакопленная + 0,3 * Оэкз.

В этой формуле используется неокруглённое значение накопленной оценки. Способ округления итоговой оценки — арифметический.

Итоговая оценка за курс -- оценка за 4-ый модуль.


Краткое содержание лекций

1-2 модули

Лекция 1 (08.09.2021). Системы линейных уравнений. Алгоритм Гаусса.

Лекция 2 (15.09.2021). Матрицы, матричные операции и их свойства. Связь с линейными уравнениями. Обратимость матриц. Матрицы элементарных преобразований. Невырожденность матриц: 6 эквивалентных определений (Формулировка).

Лекция 3 (22.09.2021). Невырожденность матриц: 6 эквивалентных определений (Доказательство). Следствия 6 эквивалентных определений. Массовое решение систем. Поиск обратной матрицы Гауссом. Блочные формулы умножения матриц. Блочные элементарные преобразования. Лемма об изменении множества решений при выкидывании уравнения в ступенчатом виде.

Лекция 4 (29.09.2021). Единственность улучшенного ступенчатого вида матрицы. Классификация систем с одинаковым множеством решений. Полиномиальное исчисление от матриц. Существование многочлена зануляющего матрицу. Спектр матрицы. Минимальный многочлен и его связь со спектром. Наивная оценка на степень минимального многочлена.

Лекция 5 (06.10.2021). Перестановки. Операция на перестановках. Правила переименования. Циклы. Знак перестановки. Существование знака.

Лекция 6 (13.10.2021). Единственность знака перестановки. Три подхода к определителям: (I) явная формула с помощью перестановок, (II) полилинейность и кососимметричность по строкам (или столбцам), (III) согласованность с умножением. Вычисление по явной формуле для верхнетреугольных матриц и в случае размерностей 2 и 3.

Лекция 7 (27.10.2021). Определитель транспонированной матрицы. Полилинейность определителя (импликация (I)=>(II)). Определитель элементарных матриц. Доказательство импликации (II)=>(I). Мультипликативность определителя (импликация (II)=>(III)), определитель блочно верхнетреугольной матрицы.

Лекция 8 (03.11.2021). Импликация (III)=>(I). Миноры и алгебраические дополнения, присоединенная матрица. Разложение определителя по строке или столбцу. Явная формула для обратной матрицы. Формулы Крамера. Характеристический многочлен.

Лекция 9 (10.11.2021). Связь характеристического многочлена со спектром. Явные формулы для коэффициентов характеристического многочлена. Теорема Гамильтона-Кэли. Определение поля.

Лекция 10 (17.11.2021). Определение подполя и изоморфизма полей, изоморфизм над подполем. Комплексные числа: концептуальное определение, две конструкции. Различные операции на комплексных числах, геометрическая модель. Доказательство алгебраической замкнутости поля комплексных чисел: вспомогательные утверждения (1), (2) и (3), сведение доказательства теоремы к ним и доказательство (1) и (2).

Лекция 11 (24.11.2021). Доказательство утверждения (3) для алгебраической замкнутости поля комплексных чисел. Векторные пространства, подпространства, линейные комбинации, линейная зависимость, порождающая система, линейная оболочка.

Лекция 12 (01.12.2021). Три эквивалентных определения базиса. Понятие размерности. Конечномерные векторные пространства. Базисы, матрица перехода, смена координат. Подпространства в R^n. Фундаментальная система решений (ФСР).

Лекция 13 (08.12.2021). Ранг конечной системы векторов, его связь с размерностью линейной оболочки системы. Пять определений ранга: строчный, столбцовый, факториальный, тензорный, минорный. Неизменность первых четырех рангов при домножении на обратимую матрицу слева и справа и их совпадение. Совпадение минорного ранга с остальными.

Лекция 14 (15.12.2021). Линейные отображения, примеры. Изоморфизмы. Операции на линейных отображениях, структура векторного пространства. Критерий существования линейного отображения в терминах базиса, критерий изоморфности векторных пространств. Матрица линейного отображения и ее связь с операциями на линейных отображениях. Замена матрицы линейного отображения при смене базисов. Образ и ядро. Критерий инъективности и сюръективности в их терминах.

3-4 модули

Лекция 15 (12.01.2022). Оценка ранга произведения матриц. Связь размерности ядра и образа линейного отображения. Сумма и пересечение подпространств, связь их размерностей. Линейная независимость подрпостранств. Внешние и внутренние прямые суммы (6 эквивалентных определений).

Лекция 16 (19.01.2022). Линейные операторы, определения и примеры, проекторы. Матрица линейного оператора, смена матрицы при замене базиса. Характеристики линейного оператора: след, определитель, характеристический многочлен, минимальный многочлен, спектр. Критерии обратимости линейного оператора. Инвариантные подпространства и связь с углом нулей. Инвариантность ядра и образа относительно коммутирующего оператора. Неболее чем одномерные инвариантные подпространства и собственные векторы, собственные значения.

Лекция 17 (26.01.2022). Собственные подпространства. Связь собственных значений со спектором, кратность собственных значений. Существование ненулевого собственного вектора над алгебраически замкнутым полем. Корневые подпространства. Лемма о стабилизации образа и ядра степени линейного оператора. Классификационный результат для линейных отображений. Объявлена цель: классификационный результат для линейных операторов. Линейная независимость собственных и корневых подпространств.

Лекция 18 (02.02.2022). Критерий диагонализуемости линейного оператора. Свойства ограничения оператора. Приведение к верхнетреугольному виду матрицы оператора. Идеальный спектр и его описание в терминах минимального многочлена, в терминах хар многочлена (БД).

Лекция 19 (09.02.2022). Обобщение корневых и собственных подпространств на идеальный спектр. Утверждение о подстановке оператора во взаимно простые многочлены. Теорема о разложении через зануляющий многочлен. Разложение пространства в прямую сумму корневых. Описание инвариантных подпространств. Геометрический смысл кратности корня минимального и характеристического многочленов.

Лекция 20 (16.02.2022). Отношение равенства по модулю подпространства. Линейная независимость, порождающие и базис по модулю подпространства (определения и критерии). Определение жорданова базиса и жордановой нормальной формы (ЖНФ). Теорема о ЖНФ для нильпотентных операторов: единственность и формула для количества клеток.

Лекция 21 (02.03.2022). Теорема о ЖНФ для произвольного оператора: существование и едниственность. Классификация линейных операторов. Функционалы: двойственное (сопряженное) пространство с примерами.

Лекция 22 (09.03.2022). Понятие о двойственном базисе. Связь размерности пространства и его двойственного. Векторы -- это функции на функциях, изоморфизм векторного пространства на свое двойное сопряженное. Конструкция сопряженного линейного отображения. Матрица сопряженного линейного отображения в двойственном базисе. Согласованность изоморфизма векторного пространства с двойным сопряженным и конструкции сопряженного линейного отображения.

Лекция 23 (16.03.2022). Билинейные формы, примеры. Матрица билинейной формы, замена матрицы билинейной формы при смене координат, матричный формализм. Конструирование билинейных форм по значениям на паре базисов. Ранг билинейной формы. Левые и правые ортогональные дополнения, ядра формы, невырожденность в терминах ядра. Связь ранга с размерностями ядер. Двоейственность для подпространств относительно невырожденной билинейной формы.

Лекция 24 (23.03.2022). Двойственность для линейных отображений (альтернатива Фредгольма). Характеристики оператора и сопряженного оператора. ЖНФ сопряженного оператора. Классификационное утверждение о том, что две матрицы задают одну и ту же билинейную форму на паре разных пространств тогда и только тогда, когда их ранги совпадают. Структура векторного пространства на билинейных формах, изоморфизм на матрицы. Билинейные формы на одном пространстве. Симметричный Гаусс. Обсуждение того, какие матричные характеристики являются инвариантами формы: (1) ранг, (2) след не является, (3) определитель по модулю квадратов ненулевых чисел, (4) невырожденность матрицы. Симметричность и кососимметричность формы. Замечание про поле характеристики 2.

Лекция 25 (06.04.2022). Разложение любой билинейной формы (на одном пространстве при обратимости двойки в поле) в сумму симметрической и кососимметрической. Ограничение билинейной формы на подпространство. Невырожденность ограничения. Диагонализуемость симметрических форм (замечание про характеристику 2). Симметричный Гаусс. Метод Якоби.

Лекция 26 (13.04.2022). Алгоритм диагонализации на основе метода Якоби. Квадратичные формы. Связь квадратичных и билинейных форм. Метод Лагранжа. Классификация симметрических билинейных форм над алгебраически замкнутым полем. Классификация симметричных билинейных форм над полем вещественных чисел и сигнатура. Геометрический смысл сигнатуры.

Лекция 27 (20.04.2022). Положительная и отрицательная определенность формы над полем вещественных чисел. Критерий Сильвестра. Графики квадратичных форм. Анализ поверхности. Евклидовы пространства и скалярные произведения. Ортогональные и ортонормированные базисы. Задание скалярных произведений в базисах. Разложение вектора по ортогональным и ортонормированным базисам. Ортогональные матрицы. Классификация ортонормированных базисов в терминах одного ортонормированного базиса. Классификация евклидовых пространств. Замечание о сведении к школьной геометрии. Понятие длины вектора. Неравенство Коши-Буняковского. Понятие угла в евклидовом пространстве. Теорема Пифагора. Ортогонализация Грама-Шмидта. Матрица Грама и ее свойства.

Лекция 28 (27.04.2022). Проекции и ортопроекции. Формула БАБА для проектора. Формула Атата для ортопроектора. Расстояние между двумя векторами, между вектором и подпространством, угол между вектором и подпространством. Метод наименьших квадратов. k-мерные объемы через матрицу Грама и рекурентная формула. Расстояние от вектора до подпространства через объемы. Изменение объема под действием линейного отображения и при смене образующих параллелепипеда.

Лекция 29 (04.05.2022). Понятие ориентированного n-мерного объема. Изменение ориентированного объема при смене образующих параллелепипеда. Связь ориентированного объема с определителем. Смена ориентированного объема под действием оператора. Комплексные векторные пространства. Полуторалинейные формы, матрица полуторалинейной формы, изменение матрицы при смене базиса. Эрмитово сопряжение матрицы. Сведение к билинейным формам. Ортогональные дополнения и двойственность. Квадратичные формы для полуторалинейных форм. Поляризационная формула. Соответствие между полуторалинейными формами и квадратичными формами. Эрмитовы и косоэрмитовы формы, выражение этих свойств в терминах матриц. Вещественность значений квадратичной формы для эрмитовой полуторалинейной формы. Диагонализация эрмитовых и косоэрмитовых форм. Классификация эрмитовых форм. Понятие сигнатуры, положительная и отрицательная определенность.

Лекция 30 (11.05.2022). Метод Якоби. Критерий Сильвестра. Эрмитово векторное пространство и эрмитово скалярное произведение. Ортонормированность и ортогональность. Классификация эрмитовых пространств. Понятие длины вектора, неравенство Коши-Буняковского. Понятие угла между векторами и поляризации угла. Замечание про угол и его поляризацию. Унитарные матрицы. Классификация ортонормированных базисов в терминах одного базиса в эрмитовом пространстве. Обзор геометрических понятий в эрмитовом пространстве: ортогональные проекции, углы и расстояния, метод наименьших квадратов, матрица грама и формальный объем. Комплексификация векторного пространства, его базис и размерность. Комплексификация линейного отображения и билинейной формы, их матрицы.

Лекция 31 (18.05.2022). Операторы в еклидовом и эрмитовом пространствах. Движения, различные определения, описание движений с помощью матриц. Ключевые свойства движений: спектр на окружности, собственные подпространства ортогональны, ортогональное дополнение к инвариантному инвариантно. Классификация движений в эрмитовом случае (диагонализуемость плюс спектр на окружности). Когда существует скалярное произведение, чтобы данный оператор стал унитарным. Классификация движений в евклидовом случае (блочная диагонализуемость специального вида). Когда существует скалярное произведение, чтобы данный оператор стал ортогональным.

Лекция 32 (25.05.2022). Сопряженное линейное отображение и его матрица. Связь с сопряженным отображением на двойственном пространстве. Самосопряженные операторы. Матрица самосопряженного оператора. Базовые свойства самосопряженного оператора (вещественный непустой спектр, ортогональность собственных пространств, инвариантность ортогонального дополнения к инвариантному). Классификация самосопряженных операторов в эрмитовом и евклидовом пространстве. Критерий существования скалярного произведения, чтобы заданный оператор стал самосопряженным.

Лекция 33 (01.06.2022). Билинейные формы и операторы: изоморфизм между операторами и билинейными (полуторалинейными формами) в евклидовом (эрмитовом) пространстве. Приведение к главным осям. Вычисление сигнатуры симметричной билинейной (полуторалинейной) формы через спектр ее матрицы. Классификация линейных отображений между евклидовыми пространствами. SVD или сингулярное разложение. Ортопроекторы и их характеризация в терминах сопряжения. Вычисление размерности образа ортопроектора. Задача о низкоранговом приближении. Сжатие данных с потерей информации.

Листки с задачами

Задачи из листков можно сдавать любому семинаристу по данному предмету (в том числе с основного потока) в часы его консультаций или по договорённости.

Правила сдачи и оценивания задач из листков:

  • каждый пункт в листке считается отдельной задачей
  • сдача задачи возможна только при наличии её решения в письменном виде
  • результатом сдачи одной задачи может быть 0 или 1

Листок 1. Матричные алгебры Ли

Сроки сдачи листка 1:

задачи принимаются в период с момента выдачи листка по 31 октября включительно

в период с 24 по 31 октября включительно одному студенту разрешается сдать не более шести задач

Листок 2. Разложения матриц

Листок 3. Тензорное произведение векторных пространств

задачи принимаются до 27 марта включительно.

Листок 4. Конусы

задачи принимаются в период с момента выдачи листка по 19 июня включительно

Индивидуальные домашние задания

ИДЗ-3

Задания по группам: 211 212 214

Дедлайн 28 февраля 23:00. Дедлайн мягкий.

Лабораторные работы

Для каждой лабораторной работы файл с условием представляет собой IPython ноутбук. Выполнять работу нужно прямо в нём. При этом, пожалуйста, не удаляйте условия задач. Задание должно быть выполнено на языке Python 3.

Готовые лабораторные нужно сдавать в систему AnyTask. Инвайты для регистрации на курс:

211 212 214
tl7vTmf qHs34vJ WtaEZe2

Краткое руководство по работе с системой прилагается.

Для того чтобы начать работать с IPython (Jupyter) ноутбуками, рекомендуется скачать Анаконду (теоретически можно и без неё справиться, но лучше не ищите себе сложностей).

Все вопросы по лабораторным работам можно задавать Станиславу Николаевичу Федотову. Пишите на почту: st-fedotov@yandex-team.ru

Внимание: тема письма должна начинаться с [ФКН - лабораторная N], где N — номер лабораторной работы.

Без этого письмо с некоторой вероятностью может остаться без ответа.

Лабораторная работа 1 (3-й модуль)

Файл с условием, а также картинка к файлу лежат тут.

Срок:

4 февраля 23:00 для всех групп

Лабораторная работа 2 (3-й модуль)

Файл с условием, а также остальные файлы лежат тут

Срок:

22 мая 23:00 для всех групп

Лабораторная работа 3 (4-й модуль)

Файл с условием, а также остальные файлы лежат тут

Срок:

13 июня 23:00 для всех групп

Контрольные работы

2-й модуль

Дата-время: 2 декабря, 18:00

4-й модуль

Коллоквиумы

2-й модуль

Дата проведения TBA

Материалы для подготовки:

Список определений и формулировок

Список вопросов на доказательство

Формат проведения:

Предварительные правила проведения коллоквиума

4-й модуль

Экзамен

2-й модуль

4-й модуль

Ведомости текущего контроля

1-2 модули

Результаты проверки больших домашних заданий

211 212 214

Результаты сдачи задач из листков

211 212 214

Результаты 1-й контрольной работы

211 212 214

Сводные таблицы с оценками

211 212 214

3-4 модули

Результаты проверки больших домашних заданий

211 212 214

Результаты сдачи задач из листков

211 212 214

Результаты 2-й контрольной работы

211 212 214

Сводные таблицы с оценками

211 212 214

Ссылки

  • Общие
  1. Канал в Telegram
  1. Лекции на github.
  1. Материалы и виртуальные доски с лекций
  1. Плейлист на youtube с видеозаписями лекций.
  • Группа 211
  1. Группа в Telegram
  2. Материалы семинаров и домашние задания
  • Группа 214
  1. Чат в Telegram
  2. Материалы семинаров и домашние задания

Литература

Учебники

  • Э.Б. Винберг. Курс алгебры. М.: Факториал, 1999 (или любое последующее издание)
  • А.И. Кострикин. Введение в алгебру. Часть I. Основы алгебры. М.: Физматлит, 1994
  • А.И. Кострикин. Введение в алгебру. Часть II. Линейная алгебра. М.: Физматлит, 2000
  • S. Axler. Linear Algebra Done Right, Second Edition, Springer, 1997 (или любое последующее издание)

Сборники задач

  • Сборник задач по алгебре под редакцией А.Н. Кострикина. Новое издание. М.: МЦНМО, 2009.
  • И.В. Проскуряков. Сборник задач по линейной алгебре (любое издание, например М.: БИНОМ, 2005)
  • Г.Д. Ким, Л.В. Крицков. Алгебра и аналитическая геометрия. Теоремы и задачи. Том I. М.: "Планета знаний", 2007.