Το Λήμμα του Koenig και η σχέση του με το θεώρημα της πληρότητας
Η παρούσα πτυχιακή εργασία εκπονήθηκε στα πλαίσια του προγράμματος προπτυχιακών σπουδών του τμήματος Μαθηματικών Σάμου. Σκοπός της εργασίας είναι η παρουσίαση και η απόδειξη του Λήμματος του König και του Θεωρήματος της Πληρότητας καθώς και ο συσχετισμός τους. Η εργασία αποτελείται από τέσσερα κεφάλ...
Αποθηκεύτηκε σε:
| Κύριος συγγραφέας: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Γλώσσα: | Greek |
| Δημοσίευση: |
2015
|
| Θέματα: | |
| Διαθέσιμο Online: | https://vsmart.lib.aegean.gr/webopac/FullBB.csp?WebAction=ShowFullBB&EncodedRequest=*29*09*86*BA*E2*FF1*C0*E2*FBK*2B*20*A8O*BD&Profile=Default&OpacLanguage=gre&NumberToRetrieve=50&StartValue=3&WebPageNr=1&SearchTerm1=2012%20.1.32928&SearchT1=&Index1=Keywordsbib&SearchMethod=Find_1&ItemNr=3 http://hdl.handle.net/11610/8031 |
| Ετικέτες: |
Προσθήκη ετικέτας
Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!
|
| Περίληψη: | Η παρούσα πτυχιακή εργασία εκπονήθηκε στα πλαίσια του προγράμματος προπτυχιακών σπουδών του τμήματος Μαθηματικών Σάμου. Σκοπός της εργασίας είναι η παρουσίαση και η απόδειξη του Λήμματος του König και του Θεωρήματος της Πληρότητας καθώς και ο συσχετισμός τους. Η εργασία αποτελείται από τέσσερα κεφάλαια. Στο Κεφάλαιο 1 παρουσιάζουμε τις έννοιες γράφημα, μονοπάτι και δέντρο. Τέλος παρουσιάζουμε και αποδεικνύουμε το Λήμμα του König. Στο Κεφάλαιο 2 παρουσιάζουμε κάποιους βασικούς ορισμούς που μας βοηθούν για να αποδείξουμε στη συνέχεια το Λήμμα του Zorn για μετρήσιμα μερικώς διατεταγμένα σύνολα. Τέλος αποδεικνύουμε ότι το Λήμμα του Zorn είναι ισοδύναμο με το Αξίωμα της Επιλογής. Στο Κεφάλαιο 3 παρουσιάζουμε την ιδέα ενός τυπικού συστήματος και των αποδείξεων, έτσι ώστε ένα σύστημα που βασίζεται σε συμβολοσειρές από 0 και 1 να σχετίζεται με το Λήμμα του König. Τέλος ξανααποδεικνύουμε το Λήμμα του König από τα Θεωρήματα Ορθότητας και Πληρότητας για αυτό το σύστημα. Στο Κεφάλαιο 4 παρουσιάζουμε ένα σύστημα για αποδείξεις προτάσεων σε μερικώς διατεταγμένα σύνολα με την εφαρμογή κάποιων κανόνων. Τέλος αποδεικνύουμε για αυτό το σύστημα τα Θεωρήματα Ορθότητας και Πληρότητας. |
|---|