Μετρικός χώρος: Διαφορά μεταξύ των αναθεωρήσεων

Περιεχόμενο που διαγράφηκε Περιεχόμενο που προστέθηκε
Thijs!bot (συζήτηση | συνεισφορές)
μ robot Adding: sv:Metriskt rum
προσθήκη γενικεύσεων και ορθοτυπογραφικά-γλωσσικά
Γραμμή 1:
Στα [[μαθηματικά]], '''μετρικός χώρος''' είναι ένα [[Σύνολο|σύνολο]] στο οποίο έχει οριστεί μία έννοια "απόστασης". Συγκεκριμένα, ας είναι <math>X</math> ένα μη κενό σύνολο, πουκαι εφοδιάζεται<math> μεd:X\times μιαX\rightarrow\mathbb{R}</math> μία [[Συνάρτηση|συνάρτηση]]. Η συνάρτηση θα λέγεται '''μετρική''', και το ζεύγος <math>(X,d)</math> θε λέγεται '''μετρικός χώρος''', αν για κάθε <math>x,y,z\in X</math> πουικανοποιεί ονομάζεταιτα ακόλουθα:
''μετρική'' (συνήθως συμβολίζεται με d), δηλαδή ορίζεται η έννοια της απόστασης μεταξύ των στοιχείων αυτού του συνόλου. Ένα παράδειγμα μετρικού χώρου που συνδέεται με την αντιληπτική ικανότητα του ανθρώπο αποτελεί ο τριδιάστατος [[Ευκλείδειος χώρος]].
 
* d(x,y)<math>\lex=y \;</math>Leftrightarrow d(x,zy)+=0=d(zy,yx) </math> (αξίωμα τριγώνουταύτισης)
==Μαθηματικός ορισμός==
Η μετρική d:XxX<math>\rightarrow \;</math><math>\mathbb{R}\;</math> ικανοποιεί τα εξής τρία αξιώματα:
 
* <math>d(x,y)<math>\ge \;</math>0 και =d(y,x,y)=0 <math>\Leftrightarrow\;</math> x=y (αξίωμα ταύτισηςσυμμετρίας)
 
* <math>d(x,y)=\leq d(y,x,z)+d(z,y)</math> ([[Τριγωνική ανισότητα|αξίωμα συμμετρίαςτριγώνου]])
 
Σε έναν μετρικό χώρο, μπορεί να δείξει κανείς ότι <math>d(x,y)\geq 0</math>, για κάθε <math>x,y\in X</math>. Τυπικό παράδειγμα μετρικού χώρου αποτελεί ο τριδιάστατος [[Ευκλείδειος χώρος|ευκλείδειος χώρος]], εφοδιασμένος με την [[Ευκλείδεια μετρική|ευκλείδεια μετρική]].
* d(x,y)<math>\le \;</math> d(x,z)+d(z,y) (αξίωμα τριγώνου)
 
===Γενικεύσεις===
όπου x,y,z<math>\in \;</math>X.
Ένα σύνολο εφοδιασμένο με μία συνάρτηση, η οποία ικανοποιεί τα αξιώματα συμμετρίας και τριγώνου, αλλά αντί του αξιώματος ταύτισης, ικανοποιεί το
 
* <math>x=y \Rightarrow d(x,y)=0=d(y,x) </math>
 
λέγεται '''ψευδομετρικός χώρος'''. Ακόμη, ένα σύνολο εφοδιασμένο με μια συνάρτηση που ικανοποιεί το αξίωμα ταύτισης και το αξίωμα τριγώνου, αλλά όχι απαραίτητα και το αξίωμα συμμετρίας, λέγεται '''οιονεί μετρικός χώρος''' (quasi-metric space) ή '''μη συμμετρικός μετρικός χώρος'''.
 
{{Μαθηματικά-επέκταση}}