Тополо́гия (от др.-греч. τόπος — место и λόγος — слово, учение) — раздел математики.
Топология изучает:
В отличие от геометрии, в топологии не рассматриваются метрические свойства объектов (например, расстояние между парой точек). Например, с точки зрения топологии, кружка и бублик (полноторий) — неотличимы.
Весьма важными для топологии являются понятия гомеоморфизма и гомотопии (грубо говоря, это типы деформации, происходящие без разрывов и склеиваний).
Раздел математики, ныне называемый топологией, берёт своё начало с изучения некоторых задач геометрии.
Различные источники указывают на первые топологические по духу результаты в работах Лейбница и Эйлера, однако термин «топология» впервые появился в 1847 году в работе Листинга. Листинг определяет топологию так:
«Под топологией будем понимать учение о модальных отношениях пространственных образов — или о законах связности, взаимного положения и следования точек, линий, поверхностей, тел и их частей или их совокупности в пространстве, независимо от отношений мер и величин». [2]
Когда топология ещё только зарождалась (XVIII—XIX века), её называли геометрией размещения (лат. geometria situs) или анализом размещения (лат. analysis situs). Приблизительно с 1925 по 1975 годы — топология являлась сильно развивающейся отраслью в математике.
Общая топология зародилась в конце XIX века — и оформилась в самостоятельную математическую дисциплину в начале XX века. Основополагающие работы принадлежат: Хаусдорфу, Пуанкаре, Александрову, Урысону, Брауэру.
Общая топология, или теоретико-множественная топология, — раздел топологии, в котором изучается понятие непрерывности в чистом виде. Здесь исследуются фундаментальные вопросы топологии, а также отдельные вопросы, такие как связность и компактность.
Алгебраическая топология — раздел, в котором происходит изучение непрерывности с использованием алгебраических объектов, вроде гомотопических групп и гомологий.
Дифференциальная топология — раздел, где главным образом изучаются гладкие многообразия с точностью до диффеоморфизма и их включения (размещения) в другие многообразия.
Этот раздел включает в себя маломерную топологию, в том числе теорию узлов и четырёхмерную топологию.
Вычислительная топология — раздел, находящийся на пересечении топологии, вычислительной геометрии и теории вычислительной сложности. Занимается созданием эффективных алгоритмов для решения топологических проблем и применением топологических методов для решения алгоритмических проблем, возникающих в других областях науки.