HY118- ιακριτά Μαθηµατικά Τρίτη, 07/03/2017 Αντώνης Α. Αργυρός e-mail: argyros@csd.uoc.gr Το υλικό των διαφανειών έχει βασιστεί σε διαφάνειες του Kees van Deemter, από το University of Aberdeen 3/7/2017 1 1
Την προηγούµενη φορά Τρόποι απόδειξης Άµεση απόδειξη Έµµεση απόδειξη Απαγωγή σε άτοπο Κατασκευαστικές αποδείξεις Σύνθετες αποδείξεις Αποδείξεις µε περιπτώσεις 3/7/2017 2 2
Κι άλλη απόδειξη µε περιπτώσεις Θεώρηµα: n Z ( (2 n 3 n) 24 (n 2 1) ) Απόδειξη: Αφού 2 3=6, η τιµή του n mod 6 µπορεί να µας πει κατά πόσον 2 n ή 3 n. Εάν (n mod 6)είναι ένα από τα {0,3}τότε 3 n; εάν είναι ένα από τα {0,2,4} τότε 2 n. Άρα εάν (2 n 3 n)τότε (n mod 6)είναι ένα από τα {1,5}. Περ. #1: Εάν n mod 6 = 1, τότε ( k) n=6k+1. n 2 =36k 2 +12k+1, άρα n 2 1=36k 2 +12k = 12(3k+1)k=12*2m = 24*mγιατί ο (3k+1)kείναι άρτιος *1. Άρα 24 (n 2 1). Περ. #2:Εάν n mod 6 = 5, τότε n=6k+5. n 2 1 = (n 1) (n+1) = (6k+4) (6k+6) = 12 (3k+2) (k+1). Είτε ο k+1 είτε ο 3k+2είναι άρτιος *2. Άρα, 24 (n 2 1). *1, *2: αποδεικνύονται εύκολα, διερευνώντας τις περιπτώσεις ο k να είναι άρτιος ή περιττός 3
Από τις υποθέσεις στα συµπεράσµατα... Έχουµε υποθέσεις p, θέλουµε να αποδείξουµε το συµπέρασµα q. Βρες ένα s 1 τέτοιο ώστε p s 1 Τότε o κανόνας modus ponens δίνει το s 1. Μετά, βρές s 2 τέτοιο ώστε s 1 s 2. Τότε o κανόνας modus ponens δίνει το s 2.. Και ελπίζουµε να βρούµε ένα s n τ.ω.: s n q. Το πρόβληµα µε αυτή τη άµεση απόδειξη είναι ότι µπορεί να είναι δύσκολο να «δούµε» το «µονοπάτι» που οδηγεί στην p. 4
Από τα συµπεράσµατα στις υποθέσεις... Συχνά είναι πιο εύκολο να «δούµε» το ίδιο ακριβώς µονοπάτι, αν ξεκινήσουµε από το συµπέρασµα q κι όχι από τις υποθέσεις ηλαδή, πρώτα βρες ένα s n τέτοιο ώστε s n q. Μετά ένα s n-1 : s n-1 s n, κ.ο.κ µέχρις ότου βρείς ένα s 1 τέτοιο ώστε p s 1. Σηµειώστε ότι εξακολουθούµε να χρησιµοποιούµε modus ponens για να διαδώσουµε την ισχύ των προτάσεων από την p στην s 1 στην στην s n στην q Βρίσκουµε το µονοπάτι προς τα πίσω, αλλά το εφαρµόζουµε προς τα εµπρός!!!! Αυτό δεν είναι το ίδιο µε την έµµεση απόδειξη!!! 5
Παράδειγµα Θεώρηµα: a>0,b>0,a b: (a+b)/2 > (ab) 1/2. Απόδειξη: εν είναι προφανές πως από τις υποθέσεις a>0, b>0, a b οδηγούµαστε στο συµπέρασµα (a+b)/2 > (ab) 1/2. Οπότε, ας δοκιµάσουµε να ξεκινήσουµε από το συµπέρασµα, (a+b)/2 > (ab) 1/2! 6
Βήµατα... (a+b)/2 > (ab) 1/2 (a+b) 2 /4 > ab (a+b) 2 > 4ab a 2 +2ab+b 2 > 4ab a 2 2ab+b 2 > 0 (a b) 2 > 0 Τώρα, εφόσον a b, (a b) 0, προκύπτει ότι (a b) 2 >0, και µπορούµε να ακολουθήσουµε την σωστή σειρά των βηµάτων 7
Απόδειξη παραδείγµατος Θεώρηµα: a>0,b>0,a b: (a+b)/2 > (ab) 1/2. Απόδειξη: a b (a b) 0 (a b) 2 >0 a 2 2ab+b 2 > 0 a 2 2ab+b 2 +4ab > 4ab a 2 +2ab+b 2 > 4ab (a+b) 2 > 4ab (a+b) 2 /4 > ab. Αφού ab>0, προκύπτει ότι (a+b)/2 > (ab) 1/2. 8
Άλλο ένα παράδειγµα Παιχνίδι µε τους εξής κανόνες: Υπάρχουν 15 πέτρες σε µία στοίβα. ύο παίκτες παίζουν εναλλάξ και καθένας τους µπορεί να πάρει 1, 2, ή 3 πέτρες από τη στοίβα. Νικητής είναι αυτός που παίρνει την τελευταία πέτρα. Θεώρηµα: Υπάρχει µία στρατηγική η οποία εξασφαλίζει στον 1 ο παίκτη την νίκη σε κάθε περίπτωση. Πως το αποδεικνύουµε; Ξεκινώντας από το τέλος του παιχνιδιού!!! 9
Ξεκινώντας από το τέλος... Ο Π1 νικά αν είναι σειρά του Π2 και δεν υπάρχουν πέτρες Ο Π1 µπορεί να το επιτύχει αυτό αν του µείνουν 1 ή 2 ή 3 πέτρες... Αυτό θα συµβεί αν στον Π2 µείνουν 4 πέτρες... Ο Π1 µπορεί να το επιτύχει αυτό αν του µείνουν 5 ή 6 ή 7 πέτρες... Αυτό θα συµβεί αν στον Π2 µείνουν 8 πέτρες... Κλπ! Παίκτης 1 Παίκτης 2 0 1, 2, 3 4 5, 6, 7 8 9, 10, 11 12 13, 14, 15 10
ιατυπώνοντας την απόδειξη από την αρχή... Θεώρηµα: Υπάρχει µία στρατηγική η οποία εξασφαλίζει στον 1 ο παίκτη την νίκη σε κάθε περίπτωση. Απόδειξη. Ο Π1 παίρνει 3 πέτρες, αφήνοντας 12. Αφού παίξει ο Π2, θα περισσέψουν 11, 10, ή 9 πέτρες. Σε κάθε περίπτωση, ο Π1 µπορεί να µειώσει τον αριθµό από πέτρες σε 8. Τότε ο Π2 θα µειώσει τον αριθµό από πέτρες σε 7, 6, ή 5. Σε κάθε περίπτωση, ο Π1 µπορεί να µειώσει τον αριθµό από πέτρες σε 4. Τότε, ο Π2 πρέπει να τις µειώσει σε 3ή2, ή 1. Ο Π1 παίρνει τις τελευταίες πέτρες και κερδίζει!!! 11
Τέλος, κάποιες κοινές απατηλές αποδείξεις Μία απατηλή απόδειξη είναι ένας µηχανισµός εξαγωγής συµπερασµάτων ο οποίος δεν ευσταθεί λογικά. Απατηλότητα αποδοχής του συµπεράσµατος: p qαληθές, και q αληθές, άρα p αληθές. (Όχι, γιατί F T αληθές.) Απατηλότητα άρνησης της υπόθεσης: p qαληθές, και p ψευδές, άρα q ψευδές. (Όχι, πάλι επειδή F T αληθές.) 3/7/2017
Κυκλικός συλλογισµός 3/7/2017 Η απατηλότητα (εµµέσως ή αµέσως) του να υποθέτουµε την ισχύ του συµπεράσµατος, στην πορεία προς την απόδειξή του! Παράδειγµα: (για ακεραίους n) εάν ο n 2 είναι άρτιος τότε ο n είναι άρτιος. Επιχειρούµενη απόδειξη: Ο n 2 είναι άρτιος. Τότε ο n 2 =2kγια κάποιο ακέραιο k. ιαιρώντας και τα δύο µέλη µε n µας δίνει n = (2k)/n = 2(k/n). Οπότε υπάρχει ένας ακέραιος j (ο k/n) τέτοιος ώστε n=2j. Αρα ο n είναι άρτιος. Σε ποιό σηµείο χρησιµοποιείται κυκλικός συλλογισµός; Πως αποδεικνύεται ότι ο j= k/n = n/2 είναι ακέραιος, χωρίς πρώτα να υποθέσουµε ότι ο n είναι άρτιος;;;;
Ας µην ξεχνάµε Έχουµε επίσης δει µία ορθή απόδειξη για την ίδια πρόταση: µία καλή υπενθύµιση για το ότι εάν µία απόδειξη είναι εσφαλµένη, αυτό δεν σηµαίνει ότι η πρόταση δεν ισχύει!!! 3/7/2017
Όρια των αποδείξεων Μερικές πολύ απλές προτάσεις της θεωρίας αριθµών δεν έχουν αποδειχτεί ακόµα! Π.χ.. Εικασία του Goldbach: Έστω Α(x) = x άρτιος, P(x) = x πρώτος x( [x>2 A(x)] p q P(p) P(q) p+q = x). Κάθε άρτιος αριθµός µεγαλύτερος του 2 είναι το άθροισµα δύο πρώτων. 15
Έχουν υπάρξει εικασίες που αργότερα αποδείχθηκε πως δεν ευσταθούν! Ο Euler έκανε την εικασία ότι εάν n>2, το άθροισµα n 1 n οστών δυνάµεων θετικών ακεραίων δεν είναι n οστή δύναµη κάποιου ακεραίου. Παρέµεινε «αληθής» για όλες τις περιπτώσεις που δοκιµάστηκαν για 200 χρόνια, χωρίς όµως να µπορεί να βρεθεί απόδειξη. Το 1966, διαπιστώθηκε ότι 27 5 + 84 5 + 110 5 + 133 5 = 144 5 16
Θεωρία Συνόλων 3/7/2017 17
Εισαγωγή στη θεωρία συνόλων Ένα σύνολο είναι µία δοµή που αναπαριστά µία συλλογή διαφορετικών αντικειµένων (ενδεχοµένως κενή) τα οποία δεν έχουν διάταξη. Η θεωρία συνόλων ασχολείται µε πράξεις, σχέσεις και προτάσεις σχετικά µε τα σύνολα. Τα σύνολα είναι πανταχού παρόντα στα υπολογιστικά συστήµατα. Όλα τα µαθηµατικά µπορούν να οριστούν µε κάποια µορφή της θεωρίας συνόλων (χρησιµοποιώντας κατηγορηµατικό λογισµό). 3/7/2017 18 18
Εισαγωγή στη θεωρία συνόλων Σχεδόν οτιδήποτε µπορείτε να κάνετε µε διαφορετικά αντικείµενα, µπορείτε να το κάνετε και µε σύνολα αντικειµένων. Π.χ. (µιλώντας άτυπα), µπορείτε Να αναφέρεστε σε αυτά, να τα συγκρίνετε, να τα συνδυάζετε, Επίσης, µπορείτε να κάνετε µε σύνολα, πράγµατα που δεν µπορείτε, πιθανά, να κάνετε µε συγκεκριµένα αντικείµενα: Π.χ., µπορείτε: Να ελέγξετε αν ένα σύνολο περιέχεται σε ένα άλλο Να καθορίσετε πόσα στοιχεία έχει Να τα χρησιµοποιήσετε σαν το πεδίο ορισµού µεταβλητών στον κατηγορηµατικό λογισµό 3/7/2017 19 19
Βασικοί συµβολισµοί για τα σύνολα Για τα σύνολα, θα χρησιµοποιούµε τις µεταβλητές S, T, U, Μπορούµε να συµβολίζουµε ένα σύνολο S µε το να απαριθµούµε όλα τα στοιχεία του σε αγκύλες: Το σύνολο S = {a, b, c} περιέχει τρία στοιχεία, τα οποία συµβολίζονται µε τα a, b, c. Επίσης, µπορούµε να ορίσουµε ένα σύνολο µε βάση µία ιδιότητα P που έχουν τα στοιχεία του το {x P(x)}είναι το σύνολο όλων των x που έχουν την ιδιότητα P. 3/7/2017 20 20
Βασικές ιδιότητες των συνόλων Τα σύνολα είναι από τη φύση τους µη διατεταγµένα: Ανεξάρτητα από το τι είναι τα στοιχεία a, b, και c, {a, b, c} = {a, c, b} = {b, a, c} = Όλα τα στοιχεία είναι διαφορετικά µεταξύ τους. Οι πολλαπλές εµφανίσεις ενός στοιχείου δεν κάνουν καµία διαφορά! Εάν a=b, τότε {a, b, c} = {a, c} = {b, c} = {a, a, b, a, b, c, c, c, c}. Πόσα στοιχεία περιλαµβάνει; 2 στοιχεία (το πολύ)! 3/7/2017 21 21
Πολυσύνολα Υπάρχει ένα διαφορετικό µαθηµατικό κατασκεύασµα το οποίο ονοµάζεται πολυσύνολο, για το οποίο η προηγούµενη υπόθεση δεν ισχύει. Εάν a=b, τότε [c, a] = [c, b], αλλά [a, b, c] [a, c] [a,a,a,c] Συµβολισµός: Εάν B είναι πολυσύνολο, τότε count B (e)=πλήθος εµφανίσεων του e στο B Εποµένως, count [1,2,3,3,1,3,3] (3)=4 3/7/2017 22 22
Ορισµός της ισότητας συνόλων ύο σύνολα είναι ίσα αν και µόνο αν περιέχουν ακριβώς τα ίδια στοιχεία. εν έχει σηµασία πως το σύνολο έχει οριστεί: Για παράδειγµα: {1, 2, 3, 4} = {x x ακέραιος όπου x>0 και x<5 } = {x x θετικός ακέραιος του οποίου το τετράγωνο είναι µεγαλύτερο του 0 και µικρότερο του 25} 3/7/2017 23 23
Άπειρα σύνολα Τα σύνολα µπορεί να είναι άπειρα. Σύµβολα και µερικά άπειρα σύνολα ειδικού ενδιαφέροντος: N = {1, 2, } Οι φυσικοί (Natural). Z = {, -2, -1, 0, 1, 2, } Οι ακέραιοι (Γερµανικά: Zahl=αριθµός). R = Οι πραγµατικοί (Real) Q = Οι ρητοί (Quotient) Οι συµβολισµοί (N, Z, R, Q) χρησιµοποιούνται επίσης για τα παραπάνω ειδικά σύνολα. Τα άπειρα σύνολα έχουν διαφορετικά µεγέθη (!!!) Περισσότερα γι αυτό αργότερα... 3/7/2017 24 24
ιαγράµµατα Venn John Venn 1834-1923 3/7/2017 25 25
«ανήκει» x S ( το στοιχείο x ανήκει στο σύνολο S ), είναι η πρόταση που λέει ότι το αντικείµενο x είναι ένα στοιχείο/µέλος του συνόλου S. π.χ. 3 N, α {x x γράµµα του αλφάβητου} : Από το ελληνικό «στίν» Συµβολισµός: x S : ορ. (x S) Πως θα ορίζαµε την ισότητα συνόλων µε βάση τον κατηγορηµατικό λογισµό; 3/7/2017 26 26
Ισότητα συνόλων Η ισότητα συνόλων ορίζεται µε βάση το : ύο σύνολα είναι ίσα αν και µόνο αν έχουν τα ίδια στοιχεία. S=T : ορ. x (x S x T) 3/7/2017 27 27
Ένα σύνολο µπορεί να είναι κενό Υποθέστε ότι καλούµε ένα σύνολο S κενό αν και µόνο αν δεν περιέχει κανένα στοιχείο: x(x S). Καλούµαστε να αποδείξουµε ότι: S,T((κενό(S) κενό(t) S=T) Ποιό είναι το νόηµα της παραπάνω πρότασης; 3/7/2017 28 28
Ένα σύνολο µπορεί να είναι κενό Θέλουµε να αποδείξουµε ότι υπάρχει το πολύ ένα κενό σύνολο. Πως αυτό µπορούµε να το αποδείξουµε τυπικά; 3/7/2017 29 29
Υπάρχει µόνο ένα κενό σύνολο Θέλουµε να αποδείξουµε ότι: S,T((κενό(S) κενό(t) S=T) Ας υποθέσουµε ότι υπάρχουν δύο σύνολα S και T διαφορετικά µεταξύ τους, έτσι ώστε και τα δύο να είναι κενά. Εποµένως, x(x S) x(x T) Εφόσον S T, θα ισχύει πως x(x S (x T)) x(x T (x S)) Η 1η πρόταση δεν µπορεί να ισχύει γιατί x(x S). Η 2η πρόταση δεν µπορεί να ισχύει γιατί x(x T) Αντίφαση. Εποµένως υπάρχει το πολύ ένα κενό σύνολο. και επειδή υπάρχει και τουλάχιστον ένα, το κενό σύνολο είναι ένα και µοναδικό. 3/7/2017 30 30
Το Κενό Σύνολο Είδαµε ότι υπάρχει ακριβώς ένα κενό σύνολο, εποµένως θα του δώσουµε ένα ειδικό όνοµα: ( το κενό σύνολο ) είναι το µοναδικό σύνολο που δεν περιέχει κανένα στοιχείο. = {} 3/7/2017 31 31
Σχέσεις υποσυνόλου και υπερσυνόλου S T ( Το S είναι υποσύνολοτου T ) σηµαίνει ότι κάθε στοιχείο του S είναι επίσης και στοιχείο του T. Πως µπορούµε να ορίσουµε τη σχέση υποσυνόλου µε βάση τον κατηγορηµατικό λογισµό; 3/7/2017 32 32
Σχέσεις υποσυνόλου και υπερσυνόλου S T ( Το S είναι υποσύνολοτου T ) σηµαίνει ότι κάθε στοιχείο του S είναι επίσης και στοιχείο του T. S T : ορ. x (x S x T) 3/7/2017 33 33
Σχέσεις υποσυνόλου και υπερσυνόλου Τι λέτε για τα παρακάτω; S S ; S ; 3/7/2017 34 34
Σχέσεις υποσυνόλου και υπερσυνόλου Τι λέτε για τα παρακάτω; S S ; ΝΑΙ S ; 3/7/2017 35 35
Σχέσεις υποσυνόλου και υπερσυνόλου Τι λέτε για τα παρακάτω; S S ; ΝΑΙ S ; ΝΑΙ 3/7/2017 36 36
Σχέσεις υποσυνόλου και υπερσυνόλου Τι λέτε για τα παρακάτω; S S ; S ; 3/7/2017 37 37
Σχέσεις υποσυνόλου και υπερσυνόλου Τι λέτε για τα παρακάτω; S S ;ΟΧΙ S ; 3/7/2017 38 38
Σχέσεις υποσυνόλου και υπερσυνόλου Τι λέτε για τα παρακάτω; S S ;ΟΧΙ S ;ΌΧΙ πάντα! Π.χ., {, α, β} αλλά {α, β} 3/7/2017 39 39