Μονάδα:
Κατεύθυνση Αλγόριθμοι, Λογική και Διακριτά Μαθηματικά (Α.Λ.ΜΑ.)Πληροφορική
Ημερομηνία κατάθεσης:
2019-03-01
Συγγραφέας:
Πιτσιλαδής Γεώργιος
Στοιχεία επιβλεπόντων καθηγητών:
Κωνσταντίνος Κούτρας, Αναπληρωτής Καθηγητής, College of Engineering and Technology, American University of the Middle East.
Πέτρος Στεφανέας, Επίκουρος Καθηγητής, Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών, Εθνικό Μετσόβιο Πολυτεχνείο.
Ευστάθιος Ζάχος, Ομότιμος Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Ηλεκτρονικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο.
Νικόλαος Παπασπύρου, Αναπληρωτής Καθηγητής, Σχολή Ηλεκτρολόγων Μηχανικών και Μηχανικών Ηλεκτρονικών Υπολογιστών, Εθνικό Μετσόβιο Πολυτεχνείο.
Πρωτότυπος Τίτλος:
Notions of Galois connections for Bilattices
Γλώσσες εργασίας:
Αγγλικά
Μεταφρασμένος τίτλος:
Έννοιες αντιστοιχιών Galois για διπλέγματα
Περίληψη:
Τα διπλέγματα (bilattices) είναι αλγεβρικές δομές προερχόμενες από τα πεδία της αναπαράστασης γνώσης και της μη μονοτονικής λογικής· αποτελούνται από ένα σύνολο εφοδιασμένο με δύο πλέγματα (lattices), όπου το ένα μοντελοποιεί το βαθμό αλήθειας και το δεύτερο την ποσότητα πληροφορίας. Οι αντιστοιχίες Galois είναι πολύ χρήσιμες στα μαθηματικά, διότι αποτελούν μία ενοποιητική αφαίρεση διάφορων αντιστοιχιών μεταξύ διατεταγμένων συνόλων, καθώς και διότι σχετίζονται στενά με τους τελεστές κλειστότητας. Σε αυτή την εργασία, εισάγουμε κάποιες έννοιες δι-αντιστοιχιών Galois, που αποσκοπούν στο να αποτελέσουν το ανάλογο των αντιστοιχιών Galois για διπλέγματα.
Η πρώτη διάκριση που κάνουμε είναι ανάμεσα σε διαντιστοιχίες Galois μονής και διπλής κατεύθυνσης. Οι διαντιστοιχίες διπλής κατεύθυνσης αποτελούνται από ένα ζεύγος (συμβατών μεταξύ τους) αντιστοιχιών Galois ανάμεσα στις διατάξεις αλήθειας και πληροφορίας, ενώ οι διαντιστοιχίες μονής κατεύθυνσης είναι αντιστοιχίες Galois εφοδιασμένες με επιπλέον ιδιότητες που επιχειρούν να συλλάβουν τη διπλεγματική δομή. Μια περαιτέρω διάκριση γίνεται μεταξύ συνήθων και ισχυρών διαντιστοιχιών Galois· στις πρώτες, οι συναρτήσεις που παίρνουν μέρος έχουν ισόμορφες εικόνες ως διατάξεις, ενώ στις δεύτερες οι εικόνες είναι ισόμορφα διπλέγματα.
Εξετάζουμε τα τέσσερα είδη διαντιστοιχιών Galois που προκύπτον από τις παραπάνω διχοτομήσεις, τόσο σε διπλέγματα με τελεστές άρνησης όσο και σε διπλέγματα χωρίς τέτοιους τελεστές. Διερευνούμε την γενικευσιμότητα των κομψών ιδιοτήτων των αντιστοιχιών Galois (συνθεσιμότητα, αντιστρεψιμότητα, διατήρηση άνω και κάτω φραγμάτων κλπ), καθώς και την συμπεριφορά των εικόνων όσον αφορά ενδιαφέρουσες ιδιότητες των διπλεγμάτων. Τέλος, αναφερόμαστε στους αντίστοιχους τελεστές κλειστότητας που προκύπτουν από τις διαντιστοιχίες και κάνουμε μια νύξη του πώς οι έννοιες που παρουσιάζουμε μπορούν να γενικευτούν σε σύνολα εφοδιασμένα με περισσότερες από δύο διατάξεις.
Κύρια θεματική κατηγορία:
Θετικές Επιστήμες
Λέξεις-κλειδιά:
πλέγματα,διπλέγματα,αντιστοιχίες Galois,αντιστοιχία Galois,θεωρία διατάξεων
Αρ. σελίδων ευρετηρίου:
2
Αρ. βιβλιογραφικών αναφορών:
38
