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