Precompact

Translation of "precompact" into Russian

Adjective

/priːˈkəm.pækt/

/priˈkɑm.pækt/

precompact

The precompact set in the topological space has a compact closure.

Предкомпактное множество в топологическом пространстве имеет компактное замыкание.

Verb

/priːˈkəm.pækt/

/priˈkɑm.pækt/

To compact (a material, layer, or surface) in advance, before its final placement or use.

The road crew precompacted the gravel before spreading asphalt.

Adjective

/priːˈkəm.pækt/

/priˈkɑm.pækt/

In mathematics, particularly in topology, a space is precompact if its closure is compact.

The subset of the metric space is precompact, meaning its closure is compact.

Compacted or densified in advance of final placement or use; precompacted.

A precompact layer of soil was laid before the foundation was poured.

precompact set

A precompact set in this metric space is one whose closure is compact.

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

Предкомпактное множество в этом метрическом пространстве — это такое, замыкание которого компактно.

precompact topological group

The group is a precompact topological group under the given topology.

предкомпактная топологическая группа

Группа является предкомпактной топологической группой при данной топологии.

precompact space

Every precompact space has a compact completion.

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

Каждое предкомпактное пространство имеет компактное завершение.

precompact subset

The image of (something) under (a function) is a precompact subset.

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

Образ (чего-либо) при (функции) является предкомпактным подмножеством.

precompact uniform space

A precompact uniform space is not necessarily compact.

предкомпактное униформное пространство

Предкомпактное униформное пространство не обязательно компактно.