Μετρική ονομάζεται μια συνάρτηση , όπου τυχόν σύνολο, η οποία ικανοποιεί τις παρακάτω ιδιότητες για κάθε :
- , αν και μόνο αν
- (τριγωνική ανισότητα)
|
Το λήμμα δεν περιέχει πηγές ή αυτές που περιέχει δεν επαρκούν. |
Η τιμή d(x,y) ονομάζεται απόσταση των x, y, (ενν. μέσω της μετρικής d). Οποιοδήποτε σύνολο εφοδιασμένο με μία μετρική ονομάζεται μετρικός χώρος.
Σε έναν μετρικό χώρο επιπλέον, μπορεί να δείξει κανείς ότι
- ,
για κάθε . Πράγματι, για κάθε x και για κάθε y, η τριγωνική ανισότητα δίνει · από τα αξιώματα ταύτισης και συμμετρίας παίρνουμε , δηλαδή .