Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

Σχετικά έγγραφα
Συνεκτικά σύνολα. R είναι συνεκτικά σύνολα.

6 Συνεκτικοί τοπολογικοί χώροι

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

Συνεχείς συναρτήσεις πολλών µεταβλητών. ε > υπάρχει ( ) ( )

Ασκήσεις. και. για κάποιο k n. ( ) BdΚ και επί πλέον το BdΚ είναι ακραίο. [Υπόδειξη Πρβλ. την άσκηση 11 της παραγράφου 3.1 για το (α)].

Εισαγωγή στην Τοπολογία

Κ X κυρτό σύνολο. Ένα σημείο x Κ

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

( ) = inf { (, Ρ) : Ρ διαµέριση του [, ]}

Όταν δεν υπάρχει κίνδυνος σύγχυσης γράφουμε συνήθως ο τοπολογικός χώρος X και χρησιμοποιούμε την σύντμηση τ.χ. (= τοπολογικός χώρος).

Κανόνες παραγώγισης ( )

Καµπύλες στον R. σ τελικό σηµείο της σ. Το σ. σ =. Η σ λέγεται διαφορίσιµη ( αντιστοίχως

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

( y) ( x) ( 0) ( ) ( 0) ( y) ( ) ( ) ( ) Παραδείγµατα και εφαρµογές. 1)Έστω D απλά συνεκτικός τόπος στο R που φράσσεται από την ( κατά τµήµατα 1

V x, y W x, y, y συνιστούν προφανώς ένα ανοικτό

4 Ασθενείς τοπολογίες σε χώρους με νόρμα. 4.1 θεωρήματα Mazur, Alaoglou, Goldstine.

5 Σύγκλιση σε τοπολογικούς χώρους

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

Έχοντας υπόψιν το Λήμμα του Urysohn, είναι φυσικό να θέσουμε το ακόλουθο ερώτημα: Αν

π B = B και άρα η π είναι ανοικτή απεικόνιση.

4.2 Αυτοπάθεια και ασθενής συμπάγεια * * X, x X, είναι επί του. X. Σημειώνουμε ότι υπάρχουν παραδείγματα μη

i=1 i=1 i=1 (x i 1, x i +1) (x 1 1, x k +1),

f(t) = (1 t)a + tb. f(n) =

Ακρότατα υπό συνθήκη και οι πολλαπλασιαστές του Lagrange

11 Το ολοκλήρωµα Riemann

Πραγµατική Ανάλυση ( ) Ασκήσεις - Κεφάλαιο 3

Κεφάλαιο 2. Παραγοντοποίηση σε Ακέραιες Περιοχές

Ο ΕΥΚΛΕΙ ΕΙΟΣ ΧΩΡΟΣ. Το εσωτερικό γινόµενο

Ο ΕΥΚΛΕΙ ΕΙΟΣ ΧΩΡΟΣ. Το εσωτερικό γινόµενο

Υπολογισµός τριπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Εισαγωγή στην Τοπολογία

R ισούται με το μήκος του. ( πρβλ. την ιστορική σημείωση 3.27 στο τέλος

Όρια συναρτήσεων. ε > υπάρχει ( ) { } = ± ορίζονται αναλόγως. Η διατύπωση αυτών των ορισµών αφήνεται ως άσκηση. x y = +. = και για κάθε (, ) ( 0,0)

f x 0 για κάθε x και f 1

z 1 E(G) 2(k 1) = 2k 3. x z 2 H 1 H 2

Αρµονική Ανάλυση. Ενότητα: L 2 -σύγκλιση σειρών Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Κυρτή Ανάλυση. Ενότητα: Υπερεπίπεδα στήριξης και διαχωριστικά ϑεωρήµατα. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Εισαγωγή στην Τοπολογία

Οι πραγµατικοί αριθµοί

Y είναι τοπολογία. Αυτή περιέχει το και

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

1 Χώροι πηλίκα { } x = y x y Y. Με τις πράξεις της πρόσθεσης και του βαθμωτού πολλαπλασιασμού που ορίζονται με τον

E(G) 2(k 1) = 2k 3.

Όρια συναρτήσεων. ε > υπάρχει ( ) { } = ± ορίζονται αναλόγως. Η διατύπωση αυτών των ορισµών αφήνεται ως άσκηση. x y = +. = και για κάθε (, ) ( 0,0)

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.


8. Πολλαπλές μερικές παράγωγοι

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

Κεφάλαιο 1. Μετρικοί χώροι. 1.1 Βασικές έννοιες. Εστω σύνολο X και έστω η απεικόνιση d : X X R έτσι ώστε για κάθε x, y, z X ισχύουν :

1.2 Βάσεις και υποβάσεις.

Γραµµική Αλγεβρα Ι. Ενότητα: ιανυσµατικοί χώροι. Ευάγγελος Ράπτης. Τµήµα Μαθηµατικών

2 Πεπερασμένα ευθέα αθροίσματα και προβολές σε χώρους με νόρμα. με νόρμα, με τις ακόλουθες νόρμες οι οποίες ορίζονται μέσω των νορμών των X και Y.

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

ι3.4 Παραδείγματα T ) έχει την ιδιότητα Heine-Borel, αν κάθε κλειστό και φραγμένο υποσύνολό του είναι συμπαγές.

( a) ( ) n n ( ) ( ) a x a. x a x. x a x a

3Τοπολογικοί διανυσματικοί χώροι. y A, για κάθε λ [ 0,1]

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

u v 4 w G 2 G 1 u v w x y z 4

Αρµονική Ανάλυση. Ενότητα: Μέτρο Lebesgue. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

B = F i. (X \ F i ) = i I

Εισαγωγή στην Τοπολογία

ΚΕΦΑΛΑΙΟ 2: Ηµιαπλοί ακτύλιοι

8. Πολλαπλές μερικές παράγωγοι

Ασκήσεις για το µάθηµα «Ανάλυση Ι και Εφαρµογές» (ε) Κάθε συγκλίνουσα ακολουθία άρρητων αριθµών συγκλίνει σε άρρητο αριθµό.

εισαγωγή του Ρ(χ) που είναι οι αριθµοί x1 =, x2 σχήµα 1 Θεωρώντας το πολυώνυµο Ρ(z)=z 3 -z 2 +z=z(z 2 -z+1) παρατηρούµε ότι οι = ενώ οι ρίζες 2 2

ιανυσµατικά πεδία Όπως έχουµε ήδη αναφέρει ένα διανυσµατικό πεδίο είναι µια συνάρτηση

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2...

1 Το ϑεώρηµα του Rademacher

Το θεώρηµα πεπλεγµένων συναρτήσεων

Εισαγωγή στην Τοπολογία

Κεφάλαιο 1. Θεωρία Ζήτησης

2 Πεπερασμένα ευθέα αθροίσματα και προβολές σε χώρους με νόρμα. με νόρμα, με τις ακόλουθες νόρμες οι οποίες ορίζονται μέσω των νορμών των X και Y.

Δώδεκα Αποδείξεις του. Θεμελιώδους Θεωρήματος της Άλγεβρας

Ακολουθίες στον R n. ακολουθία διανυσµάτων στον. 1 1 ακολουθία στον 2 k. εφόσον 1+ e. k + R δεν είναι συγκλίνουσα. Πράγµατι αν

Μιχάλης Παπαδημητράκης. Αναλυτική χωρητικότητα Συνεχής αναλυτική χωρητικότητα

1 Οι πραγµατικοί αριθµοί

3Τοπολογικοί διανυσματικοί χώροι. y A, για κάθε λ [ 0,1]

ΙΑΤΜΗΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥ ΩΝ. και την ΟΙΚΟΝΟΜΙΑ»

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5

Τελική Εξέταση 10 Φεβρουαρίου 2017 ιάρκεια εξέτασης 2 ώρες και 30 λεπτά

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

4 Συνέχεια συνάρτησης

4.2 Αυτοπάθεια και ασθενής συμπάγεια * * X, x X, είναι επί του. X. Σημειώνουμε ότι υπάρχουν παραδείγματα μη

1 Ορισµός ακολουθίας πραγµατικών αριθµών

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

f x = f a + Df a x a + R1 x, a, x U και από τον ορισµό της 1 h f a h f a h a h h a R h a i i j

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΜΕΜ251 Αριθμητική Ανάλυση

14 Εφαρµογές των ολοκληρωµάτων

Διακριτά Μαθηματικά ΙΙ Χρήστος Νομικός Τμήμα Μηχανικών Η/Υ και Πληροφορικής Πανεπιστήμιο Ιωαννίνων 2018 Χρήστος Νομικός ( Τμήμα Μηχανικών Η/Υ Διακριτά

f(f 1 (B)) f(f 1 (B)) B. X \ (f 1 (C)) = X \ f 1 (C) = f 1 (Y \ C) X \ (f 1 (C)) f 1 (Y \ C). f 1 (Y \ C) = f 1 (Y \ C ) = X \ f 1 (C ).

Μιχάλης Παπαδημητράκης. Μιγαδική Ανάλυση. Τμήμα Μαθηματικών. Πανεπιστήμιο Κρήτης

q(g \ S ) = q(g \ S) S + d = S.

Αρµονική Ανάλυση. Ενότητα: Ολοκλήρωµα Lebesgue - Ασκήσεις. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Ακρότατα πραγματικών συναρτήσεων

Κεφάλαιο 1. Πλειότιµες απεικονίσεις. 1.1 Ορισµοί

Ατοµική Θεωρία Ζήτησης

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z)

Κατευθυνόμενα γραφήματα. Μαθηματικά Πληροφορικής 6ο Μάθημα. Βρόχοι. Μη κατευθυνόμενα γραφήματα. Ορισμός

x \ B T X. A = {(x, y) R 2 : x 0, y 0}

Transcript:

4 Συνεκτικά σύνολα Έστω, Ι διάστηµα και f : Ι συνεχής, τότε η f έχει την ιδιότητα της ενδιαµέσου τιµής, δηλαδή, η f παίρνει κάθε τιµή µεταξύ δύο οποιονδήποτε διαφορετικών τιµών της, συνεπώς το f ( Ι ) είναι διάστηµα. Είναι χαρακτηριστική ιδιότητα των ανοικτών ή κλειστών διαστηµάτων στο ότι δεν µπορούν να γραφούν ως ένωση δύο ξένων ανοικτών ή κλειστών υποδιαστηµάτων αντίστοιχα. Η ιδιότητα αυτή γενικεύεται στον και επιτρέπει να αποδείξουµε ένα αντίστοιχο αποτέλεσµα για συνεχείς πραγµατικές συναρτήσεις πολλών µεταβλητών.. 3.5 Ορισµός. Ένα σύνολο Α λέγεται συνεκτικό αν δεν µπορεί να γραφεί ως ένωση δύο ξένων µη κενών ανοικτών στο Α υποσυνόλων. Με άλλα λόγια ένα σύνολο Α δεν είναι συνεκτικό αν υπάρχουν U, V ανοικτά ώστε, Α Α Α Α = U, V,( U) ( V) και ( U) ( V) Προφανώς τα µονοσύνολα του Α Α =Α. είναι συνεκτικά σύνολα. Αποδεικνύεται το ακόλουθο σηµαντικό αποτέλεσµα που χαρακτηρίζει τα συνεκτικά υποσύνολα του.. 3.6 Θεώρηµα (Συνεκτικότητα των διαστηµάτων). Τα µόνα συνεκτικά υποσύνολα του µε περισσότερα από ένα στοιχεία είναι τα διαστήµατα. ( ανοικτά, κλειστά,ηµιανοικτά φραγµένα ή µη φραγµένα). Απόδειξη: Παραλείπεται. Υπενθύµιση. Αν Χ σύνολο και Α Χ τότε η χαρακτηριστική συνάρτηση του, Α Α : Χ : Α =., Α συνόλου Α είναι η συνάρτηση 3.7 Λήµµα. Οι ακόλουθοι ισχυρισµοί είναι ισοδύναµοι για ένα σύνολο Α. (ι) Το Α δεν είναι συνεκτικό. (ιι) Υπάρχει f : f Α =,. ανοικτά στο f Α συνεχής ώστε { } Απόδειξη: (ι) (ιι) Το Α γράφεται ως Α= ( Α U) ( Α V) µε Α U Α V και ( U) ( V) και παρατηρούµε ότι η f είναι συνεχής µε f ( Α ) = {, }. = Α U όπου U, V Α Α =. Θέτουµε ( η f αντιστρέφει τα ανοικτά υποσύνολα του σε σχετικά ανοικτά υποσύνολα του Α). (ιι) (ι) Τα σύνολα f Α = { } και Α = f {} είναι σχετικά ανοικτά υποσύνολα του Α σε τρόπο ώστε Α Α =Α, Α, Α και Α Α =. Έστω U, V ανοικτά ώστε Α = U είναι συνεκτικό. Α και Α = V Α. Εποµένως το Α δεν

4 f 3.8 Πρόταση Έστω Α είναι συνεκτικό υποσύνολο του Α συνεκτικό και f :. Α συνεχής τότε το Απόδειξη: Αν το f ( Α ) δεν ήταν συνεκτικό τότε θα υπήρχε µια συνεχής συνάρτηση, g : f ( Α) {,} µε g( f ( Α )) = {,}. Τότε η συνάρτηση gof : Α θα ήταν συνεχής και ( gof )( Α ) = {,}. Εποµένως το Α δεν θα ήταν συνεκτικό, άτοπο. Η έννοια της συνεκτικότητας οδηγεί στην ακόλουθη γενίκευση του θεωρήµατος ενδιαµέσου τιµής του Λογισµού µιας µεταβλητής. 3.9 Θεώρηµα ( Ενδιαµέσου Τιµής ) Έστω f : Α συνεχής. Αν το Α είναι συνεκτικό υποσύνολο του τότε το f Α είναι διάστηµα του, δηλαδή η f παίρνει κάθε τιµή µεταξύ δύο διαφορετικών τιµών της. Απόδειξη: Έπεται προφανώς από το προηγούµενο αποτέλεσµα και τον χαρακτηρισµό των συνεκτικών υποσυνόλων του. Α I οικογένεια συνεκτικών υποσυνόλων του Α, τότε η ένωση Α= Α είναι συνεκτικό υποσύνολο του 3. Λήµµα. Έστω { : } κλειστότητα ενός συνεκτικού συνόλου είναι σύνολο συνεκτικό. Απόδειξη: Ας υποθέσουµε ότι υπάρχει f : Έστω, υποθέτουµε ότι Α Α, έπεται ότι f ( y) f ώστε. Επίσης η Α συνεχής µε {,} f Α =. f =. Επειδή το κάθε Α είναι συνεκτικό και = = για κάθε y Α και για κάθε I. Συνεπώς η f δεν µπορεί να παίρνει την τιµή. ( Ανάλογα, αποδεικνύεται ότι αν f ( ) = τότε y Α= Α f y = για κάθε. Έτσι καταλήγουµε σε άτοπο και άρα το Α είναι συνεκτικό. Για τον δεύτερο ισχυρισµό παρατηρούµε ότι αν f : Ι Α συνεχής ( όπου Α συνεκτικό ) µε f ( Α) {,}, τότε η συνέχεια της f έπεται ότι αυτή δεν µπορεί να είναι επί του {, }. Πράγµατι αν υπήρχαν, Α µε f ( ) = και θα υπήρχαν ακολουθίες ( ) και ( y ) στοιχείων του Α ώστε και y Συνεπώς f f = και f ( y) f =. Επειδή ( f ( ) ) και f ( y ) είναι ακολουθίες στοιχείων του {, } έπεται ότι f ( ) = και N. Συνεπώς f ( Α ) = {,}, άτοπο. N για κάποιο N f = τότε. f y = για κάθε (*) 3. Ορισµός Έστω, Α και Α. Η συνεκτική συνιστώσα Ατου στο Α είναι η ένωση όλων των συνεκτικών υποσυνόλων του Α που περιέχουν το. Χρησιµοποιώντας τα δύο Λήµµατα που αποδείξαµε παραπάνω (3.7 και 3. ) αποδεικνύεται εύκολα ( αφήνεται ως άσκηση ) η ακόλουθη.

4 (*) 3.. Πρόταση. Έστω, Α και Α. Τότε ισχύουν τα ακόλουθα: (ι) Η συνεκτική συνιστώσα Α του στο Α είναι συνεκτικό σύνολο και είναι ένα µεγιστικό συνεκτικό υποσύνολο του Α. ( Αν Α Β Α και Β συνεκτικό τότε Α =Β ). (ιι) Η συνεκτική συνιστώσαα του στο Α είναι σύνολο κλειστό στο Α. (ιιι) Το σύνολο των συνεκτικών συνιστωσών των σηµείων του Α συνιστά µια διαµέριση του Α, δηλαδή, κάθε δύο διαφορετικές συνιστώσες του Α είναι ξένες και η ένωσή τους ισούται µε το Α. (ιν) Μια συνεχής συνάρτηση f : Α είναι σταθερή πάνω σε κάθε συνεκτική συνιστώσα του Α. Παρατήρηση. Οι συνεκτικές συνιστώσες ενός συνόλου Α δεν είναι απαραίτητα σύνολα ανοικτά στο Α. Για παράδειγµα οι συνεκτικές συνιστώσες των σηµείων του Q είναι µονοσύνολα. Ένα άλλο παράδειγµα είναι το σύνολο Α= : { }. Οι συνεκτικές συνιστώσες του Α είναι οι: το {},,...,... σχετικά µε το Α. Από την άλλη µεριά αποδεικνύεται ότι οι συνεκτικές συνιστώσες ενός ανοικτού συνόλου U είναι σύνολα ανοικτά στον. και το { }, παρατηρούµε ότι το { } δεν είναι ανοικτό 3.3 Ορισµός: (ι) Έστω, a, b το ( προσανατολισµένο ) ευθύγραµµο τµήµα από το aστο b είναι το σύνολο [, ] { : [,] } a b t a tb t = +. (ιι) Έστω,,..., a a σηµεία του. Η πολυγωνική γραµµή µε κορυφές τα a,..., a Ρ= a, a a, a... a, a. είναι το σύνολο, [ ] [ ] [ ] (ιιι) Ένα υποσύνολο 3 Κ λέγεται κυρτό αν για κάθε a, b Κ ισχύει ότι [ a, b] Κ. Παρατηρούµε ότι κάθε ευθύγραµµο τµήµα [ a, b] είναι κυρτό υποσύνολο του 3.4 Πρόταση: (ι) Κάθε ευθύγραµµο τµήµα και γενικότερα κάθε πολυγωνική γραµµή στον είναι σύνολα συνεκτικά. (ιι) Κάθε κυρτό σύνολο στον είναι σύνολο συνεκτικό. Απόδειξη: (ι) Έστω, a, b, τότε η απεικόνιση ϕ :[, ] [ a, b] : ϕ( t) ( t) a tb, t [,] ϕ [, ] = a, b. Εποµένως το [, ] = + είναι συνεχής και [ ] a b είναι συνεκτικό. Το γεγονός ότι µια πολυγωνική γραµµή Ρ µε - κορυφές είναι σύνολο συνεκτικό αποδεικνύεται µε επαγωγή στον αριθµό των κορυφών της ( για = η Ρ είναι ένα ευθύγραµµο τµήµα στον και άρα σύνολο συνεκτικό ). Για το επόµενο βήµα της επαγωγής χρησιµοποιούµε το Λήµµα 3..

43 (ιι) Έστω Κ κυρτό και a Κ. Επειδή το Κ είναι κυρτό ισχύει ότι [ a, ] Κ για κάθε Κ, εποµένως Κ = {[ a, ] : Κ}. Από το Λήµµα 3. έπεται το συµπέρασµα. Παραδείγµατα κυρτών συνόλων: ) Κάθε ανοικτή ή κλειστή σφαίρα στον είναι σύνολο κυρτό. Η απόδειξη είναι απλή ( και διαισθητικά προφανής αν = ή 3). )Κάθε ηµιεπίπεδο ( ανοικτό ή κλειστό ) είναι κυρτό σύνολο στον. 3) Το εσωτερικό ενός τριγώνου ή ενός παραλληλογράµµου είναι σύνολο κυρτό στον. Βέβαια και κάθε κλειστό τρίγωνο ή παραλληλόγραµµο ( το εσωτερικό µαζί µε το σύνορο ) είναι κυρτό σύνολο. Αποδεικνύεται ο ακόλουθος χαρακτηρισµός των ανοικτών και συνεκτικών υποσυνόλων του. 3.5 Θεώρηµα. Έστω, U ανοικτό σύνολο. Τότε τα ακόλουθα είναι ισοδύναµα: (ι) Το U είναι συνεκτικό. (ιι) Για κάθε a, b Uυπάρχει πολυγωνική γραµµή Ρ Uαπό το a στο b ( το U είναι όπως λέµε πολυγωνικά συνεκτικό). Απόδειξη: Παραλείπεται. Ένα ανοικτό και συνεκτικό υποσύνολο του θα ονοµάζεται και τόπος. Παραδείγµατα: Χρησιµοποιώντας τα προηγούµενα αποτελέσµατα µπορούµε να αποδείξουµε ότι τα ακόλουθα ανοικτά σύνολα είναι συνεκτικά: )Αν F είναι πεπερασµένο σύνολο τότε το F Β, ε F είναι συνεκτικά σύνολα. (όπου )Αν και ε ε συνεκτικό., καθώς και το ε > και ). Β, ε Β, ε είναι σύνολο < < τότε ο δακτύλιος ( ) 3)Αν οι ανοικτές σφαίρες (, ε ), (, ε ) Β Β τέµνονται τότε η ένωση τους είναι σύνολο συνεκτικό. Η απόδειξη των (), (), (3) αφήνεται ως άσκηση. Καθόσον αφορά τις συνεκτικές συνιστώσες ενός ανοικτού συνόλου του αποδεικνύεται εύκολα το ακόλουθο. (*) 3.6Θεώρηµα. Έστω Uανοικτό σύνολο στον. Τότε ισχύουν: (ι) Κάθε συνεκτική συνιστώσα του U είναι σύνολο ανοικτό στον (ιι) Το U έχει αριθµήσιµο πλήθος συνεκτικών συνιστωσών. Η απόδειξη του (ι) ισχυρισµού αφήνεται ως άσκηση. Για τον (ιι) ισχυρισµό χρησιµοποιούµε τον πρώτο ισχυρισµό καθώς και το γεγονός ότι ο περιέχει ένα αριθµήσιµο πυκνό υποσύνολο, π.χ. το σύνολο Q ( Q =το σύνολο των ρητών στο ). Ένα υποσύνολο Α του λέγεται ότι είναι πυκνό στον αν, Α=..

44 Σηµείωση: Για την απόδειξη των θεωρηµάτων 3.6 και 3.5 καθώς και για πληρέστερη ενηµέρωση επί της συνεκτικότητας παραπέµπουµε στην Βιβλιογραφία. Ασκήσεις )Αποδείξτε χρησιµοποιώντας µόνο τον ορισµό της συνεκτικότητας ότι τα ακόλουθα σύνολα δεν είναι συνεκτικά. (α) Η υπερβολή y = στον. (β) Κάθε πεπερασµένο υποσύνολο του µε τουλάχιστον δύο σηµεία., y : + y 4 και y + { } (,,δ) (γ) (,,δ) (δ) Η ένωση των ανοικτών δίσκων Β και Β, του, όπου δ =. )Έστω U ένα ανοικτό υποσύνολο του. Αποδείξτε ότι το U είναι µη συνεκτικό αν και µόνο αν U =Α Β, όπου Α, Β µη κενά ανοικτά και ξένα υποσύνολα του. Αποδείξτε το αντίστοιχο αποτέλεσµα αντικαθιστώντας παντού το επίθετο «ανοικτό» µε το επίθετο «κλειστό». Α ακολουθία συνεκτικών υποσυνόλων του ώστε Α Α+ 3)Έστω για κάθε. Αποδείξτε ότι το σύνολο Α είναι συνεκτικό στον = [ Υπόδειξη: Τα σύνολα Α Α, Α Α Α3,... είναι συνεκτικά]. 4)Έστω f : Α συνεχής συνάρτηση όπου Α συνεκτικό στον Αποδείξτε ότι το γράφηµα της f, δηλαδή το σύνολο. {(, ) : } G f = f Α είναι συνεκτικό υποσύνολο του. S = : = της Ευκλείδειας µοναδιαίας 5)Αποδείξτε ότι η επιφάνεια { } σφαίρας ( ), είναι σύνολο συνεκτικό στον { }, είναι συνεχής].. [ Υπόδειξη: Η απεικόνιση 6) Θεωρήστε µια οικογένεια συνεκτικών υποσυνόλων κάποιου ευκλείδειου χώρου τα οποία έχουν ανά δύο µια κενή τοµή. Αποδείξτε ότι η ένωση των µελών της είναι συνεκτικό σύνολο.