Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

Η παρουσίαση φορτώνεται. Παρακαλείστε να περιμένετε

GEORG CANTOR ΜΑΡΙΝΑΚΗ ΚΩΝΣΤΑΝΤΙΝΑ ΑΜ:3318 Μάθημα: Ιστορία της Λογικής Διδάσκουσα: Άλλα Συροκόφσκιχ.

Παρόμοιες παρουσιάσεις


Παρουσίαση με θέμα: "GEORG CANTOR ΜΑΡΙΝΑΚΗ ΚΩΝΣΤΑΝΤΙΝΑ ΑΜ:3318 Μάθημα: Ιστορία της Λογικής Διδάσκουσα: Άλλα Συροκόφσκιχ."— Μεταγράφημα παρουσίασης:

1 GEORG CANTOR ΜΑΡΙΝΑΚΗ ΚΩΝΣΤΑΝΤΙΝΑ ΑΜ:3318 Μάθημα: Ιστορία της Λογικής Διδάσκουσα: Άλλα Συροκόφσκιχ

2 George Cantor

3 Ήταν Γερμανός Μαθηματικός. Γεννήθηκε το Μάρτιο του 1845 στη Αγία Πετρούπολη. Προικισμένη μορφή. Έδειξε ενδιαφέρον για τα Μαθηματικά ήδη από το σχολείο στην Αγία Πετρούπολη. Από σπούδασε στο Πανεπιστήμιο της Ζυρίχης. Στο Βερολίνο το 1867 πήρε το διδακτορικό του δίπλωμα. ΛΙΓΑ ΛΟΓΙΑ ΓΙΑ ΤΗΝ ΖΩΗ ΤΟΥ

4 Το 1879 έγινε τακτικός καθηγητής στο Πανεπιστήμιο του Halle. Δημιουργός της Θεωρίας Συνόλων και των απειροσυνόλων. Τα πρώτα δημοσιεύματα σχετικά με τη Θεωρία Συνόλων έγιναν το Ανέπτυξε μια θεωρία για τους «πληθικούς αριθμούς». Τα βασικά έργα του είναι: 1. Τα «Θεμέλια μιας γενικής θεωρίας πολλαπλοτήτων» (1883) 2. «Η συμβολή στη Θεμελίωση της υπερπερασμένης θεωρίας των συνόλων» ( ). ΛΙΓΑ ΛΟΓΙΑ ΓΙΑ ΤΗΝ ΖΩΗ ΤΟΥ

5 Οι μελέτες του δεν έγιναν άμεσα αποδεκτές. Αξίζει να σημειωθεί η διαμάχη του Γερμανού μαθηματικού Kronecker ( ) με τον Cantor. Δημιούργησε το 1890 την Ένωση Γερμανών Μαθηματικών. Συνέβαλε στην οργάνωση του 1ου Διεθνούς Συνεδρίου των Μαθηματικών το 1897 στη Ζυρίχη. Το τέλος του Cantor δεν ήταν καλό, αφού πέθανε το 1918 σ' ένα ψυχιατρείο στα Halle. ΛΙΓΑ ΛΟΓΙΑ ΓΙΑ ΤΗΝ ΖΩΗ ΤΟΥ

6 ΜΑΘΗΜΑΤΙΚΗ ΕΡΓΑΣΙΑ Απέδειξε ότι το σύνολο των πραγματικών αριθμών είναι υπεραριθμήσιμο από το σύνολο των φυσικών αριθμών. Αποδείχτηκε ότι το άπειρο υπήρχε σε διάφορα μεγέθη. Χρησιμοποίησε την 1-1 αντιστοιχία στη Θεωρία Συνόλων για να ορίσει τα αριθμήσιμα και τα άπειρα σύνολα. Έκτισε μια ολόκληρη υπερπερασμένη αριθμητική. Εισήγαγε θεμελιώδης κατασκευές σε μια θεωρία Συνόλων, όπως το δυναμοσύνολο ενός συνόλου Α.

7 Απέδειξε ότι το μέγεθος του δυναμοσυνόλου ήταν μεγαλύτερο από το μέγεθος του Α. Αυτό το αποτέλεσμα σύντομα έγινε γνωστό σαν το Θεώρημα του Cantor. Απέδειξε ότι το σύνολο των ρητών αριθμών έχει το ίδιο πλήθος στοιχείων με το σύνολο των ακεραίων. Το ανοικτό διάστημα (0,1) δεν είναι αριθμήσιμο. Η τελευταία απόδειξη έχει μείνει στην ιστορία των Μαθηματικών ως η διαγώνιος μέθοδος του Cantor. ΜΑΘΗΜΑΤΙΚΗ ΕΡΓΑΣΙΑ

8 Ανακάλυψε ολόκληρη τη θεωρία και την αριθμητική των άπειρων συνόλων. Ανακάλυψε τους Πληθικούς και τους Διατακτικούς αριθμούς. Η Υπόθεση του Συνεχούς εισάχθηκε από τον Cantor. ΜΑΘΗΜΑΤΙΚΗ ΕΡΓΑΣΙΑ

9 ΟΡΙΣΜΟΣ Ένα σύνολο S λέγεται αριθμήσιμο ή μετρήσιμο αν είναι είτε πεπερασμένο είτε άπειρο και υπάρχει ακολουθία r1,r2,..στην οποία να εμφανίζονται όλα τα στοιχεία του S.

10 ΤΟ ΔΙΑΓΩΝΙΟ ΕΠΙΧΕΙΡΗΜΑ ΤΟΥ CANTOR Ονομάζεται, αλλιώς, επιχείρημα της Διαγωνοποίησης ή Διαγώνια Μέθοδος και δημοσιεύτηκε το 1891 από τον Cantor. Το διαγώνιο Επιχείρημα είναι μια απόδειξη για τη μη –μετρησιμότητα των πραγματικών αριθμών.

11 ΕΙΣΑΓΩΓΗ ΓΙΑ ΑΠΟΔΕΙΞΗ Ένα μη μετρήσιμο σύνολο: Η προέλευση της απόδειξης του Cantor, θεωρεί μια άπειρη ακολουθία του τύπου (x 1, x 2, x 3,...) όπου κάθε στοιχείο x i είναι είτε 0 ή 1. Θεωρώντας μια λίστα από κάποιες από τις ακολουθίες, έχουμε:

12 s 1 = (0, 0, 0, 0, 0, 0, 0,...) s 2 = (1, 1, 1, 1, 1, 1, 1,...) s 3 = (0, 1, 0, 1, 0, 1, 0,...) s 4 = (1, 0, 1, 0, 1, 0, 1,...) s 5 = (1, 1, 0, 1, 0, 1, 1,...) s 6 = (0, 0, 1, 1, 0, 1, 1,...) s 7 = (1, 0, 0, 0, 1, 0, 0,...)... Γενικά θα γράφεται: s n = (s n,1, s n,2, s n,3, s n,4,...) Το οποίο λέει ότι το s n,m είναι το m στοιχείο της n ακολουθίας της λίστας. Έτσι κατασκευάζουμε μια ακολουθία s 0 με στοιχεία των ακολουθιών της λίστας ως εξής: To 1ο στοιχείο της s 0 είναι διαφορετικό από το 1ο στοιχείο της 1ης ακολουθίας στη λίστα. ΑΠΟΔΕΙΞΗ

13 Και γενικά το n στοιχείο της s 0 είναι διαφορετικό από το n στοιχείο της n ακολουθίας στη λίστα. Έτσι: s 1 = (0, 0, 0, 0, 0, 0, 0,...) s 2 = (1, 1, 1, 1, 1, 1, 1,...) s 3 = (0, 1, 0, 1, 0, 1, 0,...) s 4 = (1, 0, 1, 0, 1, 0, 1,...) s 5 = (1, 1, 0, 1, 0, 1, 1,...) s 6 = (0, 0, 1, 1, 0, 1, 1,...) s 7 = (1, 0, 0, 0, 1, 0, 0,...)... Και δημιουργείται η ακολουθία s 0 : s 0 = (1, 0, 1, 1, 1, 0, 1,...) ΣΥΝΕΧΕΙΑ ΑΠΟΔΕΙΞΗΣ

14 Τα στοιχεία s 1,1, s 2,2,… που είναι υπογραμμισμένα δείχνουν την προέλευση του ονόματος «Διαγώνιο Επιχείρημα». Η καινούργια ακολουθία s 0 είναι ξεχωριστή από τις άλλες ακολουθίες στη λίστα. Αυτό συνεπάγεται ότι το σύνολο Τ περιέχεται από όλες τις άπειρες ακολουθίες του 0 και του 1. Αυτές οι ακολουθίες δεν μπορούν να μπουν σε μια λίστα s 1, s 2,… Το Τ περιέχει όλες τις ακολουθίες, άρα πρέπει να περιέχει και την s 0. Αλλά το s 0 δεν εμφανίζεται πουθενά στη λίστα, άρα το Τ δεν περιέχει το s 0. Το Τ δεν μπορεί να τοποθετηθεί σε 1-1 αντιστοιχία με τους Φυσικούς αριθμούς. Άρα είναι μη αριθμήσιμο. ΣΥΝΕΧΕΙΑ ΑΠΟΔΕΙΞΗΣ

15 ΘΕΩΡΗΜΑ ΤΟΥ CANTOR Για κάθε σύνολο Α, Α< P(A). Όπου το Ρ(Α) είναι το δυναμοσύνολο του συνόλου Α. Δηλαδή Α< 2 Α, το Α είναι μικρότερο πληθικά από το δυναμοσύνολο του Α.

16 ΑΠΟΔΕΙΞΗ Έχουμε μια συνάρτηση: f: Α  Ρ(Α), x  {x} που αντιστοιχεί σε κάθε στοιχείο x του Α το μονοσύνολο x με ένα μόνο στοιχείο, το x. α) Καλά ορισμένη: f(x) ανήκει στο Ρ(Α). {x} c A  f(x) c A. β) Είναι: 1-1. {x}={y}  Από το Αξίωμα έκτασης (x=y) ( Όπως θα δούμε παρακάτω στο Zermelo) f(x)=f(y)  x=y.

17 ΣΥΝΕΧΕΙΑ ΑΠΟΔΕΙΞΗΣ Με εις άτοπον απαγωγή: Δεχόμαστε ότι υπάρχει f : Α  P(A). Δηλαδή δείχνει ότι Α=Ρ(Α). Ορίζουμε το σύνολο: Β={x ανήκει Α/ x δεν ανήκει στο f(x)}. Αφού το Β είναι υποσύνολο του Α και έστω ότι η f είναι επιμορφισμός, πρέπει να υπάρχει κάποιο b ανήκει στο Α ώστε Β = f(b). Άρα b ανήκει στο Β ή b δεν ανήκει στο Β. Αλλά b ανήκει στο Β συνεπάγεται b ανήκει στο f(b),

18 ΣΥΝΕΧΕΙΑ ΑΠΟΔΕΙΞΗΣ άρα το b δεν ικανοποιεί τη συνθήκη ορισμού του Β, και επομένως b δεν ανήκει στο Β. Άτοπο. Στην αντίθετη περίπτωση, b δεν ανήκει στο Β, συνεπάγεται b δεν ανήκει f(b).Οπότε το b ικανοποιεί τη συνθήκη ορισμού του Β και άρα b ανήκει στο Β. Άτοπο. Άρα δεν υπάρχει ο μονομορφισμός f.

19 Η ΣΥΝΕΙΣΦΟΡΑ ΤΟΥ ΣΤΗ ΔΙΑΓΩΝΟΠΟΙΗΣΗ Το σύνολο των Πραγματικών είναι μεγαλύτερο από το σύνολο των Φυσικών αριθμών. Το σύνολο των Πραγματικών δεν είναι αριθμήσιμο. Το ανοικτό διάστημα (0,1) δεν είναι αριθμήσιμο Τα Σύνολα των Φυσικών, των Ακεραίων και των Ρητών είναι αριθμήσιμα. Οι άπειρες ακολουθίες δεν είναι αριθμήσιμες. Αν τα Α 1,..Α n είναι αριθμήσιμα τότε και το Καρτετσιανό Γινόμενο τους είναι αριθμήσιμο.

20 Για κάθε ακολουθία Α 0,Α 1,… απαριθμητών (αριμήσιμων ) συνόλων, η ένωση Α=Α 0 UA 1 U… είναι επίσης απαριθμητό σύνολο. ΘΕΩΡΗΜΑ ΠΑΡΑΔΕΙΓΜΑ Το σύνολο των Ρητών αριθμών είναι αριθμήσιμο γιατί γράφεται στη μορφή : Q=UZ.1/n Θετικοί Ρητοί ( Q+):1/1,1/2,2/1,1/3,2/2,3/1,1/4,.. Θετικοί Ρητοί ( Q+): 1/1,1/1,1/2,2/1,2/2,2/2,1/3,3/1,2/3,3/2,3/3,3/3,1/4,4/1,..

21 Στην πρώτη ακολουθία, εμφανίζονται πρώτα τα κλάσματα με αριθμητή και παρανομαστή ίσο με 2, μετά τα κλάσματα με αριθμητή και παρανομαστή ίσο με 3 και έτσι συνεχίσουμε. Ένα κλάσμα p/q θα εμφανιστεί όταν απαριθμούμε τα κλάσματα με αριθμητή και παρανομαστή ίσο με p+q. Στην δεύτερη ακολουθία, κάθε κλάσμα p/q ακολουθείται από το αντίστροφο του q/p. Παρατηρούμε ότι τα κλάσματα στις περιττές θέσεις, έχουν αριθμητή μικρότερο ή ίσο με τον παρανομαστή και ότι πρώτα είναι όλα τα κλάσματα με παρανομαστή 1 και μετά όλα τα κλάσματα με παρανομαστή 2, κτλ. Είναι εύκολο να παρατηρήσουμε ότι τροποποιώντας τις παραπάνω ακολουθίες περιέχουν και τους αρνητικούς ρητούς. Άρα το σύνολο των ρητών είναι αριθμήσιμο.

22 ΕΦΑΡΜΟΓΕΣ ΤΗΣ ΔΙΑΓΩΝΟΠΟΙΗΣΗΣ Η Μέθοδος της διαγωνοποίησης χρησιμοποιήθηκε για την απόδειξη Θεωρημάτων των: Turing Gödel

23 ΒΙΒΛΙΟΓΡΑΦΙΑ Οι ιστιοσελίδες: Βιβλία: Μοσχοβάκης: «Συνολοθεωρία» Σημειώσεις: «Μαθηματικά για την Πληροφορική» Κουτσουπιάς

24 Σας Ευχαριστώ πολύ!!


Κατέβασμα ppt "GEORG CANTOR ΜΑΡΙΝΑΚΗ ΚΩΝΣΤΑΝΤΙΝΑ ΑΜ:3318 Μάθημα: Ιστορία της Λογικής Διδάσκουσα: Άλλα Συροκόφσκιχ."

Παρόμοιες παρουσιάσεις


Διαφημίσεις Google