Metrik uzay
Metrik uzay, üzerinde bir uzaklık fonksiyonu tanımlanmış vektör uzayıdır. (X, d) metrik uzay, boş olmayan bir X cümlesi ve bir uzaklık fonksiyonu olup d'den oluşan bir ikilidir. d(x,y); ∀ x, y ∈ X için tanımlanmış şu dört özelliğe sahip, tek değerli gerçel bir fonksiyondur: d(x,y) \geq 0\, d(x,y) = 0\, ⟺ x = y\, d(x,y) = d(y,x)\, d(x,z) \le d(x,y) + d(y,z)
Bu dört özelliğe sahip ise d'ye X üzerinde bir metrik denir.