Απόδειξη 1-1 και επί

nikolasuoi
Δημοσιεύσεις: 30
Εγγραφή: Δευ Μάιος 16, 2016 11:13 am

Απόδειξη 1-1 και επί

#1

Μη αναγνωσμένη δημοσίευση από nikolasuoi » Σάβ Αύγ 10, 2019 2:51 am

Καλησπέρα,

Έστω f:A\rightarrow B και g:B\rightarrow C δύο συναρτήσεις.
\left ( i \right ) Αν η συνάρτηση g\circ f είναι 1-1 να δειχθεί ότι η f είναι 1-1.
\left ( ii \right ) Αν η συνάρτηση g\circ f είναι επί να δειχθεί ότι η g είναι επί.

Απ.:
\left ( i \right ) x_{1}, x_{2}\in A, έχουμε f\left ( x_{1} \right )=f\left ( x_{2} \right )\Rightarrow g\left ( f\left ( x_{1} \right ) \right )=g\left ( f\left ( x_{2} \right ) \right ) επειδή g:1-1, τελικά x_{1}=x_{2}, δηλαδή η f είναι 1-1.
\left ( ii \right ) g\circ f επί, που σημαίνει ότι για τυχόν z\in C, \exists x\in A τέτοιο, ώστε g\left ( f\left ( x \right ) \right )=z
Επειδή g:B\rightarrow C, \exists y\in B τέτοιο, ώστε g\left ( y \right )=z
εδώ το χάνω, είναι λάθος ο τρόπος που το πήγα;



Λέξεις Κλειδιά:
stranger
Δημοσιεύσεις: 57
Εγγραφή: Δευ Ιαν 14, 2019 6:12 am
Τοποθεσία: United States of America

Re: Απόδειξη 1-1 και επί

#2

Μη αναγνωσμένη δημοσίευση από stranger » Σάβ Αύγ 10, 2019 4:36 am

Είναι απόλυτα σωστά και τα δύο. Η ερώτηση που πρέπει να κάνεις στον εαυτό σου είναι "γιατί δεν είσαι σίγουρος;".


Κωνσταντίνος Σμπώκος
Μαθηματικός
Mihalis_Lambrou
Επιμελητής
Δημοσιεύσεις: 11536
Εγγραφή: Κυρ Δεκ 21, 2008 2:04 am

Re: Απόδειξη 1-1 και επί

#3

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Σάβ Αύγ 10, 2019 3:39 pm

stranger έγραψε:
Σάβ Αύγ 10, 2019 4:36 am
... Η ερώτηση που πρέπει να κάνεις στον εαυτό σου είναι "γιατί δεν είσαι σίγουρος;".
Θα συμφωνήσω με τον Κώστα (stranger) διότι η άσκηση είναι τόσο, μα τόσο, απλή που αν είσαι φοιτητής του Μαθηματικού πρέπει να επιληφθείς του θέματος. Το κέντρο των Μαθηματικών είναι αλλού. Η παραπάνω άσκηση είναι στην περιφέρεια της ουσίας, και συγκαταλέγεται στις σχεδόν αυτονόητες ιδιότητες των συναρτήσεων.

Κάτι ακόμα. Στο σημείο
nikolasuoi έγραψε:
Σάβ Αύγ 10, 2019 2:51 am
 ... \Rightarrow g\left ( f\left ( x_{1} \right ) \right )=g\left ( f\left ( x_{2} \right ) \right ) επειδή g:1-1, τελικά x_{1}=x_{2},
υπάρχει κάποιο σφάλμα, που ελπίζω να είναι τυπογραφικό και όχι ουσιαστικό.


nikolasuoi
Δημοσιεύσεις: 30
Εγγραφή: Δευ Μάιος 16, 2016 11:13 am

Re: Απόδειξη 1-1 και επί

#4

Μη αναγνωσμένη δημοσίευση από nikolasuoi » Σάβ Αύγ 10, 2019 4:23 pm

Mihalis_Lambrou έγραψε:
Σάβ Αύγ 10, 2019 3:39 pm
stranger έγραψε:
Σάβ Αύγ 10, 2019 4:36 am
... Η ερώτηση που πρέπει να κάνεις στον εαυτό σου είναι "γιατί δεν είσαι σίγουρος;".
Θα συμφωνήσω με τον Κώστα (stranger) διότι η άσκηση είναι τόσο, μα τόσο, απλή που αν είσαι φοιτητής του Μαθηματικού πρέπει να επιληφθείς του θέματος. Το κέντρο των Μαθηματικών είναι αλλού. Η παραπάνω άσκηση είναι στην περιφέρεια της ουσίας, και συγκαταλέγεται στις σχεδόν αυτονόητες ιδιότητες των συναρτήσεων.

Κάτι ακόμα. Στο σημείο
nikolasuoi έγραψε:
Σάβ Αύγ 10, 2019 2:51 am
 ... \Rightarrow g\left ( f\left ( x_{1} \right ) \right )=g\left ( f\left ( x_{2} \right ) \right ) επειδή g:1-1, τελικά x_{1}=x_{2},
υπάρχει κάποιο σφάλμα, που ελπίζω να είναι τυπογραφικό και όχι ουσιαστικό.
Είναι ασαφής διατύπωση. Φυσικά εννοώ ότι τελικό συμπέρασμα, επειδή η g:1-1 \Rightarrow x_{1}=x_{2}.


nikolasuoi
Δημοσιεύσεις: 30
Εγγραφή: Δευ Μάιος 16, 2016 11:13 am

Re: Απόδειξη 1-1 και επί

#5

Μη αναγνωσμένη δημοσίευση από nikolasuoi » Σάβ Αύγ 10, 2019 4:51 pm

Με συγχωρείτε, στο \left ( ii \right ) δεν έχω καταλάβει ο ίδιος την ολοκλήρωση της απόδειξης. Καλούμε να αποδείξω ύπαρξη τυχαίου στοιχείου y στο B, έτσι ώστε g\left ( y \right )=z. Το συμπέρασμα ποιό είναι; Ότι από g\left ( f\left ( x \right ) \right )=z=g\left ( y \right )\Rightarrow f\left ( x \right ) =y, και άρα υπάρχει στοιχείο, το f\left ( x \right ), άρα η g είναι επί;


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

Re: Απόδειξη 1-1 και επί

#6

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Σάβ Αύγ 10, 2019 5:46 pm

nikolasuoi έγραψε:
Σάβ Αύγ 10, 2019 4:23 pm
Είναι ασαφής διατύπωση. Φυσικά εννοώ ότι τελικό συμπέρασμα, επειδή η g:1-1 \Rightarrow x_{1}=x_{2}.
Τότε δυστυχώς η απόδειξη που γράφεις είναι εσφαλμένη, και δεν πρόκειται για τυπογραφικό σφάλμα.

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

Χρησιμοποίησες το γεγονός ότι η g είναι 1-1. Όμως η υπόθεση δεν λέει αυτό αλλά
nikolasuoi έγραψε:
Σάβ Αύγ 10, 2019 4:23 pm
... Αν η συνάρτηση g\circ f είναι 1-1 να δειχθεί ότι ...
Ξαναδές το λοιπόν.

Ας επαναλάβω ότι η άσκηση είναι στο επίπεδο του σχεδόν αυτονόητου, που δεν αξίζει τόση σπατάλη ενέργειας. Κυριολεκτικά πνιγόμαστε σε μία κουταλιά νερό.


nikolasuoi
Δημοσιεύσεις: 30
Εγγραφή: Δευ Μάιος 16, 2016 11:13 am

Re: Απόδειξη 1-1 και επί

#7

Μη αναγνωσμένη δημοσίευση από nikolasuoi » Σάβ Αύγ 10, 2019 6:07 pm

Mihalis_Lambrou έγραψε:
Σάβ Αύγ 10, 2019 5:46 pm
nikolasuoi έγραψε:
Σάβ Αύγ 10, 2019 4:23 pm
Είναι ασαφής διατύπωση. Φυσικά εννοώ ότι τελικό συμπέρασμα, επειδή η g:1-1 \Rightarrow x_{1}=x_{2}.
Τότε δυστυχώς η απόδειξη που γράφεις είναι εσφαλμένη, και δεν πρόκειται για τυπογραφικό σφάλμα.

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

Χρησιμοποίησες το γεγονός ότι η g είναι 1-1. Όμως η υπόθεση δεν λέει αυτό αλλά
nikolasuoi έγραψε:
Σάβ Αύγ 10, 2019 4:23 pm
... Αν η συνάρτηση g\circ f είναι 1-1 να δειχθεί ότι ...
Ξαναδές το λοιπόν.

Ας επαναλάβω ότι η άσκηση είναι στο επίπεδο του σχεδόν αυτονόητου, που δεν αξίζει τόση σπατάλη ενέργειας. Κυριολεκτικά πνιγόμαστε σε μία κουταλιά νερό.
Συγγνώμη, η g\circ f:1-1\Rightarrow x_{1}=x_{2}.
Για το \left ( ii \right ) μπορείτε να με βοηθήσετε;


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

Re: Απόδειξη 1-1 και επί

#8

Μη αναγνωσμένη δημοσίευση από Mihalis_Lambrou » Σάβ Αύγ 10, 2019 6:31 pm

nikolasuoi έγραψε:
Σάβ Αύγ 10, 2019 6:07 pm
Συγγνώμη, η g\circ f:1-1\Rightarrow x_{1}=x_{2}.
Τώρα μάλιστα. :10sta10:
nikolasuoi έγραψε:
Σάβ Αύγ 10, 2019 6:07 pm
Για το \left ( ii \right ) μπορείτε να με βοηθήσετε;
Εδώ και αν πνίγεσαι σε μία κουταλιά νερό. Το ερώτημα αγγίζει στο προφανές. Το αυτονόητο. Το άμεσο. Ας το δούμε πλήρως, και το γράφω ΜΕ ΠΟΛΛΑ ΛΟΓΙΑ, περισσότερα από ότι αξίζει η ευκολία της άσκησης.

Έστω z\in C. Αφού gof επί, υπάρχει x\in A με g(f(x))=z. Με άλλα λόγια, αν γράψουμε f(x)=y σημαίνει ότι βρήκαμε ένα y με g(y)=z. Παρατηρούμε ακόμα ότι αφού x\in A και f:A \to B, θα είναι y=f(x)\in B. Τελειώσαμε.

Αν είναι φοιτητής Μαθηματικού, πρέπει να τα ξεκαθαρίσεις όλα αυτά. Είναι στο επίπεδο της αρχής (όροφος μηδέν). Το οικοδόμημα αρχίζει από εκεί και πέρα.


nikolasuoi
Δημοσιεύσεις: 30
Εγγραφή: Δευ Μάιος 16, 2016 11:13 am

Re: Απόδειξη 1-1 και επί

#9

Μη αναγνωσμένη δημοσίευση από nikolasuoi » Σάβ Αύγ 10, 2019 7:51 pm

Βλέπω το δέντρο και χάνω το δάσος. Σας ευχαριστώ πάρα πολύ!


Απάντηση

Επιστροφή σε “Μαθηματική Λογική & Θεμέλια Μαθηματικών”

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

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