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

Πρότυπο:Επιστημονικό πεδίο Στα μαθηματικά, μετρικός χώρος είναι ένα σύνολο στο οποίο έχει οριστεί η έννοια της «απόστασης». Συγκεκριμένα, ας είναι $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) ή μη συμμετρικός μετρικός χώρος.

Αυτό το λήμμα μαθηματικό χρειάζεται επέκταση. Μπορείτε να βοηθήσετε την Βικιπαίδεια επεκτείνοντάς το.

This article "Μετρικός χώρος" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Μετρικός χώρος. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.