Αναπαράσταση ομάδων

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

Στη χημεία, μια αναπαράσταση ομάδας μπορεί να συσχετίσει τα στοιχεία μαθηματικών ομάδων με συμμετρικές περιστροφές και ανακλάσεις μορίων.

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

Ο όρος αναπαράσταση μιας ομάδας χρησιμοποιείται επίσης με μια πιο γενική έννοια για να σημαίνει οποιαδήποτε "περιγραφή" μιας ομάδας ως ομάδα μετασχηματισμών κάποιου μαθηματικού αντικειμένου. Πιο τυπικά, μια "αναπαράσταση" σημαίνει έναν ομομορφισμό από την ομάδα στην ομάδα αυτομορφισμού ενός αντικειμένου. Εάν το αντικείμενο είναι ένας διανυσματικός χώρος έχουμε μια γραμμική αναπαράσταση. Ορισμένοι χρησιμοποιούν την υλοποίηση για τη γενική έννοια και επιφυλάσσουν τον όρο αναπαράσταση για την ειδική περίπτωση των γραμμικών αναπαραστάσεων. Το μεγαλύτερο μέρος αυτού του άρθρου περιγράφει τη θεωρία γραμμικών απεικονίσεων- δείτε την τελευταία ενότητα για τις γενικεύσεις.

## Κλάδοι της θεωρίας αναπαράστασης ομάδων

Η θεωρία αναπαράστασης ομάδων χωρίζεται σε υποθεωρίες ανάλογα με το είδος της ομάδας που αναπαρίσταται. Οι διάφορες θεωρίες είναι αρκετά διαφορετικές στις λεπτομέρειες, αν και ορισμένοι βασικοί ορισμοί και έννοιες είναι παρόμοιες. Οι πιο σημαντικοί κλάδοι είναι οι εξής:

#Πεπερασμένες ομάδες - Η αναπαράσταση ομάδων είναι ένα πολύ σημαντικό εργαλείο στη μελέτη των πεπερασμένων ομάδων. Εμφανίζονται επίσης στις εφαρμογές της θεωρίας πεπερασμένων ομάδων στην κρυσταλλογραφία και στη γεωμετρία. Αν το σώμα των κλιμάκων του διανυσματικού χώρου έχει χαρακτηριστικό p και αν το p διαιρεί την τάξη της ομάδας, τότε αυτό ονομάζεται modular θεωρία αναπαράστασης- αυτή η ειδική περίπτωση έχει πολύ διαφορετικές ιδιότητες. Βλ. Θεωρία αναπαραστάσεων πεπερασμένων ομάδων.
#Συμπαγείς ομάδες ή τοπικά συμπαγείς ομάδες - Πολλά από τα αποτελέσματα της θεωρίας απεικόνισης πεπερασμένων ομάδων αποδεικνύονται με μέσο όρο πάνω στην ομάδα. Αυτές οι αποδείξεις μπορούν να μεταφερθούν σε άπειρες ομάδες με την αντικατάσταση του μέσου όρου με ένα ολοκλήρωμα, με την προϋπόθεση ότι μπορεί να οριστεί μια αποδεκτή έννοια του ολοκληρώματος. Αυτό μπορεί να γίνει για τοπικά συμπαγείς ομάδες, χρησιμοποιώντας το μέτρο Χαάρ. Η προκύπτουσα θεωρία αποτελεί κεντρικό μέρος της αρμονικής ανάλυσης. Η δυϊκότητα του Ποντριάγκιν περιγράφει τη θεωρία για αντιμεταθετικές ομάδες, ως γενικευμένο μετασχηματισμό Φουριέ. Βλέπε επίσης: Θεώρημα Πέτερ-Γουέλ.
#Ομάδες Λι - Πολλές σημαντικές ομάδες Λι είναι συμπαγείς, οπότε τα αποτελέσματα της θεωρίας συμπαγών απεικονίσεων ισχύουν γι' αυτές. Επίσης, χρησιμοποιούνται και άλλες τεχνικές ειδικά για τις ομάδες Λι. Οι περισσότερες από τις ομάδες που είναι σημαντικές στη φυσική και τη χημεία είναι ομάδες Λι, και η θεωρία απεικόνισής τους είναι ζωτικής σημασίας για την εφαρμογή της θεωρίας ομάδων σε αυτούς τους τομείς. Βλέπε παραστάσεις ομάδων Λι και παραστάσεις αλγεβρών Λι.
# Γραμμικές αλγεβρικές ομάδες (ή γενικότερα σχήματα αφινικών ομάδων) - Πρόκειται για τα ανάλογα των ομάδων Λι, αλλά πάνω σε πιο γενικά πεδία από το **R** ή το **C**. Παρόλο που οι γραμμικές αλγεβρικές ομάδες έχουν μια ταξινόμηση που μοιάζει πολύ με αυτή των ομάδων Λι, και οδηγούν στις ίδιες οικογένειες αλγεβρών Λι, οι αναπαραστάσεις τους είναι μάλλον διαφορετικές (και πολύ λιγότερο κατανοητές). Οι αναλυτικές τεχνικές που χρησιμοποιούνται για τη μελέτη των ομάδων Λι πρέπει να αντικατασταθούν από τεχνικές της αλγεβρικής γεωμετρίας, όπου η σχετικά ασθενής τοπολογία Ζαρίσκι προκαλεί πολλές τεχνικές επιπλοκές.
#Μη συμπαγείς τοπολογικές ομάδες - Η κλάση των μη συμπαγών ομάδων είναι πολύ ευρεία για να κατασκευαστεί οποιαδήποτε γενική θεωρία αναπαράστασης, αλλά συγκεκριμένες ειδικές περιπτώσεις έχουν μελετηθεί, μερικές φορές χρησιμοποιώντας ειδικές τεχνικές. Οι ημιευθείς ομάδες Λι έχουν μια βαθιά θεωρία, που βασίζεται στη συμπαγή περίπτωση. Οι συμπληρωματικές λυόμενες ομάδες Λι δεν μπορούν να ταξινομηθούν με τον ίδιο τρόπο. Η γενική θεωρία για τις ομάδες Λι ασχολείται με τα ημιάμεσα γινόμενα των δύο τύπων, μέσω γενικών αποτελεσμάτων που ονομάζονται θεωρία Μάκεϊ, η οποία είναι μια γενίκευση των μεθόδων ταξινόμησης του Βίνγκερ.

Η θεωρία απεικόνισης εξαρτάται επίσης σε μεγάλο βαθμό από τον τύπο του διανυσματικού χώρου στον οποίο δρα η ομάδα. Διακρίνεται μεταξύ απεικονίσεων πεπερασμένης διάστασης και απεριόριστης διάστασης. Στην περίπτωση των απεριόριστων διαστάσεων, πρόσθετες δομές είναι σημαντικές (π.χ. αν ο χώρος είναι ή όχι χώρος Χίλμπερτ, χώρος Μπάναχ κ.λπ.).

Πρέπει επίσης να ληφθεί υπόψη ο τύπος του σώματος πάνω στο οποίο ορίζεται ο διανυσματικός χώρος. Η πιο σημαντική περίπτωση είναι το σώμα των μιγαδικών αριθμών. Οι άλλες σημαντικές περιπτώσεις είναι το σώμα των πραγματικών αριθμών, τα πεπερασμένα σώματα και τα σώματα των p-adic αριθμών. Σε γενικές γραμμές, τα αλγεβρικά κλειστά σώματα είναι ευκολότερο να χειριστούν από τα μη αλγεβρικά κλειστά σώματα. Η χαρακτηριστική του σώματος είναι επίσης σημαντική- πολλά θεωρήματα για πεπερασμένες ομάδες εξαρτώνται από τη χαρακτηριστική του πεδίου που δεν διαιρεί την τάξη της ομάδας.

## Ορισμοί

Μια αναπαράσταση μιας ομάδας *G* σε ένα διανυσματικό χώρο V πάνω από ένα σώμα *K* είναι ένας ομομορφισμός ομάδας από την *G* στην GL(*V*), τη γενική γραμμική ομάδα στον V. Δηλαδή, μια αναπαράσταση είναι ένας χάρτης 

:\rho \colon G \to \mathrm{GL}\left(V \right) 

έτσι ώστε

:\rho(g_1 g_2) = \rho(g_1) \rho(g_2) , \qquad \text{for all }g_1,g_2 \in G.

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

Στην περίπτωση που το *V* είναι πεπερασμένης διάστασης *n* είναι σύνηθες να επιλέγουμε μια βάση για το *V* και να ταυτίζουμε την GL(*V*) με την , την ομάδα των n \times n αντιστρέψιμων πινάκων στο σώμα *K*.

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

::\ker \rho = \left\{g \in G \mid \rho(g) = \mathrm{id}\right\}.

: Μια πιστή αναπαράσταση είναι εκείνη στην οποία ο ομομορφισμός  είναι ερριπτική- με άλλα λόγια, εκείνη της οποίας ο πυρήνας είναι η τετριμμένη υποομάδα {*e*} που αποτελείται μόνο από το στοιχείο ταυτότητας της ομάδας.

* Δίνονται δύο διανυσματικοί χώροι *K* *V* και *W*, δύο απεικονίσεις  και  λέγεται ότι είναι **ισοδύναμες** ή **ισομορφικές** αν υπάρχει ένας διανυσματικός χωρικός ισομορφισμός  έτσι ώστε για όλα τα *g* στο *G*,

::\alpha \circ \rho(g) \circ \alpha^{-1} = \pi(g).

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

Ας θεωρήσουμε τον μιγαδικό αριθμό *u* = e2πi / 3 ο οποίος έχει την ιδιότητα *u*3 = 1.Το σύνολο *C*3 = {1, *u*, *u*2} σχηματίζει μια κυκλική ομάδα υπό πολλαπλασιασμό. Αυτή η ομάδα έχει μια αναπαράσταση ρ στο \mathbb{C}^2 που δίνεται από:

:
\rho \left( 1 \right) =
\begin{bmatrix}
1 & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\rho \left( u \right) =
\begin{bmatrix}
1 & 0 \\
0 & u \\
\end{bmatrix}
\qquad
\rho \left( u^2 \right) =
\begin{bmatrix}
1 & 0 \\
0 & u^2 \\
\end{bmatrix}.


Αυτή η αναπαράσταση είναι πιστή επειδή το ρ είναι ένας προς ένα χάρτης. 

Μια άλλη αναπαράσταση για το *C*3 στο \mathbb{C}^2, ισόμορφη με την προηγούμενη, είναι η σ που δίνεται από:

:
\sigma \left( 1 \right) =
\begin{bmatrix}
1 & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\sigma \left( u \right) =
\begin{bmatrix}
u & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\sigma \left( u^2 \right) =
\begin{bmatrix}
u^2 & 0 \\
0 & 1 \\
\end{bmatrix}.


Η ομάδα *C*3 μπορεί επίσης να αναπαρασταθεί πιστά στο \mathbb{R}^2 από το τ που δίνεται από:

:
\tau \left( 1 \right) =
\begin{bmatrix}
1 & 0 \\
0 & 1 \\
\end{bmatrix}
\qquad
\tau \left( u \right) =
\begin{bmatrix}
a & -b \\
b & a \\
\end{bmatrix}
\qquad
\tau \left( u^2 \right) =
\begin{bmatrix}
a & b \\
-b & a \\
\end{bmatrix}


όπου

:a=\text{Re}(u)=-\tfrac{1}{2}, \qquad b=\text{Im}(u)=\tfrac{\sqrt{3}}{2}.

Μια πιθανή αναπαράσταση στο \mathbb{R}^3 δίνεται από το σύνολο των κυκλικών πινάκων μετατροπής *v*:

:
\upsilon \left( 1 \right) =
\begin{bmatrix}
1 & 0 & 0 \\
0 & 1 & 0 \\
0 & 0 & 1 \\
\end{bmatrix}
\qquad
\upsilon \left( u \right) =
\begin{bmatrix}
0 & 1 & 0 \\
0 & 0 & 1 \\
1 & 0 & 0 \\
\end{bmatrix}
\qquad
\upsilon \left( u^2 \right) =
\begin{bmatrix}
0 & 0 & 1 \\
1 & 0 & 0 \\
0 & 1 & 0 \\
\end{bmatrix}
.

Ένα άλλο παράδειγμα:

Έστω V ο χώρος των ομογενών πολυωνύμων 3ου βαθμού στους μιγαδικούς αριθμούς σε μεταβλητές x_1, x_2, x_3. 

Τότε S_3 δρα στην V με μεταβολή των τριών μεταβλητών.

Επί παραδείγματι, το (12) στέλνει το x_{1}^3 στο x_{2}^3.

## Αναγωγιμότητα

Ένας υποχώρος *W* του *V* που είναι αναλλοίωτος κάτω από τη δράση της ομάδας ονομάζεται υποαντιπροσώπευση. Αν ο *V* έχει ακριβώς δύο υποαντιπροσωπείες, δηλαδή τον υποχώρο μηδενικής διάστασης και τον ίδιο τον *V*, τότε η αναπαράσταση λέγεται μη αναγωγίσιμη- αν έχει μια κατάλληλη υποαντιπροσώπευση μη μηδενικής διάστασης, η αναπαράσταση λέγεται αναγωγίσιμη. Η αναπαράσταση μηδενικής διάστασης θεωρείται ότι δεν είναι ούτε αναγωγική ούτε μη αναγωγική,  όπως ακριβώς ο αριθμός 1 θεωρείται ότι δεν είναι ούτε σύνθετος ούτε πρώτος.

Υπό την προϋπόθεση ότι η χαρακτηριστική του σώματος *K* δεν διαιρεί το μέγεθος της ομάδας, οι αναπαραστάσεις των πεπερασμένων ομάδων μπορούν να αναλυθούν σε άμεσο άθροισμα μη αναγωγίμων υποαναπαραστάσεων (βλέπε θεώρημα του Μάσκε). Αυτό ισχύει ειδικότερα για κάθε αναπαράσταση μιας πεπερασμένης ομάδας πάνω στους μιγαδικούς αριθμούς, αφού η χαρακτηριστική των μιγαδικών αριθμών είναι μηδέν, η οποία δεν διαιρεί ποτέ το μέγεθος μιας ομάδας.

Στο παραπάνω παράδειγμα, οι δύο πρώτες αναπαραστάσεις που δίνονται (ρ και σ) είναι και οι δύο διασπώμενες σε δύο υποαναπαραστάσεις διάστασης 1 (που δίνονται από τις span{(1,0)} και span{(0,1)}), ενώ η τρίτη αναπαράσταση (τ) είναι μη αναγώγιμη.

## Γενικεύσεις
### Θεωρητικές αναπαραστάσεις συνόλων

Μια *θεωρητική αναπαράσταση συνόλου* (επίσης γνωστή ως δράση ομάδας ή *αναπαράσταση μετατροπής*) μιας ομάδας *G* σε ένα σύνολο  *X* δίνεται από μια συνάρτηση  ρ : *G* → *X**X*, το σύνολο των συναρτήσεων από το *X* στο *X* τέτοια ώστε για όλα τα *G* και όλα τα *x* στο *X*:

:\rho(1)[x] = x

:\rho(g_1 g_2)[x]=\rho(g_1)[\rho(g_2)[x]],

όπου 1 είναι το στοιχείο ταυτότητας του *G*.  Αυτή η συνθήκη και τα αξιώματα για μια ομάδα συνεπάγονται ότι ρ(*g*) είναι μια αμφίρριψη (ή μετάθεση) για όλα τα *g* στο *G*. Έτσι μπορούμε ισοδύναμα να ορίσουμε μια παράσταση μετάθεσης ως έναν ομομορφισμό ομάδας από το G στη συμμετρική ομάδα S*X* του *X*.

Για περισσότερες πληροφορίες σχετικά με αυτό το θέμα, ανατρέξτε στο άρθρο σχετικά με την ομαδική δράση.

### Αντιπροσώπευση σε άλλες κατηγορίες

Κάθε ομάδα *G* μπορεί να θεωρηθεί ως μια κατηγορία με ένα μόνο αντικείμενο- οι μορφισμοί σε αυτή την κατηγορία είναι απλώς τα στοιχεία της G. Δεδομένης μιας αυθαίρετης κατηγορίας *C*, μια αναπαράσταση της G στην *C* είναι ένας συναρτηστής από την *G* στην *C*. Ένας τέτοιος συναρτηστής επιλέγει ένα αντικείμενο *X* στην *C* και έναν ομομορφισμό ομάδας από την *G* στην Aut(*X*), την ομάδα αυτομορφισμού της *X*. 

Στην περίπτωση που το *C* είναι το **Vect***K*, η κατηγορία των διανυσματικών χώρων πάνω από ένα πεδίο *K*, ο ορισμός αυτός είναι ισοδύναμος με μια γραμμική αναπαράσταση. Ομοίως, μια θεωρητική αναπαράσταση συνόλων είναι απλώς μια αναπαράσταση του *G* στην κατηγορία των συνόλων.

Όταν η *C* είναι η **Ab**, η κατηγορία των αβελιανών ομάδων, τα αντικείμενα που λαμβάνονται ονομάζονται *G*-modules.

Ένα άλλο παράδειγμα είναι η κατηγορία των τοπολογικών χώρων, **Top**'. Οι απεικονίσεις στην **Top** είναι ομομορφισμοί από την *G* προς την ομάδα ομοιομορφισμού ενός τοπολογικού χώρου *X*.

Δύο τύποι αναπαραστάσεων που σχετίζονται στενά με τις γραμμικές αναπαραστάσεις είναι:

*προβολικές αναπαραστάσεις: στην κατηγορία των προβολικών χώρων. Αυτές μπορούν να περιγραφούν ως «γραμμικές αναπαραστάσεις μέχρι και βαθμωτούς μετασχηματισμούς». 
*αφινικές αναπαραστάσεις: στην κατηγορία των αφινικών χώρων. Παραδείγματος χάριν, η Ευκλείδεια ομάδα δρα αφινικά πάνω στον Ευκλείδειο χώρο.

## Εξωτερικοί σύνδεσμοι
*English - Greek Dictionary of Pure and Applied Mathematics Εθνικό Μετσόβιο Πολυτεχνείο
*Αγγλοελληνικό Λεξικό Μαθηματικής Ορολογίας - Πανεπιστήμιο Κύπρου
* Ευκλείδεια Γεωμετρία - Πανελλήνιο Σχολικό Δίκτυο
* Θεωρία ομάδων και Λι αλγεβρών -Εθνικό Αρχείο Διδακτορικών Διατριβών
* Θεωρία Αριθμών και Εφαρμογές
* Υπολογιστική Θεωρία Αριθμών
* Καμπυλότητες και γεωμετρία του Riemann σε διαφορίσιμες πολλαπλότητες Εθνικό Αρχείο Διδακτορικών Διατριβών
* Μέθοδοι μηχανικής μάθησης βασισμένες σε έλεγχο μονοτροπικότητας Εθνικό Αρχείο Διδακτορικών Διατριβών
*  Παράμετροι και Στατιστικά. Διωνυμική και Κανονική Κατανομή

## Δείτε επίσης
* Απαγορευτική αρχή του Πάουλι
* Κατανομή t-Student
* Κανονική κατανομή
* Αλγεβρική θεωρία αριθμών
* Διαφορική γεωμετρία
* Άρθουρ Στάνλεϋ Έντινγκτον
* Θεωρία αναπαραστάσεων
* Σουμπραμανιάν Τσαντρασεκάρ
* Ευκλείδειος χώρος
* Ένα προς ένα
* Σουμπραμανιάν Τσαντρασεκάρ
* Εφαρμοσμένα μαθηματικά
* Προβολικός χώρος
* Διακριτός μετασχηματισμός Φουριέ
* Θεμελιώδες θεώρημα αριθμητικής
* Αλγεβρική γεωμετρία
* Μιγαδικός αριθμός
* Άρθουρ Στάνλεϋ Έντινγκτον
* Τυπική απόκλιση

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

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

* Fulton-Harris. Introduction to [representation theory](http://tomlr.free.fr/Math%E9matiques/Repr%E9sentation%20des%20groupes/Fulton%20W.,%20Harris%20J.%20Representation%20theory.%20A%20first%20course%20(Springer,%201991)(L)(T)(285s).pdf) with emphasis on Lie groups.
* Yurii I. Lyubich. *[https://books.google.com/books?id=gCr3BwAAQBAJ&q=%22Introduction+to+the+Theory+of+Banach+Representations+of+Groups%22 Introduction to the Theory of Banach Representations of Groups]*. Translated from the 1985 Russian-language edition (Kharkov, Ukraine). Birkhäuser Verlag. 1988.
*
*
*
*
*
*
*
*
*
* Ch. 1–6 of 2013 edition

## Πηγές
* 
* 
* 
* 
* 
* 
* 

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