Ας ξεκινήσουμε υπενθυμίζοντας τον ορισμό της συνέχειας σε μετρικούς χώρους. διατυπώνεται και με τον ακόλουθο τρόπο: για κάθε σφαίρα

Transcript

1 33.4.Συνεχείς συναρτήσεις Η έννοια της συνεχούς συνάρτησης είναι θεμελιώδης και μελετάται κατ αρχήν για συναρτήσεις μιας και κατόπιν δύο ή περισσότερων μεταβλητών στα μαθήματα του Απειροστικού Λογισμού. Στο μάθημα της Πραγματικής Ανάλυσης η έννοια αυτή επεκτείνεται σε χώρους γενικότερων των ευκλειδείων, δηλαδή στους μετρικούς χώρους. Εδώ θα διατυπώσουμε έναν ορισμό της συνέχειας, για συναρτήσεις ορισμένες σε τοπολογικούς χώρους ο οποίος θα περιλαμβάνει τους προηγούμενους ορισμούς ως ειδικές περιπτώσεις. Αυτό που επιτρέπει την επέκταση του κλασικού ορισμού, είναι η έννοια του ανοικτού συνόλου και η συναρτώμενη έννοια της περιοχής ή γειτονιάς ενός σημείου. Η τελευταία υλοποιεί την εγγύτητα δύο σημείων: το σύνολο των σημείων που είναι αρκετά κοντά στο σημείο είναι μια περιοχή του. Στους μετρικούς χώρους περιοχές είναι οι σφαίρες και η εγγύτητα γίνεται ποσοτική, εφόσον το σημείο είναι αρκετά κοντά στο αν το ανήκει σε κάποια σφαίρα B, ( d, ). Ας ξεκινήσουμε υπενθυμίζοντας τον ορισμό της συνέχειας σε μετρικούς χώρους. Έστω X, d, Y, μετρικοί χώροι και f : X Y συνάρτηση. Η f λέγεται ότι είναι συνεχής στο X αν για κάθε 0,, υπάρχει, 0 : X και d f f. Χρησιμοποιώντας σφαίρες ο ορισμός αυτός διατυπώνεται και με τον ακόλουθο τρόπο: για κάθε σφαίρα υπάρχει σφαίρα B, του X ώστε, f B, B f,. B f, του Y Είναι η τελευταία μορφή του ορισμού την οποία θα γενικεύσουμε σε τοπολογικούς χώρους. Ορισμός.4. Έστω XY, τοπολογικοί χώροι, f : X Y συνάρτηση και X.

2 34 Η f λέγεται συνεχής στο, αν για κάθε περιοχή V του περιοχή U του στον X ώστε f U V. f στον Y υπάρχει Η f λέγεται συνεχής επί του X, αν και μόνο αν η f είναι συνεχής σε κάθε σημείο του X. ( Αν δεν υπάρχει αμφιβολία για το πεδίο ορισμού της f, θα λέμε ότι η f είναι συνεχής.) Το βασικό θεώρημα για συνεχείς συναρτήσεις είναι το ακόλουθο: Θεώρημα.43. Έστω X και Y τ. χ. και f : X Y συνάρτηση. Οι ακόλουθοι ισχυρισμοί είναι ισοδύναμοι: (α) Η f είναι συνεχής. (β) Για κάθε ανοικτό υποσύνολο V ( μέλος μιας υποβάσης ) του Y, το f V είναι ανοικτό στον X. (γ) Για κάθε κλειστό υποσύνολο F του Y το f F είναι κλειστό στον X. (δ) Ισχύει ότι, f f, για κάθε X. Απόδειξη: Πριν προχωρήσουμε στην απόδειξη του θεωρήματος υπενθυμίζουμε ότι: Αν XY, σύνολα και f : X Y συνάρτηση τότε η επέκταση δηλαδή η συνάρτηση P Y f P X f της f στο PY,, διατηρεί όλες τις συνολοθεωρητικές πράξεις ( της ένωσης τομής και διαφοράς ). (α) (β) Έστω V ανοικτό στο Y και f V το V είναι περιοχή του f f U. Εφόσον f συνεχής στο και ( ως ανοικτό ), θα υπάρχει περιοχή U του ώστε V. Έπεται ότι U f f U f V και έτσι το f V ανοικτό, εφόσον για κάθε f V υπάρχει περιοχή U του ώστε U f V είναι.

3 35 (β) (α) Έστω X και V περιοχή του f, τότε υπάρχει W Y ανοικτό ώστε f W V. Επομένως f W και το U f W είναι ανοικτή περιοχή του. Έπεται ότι, f U W V και έτσι η f είναι συνεχής στο. ( Έστω μια υποβάση για την τοπολογία Y του Y και έστω Υποθέτουμε ότι, X η τοπολογία του X. V f V X. Τότε το ίδιο ισχύει για τις πεπερασμένες τομές μελών της και συνεπώς για τις αυθαίρετες ενώσεις τέτοιων τομών. Έτσι έχουμε ότι, V f V. Y X (β) (γ). Η απόδειξη αυτής της ισοδυναμίας βασίζεται στην παρατήρηση ότι, \ \ () για κάθε F Y. Επειδή το F Y είναι κλειστό f Y F X f F το V Y \ F είναι ανοικτό, από την () έπεται ότι το \ είναι ανοικτό το f F U X f F f V X είναι κλειστό στον X. Έτσι οι ισχυρισμοί (α), (β), (γ) είναι ισοδύναμοι και είναι αρκετό να αποδείξουμε τις (γ) (δ) και (δ) (γ). (γ) (δ) Έστω X. Θέτομε F f. Τότε το F είναι κλειστό στον Y και από την υπόθεσή μας το f F κλειστό στον X. Παρατηρούμε ότι το f F f f f F f F θα είναι περιέχει το. Πράγματι,. Έπεται ότι f F f f f F F f. (δ) (γ). Έστω F Y κλειστό και f F. Για να αποδείξουμε ότι το είναι κλειστό είναι αρκετό να αποδείξουμε ότι Επομένως αν τότε, Έτσι το f f f F F. f F και συνεπώς.. Παρατηρούμε ότι f F.

4 36 Σημείωση. Στο υπόλοιπο αυτών των σημειώσεων, όταν θα κάνουμε αναφορά στον τοπολογικό χώρο R, ( ή στον χώρο R ) θα εννοούμε πάντοτε ότι είναι εφοδιασμένο με την ευκλείδεια ( και τα υποσύνολά του με την σχετική ) τοπολογία. Σε διαφορετική περίπτωση θα κάνουμε ρητή αναφορά στην τοπολογία την οποία θεωρούμε επ αυτού. Αποδεικνύουμε ακολούθως κάποιες στοιχειώδεις ιδιότητες των συνεχών συναρτήσεων Ορισμός.44. Έστω XY, σύνολα, X και f : X Y συνάρτηση. Η συνάρτηση f : Y : f f της f στο. για κάθε ονομάζεται ό περιορισμός Πρόταση.45 Έστω X, Y, Z τοπολογικοί χώροι (α) Σύνθεση: Αν f : X Y και g : Y Z είναι συνεχείς συναρτήσεις, τότε και η gof : X Z είναι συνεχής. (β) Περιορισμός του πεδίου ορισμού: Αν η f : X Y είναι συνεχής και X θεωρείται με την σχετική τοπολογία, τότε η συνάρτηση περιορισμός, f : Y είναι συνεχής. (γ) Περιορισμός του πεδίου τιμών: Αν η f : X Y Z συνάρτηση και Y υπόχωρος του τοπολογικού χώρου Z τότε : f : X Z συνεχής f : X Y συνεχής. ( Όπου με f συμβολίζουμε την ίδια συνάρτηση με πεδίο τιμών τον υπόχωρο Y του.) Απόδειξη. (α) Παρατηρούμε ότι ( επειδή g συνεχής ) το g V f g V gof V gof f og. Έστω V Z ανοικτό τότε είναι ανοικτό στον Y και ( επειδή f συνεχής ) το είναι ανοικτό στον X. Έπεται από το θεώρημα.43 ότι η gof είναι συνεχής. (β) Έστω V Y ανοικτό, τότε το f V f V. Όμως η f είναι συνεχής το f V είναι ανοικτό άρα το f V είναι ανοικτό ως προς.

5 37 (γ) παρατηρούμε ότι η απεικόνιση ( ΑνU Z ανοικτό, τότε () Έστω ότι f συνεχής. Αν V στον Z ώστε V U Y. I : Y Z : I y y για y Y είναι συνεχής. I U U Y, ανοικτό ως προς Y.) Y ανοικτό ως προς Y τότε υπάρχει U ανοικτό Τότε f V f Y U f Y f U X f U f U ανοικτό στον X. Επομένως η f είναι συνεχής. Παρατηρούμε ότι f Io f. Έτσι αν η f είναι συνεχής τότε επειδή και η I είναι συνεχής από τον ισχυρισμό (α) της πρότασης η f είναι συνεχής ως σύνθεση συνεχών. Παραδείγματα.46. ) Έστω X, d, Y, μετρικοί χώροι X και f : X Y συνάρτηση συνεχής στο, τότε βέβαια ( σύμφωνα με την συζήτηση που προηγήθηκε του ορισμού.4) η f είναι συνεχής στο, με τον γνωστό μας ορισμό της Πραγματικής Ανάλυσης ) Αν X και Y τοπολογικοί χώροι, τότε κάθε σταθερή συνάρτηση f : X Y είναι συνεχής. ( Η αντίστροφη εικόνα κάθε ανοικτού U Y είναι είτε το ή ο X.) 3)Έστω X σύνολο με δύο τοπολογίες,. Η ταυτοτική απεικόνιση I : X, X, : I, όπου X είναι συνεχής αν και μόνο αν. 4) Έστω X, Y, Z τ.χ. και f : X Y, g : X Z συναρτήσεις. Ορίζουμε : X Y Z : f, g, X. Τότε η είναι συνεχής ( ο Y Z θεωρείται με την τοπολογία γινόμενο, πρβλ παράδειγμα.33 () ) αν και μόνο αν οι U f και g είναι συνεχείς. Πράγματι, αν Y και V Zανοικτά τότε εύκολα διαπιστώνουμε ότι, U V f U g V.

6 38 Έπεται ότι αν V Z Y V g V και V τότε U Z f U και αν U Y τότε. Επειδή τα σύνολα της μορφής U Z και Y V, όπου U Y Z είναι ανοικτά, συνιστούν μία υποβάση του χώρου Y Z. Άρα το συμπέρασμα έπεται από το θεώρημα.43 (β). Είναι εύκολο να ελέγξουμε ότι το παράδειγμα αυτό γενικεύεται για μια πεπερασμένη ακολουθία συναρτήσεων f : X Y,,,...,. ( Συμπληρώστε τις λεπτομέρειες.). Ως ειδικές περιπτώσεις του ανωτέρω παραδείγματος αναφέρουμε τις συνεχείς συναρτήσεις f : R R : f t cos t,si t 3 3 F : R R : F, y y,, e. και 5) Έστω, XY τ.χ. Θεωρούμε τις προβολές : :, X Y X y και : X Y Y :, y y, στην πρώτη και δεύτερη συντεταγμένη αντίστοιχα. Οι, είναι συνεχείς συναρτήσεις ( όταν ο X Y θεωρείται με την τοπολογία γινόμενο.). Πράγματι, και U U Y ανοικτά αν τα U και V είναι ανοικτά. V X V και αυτά τα σύνολα είναι Πρόταση.47. Έστω XY, τ.χ. και : οικογένεια υποσυνόλων του X ώστε X. Για κάθε, έστω f : Y συνεχής συνάρτηση ώστε f f, για κάθε,. Υποθέτομε ότι είτε: ()Τα σύνολα ή () Τα σύνολα είναι ανοικτά, είναι κλειστά και η οικογένεια πεπερασμένη, έστω,..., Τότε υπάρχει ( μοναδική ) συνεχής συνάρτηση f : X Y η οποία επεκτείνει κάθε f, δηλαδή, για κάθε, f f.

7 39 Απόδειξη Για κάθε X, ορίζουμε f f, όπου είναι ένας δείκτης για τον οποίο. Εύκολα αποδεικνύεται ότι έτσι ορίζεται πράγματι μία συνάρτηση f : X Y ώστε, f f, για κάθε. ()Έστω V Y ανοικτό. Τότε, f V f V. Από τη συνέχεια της f το f V είναι ανοικτό ως προς και άρα ( επειδή το του X ) ανοικτό στον X. Έπεται ότι ανοικτό στον X. Έτσι η συνάρτηση f είναι συνεχής. () Έστω F Y f F κλειστό στον X. κλειστό. Τότε, f F f F είναι κλειστό ως προς και άρα ( το είναι ανοικτό υποσύνολο f V f V f V, από την συνέχεια της f, το είναι κλειστό υποσύνολο του X ) Έπεται ότι, f F f F f F. Έτσι το f F πεπερασμένη ένωση κλειστών και η f είναι συνεχής. είναι κλειστό ως Παρατηρήσεις. 48. ) Έστω X σύνολο και : οικογένεια υποσυνόλων του X ώστε, X. Μια τέτοια οικογένεια ονομάζεται κάλυψη ή κάλυμμα του X. ) Ο ισχυρισμός () της πρότασης.47, εκφράζει το γεγονός ότι η συνέχεια μιας συνάρτησης είναι τοπική ιδιότητα. 3)Ως εφαρμογή της πρότασης.47 παρατηρούμε ότι οι ακόλουθες συναρτήσεις είναι συνεχείς, 0 f, 0 3 si, 0,, g 0,,0

8 40 Ορισμός.49. Έστω XY, τ.χ. και f : X Y μια και επί συνάρτηση. Η f λέγεται ομοιομορφισμός αν τόσο η f όσο και η αντίστροφή της συνεχείς συναρτήσεις. Τότε οι X και Y λέγονται ομοιομορφικοί συμβολίζουμε γράφοντας X Y. f : Y X είναι και αυτό το Αν X και Y τ.χ. και f : X Y συνάρτηση, η f λέγεται τοπολογική εμφύτευση, αν είναι συνεχής και η f : f X X είναι συνεχής ( όπου ο f ως υπόχωρος του Y.). X θεωρείται Έστω f : X Y ομοιομορφισμός, τότε εύκολα εξακριβώνουμε ότι U X ανοικτό αν και μόνο αν f U Y ανοικτό. Έτσι η f επεκτείνεται σε και επί αντιστοιχία μεταξύ των τοπολογιών X και Y των X και Y. Αυτό έχει ως συνέπεια ότι κάθε ιδιότητα του X η οποία εκφράζεται μέσω της τοπολογίας ( δηλαδή των ανοικτών συνόλων ) του X ισχύει και για το Y. Μια τέτοια ιδιότητα ονομάζεται τοπολογική ιδιότητα του X. Περισσότερα γενικά, θα ονομάζουμε μια ιδιότητα τοπολογικών χώρων ένα τοπολογικό αναλλοίωτο, αν οποτεδήποτε είναι αληθής για το χώρο X είναι επίσης αληθής και για κάθε χώρο ομοιομορφικό με τον X. Παρατηρούμε ότι η σχέση του ομοιομορφισμού για τοπολογικούς χώρους είναι μια σχέση ισοδυναμίας στην κλάση των τοπολογικών χώρων: (α) X X, (β) X Y Y X και (γ) X Y και Y Z X Z. ( Συμπληρώστε τις λεπτομέρειες.) Παραδείγματα.50. ) Έστω f : X Y ομοιομορφισμός. Αν υπόχωρος του X τότε f. Πράγματι είναι εύκολο να διαπιστώσουμε ότι η απεικόνιση f : f Y είναι ομοιομορφισμός. ) Έστω c, d R με c 0. Τότε η απεικόνιση f : R R : f c d, R, είναι ένας ομοιομορφισμός εφόσον τόσο η f όσο και η αντίστροφή της d f y y, c c

9 4 y R είναι πολυώνυμο πρώτου βαθμού. Έπεται ιδιαίτερα ότι αν, b R με, br b τότε: b, 0,, b, 0,, b, 0, και, 0, b. Πράγματι η απεικόνιση f b, R είναι ένας ομοιομορφισμός, f 0, f b και f 0,, b f = f : R, : f, R, είναι ένας ομοιομορφισμός των 3) Η συνάρτηση χώρων R και,. Πράγματι τόσο η f όσο και η αντίστροφή της y είναι συνεχείς συναρτήσεις ως συνθέσεις συνεχών. y f :, R : f y Έπεται ιδιαίτερα ότι: R,, 0, 0,,,0,0. Συνδυάζοντας τα παραδείγματα () και (3) συμπεραίνουμε ότι: b τότε b, 0,. ( γιατί; ). 4) Έστω R, e η επεκτεταμένη ευθεία των πραγματικών αριθμών ( πρβλ. F : R, : F, R παράδειγμα.38 ()) Τότε η απεικόνιση και F, είναι ένας ομοιομορφισμός, και κατά συνέπεια η επεκτεταμένη ευθεία R είναι ομοιομορφική με το διάστημα, ( Συμπληρώστε τις λεπτομέρειες.)

10 4 5) Θεωρούμε το σημείο p 0, του μοναδιαίου κύκλου, : του ευκλείδειου επιπέδου. Τότε \ S y R y η απεικόνιση :, y S \ p,0 R0 R y S p R. Πράγματι είναι όπως εύκολα διαπιστώνεται ( και γεωμετρικά ) ένας ομοιομορφισμός των χώρων τον S \ p και του υποχώρου 0 R του, R. Επειδή ο χώρος R ταυτίζεται με R 0 μέσω της ομοιομορφικής εμφύτευσης R,0 R συμπέρασμα., έχουμε το 6) Μία συνεχής συνάρτηση f : X Y η οποία είναι επιπλέον και επί δεν είναι αναγκαία ομοιομορφισμός. Μία τέτοια συνάρτηση είναι η ταυτοτική :, όπου =η διακριτή τοπολογία στον R. Ένα ακόμη παράδειγμα είναι η ταυτοτική I : Rs ().) I R R, R. ( πρβλ. το παράδειγμα.33 Ασκήσεις )Έστω X σύνολο και X. Η χαρακτηριστική συνάρτηση X του ορίζεται ως X, αν και 0 τοπολογικός χώρος και X. Αποδείξτε ότι: (α) Η χαρακτηριστική συνάρτηση ανοικτό και κλειστό υποσύνολο του X. X αν X \. Υποθέτομε ότι X είναι X είναι συνεχής αν και μόνο αν το είναι

11 43 (β) Αποδείξτε ότι στον χώρο R (= ευθεία Sorgefrey ) το διάστημα b, είναι s ανοικτό και κλειστό για κάθε, b R με b. ) Έστω X τ.χ. και f, g : X Αποδείξτε ότι : (α) Οι συναρτήσεις f mi, R συνεχείς συναρτήσεις. g, f ( R ), f g f g είναι συνεχείς. Έπεται ιδιαίτερα ότι το σύνολο, m, f g και C X όλων των συνεχών συναρτήσεων f : X R, είναι ( με πράξεις ορισμένες κατά σημείο ) διανυσματικός χώρος επί του R. (β) Αν f 0, τότε η συνάρτηση f είναι συνεχής στο πεδίο ορισμού της. (γ) Αν X τ.χ. και f, g : X C συνεχείς συναρτήσεις τότε οι f g, f C, f g είναι συνεχείς. Αν f 0 τότε η f είναι συνεχής στο πεδίο ορισμού της. [ Υπόδειξη. Για το (β): m f, g f g f g, mi, f g f g f g f g f g f g 4,. Για τις m f, g, mi f, g μπορείτε να χρησιμοποιήσετε και την πρόταση. 47 (). Για το (γ) παρατηρούμε ότι το σύνολο των μιγαδικών C ταυτίζεται τοπολογικά με το ότι αν συνάρτηση τότε f Re f,im f f : X C R.] R και 3) Αποδείξτε ότι οι συναρτήσεις, y R y R και, είναι συνεχείς., b [ Υπόδειξη. Έστω και y R y R R και 0. Για την πρόσθεση παρατηρούμε ότι : yb y b y b. Για τον πολλαπλασιασμό έχουμε ότι: αν επιλέξουμε 0 ώστε b, τότε οι ανισότητες και yb μαζί με την ταυτότητα, y b y b b y b συμπεραίνουμε ότι, y b.]

12 44 4) α) Υποθέτουμε ότι η συνάρτηση f : R R είναι δεξιά συνεχής ( δηλαδή lim f f για κάθε R). Αποδείξτε ότι η f είναι συνεχής όταν θεωρείται ως συνάρτηση από τον R S στον R. (β) Τι είδους συναρτήσεις f : R R είναι οι συνεχείς συναρτήσεις από τον R στον R ή από τον S R S στον R S ; 5) Βρείτε μία συνάρτηση f : R R η οποία έχει ακριβώς ένα σημείο συνέχειας. 6) Έστω X τ.χ., f : X R,, ακολουθία συνεχών συναρτήσεων και f : X R συνάρτηση. Αποδείξτε ότι αν f f ομοιόμορφα επί του X τότε και η f είναι συνεχής. 7) Έστω X, χώρος με νόρμα. Αποδείξτε ότι η απεικόνιση (= X : :, f : X B 0, f X είναι ομοιομορφισμός. 8) Στο σύνολο R επισυνάπτουμε ένα σημείο έστω και θεωρούμε εκείνη την τοπολογία επί του συνόλου R R μορφής, R :, R :, η οποία έχει ως υποβάση τα σύνολα της καθώς και τα R : R :, R. Αποδείξτε ότι: (α) Η σχετική τοπολογία του R θεωρούμενου ως υποχώρου του R, είναι η Ευκλείδεια. y (β) Η απεικόνιση F : S R : F, y, αν y, 0, και F 0,, είναι ομοιομορφισμός. ( Πρβλ. το παράδειγμα.50 (5).) Δώστε μια γεωμετρική ερμηνεία της F. f : R S : f t cos t,si t, t R. Αποδείξτε ότι: 9) Έστω (α) Η f είναι συνεχής και επί του S

13 45 (β) Η f 0, είναι και επί του (γ) Αν ταυτίσουμε τα σημεία 0 και του μπορεί να κάνει την f 0, ομοιομορφισμό; S, αλλά δεν είναι ομοιομορφισμός. 0,, ποια τοπολογία στο 0, [ Υπόδειξη. Για το (γ): θεωρούμε ως βάση περιοχών του 0 όλα τα σύνολα της μορφής 0,,,0. Συσχετίστε αυτή την κατασκευή με το χώρο R, της άσκησης (8).] 0) Εξηγήστε γεωμετρικά ότι η απεικόνιση του σχήματος είναι ένας ομοιομορφισμός μεταξύ του μοναδιαίου κύκλου S και του τετραγώνου, : με κορυφές 0,,,0, 0, S y y και Y (0,) (,y) φ(,y) (-,0) (0,0) (,0) X (0,-),0. Εν συνεχεία αποδείξτε ότι η επεκτείνεται σε ένα ομοιομορφισμό : R R ώστε D, όπου D και είναι τα εσωτερικά των S και S.

14 46, y R, θέτομε, [ Υπόδειξη. Για κάθε y και y. Η ζητούμενη είναι η, 0,0 της η y y, y 0,0 y y και 0,0 0,0 και 0,0 0,0 και η αντίστροφή. Παρατηρούμε ότι, αν R τότε 0 0.] ) Έστω p 0,0, ο «βόρειος» πόλος της σφαίρας 3 S, y, z R : y z του y :, y, z S \ p,,0 R 0 R z z μεταξύ των χώρων 3 S \ p και του υποχώρου R 0 3 R. Αποδείξτε ότι η απεικόνιση είναι ένας ομοιομορφισμός R του 3 R. Η απεικόνιση αυτή ονομάζεται στερεογραφική προβολή. Ανάλογα αποδεικνύεται ότι,, όπου S \ 0,0,..., R 0 R S,..., R :...