en

Metrizer

ru

Перевод слова "metrizer" на Русский язык

metrizer
Существительное
raiting
UK
/ˈmɛtraɪzə/
US
/ˈmɛtraɪzɚ/
metrizer
metrizers множ.
метризатор
The metrizer is used to convert a topological space into a metric space.
Метризатор используется для преобразования топологического пространства в метрическое пространство.

Опеределения

metrizer
Существительное
raiting
UK
/ˈmɛtraɪzə/
US
/ˈ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.