Ένα προς ένα και επί συνάρτηση

[lefsk]

Δίνονται . Έστω και . Κάθε συνάρτηση από το στο είναι επί, Σωστό ή Λάθος; Κάθε συνάρτηση από το στο είναι επί, Σωστό ή Λάθος; Κάθε συνάρτηση από το στο είναι επί, Σωστό ή Λάθος;

Νομίζω ότι Σωστές είναι η πρόταση 2 και 3. Και η πρόταση 1 Λάθος. Μπορεί κάποιος να βοηθήσει;
Για την Πρόταση 1 σκέφτηκα την με που δεν βγαίνει επί, αφού το σύνολο τιμών είναι υποσύνολο του πεδίου τιμών.

[stranger]

Το 2 είναι τετριμένα σωστό γιατί δεν υπάρχει καμία 1-1 συνάρτηση από το Α στο Β αφού το Α είναι άπειρο και το Β πεπερασμένο.
Το 3 είναι σωστό γιατί το Β είναι πεπερασμένο.
Το 1 είναι λάθος αφού το Α είναι άπειρο σύνολο.Μια ιδέα για να το δείξουμε είναι να πούμε ότι θεωρούμε ένα άπειρο γνήσιο υποσύνολο του Α(έστω Γ).Τότε το Α είναι ισοπληθικό με το Γ(άπειρα αριθμήσιμα και τα δυο) και άρα αυτό σημαίνει ότι υπάρχει συνάρτηση από το Α στο Γ 1-1 και επί.Τότε έχουμε ότι η συνάρτηση αυτή είναι 1-1 αλλά όχι επί του Α.Τελειώσαμε.

[ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ]

Δίνονται . Έστω και . Κάθε συνάρτηση από το στο είναι επί, Σωστό ή Λάθος; Κάθε συνάρτηση από το στο είναι επί, Σωστό ή Λάθος; Κάθε συνάρτηση από το στο είναι επί, Σωστό ή Λάθος;

Νομίζω ότι Σωστές είναι η πρόταση 2 και 3. Και η πρόταση 1 Λάθος. Μπορεί κάποιος να βοηθήσει;
Για την Πρόταση 1 σκέφτηκα την με που δεν βγαίνει επί, αφού το σύνολο τιμών είναι υποσύνολο του πεδίου τιμών.

Για την γενική περίπτωση μπορείς να πάρεις την

[ΠΑΠΑΔΟΠΟΥΛΟΣ ΣΤΑΥΡΟΣ]

Το 2 είναι τετριμένα σωστό γιατί δεν υπάρχει καμία 1-1 συνάρτηση από το Α στο Β αφού το Α είναι άπειρο και το Β πεπερασμένο.
Το 3 είναι σωστό γιατί το Β είναι πεπερασμένο.
Το 1 είναι λάθος αφού το Α είναι άπειρο σύνολο.Μια ιδέα για να το δείξουμε είναι να πούμε ότι θεωρούμε ένα άπειρο γνήσιο υποσύνολο του Α(έστω Γ).Τότε το Α είναι ισοπληθικό με το Γ(άπειρα αριθμήσιμα και τα δυο) και άρα αυτό σημαίνει ότι υπάρχει συνάρτηση από το Α στο Γ 1-1 και επί.Τότε έχουμε ότι η συνάρτηση αυτή είναι 1-1 αλλά όχι επί του Α.Τελειώσαμε.

3. Τα Μαθηματικά πρέπει να είναι αποκλειστικά γραμμένα σε LaTeX. Πολλές πληροφορίες και οδηγίες υπάρχουν στον φάκελο Οδηγίες για γραφή με TeX και βασικές οδηγίες στο Εισαγωγικές Οδηγίες για Εισαγωγή Μαθηματικού Κειμένου. Για τα νέα μέλη που δεν είναι εξοικειωμένα με το LaTeX η εκμάθηση (μπορούν να εξοικειωθούν γράφοντας μόνο στον φάκελο Δοκιμές Γραφής με Tex ) προηγείται της αποστολής μηνυμάτων. Στην προσπάθεια τους αυτή θα έχουν την βοήθεια των πιο έμπειρων μελών μας. Επισημαίνουμε ότι στο LaTeX πρέπει να γράφονται όχι μόνο οι τύποι αλλά ο οποιοσδήποτε μαθηματικός συμβολισμός (γράμματα για σημεία, σχήματα, γωνίες, συναρτήσεις, σύνολα κ.τ.λ.). Μεικτός συμβολισμός, περιγραφή των σχέσεων, χρήση κώδικα ascii ή ansii, χρήση συνημμένου εικόνας, .doc, .pdf (εξαιρούνται τα σχήματα) δεν είναι αποδεκτά.

[MathSc]

Καλησπέρα! Συγγνώμη για την ενόχληση αλλά πώς μπορώ να εξηγήσω γιατί το 2 είναι τετριμενα σωστό; δηλαδή αν κάποιος με ρωτήσει, πώς θα του απαντήσω; Το ότι δεν ισχύει το πρώτο μέρος της πρότασης αυτής, πως την κάνει σωστή; Ευχαριστώ

[stranger]

Ο λόγος είναι επειδή δεν υπάρχει καμία 1-1 συνάρτηση από το στο .Αυτό συμβαίνει γιατί όταν υπάρχει μια 1-1 συνάρτηση από το στο τότε έχουμε ότι το σύνολο έχει πληθάριθμο μικρότερο η ίσο του .Όμως στο παράδειγμα σου το σύνολο είναι άπειρο και το πεπερασμένο.
Στα μαθηματικά όταν έχουμε προτάσεις της μορφής για κάθε στο σύνολο συνεπάγεται τότε αν δεν υπάρχει κανένα στο σύνολο τότε η πρόταση είναι αυτομάτως σωστή όποια και να είναι η ιδιότητα .
Για παράδειγμα ξέρουμε ότι το κενό σύνολο είναι υποσύνολο κάθε συνόλου.Ισοδύναμα έχουμε την πρόταση : Για κάθε στο ισχύει ,όπου δεν υπάρχει κανένα στο .
Αν δεν έχεις πειστεί ακόμα και θες κάποιου είδους απόδειξη τότε θεώρησε μια τυχαία ιδιότητα και θεώρησε την πρόταση: Για κάθε στο ισχύει .Η άρνηση αυτής της πρότασης είναι : υπάρχει στο έτσι ώστε να μην ισχύει η το οποίο είναι άτοπο γιατί δεν υπάρχει κανένα στο .
Τα εξήγησα πολύ αναλυτικά.Δεν πιστέυω να έχεις πρόβλημα στην κατανόηση.

[lefsk]

Ευχαριστώ πάρα πολύ! Με βοηθήσατε πολύ!