Михаил Александрович Раскин
«Мы не можем ждать милостей от природы», или применение метода вынуждения в построении моделей теории множеств
М. А. Раскин планирует провести 4 занятия.
Доступны 4 видеозаписи курса.
В теории множеств есть несколько известных вопросов о том, следует ли из некоторых аксиом другая аксиома (или гипотеза; аксиома — это просто гипотеза, которой пользуется подавляющее большинство). Как и в других областях математики, недоказуемость можно продемонстрировать с помощью модели, в которой верны предположения, но не верна гипотеза.
Для построения одного из самых известных таких примеров, модели теории множеств, в которой есть промежуточная мощность между мощностями натурального ряда и вещественной прямой, Коэн разработал метод вынуждения. Неформально говоря, мы постепенно определяемся, какую модель мы строим, и про некоторые свойства результата доказываем, что никогда не поздно решить их обеспечить. Тогда нетрудно показать, что можно по очереди обеспечить много таких свойств для одной модели. Оказывается, что такой подход является мощным и удобным инструментом в теории множеств.
Довольно трудно что-то успеть доказать с помощью метода вынуждения за четыре занятия; чтобы увеличить свои шансы, я буду предполагать, что и запись математических утверждений с помощью кванторов и формальных связок (∀∃∨∧→¬), и доказательство неравномощности каждого множества с множеством своих подмножеств слушателям знакомы.
Участников, знающих, какие курсы я обычно читаю, надо сразу предупредить: здесь я хочу доказать конкретное утверждение, даже если и с потерями среди аудитории. Я надеюсь, потери будут невелики.
Программа курса
- 1. Модели теории множеств внутри теории множеств.
- 2. Понятие фильтра общего положения на внутреннем частично упорядоченном множестве.
- 3. Понятие вынуждения для добавления фильтра в модель. Выразимость вынуждения во внутренней модели.
- 4. Схлопывание мощностей.
- 5. Модель без континуум-гипотезы: добавление подмножества произведения алеф-0 и алеф-2 общего положения.
- 6. Модель с аксиомой конструктивности; там окажется верна континуум-гипотеза (без доказательства, но с пояснениями)
- 7. Что посмотреть дальше: как построить модель, где аксиома выбора слабее, зато все функции интегрируемы по Лебегу (столько формулировок, сколько успеем, быть может, ноль).
Хочется верить, что желающие слушатели смогут к концу курса задавать Верные Вопросы про возможные модели ZF; я не являюсь Ответчиком, так что я не знаю многих интересных вещей, зато умею отвечать на неточные вопросы.
Материалы
Программа курсов и семинаров МЦНМО-НМУ в весеннем семестре 2024/2025 года
Расписание занятий в этом семестре
Курсы, читавшиеся в НМУ в разные годы (All Courses)
Если не указано иное, то начало занятий 7 февраля 2025.
Все обязательные курсы, почти все спецкурсы и некоторые доклады на спецсеминарах будут записываться на видео. Они будут доступны на общедоступном ресурсе.
К ВИДЕО-записям курсов этого семестра
Обязательные курсы
Первый курс
- Константин Валерьевич Логинов
- Алгебра-2
- читается по понедельникам с 17:30, очно+трансляция.
- Георгий Черных
- Топология-1
- читается по четвергам с 17:30, очно+трансляция.
- Олег Карлович Шейнман
- Математический анализ-2
- читается по пятницам с 17:30, очно+трансляция.
Второй курс
- Тарас Евгеньевич Панов
- Топология-3
- читается по понедельникам с 17:30 (семинары с 19:20), очно+трансляция
- Алексей Викторович Пенской
- Дифференциальная геометрия
- читается по средам с 17:30 (семинары с 19:20), очно+трансляция
- Алексей Игоревич Ильин
- Алгебра-4 (Группы и алгебры Ли)
- читается по четвергам с 17:30, очно+трансляция.
Список спецкурсов и спецсеминаров в весеннем семестре 2024/2025 года
- Михаил Юрьевич Розенблюм
- Алгебраическая теория чисел: введения. Продолжение годового спецкурса
- Денис Николаевич Терешкин
- Аддитивные и абелевы категории. Спецкурс рекомендован для 3-5 курсов.
- Константин Валерьевич Логинов
- Введение в ограниченность многообразий Фано. Спецкурс рекомендован для 3-5 курсов.
- Георгий Игоревич Шарыгин
- Циклические гомологии и их применения. Спецкурс рекомендован для 3-5 курсов.
- Андроник Арамович Арутюнов
- Грубая геометрия. Спецкурс в формате лекция + семинар, рекомендован для 3-5 курсов.
- Андрей Дмитриевич Рябичев
- Введение в поверхности бесконечного типа. Спецкурс рекомендован для 3-5 курсов.
- Георгий Борисович Шабат
- Тэта-функции и решетки. Часть 2. Спецкурс рекомендован для 3-5 курсов.
- Тарас Евгеньевич Панов
- Торическая топология, комбинаторика и теория гомотопий. Спецсеминар
- Георгий Игоревич Шарыгин и др.
- Деформационное квантование и квантовые группы. Спецсеминар
- А.М.Вербовецкий и И.С.Красильщик
- Когомологические аспекты геометрии дифференциальных уравнений,
руководители А.М.Вербовецкий и И.С.Красильщик - Николай Германович Мощевитин
- Диофантовы приближения. Спецсеминар рекомендован для 3-5 курсов
- Владимир Олегович Медведев
- Геометрия общей теории относительности. Спецкурс совместно с матфаком ВШЭ, рекомендован для 3-5 курсов.
- Алексей Викторович Пенской
- Риманова геометрия. Спецкурс совместно с матфаком ВШЭ, рекомендован для 3-5 курсов.
- Александр Борисович Калмынин
- Методы решета. Спецкурс рекомендован для 3-5 курсов.
- Алексей Викторович Пенской
- Спектральная геометрия. Спецсеминар рекомендован для 3-5 курсов.