Топологи́ческое простра́нство — множество, для элементов которого определено, какие из них близки друг к другу. Является центральным понятием общей топологии.
В этом глоссарии приведены определения основных терминов, используемых в общей топологии. Курсивом выделены ссылки внутри глоссария.
Сепара́бельное пространство — топологическое пространство, в котором можно выделить счётное всюду плотное подмножество.
Нормированное пространство — векторное пространство с заданной на нём нормой; один из основных объектов изучения функционального анализа.
Топологи́ческое ве́кторное простра́нство, или топологи́ческое лине́йное простра́нство, — векторное пространство, наделённое топологией, относительно которой операции сложения и умножения на число непрерывны. Термин используется в основном в функциональном анализе.

Гомеоморфи́зм — непрерывная биекция с непрерывной обратной. Является центральным понятием топологии.
Компа́ктное простра́нство — определённый тип топологических пространств, обобщающий свойства ограниченности и замкнутости в евклидовых пространствах на произвольные топологические пространства.
Паракомпактное пространство — топологическое пространство, в любое открытое покрытие которого можно вписать локально конечное открытое покрытие.
Компа́ктный опера́тор — понятие функционального анализа. Компактные операторы естественно возникают при изучении интегральных уравнений, а их свойства схожи со свойствами операторов в конечномерных пространствах. Компактные операторы также часто называют вполне непрерывными.
Слабая сходимость в функциональном анализе — вид сходимости в топологических векторных пространствах.
Рефлексивное пространство — банахово пространство
, совпадающее при каноническом вложении со своим вторым сопряженным
.

Теорема Крейна — Мильмана — важный факт из выпуклого анализа в линейных топологических пространствах. Доказана Марком Крейном и Давидом Мильманом в 1940 году.
Ба́наховой алгеброй над комплексным или действительным полем называется ассоциативная алгебра, являющаяся при этом банаховым пространством. При этом умножение в ней должно быть согласовано с нормой:
.

В функциональном анализе и связанных областях математики стереотипные пространства представляют собой класс топологических векторных пространств, выделяемый неким специальным условием рефлексивности. Этот класс обладает серией замечательных свойств, в частности, он весьма широк, он состоит из пространств, подчиненных определенному условию полноты, и образует замкнутую моноидальную категорию со стандартными аналитическими средствами построения новых пространств, такими как переход к замкнутому подпространству, факторпространству, проективному и инъективному пределам, пространству операторов, тензорным произведениям, и т. д.
Окольцованное пространство — топологическое пространство, каждому открытому множеству которого сопоставлено коммутативное кольцо «функций» на этом множестве. Окольцованные пространства, в частности, используются при определении схем.
K-теория — математическая теория, изучающая кольца, порождённые векторными расслоениями над топологическими пространствами или схемами. В алгебраической топологии эта обобщённая теория когомологий называется топологической K-теорией. В алгебре и алгебраической геометрии соответствующий раздел называется алгебраической K-теорией. Также она играет важную роль в операторных алгебрах и её можно рассматривать как теорию определенных видов инвариантов больших матриц.
Некоммутативная геометрия (НКГ) — раздел математики, посвященный геометрическому подходу к некоммутативным алгебрам и построению «пространств», которые локально представлены некоммутативными алгебрами функций.
Теорема Банаха — Мазура утверждает, что нормированные пространства являются подпространствами пространства непрерывных функций на отрезке. Названа в честь Стефана Банаха и Станислава Мазура.