Μετάβαση στο περιεχόμενο

Ενδομορφισμός

Από τη Βικιπαίδεια, την ελεύθερη εγκυκλοπαίδεια
Η ορθογώνια προβολή σε μια ευθεία, m,είναι ένας γραμμικός τελεστής στο επίπεδο. Αυτό είναι ένα παράδειγμα ενδομορφισμού που δεν είναι αυτομορφισμός.

Στα μαθηματικά, ο ενδομορφισμός[1][2] είναι ένας μορφισμός από ένα μαθηματικό αντικείμενο προς τον εαυτό του. Ένας ενδομορφισμός που είναι επίσης ισομορφισμός είναι αυτομορφισμός. Επί παραδείγματι, ένας ενδομορφισμός ενός διανυσματικού χώρου V είναι μια γραμμική απεικόνιση f: VV, και ένας ενδομορφισμός μιας ομάδας G είναι ένας ομομορφισμός ομάδας f: GG. Σε γενικές γραμμές, μπορούμε να μιλάμε για ενδομορφισμούς σε οποιαδήποτε κατηγορία. Στην κατηγορία των συνόλων, οι ενδομορφισμοί είναι συναρτήσεις από ένα σύνολο S προς τον εαυτό του.

Σε οποιαδήποτε κατηγορία, η σύνθεση δύο οποιωνδήποτε ενδομορφισμών της X είναι και πάλι ένας ενδομορφισμός της X. Προκύπτει ότι το σύνολο όλων των ενδομορφισμών του X σχηματίζει ένα μονοειδές, το πλήρες μονοειδές μετασχηματισμού, και συμβολίζεται End(X)EndC(X) για να τονιστεί η κατηγορία C).

Ένας αντιστρέψιμος ενδομορφισμός του X ονομάζεται αυτομορφισμός[3][4]. Το σύνολο όλων των αυτομορφισμών είναι ένα υποσύνολο του End(X) με δομή ομάδας, που ονομάζεται ομάδα αυτομορφισμών του X και συμβολίζεται Aut(X). Στο ακόλουθο διάγραμμα, τα βέλη υποδηλώνουν την συνεπαγωγή:

Αυτομορφισμός Ισομορφισμός
Ενδομορφισμός Ομομορφισμός

Δακτύλιοι ενδομορφισμού

[Επεξεργασία | επεξεργασία κώδικα]

Κάθε δύο ενδομορφισμοί μιας αβελιανής ομάδας, A, μπορούν να προστεθούν σύμφωνα με τον κανόνα (f + g)(a) = f(a) + g(a). Με αυτή την πρόσθεση και με τον πολλαπλασιασμό που ορίζεται ως σύνθεση συναρτήσεων, οι ενδομορφισμοί μιας αβελιανής ομάδας σχηματίζουν έναν δακτύλιο (δακτύλιος ενδομορφισμών)[5][6]. Επί παραδείγματι, το σύνολο των ενδομορφισμών της είναι ο δακτύλιος όλων των n × n πινάκων με ακέραιες καταχωρήσεις. Οι ενδομορφισμοί ενός διανυσματικού χώρου ή ενός module σχηματίζουν επίσης ένα δακτύλιο, όπως και οι ενδομορφισμοί οποιουδήποτε αντικειμένου σε μια προ-προσθετική κατηγορία. Οι ενδοµορφισµοί µιας µη αβελιανής οµάδας[7] δηµιουργούν µια αλγεβρική δοµή γνωστή ως σχεδόν δακτύλιος. Κάθε δακτύλιος με έναν τέτοιο δακτύλιο είναι ο δακτύλιος ενδομορφισμών του κανονικού του module, και έτσι είναι ένας υποδακτύλιος ενός δακτυλίου ενδομορφισμών μιας αβελιανής ομάδας,[8] Ωστόσο, υπάρχουν δακτύλιοι που δεν είναι δακτύλιος ενδομορφισμού οποιασδήποτε αβελιανής ομάδας.

Θεωρία του τελεστή

[Επεξεργασία | επεξεργασία κώδικα]

Σε οποιαδήποτε συγκεκριμένη κατηγορία, ειδικά για διανυσματικούς χώρους, οι ενδομορφισμοί είναι απεικονίσεις από ένα σύνολο στον εαυτό του, και μπορούν να ερμηνευθούν ως μοναδιαίοι τελεστές σε αυτό το σύνολο, που δρουν στα στοιχεία, και επιτρέποντας τον ορισμό της έννοιας των τροχιών των στοιχείων, κ.λπ.[9]

Ανάλογα με την πρόσθετη δομή που ορίζεται για την εκάστοτε κατηγορία (τοπολογία, μετρική, ...), οι τελεστές αυτοί μπορούν να έχουν ιδιότητες όπως η συνέχεια, η οριοθέτηση, κ.ο.κ. Περισσότερες λεπτομέρειες υπάρχουν στο άρθρο σχετικά με τη θεωρία τελεστών[10][11].

Μια ενδοσυνάρτηση[12] είναι μια συνάρτηση της οποίας η περιοχή είναι ίση με τη συν-περιοχή της. Μια ομομορφική ενδοσυνάρτηση είναι ένας ενδομορφισμός.

Έστω S ένα αυθαίρετο σύνολο. Μεταξύ των τελικών ενδοσυναρτήσεων στο S βρίσκουμε μεταθέσεις του S και σταθερές συναρτήσεις που συσχετίζουν με κάθε xστο S το ίδιο στοιχείο c στο S. Κάθε μεταβολή του S έχει πεδίο τιμών ίσο με το πεδίο του και είναι αμφιρριπτική και αντιστρέψιμη. Εάν η S έχει περισσότερα από ένα στοιχεία, η σταθερή συνάρτηση στην S έχει μια εικόνα που είναι ένα κατάλληλο υποσύνολο του πεδίου τιμών του, και επομένως δεν είναι αμφιρριπτική (και ως εκ τούτου δεν είναι αντιστρέψιμη). Η συνάρτηση που συνδέει με κάθε φυσικό αριθμό n το δάπεδο του n/2 έχει εικόνα ίση με το πεδίο τιμών της και δεν είναι αντιστρέψιμη.

Οι πεπερασμένες ενδοσυναρτήσεις είναι ισοδύναμες με "κατευθυνόμενα ψευδοδάση"[13]. Σε σύνολα μεγέθους n υπάρχουν nn ενδοσυναρτήσεις στο σύνολο.

Ιδιαίτερα παραδείγματα αμφιρριπτικές[14] ενδοσυναρτήσεις είναι οι ενελίξεις, δηλαδή οι συναρτήσεις που συμπίπτουν με τις αντίστροφες τους.

Εξωτερικοί σύνδεσμοι

[Επεξεργασία | επεξεργασία κώδικα]
  1. «Endomorphism - Encyclopedia of Mathematics». encyclopediaofmath.org. Ανακτήθηκε στις 13 Ιουλίου 2025.
  2. Weisstein, Eric W. «Endomorphism». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 14 Ιουλίου 2025.
  3. Weisstein, Eric W. «Automorphism». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 14 Ιουλίου 2025.
  4. «Ανοικτά Ακαδημαϊκά Μαθήματα ΕΚΠΑ | Θεωρία Galois | Ενότητα 3: Αυτομορφισμοί σωμάτων, η αντιστοιχία Galois, επιλυσιμότητα εξισώσεων με ριζικά». opencourses.uoa.gr. Ανακτήθηκε στις 14 Ιουλίου 2025.
  5. Ware, R.; Zelmanowitz, J. (1970). «Simple Endomorphism Rings». The American Mathematical Monthly 77 (9): 987–989. doi:10.2307/2318119. ISSN 0002-9890. https://www.jstor.org/stable/2318119.
  6. «ring of endomorphisms». planetmath.org. Ανακτήθηκε στις 14 Ιουλίου 2025.
  7. «Orders of non abelian simple groups». www.madore.org. Ανακτήθηκε στις 14 Ιουλίου 2025.
  8. Jacobson (2009), p. 162, Theorem 3.2.
  9. Yoshino, Takashi (5 Δεκεμβρίου 1993). Introduction to Operator Theory. CRC Press. ISBN 978-0-582-23743-8.
  10. «Θεωρία Τελεστών - Εθνικόν και Καποδιστριακόν Πανεπιστήμιον Αθηνών» (PDF).
  11. Conway, John B. (2000). A Course in Operator Theory. American Mathematical Soc. ISBN 978-0-8218-2065-0.
  12. «endofunction in nLab». ncatlab.org. Ανακτήθηκε στις 14 Ιουλίου 2025.
  13. Weisstein, Eric W. «Pseudoforest». mathworld.wolfram.com (στα Αγγλικά). Ανακτήθηκε στις 14 Ιουλίου 2025.
  14. Services, ProZ com Translation. «surjective - injective - bijective (function) > επιρριπτική - ερριπτική - αμφιρριπτική (συνάρτηση) - English to Greek translation on #KudoZ Term Help Network». www.proz.com (στα Αγγλικά). Ανακτήθηκε στις 14 Ιουλίου 2025.