Σελίδα 1 από 1
1-1 και συνεχής
Δημοσιεύτηκε: Πέμ Ιαν 27, 2011 12:04 pm
από nsmavrogiannis
Υπάρχει 1-1 και συνεχής συνάρτηση που να απεικονίζει το μοναδιαίο τετράγωνο

στο
![I=[0,1] I=[0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/e56ebb3d9782176e00be7a6f25e2f8df.png)
;
Μαυρογιάννης
__________________________________________________________
Λέξεις κλειδιά: Συνεχής, 1-1, μοναδιαίο, διάστημα , τετράγωνο
__________________________________________________________
Re: 1-1 και συνεχής
Δημοσιεύτηκε: Πέμ Ιαν 27, 2011 12:48 pm
από s.kap
Νίκο θα κάνω μια απόπειρα που μπορεί να μην είναι και σωστή, αλλά θέλω να δοκιμάσω αν δεν με έχει εγκαταλείψει η μνήμη μου:
Αν εξαιρέσουμε από το κλειστό μοναδιαίο τετράγωνο τρία οποιαδήποτε σημεία θα προκύψει ένα συνεκτικό σύνολο

. Συνεπώς το

πρέπει να είναι συνεκτικό
Αλλά το

, ακόμη και στην περίπτωση που οι εικόνες των δύο εκ των τριών σημείων είναι τα άκρα του [0,1] θα είναι ένα σύνολο της μορφής

, όπου c η εικόνα του τρίτου σημείου, το οποίο δεν είναι συνεκτικό σύνολο.
Άρα η απάντηση είναι αρνητική
Re: 1-1 και συνεχής
Δημοσιεύτηκε: Πέμ Ιαν 27, 2011 1:23 pm
από s.kap
Ας δούμε και μια άλλη λύση:
Θα χρησιμοποιήσω το εξής λήμμα (Νομίζω πως έχει συζητηθεί. Σε αντίθετη περίπτωση θα αναρτήσω απόδειξη)*
Το [0,1]δεν μπορεί να γραφεί ως ένωση μιας οικογένειας ξένων μεταξύ τους κλειστών διαστημάτων
Έρχομαι στην απόδειξη:
Για κάθε
![a \in [0,1] a \in [0,1]](/forum/ext/geomar/texintegr/latexrender/pictures/f2b2addf5ff64b15428e3b050177d1ba.png)
ορίζω την συνεχή συνάρτηση
Είναι προφανές ότι το
![f_a([0,1])=I_a f_a([0,1])=I_a](/forum/ext/geomar/texintegr/latexrender/pictures/f5b0678cbb02afdc21c7091f5fcb904a.png)
είναι ένα κλειστό διάστημα.
Επίσης άμεση συνεπεια του 1-1 της

είναι το ότι
Άρα αν υπάρχει τέτοια συνάρτηση θα πρέπει το [0,1] να γράφεται ως ένωση μιας οικογένειας ξένων ανά δύο
κλειστών διαστημάτων, το οποίο είναι άτοπο.
*
viewtopic.php?f=9&t=5251
Φιλικά
Re: 1-1 και συνεχής
Δημοσιεύτηκε: Πέμ Ιαν 27, 2011 10:10 pm
από Demetres
Ίδια ιδέα με την πρώτη λύση του Σπύρου αλλά πιο απλά:
Έστω

με

. Τότε η
![f:I \times I \setminus \{(x,y)\} \to [0,1/2) \cup (1/2,1] f:I \times I \setminus \{(x,y)\} \to [0,1/2) \cup (1/2,1]](/forum/ext/geomar/texintegr/latexrender/pictures/bc66ba32ba3bfd801a5aabff87121997.png)
είναι συνεχής, άτοπο, αφού το

είναι συνεκτικό ενώ το
![[0,1/2) \cup (1/2,1] [0,1/2) \cup (1/2,1]](/forum/ext/geomar/texintegr/latexrender/pictures/2f602bc2a989609e859818e505523029.png)
όχι.
Re: 1-1 και συνεχής
Δημοσιεύτηκε: Πέμ Ιαν 27, 2011 10:47 pm
από nsmavrogiannis
Σπύρο, Δημήτρη ευχαριστώ πολύ για τις απαντήσεις. Γράφω μία απόδειξη που δεν είναι δική μου.Την είδα στην
Τοπολογία του
Λέλεκ και ανήρτησα το θέμα κυρίως για να την μοιραστώ μαζί σας. Είναι απλή και χρησιμοποιεί πολύ στοιχειώδη μέσα. Ας υποθέσουμε ότι τέτοια συνάρτηση υπάρχει. Ας ονομάσουμε

,

τις "κάτω" κορυφές του

.

- one to one.png (22.82 KiB) Προβλήθηκε 1436 φορές
Θα είναι

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

. Ο περιορισμός

της

στο τμήμα

είναι ουσιαστικά μία συνεχής συνάρτηση από το

στο

και επομένως έχει την ιδιότητα της ενδιάμεσης τιμής. Άρα υπάρχει

εσωτερικό του τμήματος

ώστε

. Η αντίστροφη εικόνα

του

είναι ανοικτό σύνολο που περιέχει το

. Επομένως θα υπάρχει κάποιος κύκλος με κέντρο το

που θα η τομή του

με το

περιέχεται στο

. Θα είναι

άρα υπάρχει σημείο

του

το οποίο δεν ανήκει στο

αλλά απεικονίζεται στο

. Aν

έχουμε άτοπο. Αν πάλι

τότε το

είναι τιμή της

πάλι από το θεώρημα ενδιάμεσης τιμής. Άρα υπάρχει

στο

ώστε

(άτοπο)
Για την μεταφορά: Μαυρογιάννης