Алгебраи́ческая тополо́гия — раздел топологии, изучающий топологические пространства путём сопоставления им алгебраических объектов, а также поведение этих объектов под действием различных топологических операций.
Непреры́вное отображе́ние — отображение из одного пространства в другое, при котором близкие точки области определения переходят в близкие точки области значений.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Ба́нахово пространство — нормированное векторное пространство, полное по метрике, порождённой нормой. Основной объект изучения функционального анализа.
Лине́йное отображе́ние — обобщение линейной числовой функции на случай более общего множества аргументов и значений. Линейные отображения, в отличие от нелинейных, достаточно хорошо исследованы, что позволяет успешно применять результаты общей теории, так как их свойства не зависят от природы величин.
Сопряжённый оператор — обобщение понятия эрмитово-сопряжённой матрицы для бесконечномерных пространств.
Изоморфи́зм — соотношение между математическими объектами, выражающее общность их строения; используется в разных разделах математики и в каждом из них определяется в зависимости от структурных свойств изучаемых объектов. Обычно изоморфизм определяется для множеств, наделённых некоторой структурой, например, для групп, колец, линейных пространств; в этом случае он определяется как обратимое отображение (биекция) между двумя множествами со структурой, сохраняющее эту структуру, то есть показывающее, что объекты «одинаково устроены» в смысле этой структуры. Если между объектами существует изоморфизм, то они называются изоморфными. Изоморфизм всегда задаёт отношение эквивалентности на классе таких структур.
Гомеоморфи́зм — непрерывная биекция с непрерывной обратной. Является центральным понятием топологии.
Крива́я или ли́ния — геометрическое понятие, определяемое в разных разделах математики различно.
Функтор — особый тип отображений между категориями. Его можно понимать как отображение, сохраняющее структуру. Функторы между малыми категориями являются морфизмами в категории малых категорий. Совокупность всех категорий не является категорией в обычном смысле, так как совокупность её объектов не является классом. Один из способов преодолеть подобные теоретико-множественные трудности — добавление в ZFC независимой от неё аксиомы о существовании недостижимых кардиналов.
Конформное отображение — непрерывное отображение, сохраняющее углы между кривыми, а значит и форму бесконечно малых фигур.
Липшицево отображение — отображение, увеличивающее расстояние между образами точек не более чем в 
раз, где называется константой Липшица данной функции. Названо в честь Рудольфа Липшица.
Теорема о неявной функции — общее название для теорем, гарантирующих локальное существование и описывающих свойства неявной функции, то есть функции
, 
,
Крива́я Пеа́но — общее название для параметрических кривых, образ которых содержит квадрат. Другое название — заполняющая пространство кривая.
Равностепенная непрерывность — свойство семейства непрерывных функций, заключающееся в том, что всё семейство функций изменяется некоторым контролируемым образом. Применяется, чтобы выбрать равномерно сходящуюся последовательность из некоторого семейства функций: теорема Арцела — Асколи позволяет это сделать для равностепенно непрерывного и равномерно ограниченного семейства на, например, компактном метрическом пространстве.
Росток объекта на топологическом пространстве выражает локальные свойства объекта. В некотором смысле можно сказать, что это новый объект, который перенимает лишь локальные свойства объекта его породившего. Очевидно, что различные функции могут задавать один и тот же росток. В таком случае все локальные свойства у таких функций совпадают и достаточно рассматривать свойства не самих функций, а лишь их ростков. Важный момент заключается в том, чтобы ввести понятие локальности, поэтому ростки рассматривают для объектов на топологическом пространстве.
Пучок — структура, используемая для установления отношений между локальными и глобальными свойствами или характеристиками некоторого математического объекта. Пучки играют значительную роль в топологии, дифференциальной геометрии и алгебраической геометрии, но также применяются в теории чисел, анализе и теории категорий.
