Γνωριµία ιακριτά Μαθηµατικά Ορέστης Τελέλης telelis@unipi.gr Τµήµα Ψηφιακών Συστηµάτων, Πανεπιστήµιο Πειραιώς ιδάσκων: Ορέστης Τελέλης e-mail: telelis@unipi.gr Ωρες γραφείου (502, Γρ.Λαµπράκη 26): ευτέρα :00 :00 Τετάρτη 0:00 2:00 Και κατόπιν συνεννόησης Ηµέρες/ Ωρες Μαθήµατος: Ε 09:00 - :00, ΤΕ 2:00 4:00 Αίθουσα: 002 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 2 / 6 Επικοινωνία Βιβλία Μαθήµατος Ιστοσελίδα µαθήµατος: http://evdoxos.ds.unipi.gr/courses/ds5/ Θέµατα και υλικό σχετικά µε το µάθηµα ΙΑΦΑΝΕΙΕΣ ΙΑΛΕΞΕΩΝ K. ROSEN (204): ιακριτά Μαθηµατικά και Εφαρµογές τους (Εκδόσεις ΤΖΙΟΛΑ). ΑΝΑΚΟΙΝΩΣΕΙΣ ΕΚΦΩΝΗΣΕΙΣ ΑΣΚΗΣΕΩΝ ΒΟΗΘΗΤΙΚΟ ΥΛΙΚΟ... Αρα γραφτείτε στο µάθηµα! C. L LIU (2009): Στοιχεία ιακριτών Μαθηµατικών (Πανεπιστηµιακές Εκδόσεις Κρήτης). Τα µαθηµατικά µελετώνται µε βιβλία, σηµειώσεις και πρόχειρο τετράδιο!!! Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 4 / 6
Εξέταση και Βαθµολόγηση Πρόοδος (κάπου «στα µισά» του εξαµήνου): (Π) ϑα ανακοινωθεί εγκαίρως Γραπτή Εξέταση (στην εξεταστική του Ιουνίου): (E) Σύνολα Τελικός Βαθµός = { min{ 0, E + 0.5 Π }, αν E 4 E, αν E < 4 Ο βαθµός προόδου θα κρατηθεί για Σεπτέµβριο (ισχύει το ίδιο σχήµα). Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 5 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 6 / 6 Σύνολα Μερικά Σηµαντικά Σύνολα Σύνολο είναι συλλογή διακεκριµένων αντικειµένων. { a, b, c }: σύνολο που αποτελείται από τα αντικείµενα a, b, c. a, b, c είναι στοιχεία ή µέλη του συνόλου. S = { a, b, c }: Το σύνολο S περιέχει τα στοιχεία a, b, c. a S: το a ανήκει στο σύνολο S. d S: το d δεν ανήκει στο σύνολο S. Οχι διάταξη στοιχείων: { a, b, c, } = { b, a, c }. Προσδιορισµός στοιχείων: { x το x είναι ϑετικός ακέραιος και x 0 } Παραδείγµατα: { {a, b, c}, b, c }, { {a, d}, {b, c} } N = { 0,, 2,... } Z = {..., 2,, 0,, 2,... } Z + = {, 2,,... } R R + C Το σύνολο των: ϕυσικών αριθµών, ακεραίων αριθµών, ϑετικών ακεραίων αριθµών, πραγµατικών αριθµών, ϑετικών πραγµατικών αριθµών, µιγαδικών αριθµών. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 7 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 8 / 6
Υποσύνολα, Κενό Σύνολο Πληθικότητα Συνόλων P υποσύνολο του Q αν: για κάθε x P είναι x Q. Συµβ.: P Q { a, b } { y, x, b, c, a } αλλά { a, b, e } { y, x, b, c, a }. Επίσης (προσοχή): Είναι { { a, b, c } } { { a, b, c }, d, e }. [ { a, b, c } { { a, b, c }, d, e } Αλλά: { a, b, c } { { a, b, c }, d, e } Για κάθε σύνολο P ισχύει P P. Κενό Σύνολο : για κάθε στοιχείο x είναι x. Για κάθε σύνολο P ισχύει P. Για Πεπερασµένο Σύνολο : ακέραιος n 0 ίσος µε πλήθος στοιχείων του. Συµβολίζεται µε. Το σύνολο των γραµµάτων του Ελληνικού αλφαβήτου έχει πληθικότητα 24. Το κενό σύνολο,, έχει πληθικότητα 0. Ενα σύνολο που δεν είναι πεπερασµένο είναι άπειρο Οταν για κάθε n Z +, το σύνολο έχει περισσότερα από n στοιχεία. = αν και µόνο αν περιέχουν ακριβώς τα ίδια στοιχεία. = αν και µόνο αν και. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 9 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 0 / 6 ιαγράµµατα Venn Πράξεις µεταξύ Συνόλων: Ενωση, Τοµή Ενωση: Τοµή: Ω Ω Το σύνολο των στοιχείων που ανήκουν: είτε στο, είτε στο, είτε και στα δύο. Το σύνολο των στοιχείων που ανήκουν στο και στο. Ω Ω Αντιµεταθετική Ιδιότητα: =, =. Γενικεύσεις: P P 2 P P k = (( ((P P 2 ) P ) ) P k ) P k P P 2 P P k = (( ((P P 2 ) P ) ) P k ) P k Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 2 / 6
Επιµεριστική Ιδιότητα ( C) = ( ) ( C) ( C) = ( ) ( C) Επιµεριστική Ιδιότητα Απόδειξη της R (P Q) = (R P) (R Q) Αρκεί να δείξουµε ότι: R (P Q) (R P) (R Q) και: R (P Q) (R P) (R Q) Για την R (P Q) (R P) (R Q): C C Εστω x R (P Q). Τότε x R και x P Q. Γενικεύσεις: ( 2 k ) = ( ) ( 2 ) ( k ) ( 2 k ) = ( ) ( 2 ) ( k ) Αν x P, τότε x R P. Αν x Q, τότε x R Q. Επειδή x P ή x Q (ή και τα δύο), έπεται ότι x (R P) (R Q). Παροµοίως για την R (P Q) (R P) (R Q) Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 4 / 6 ιαφορά, Συµµετρική ιαφορά Συµπλήρωµα Συνόλου Το σύνολο των στοιχείων που ανήκουν στο και δεν ανήκουν στο Το σύνολο των στοιχείων που ανήκουν είτε στο ή στο (αλλά όχι και στα δύο) Εστω ϐασικό σύνολο Ω. Συµπλήρωµα συνόλου ως προς Ω είναι Ā = U. Για δύο σύνολα, ισχύουν: Αν, τότε Ā =. Το σύνολο των στοιχείων που ανήκουν στο και δεν ανήκουν στο Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 5 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 6 / 6
Νόµοι του De Morgan Νόµοι του De Morgan = Ā = Ā Τυπική Απόδειξη του: = Ā Αρκεί να δείξουµε ότι Ā και Ā. Ā : Εστω x. Επειδή και : Ā, άρα x Ā, και, άρα x. Γενικεύσεις: n i = n i= i= Ā i n i = n i= i= Ā i Εποµένως x Ā και x, άρα x Ā. Ā : Εστω x Ā. Αρα x και ταυτόχρονα x. Εποµένως x x. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 7 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 8 / 6 υναµοσύνολο Καρτεσιανό Γινόµενο Συνόλων Το δυναµοσύνολο ενός συνόλου συµβολίζεται µε P() και είναι το σύνολο όλων των υποσυνόλων του. P( { a, b } ) = {, { a }, { b }, { a, b } }. Παρατήρηση: για οποιοδήποτε σύνολο : P() και P() Η πληθικότητα του δυναµοσυνόλου P() ενός συνόλου είναι: P() = 2 Ενας εναλλακτικός συµβολισµός του δυναµοσυνόλου του είναι 2. ιατεταγµένη n-άδα (a, a 2,..., a n ) είναι διατεταγµένη συλλογή στοιχείων. (a, a 2,..., a n ) = (b, b 2,..., b n ) αν και µόνο αν a i = b i, για i =,..., n. Καρτεσιανό Γινόµενο δύο συνόλων, είναι: το σύνολο όλων των διατεταγµένων Ϲευγών (a, b) µε a και b = { (a, b) a και b } Για κάθε σύνολο : = =. Για δύο µη κενά σύνολα, :, εκτός αν =. 2 n = { (a, a 2,..., a n ) a i i, για i =, 2,..., n } Για µη κενά σύνολα,, C: ( ) C C. Γιατί; Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 9 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 20 / 6
Συναρτήσεις Εστω σύνολα,. Συνάρτηση f : από το στο είναι: κανόνας αντιστοίχισης ακριβώς ενός στοιχείου του σε κάθε στοιχείο του. Συναρτήσεις Πεδίο Ορισµού:, Σύνολο Αφιξης:, Σύνολο Τιµών: f() f() = { b υπάρχει a τέτοιο ώστε f(a) = b } Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 2 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 22 / 6 Συναρτήσεις - και Επί Συναρτήσεις - και επί Μια συνάρτηση f : είναι - αν και µόνο αν: f(x) = f(y) συνεπάγεται x = y για κάθε x, y. Η f : R R µε f(x) = x + είναι -. Η g : R R µε f(x) = x 2 δεν είναι -. a b c 2 4 a b c d 2 Μια συνάρτηση f : είναι επί του αν και µόνο αν: - αλλά όχι επί - και επί f() =, δηλαδή για κάθε b υπάρχει a τέτοιο ώστε f(a) = b Η f : R R µε f(x) = x 2 δεν είναι επί του R. Η f : Z Z µε f(x) = x + είναι επί του Z. Η f : N N µε f(x) = x + δεν είναι επί του N! a b c d επί αλλά όχι - 2 a b c d όχι -, ούτε επί 2 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 2 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 24 / 6
Αντίστροφη Συνάρτησης Αν f : είναι - και επί, τότε αντιστρέφεται: Αντίστροφη της f: f : Σύνθεση Συναρτήσεων Σύνθεση των f : C, g : είναι: (f g)(a) = f( g(a) ) Εχει αντίστροφη η f : Z Z µε f(x) = x + ; Αν ναι, f (y) =; Εχει αντίστροφη η g : R R µε g(x) = x 2 ; Αν ναι, g (y) =; Εχει αντίστροφη η h : R + R µε h(x) = x 2 ; Αν ναι, h (y) =; Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 25 / 6 Προσοχή: Η σύνθεση g f δεν ορίζεται απαραίτητα. Τί πρέπει να ισχύει; Για κάθε - και επί συνάρτηση f : είναι (f f )(b) = b, (f f)(a) = a. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 26 / 6 ύο Ενδιαφέρουσες Συναρτήσεις Συνάρτηση «Κάτω Ακεραίου» (floor): x = µέγιστος ακέραιος που είναι µικρότερος ή ίσος του x Συνάρτηση «Ανω Ακεραίου» (ceiling): x = ελάχιστος ακέραιος που είναι µεγαλύτερος ή ίσος του x Πληθικότητα Συνόλων Παραδείγµατα: 2 = 0, 2 =, 2 =, 2 = 0. =,. = 4, 7 = 7 = 7. Ν Ο για κάθε πραγµατικό αριθµό x ισχύει: 2x = x + x + 2. Σωστό ή Λάθος; Για κάθε δύο x, y R είναι x + y = x + y. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 27 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 28 / 6
Αριθµήσιµα Σύνολα ύο σύνολα και έχουν ίδια πληθικότητα, δηλ. =, αν και µόνο αν: υπάρχει - και επί συνάρτηση από το στο Αν υπάρχει µια - συνάρτηση από το στο, τότε. Ενα µη κενό σύνολο είναι πεπερασµένο αν υπάρχει: - και επί αντιστοίχιση από το στο {, 2,..., n}, για κάποιο n Z + Το n είναι ο πληθικός αριθµός (ή πληθικότητα) του συνόλου. Το κενό σύνολο,, ϑεωρείται πεπερασµένο. Ενα σύνολο που είτε είναι πεπερασµένο είτε έχει την ίδια πληθικότητα µε το σύνολο των ϑετικών ακεραίων, Z +, λέγεται αριθµήσιµο. Αριθµήσιµα Σύνολα Ενα µη κενό σύνολο είναι αριθµήσιµο αν υπάρχει - αντιστοίχιση µεταξύ των στοιχείων του και των στοιχείων του συνόλου Z +. Το σύνολο N των ϕυσικών αριθµών: f(n) = n. Το σύνολο των ϑετικών άρτιων ακεραίων: f(n) = 2n. Το σύνολο των ϑετικών πολλαπλασίων του 7: f(n) = 7n. Το σύνολο των ακεραίων αριθµών, Z: 0,,, 2, 2,,,... Το σύνολο Q των (ϑετικών) ϱητών αριθµών. Η ένωση ενός πεπερασµένου (ή αριθµησίµως απείρου) συνόλου αριθµήσιµων συνόλων είναι αριθµήσιµο σύνολο. Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 29 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 0 / 6 Παράδειγµα: Το σύνολο των ϱητών αριθµών Παράδειγµα: Το σύνολο των ϱητών αριθµών Εστω Q + = { m n m, n Z + } το σύνολο των ϱητών αριθµών. Παρότι Q + Z +, ϑα δείξουµε ότι Q + αριθµήσιµο. Κατασκευάζουµε άπειρο πίνακα (άπειρες γραµµές, άπειρες στήλες): Η γραµµή i περιέχει όλους τους αριθµούς του Q + µε αριθµητή i. Η στήλη j περιέχει όλους τους αριθµούς στο Q + µε παρονοµαστή j. Αρα το στοιχείο (i, j) του πίνακα έχει τον αριθµό i j. Μετατρέπουµε τον πίνακα σε «κατάλογο» του Q +, προσεκτικά. Παραθέτουµε τις διαγωνίους του πίνακα από το στοιχείο (i, ) έως το στοιχείο (, i), για i =, 2,,... παραλείποντας τα στοιχεία της κύριας διαγωνίου του πίνακα, όταν i >. / /2 / /4 /5... 2/ 2/2 2/ 2/4 2/5... / /2 / /4 /5... 4/ 4/2 4/ 4/4 4/5... 5/ 5/2......... Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 2 / 6
Υπεραριθµήσιµα Σύνολα Υπεραριθµήσιµα Σύνολα Υπάρχουν απειροσύνολα που δεν είναι αριθµήσιµα!!! Το σύνολο των πραγµατικών αριθµών µεταξύ 0 και είναι υπεραριθµήσιµο. Ιδέα Απόδειξης: ιαγωνιοποίηση (Georg Cantor, 87) Υποθέτουµε ότι είναι αριθµήσιµο. Προσπαθούµε να καταγράψουµε τους αριθµούς, σε έναν κατάλογο. Καταγράφουµε τους (πραγµατικούς) αριθµούς µεταξύ 0 και σε δεκαδική µορφή: 0, a a 2 a a 4... 0, a 2 a 22 a 2 a 24... 0, a a 2 a a 4..................... 0, a i a i2 a i a i4..................... Ενας αριθµός 0, b b 2 b b 4... που δεν βρίσκεται στον κατάλογο: Για οποιονδήποτε τέτοιο κατάλογο, ϑα δείξουµε ότι µας έχει ξεφύγει τουλάχιστον ένας αριθµός. b j = { 4, αν ajj 4 5, αν a jj = 4 ιαφέρει από τον j-οστό αριθµό του καταλόγου, στο ψηφίο a jj!!! Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 4 / 6 Το παράδοξο του Russell (902) Το παράδοξο του Russell (902) ertrand Russell (872-970): Βρετανός ϕιλόσοφος, µαθηµατικός, ιστορικός, συγγραφέας και πολιτικός ακτιβιστής. Βραβείο Nobel λογοτεχνίας 950. Σε ένα χωριό κάθε άντρας: - είτε ξυρίζεται µόνος του, - ή ξυρίζεται από τον κουρέα του χωριού. ηλαδή, ο κουρέας ξυρίζει όλους όσους δεν ξυρίζονται µόνοι τους. Ορίζουµε το σύνολο των συνόλων που δεν περιέχουν τον εαυτό τους: S = { } Τότε όµως συµπεραίνουµε ότι: Αν S S, ϑα είναι S S!!! Αν S S, ϑα είναι S S!!!???????? Ποιος ξυρίζει τον κουρέα; Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 5 / 6 Ο. Τελέλης Πανεπιστήµιο Πειραιώς Σύνολα 6 / 6