
Топология — это математическое исследование свойств, сохраняющихся при непрерывных деформациях, таких как узлы и поверхности.Топология классифицирует пространства по инвариантам — свойствам, которые не меняются при непрерывных деформациях (гомеоморфизмах). Самый наглядный инвариант — эйлерова характеристика: для многогранников она равна числу вершин минус число рёбер плюс число граней. Более тонкий инструмент — гомотопические группы, описывающие, можно ли стянуть петлю в точку. Эти идеи пронизывают физику: от топологических фаз в твёрдых телах до возможной формы Вселенной.
Термин «топология» предложил Иоганн Листинг в 1847 году. Подлинный расцвет науки начался с Анри Пуанкаре, который в 1895 году ввёл гомологии и фундаментальную группу. Его гипотезу о трёхмерной сфере доказал Григорий Перельман в 2003 году. В физику топологию принесли работы Поля Дирака и других, обнаружившие монополи и инстантоны.
Пространство триангулируется — разбивается на симплексы (точки, отрезки, треугольники и их обобщения). Граница каждого симплекса состоит из граней на единицу меньшей размерности. Рассматривая формальные линейные комбинации симплексов (цепи) и оператор границы, получают цепной комплекс. Группы гомологий Hₙ — это фактор-группы циклов (цепей с нулевой границей) по границам; они «считают» дырки разной размерности. Непрерывное отображение f: X→Y индуцирует гомоморфизм между группами гомологий, сохраняя топологическую информацию.
Топологические изоляторы пропускают ток только по поверхности, открывая путь к сверхэффективной электронике. В биологии топология описывает, как распутываются узлы ДНК при делении клетки.
Теорема о причёсывании ежа утверждает: на сфере всегда найдётся хотя бы одна макушка, где волосы торчат. Это топологическое ограничение объясняет, почему магнитное поле Солнца всегда имеет вихри — солнечные пятна.
| a(n) | переменная | Число немеченых объектов — count |
| n | переменная | Параметр размера (например, число элементов) — count |
| π | переменная | Перестановка в симметрической группе — permutation |
| fix(π) | переменная | Число неподвижных точек перестановки π — count |
| ∑ | оператор | Сумма по всем перестановкам — суммирование |
| 1/n! | оператор | Среднее по группе — среднее |



















