Αυτομορφισμός

Στα μαθηματικά, ένας **αυτομορφισμός** είναι ένας ισομορφισμός ενός μαθηματικού αντικειμένου προς τον εαυτό του. Είναι, κατά κάποιο τρόπο, μια συμμετρία του αντικειμένου και ένας τρόπος απεικόνισης του αντικειμένου στον εαυτό του, διατηρώντας όλη τη δομή του. Το σύνολο όλων των αυτομορφισμών ενός αντικειμένου σχηματίζει μια ομάδα που ονομάζεται ομάδα αυτομορφισμού. Είναι, σε ελεύθερη έκφραση, η ομάδα συμμετρίας του αντικειμένου.

## Ορισμός

Σε μια αλγεβρική δομή, όπως μια ομάδα, ένας δακτύλιος ή ένας διανυσματικός χώρος, ένας *αυτομορφισμός* είναι απλά ένας διμερής ομομορφισμός ενός αντικειμένου στον εαυτό του. (Ο ορισμός ενός ομομορφισμού εξαρτάται από τον τύπο της αλγεβρικής δομής- δείτε, λόγου χάριν, ομομορφισμό ομάδας, ομομορφισμό δακτυλίου και γραμμικό τελεστή).

Γενικότερα, για ένα αντικείμενο σε κάποια κατηγορία, ένας **αυτομορφισμός** είναι ένας μορφισμός του αντικειμένου προς τον εαυτό του που έχει έναν αντίστροφο μορφισμό, δηλαδή ένας μορφισμός f: X\to X είναι αυτομορφισμός αν υπάρχει μορφισμός g: X\to X τέτοιος ώστε g\circ f= f\circ g = \operatorname {id}_X, όπου \operatorname {id}_X είναι ο μορφισμός ταυτότητας του }. Για αλγεβρικές δομές, οι δύο ορισμοί είναι ισοδύναμοι- σε αυτή την περίπτωση, ο μορφισμός ταυτότητας είναι απλά η συνάρτηση ταυτότητας και συχνά ονομάζεται *τετριμμένος αυτομορφισμός*.

## Ομάδα αυτομορφισμού

Οι αυτομορφισμοί ενός αντικειμένου  σχηματίζουν μια ομάδα υπό σύνθεση μορφισμών, η οποία ονομάζεται *ομάδα αυτομορφισμών* του . Αυτό προκύπτει ευθέως από τον ορισμό μιας κατηγορίας.

Η ομάδα αυτομορφισμού ενός αντικειμένου   σε μια κατηγορία  συχνά συμβολίζεται , ή απλά Aut(*X*)  αν η κατηγορία είναι σαφής από τα συμφραζόμενα.

## Παραδείγματα

* Στη θεωρία συνόλων, μια αυθαίρετη μεταβολή των στοιχείων ενός συνόλου *X* είναι ένας αυτομορφισμός. Η ομάδα αυτομορφισμών του *X* ονομάζεται επίσης συμμετρική ομάδα στο *X*.
* Στη στοιχειώδη αριθμητική, το σύνολο των ακεραίων, , θεωρούμενο ως ομάδα υπό πρόσθεση, έχει έναν μοναδικό μη τετριμμένο αυτομορφισμό: την άρνηση. Θεωρούμενο ως δακτύλιος, ωστόσο, έχει μόνο τον τετριμμένο αυτομορφισμό. Γενικά, η άρνηση είναι αυτομορφισμός οποιασδήποτε αβελιανής ομάδας, αλλά όχι ενός δακτυλίου ή σώματος.
* Ένας αυτομορφισμός ομάδας είναι ένας ισομορφισμός ομάδας από μια ομάδα προς τον εαυτό της. Ανεπίσημα, είναι μια μετάθεση των στοιχείων της ομάδας έτσι ώστε η δομή της να παραμένει αμετάβλητη. Για κάθε ομάδα *G* υπάρχει ένας φυσικός ομομορφισμός ομάδας  *G* → Aut(*G*)  του οποίου η εικόνα είναι η ομάδα Inn(*G*) των εσωτερικών αυτομορφισμών και του οποίου ο πυρήνας είναι το κέντρο της *G*. Έτσι, αν η *G* έχει τετριμμένο κέντρο μπορεί να ενσωματωθεί στη δική της ομάδα αυτομορφισμών.
* Στη γραμμική άλγεβρα, ένας ενδομορφισμός ενός διανυσματικού χώρου  *V* είναι ένας γραμμικός τελεστής *V* → *V*. Ένας αυτομορφισμός είναι ένας αντιστρέψιμος γραμμικός τελεστής στον  *V*. Όταν ο διανυσματικός χώρος είναι πεπερασμένης διάστασης, η ομάδα αυτομορφισμού του  *V* είναι η ίδια με τη γενική γραμμική ομάδα, GL(*V*).  (Η αλγεβρική δομή όλων των ενδομορφισμών του *V* είναι η ίδια μια άλγεβρα πάνω από το ίδιο πεδίο βάσης με το  *V*, της οποίας τα αντιστρέψιμα στοιχεία αποτελούνται ακριβώς από την GL(*V*).)
* Ένας αυτομορφισμός σώματος είναι μια αμφιρριπτική ομομορφία δακτυλίου από ένα σώμα προς τον εαυτό του.
**Το σώμα \Q   των ρητών αριθμών δεν έχει άλλο αυτομορφισμό εκτός από την ταυτότητα, αφού ένας αυτομορφισμός πρέπει να καθορίζει την προσθετική ταυτότητα  και την πολλαπλασιαστική ταυτότητα , το άθροισμα ενός πεπερασμένου αριθμού  πρέπει να είναι σταθερό, καθώς και τα προσθετικά αντίστροφα αυτών των αθροισμάτων (δηλαδή, ο αυτομορφισμός σταθεροποιεί όλους τους ακέραιους- τέλος, δεδομένου ότι κάθε ρητός αριθμός είναι το πηλίκο δύο ακεραίων, όλοι οι ρητοί αριθμοί πρέπει να είναι σταθεροί από οποιονδήποτε αυτομορφισμό.
**Το σώμα \R  των πραγματικών αριθμών δεν έχει άλλους αυτομορφισμούς εκτός από την ταυτότητα. Πράγματι, οι ρητοί αριθμοί πρέπει να είναι σταθεροί από κάθε αυτομορφισμό, σύμφωνα με τα παραπάνω- ένας αυτομορφισμός πρέπει να διατηρεί τις ανισότητες αφού x είναι ισοδύναμο με \exists z\mid y-x=z^2, και η τελευταία ιδιότητα διατηρείται από κάθε αυτομορφισμό- τέλος, κάθε πραγματικός αριθμός πρέπει να είναι σταθερός αφού είναι το μικρότερο άνω όριο μιας ακολουθίας ρητών αριθμών.
** Το σώμα \Complex των μιγαδικών αριθμών έχει έναν μοναδικό μη τετριμμένο αυτομορφισμό που καθορίζει τους πραγματικούς αριθμούς. Είναι η μιγαδική συζυγία, η οποία απεικονίζει το i στο -i. Το αξίωμα της επιλογής συνεπάγεται την ύπαρξη αμέτρητων αυτομορφισμών που δεν καθορίζουν τους πραγματικούς αριθμούς. 
** Η μελέτη των αυτομορφισμών στις επεκτάσεις αλγεβρικών σωμάτων είναι η αφετηρία και το κύριο αντικείμενο της Θεωρίας Γκαλουά.
* Η ομάδα αυτομορφισμών των τετραδονίων () ως δακτύλιος είναι οι εσωτερικοί αυτομορφισμοί, σύμφωνα με το θεώρημα Σκόλεμ - Νέτερ: απεικονίσεις της μορφής . Αυτή η ομάδα είναι ισόμορφη με την SO(3), την ομάδα των περιστροφών στον τρισδιάστατο χώρο.
* Η ομάδα αυτομορφισμού των οκτονίων ()  είναι η εξαιρετική ομάδα Λί G2.
* Στη θεωρία γράφων ένας αυτομορφισμός ενός γράφου είναι μια μετάθεση των κόμβων που διατηρεί τις ακμές και τις μη ακμές. Συγκεκριμένα, αν δύο κόμβοι ενώνονται με μια ακμή, το ίδιο ισχύει και για τις εικόνες τους κάτω από την αντιμετάθεση.
* Στη γεωμετρία, ένας αυτομορφισμός μπορεί να ονομαστεί κίνηση του χώρου. Χρησιμοποιείται επίσης εξειδικευμένη ορολογία:
** Στη μετρική γεωμετρία ένας αυτομορφισμός είναι μια αυτο-ισομετρία. Η ομάδα αυτομορφισμού ονομάζεται επίσης ομάδα ισομετρίας.
** Στην κατηγορία των επιφανειών Ρίμαν, ένας αυτομορφισμός είναι μια διολομορφική απεικόνιση (που ονομάζεται επίσης σύμμορφη απεικόνιση), από μια επιφάνεια στον εαυτό της. Επί παραδείγματι, οι αυτομορφισμοί της σφαίρας Ρίμαν είναι μετασχηματισμοί Μόμπιους.
** Ένας αυτομορφισμός μιας διαφορίσιμης πολλαπλότητας *M* είναι ένας διαφορικός μορφισμός από την *M* προς τον εαυτό της. Η ομάδα αυτομορφισμών μερικές φορές συμβολίζεται ως Diff(*M*).
** Στην τοπολογία, οι μορφισμοί μεταξύ τοπολογικών χώρων ονομάζονται συνεχείς απεικονίσεις, και ένας αυτομορφισμός ενός τοπολογικού χώρου είναι ένας ομοιομορφισμός του χώρου προς τον εαυτό του, ή αυτο-ομοιομορφισμός (βλέπε ομάδα ομοιομορφισμού). Σε αυτό το παράδειγμα δεν *αρκεί* ένας μορφισμός να είναι αμφιρριπτικός για να είναι ισομορφισμός.

## Ιστορία
Ένας από τους πρώτους ομαδικούς αυτομορφισμούς (αυτομορφισμός μιας ομάδας, όχι απλώς μια ομάδα αυτομορφισμών σημείων) δόθηκε από τον Ιρλανδό μαθηματικό Γουίλιαμ Ρόουαν Χάμιλτον το 1856, στον ικοσιανό λογισμό του, όπου ανακάλυψε έναν αυτομορφισμό τάξης δύο,Γράφει:έτσι ώστε η \mu να είναι μια νέα πέμπτη ρίζα της ενότητας, που συνδέεται με την προηγούμενη πέμπτη ρίζα \lambda με σχέσεις τέλειας αμοιβαιότητας.

## Εσωτερικοί και εξωτερικοί αυτομορφισμοί

Σε ορισμένες κατηγορίες - κυρίως σε ομάδες, δακτυλίους και άλγεβρες Λι - είναι εφικτό να διαχωρίσουμε τους αυτομορφισμούς σε δύο τύπους, που ονομάζονται "εσωτερικοί" και "εξωτερικοί" αυτομορφισμοί.

Στην περίπτωση των ομάδων, οι εσωτερικοί αυτομορφισμοί είναι οι συζυγίες με τα στοιχεία της ίδιας της ομάδας. Για κάθε στοιχείο  *a* μιας ομάδας *G*, η σύζευξη με το *a* είναι η πράξη  που δίνεται από τη σχέση  (ή *a*−1*ga*; η χρήση ποικίλλει). Μπορεί κανείς εύκολα να ελέγξει ότι η σύζευξη με *a* είναι αυτομορφισμός ομάδας. Οι εσωτερικοί αυτομορφισμοί σχηματίζουν μια κανονική υποομάδα της Aut(*G*), που συμβολίζεται με Inn(*G*); αυτό ονομάζεται λήμμα του Γκουρσάτ.

Οι άλλοι αυτομορφισμοί ονομάζονται εξωτερικοί αυτομορφισμοί. Η ομάδα πηλίκο   συμβολίζεται συνήθως με Out(*G*) τα μη τετριμμένα στοιχεία είναι τα σύνολα που περιέχουν τους εξωτερικούς αυτομορφισμούς.

Ο ίδιος ορισμός ισχύει σε κάθε μονοσήμαντο δακτύλιο ή άλγεβρα όπου *a* είναι οποιοδήποτε αντιστρέψιμο στοιχείο. Για τις άλγεβρες Λι ο ορισμός είναι ελαφρώς διαφορετικός.

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
*ΑΓΓΛΟΕΛΛΗΝΙΚΟ. ΛΕΞΙΚΟ. ΜΑΘΗΜΑΤΙΚΩΝ. ΟΡΩΝ Αριάδνη Καλογερόπουλου. Μίλτος Γκίκας — Δ. Καραπαννακης — Μ. Λάμπρου. 
* Θεωρία Ομάδων-Πανεπιστήμιο Κρήτης
* Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
* Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
* Θεωρία Αριθμών και Εφαρμογές
* Υπολογιστική Θεωρία Αριθμών
* Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
* Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
*  Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή
* Wolfram Mathematica Online Integrator
*  A Table of Integrals of the Error Functions

## Δείτε επίσης

* Απαγορευτική αρχή του Πάουλι
* Μορφοκλασματική διάσταση
* Ομοπαραλληλική γεωμετρία
* Αλγεβρική θεωρία αριθμών
* Άρθουρ Στάνλεϋ Έντινγκτον
* Μοναδιαία βηματική συνάρτηση
* Σουμπραμανιάν Τσαντρασεκάρ
* Ευκλείδειος χώρος
* Αρχιμήδεια ιδιότητα
* Βαθμός (γραμμική άλγεβρα)
* Εφαρμοσμένα μαθηματικά
* Υπολογιστική ρευστοδυναμική
* Αβελιανή ομάδα
* Σύνθεση συνάρτησης
* Καρτεσιανό σύστημα συντεταγμένων
* Θεμελιώδες θεώρημα αριθμητικής
* Αλγεβρική γεωμετρία
* Ένα προς ένα
* Συνήθης διαφορική εξίσωση
* Γραμμική απεικόνιση
* Αβελιανή ομάδα

## Βιβλιογραφία
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 

## Παραπομπές

* .
* .
* .
* 
* 
* 
* 
* 
*
* 
* 
* 
* 
* 
* 
* 
*

## Πηγές
* 
* 
* 
* 
* 
*
*
*
* Wendelin Degen, Lothar Profke: *Grundlagen der affinen und euklidischen Geometrie.* Teubner, Stuttgart 1976, ISBN 3-519-02751-8.
* Hans Freudenthal: *Mathematik als pädagogische Aufgabe.* Band 1. Klett, Stuttgart 1973, ISBN 3-12-983220-3.
* Thomas W. Hungerford: *Algebra* (= *Graduate Texts in Mathematics.* Bd. 73). 5th printing. Springer, New York NY u. a. 1989, ISBN 0-387-90518-9.

Κατηγορία:Μορφισμοί
Κατηγορία:Θεωρία σωμάτων
Κατηγορία:Θεωρία κατηγοριών
Κατηγορία:Θεωρία ομάδων
Κατηγορία:Αλγεβρική θεωρία αριθμών
Κατηγορία:Θεωρία δακτυλίων
Κατηγορία:Αφηρημένη άλγεβρα