- Определение и примеры топологических групп. Их однородность, аксиомы отделимости T0–T3.
- Полунормы на группах. Важная лемма (без доказательства). Аксиома отделимости T31/2. Метризуемость отделимой топологической группы с первой аксиомой счётности.
- Топологизируемость бесконечных групп. Примеры нетопологизируемых групп.
- Критерий того, что топология на группе является групповой. База топологии топологической группы, состоящая из сдвигов окрестностей единицы. Критерий того, что семейство подмножеств группы является базой окрестностей единицы некоторой групповой топологии на этой группе.
- Пересечения множеств вида A·U, U·A и U, где A — фиксированное подмножество группы и U пробегает множество всех окрестностей единицы.
- Утверждения: произведение произвольного подмножества топологической группы и открытого множества открыто; произведение замыканий подмножеств содержится в замыкании их произведения; произведение замкнутого и компактного подмножеств замкнуто; произведение связных подмножеств связно.
- Подгруппы топологических групп. Утверждения: замыкание подгруппы — подгруппа; подгруппа с непустой внутренностью открыта; связная компонента единицы — замкнутая нормальная подгруппа.
- Линейная топология на группе. Теорема ван Данцига: если топологическая группа локально компактна и вполне несвязна, то её топология отделима и линейна. Теорема: в компактной топологической группе окрестности единицы, инвариантные относительно сопряжений, составляют базу окрестностей единицы. Следствие о компактной вполне несвязной группе.
- Прямое (декартово) произведение и прямая сумма топологических групп.
- Гомоморфизмы топологических групп. Утверждение: всякий факторный гомоморфизм открыт. Топологические факторгруппы топологических групп, их отделимость. Факторгруппа по пересечению окрестностей единицы.
- Факторгруппа по компоненте связности единицы. Проконечная топология, её связь с финитной аппроксимируемостью.
- Свободная топологическая группа: определение, существование.
- Граевское продолжение псевдометрик (без доказательства). Доказательство того, что свободная топологическая группа алгебраически свободна.
- Теорема Граева: свободная топологическая группа компактов является индуктивным пределом своих подпространств, самая общая схема её доказательства. Теорема: любая конечная степень тихоновского пространства X вкладывается в F(X) в качестве замкнутого подпространства.
- Теорема Ткаченко: σ-компактная топологическая группа обладает свойством Суслина, самая общая схема её доказательства.
- Обобщения топологических групп. Теорема Эллиса–Нумакуры о существовании идемпотента в компактной полугруппе.
- Теорема Эллиса о том, что локально компактная полутопологическая группа является топологической группой: формулировки лемм (лемма о непрерывности обратного в компактной паратопологической группе с доказательством), вывод теоремы из них.
- Равномерные пространства, топология, порождённая равномерностью. Полное равномерное пространство. Замкнутость полного равномерного пространства в объемлющем полном равномерном пространстве.
- Фильтр, его база. Фильтр Коши. Два критерия полноты в терминах фильтра Коши.
- Направленности, их сходимость. Направленности Коши. Критерий полноты в терминах направленностей Коши.
- Равномерности на топологических группах. Группы, полные по Райкову. B-направленности Коши. Пополнение топологической группы по Райкову (описание конструкции без доказательства). Замкнутость полной топологической группы в любой объемлющей топологической группе.
- Пространство непрерывных функций на топологическом пространстве с топологией поточечной сходимости: стандартная база топологии, каноническое отображение вычисления.
- Линейное топологическое пространство, сопряжённое пространству Cp(X).
- Теорема Нагаты об изоморфизме топологических колец Cp(X) и Cp(Y).
- Отображение сужения и двойственное отображение, их основные свойства.
- Кардинальные инварианты пространств Cp(X) (три на выбор).
- Пространство гомеоморфизмов, топологии на нём. Теорема: если X — нормальное пространство, то Homeo(X) с замкнуто-открытой топологией — топологическая группа.