Accueil > Dictionnaire > Définitions du mot « métriser »
Métriser
[metrize]
Définitions de « métriser »
Métriser - Verbe
-
Doter un espace d'une métrique, c'est-à-dire une fonction définissant les distances entre les points de cet espace.
Ces conditions topologiques sont équivalentes à la possibilité de métriser E et F par des métriques normales au sens de Cartan : […]
— Comptes rendus hebdomadaires des séances de l’Académie des sciences, 1961 -
Adapter un texte poétique aux règles régissant la structure métrique des vers.
Celle de Denys, tyran de Syracuse, dit Breloque, étoit de métriser des vers, et de les débiter inhumainement à tout venant ; […]
— Charles Nodier, Histoire du roi de Bohême et de ses sept châteaux