| Περίληψη: | Αντικείμενο μελέτης της διδακτορικής διατριβής αποτελούν οι διαστάσεις τοπολογικών χώρων και μερικώς διατεταγμένων συνόλων (partially ordered sets ή συνηθέστερα, posets), οι χαρακτηρισμοί αυτών με πίνακες και η έννοια της καθολικότητας σε κλάσεις frames και κλάσεις βάσεων για frames οι οποίες προσδιορίζονται από έννοιες διαστάσεων.
Ειδικότερα, ορίζουμε μία νέα τοπολογική διάσταση, την quasi διάσταση κάλυψης, dimq, μέσα από την έννοια της quasi κάλυψης ενός τοπολογικού χώρου. Αποδεικνύουμε ότι η dimq είναι μεγαλύτερη ή ίση της κλασικής διάστασης κάλυψης, dim, και παρουσιάζουμε παραδείγματα τοπολογικών χώρων, προσδιορίζοντας τόσο τη διάσταση dimq όσο και τη διάσταση dim αυτών. Επίσης, αποδεικνύουμε μία πληθώρα ιδιοτήτων της διάστασης dimq, όπως, για παράδειγμα, το θεώρημα υποχώρου, το θεώρημα αθροίσματος και το θεώρημα συμπαγοποίησης.
Στη συνέχεια, μελετάμε το Πρόβλημα Καθολικότητας, το οποίο έγκειται στην εύρεση καθολικών τοπολογικών χώρων (αντίστοιχα, καθολικών frames) σε διάφορες κλάσεις τοπολογικών χώρων (αντίστοιχα, κλάσεις frames). Αποδεικνύουμε ότι στην κλάση όλων των κανονικών frames που έχουν βάρος μικρότερο ή ίσο ενός πληθαρίθμου τ και μικρή επαγωγική διάσταση, frind, μικρότερη ή ίση ενός διατακτικού αριθμού α, υπάρχουν καθολικά στοιχεία. Η μελέτη αυτή επιτυγχάνεται με τον ορισμό και τη μελέτη μίας νέας διάστασης για frames, την οποία καλούμε μικρή επαγωγική διάσταση, frind, και της έννοιας της κορεσμένης κλάσης frames.
Συνεχίζοντας την ερευνητική μελέτη του Προβλήματος Καθολικότητας σε κλάσεις frames, ορίζουμε νέες, για τη θεωρία των frames, έννοιες, όπως της κλάσης βάσεων, της κορεσμένης κλάσης βάσεων, του καθολικού στοιχείου για κλάσεις βάσεων καθώς, επίσης, την έννοια της διάστασης βάσης του τύπου της μικρής επαγωγικής διάστασης frind. Βασιζόμενοι στις παραπάνω έννοιες, αποδεικνύουμε ότι σε κλάση βάσεων για frames, η οποία προσδιορίζεται από τη νέα διάσταση βάσης, υπάρχουν καθολικά στοιχεία.
Επίσης, μελετάμε την order-διάσταση πεπερασμένων μερικώς διατεταγμένων συνόλων μέσα από πίνακες. Ειδικότερα, σε κάθε πεπερασμένο poset (X,≤) προσαρτάμε τον λεγόμενο order-πίνακα. Μελετάμε ιδιότητες αυτού του πίνακα και χαρακτηρίζουμε τις γραμμικές επεκτάσεις της μερικής διάταξης ≤ και την order-διάσταση του X χρησιμοποιώντας τους order-πίνακες. Τέλος, βασιζόμενοι στα παραπάνω αποτελέσματα, δίνουμε έναν αλγόριθμο για τον υπολογισμό της order-διάστασης ενός τυχαίου πεπερασμένου poset.
Επιπλέον, μελετάμε τη διάσταση κάλυψης πεπερασμένων δικτυωτών μέσα από πίνακες. Πιο συγκεκριμένα, μελετάμε τις έννοιες των minimal καλύψεων και της τάξης αυτών μέσα από order-πίνακες και πίνακες πρόσπτωσης. Δίνουμε έναν αλγόριθμο ο οποίος προσδιορίζει το σύνολο των minimal καλύψεων σε ένα οποιοδήποτε πεπερασμένο δικτυωτό και βασιζόμενοι σε αυτή τη μελέτη δίνουμε έναν αλγόριθμο ο οποίος υπολογίζει τη διάσταση κάλυψης ενός τυχαίου πεπερασμένου δικτυωτού. Η μελέτη αυτής της διάστασης ολοκληρώνεται παρουσιάζοντας έναν αλγόριθμο ο οποίος υπολογίζει τη διάσταση κάλυψης του γραμμικού αθροίσματος και του λεξικογραφικού γινομένου δύο οποιονδήποτε πεπερασμένων δικτυωτών.
Το ερευνητικό μέρος αυτής της διατριβής ολοκληρώνεται με τη μελέτη της Krull-διάστασης πεπερασμένων επιμεριστικών δικτυωτών μέσα από join-πρώτα στοιχεία, πρώτα φίλτρα, κύρια φίλτρα, order-πίνακες και πίνακες πρόσπτωσης. Περιγράφονται νέοι χαρακτηρισμοί αυτών των εννοιών μέσα από αυτούς τους πίνακες και δίνονται ένας αλγόριθμος προσδιορισμού του συνόλου των join-πρώτων στοιχείων σε ένα οποιοδήποτε πεπερασμένο δικτυωτό και ένας αλγόριθμος υπολογισμού του ύψους πεπερασμένων posets. Βάσει όλων αυτών των αποτελεσμάτων επιτυγχάνεται ο υπολογισμός της Krull-διάστασης για ένα οποιοδήποτε πεπερασμένο επιμεριστικό δικτυωτό μέσα από πίνακες.
|
|---|
