Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Летняя школа «Современная математика» имени Виталия Арнольда, 2021
26 июля 2021 г. 11:15, Московская область, г. Дубна, дом отдыха «Ратмино»
 


Доказательство Гаусса основной теоремы алгебры. Семинар 2

Н. М. Курносов, И. А. Яковлев
Видеозаписи:
MP4 3,487.5 Mb

Количество просмотров:
Эта страница:53
Видеофайлы:16

Н. М. Курносов, И. А. Яковлев


Видео не загружается в Ваш браузер:
  1. Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт 8080
  2. Сообщите администратору портала о данной ошибке

Аннотация: В 1799 году двадцатидвухлетний математик Карл Фридрих Гаусс опубликовал свою диссертацию. В ней он предложил «первое строгое доказательство» Основной Теоремы Алгебры (точнее показал, что каждый вещественный многочлен раскладывается в произведение многочленов степени один и два). Это утверждение было известно в качестве гипотезы на протяжении двухсот лет, а во второй половине восемнадцатого века было изобретено несколько идей его доказательства. Все они содержали пробелы, разбор которых занимает больше половины небольшого текста [G].
В наше время легко понять, почему крупнейшим математикам того времени не удавалось полностью доказать ОТА. Любое такое доказательство должно содержать топологическую аргументацию, недоступную вплоть до появления работ Коши. Создание топологии в девятнадцатом веке позволило легко формализовать различные идеи доказательства, и теперь их понимание доступно любому младшекурснику (см. обзор в [ТУ]). В нашем курсе мы хотим познакомить слушателей с аргументом из [G] (точнее, с современной его реконструкцией [S]). Он не является самым прямым или простым доказательством ОТА. Однако, этот путь позволит нам познакомится с несколькими красивыми разделам топологии и геометрии.
Гаусс воспользовался нестандартным для своего времени геометрическим взглядом на комплексные числа и представил ОТА как утверждение о пересечении двух вещественных алгебраических кривых. Алгебраическая кривая это множество нулей многочлена от двух переменных. Гаусс использует без доказательства нетривиальные утверждения о кривых на плоскости. Чтобы заполнить его пробелы достаточно элементарных рассуждений (см. например [SV]), мы же попробуем продвинуться дальше, и обсудим алгебраические кривые с разных точек зрения.
    Программа курса
  • Мы начнём с самого базового знакомства с Основной Теоремой Алгебры и приведём несколько современных идей ее доказательства. Мы обсудим идею Гаусса и заполним, следуя Островскому, один из пробелов в его доказательстве.
  • Чтобы довести доказательство Гаусса до конца, нам придётся доказать теорему Жордана. Мы обсудим это утверждение, его следствия, и по дороге изучим несколько топологических конструкций.
  • После этого мы вернёмся к идее Гаусса и рассмотрим поподробнее понятие алгебраической кривой. Мы докажем одно очень естественное утверждение об их локальном строении, которое возникает в [G] и которое не давалась математикам на протяжении всего 19 века.
  • Если останется время, на последней лекции мы опишем локальное разложение алгебраической кривой на ветви, вооружившись алгоритмом Ньютона нахождения решений алгебраических уравнений от двух переменных. Мы докажем теорему Пьюзьё, являющуюся естественным обобщением замечания Гаусса.

Пререквизиты
В большой части курса (кроме, возможно, последней лекции) мы будем использовать только элементарные понятия из топологии, алгебры и анализа, знакомые любому младшекурснику или матшкольнику. Все вспомогательные утверждения из этих областей будут по возможности доказаны. Все лекции будет практически полностью независимы друг от друга.
Этот курс был вдохновлён прекрасной книгой Этьена Жиса [Ж] (см. главы 5-9 и 11). Хочется порекомендовать ее всем участникам школы вне зависимости от посещения данного курса.


Website: https://mccme.ru/dubna/2021/courses/yakovlev.html
Цикл лекций

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021