Metrizer

Translation of "metrizer" into Russian

Noun

/ˈmɛtraɪzə/

/ˈmɛtraɪzɚ/

metrizer

metrizers pl

метризатор

The metrizer is used to convert a topological space into a metric space.

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

Noun

/ˈmɛtraɪzə/

/ˈmɛtraɪzɚ/

(Mathematics, topology) A metric — that is, a distance function — whose induced topology is the one under consideration on a given set.

The analyst introduced a new metrizer to compare various notions of convergence on the function space.

(Poetry, archaic) A person who composes verse; a versifier.

As a skilled metrizer, she could fashion elegant sonnets almost effortlessly.