
Metrizer
UK
/ˈmɛtraɪzə/
US
/ˈmɛtraɪzɚ/

Translation metrizer into russian
metrizer
NounUK
/ˈmɛtraɪzə/
US
/ˈmɛtraɪzɚ/
The metrizer is used to convert a topological space into a metric space.
Метризатор используется для преобразования топологического пространства в метрическое пространство.
Definitions
metrizer
NounUK
/ˈmɛtraɪzə/
US
/ˈmɛtraɪzɚ/
A function or tool that assigns a metric to a set, allowing the set to be analyzed in terms of distance and topology.
The mathematician used a metrizer to convert the topological space into a metric space for further analysis.