Математическая энциклопедия - предкомпактное пространство

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

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

Математическая энциклопедия. — М.: Советская энциклопедия

И. М. Виноградов

1977—1985