Περιγραφή: |
Συγγραφέας: Παπαργύρη Αθηνά
Λέξεις Κλειδιά: Διατεταγμένες δομές, Συμπληρώματα, Τομές Dedekind, Μέθοδος Cantor
Σύνοψη: Στο κεφάλαιο 1 γίνεται μελέτη διατεταγμένων αλγεβρικών δομών. Δίνονται ορισμοί, αποδείξεις και στοιχειώδη αποτελέσματα, απαραίτητα σε όλη την πορεία της εργασίας. Ορίζουμε μερικώς διατεταγμένα σύνολα και μερική διάταξη σε αλγεβρικά συστήματα, βλέπουμε υπό ποίες προϋποθέσεις η μερική διάταξη επεκτείνεται σε ολική και άρα το σύνολο γίνεται ολικώς διατεταγμένο και στη συνέχεια τα διατεταγμένα σύνολα με μία εσωτερική πράξη ορίζουν μερικώς ή ολικώς διατεταγμένες ομάδες. Στο κεφάλαιο 2 παρουσιάζουμε συμπληρώσεις διατεταγμένων συνόλων και συγκεκριμένα, τα συμπληρώματα Dedekind, Kurepa και Krasner καθώς και ορισμένες ιδιότητες αυτών. Ο Dedekind (1831-1916) όρισε τις τομές Dedekind με τη βοήθεια των οποίων επέκτεινε τη διάταξη των φυσικών στο σύνολο των πραγματικών και θεμελίωσε με αυτόν τον τρόπο το σύνολο αυτό ως ένα διατεταγμένο σώμα. Η κατασκευή της δομής των πραγματικών εφοδιασμένη με τις πράξεις της πρόσθεσης και του πολλαπλασιασμού και τη δίαταξη, καθώς και η κατασκευή της δομής του επιπέδου με τις ίδιες πραξεις και διάταξη κατά Dedekind παρουσιάζεται εκτενέστερα στο κεφάλαιο 3. Η γενίκευση της έννοιας του συμπληρώματος Kurepa και η εισαγωγή του συμπληρώματος Krasner, οφείλονται στον καθηγητή Λ. Ντόκα (1963). Η μέθοδος του Dedekind της συμπλήρωσης με τομές δεν είναι η μόνη μέθοδος κατασκευής των πραγματικών αριθμών. Η μέθοδος του G. Cantor (1845-1918) της συμπλήρωσης με ακολουθίες, είναι η δεύτερη εξίσου σημαντική μέθοδος, την οποία θα παρουσιάσουμε στο κεφάλαιο 4. Η μελέτη μας ολοκληρώνεται στο κεφάλαιο 5, όπου παρουσιάζεται ένα ενδιαφέρον αποτέλεσμα για τις μερικώς διατεταγμένες ομάδες και τις συνθήκες κάτω από τις οποίες αυτές επεκτείνονται σε ολικώς διατεταγμένες ομάδες, στηριζόμενοι στην εργασία “embedding groups into linear or lattice structures” των Κοντολάτου-Σταμπάκη (1987), όπου πραγματοποιούν επέκταση μίας μερικώς διατεταγμένης ομάδας, χρησιμοποιώντας τα αποτελέσματα του Fuchs για ύπαρξη επέκτασης ενός μερικώς διατεταγμένου συνόλου σε ολικώς διατεταγμένο.
Αρχείο Διπλωματικής Εργασίας |