1356

Κάθε γνήσιο αντίτυπο φέρει τη σφραγίδα του εκδότη

ΘΩΜΑΣ Α. ΚΥΒΕΝΤΙΔΗΣ • Γεννήθηκε το 1947 στο Νέο Πετρίτσι του Ν. Σερρών. • Το 1965 αποφοίτησε από το εξατάξιο Γυμνάσιο Σιδηροκάστρου του Ν. Σερρών

και εγγράφηκε στο Τμήμα Μαθηματικών του Πανεπιστημίου Θεσσαλονίκης. • Πήρε το πτυχίο των Μαθηματικών το 1969. • Αναγορεύτηκε διδάκτορας στο τμήμα Μαθηματικών του Πανεπιστημίου

Θεσσαλονίκης το 1979 και από το 1972 μέχρι σήμερα εργάζεται σ’ αυτό. ISBN 978-960-456-177-3

Aπαγορεύεται η με κάθε τρόπο αντιγραφή ή αναπαραγωγή μέρους ή όλου του βιβλίου χωρίς την έγγραφη άδεια του συγγραφέα και του εκδότη.

Copyright © 2009 ΘΩMAΣ A. KYBENTIΔHΣ, Eκδόσεις ZHTH Διορθωμένη ανατύπωση 1/2010

18ο χλμ Θεσσαλονίκης - ΠεραίαςT.Θ. 4171 • Περαία Θεσσαλονίκης • T.K. 570 19Tηλ.: 2392.072.222 - Fax: 2392.072.229 • e-mail: [email protected]

Π. ZHTH & Σια OEΦωτοστοιχειοθεσίαEκτύπωση

Βιβλιοδεσία

www.ziti.gr

BIBΛIOΠΩΛEIO ΘΕΣΣΑΛΟΝΙΚΗΣ - KENTPIKH ΔIAΘEΣH:Aρμενοπούλου 27 - 546 35 Θεσσαλονίκη • Tηλ.: 2310-203.720 • Fax 2310 211.305e-mail: [email protected]

BIBΛIOΠΩΛEIO AΘHNΩN - ENΩΣH EKΔOTΩN BIBΛIOY ΘEΣΣAΛONIKHΣ:Στοά του Bιβλίου (Πεσμαζόγλου 5) - 105 64 AΘHNA • Tηλ.-Fax: 210-3211.097

AΠOΘHKH AΘHNΩN - ΠΩΛHΣH XONΔPIKH:Aσκληπιού 60 - Eξάρχεια 114 71, Aθήνα • Tηλ.-Fax: 210-3816.650 • e-mail: [email protected]

ΗΛΕΚΤΡΟΝΙΚΟ ΒΙΒΛΙΟΠΩΛΕΙΟ: www.ziti.gr

«Μίζερη των θνητών γενιά, που έβαλες τέτοιους θεούς στο κεφάλι σου και ρήμαξες την ίδια τη ζωή σου»

ΛΟΥΚΡΗΤΙΟΣ (98-55 π.Χ.) Ρωμαίος Ποιητής - Επικούρειος

Αφιερώνεται στη μνήμη του θείου μου

Βασίλη Σ. Παπαδόπουλου

Πρόλογος Η Μαθηματική Ανάλυση στην ανάπτυξη των διαφόρων κλάδων της (Λογι-σμοί, Διαφορικές Εξισώσεις, Μιγαδική και Πραγματική Ανάλυση, Συναρτησιακή Ανάλυση) γίνεται πολύπλοκη και παρουσιάζει ιδιαίτερες δυσκολίες. Γι’ αυτό είναι ανάγκη να διατυπωθούν οι θεμελιώδεις αρχές πάνω στις οποίες βασίζεται η Μαθηματική Ανάλυση, κι’ αυτό κάνει η Τοπολογία. Οι βασικές αρχές της Τοπολογίας, και ειδικά των μετρικών χώρων, είναι απα-ραίτητες για τη μελέτη πολλών επιστημονικών κλάδων. Το βιβλίο αυτό αναφέρεται στους μετρικούς τοπολογικούς χώρους και νορμι-κούς τοπολογικούς χώρους. Η ανάπτυξη των εννοιών γίνεται αναλυτικά και με μαθηματική αυστηρότητα, χωρίς όμως αυτό να δυσκολεύει την κατανόηση του κειμένου. Στο πρώτο κεφάλαιο αναπτύσσεται η τοπολογία μετρικών (νορμικών) χώρων και οι βασικές έννοιές της. Στο δεύτερο κεφάλαιο παρουσιάζονται οι έννοιες της σύγκλισης και της συνέ-χειας, καθώς και οι έννοιες της ακολουθίας Cauchy και του πλήρους χώρου. Στο τρίτο κεφάλαιο αναφέρονται οι συμπαγείς χώροι και οι ιδιότητές τους και στο τέταρτο κεφάλαιο παρουσιάζονται οι συναφείς χώροι και οι ιδιότητές τους. Σε κάθε κεφάλαιο περιέχονται αρκετά παραδείγματα για την καλύτερη κατα-νόηση των εννοιών του και ασκήσεις. Τέλος, στο πέμπτο κεφάλαιο παραθέτουμε τα λυμένα προβλήματα που αναφέ-ρονται σ’ όλη την ύλη των προηγούμενων κεφαλαίων. Θεσσαλονίκη, 2009 ΘΩΜΑΣ ΚΥΒΕΝΤΙΔΗΣ

Περιεχόμενα Εισαγωγή ...................................................................................................................................... 1

ΚΕΦΑΛΑΙΟ 1

ΜΕΤΡΙΚΟΙ ΧΩΡΟΙ ΤΟΠΟΛΟΓΙΑ ΜΕΤΡΙΚΩΝ ΧΩΡΩΝ

1. Μετρικοί χώροι – Νορμικοί χώροι ................................................................................ 7 2. Ανοικτά και κλειστά σύνολα ......................................................................................... 27

2.1 Φραγμένα σύνολα ......................................................................................................... 39 3. Είδη σημείων συνόλου ..................................................................................................... 45 4. Τοπολογίες – Τοπολογικά ισοδύναμες μετρικές .................................................... 59 5. Τοπολογικοί υποχώροι και γινόμενα

5.1 Τοπολογικοί υποχώροι ................................................................................................ 70 5.2 Τοπολογικά γινόμενα .................................................................................................. 71

6. Ασκήσεις .............................................................................................................................. 80

ΚΕΦΑΛΑΙΟ 2

ΣΥΓΚΛΙΣΗ ΚΑΙ ΣΥΝΕΧΕΙΑ ΠΛΗΡΕΙΣ ΜΕΤΡΙΚΟΙ ΧΩΡΟΙ

1. Ακολουθίες – Συνέχεια 1.1 Ακολουθίες .................................................................................................................... 87 1.2 Συνέχεια ......................................................................................................................... 97

2. Τοπολογικοί ισομορφισμοί 2.1 Ισομετρία ...................................................................................................................... 113 2.2 Ανοικτές και κλειστές απεικονίσεις .......................................................................... 114 2.3 Τοπολογικός ισομορφισμός (ομοιομορφισμός) ..................................................... 116 2.4 Τοπολογικά ισοδύναμες μετρικές ............................................................................ 122 2.5 Τοπολογικές ιδιότητες ............................................................................................... 126

3. Ακολουθίες Cauchy – Πλήρεις χώροι 3.1 Ακολουθίες Cauchy .................................................................................................... 128 3.2 Πλήρεις χώροι ............................................................................................................. 132

viii Τοπολογία Μετρικών Χώρων

4. Βασικά θεωρήματα σε πλήρεις χώρους .....................................................................144 5. Ασκήσεις .............................................................................................................................153

ΚΕΦΑΛΑΙΟ 3

ΣΥΜΠΑΓΕΙΣ ΜΕΤΡΙΚΟΙ ΧΩΡΟΙ

1. Ολικά φραγμένα σύνολα ...............................................................................................161 2. Συμπαγείς μετρικοί χώροι .............................................................................................170 3. Συμπαγοποίηση ................................................................................................................191 4. Ασκήσεις .............................................................................................................................194

ΚΕΦΑΛΑΙΟ 4

ΣΥΝΑΦΕΙΣ ΜΕΤΡΙΚΟΙ ΧΩΡΟΙ

1. Συναφείς μετρικοί χώροι ...............................................................................................201 1.1 Συναφή σύνολα σε ευκλείδειους χώρους n

o ..........................................................206 1.2 Τοπικά συναφείς χώροι ..............................................................................................215

2. Συναφείς συνιστώσες .....................................................................................................217 2.1 Ολικά μη συναφείς χώροι ...........................................................................................220

3. Συνάφεια με δρόμους .....................................................................................................223 4. Ομοτοπίες ..........................................................................................................................230 5. Ασκήσεις .............................................................................................................................237

ΚΕΦΑΛΑΙΟ 5

ΛΥΜΕΝΑ ΠΡΟΒΛΗΜΑΤΑ

Λυμένα Προβλήματα ............................................................................................................243

Γενικές Ασκήσεις .....................................................................................................................301 Απαντήσεις των Ασκήσεων ..................................................................................................309

ΠΑΡΑΡΤΗΜΑ

1. Σύνολα – Πράξεις των συνόλων .................................................................................313 2. Πραγματικοί αριθμοί ......................................................................................................315 3. Αριθμήσιμα σύνολα ........................................................................................................316

Περιεχόμενα ix

4. Διανυσματικοί χώροι ...................................................................................................... 317 5. Ανισότητες ........................................................................................................................ 318 6. Οικογένειες – Αξίωμα της επιλογής .................................................................. 319 Βιβλιογραφία ........................................................................................................................... 323

Ευρετήριο όρων ...................................................................................................................... 324

Βιβλία του συγγραφέα ΘΩΜΑ ΚΥΒΕΝΤΙΔΗ

Α. Διακριτά Μαθηματικά

1. EΞIΣΩΣEIΣ ΔIAΦOPΩN ΚΑΙ ΔΙΑΚΡΙΤΑ ΣΥΣΤΗΜΑΤΑ, (σελ. 552, 2001). 2. ΔYNAMIKH TΩN ΠΛHΘYΣMΩN (Διακριτά Μοντέλα), (σελ. 164, 2001).

Β. Διαφορικές Εξισώσεις

1. ΔΙΑΦOPIKEΣ ΕΞIΣΩΣEIΣ, Tόμος Πρώτος, (σελ. 480, 1987). 2. ΔIAΦOPIKEΣ ΕΞIΣΩΣEIΣ ΜE ΜEPIKEΣ ΠAPAΓΩΓOYΣ, Tόμος Δεύτερος,

(σελ. 400, 1988). 3. ΔIAΦOPIKEΣ EΞIΣΩΣEIΣ, Tόμος Tρίτος, (σελ. 478, 1991),

(Ποιοτική Θεωρία Διαφορικών Εξισώσεων). 4. ΔIAΦOPIKEΣ EΞIΣΩΣEIΣ (Aσκήσεις), (σελ. 560, 1998). 5. ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ, (σελ. 512, 2007). 6. ΔYNAMIKH TΩN ΠΛHΘYΣMΩN (Συνεχή Μοντέλα), (σελ. 128, 1993). 7. ΛOΓIΣMOΣ METABOΛΩN, (σελ. 320, 1994). 8. ΜΕΡΙΚΕΣ ΔΙΑΦΟΡΙΚΕΣ ΕΞΙΣΩΣΕΙΣ (σελ. 384, 2009).

Γ. Διαφορικός και Ολοκληρωτικός Λογισμός

1. ΔIAΦOPIKOΣ ΛOΓIΣMOΣ Συναρτήσεων Μιας Πραγματικής Μεταβλητής, (Τεύχος Πρώτο, σελ. 640, 2001 – Τεύχος Δεύτερο, σελ. 312, 2001).

2. ΟΛΟΚΛΗΡΩΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Συναρτήσεων Μιας Πραγματικής Μεταβλητής, (σελ. 624, 2005).

3. ΟΛΟΚΛΗΡΩΤΙΚΟΣ ΛΟΓΙΣΜΟΣ Συναρτήσεων Πολλών Μεταβλητών, (σελ. 240, 2007).

Δ. Σειρά Μαθηματικών

1. ΑΝΩΤΕΡΑ ΜΑΘΗΜΑΤΙΚΑ, Τόμος Πρώτος, (σελ. 628, 2005). (Άλγεβρα, Αναλυτική Γεωμετρία, Διαφορικός και Ολοκληρωτικός Λογισμός)

2. ΑΝΩΤΕΡΑ ΜΑΘΗΜΑΤΙΚΑ, Τόμος Δεύτερος, (σελ. 616, 2006). (Διαφορικός και Ολοκληρωτικός Λογισμός Συναρτήσεων Πολλών Μεταβλητών)

3. ΑΝΩΤΕΡΑ ΜΑΘΗΜΑΤΙΚΑ, Τόμος Τρίτος, (σελ. 504, 2005). (Διανυσματική Ανάλυση, Σειρές Fourier, Μιγαδικές Συναρτήσεις, Διαφορικές Εξισώσεις, Εξισώσεις Διαφορών)

Ε. Τοπολογία

1. ΤΟΠΟΛΟΓΙΑ (Ασκήσεις), (σελ. 400, 1977). 2. ΤΟΠΟΛΟΓΙΑ ΜΕΤΡΙΚΩΝ ΧΩΡΩΝ (σελ. 336, 2009).

ΕΙΣΑΓΩΓΗ Η Μαθηματική Ανάλυση καταλαμβάνει μεγάλη έκταση στο χώρο της Μαθημα-τικής Επιστήμης με πολλούς ειδικούς κλάδους, και κατά την ανάπτυξή της γίνε-ται όλο και πιο περίπλοκη, με τη χρήση πολλών ορισμών και θεωρημάτων. Για να αμβλυνθούν αυτές οι δυσχέρειες έγινε προσπάθεια να αποκαλυφθούν οι θεμελιώδεις αρχές πάνω στις οποίες βασίζεται η Μαθηματική Ανάλυση. Αυτό συνετέλεσε στη δημιουργία και στην ανάπτυξη της Τοπολογίας ως βασικού ει-σαγωγικού κλάδου της, πάνω στην οποία στηρίχθηκαν πολλές αποδείξεις των θεωρημάτων της. Κατορθώθηκε έτσι να δοθούν απλούστερες αποδείξεις και βα-θύτερες ερμηνείες τους, καθώς τα θεωρήματα διατυπώνονταν σε γενικότερες μορφές. Ειδικότερα, δόθηκε μεγαλύτερη ανάλυση του χώρου των πραγματικών και μιγαδικών αριθμών, που αποτελούν τον πυρήνα της Μαθηματικής Ανάλυσης, η οποία βασικά ενδιαφέρεται για την έννοια του ορίου και της συνέχειας. Ιστορικά οι έννοιες αυτές τέθηκαν από του αρχαίους Έλληνες μαθηματικούς στην προσπάθειά τους να ορίσουν την έννοια του αριθμού. Τον 19ο αιώνα οι Cauchy, Abel και Riemann έθεσαν αναλυτικά τις έννοιες της σύγκλισης ακολουθίας και σειράς, του χώρου πολλών διαστάσεων και του χώρου των συναρτήσεων. Η βαθειά γνώση της πραγματικής ευθείας (τομές Dedekind), των πραγματι-κών συναρτήσεων (Riemann, Weierstrass), βοήθησαν ώστε η μαθηματική γλώσ-σα να γίνει ακριβής και γενική (Cantor). Η μελέτη των γραμμικών συναρτήσεων συνετέλεσε στη δημιουργία της Συ-ναρτησιακής Ανάλυσης (Ascoli, Hilbert). Οι μετρικοί χώροι διευκολύνουν τη μελέτη της ομοιόμορφης συνέχειας και της ομοιόμορφης σύγκλισης, καθώς και τις έννοιες του ορίου και της συνέχειας συνάρτησης. Πράγματι, το όριο και η συνέχεια συνάρτησης, αντίστοιχα,

0

lim ( )x x

f xÆ

, 0

0lim ( ) ( )x x

f x f xÆ

=

προϋποθέτουν ότι οι τιμές x πλησιάζουν την τιμή 0x και οι τιμές ( )f x πλησιά-ζουν κάποιον αριθμό ή τον 0( )f x , αντίστοιχα.

2 Τοπολογία Μετρικών Χώρων

Αλλ’ όμως η φράση «πλησιάζω κάτι» εμπεριέχει την έννοια της απόστασης και συνήθως θεωρούμε ως τέτοια την ευκλείδεια απόσταση (π.χ. στην πραγματι-κή ευθεία είναι η απόλυτη τιμή της διαφοράς δύο αριθμών). Εξαρτάται λοιπόν το όριο και η συνέχεια από την απόσταση που χρησιμοποι-ούμε στο χώρο; Ναι, όταν οι αποστάσεις δεν είναι τοπολογικά ισοδύναμες. Βέβαια, οι έννοιες «σύγκλιση ακολουθίας», «συνέχεια συνάρτησης», γενικεύ-ονται σε τοπολογικούς χώρους (που δεν είναι μετρικοί χώροι), με τη χρησιμο-ποίηση των «ανοικτών συνόλων» και των «ανοικτών περιοχών ενός σημείου», αντί των «ανοικτών σφαιρικών περιοχών» των μετρικών χώρων. Υπάρχουν όμως αποτελέσματα που δεν ισχύουν, π.χ. η μοναδικότητα του ορίου συγκλίνουσας ακολουθίας, το οριακό σημείο ακολουθίας ως όριο υπακο-λουθίας της και η συνέχεια συνάρτησης σε σημείο με τη χρήση ακολουθιών. Ακόμη οι έννοιες «ομοιόμορφη συνέχεια», «πλήρης μετρικός χώρος», επειδή εξαρτώνται από τη μετρική, δεν μπορούν να γενικευθούν σε τοπολογικούς χώ-ρους (που δεν είναι μετρικοί χώροι). Βέβαια, με την αντικατάσταση της ακολουθίας με την έννοια του φίλτρου και του δικτύου, και την κατάλληλη ανάπτυξη θεωρίας ειδικών χώρων (π.χ. οι ο-μοιόμορφοι χώροι), είναι δυνατή η γενίκευση της ομοιόμορφης συνέχειας και της πληρότητας. Σε πολλούς κλάδους των μαθηματικών (όπως π.χ. η Γεωμετρία) είναι χρήσιμο να ορίζεται μια κατάλληλη μετρική (απόσταση) η οποία να εκφράζεται σε στοι-χεία αφηρημένων χώρων. Ο σκοπός του βιβλίου είναι μια βασική ανάπτυξη των τοπολογικών μετρικών χώρων, η οποία βοηθάει και στη μελέτη των τοπολογικών δομών, γενικότερα. Βασικό κεφάλαιο είναι το πρώτο, γι’ αυτό η πλήρης γνώση των εννοιών του είναι απαραίτητη για τα επόμενα κεφάλαια. Υπάρχουν πολλά αξιόλογα βιβλία Τοπολογίας, αλλά εδώ θ’ αναφερθώ σ’ αυ-τά της βιβλιογραφίας του βιβλίου. Μια λεπτομερής παρουσίαση των θεμάτων της Τοπολογίας γίνεται στα Ελ-ληνόγλωσσα βιβλία [1], [7], [9], [11], [12], [14], όπου το [9] είναι βιβλίο λυμέ-νων ασκήσεων (σε πολλά θέματα της Τοπολογίας), και τα ξενόγλωσσα βιβλία [2], [3], [10], [13]. Πιο προχωρημένα είναι τα βιβλία [4], [5], [6], [8].

Εισαγωγή 3

ΣΧΕΔΙΑΓΡΑΜΜΑ

Νορμικοί Χώροι (σε διανυσματικούς χώρους)

Μετρικοί Χώροι

Τοπολογικοί Χώροι

Βασική διαίρεση των τοπολογικών χώρων Μια κλάση τ υποσυνόλων ενός χώρου X λέγεται τοπολογία στο X , αν γι’ αυτήν ισχύουν: i) το κενό σύνολο ∆ και το X ανήκουν στην τ , ii) η τομή πεπερασμένου πλήθους συνόλων της τ ανήκει στην τ , iii) η ένωση οσωνδήποτε συνόλων της τ ανήκει στην τ .

Το ζεύγος ( , )X τ λέγεται τοπολογικός χώρος και τα σύνολα της τ είναι τα ανοικτά σύνολά του. Ένας τοπολογικός χώρος ( , )X τ λέγεται μετρικοποιήσιμος, αν υπάρχει μία τουλάχιστον μετρική d στο X τέτοια ώστε dτ τ= . Αν έχουμε δύο τοπολογίες 1τ και 2τ στο χώρο X για τις οποίες ισχύει

1 2 1 2, ( )τ τ τ τÃ π , τότε η 1τ λέγεται ασθενέστερη της 2τ και η 2τ λέγεται ισχυρότερη της 1τ . Η τοπολογία , τ Χ= ∆ είναι η ασθενέστερη όλων των τοπολογιών και η τοπολογία = =( )οτ P Χ σύνολο όλων των υποσυνόλων του X , που λέγεται διακεκριμένη τοπολογία, είναι η ισχυρότερη όλων των τοπολογιών στο χώρο X . Μια σύντομη παρουσίαση της Γενικής Τοπολογίας γίνεται στα βιβλία [7], Κεφ. 8, [14], Μέρος ΙΙ, ενώ μια αναλυτική παρουσίασή της γίνεται στα βιλία [4], [5], [6], [8].

1 ΜΕΤΡΙΚΟΙ ΧΩΡΟΙ ΤΟΠΟΛΟΓΙΑ ΜΕΤΡΙΚΩΝ ΧΩΡΩΝ

1 Μετρικοί χώροι – Νορμικοί χώροι

Θεωρούμε ένα χώρο X του οποίου τα στοιχεία τα λέμε σημεία και τα συμβο-λίζουμε π.χ. Œ, , x y z X . Για να έχει νόημα η έκφραση «το x τείνει στο 0x », δηλαδή το x πλησιάζει το 0x , πρέπει στο χώρο X να είναι ορισμένη μια απόσταση (ή μετρική) μεταξύ των σημείων του. Θα δώσουμε λοιπόν τον ορισμό της μετρικής (ή απόστασης) σ’ έναν χώρο X . Μία συνάρτηση

+¥ Æ = Œ ≥ : : 0d X Χ x xo o

όπου o οι πραγματικοί αριθμοί, είναι μια μετρική (ή απόσταση) στο χώρο X όταν ικανοποιεί τα παρακάτω τρία αξιώματα:

1[ ]M = ¤ =( , ) 0 d x y x y ,

2[ ]M =( , ) ( , ) ,d x y d y x " Œ, x y X (συμμετρική ιδιότητα),

3[ ]M £ +( , ) ( , ) ( , ) ,d x z d x y d y z " Œ, , x y z X (τριγωνική ανισότητα).

Ανισότητα του Minkowski

Για την απόδειξη του αξιώματος 3[ ]Μ χρησιμοποιείται πολλές φορές η ανι-σότητα του Minkowski (Παράρτημα, §5)

È ˘ È ˘ È ˘+ + + + £ + + + + +Î ˚ Î ˚ Î ˚

1 1 1

1 1 1 1| … … … p p p p pp p p pn n n nα β α β α α β β ,

8 Κεφάλαιο 1

όπου Œ1 2 1 2( , , …, ) , ( , , …, ) nn nα α α β β β o ή n

` και ≥1p .

Ευκλείδειες μετρικές (ή αποστάσεις)

Στους πραγματικούς αριθμούς o η ευκλείδεια απόσταση είναι η απόλυτη τιμή της διαφοράς δύο αριθμών Œ, :x y o

( , ) , , .d x y x y x y= - " Œo

Η ευκλείδεια απόσταση δύο σημείων = 1 2( , ) ,x x x = 1 2( , )y y y του επιπέδου 2

o είναι

= - + - " Œ 2 2 2

2 1 1 2 2( , ) ( ) ( ) , , d x y x y x y x y o ,

ενώ δύο σημείων = = 1 2 3 1 2 3( , , ) , ( , , )x x x x y y y y του χώρου 3o είναι

= - + - + - " Œ 2 2 2 3

2 1 1 2 2 3 3( , ) ( ) ( ) ( ) , , d x y x y x y x y x y o .

• Γενικότερα, η ευκλείδεια απόσταση δύο σημείων

= = 1 2 1 2( , , … , ) , ( , , … , )n nx x x x y y y y

του χώρου no είναι

= - + + - " Œ 2 2

2 1 1( , ) ( ) … ( ) , , nn nd x y x y x y x y o .

Όταν λέμε ο ευκλείδειος χώρος no εννοούμε ότι ο διανυσματικός χώρος

no είναι εφοδιασμένος με την ευκλείδεια απόσταση 2d που ορίσαμε πιο πά-νω.

Στο χώρο ≥, 1n no ορίζονται συνήθως και οι παρακάτω αποστάσεις (ή με-τρικές):

1 1 1 2 2( , ) … n nd x y x y x y x y= - + - + + - ,

1 1 2 2( , ) max , , … , •

= - - -n nd x y x y x y x y ,

για κάθε = 1 2( , , … , )nx x x x , 1 2( , , … , )ny y y y= του no .

Για =1n και οι τρεις μετρικές 2 1, , •

d d d συμπίπτουν με τη μετρική

= - " Œ ( , ) , , d x y x y x y o .

Μετρικοί χώροι – Τοπολογία μετρικών χώρων 9

Οι πραγματικοί αριθμοί o μ’ αυτήν τη μετρική λέγονται πραγματική ευθεία o .

y

xx1

x2 d∞ (x, y) = |x1–y1|

|x2–y2|d2 (x, y)

O

y

xx1y1 y1

x2

y2 y2

d∞ (x, y) = |x2–y2|

|x1–y1|

d2 (x, y)

O

d1 (x, y) = |x1–y1| + |x2–y2|

Οι μετρικές •2 1, , d d d στο επίπεδο =

2( 2)no

Γενικότερα, με τη βοήθεια της ανισότητας του Minkowski, αποδεικνύεται ότι η απεικόνιση

1

1 2

1 2 1

( , , … , ) , ( , ) , 1

( , , … , )

n pn pp i in

n i

x x x xd x y x y p

y y y y=

= Ê ˆÆ = - ≥Á ˜= Œ Ë ¯

Âo

ορίζει μετρική στο no .

Απ’ αυτήν τη μετρική, για =1p , =2p και Æ +• p , προκύπτουν οι προ-ηγούμενες μετρικές

1 2( , ), ( , ), ( , ) lim ( , )pp

d x y d x y d x y d x y•

Æ +•

= .

(Ισχύει • •

£ £

1

( , ) ( , ) ( , )ppd x y d x y n d x y και πάρτε Æ +• p .)

Αποδείξτε ότι οι συναρτήσεις •2 1, , d d d ικανοποιούν τα τρία αξιώματα της

μετρικής. (Για την 2d και το αξίωμα 3[ ]M χρησιμοποιείστε την ανισότητα του Minkowski, για =2p ).

Όταν ο χώρος X είναι επί πλέον διανυσματικός χώρος στο σώμα =K o ή ` , δηλαδή ισχύουν οι ιδιότητες


x" , Œy X fi + Œ x y X

λ Κ" Œ , " Œx X fi Œ λx X

τότε η συνάρτηση : : 0p X x x+Æ = Œ ≥o o που ικανοποιεί τα τρία αξιώματα:

1[ ]N ( ) 0 Op x x= ¤ = , O μηδενικό στοιχείο του X ,

2[ ]N =( ) ( )p λx λ p x , , λ K x X" Œ " Œ (ομοθεσία),

3[ ]N + £ +( ) ( ) ( )p x y p x p y , " Œ , x y X (ανισότητα κυρτότητας),

λέγεται νορμική στο διανυσματικό χώρο X .

Συνήθως γράφουμε = " Œ ( ) , p x x x X . Μια χρήσιμη διπλή ανισότητα της νορμικής είναι

, , x y x y x y x y X- £ - £ + " Œ

και προκύπτει από τα αξιώματα 2 3[ ] , [ ]N N .

• Στους πραγματικούς αριθμούς o ορίζεται η νορμική

Æ = " Œ ( ) , x p x x x o (απόλυτη τιμή),

στο επίπεδο 2o ορίζεται η νορμική

2 2 2

22 1 2 1 2 ( ) , ( , )x p x x x x x x xÆ = = + = Œo ,

στο χώρο 3o ορίζεται η νορμική

2 2 2 3

22 1 2 3 1 2 3 ( ) , ( , , )x p x x x x x x x x xÆ = = + + = Œo

και στο χώρο no ορίζεται η νορμική (ευκλείδεια νορμική)

2 2 2

22 1 2 1 2 ( ) , ( , , , ) nn nx p x x x x x x x x xÆ = = + + º + = º Œo .

Φυσική απόσταση (ή μετρική)

Όταν ορίζεται μια νορμική σ’ ένα διανυσματικό χώρο X τότε απ’ αυτήν στο χώρο X παράγεται η φυσική απόσταση (ή μετρική) από τη σχέση

( , ) , , d x y x y x y X= - " Œ . Από μια νορμική προκύπτει πάντοτε μια μετρική στο διανυσματικό χώρο X , αλ-λά το αντίστροφο δεν ισχύει πάντοτε.


• Από μία μετρική d σε διανυσματικό χώρο προκύπτει μια νορμική όταν αυ-τή ικανοποιεί τις παρακάτω δύο ιδιότητες:

i) + + =( , ) ( , )d x z y z d x y (αμεταβλητότητα ως προς τη μεταφορά),

ii) =( , ) ( , )d λx λy λ d x y (oμοθεσία ως προς αριθμητική παράμετρο).

Πράγματι, τότε η συνάρτηση

( , ) , Ox d x x x XÆ = " Œ

ορίζει μία νορμική, οπότε η μετρική d είναι φυσική απόσταση επειδή γράφε-ται

( , ) ( , ) ( , ) ( , )O Od x y d x x y x d y x d x y x y= - - = - = - = -

για κάθε , x y XŒ .

• Στο χώρο no ορίζονται συνήθως και οι παρακάτω νορμικές

1 1 2 … nx x x x= + + +

1 2max , , … , nx x x x•=

για κάθε 1 2( , , … , ) nnx x x x= Œo .

• Παρατηρούμε ότι από τις νορμικές

2 1( 1) , , , , , 1nx n x x x x n•

= Œ ≥o ,

προκύπτουν οι μετρικές που ορίσαμε προηγουμένως

1 2( , ) ( 1) , ( , ) , ( , ) , ( , ) , , nd x y x y n d x y d x y d x y x y•

= - = " Œo ,

οπότε αυτές είναι φυσικές αποστάσεις (μετρικές) στο no , 1n≥ .

Γενικότερα, με τη βοήθεια της ανισότητας του Minkowski αποδεικνύεται ότι η απεικόνιση

1

1 21

( , , … , ) , 1n ppn

pn ii

x x x x x x p=

È ˘= Œ Æ = ≥Í ˙

Í ˙Î ˚Âo

ορίζει μία νορμική στο no .

Απ’ αυτήν τη νορμική, για 1, 2p p= = και pÆ+• , προκύπτουν οι προη-γούμενες νορμικές

1 2, , lim pp

x x x x•

Æ +•

= .


(Ισχύει 1p

px x n x• •£ £ και πάρτε pÆ+• .)

Παρατηρήσεις

α) Μια μετρική d ορίζεται σε τυχαίο χώρο X και ο χώρος X μαζί με τη μετρι-κή d λέγεται (τοπολογικός) μετρικός χώρος και σημειώνεται ( , )X d .

Μια νορμική ◊ ορίζεται σε διανυσματικό χώρο X και ο διανυσματικός χώ-ρος X μαζί με τη νορμική ◊ λέγεται νορμικός χώρος και σημειώνεται

( , )Χ ◊ . Επομένως, οι διανυσματικοί νορμικοί χώροι αποτελούν ένα γνήσιο υποσύνο-

λο του συνόλου των μετρικών χώρων.

β) Αν είναι ( , )Χ d μετρικός χώρος και Y XÃ , τότε η συνάρτηση

: Yd Y Y +¥ Æ o , με ( , ) ( , ) , , Yd x y d x y x y Y= " Œ

ορίζει μετρική στο Y που λέγεται επαγόμενη της d . Ο μετρικός χώρος ( , )YY d λέγεται υποχώρος του ( , )X d .

Προσοχή! Αν ( , )Χ ◊ είναι νορμικός χώρος και Y XÃ τότε ορίζεται, όπως προηγουμένως, μετρικός χώρος στο Y με τη φυσική μετρική

( , ) , , d x y x y x y Y= - " Œ ,

αλλά για να ορισθεί νορμικός υποχώρος ( , )Y ◊ , πρέπει ο Y να είναι διανυ-σματικός υποχώρος του X .

γ) Διακεκριμένος μετρικός χώρος

Σε κάθε μη κενό σύνολο X μπορεί να ορισθεί η μετρική

0

0, αν ,, , ( , )

1 , αν ,x y

x y X d x yx y=Ï

" Œ =ÌπÓ

που λέγεται διακεκριμένη μετρική. Άρα, κάθε μη κενός χώρος X γίνεται μετρικός χώρος 0( , )X d που λέγεται

διακεκριμένος μετρικός χώρος.

• Όταν ο X είναι επιπλέον διανυσματικός χώρος (π.χ. , 1nX n= ≥o ), τότε για το μετρικό χώρο 0( , )X d ισχύει

x y" π και λŒo , με 0 , 1λ λπ π ±


0 ( , ) 1 ( , )d λx λy λ d x y λ= π = .

Επομένως, η διακεκριμένη μετρική 0d δεν είναι φυσική απόσταση, δηλαδή δεν προκύπτει από κάποια νορμική στο διανυσματικό χώρο X .

Ψευδομετρική Σε σύνολο X με παραπάνω από ένα στοιχεία, η συνάρτηση

+¥ Æ = Œ ≥¢ : : 0d X X x x

που πληροί τα αξιώματα:

1[ ]M ¢ ( , ) 0d x x =¢ , x X" Œ

2[ ]M ( , ) ( , )d x y d y x=¢ ¢ , , x y X" Œ

3[ ]M ( , ) ( , ) ( , )d x z d x y d y z£ +¢ ¢ ¢ , , , x y z X" Œ

λέγεται ψευδομετρική στο X .

Η διαφορά από την έννοια της μετρικής είναι: η ψευδομετρική d ¢ μπορεί να μηδενίζεται σε δύο διαφορετικά σημεία, δηλαδή μπορεί να υπάρχουν σημεία x yπ , με ( , ) 0d x y =¢ .

Για παράδειγμα, αν έχουμε : f X Æo μια πραγματική συνάρτηση, τότε η απεικόνιση

: d X X +¥ Æ¢ o ,

όπου ( , ) ( ) ( ) , , d x y f x f y x y X= - " Œ¢ , ορίζει μια ψεδομετρική στο X , επει-δή μπορεί να υπάρχουν σημεία 0 0, x y XŒ , με 0 0x yπ , τέτοια ώστε

0 0( ) ( )f x f y= ,

οπότε είναι 0 0( , ) 0d x y =¢ , με 0 0x yπ .

• Όταν όμως η συνάρτηση f είναι αμφιμονότιμη, τότε η d ¢ ορίζει μετρική στο χώρο X .

Επεκτεταμένη πραγματική ευθεία

Θεωρούμε το επεκτεταμένο σύνολο , = » -• +•o o των πραγματικών αριθμών, όπου o είναι το σύνολο των πραγματικών αριθμών. Η απεικόνιση : d +

¥ Æo o o , όπου

, , ( , )1 1

yxx y d x y

x y" Œ = -

+ +o


ορίζει μια μετρική στο o .

Πράγματι, η συνάρτηση ( ) ,1

xf x x

x= Œ

+

o είναι αμφιμονότιμη (γνήσια

αύξουσα) συνάρτηση του o επί του ανοικτού διαστήματος ( 1, 1)- + . Παρατηρείστε ότι

21

( ) 0 , 0(1 )

f x xx

= > " ≥¢+

και 21

( ) 0 , 0(1 )

f x xx

= > " £¢-

,

ενώ είναι lim ( ) 1x

f xÆ+•

= , lim ( ) 1x

f xÆ-•

= - .

1[ ]M Θα δείξουμε ότι ( , ) 0 d x y x y= ¤ = . Έχουμε

( , ) 0 0 (1 ) (1 )1 1

yxd x y x y y x

x y= ¤ - = ¤ + = +

+ +

και η τελευταία ισότητα ισχύει μόνον όταν οι , x y είναι ομόσημοι ( 0)xy > . Άρα, έχουμε

(1 ) (1 )x y y x+ = + , αν 0 , 0x y> >

(1 ) (1 )x y y x- = - , αν 0 , 0x y< <

απ’ όπου προκύπτει η ισότητα x y= . (Άρα, η f είναι αμφιμονότιμη). Το αντίστροφο είναι προφανές.

2[ ]M ( , ) ( , )d x y d y x= , από την ιδιότητα της απόλυτης τιμής α α- = , αŒo .

3[ ]M ( , ) ( , ) ( , )d x z d x y d y z£ + , από την ιδιότητα , ,α β α β α β+ £ + Œo .

Θα δείξουμε ότι η f είναι επί απεικόνιση, δηλαδή ( ) ( 1, 1)f = -o . Προφανώς ισχύει (0) 0f = . Αν είναι

( ) 0y f x= > , 0 , 01 1

x xy x y x

x xfi = > fi = >

+ +

fi = = Œ

- -

, (0, 1)1 1

y yx y

y y.

Αν είναι

( ) 0y f x= < , 0 , 01 1

x xy x y x

x xfi = < fi = <

+ -


fi = = Œ -

+ -

, ( 1, 0)1 1

y yx y

y y.

Επεκτείνουμε το σύνολο σ’ ένα νέο σύνολο o συμπεριλαμβάνοντας στο τα δύο νέα επ’ άπειρον σημεία -• και +• , δηλαδή , = » -• +•o o . Για να είναι και το νέο σύνολο o ολικά διατεταγμένο θέτουμε

: x x" Œ -•< < +•o .

Επεκτείνουμε τη συνάρτηση f σε μια απεικόνιση του o επί του [ 1, 1]- + , αν ορίσουμε τις τιμές της f στα επ’ άπειρον σημεία

( ) 1f -• = - , ( ) 1f +• = ,

οπότε η f παραμένει μια γνήσια αύξουσα (αμφιμονότιμη) συνάρτηση του o επί του κλειστού διαστήματος [ 1, 1]- + . Άρα η μετρική d επεκτείνεται και στο o , με τιμές

( , ) 2d -• +• = , ( , ) 11

xd x

x-• = +

+

, ( , ) 11

xd x

x+• = -

+

που προκύπτουν ως όρια, όταν

( , )x xÆ-• Æ+• , ( )yÆ-• , ( )yÆ+• ,

αντίστοιχα, και σημειώνεται με d . Ο μετρικός χώρος ( , )do λέγεται επεκτεταμένη πραγματική ευθεία o . Ο μετρικός χώρος ( , )do δεν είναι η πραγματική ευθεία o , αλλά μετρικός χώρος τοπολογικά ισοδύναμος μ’ αυτήν (Κεφ. 1, §4, Παράδειγμα 1, β) και Κεφ. 2, §2.4).

• Μπορεί να χρησιμοποιηθεί αντί της συνάρτησης f η αμφιμονότιμη (γνήσια αύξουσα) συνάρτηση

2

( ) , 1 1

xg x x

x= Œ

+ +

o .

• Παρατηρείστε ότι η ευκλείδεια μετρική ( , ) , , d x y x y x y= - " Œo δεν μπορεί να επεκταθεί στα επ’ άπειρον σημεία -• και +• .

Π.χ. πόσο θα είναι η απόσταση ( , )d -• +• , μ’ αυτήν τη μετρική;


Παραδείγματα

Αν ( , )Χ d είναι μετρικός χώρος, δείξτε ότι οι συναρτήσεις

α) 1( , ) min1, ( , )d x y d x y= , , x y XŒ

β) 2( , )

( , )1 ( , )

d x yd x y

d x y=

+

, , x y XŒ

ορίζουν επίσης μετρικές στο χώρο Χ .

Θα δείξουμε ότι επαληθεύονται τα τρία αξιώματα της μετρικής.

α) 1[ ]Μ : Έχουμε 1( , ) 0d x x = και 1( , ) 0 ( , ) 0 d x y d x y x y= fi = fi = .

2[ ]Μ : Είναι 1 1( , ) min(1, ( , ) min1, ( , ) ( , )d x y d x y d y x d y x= = = .

3[ ]Μ : Παρατηρούμε ότι ισχύουν οι ανισότητες

1( , ) min1, ( , ) 1d x z d x z= £ (1)

και 1( , ) min1, ( , ) ( , )d x z d x z d x z= £ (2)

για κάθε , x z XŒ . Επομένως,

i) αν είναι ( , ) 1d x y ≥ ή ( , ) 1d y z ≥ , λόγω της (1), ισχύει η σχέση

1 1 1( , ) ( , ) ( , )d x z d x y d y z£ + ,

ii) αν είναι ( , ) 1d x y < και ( , ) 1d y z < , λόγω της (2), ισχύει

1 1 1( , ) ( , ) ( , )d x z d x y d y z£ + ,

επειδή εδώ είναι 1( , ) ( , )d x y d x y= , 1( , ) ( , )d y z d y z= και

1( , ) ( , ) ( , ) ( , ) , , , d x z d x z d x y d y z x y z X£ £ + " Œ .

β) 1 2[ ], [ ]Μ Μ : Ισχύουν επειδή

( , ) 0d x x = και ( , ) ( , ) , , d x y d y x x y X= " Œ ,

αφού η d είναι μετρική στο χώρο X . 3[ ]M : Έχουμε

2( , ) ( , )( , )

( , ) , , , 1 ( , ) 1 ( , ) ( , )

d x y d y zd x zd x z x y z X

d x z d x y d y z+

= £ " Œ+ + +

1.


επειδή η συνάρτηση ( ) , 01

xφ x x

x= ≥

+ είναι γνήσια αύξουσα στο [0, )+•

(είναι (0) 0φ = , lim ( ) 1x

φ xÆ+•

= και 21

( ) 0(1 )

φ xx

= >¢+

, 0x" ≥ ).

Προφανώς όμως ισχύει η ανισότητα

( , ) ( , ) ( , ) ( , )

, , , 1 ( , ) ( , ) 1 ( , ) 1 ( , )

d x y d y z d x y d y zx y z X

d x y d y z d x y d y z+

£ + " Œ+ + + +

πράγμα που αποδεικνύει το αξίωμα 3[ ]M για τη μετρική 2d .

Επί του χώρου X έχουμε τις μετρικές 1 2, , …, nd d d . Δείξτε ότι οι συναρ-

τήσεις που ορίζονται από τις σχέσεις:

α) 1 1( , ) max ( , ), … , ( , )nD x y d x y d x y= ,

β) 2 1( , ) ( , ) … + ( , )nD x y d x y d x y= + ,

γ)

12 2 2

3 1( , ) [ ( , ) … ( , )]nD x y d x y d x y= + + ,

για κάθε , x y XŒ , ορίζουν μετρικές στο X .

α) 1 2[ ], [ ]M M είναι προφανή. 3[ ]M : Επειδή από κάθε πεπερασμένο πλήθος πραγματικών αριθμών μπο-ρούμε να προσδιορίσουμε το μέγιστο (και το ελάχιστο), έχουμε (m ένα από τα

1, 2, …, )n

1( , ) ( , ) ( , ) ( , )m m mD x z d x z d x y d y z= £ +

£ + 1 1max ( , ), …, ( , ) max ( , ), …, ( , )n nd x y d x y d y z d y z

1 1( , ) ( , )D x y D y z£ + .

β) 1 2[ ], [ ]M M είναι προφανή.

3[ ]M : Έχουμε

21 1

( , ) ( , ) [ ( , ) ( , )]m n

i i ii i

D x z d x z d x y d y z= =

= £ +Â Â

= =

= + = +Â Â 2 21 1

( , ) ( , ) ( , ) ( , )n n

i ii i

d x y d y z D x y D y z .

2.


γ) 1 2[ ], [ ]M M είναι προφανή

3[ ]M : Έχουμε

[ ]

1 12 222

31 1

( , ) ( , ) ( , ) ( , )n n

i i ii i

D x z d x z d x y d y z= =

È ˘ È ˘= £ +Í ˙ Í ˙Í ˙ Í ˙Î ˚ Î ˚Â Â

1 12 22 2

1 1( , ) ( , )

n n

i ii i

d x y d y z= =

È ˘ È ˘£ + =Í ˙ Í ˙Í ˙ Í ˙Î ˚ Î ˚Â Â

3 3( , ) ( , )D x y D y z= +

σύμφωνα με την ανισότητα του Minkowski (για 2p = ).

• Επειδή η ανισότητα του Minkowski ισχύει για 1p≥ και η γενικότερη συ-νάρτηση

=

È ˘= ≥Í ˙Í ˙Î ˚Â

1

1( , ) ( , ) , 1( )

n ppp i

iD x y d x y p

ορίζει επίσης μετρική στο χώρο X . 3. Νορμικές σε χώρους ακολουθιών

Θεωρούμε τους παρακάτω χώρους που τα στοιχεία τους (σημεία) είναι ακο-λουθίες ( )nx πραγματικών αριθμών:

i) 1l είναι το σύνολο όλων των πραγματικών ακολουθιών, με

1n

nx

•

=

< +•Â

(άρα είναι μηδενικές ακολουθίες),

ii) l•

είναι το σύνολο όλων των φραγμένων πραγματικών ακολουθιών,

iii) ( 1)pl p≥ είναι το σύνολο όλων των πραγματικών ακολουθιών ( )nx , με

1

pn

nx

•

=

< +•Â .

Τα σύνολα 0c των μηδενικών ακολουθιών, c των συγκλινουσών ακολουθιών l

• των φραγμένων ακολουθιών

γίνονται όλα διανυσματικοί χώροι (γραμμικοί χώροι) με τις πράξεις της πρόσθε-


σης και του πολ/σμού με αριθμό:

( )nx x= , ( )ny y= , τότε ( )n nx y x y+ = + ,

λŒo , ( )nx x= , τότε ( )nλx λx= ,

έχουμε , ,x y X x y X" Œ fi + Œ

, λ x X λx X" Œ " Œ fi Œo

όπου X είναι το 0c ή το c ή το l•

. Το σύνολο ( 1)pl p≥ είναι επίσης διανυσματικός χώρος, επειδή για λŒo ,

( )nx x= , ( )ny y= , , px y lŒ ισχύουν

, Pn nn x y" Œ +k ( ) 2 (max , )p p p

n n n nx y x y£ + £ £

2 ( )p ppn nx y£ +

άρα px y l+ Œ και προφανώς pλx lŒ .

• Ο 0c είναι διανυσματικός υποχώρος του c και ο c είναι διανυσματικός υπο-χώρος του l

•.

Επίσης, ο ( 1)pl p≥ είναι διανυσματικός υποχώρος των 0 , , c c l•

. Επομένως, σ’ όλους αυτούς τους διανυσματικούς χώρους

0, , , pl c c l•

μπορούν να ορισθούν νορμικές και απ’ αυτές να παραχθούν οι αντίστοιχες φυσικές μετρικές.

• Δείξτε ότι οι απεικονίσεις:

α) : l +

• •◊ Æ o , όπου sup , nx x n

•= Œk

β) : , 1p pl p+◊ Æ ≥o , όπου

1

1

ppp n

nx x

•

=

È ˘= Í ˙Í ˙Î ˚Â

ορίζουν νορμικές στους αντίστοιχους διανυσματικούς χώρους. α) Επειδή οι ακολουθίες ( )nx του l

• είναι φραγμένες το sup των nx , nŒk

υπάρχει, άρα είναι καλά ορισμένη η νορμική. Οι ιδιότητες 1[ ]N , 2[ ]N είναι προφανείς Για την 3[ ]N παρατηρούμε ότι, για ( )nx x= , ( )ny y l

•= Œ , επειδή ισχύει


, n n n nx y x y n+ £ + " Œk

προκύπτει ότι •

• ••

+ £ + " Œ, , x y x y x y l .

β) Η απεικόνιση px , px lŒ είναι καλά ορισμένη νορμική αφού συγκλίνει η

σειρά (από τον ορισμό του pl , 1p≥ )

1

pn

nx

•

=

< +•Â .

Τα αξιώματα 1[ ]N , 2[ ]N είναι προφανή (βλέπε τις ιδιότητες των σειρών θετικών όρων) και για το 3[ ]N χρησιμοποιούμε τη γενικευμένη ανισότητα του Minkowski (για σειρές)

1 1 1

1 1 1, 1

p p pp p pi i i i

i i iα β α β p

• • •

= = =

È ˘ È ˘ È ˘+ £ + ≥Í ˙ Í ˙ Í ˙

Í ˙ Í ˙ Í ˙Î ˚ Î ˚ Î ˚Â Â Â .

• Από τις παραπάνω νορμικές προκύπτουν οι αντίστοιχες φυσικές μετρικές:

1

1( , ) , 1

ppp n n

nd x y x y p

•

=

È ˘= - ≥Í ˙Í ˙Î ˚Â

στο χώρο pl και

( , ) sup , n nd x y x y n•

= - Œk

στο χώρο l•

.

• Για 2p = προκύπτει η μετρική

122

2 21

( , ) , ,n nn

d x y x y x y l•

=

È ˘= - ŒÍ ˙Í ˙Î ˚Â

και ο μετρικός χώρος 2 2( , )l d λέγεται χώρος του Ηilbert.

Να δειχθεί ότι, στο σύνολο S των πραγματικών ακολουθιών ( )nx x= ,

nx Œo , η απεικόνιση

1

1( , ) , ,

12n n

nn nn

x yd x y x y S

x y

•

=

-= " Œ

+ -Â

ορίζει μετρική η οποία δεν προκύπτει από νορμική στο S .

4.


Να δειχθεί επίσης ότι sup ( , ) , , 1d x y x y SŒ = . Επειδή ισχύει

1 1

, 12 2

-£ " Œ

+ -

n nn n

n n

x yn

x yk

και η σειρά 1

12n

n

•

=

Â συγκλίνει (γεωμετρική σειρά), σύμφωνα με το κριτήριο σύ-

γκρισης του Weierstrass και η δοσμένη σειρά συγκλίνει. Άρα, η μετρική ( , )d x y είναι καλά ορισμένη. Τα αξιώματα 1 2[ ] , [ ]M M είναι προφανή. Το 3[ ]M προκύπτει από την ανισότητα (βλέπε Παρ. 1, β))

1 1

n n n n n n

n n n n n n

x z x y y zx z x y y z- - + -

£ =+ - + - + -

1 1

n n n n

n n n n n n n n

x y y zx y y z x y y z

- -

= +

+ - + - + - + -

, 1 1

n n n n

n n n n

x y y zn

x y y z- -

£ + " Œ+ - + -

k

απ’ όπου παίρνουμε (από τις ιδιότητες των συγκλινουσών σειρών)

1 1 1

1 1 11 1 12 2 2

n n n n n nn n n

n n n n n nn n n

x z x y y zx z x y y z

• • •

= = =

- - -£ +

+ - + - + -Â Â Â

δηλαδή ( , ) ( , ) ( , ) , , ,d x z d x y d y z x y z S£ + " Œ . Αν θεωρήσουμε τις δύο ακολουθίες ( )nx x= , ( )ny y= , όπου είναι 2nx = ,

0ny = , n" Œk και 2λ = τότε έχουμε

1

1 4 0 4(2 , 2 )

1 4 0 52nn

d x y•

=

-= =

+ -Â ,

ενώ

1

1 2 0 42 ( , ) 2

1 2 0 32nn

d x y•

=

-= =

+ -Â ,

οπότε (2 , 2 ) 2 ( , )d x y d x yπ . Άρα, η μετρική αυτή δεν είναι φυσική μετρική, δηλαδή δεν προκύπτει από νορμική στο σύνολο S .


• Έχουμε την προφανή ανισότητα

1

1( , ) 1 , ,

2nn

d x y x y S•

=

£ = " ŒÂ

οπότε είναι sup ( , ), , 1d x y x y SŒ £ .

Αλλά για κάθε 0ε > , υπάρχει 1

1αε

≥ - και υπάρχουν ,x y SŒ¢ ¢ τέτοια ώστε

, n nx y α n- = " Œ¢ ¢ k οπότε

1

1( , )

1 12n n

nn nn

x y αd x y

x y α

•

=

-¢ ¢= =¢ ¢

+ - +¢ ¢Â .

Από την ανισότητα 1

1αε

≥ - προκύπτει ότι

1 ( , )1

αε d x y

α- £ = ¢ ¢

+,

οπότε είναι (από τον ορισμό του supremum) sup ( , ), , 1d x y x y SŒ = .

5. Νορμικές σε χώρους συναρτήσεων

α) Θεωρούμε το σύνολο ([ , ])X C α β= όλων των πραγματικών συνεχών συναρτήσεων που ορίζονται στο [ , ]α β .

Δείξτε ότι οι απεικονίσεις από το Χ στο +o :

i) sup ( ) , [ , ] , f f x x α β f X= Œ Œ

ii)

1

( ) , 1 , β p p

p αf f x dx p f XÈ ˘= ≥ ŒÍ ˙Î ˚Ú

ορίζουν νορμικές στο χώρο ([ , ])X C α β= .

β) Θεωρούμε το σύνολο 1([ , ])Y C α β= όλων των πραγματικών συνεχών

συναρτήσεων, με συνεχή πρώτη παράγωγο στο διάστημα [ , ]α β .

Δείξτε ότι η απεικόνιση από το Y στο +o .

sup ( ) , [ , ] sup ( ) , [ , ]g g x x α β g x x α β= Œ + Œ¢

ορίζει νορμική στο χώρο 1([ , ])Y C α β= .


(Δείξτε ότι οι χώροι ,X Y είναι διανυσματικοί χώροι.)

• Επειδή το διάστημα [ ,α β ] είναι κλειστό και φραγμένο (συμπαγές) και οι συ-ναρτήσεις , , f g g ¢ συνεχείς στο [ , ]α β όλες οι παραπάνω νορμικές είναι κα-λά ορισμένες.

Πράγματι, όλα τα supremum υπάρχουν και ορίζονται τα ολοκληρώματα στο διάστημα [ , ]α β .

α) Θα δείξουμε ότι ικανοποιούνται τα τρία αξιώματα.

1[ ] 0OΝ = , όπου : [ , ] 0O α β Æ , ενώ 0 ( ) 0f f x= fi = , [ , ]x α β" Œ

οπότε Of = με το μηδενικό στοιχείο του διανυσματικού χώρου ([ , ])X C α β= .

2[ ]: Ν λf sup ( ) , [ , ] sup ( ) , [ , ]λf x x α β λ f x x α β= Œ = Œ =

sup ( ) , [ , ] , , λ f x x α β λ f λ f Χ= Œ = Œ Œo .

3 1 2[ ]: Ν f f+ 1 2 1 0 2 0sup ( ) ( ) , [ , ] ( ) ( )f x f x x α β f x f x= + Œ = +

για κάποιο 0 [ , ]x α βŒ ] (Θεώρημα Weierstrass), επειδή η συνάρτηση 1 2f f+ είναι συνεχής στο [ , ]α β . Άρα, έχουμε

1 2 1 0 2 0 1 0 2 0( ) ( ) ( ) ( )f f f x f x f x f x+ = + £ +

£ Œ + Œ = + 1 2 1 2sup ( ) , [ , ] sup ( ) , [ , ]f x x α β f x x α β f f .

ii) Οι συναρτήσεις pf είναι συνεχείς στο [ , ]α β , οπότε είναι ολοκληρώσι-μες στο [ , ]α β .

1[ ]: 0OΝ = και 0 ( ) 0β p

αf f x dx= fi =Ú .

Αν η ( ), [ , ]F x x α βŒ είναι αρχική της pf θα έχουμε

( ) ( ) ( ) , [ , ]t pα

f x dx F t F α t α β= - " ŒÚ

και επειδή ισχύει

0 ( ) ( ) ( ) ( ) 0 , [ , ]t t β βpp p pα α t α

f x dx f x dx f x dx f x dx t α β£ £ + = = ŒÚ Ú Ú Ú ,

προκύπτει ( ) 0 , [ , ] ( ) ( ) , [ , ]t pα

f x dx t α β F t F α t α β= Œ fi = " ŒÚ .


Άρα, η F είναι σταθερή στο [ , ]α β , oπότε η pf είναι ταυτοτικά ίση με μη-δέν στο [ , ]α β , δηλαδή Of = το μηδενικό στοιχείο του διανυσματικού χώρου X .

2[ ]N : Είναι προφανής.

2[ ]N : Χρησιμοποιούμε τη γενικευμένη ανισότητα του Minkowski για τα ολο-κληρώματα: αν οι συναρτήσεις 1 2, f f ανήκουν στο χώρο ([ , ])C α β και είναι

1p≥ , τότε ισχύει η ανισότητα

1 1 1

1 2 1 2( ) ( ) ( ) ( ) , 1β β βp p pp p p

α α αf x f x dx f x dx f x dx pÈ ˘ È ˘ È ˘+ £ + ≥Í ˙ Í ˙ Í ˙Î ˚ Î ˚ Î ˚Ú Ú Ú .

To 3[ ]N είναι λοιπόν άμεση συνέπεια αυτής της ανισότητας Ειδικά, για 1p = προκύπτει η νορμική στο ([ , ])C α β

1 ( )β

αf f x dx= Ú .

y

xβα

f1

d∞

O

f2

y

xβα

f1

d1 = εμβαδόν

Of2

d∞ (f1, f2) = sup| f1(x)–f2(x)|, x[α, β](μέγιστη απόσταση μεταξύ των καμπύλων)

d1 (f1, f2) = ∫αβ | f1(x)–f2(x)| dx

(εμβαδόν μεταξύ των καμπύλων)

• Απ’ αυτές τις νορμικές προκύπτουν οι φυσικές μετρικές στο χώρο ([ , ])X C α β= :

1 2 1 2( , ) sup ( ) ( ) , [ , ]d f f f x f x x α β•

= - Œ , 1 2, f f Χ" Œ ,

1

1 2 1 2( , ) ( ) ( ) , 1β p p

p αd f f f x f x dx pÈ ˘= - ≥Í ˙Î ˚Ú , 1 2, f f Χ" Œ .


β) Τα 1 2[ ] , [ ]N N αποδεικνύονται ανάλογα όπως στην περίπτωση α), i). 3[ ]N : Σύμφωνα με το Θεώρημα του Weierstrass έχουμε

1 2 1 0 2 0 1 1 2 1( ) ( ) ( ) ( )g g g x g x g x g x+ = + + + £¢ ¢

1 0 2 0 1 1 2 1( ) ( ) ( ) ( )g x g x g x g x£ + + +¢ ¢

( ) ( )1 0 1 1 2 0 2 1( ) ( ) ( ) ( )g x g x g x g x= + + +¢ ¢

1 2g g£ + .

Από τη νορμική αυτή προκύπτει η φυσική μετρική

1 2 1 2( , ) sup ( ) ( ) , [ , ]d g g g x g x x α β= - Œ

1 2sup ( ) ( ) , [ , ]g x g x x α β+ - Œ¢ ¢

1

1 2, ([ , ])g g Y C α β" Œ = .

Συμβολίζουμε με l το σύνολο όλων των πραγματικών ακολουθιών ( )nx x=

για τις οποίες η σειρά 1

nn

x•

=

Â συγκλίνει. Δείξτε ότι ο χώρος l είναι διανυσματικός

(γραμμικός) και ότι η απεικόνιση

1 sup ,

n

ii

x l x x n=

Ï ¸Ô ÔŒ Æ = ŒÌ ˝

Ô ÔÓ ˛Â k

ορίζει νορμική στο χώρο l .

Αν έχουμε τις πραγματικές ακολουθίες ( )nx x= , ( )ny y= , , n nx y Œo , με τις πράξεις ( )n nx y x y+ = + και ( )nλx λx= , για ,x y lŒ και λŒo ο χώρος l γίνεται διανυσματικός. Πράγματι, αν οι σειρές

1n

nx

•

=

Â , 1

nn

y•

=

Â

συγκλίνουν, τότε επειδή ισχύει

, n n n nx y x y n+ £ + " Œk

και η σειρά 1( )n n

nx y

•

=

+Â συγκλίνει, άρα είναι x y l+ Œ .

6.


Προφανώς, λx lŒ επειδή η σειρά 1 1

n nn n

λx λ x• •

= =

=Â Â συγκλίνει επίσης.

Η σειρά 1

nn

x•

=

Â συγκλίνει σημαίνει ότι συγκλίνει η ακολουθία των μερικών

αθροισμάτων ( )nS , όπου 1 2 … n nS x x x= + + + , με lim nx

S αÆ+•

= και η ακο-

λουθία των απολύτων τιμών ( )nS συγκλίνει (ισχύει , n nS α S α n- £ - " Œk ), οπότε έχουμε

lim nn

S α +

Æ+•

= Œo , όπου 1 2 + … , n nS x x x n= + + Œk .

Επομένως, η ακολουθία ( )nS είναι φραγμένη, οπότε υπάρχει το

1sup , sup ,

n

n ii

S n x n=

Ï ¸Ô ÔŒ = ŒÌ ˝

Ô ÔÓ ˛Âk k

και ανήκει στο : 0x x+= Œ ≥o o , άρα η νορμική είναι καλά ορισμένη.

Θα δείξουμε ότι ικανοποιούνται τα τρία αξιώματα της νορμικής.

1[ ]: 0ON = , όπου (0, 0, , 0, )O = º º και

10 sup , 0

n

ii

x x n=

Ï ¸Ô Ô= fi Œ =Ì ˝

Ô ÔÓ ˛Â k

άρα

10 ,

n

ii

x n=

= " ŒÂ k

και επαγωγικά προκύπτει 0 , nx n= " Œk , οπότε Ox = .

2[ ]N : Eίναι προφανής.

3[ ]N : Έχουμε

0

1 1sup ( ) , ( ) , 0

nn

i i i ii i

x y x y n x y ε ε= =

Ï ¸Ô Ô+ = + Œ < + + >Ì ˝

Ô ÔÓ ˛Â Âk

επειδή, σύμφωνα με τον ορισμό του supremum: 0ε" > , υπάρχει 0n Œk τέτοιο ώστε να ισχύει

0

1( )

n

i ii

x y ε x y=

+ - < +Â .


Επομένως, ισχύουν οι ανισότητες

0 0 0

1 1 1( )

n n n

i i i ii i i

x y x y ε x y ε= = =

+ < + + = + +Â Â Â

0 0

1 1

n n

i ii i

x y ε= =

£ + +Â Â

1 1sup , sup ,

n n

i ii i

x n y n ε= =

Ï ¸ Ï ¸Ô Ô Ô Ô£ Œ + Œ +Ì ˝ Ì ˝

Ô Ô Ô ÔÓ ˛ Ó ˛Â Âk k

, 0x y x y ε εfi + < + + " >

όπου το 0n εξαρτάται κάθε φορά από την επιλογή του 0ε > . Άρα, θεωρώντας το 0εÆ , προκύπτει η τριγωνική ανισότητα

, , x y x y x y l+ £ + " Œ .

2 Ανοικτά και κλειστά σύνολα

Θεωρούμε το μετρικό χώρο ( , )X d , όπου X π∆ και d μία μετρική στο χώρο X .

• Ανοικτή σφαιρική περιοχή κέντρου α ΧŒ και ακτίνας 0ε > είναι το σύνολο των σημείων του Χ που έχουν απόσταση από το σημείο α μικρότερη του

0ε > . Σημειώνεται ( , ) , ( , ) Β α ε x X d α x ε= Œ < .

• Κλειστή σφαιρική περιοχή κέντρου α ΧŒ και ακτίνας 0ε > είναι το σύνολο των σημείων του Χ που έχουν απόσταση από το σημείο α μικρότερη ή ίση του 0ε > . Σημειώνεται ( , ) , ( , ) = Œ £Β α ε x X d α x ε .

• Σφαιρική επιφάνεια κέντρου α ΧŒ και ακτίνας 0ε > είναι το σύνολο των σημείων Χ που έχουν απόσταση από το σημείο α ίση με 0ε > .

Σημειώνεται ( , ) , ( , ) S α ε x X d α x ε= Œ = .

Παρατήρηση

Γενικά, οι σφαιρικές περιοχές και οι σφαιρικές επιφάνειες σε τυχαίο μετρικό χώρο ( , )X d δεν έχουν τις γεωμετρικές ιδιότητες των αντίστοιχων σφαιρικών περιοχών και σφαιρικών επιφανειών των Ευκλείδειων χώρων.


Ο όρος «σφαιρικές» προέκυψε από τον ευκλείδειο χώρο 32( , )do , όπου οι

σφαιρικές περιοχές είναι σφαίρες. Για τις σφαιρικές επιφάνειες, γενικά, δεν μπορούμε να πούμε ότι δεν είναι κε-νό σύνολο ούτε ότι δύο σφαιρικές επιφάνειες διαφορετικών κέντρων δεν είναι δυνατό να συμπίπτουν σε τυχαίο μετρικό χώρο (όχι νορμικό χώρο).

Παραδείγματα

Αν 0( , )X d είναι ο διακεκριμένος μετρικός χώρος (§1) με τη μετρική

0( , ) 0d x y = , αν x y= και ( , ) 1d x y = , αν x yπ

τότε, για 0 1ε< < και α ΧŒ , έχουμε τις σφαιρικές περιοχές

( , ) , ( , ) , ( , ) 0 Β α ε x X d α x ε x X d α x α= Œ < = Œ = = ,

( , ) , ( , ) , ( , ) 0 B α ε x X d α x ε x X d α x α= Œ £ = Œ = = ,

ενώ ( , ) , ( , ) S α ε x X d α x ε= Œ = =∆ , και

( , 1) : ( , ) 1 S α x X d α x X α= Œ = = - ,

και για 1ε > και α ΧŒ , έχουμε τις σφαιρικές περιοχές

( , ) , ( , ) , ( , ) 0 ή ( , ) 1Β α ε x X d α x ε x X d α x d α x X= Œ < = Œ = = = ,

ενώ ( , ) , ( , ) , ( , ) 0 ή ( , ) 1Β α ε x X d α x ε x X d α x d α x X= Œ £ = Œ = = = , για 1ε≥

και ( , ) , ( , ) S α ε x X d α x ε= Œ = =∆ , για 1ε > .

Θεωρούμε στο επίπεδο 2o τους ευκλείδειους μετρικούς χώρους (§1)

22( , )do , 2

1( , )do , 2( , )d•

o .

Αν είναι 2

1 2( , )α α α= Œo και ο αριθμός 0ε > , να σχεδιασθούν οι σφαιρικές περιοχές και οι σφαιρικές επιφάνειες στους παραπάνω ευκλείδειους χώρους.

Έχουμε λοιπόν τις ανοικτές σφαιρικές περιοχές

2

2 2 22 1 1 2 2( , ) : ( , ) ( ) ( ) dΒ α ε x d α x x α x α ε= Œ = - + - <o

1

21 1 1 2 2( , ) : ( , ) dΒ α ε x d α x x α x α ε= Œ = - + - <o

2

1 1 2 2( , ) : ( , ) max , dΒ α ε x d α x x α x α ε•

•= Œ = - - <o

οι οποίες παριστούν γεωμετρικά κύκλους, ρόμβους και τετράγωνα, αντίστοιχα.

2.

1.


y

x

ε ε εε

α1O

α2

Bd2 (α, ε):(x1–α1)2 + (x2–α2)2 < ε2

Κύκλος (εσωτερικό)

Bd∞ (α, ε):|α1–x1| < ε, |α2–x2| < εΤετράγωνο (εσωτερικό)

Bd1 (α, ε):|α1–x1| + |α2–x2| < εΡόμβος (εσωτερικό)

y

xα1α1–ε

α2–ε

α1+ε

α2+ε

O

α2

α1α1–ε

α2–ε

α1+ε

α2+ε

α2

y

xO

Ανάλογα, σχεδιάζονται οι κλειστές σφαιρικές περιοχές

2( , )dΒ α x : κύκλος,

1( , ):dB α ε ρόμβος, ( , ) :dB α ε

•

τετράγωνο.

Οι αντίστοιχες σφαιρικές επιφάνειες είναι

2

2 2 22 1 1 2 2( , ) : ( , ) ( ) ( ) dS α ε x d α x x α x α ε= Œ = - + - =o ,

1

21 1 1 2 2( , ) : ( , ) dS α ε x d α x x α x α ε= Œ = - + - =o ,

2

1 1 2 2( , ) : ( , ) max , dS α ε x d α x x α x α ε•

•= Œ = - - =o

και γεωμετρικά είναι

2( , ):dS α ε περιφέρεια κύκλου,

1( , ):dS α x περίμετρος ρόμβου και

( , ):dS α x•

περίμετρος τετραγώνου.

Θεωρούμε το μετρικό χώρο ( , )X d , όπου ([ , ])X C α β= το σύνολο των συνεχών πραγματικών συναρτήσεων στο [ , ]α β , και τη μετρική d στο Χ

( , ) max ( ) ( ) , [ , ] , , d f g f x g x x α β f g X= - Œ " Œ .

Αν 0f XŒ και 0ε > , να ορισθούν η ανοικτή 0( , )Β f ε και η κλειστή 0( , )Β f ε σφαιρική περιοχή, και η σφαιρική επιφάνεια 0( , )S f ε .

Έχουμε 0 0( , ) : max ( ) ( ) , [ , ] Β f ε f X f x f x x α β ε= Œ - Œ < =

0 0 : [ , ] , ( ) ( ) ( ) f X x α β f x ε f x f x ε= Œ " Œ - < < + ,

3.


οπότε η ανοικτή σφαιρική περιοχή περιέχει τις συνεχείς πραγματικές συναρτή-σεις f στο [ , ]α β , των οποίων οι γραφικές παραστάσεις περιέχονται ανάμεσα στις γραφικές παραστάσεις των συναρτήσεων

0 0( ) , ( ) , [ , ]y f x ε y f x ε x α β= - = + Œ

με τις οποίες δεν έχουν κοινά σημεία. Η κλειστή σφαιρική περιοχή 0( , )B f ε αναλύεται ανάλογα και περιέχει τις συναρτήσεις f XŒ των οποίων οι γραφικές παραστάσεις μπορούν να έχουν κοινά σημεία με τις συναρτήσεις

0 0( ) , ( ) , [ , ]y f x ε y f x ε x α β= - = + Œ

Η σφαιρική επιφάνεια 0 0( , ) , ( , ) S f ε f X d f f ε= Œ = αποτελείται από τα γραφήματα των δύο συναρτήσεων 0( )f x ε- , 0( )f x ε+ , [ , ]x α βŒ .

y

xO

f0f

f0–εα β

f0+ε

Περιοχές B( f0 ,ε), −B ( f0, ε)Επιφάνεια S( f0, ε)

f0fff

• Αν έχουμε ( , )Χ ◊ ένα νορμικό χώρο (οπότε το σύνολο Χ είναι διανυσμα-

τικός χώρος) τότε οι σφαιρικές περιοχές και οι σφαιρικές επιφάνειες ορίζο-νται όπως προηγουμένως, με τη φυσική μετρική

( , ) , , d x y x y x y X= - " Œ .

Στους νορμικούς χώρους οι σφαιρικές περιοχές και επιφάνειες έχουν κάποιες επιπλέον ιδιότητες (που δεν ισχύουν σε τυχαίους μετρικούς χώρους).

α) Οι ανοικτές και κλειστές σφαιρικές περιοχές είναι άπειρα σύνολα, ενώ οι σφαιρικές επιφάνειες δεν είναι κενά σύνολα (περιέχουν τουλάχιστον δύο ση-μεία).


Αν πάρουμε ,α β ΧŒ τότε έχουμε τα σημεία της ευθείας

( ) , x α t β α t= + - Œo

που περνάει από τα σημεία α (για 0t = ) και β (για 1t = ).

Άρα, έχουμε ( ) x α t β α x α t β α- = - fi - = - ,

οπότε για το 0ε > προκύπτει

ε ε

x α ε tβ α β α

- £ ¤ - £ £- -

.

Επομένως, γι’ αυτά τα άπειρα t τ’ αντίστοιχα άπειρα σημεία της ευθείας βρί-σκονται μέσα στην κλειστή σφαιρική περιοχή ( , )B α ε . Ανάλογο αποτέλεσμα ισχύει για την ανοικτή σφαιρική περιοχή ( , )Β α ε , ενώ για τη σφαιρική επιφάνεια ( , )S α ε παρατηρούμε ότι περιέχει τουλάχιστον δύο σημεία, για ( )/t ε β α= ± - .

Σημείωση Αυτήν την ιδιότητα μπορεί να την έχουν και μετρικοί χώροι. Για παράδειγμα ο μετρικός χώρος 1( , )do , όπου

1( , ) min1, ( , )d x y d x y= , και ( , ) , , d x y x y x y= - " Œo ,

έχει αυτήν την ιδιότητα, επειδή για 0 1ε< £ και αŒo ισχύει

1 1( , ) : ( , ) : ( , )d dΒ α ε x d α x ε x α x ε Β α ε= Œ < = Œ - < =o o ,

1 1( , ) : ( , ) : ( , )d dΒ α ε x d α x ε x α x ε Β α ε= Œ £ = Œ - £ =o o .

Αλλ’ όμως οι σφαιρικές περιοχές ( , )dΒ α ε , ( , )dB α ε είναι του νορμικού χώ-ρου ( , )◊o (πραγματική ευθεία), οπότε είναι άπειρα σύνολα. Προφανώς, για 1ε > οι σφαιρικές περιοχές περιέχουν τις προηγούμενες σφαι-ρικές περιοχές με 0 1ε< £ , οπότε είναι επίσης άπειρα σύνολα. Οι σφαιρικές επιφάνειες ( , )S α ε στο μετρικό χώρο 1( , )do , για 0 1ε< £ περιέχουν τουλάχιστον δύο σημεία, αλλά για 1ε > είναι κενά σύνολα. Η μετρική 1d δεν είναι φυσική μετρική, δηλαδή δεν προκύπτει από μία νορ-μική στο o , επειδή για 1λ> και x n= , 0y = , nŒk έχουμε

1 1 1( , 0) ( , 0) min1, 1 ( , 0)d λn λ d λn λn λ λd n◊ = = = π = .


β) Σε νορμικό χώρο οι ανοικτές ( , )B α ε και οι κλειστές ( , )Β α ε σφαιρικές περιοχές, όπου, 0ε > είναι κυρτά σύνολα.

Ένα σύνολο A νορμικού χώρου ( , )Χ ◊ λέγεται κυρτό, αν για κάθε ζεύγος σημείων x και y του A το ευθύγραμμο τμήμα

[ , ] ( ) (1 ) , [0, 1]x y x t y x t x ty t= + - = - + Œ

περιέχεται ολόκληρο στο σύνολο A . Θεωρούμε λοιπόν δύο σημεία , ( , )x y B α εŒ και τα σημεία του ευθυγράμμου τμήματος

[ , ]: ( ) (1 ) , [0, 1]x y z x t y x t x ty t= + - = - + Œ .

Είναι z α- (1 ) (1 )t x ty α t x α tα tα ty= - + - = - - + - + =

(1 )( ) ( )t x α t y α= - - + - £

(1 ) (1 ) , [0, 1]t x α t y α t ε tε ε t£ - - + - < - + = Œ ,

οπότε ( , )z B α εŒ , δηλαδή το ( , )Β α ε είναι κυρτό σύνολο. Ανάλογα αποδεικνύεται ότι και η κλειστή σφαιρική περιοχή ( , )Β α ε είναι κυρτό σύνολο.

γ) Για κάθε σφαιρική περιοχή 1( , )OΒ ε της αρχής O και κάθε λŒo , 0λπ , υπάρχει σφαιρική περιοχή 2 1( , ) ( , )O OΒ ε λΒ εÃ , αρκεί να είναι 2 1ε λ ε< . Αν α ΧŒ , κάθε περιοχή ( , ) ( , ) , 0OΒ α ε α Β ε ε= + > .

Παράδειγμα 4

Σε νορμικό χώρο ( , )Χ ◊ θεωρούμε δύο σημεία ,x y XŒ , με x yπ . Δείξτε ότι, για δύο σφαιρικές περιοχές 1( , )B x ε , 2( , )B y ε τέτοιες ώστε

1 2x y ε ε- < + , ισχύει 1 2( , ) ( , )B x ε B x ε« π∆ .

Αυτό ισχύει σε οποιονδήποτε μετρικό χώρο;

Στο νορμικό χώρο ( , )X ◊ τα σημεία του ευθυγράμμου τμήματος [ , ]x y δίνονται από τη σχέση (για 0t = είναι z y= και για 1t = είναι z x= ):

(1 ) , [0, 1]z tx t y t= + - Œ . (1)


Έχουμε 1 2x y ε ε- < + και θα δείξουμε πως υπάρχει σημείο z τέτοιο ώστε

1z x ε- < και 2z y ε- < . (2)

Οι σχέσεις (2) λόγω της (1) γίνονται

1(1 )t x y ε- - < και 2t x y ε- < (3)

και αρκεί να δείξουμε ότι υπάρχει 0 [0, 1]t Œ για το οποίο ισχύουν οι σχέσεις (3).

Πράγματι, υπάρχει το 2

01 2

[0, 1]ε

tε ε

= Œ

+

για το οποίο ισχύουν οι (3), επειδή

είναι

2 11 1 1 2

1 2 1 21

ε εx y ε x y ε x y ε ε

ε ε ε εÊ ˆ- - < ¤ - < ¤ - < +Á ˜+ +Ë ¯

και 2

2 1 21 2

ε

x y ε x y ε εε ε

- < ¤ - < +

+

,

αλλά η ανισότητα 1 2x y ε ε- < + δίνεται από την υπόθεση. Τα σημεία του ευθυγράμμου τμήματος [ , ]x y μπορούμε να τα γράψουμε και

( )z x t y x= + - , [0, 1]tŒ , οπότε θα υπάρχει το

1

01 2

[0, 1]ε

tε ε

= Œ

+

.

Αυτό το αποτέλεσμα δεν ισχύει σε οποιονδήποτε μετρικό χώρο. Π.χ. στο διακεκριμένο μετρικό χώρο 0( , )Χ d , αν πάρουμε

123

ε = , 223

ε = και , x y XŒ ,

με x yπ , θα έχουμε

0 1 24

( , ) 13

d x y ε ε= < + =

και επειδή είναι

1 02

( , ) , , ( , ) 0 3

B x ε Β x z X d x z xÊ ˆ= = Œ = =Á ˜Ë ¯ ,

1 02

( , ) , , ( , ) 0 3

B y ε Β y z X d y z yÊ ˆ= = Œ = =Á ˜Ë ¯

προκύπτει 1 2( , ) ( , )B x ε Β y ε« =∆ , με 0 1 2( , )d x y ε ε< + .

1356

Documents

Transcript of 1356