ВНИМАНИЕ!
Чтобы сдать экзамен, надо предварительно записаться в таблицу. В таблице несколько страниц для записи на разные даты. Ссылка на таблицу: https://docs.google.com/spreadsheets/d/19sULrX0kU3j2UBHyESmMAFUSOhRoTb-M5N2SHMdO7tg/edit?usp=sharing
Во время экзаменационной сессии будут назначены дополнительные даты, если найдутся желающие сдавать экзамен. О своих пожеланиях на этот счёт просьба сообщать по почте: o-sipa@yandex.ru
Понедельник 16:45, ауд. 414 (второй корпус)
Объекты изучения топологической алгебры — это топологические пространства, наделённые алгебраической структурой, согласованной с топологией; другими словами, это универсальные алгебры (т.е. множества с операциями), наделённые топологией, относительно которой все или некоторые операции непрерывны или раздельно непрерывны. Уже само существование такой топологии оказывает неожиданно большое влияние на алгебраические свойства рассматриваемых объектов и наоборот — существование непрерывных операций очень сильно влияет на топологические свойства.
Главная цель курса — привлечь внимание слушателей к теории топологических универсальных алгебр и её применению в разных областях математики.
- Универсальные алгебры. Гомоморфизмы, конгруэнции, факторалгебры, подалгебры. Тождества.
- Теорема Биркгофа.
- Свободные алгебры в данном многообразии, их существование.
- Производные операции. Мальцевский терм (операция Мальцева). Примеры алгебр с производной операцией Мальцева.
- Теорема Мальцева о перестановочности конгруэнций.
- Топологические алгебры. Аксиомы отделимости в топологических алгебрах с производной операцией Мальцева и в топологических лупах.
- Коммутативность фундаментальной группы линейно связной топологической алгебры, имеющей бинарную операцию с нейтральным элементом.
- Многообразия топологических алгебр. Свободные топологические алгебры, их существование.
- Изоморфизм между несущей абстрактной алгеброй свободной топологической алгебры топологического пространства X в нетривиальном многообразии топологических алгебр и абстрактной свободной алгеброй множества X в соответствующем многообразии абстрактных алгебр. Инъективность отображения iX пространства X в его свободную топологическую алгебру в нетривиальном многообразии.
- Характеризация топологии свободной топологической алгебры топологического пространства X как самой сильной из всех топологий, согласованных с операциями и индуцирующих на множестве X топологию, содержащуюся в топологии пространства X.
- Вывод теоремы о том, что тихоновское топологическое пространство гомеоморфно вложено в его свободную топологическую алгебру в любом нетривиальном многообразии топологических алгебр из теоремы Сверчковского.
- Замкнутость тихоновского пространства X в его свободной топологической алгебре.
- Индуктивный предел топологических пространств. Сохранение топологии индуктивного предела факторными отображениями.
- Пример топологической алгебры, гомоморфный образ которой с фактортопологией не является топологической алгеброй.
- Теорема Мальцева–Тэйлора: для того, чтобы все гомоморфные образы алгебр из данного многообразия топологических алгебр с фактортопологией были топологическими алгебрами, необходимо и достаточно, чтобы среди производных операций этого многообразия была операция Мальцева. Доказательство достаточности.
- Топологические группы, их основные свойства.
- Проблема существования недискретной групповой топологии на бесконечной группе.
- Теорема: всякий компакт с непрерывной операцией Мальцева является ретрактом топологической группы.
- Свойство Суслина в топологических алгебрах с операцией Мальцева, являющихся счётными объединениями компактов.
- Раздельно непрерывные операции. Кросс-топология на произведении топологических пространств и её связь с раздельной непрерывностью отображений.
- Факторность произведения факторных отображений относительно кросс-топологии.
- Квазитопологические алгебры. Теорема: гомоморфный образ квазитопологической алгебры с фактортопологией является квазитопологической алгеброй.
- Абсолютно свободная квазитопологическая алгебра.
- Свободные квазитопологические алгебры. Топология индуктивного предела на таких алгебрах.
- Теорема Эллиса–Нумакуры о существовании идемпотента.
- Ультрафильтры, основное свойство ультрафильтров. Главные и неглавные ультрафильтры. Существование неглавных ультрафильтров.
- Топологическое пространство ультрафильтров, его свойства.
- Полугруппа ультрафильтров на полугруппе.
- Теорема Шура о раскрасках натуральных чисел.
- Проблема продолжения (раздельно) непрерывных операций и тождеств на объемлющие пространства.
Рукописные записки к лекциям можно скачать здесь:.