Μετρικός χώρος

Στα μαθηματικά, μετρικός χώρος είναι ένα σύνολο στο οποίο έχει οριστεί η έννοια της «απόστασης». Συγκεκριμένα, ας είναι $X$ ένα μη κενό σύνολο, και $d:X\times X\rightarrow \mathbb {R}$ μία συνάρτηση. Η συνάρτηση θα λέγεται μετρική, και το ζεύγος $(X,d)$ θε λέγεται μετρικός χώρος, αν για κάθε $x,y,z\in X$ ικανοποιεί τα ακόλουθα:

• $x=y\Leftrightarrow d(x,y)=0=d(y,x)$ (αξίωμα ταύτισης)

• $\,d(x,y)=d(y,x)$ (αξίωμα συμμετρίας)

• $d(x,y)\leq d(x,z)+d(z,y)$ (αξίωμα τριγώνου)

Απόσταση δύο σημείων x, y του χώρου, ονομάζεται η τιμή d(x,y).

Σε έναν μετρικό χώρο επιπλέον, μπορεί να δείξει κανείς ότι

$d(x,y)\geq 0$,

για κάθε $x,y\in X$. Πράγματι, για κάθε x και για κάθε y, η τριγωνική ανισότητα δίνει $d(x,y)+d(y,x)\geq d(x,x)$· από τα αξιώματα ταύτισης και συμμετρίας παίρνουμε $2d(x,y)\geq 0$, δηλαδή $d(x,y)\geq 0$. Τυπικό παράδειγμα μετρικού χώρου αποτελεί ο τριδιάστατος ευκλείδειος χώρος, εφοδιασμένος με την ευκλείδεια μετρική. Άλλο τυπικό παράδειγμα μετρικού χώρου είναι ο Διακριτός Μετρικός χώρος ο οποίος ορίζεται αν σε ένα τυχαίο σύνολο ορίσουμε την μετρική ως εξής: $d(x,y)=1$ αν $x\neq y$ και $d(x,y)=0$ αν $x=y$ Εύκολα δείχνουμε ότι ισχύουν και οι τρεις ιδιότητες της μετρικής.

Γενικεύσεις

Ένα σύνολο εφοδιασμένο με μία συνάρτηση, η οποία ικανοποιεί τα αξιώματα συμμετρίας και τριγώνου, αλλά αντί του αξιώματος ταύτισης, ικανοποιεί το

• $x=y\Rightarrow d(x,y)=0=d(y,x)$

λέγεται ψευδομετρικός χώρος. Ακόμη, ένα σύνολο εφοδιασμένο με μια συνάρτηση που ικανοποιεί το αξίωμα ταύτισης και το αξίωμα τριγώνου, αλλά όχι απαραίτητα και το αξίωμα συμμετρίας, λέγεται οιονεί μετρικός χώρος (quasi-metric space) ή μη συμμετρικός μετρικός χώρος.