Απόσταση σε Μετρικούς Χώρους

Συντονιστής: spyros

TrItOs
Δημοσιεύσεις: 81
Εγγραφή: Τρί Ιουν 09, 2015 6:50 pm

Απόσταση σε Μετρικούς Χώρους

#1

Μη αναγνωσμένη δημοσίευση από TrItOs »

Έστω ο μετρικός χώρος  \big( \mathbb{X} , d \big) και  A \subseteq \mathbb{X} . Τότε  d(x,A) = \inf \{ d(x,a) : a \in A \} = 0 \Leftrightarrow x \in \overline{A} .
Όπου  \overline{A} είναι η κλειστή θήκη του  A , δηλαδή είναι η τομή όλων των κλειστών υποσυνόλων του  \mathbb{X} που περιέχουν το  A και επιπλέον  x \in A .
Πράγματι ,
 \Rightarrow \text{ } d(x,A) = 0 \Rightarrow \exists a_{1} \in A : d(x,a_{1}) = 0 \Leftrightarrow x = a_{1} \in A \Rightarrow x \in \overline{A} \quad A \subseteq \overline{A}
 \Leftarrow \text{ } x \in \overline{A} \Leftrightarrow \exists x_{n} \in A , \forall n \in \mathbb{N} : x_{n} \rightarrow x \Leftrightarrow d(x,x_{n}) \rightarrow 0 , 0 \leqslant d(x,A) \leqslant d(x,x_{n}) \Rightarrow d(x,A) = 0
Τελευταία επεξεργασία από το μέλος TrItOs την Τετ Μάιος 27, 2020 6:04 pm, έχει επεξεργασθεί 2 φορές συνολικά.

Ετικέτες:
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18371
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Απόσταση σε Μετρικούς Χώρους

#2

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

TrItOs έγραψε: Τρί Μάιος 26, 2020 7:50 am Έστω ο μετρικός χώρος  \big( \mathbb{X} , d \big) και  A \subseteq \mathbb{X} . Τότε  d(x,A) = \inf \{ d(x,a) : a \in A \} = 0 \Leftrightarrow x \in \overline{A} .
Όπου  \overline{A} είναι η κλειστή θήκη του  A , δηλαδή είναι η τομή όλων των κλειστών υποσυνόλων του  \mathbb{X} που περιέχουν το  A και επιπλέον  x \in A .
Πρόκειται για ιδιαίτερα απλή και στάνταρ άσκηση που υπάρχει σε όλα τα βιβλία Μετρικών Χώρων. Εάν την προτείνεις εδώ για τους αναγνώστες, μάλλον περιττεύει ως κοινοτυπία. Αν θέλεις υπόδειξη για άσκηση που συνάντησες, θα έλεγα προσπάθησέ την ακόμα.
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 18371
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Απόσταση σε Μετρικούς Χώρους

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou »

Οι γραμμές από το "Πράγματι" και πέρα προστέθηκαν αργότερα. Δεν ήσαν εκεί όταν πρωτοδιάβασα το μήνυμα. Πάντως, για ξαναδές το
TrItOs έγραψε: Τρί Μάιος 26, 2020 7:50 am
 ... \text{ } d(x,A) = 0 \Leftrightarrow \exists a_{1} \in A : d(x,a_{1}) = 0
Για παράδειγμα αν x=0, \, A=(0,1) τότε d(x,A) = 0, πλην όμως δεν υπάρχει a_{1} \in A : d(x,a_{1}) = 0 (το τελευταίο ισοδυναμεί με x\in A, δηλαδή 0\in (0,1), που δεν ισχύει).
Απάντηση

Επιστροφή στο “Γενικά Μηνύματα”

Μέλη σε σύνδεση

Μέλη σε αυτήν τη Δ. Συζήτηση: Δεν υπάρχουν εγγεγραμμένα μέλη και 2 επισκέπτες