квазикомпактный

Часть речиприл.Значений1
  1. о топологическом пространстве: такое, в котором всякий фильтр имеет по крайней мере одну точку прикосновения, что эквивалентно следующим трём условиям: 1) всякое семейство замкнутых множеств в X, пересечение которого пусто, содержит конечное подсемейство с пустым пересечением; 2) всякий ультрафильтр в X сходится; 3) всякое открытое покрытие пространства X содержит конечное открытое покрытие этого пространства (условие Бореля - Лебега)«Обобщая результаты Вейля и Картье, Гротендик доказывает, что абсолютно плоский квазикомпактный морфизм является морфизмом эффективного спуска для категорий квазикогерентных пучков, аффинных или квазиаффинных 5-схем, накрывающих 5-схем конечного типа и некоторых других.», 1972 г. // «Итоги науки и техники»

Источник: статья «квазикомпактный» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.