«предкомпактное пространство»

мат. precompact space

вполне ограниченное пространство, - равномерное пространство X, для всякого окружения Uк-рого существует конечное покрытие Xмножествами порядка U. Другими словами, для каждого окружения должно найтись такое конечное множество , что . Равномерное пространство компактно тогда и только тогда, когда каждая сеть в Xобладает подсетью Копти. Поэтому для того чтобы Xбыло П. и., достаточно, чтобы нек-рое пополнение пространства Xбыло компактным, и необходимо, чтобы каждое пополнение его было компактным.

М. И. Войцеховский.