Διανύσματα με στοιχεία μιγαδικούς αριθμούς

Στα μαθηματικά και στη φυσική, κυρίως στη θεωρία των ορθογωνίων ομάδων (όπως η περιστροφή ή οι ομάδες Lorentz), ένα διάνυσμα με στοιχεία μιγαδικούς αριθμούς (σπίνορας) είναι ένα στοιχείο ενός διανυσματικού χώρου, μια αναπαράσταση χώρου της άλγεβρας Clifford που συνδέεται με ένα διανυσματικό χώρο με μια τετραγωνική μορφή (όπως ο Ευκλείδειος χώρος με την πρότυπη μετρική ή ο χώρος Minkowski με τη μετρική Lorentz). Όπως τα διανύσματα, έτσι και τα διανύσματα μιγαδικών είναι αναπαραστάσεις ειδικής ορθογώνιας άλγεβρας Lie δηλαδή αυτά (Spinor) μετατρέπουν απειροελάχιστους ορθογώνιους μετασχηματισμούς (όπως οι απειροελάχιστες περιστροφές ή οι απειροελάχιστοι μετασχηματισμοί Lorentz). Γενικά τα διανύσματα μιγαδικών ανακαλύφθηκαν από τον Elie Cartan το 1913. Λίγο αργότερα, τα διανύσματα με στοιχεία μιγαδικούς αριθμούς αποδείχθηκαν ότι είναι απαραίτητα στην Κβαντική μηχανική για να περιγράψουν το ηλεκτρόνιο και άλλα spin-½ σωματίδια.

Όπως τα διανύσματα και οι τανυστές, οι ιδιότητες μετασχηματισμού των διανυσμάτων μιγαδικών βασίζονται στον ορισμό τους. Ωστόσο, σε αντίθεση με τα διανύσματα, τα αντίστοιχα των μιγαδικών μετασχηματισμών πάνω σε σημείο υπό την ορθογώνια ομάδα. Αυτό σημαίνει ότι μια περιστροφή 360 μοιρών μετασχηματίζει ένα διάνυσμα μιγαδικών στον αντίστοιχο αρνητικό του, και έτσι περιστρέφεται 720 μοίρες για να αποκτήσει ξανά την αρχική του μορφή. Εξάλλου, σε αντίθεση με τους τανυστές, ο χώρος των μιγαδικών δεν μπορεί να δημιουργηθεί με μοναδικό και φυσικό τρόπο από διανύσματα χώρου. Ανάλογα με την τετραγωνική τους μορφή , μπορεί να υπάρχουν πολλοί διαφορετικοί αλλά στενά συνδεδεμένοι χώροι μιγαδικών με επιπλέον ιδιότητες.

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

Στα μαθηματικά και ιδιαίτερα στη Διαφορική γεωμετρία και στη σφαιρική ανάλυση,τα διανύσματα αυτά έχουν βρει ευρείες εφαρμογές στην αλγεβρική και διαφορική τοπολογία, symplectic geometry, gauge theory, complex algebraic geometry, index theory, and special holonomy.

Επισκόπηση

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

Ουσιαστικά υπάρχουν δυο περιπτώσεις για να καταλάβουμε καλύτερα την έννοια ενός τέτοιου διανύσματος (spinor).

Στην πρώτη περίπτωση γνωρίζουμε εκ των προτέρων ότι υπάρχουν μερικές αναπαραστάσεις της άλγεβρας Lie των ορθογώνιων ομάδων που δεν μπορούν να σχηματιστούν από το συνηθισμένο τρόπο κατασκευής ενός τανυστή. Αυτές οι αναπαραστάσεις αργότερα αναφέρονται ως αναπαραστάσεις περιστροφής, και συμπεριλαμβάνουν τα συστατικά μέρη των μιγαδικών διανυσμάτων. Απ' την όψη αυτή, ένα διάνυσμα μιγαδικών πρέπει να ανήκει σε μια ομάδα από την ειδική ομάδα περιστροφής Πρότυπο:Nowrap, ή γενικότερα από την ειδική γενικευμένη ορθογώνια ομάδα Πρότυπο:Nowrap σε χώρους με μετρική υπογραφή Πρότυπο:Nowrap. Αυτές είναι οι ομάδες Lies, και ονομάστηκαν ομάδες περιστροφής Πρότυπο:Nowrap. Όλες οι ιδιότητες των διανυσμάτων με μιγαδικούς αριθμούς, οι εφαρμογές τους και τα παράγωγα αντικείμενα, παρουσιάστηκαν πρώτα στις ομάδες περιστροφής. Οι αναπαραστάσεις των ομάδων αυτών παράγουν τιςπροβολικές αναπαραστάσεις των ίδιων των ομάδων, που δεν πληρούν ακριβώς τον ορισμό αυτό.

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

Άλγεβρα Clifford

Η γλώσσα της άλγεβρας Clifford παρέχει μια πλήρη αναπαράσταση όλων των ομάδων περιστροφής, και τις σχέσεις μεταξύ αυτών των αναπαραστάσεων, μέσω της classification of Clifford algebra\ταξινόμησης της άλγεβρας Clifford.

Αναλυτικά, αν το V είναι πεπερασμένων διαστάσεων διάνυσμα με ένα διγραμμικό τύπο g, η άλγεβρα Clifford Πρότυπο:Nowrap είναι αυτή που παράγεται από το V με τη σχέση Πρότυπο:Nowrap. Είναι μια αφηρημένη εκδοχή της άλγεβρας που παράγεται από gamma ή από 2x2 πίνακες διανυσμάτων. Όπως η άλγεβρα Clifford συμβολίζεται Cℓ_n(C), όπου το C συμβολίζει ότι τα διανύσματα του V είναι κατασκευασμένα με μιγαδικούς αριθμούς, και ισχύει Πρότυπο:Nowrap. Η Cℓ_n(C) είναι αλγεβρικά ισόμορφη με την Πρότυπο:Nowrap των Πρότυπο:Nowrap μιγαδικών πινάκων, αν Πρότυπο:Nowrap ή Πρότυπο:Nowrap είναι στοιχεία των Πρότυπο:Nowrap πινάκων, ενώ αν Πρότυπο:Nowrap τότε είναι άτοπο. Έχει επομένως μια μοναδική αναπαράσταση, που συνήθως συμβολίζεται με Δ και έχει διάσταση 2^k. Η Πρότυπο:Nowrap έχει ενσωματωθεί στην σχέση Πρότυπο:Nowrap εξοπλισμένη με μια παρένθεση. Επομένως, είναι επίσης μια αναπαράσταση του Πρότυπο:Nowrap και καλείται αναπαράσταση περιστροφής. Αν το n είναι περιττό, η παράσταση αυτή είναι ανάγωγη. Αν το n είναι άρτιος, χωρίζεται σε δυο ανάγωγες παραστάσεις Πρότυπο:Nowrap και ονομάζεται αναπαράσταση μισής περιστροφής.

Οι ανάγωγες παραστάσεις γύρω απ' τα πραγματικά και στην περίπτωση που ο V είναι ένας πραγματικός διανυσματικός χώρος είναι πολύ πιο περίπλοκες, και ο αναγνώστης θα πρέπει να προσφύγει στην άλγεβρα Clifford για περισσότερες λεπτομέρειες.

Η σημασία του για τη Φυσική

Η πιο τυπική μορφή του διανύσματος με στοιχεία τους μιγαδικούς αριθμούς είναι ένα στοιχείο από τη θεμελιώδη αναπαράσταση του Πρότυπο:Nowrap, στην άλγεβρα Clifford Πρότυπο:Nowrap, στο οποίο η ομάδα Σπιν Πρότυπο:Nowrap μπορεί να ενσωματωθεί. Σε ένα χώρο με διαστάσεις 2k ή 2k+1 ένα διάνυσμα μιγαδικών του Dirac μπορεί να αναπαρασταθεί ως ένα διάνυσμα από 2^k μιγαδικούς αριθμούς Στις άρτιες διαστάσεις, η αναπαράσταση αυτή είναι αναγώγιμη όταν λαμβάνεται ως αναπαράσταση των ομάδων Lie του Πρότυπο:Nowrap και μπορεί να αναλυθεί σε δυο: τις αριστερόχειρες και τις δεξιόχειρες αναπαραστάσεις των διανυσμάτων μιγαδικών του Weyl . Επιπρόσθετα, μερικές φορές η μη-διανυσματική έκδοση του Πρότυπο:Nowrap έχει μια μικρότερη πραγματική αναπαράσταση, την αναπαράστασηδιανυσμάτων μιγαδικών του Majorana. Αν αυτό συμβαίνει σε μια άρτια διάσταση , η αναπαράσταση του διανύσματος μιγαδικών του Majorana μερικές φορές θα αναλύεται σε δύο αναπαραστάσεις διανυσμάτων με στοιχεία μιγαδικούς των Majorana–Weyl.

Απ' όλα αυτά, μόνο η αναπαράσταση του Dirac υφίσταται σε όλες τις διαστάσεις. Τα διανύσματα μιγαδικών των Dirac και Weyl είναι μιγαδικές παραστάσεις όταν τα διανύσματα Majorana είναι αληθινές παραστάσεις. Τα διανύσματα μιγαδικών των Dirac, Lorentz, Weyl και Majorana είναι συγγενικά και η σχέση τους μπορεί να διευκρινιστεί στη βάση της άλγεβρας των διανυσμάτων πραγματικών αριθμών.

Τα διανύσματα με στοιχεία μιγαδικούς αριθμούς στην θεωρία αναπαράστασης

Μια μεγαλύτερη μαθηματική εφαρμογή της κατασκευής των διανυσμάτων μιγαδικών αριθμών είναι να καθιστούν δυνατή την κατασκευή με ακρίβεια της γραμμικής αναπαράστασης της άλγεβρας Lie από τις ειδικές ορθογώνιες ομάδες, και συνεπώς τις αναπαραστάσεις των ίδιων των ομάδων των διανυσμάτων μιγαδικών. Σε ένα πιο βαθύ επίπεδο, τα διανύσματα αυτά έχουν βρεθεί για να είναι στην καρδιά των προσεγγίσεων του θεωρήματος Atiyah–Singer, και να παρέχουν λεπτομερή κατασκευή για τις αναπαραστάσεις διακριτών σειρών of ημιαπλών ομάδων.

Οι αναπαραστάσεις περιστροφής των ειδικών ορθογώνιων ομάδων Lie είναι διακεκριμένες από τον τανυστή που δίνονται από την κατασκευή του Weyl.Επειδή οι ομομορφισμοί των τανυστών είναι ακέραιοι γραμμικοί συνδυασμοί από τις ρίζες της άλγεβρας Lie , αυτοί είναι ημιακέραιοι γραμμικοί συνδυασμοί των αντίστοιχων τανυστών. Αναλυτικότερες λεπτομέρειες μπορούν να βρεθούν στο άρθρο spin representation.

Απόπειρες διαισθητικής κατανόησης

Το διάνυσμα μιγαδικών αριθμών μπορεί να περιγραφεί, με απλούς όρους, ως “διανύσματα ενός χώρου οι μετασχηματισμοί των οποίων αναφέρονται στον ακριβή τρόπο για την εναλλαγή στον φυσικό χώρο”. Διαφορετικά:

Τα διανύσματα μιγαδικών αριθμών […] παρέχουν μια γραμμική αναπαράσταση της ομάδας της περιστροφής σε ένα χώρο δίχως αριθμούς $n$ διαστάσεων, κάθε διάνυσμα που έχει $2^{\nu }$ μέρη, όπου $n=2\nu +1$ ή $2\nu$.

Διάφοροι τρόποι διατυπώνονται κάθε μέρα που έχουν βάση διάφορα παραδείγματα.

Παρ' όλα αυτά, είναι γενικά γνωστό ότι είναι δύσκολο να κατανοηθεί, όπως διευκρινίζεται από την κατάσταση του Michael Atiyah η οποία έχει αφηγηθεί ξανά από τον βιογράφο του Dirac, Graham Farmelo:

Κανένας δεν μπορεί να κατανοήσει πλήρως τα διανύσματα με στοιχεία μιγαδικούς αριθμούς. Τυπικά είναι κατανοητά αλλά στη γενικότητα τους είναι μυστηριώδη. Κατά κάποιο τρόπο περιγράφουν την “τετραγωνική ρίζα” στη γεωμετρία , όπως ακριβώς η τετραγωνική ρίζα του -1 πήρε αιώνες ν περιγραφεί, το ίδιο γίνεται και στα διανύσματα με στοιχεία τους μιγαδικούς.

Ιστορία

Η πιο γενική μαθηματική μορφή στα διανύσματα μιγαδικών ανακαλύφθηκε από τον Elie Cartan το 1913. Ο όρος "διανύσματα μιγαδικών" δημιουργήθηκε από τον Paul Ehrenfest πάνω στη μελέτη του στην Κβαντική μηχανική.

Τα διανύσματα μιγαδικών αριθμών εφαρμόστηκαν για πρώτη φορά στη Μαθηματική φυσική από τον Wolfgang Pauli το 1927, όταν παρουσίασε τους πίνακες περιστροφής του. Τον επόμενο χρόνο, ο Paul Dirac ανακάλυψε την πλήρη σχετικιστική θεωρία σπιν του ηλεκτρονίου δείχνοντας τη σύνδεση μεταξύ των διανυσμάτων με στοιχεία μιγαδικούς αριθμούς και των ομάδων Lorentz. Από τη δεκαετία του 1930, ο Dirac, ο Piet Hein και άλλοι από το ινστιτούτο Niels Bohr Institute (αργότερα έγινε γνωστό ως Ινστιτούτο Θεωρητικής Φυσικής του Πανεπιστημίου της Κοπεγχάγης) που δημιουργούσε παιχνίδια όπως Tangloids για να διδάσκουν το μοντέλο των διανυσμάτων μιγαδικών.

Οι χώροι διανυσμάτων μιγαδικών αριθμών αναπαρουσιάστηκαν ως αριστερά ιδεώδη ενός πίνακα το 1930, από τον G. Juvet και από τον Fritz Sauter. Ειδικότερα, αντί για αναπαράσταση των διανυσμάτων ως διανύσματα με μιγαδικές τιμές στον 2D χώρο διανυσμάτων όπως έκανε ο Paul, παρουσιάστηκαν ξανά σαν πίνακες 2 x 2 με μιγαδικούς αριθμούς στους οποίους τα στοιχεία της αριστερής στήλης είναι μη μηδενικά. Με αυτό τον τρόπο ο χώρος μιγαδικών αριθμών έγινε το κατώτατο αριστερό ιδεώδες στο Πρότυπο:Nowrap.

Το 1947 ο Marcel Riesz κατασκεύασε τους χώρους μιγαδικών αριθμών σαν στοιχεία ενός κατώτατου αριστερού ιδεώδους της άλγεβρας Clifford. Το 1966/1967, ο David Hestenes αντικατέστησε τους χώρους αυτούς με την Cℓ⁰_1,3(R) της Cℓ_1,3(R). Όπως στη δεκαετία του 1980, η ομάδα της θεωρητικής φυσικής στο Birkbeck College γύρω από τον David Bohm και τον Basil Hiley είχαν αναπτύξει τις αλγεβρικές προσεγγίσεις στην Κβαντική θεωρία που χτίστηκε στην αναγνώριση των διανυσμάτων μιγαδικών με κατώτατα αριστερά ιδεώδη από τους Sauter και Riesz'.

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

Μερικά απλά παραδείγματα των διανυσμάτων μιγαδικών αριθμών σε λίγες διαστάσεις προκύπτουν από την άρτιου-βαθμού υποάλγεβρα της άλγεβρας Clifford Πρότυπο:Nowrap. Αυτό είναι μια άλγεβρα βασισμένη σε μια ορθογώνια βάση Πρότυπο:Nowrap ορθογώνιων διανυσμάτων με πράξεις την πρόσθεση και τον πολλαπλασιασμό, όπου τα p έχουν μέτρο +1 και τα q έχουν μέτρο -1, με τους κανόνες γινομένου των βασικών διανυσμάτων

$e_i{e}_j=\{\begin{array}{cc}+1& i=j,i\in (1\dots p)\\ -1& i=j,i\in (p+1\dots n)\\ -e_j{e}_i& i=j.\end{array}$

Δύο διαστάσεις

Η άλγεβρα Clifford Cℓ_2,0(R) είναι χτισμένη σε μια βάση από μια μονάδα βαθμωτή, 1, δυο ορθογώνια μοναδιαία διανύσματα, σ₁ και σ₂, μαι μια μονάδα ψευδοβαθμωτή Πρότυπο:Nowrap. Από τους παραπάνω ορισμούς, είναι φανερό ότι Πρότυπο:Nowrap, και Πρότυπο:Nowrap.

Η άρτια υποάλγεβρα Cℓ⁰_2,0(R), που συνδέεται με τα άρτιου-βαθμού βασικά στοιχεία από Cℓ_2,0(R), καθορίζει το χώρο των μιγαδικών μέσω της αναπαράστασης του. Είναι φτιαγμένος από πραγματικούς γραμμικούς συνδυασμούς από το 1 και την σ₁σ₂. Όπως μια πραγματική, Cℓ⁰_2,0(R) είναι ισόμορφη με το σύνολο των μιγαδικών αριθμών C. Επομένως, εισάγει μια συζυγή πράξη (ανάλογα με τους συζυγής μιγαδικούς), μερικές φορές ονομάζεται αντιστροφή ενός στοιχείου Clifford, που ορίζεται από

$(a+b{\sigma }_1{\sigma }_2{)}^{*}=a+b{\sigma }_2{\sigma }_1$.

το οποίο, με τις σχέσεις Clifford, μπορεί να γραφεί

$(a+b{\sigma }_1{\sigma }_2{)}^{*}=a+b{\sigma }_2{\sigma }_1=a-b{\sigma }_1{\sigma }_2$.

Η δράση ενός άρτιου στοιχείου Clifford Πρότυπο:Nowrap στα διανύσματα, που θεωρείται στοιχείο πρώτου βαθμού της C?_2,0(R), προσδιορίζεται από το σχεδιασμό ενός διανύσματος Πρότυπο:Nowrap προς το διάνυσμα

$\gamma (u)=\gamma u{\gamma }^{*}$,

όπου γ^* είναι ο συζυγής του γ και το γινόμενο είναι πολλαπλασιασμός Clifford. Στην κατάσταση αυτή, ένα διάνυσμα μιγαδικών αριθμών είναι ένας απλός μιγαδικός αριθμός. Η δράση του γ σε ένα διάνυσμα φ δίνεται απ' τον πολλαπλασιασμό μιγαδικών αριθμών:

$\gamma (\varphi )=\gamma \varphi$.

Ένα σημαντικό χαρακτηριστικό του ορισμού αυτού είναι η διάκριση μεταξύ κοινών διανυσμάτων και διανυσμάτων μιγαδικών αριθμών και εκδηλώνεται στο πως τα άρτιου-βαθμού στοιχεία ενεργούν στο καθένα απ αυτά με διαφορετικούς τρόπους. Γενικά, ένας γρήγορος έλεγχος των σχέσεων Clifford αποκαλύπτουν ότι τα άρτιου-βαθμού στοιχεία κλίνουν-εναλλάσσονται με απλά διανύσματα:

$\gamma (u)=\gamma u{\gamma }^{*}={\gamma }^{2}u$.

Από την άλλη, αν τα συγκρίνουμε με τη δράση τους πάνω στα διανύσματα μιγαδικών Πρότυπο:Nowrap, γ κοινά διανύσματα που εμφανίζονται ως το τετράγωνο της δράσης τους στα διανύσματα μιγαδικών αριθμών.

Θεωρούμε , για παράδειγμα, μια περιστροφή πάνω στο επίπεδο. Περιστρέφοντας ένα διάνυσμα κατά μια γωνία θ αντιστοιχεί σε Πρότυπο:Nowrap, και έτσι αυτή η δράση στα διανύσματα μιγαδικών γίνεται μέσω Πρότυπο:Nowrap. Γενικά, εξαιτίας των λογαρίθμων, είναι απίθανο να επιλέξουμε ένα σύμβολο με συνεπή τρόπο. Έτσι, η αναπαράσταση της περιστροφής των διανυσμάτων με στοιχεία τους μιγαδικούς αριθμούς παίρνει 2 τιμές.

Στις εφαρμογές των διανυσμάτων αυτών σε δύο διαστάσεις, μπορούμε να εκμεταλλευτούμε το γεγονός ότι η άλγεβρα των άρτιου-βαθμού στοιχείων (που είναι ο δακτύλιος των μιγαδικών αριθμών) είναι απαράλλακτη με το χώρο των μιγαδικών διανυσμάτων. Έτσι, με τη σύγχυση της γλώσσας, πολλές φορές αυτά τα δυο συγχέονται. κάποιος μπορεί να μιλάει σχετικά με τη "δράση ενός διανύσματος μιγαδικών σε ένα άλλο διάνυσμα." Σε γενική ομολογία αυτά δεν έχουν ιδιαίτερη σημασία. Αλλά στις διαστάσεις 2 και 3 (όπως εφαρμόζεται, για παράδειγμα, στα Γραφικά υπολογιστών) προκαλούν αίσθηση.

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

• Το άρτιου βαθμού στοιχείο

$\gamma =\frac{1}{\sqrt{2}}(1-{\sigma }_1{\sigma }_2)$

αντιστοιχεί σε ένα διάνυσμα από περιστροφή 90° από το σ₁ στο σ₂, το οποίο μπορεί να ελεγχθεί εξακριβώνοντας ότι

$\frac{1}{2}(1-{\sigma }_1{\sigma }_2)\{a_1{\sigma }_1+a_2{\sigma }_2\}(1-{\sigma }_2{\sigma }_1)=a_1{\sigma }_2-a_2{\sigma }_1$

Αυτό αντιστοιχεί σε περιστροφή 45° ενός διανύσματος μιγαδικών, ωστόσο:

$\frac{1}{\sqrt{2}}(1-{\sigma }_1{\sigma }_2)\{a_1+a_2{\sigma }_1{\sigma }_2\}=\frac{a_1+a_2}{\sqrt{2}}+\frac{-a_1+a_2}{\sqrt{2}}{\sigma }_1{\sigma }_2$

• Όμοια το άρτιου βαθμού στοιχείο Πρότυπο:Nowrap αντιστοιχεί σε ένα διάνυσμα με περιστροφή 180°:

$(-{\sigma }_1{\sigma }_2)\{a_1{\sigma }_1+a_2{\sigma }_2\}(-{\sigma }_2{\sigma }_1)=-a_1{\sigma }_1-a_2{\sigma }_2$

αλλά η περιστροφή ενός μιγαδικού διανύσματος κατά 90° μόνο:

$(-{\sigma }_1{\sigma }_2)\{a_1+a_2{\sigma }_1{\sigma }_2\}=a_2-a_1{\sigma }_1{\sigma }_2$

• Συνεχίζοντας παρακάτω, το άρτιου βαθμού στοιχείο Πρότυπο:Nowrap αντιστοιχεί σε διάνυσμα με περιστροφή 360°:

$(-1)\{a_1{\sigma }_1+a_2{\sigma }_2\}(-1)=a_1{\sigma }_1+a_2{\sigma }_2$

αλλά και σε ένα διάνυσμα μιγαδικών αριθμών με περιστροφή 180°.

.

Τρεις διαστάσεις

Η άλγεβρα Clifford Cℓ_3,0(R) χτίστηκε σε μια βάση βαθμωτή, 1, τρία ορθογώνια μοναδιαία διανύσματα, σ₁, σ₂ και σ₃, τα σ₁σ₂, σ₂σ₃, σ₃σ₁ και την ψευδοβαθμωτή Πρότυπο:Nowrap. Έτσι, μπορούμε να δείξουμε ότι Πρότυπο:Nowrap, και Πρότυπο:Nowrap.

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

$u^{\prime }={\rho }^{(1/2)}u{\rho }^{(1/2)}=\rho u,$

και περιστροφές διανυσμάτων

$u^{\prime }=\gamma u{\gamma }^{*},$

όπου

$\begin{array}{ccc}\gamma & =& \cos (\theta /2)-\{a_1{\sigma }_2{\sigma }_3+a_2{\sigma }_3{\sigma }_1+a_3{\sigma }_1{\sigma }_2\}\sin (\theta /2)\\ & =& \cos (\theta /2)-i\{a_1{\sigma }_1+a_2{\sigma }_2+a_3{\sigma }_3\}\sin (\theta /2)\\ & =& \cos (\theta /2)-iv\sin (\theta /2)\end{array}\}$ (1)

αντιστοιχεί σε ένα διάνυσμα με περιστροφή κατά γωνία θ πάνω σε ένα άξονα που ορίζεται από το διάνυσμα Πρότυπο:Nowrap.

Σε μια ειδική περίπτωση, είναι εύκολο να δούμε ότι, αν το Πρότυπο:Nowrap αναπαράγει την σ₁σ₂ με περιστροφή, αυτό εξετάζεται στο προηγούμενο τμήμα και αυτή η περιστροφή αφήνει τούς συντελεστές των διανυσμάτων του σ₃ σχεδόν αμετάβλητους, από

$(\cos (\theta /2)-i{\sigma }_3\sin (\theta /2)){\sigma }_3(\cos (\theta /2)+i{\sigma }_3\sin (\theta /2))=({\cos }^2(\theta /2)+{\sin }^2(\theta /2)){\sigma }_3={\sigma }_3.$

Τα διανύσματα σ₂σ₃, σ₃σ₁ και σ₁σ₂ είναι στην πραγματικότητα τα τετραδόνια i, j and k του Hamilton, και ανακαλύφθηκαν το 1843:

$\begin{array}{c}𝐢=-{\sigma }_2{\sigma }_3=-i{\sigma }_1\\ 𝐣=-{\sigma }_3{\sigma }_1=-i{\sigma }_2\\ 𝐤=-{\sigma }_1{\sigma }_2=-i{\sigma }_3.\end{array}$

Με την ταυτοποίηση των άρτιου βαθμού στοιχείων της άλγεβρας H των τετραδονίων, όπως στην περίπτωση των δύο διαστάσεων που η μόνη αναπαράσταση των άρτιου βαθμού στοιχείων είναι ο εαυτός τους. Έτσι, τα διανύσματα μιγαδικών στις τρεις διαστάσεις είναι τετραδόνια και η επίδραση ενός άρτιου βαθμού στοιχείου σε ένα τέτοιο διάνυσμα δίνεται από τον συνήθη πολλαπλασιασμό τετραδονίων.

Παρατηρείστε ότι η έκφραση (1) για την περιστροφή ενός διανύσματος κατά μια γωνία θ, η γωνία γ εμφανίζεται μισή. Έτσι και η περιστροφή ενός διανύσματος μιγαδικών Πρότυπο:Nowrap (πολλαπλασιασμός τετραδονίων) θα περιστρέψει το διάνυσμα ψ κατά μια γωνία με μισό μέτρο απ' αυτή που αντιστοιχεί σε ένα απλό διάνυσμα. Για μια ακόμη φορά, το πρόβλημα της μεταφοράς μιας περιστροφής ενός διανύσματος σε ένα διάνυσμα με στοιχεία μιγαδικούς αριθμούς έχει 2 τιμές: την έκφραση (1) με Πρότυπο:Nowrap στη θέση του θ/2 και θα πάρουμε την ίδια περιστροφή ενός απλού διανύσματος, αλλά η περιστροφή ενός διανύσματος μιγαδικών θα γίνεται προς τα αρνητικά.

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

Κατασκευή με ακρίβεια

Ένας χώρος με διανύσματα μιγαδικούς αριθμούς μπορεί να κατασκευαστεί με ακρίβεια με συγκεκριμένους και με αφηρημένους τρόπους. Η ισορροπία αυτών των κατασκευών είναι μια συνέπεια της μοναδικότητας του διανύσματος μιγαδικών αριθμών της άλγεβρας Clifford.

Σύνθετα διανύσματα με στοιχεία μιγαδικούς αριθμούς

Αν δίνεται ένας διανυσματικός χώρος V και μια δευτεροβάθμια σχέση g, μια αναλυτική αναπαράσταση του πίνακα της Πρότυπο:Nowrap ερμηνεύεται ως εξής. Επιλέγουμε μια ορθογώνια βάση Πρότυπο:Nowrap του V, δηλαδή Πρότυπο:Nowrap όπου Πρότυπο:Nowrap και Πρότυπο:Nowrap για Πρότυπο:Nowrap. Θέτουμε Πρότυπο:Nowrap. Και έχουμε Πρότυπο:Nowrap πίνακες Πρότυπο:Nowrap έτσι ώστε Πρότυπο:Nowrap. Μετά η σχέση Πρότυπο:Nowrap επεκτείνεται μοναδικά σε ένα ομομορφισμό Πρότυπο:Nowrap στέλνοντας τα Πρότυπο:Nowrap για την παραγωγή των Πρότυπο:Nowrap σε ένα γραμμικό πίνακα. Ο χώρος Πρότυπο:Nowrapείναι τώρα ένας χώρος διανυσμάτων με στοιχεία μιγαδικούς αριθμούς. Κάποιος όμως θα χρειαστεί να φτιάξει τους πίνακες με ακρίβεια. Στη διάσταση 3, ορίζοντας τους πίνακες αυτούς να είναι οι πίνακες του Pauli δίνουμε αφορμή σε δυο όμοια διανύσματα μιγαδικών να χρησιμοποιηθούν στην μη σχετικιστική Κβαντική μηχανική. Επίσης χρησιμοποιώντας τους Πρότυπο:Nowrap πίνακες του Dirac δίνουμε σημασία στα μέλη του διανύσματος Dirac που χρησιμοποιούνται σε 3+1 διαστάσεις στην Κβαντική θεωρία πεδίου. Γενικότερα, κάποιος αντί γι' αυτούς τους πίνακες μπορεί να χρησιμοποιήσει τους πίνακες του Weyl–Brauer.

Στην κατασκευή αυτή η παράσταση Clifford Πρότυπο:Nowrap,η Lie Πρότυπο:Nowrap, και η ομάδα σπιν Πρότυπο:Nowrap, εξαρτώνται από την επιλογή ορθογώνιας βάσης και την επιλογή των πινάκων gamma. Αυτό μπορεί να προκαλέσει σύγχυση , αλλά τα ίχνη τους είναι ανεξάρτητα απ' αυτή την επιλογή. Προπάντων, όλες οι φυσικά αισθητές ποσότητες πρέπει να είναι ανεξάρτητες από τέτοιου είδους επιλογές. Στην κατασκευή αυτή ένα διάνυσμα μιγαδικών μπορεί να αναπαρασταθεί ως ένα διάνυσμα των 2^k μιγαδικών αριθμών και συμβολίζεται, όπως και τα διανύσματα, με τους δείκτες α,β,γ κ.ο.κ. Στην επιστήμη της φυσικής, οι τιμές αφηρημένων διανυσμάτων μιγαδικών αριθμών χρησιμοποιούνται για να υποδηλώσουν εκείνα τα διανύσματα ακόμα και όταν χρησιμοποιείται η κατασκευή ενός αφηρημένου διανύσματος μιγαδικών.

Αφηρημένα διανύσματα μιγαδικών αριθμών

Υπάρχουν τουλάχιστον δυο διαφορετικοί, αλλά ισοδύναμοι ουσιαστικά, τρόποι για να ορίσουμε τα διανύσματα μιγαδικών με ακρίβεια. Μια προσέγγιση επιδιώκει να προσδιορίσει τα ελάχιστα αριστερά ιδεώδη με τη δράση από το Πρότυπο:Nowrap στον εαυτό τους. Υπάρχουν υποχώροι της άλγεβρας Clifford από τον τύπο Πρότυπο:Nowrap, ομολογώντας τη φανερή δράση της Πρότυπο:Nowrap από τον αριστερό πολλαπλασιασμό: Πρότυπο:Nowrap. Υπάρχουν δυο παραλλαγές σ' αυτό το θέμα: το ένα μπορεί να βρει ένα αρχικό στοιχείο ω το οποίο είναι ένα μηδενοδύναμο στοιχείο της άλγεβρας Clifford,ή είναι ένα ταυτοδύναμο. Η κατασκευή μέσω της οποίας τα μηδενοδύναμα στοιχεία είναι πιο θεμελιώδη γίνεται από την αίσθησηon ότι τα ταυτοδύναμα μπορεί να παράγονται από αυτά. Με τον τρόπο αυτό, οι αναπαραστάσεις αναγνωρίζονται σε συγκεκριμένους υποχώρους της άλγεβρας Clifford στον εαυτό τους. Η δεύτερη προσέγγιση είναι ναι κατασκευάσουμε ένα διανυσματικό χώρο χρησιμοποιώντας ένα διακεκριμένο V και μετά ορίζουμε ακριβώς τη δράση της άλγεβρας Clifford εξωτερικά στο διανυσματικό χώρο.

Από άλλη προσέγγιση , η βασική έννοια είναι αυτή από ένα φανταστικό υποχώρο W. Κάθε κατασκευή εξαρτάται από την ελεύθερη επιλογή υποχώρου. Από φυσική άποψη, αντιστοιχεί στο γεγονός ότι δεν υπάρχει μετρίσιμο πρωτόκολλο που μπορεί να καθορίσει μια βάση από ένα χώρο σπιν, ακόμα και αν δίνεται μια βάση V.

Ως ανωτέρω, θέτουμε Πρότυπο:Nowrap να είναι ένας n-διάστατος χώρος μιγαδικών διανυσμάτων εξοπλισμένη με μια διγραμμική σχέση. Αν ο V είναι ένας πραγματικός χώρος, τότε αντικαθιστούμε το V με τον Πρότυπο:Nowrap και θέτουμε το g να δηλώνει τη διγραμμική σχέση στον Πρότυπο:Nowrap. Θέτουμε W να είναι ένας μέγιστος φανταστικός υποχώρος, δηλαδή ένας μέγιστος υποχώρος του V όπως ο Πρότυπο:Nowrap. Αν Πρότυπο:Nowrap, τότε θέτουμε W΄ να είναι ένας φανταστικός υποχώρος συμπληρωματικός του W. Αν Πρότυπο:Nowrap, θέτουμε W΄ να είναι ένας μέγιστος φανταστικός υποχώρος με Πρότυπο:Nowrap, και θέτουμε το U να είναι το ορθογώνιο συμπλήρωμα του Πρότυπο:Nowrap. Και οι δυο περιπτώσεις W και W΄ έχουν διάσταση k. Στην περίπτωση περιττής διάστασης, το U είναι μονοδιάστατο και παράγεται απ' το μοναδιαίο διάνυσμα u.

Ελάχιστο ιδεώδες

Εφόσον το W′ είναι ισότροπο, ο πολλαπλασιασμός των στοιχείων του W′ εντός Πρότυπο:Nowrap είναι ασύμμετρος. Ως εκ τούτου διανύσματα σε W′ αντιμετατίθενται, και Πρότυπο:Nowrap είναι μόνο η εξωτερική άλγεβρα Λ^∗W′. Κατά συνέπεια, το γινόμενο k-fold του W′ με τον εαυτό του, W′^k, είναι ένα μονοδιάστατο l. 'Εστω το ω να είναι ένας γεννήτορας του W′^k. Όσον αφορά μια βάση Πρότυπο:Nowrap σε W′, μια πιθανότητα είναι να οριστεί

$\omega =w{\text{'}}_{1}w{\text{'}}_2\cdots w{\text{'}}_k.$

Σημειώστε ότι Πρότυπο:Nowrap (δηλαδή το ω είναι μηδενοδύναμο στη διάταξη 2), και επιπλέον, Πρότυπο:Nowrap για όλα τα Πρότυπο:Nowrap. Οι ακόλουθοι παράγοντες μπορούν να αποδειχτούν εύκολα:

1. Εάν Πρότυπο:Nowrap, τότε το αριστερό ιδεώδες Πρότυπο:Nowrap είναι ένα ελαχιστοτικό αριστερό ιδεώδες. Περαιτέρω, αυτό χωρίζεται στα δύο διαστήματα περιδίνησης Πρότυπο:Nowrap καιΠρότυπο:Nowrap με περιορισμό στη δράση της άρτιας άλγεβρας του Clifford.
2. Εάν Πρότυπο:Nowrap, τότε η δράση του διανύσματος μονάδας uστο αριστερό ιδεώδες Πρότυπο:Nowrap αποσυνθέτει το διάστημα σε ένα ζεύγος ισομορφικών αμείωτων ιδιόχωρων (αμφότεροι δεικνυόμενοι με το Δ), που αντιστοιχούν στις σχετικές ιδιοτιμές +1 και −1.

Λεπτομερώς, υποθέστε για παράδειγμα ότι το n είναι άρτιο. Υποθέστε ότι το I είναι ένα μη- μηδενικό αριστερό ιδεώδες που περιέχεται στο Πρότυπο:Nowrap. Θα δείξουμε ότι το I πρέπει να είναι ίσο με το Πρότυπο:Nowrap αποδεικνύοντας ότι περιέχει ένα μη-μηδενικό βαθμωτό πολλαπλάσιο του ω. Ορίστε μια βάση w_i του W και μια συμπληρωματική βάση w_i′ του W′ ούτως ώστε

w_iw_j′ +w_j′ w_i = δ_ij, και

(w_i)² = 0, (w_i′)² = 0.

Σημειώστε ότι οποιονδήποτε στοιχείο του I πρέπει να έχει τη μορφή αω, δυνάμει της υπόθεσης μας ότι Πρότυπο:Nowrap.Έστω ότι το Πρότυπο:Nowrap να είναι οποιονδήποτε τέτοιο στοιχείο. Χρησιμοποιώντας την επιλεγείσα βάση, μπορούμε να γράψουμε

$\alpha =\sum _{i_1<i_2<\cdots <i_p}{a}_{i_1\dots i_p}{w}_{i_1}\cdots w_{i_p}+\sum _j{B}_{j}w{\text{'}}_j$

Όπου τα a_i1…ip είναι βαθμωτά και τα B_j είναι βοηθητικά στοιχεία της άλγεβρας του Clifford. Παρατηρείστε τώρα ότι το γινόμενο

$\alpha \omega =\sum _{i_1<i_2<\cdots <i_p}{a}_{i_1\dots i_p}{w}_{i_1}\cdots w_{i_p}\omega .$

Επιλέξτε οποιονδήποτε μη-μηδενικό μονώνυμο a στο ανάπτυγμα του α με μέγιστο ομοιογενή βαθμό στα στοιχεία w_i:

$a=a_{i_1\dots i_{max}}{w}_{i_1}\dots w_{i_{max}}$ (χωρίς να εξυπακούεται άθροιση),

τότε

$w_{i_{max}}\cdots w_{i_1}\alpha \omega =a_{i_1\dots i_{max}}\omega$

Είναι ένα μη-μηδενικό βαθμωτό πολλαπλάσιο του ω, όπως απαιτείται.

Σημειώστε ότι για άρτιο n , αυτός ο υπολογισμός δείχνει επίσης ότι

$\mathrm{\Delta }=\mathrm{C}\ell (W)\omega =({\mathrm{\Lambda }}^{*}W)\omega$.

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

Εξωτερική Δομή άλγεβρας

Οι υπολογισμοί με την ελάχιστη ιδανική δομή εισηγούνται ότι μια παράσταση διανύσματος με μιγαδικές συνιστώσες μπορεί επίσης να καθοριστεί απευθείας χρησιμοποιώντας την εξωτερική άλγεβρα Πρότυπο:Nowrap του ισότροπου υποχώρου W. 'Εστω ότι Πρότυπο:Nowrap δεικνύει την εξωτερική άλγεβρα του W να θεωρείται ως διανυσματικός χώρος μόνο. Αυτή θα είναι η παράσταση περιδίνησης και τα στοιχεία της θα αναφέρονται ως διανύσματα με μιγαδικές συνιστώσες.

Η δράση της άλγεβρας Clifford στο Δ καθορίζεται πρώτα δίνοντας τη δράση ενός στοιχείου V σε Δ, και μετά δείχνοντας ότι αυτή η δράση σέβεται τη σχέση Clifford και έτσι επεκτείνεται σε ένα ομομορφισμό της πλήρους άλγεβρας του Clifford εντός του δακτυλίου ενδομορφισμού End (Δ) υπό την καθολική ιδιότητα των αλγεβρών Clifford. Οι λεπτομέρειες διαφέρουν ελαφρώς σύμφωνα με το αν η διάσταση του V είναι άρτια ή περιττή. Όταν η διάσταση dim (V) είναι άρτια, Πρότυπο:Nowrap όπου W′ είναι το επιλεγέν ισότροπο συμπλήρωμα. Ως εκ τούτου, οποιοδήποτε Πρότυπο:Nowrap αναλύεται μοναδικά ως Πρότυπο:Nowrap με Πρότυπο:Nowrap και Πρότυπο:Nowrap. Η δράση του v σε ένα διάνυσμα με μιγαδικές συνιστώσες δίδεται με

$c(v)w_1\wedge \cdots \wedge w_n=(ϵ(w)+i(w^{\prime }))(w_1\wedge \cdots \wedge w_n)$

όπου i(w′) είναι εσωτερικό γινόμενο με το w′ να χρησιμοποιεί την μη εκφυλισμένη τετραγωνική μορφή για να προσδιορίσει την ταυτότητα του V με V^∗, και το ε(w) δεικνύει το εξωτερικό γινόμενο. Μπορεί να επαληθευτεί ότι

c(u)c(v) + c(v)c(u) = 2 g(u,v),

και έτσι το c σέβεται τις σχέσεις Clifford και επεκτείνεται σε ένα ομομορφισμό από την άλγεβρα Clifford στο End(Δ).

Η παράσταση περιδίνησης Δ περαιτέρω αναλύεται σε ένα ζεύγος αμείωτων σύνθετων αναπαραστάσεων της ομάδας Spin (τις παραστάσεις μισής περιδίνησης, ή διανύσματα με μιγαδικές συνιστώσες Weyl) μέσω

${\mathrm{\Delta }}_{+}={\mathrm{\Lambda }}^{even}W,{\mathrm{\Delta }}_{-}={\mathrm{\Lambda }}^{odd}W$.

Όταν η διάσταση dim(V) είναι περιττή, Πρότυπο:Nowrap, όπου το U εκτείνεται από μια μονάδα διανύσματος u ορθόγωνη προς το W. Η δράση c του Clifford καθορίζεται όπως και προηγουμένως σε Πρότυπο:Nowrap, ενώ η δράση u του Clifford (πολλαπλάσια) καθορίζεται από

$c(u)\alpha =\{\begin{array}{cc}\alpha & \text{if }\alpha \in {\mathrm{\Lambda }}^{even}W\\ -\alpha & \text{if }\alpha \in {\mathrm{\Lambda }}^{odd}W\end{array}$

Όπως πριν,μπορεί κάποιος να επαληθεύσει ότι το c σέβεται τις σχέσεις Clifford και έτσι επιφέρει ένα ομομορφισμό.

Ερμιτιανοί διανυσματικοί χώροι και διανύσματα με μιγαδικές συνιστώσες

Εάν ο διανυσματικός χώρος V έχει επιπλέον δομή η οποία παρέχει μια αποσύνθεση της μιγαδικοποίησης του σε δύο μέγιστα ισότροπα υποδιαστήματα, τότε ο ορισμός των διανυσμάτων με μιγαδικές συνιστώσες (με τη μια ή την άλλη μέθοδο) καθίσταται φυσική. Το κύριο παράδειγμα είναι η περίπτωση όπου ο πραγματικός διανυσματικός χώρος V είναι ένας ερμιτιανός διανυσματικός χώρος Πρότυπο:Nowrap, δηλαδή, το V είναι εξοπλισμένο με μια γραμμική μιγαδική δομή J η οποία είναι ένας ορθογώνιος μετασχηματισμός εν σχέση προς το εσωτερικό γινόμενο g πάνω στον V. Τότε το Πρότυπο:Nowrap διασπάται στους ιδιόχωρους ±i του J. Αυτοί οι ιδιόχωροι είναι ισότροποι για την μιγαδικοποίηση του g και μπορούν να ταυτοποιηθούν με το μιγαδικό διανυσματικό χώρο Πρότυπο:Nowrap και τον μιγαδικό συζυγή του Πρότυπο:Nowrap. Άρα για ένα ερμιτιανό διανυσματικό χώρο Πρότυπο:Nowrap ο διανυσματικός χώρος ΛΠρότυπο:SuΠρότυπο:Overline (καθώς και ο μιγαδικός συζυγής του ΛΠρότυπο:SuV) είναι ένας διανυσματικός χώρος με μιγαδικές συνιστώσες για το θεμελιώδη πραγματικό Ευκλείδειο διανυσματικό χώρο. Με τη δράση του Clifford όπως πιο πάνω αλλά με συστολή χρησιμοποιώντας την Ερμιτιανή μορφή, αυτή η δομή δίνει ένα διανυσματικό χώρο με μιγαδικές συνιστώσες σε κάθε σημείο μιας σχεδόν Ερμιτιανής πολλαπλότητας και είναι η αιτία γιατί κάθε σχεδόν μιγαδική πολλαπλότητα (ιδιαίτερα κάθε συμπλεκτική πολλαπλότητα) έχει μια [[περιδινητική δομή ^c]]. Ομοίως, κάθε μιγαδική διανυσματική δέσμη πάνω σε μια πολλαπλότητα φέρει μια περιδινητική δομή ^c .

Η παραγοντοποίηση /διάσπαση Clebsch–Gordan

Ένας αριθμός παραγοντοποιήσεων Clebsch–Gordan είναι πιθανός στο τανυστικό γινόμενο μιας περιδινητικής παράστασης με μια άλλη. Αυτές οι παραγοντοποιήσεις εκφράζουν το τανυστικό γινόμενο αναφορικά με τις εναλλασσόμενες παραστάσεις της ορθόγωνης ομάδας. Για την πραγματική ή σύνθετη περίπτωση, οι εναλλασσόμενες παραστάσεις είναι

• Πρότυπο:Nowrap, η παράσταση των ορθογώνιων ομάδων πάνω σε ασύμμετρους τανυστές του βαθμού του r.

Επιπρόσθετα, για τις πραγματικές ορθογώνιες ομάδες υπάρχουν τρεις χαρακτήρες (μονοδιάστατες παραστάσεις)

• σ₊ : O(p, q) → {−1, +1} δίδεται από Πρότυπο:Nowrap, εάν το R αντιστρέφει τον χωρικό προσανατολισμό του V, +1, εάν το R διατηρεί τον χωρικό προσανατολισμό του V. (Ο χωρικός χαρακτήρας.)
• σ₋ : O(p, q) → {−1, +1} δίδεται από Πρότυπο:Nowrap, εάν το R αντιστρέφει τον χρονικό προσανατολισμό του V, +1, εάν το R διατηρεί τον χρονικό προσανατολισμό του V. (Ο χρονικός χαρακτήρας.)
• σ = σ₊σ₋ . (Ο χαρακτήρας προσανατολισμού.)

Η παραγοντοποίηση Clebsch–Gordan επιτρέπει σε κάποιον να ορίσει, ανάμεσα σε άλλα πράγματα:

• Μια δράση διανυσμάτων με μιγαδικές συνιστώσες πάνω σε διανύσματα
• Έναν Ερμιτιανό μετρικό πάνω στις σύνθετες παρουσιάσεις των πραγματικών περιδινητικών ομάδων
• Έναν τελεστή του Dirac σε κάθε περιδινητική παρουσίαση.

Άρτιες διαστάσεις

Εάν το Πρότυπο:Nowrap είναι άρτιο , τότε το τανυστικό γινόμενο του Δ με την παράσταση της αντί- βαθμίδας αναλύεται ως

$\mathrm{\Delta }\otimes {\mathrm{\Delta }}^{*}\cong \underset{p=0}{\overset{n}{⨁}}{\mathrm{\Gamma }}_p\cong \underset{p=0}{\overset{k-1}{⨁}}({\mathrm{\Gamma }}_p\oplus \sigma {\mathrm{\Gamma }}_p)\oplus {\mathrm{\Gamma }}_k$

Το οποίο μπορεί να φανεί ρητά λαμβάνοντας υπόψη (σε Άμεση δομή) τη δράση της άλγεβρας Clifford πάνω σε παραγοντοποιήσημα (διασπώμενα) στοιχεία Πρότυπο:Nowrap. Η δεξιότερη διατύπωση ακολουθεί από τις μετασχηματιστικές ιδιότητες του Hodge star operator. Σημειώστε ότι με περιορισμό στην άρτια άλγεβρα του Clifford , τα ζευγαρωμένα προσθετέα Πρότυπο:Nowrap είναι ισομορφικά, αλλά σύμφων αμε την πλήρη άλγεβρα του Clifford δεν είναι.. Υπάρχει μια φυσική ταυτοποίηση του Δ με την αντιβαθμιδική παράσταση του μέσω της συζυγίας στην άλγεβρα του Clifford :

$(\alpha \omega {)}^{*}=\omega ({\alpha }^{*}).$

Άρα το Πρότυπο:Nowrap επίσης αναλύεται με τον πιο πάνω τρόπο . Περαιτέρω, υπό την άρτια άλγεβρα του Clifford οι παραστάσεις μισής – περιδίνησης αναλύονται (παραγοντοποιούνται)

$\begin{array}{ccc}{\mathrm{\Delta }}_{+}\otimes {\mathrm{\Delta }}_{+}^{*}\cong {\mathrm{\Delta }}_{-}\otimes {\mathrm{\Delta }}_{-}^{*}& \cong & \underset{p=0}{\overset{k}{⨁}}{\mathrm{\Gamma }}_{2p}\\ {\mathrm{\Delta }}_{+}\otimes {\mathrm{\Delta }}_{-}^{*}\cong {\mathrm{\Delta }}_{-}\otimes {\mathrm{\Delta }}_{+}^{*}& \cong & \underset{p=0}{\overset{k-1}{⨁}}{\mathrm{\Gamma }}_{2p+1}\end{array}$

Για τις μιγαδικές παραστάσεις των πραγματικών αλγεβρών του Clifford, η συσχετισμένη δομή της πραγματικότητας πάνω στην μιγαδική άλγεβρα του Clifford κατέρχεται στο χώρο των διανυσμάτων με μιγαδικές συνιστώσες (μέσω της άμεσης δομής, όσον αφορά ελάχιστα ιδεώδη, για παράδειγμα ). Με αυτό τον τρόπο, παίρνουμε τον μιγαδικό συζυγή Πρότυπο:Overline της παράστασης Δ και ο ακόλουθος ισομορφισμός βλέπουμε να ισχύει:

$\overline{\mathrm{\Delta }}\cong {\sigma }_{-}{\mathrm{\Delta }}^{*}$

Ειδικά, παρατηρήστε ότι η παράσταση Δ της ορθόχρονης περιδινητικής ομάδας είναι μια μοναδιαία παράσταση. Γενικά, υπάρχουν παραγοντοποιήσεις Clebsch–Gordan

$\mathrm{\Delta }\otimes \overline{\mathrm{\Delta }}\cong \underset{p=0}{\overset{k}{⨁}}({\sigma }_{-}{\mathrm{\Gamma }}_p\oplus {\sigma }_{+}{\mathrm{\Gamma }}_p).$

Στη μετρική υπογραφή Πρότυπο:Nowrap, οι ακόλουθοι ισομορφισμοί ισχύουν για τις συζυγείς μισο-περιδινητικές παραστάσεις.

• Εάν το q είναι άρτιο, τότε ${\overline{\mathrm{\Delta }}}_{+}\cong {\sigma }_{-}\otimes {\mathrm{\Delta }}_{+}^{*}$ and ${\overline{\mathrm{\Delta }}}_{-}\cong {\sigma }_{-}\otimes {\mathrm{\Delta }}_{-}^{*}.$
• Εάν το q είναι περιττό, τότε ${\overline{\mathrm{\Delta }}}_{+}\cong {\sigma }_{-}\otimes {\mathrm{\Delta }}_{-}^{*}$ and ${\overline{\mathrm{\Delta }}}_{-}\cong {\sigma }_{-}\otimes {\mathrm{\Delta }}_{+}^{*}.$

Χρησιμοποιώντας αυτούς τους ισομορφισμούς, κάποιος μπορεί να συμπεράνει ανάλογες αναλύσεις για τα τανυστικά γινόμενα των μισο-περιδινητικών παραστάσεων Πρότυπο:Nowrap.

Περιττές διαστάσεις

Εάν το Πρότυπο:Nowrap είναι περιττό, τότε

$\mathrm{\Delta }\otimes {\mathrm{\Delta }}^{*}\cong \underset{p=0}{\overset{k}{⨁}}{\mathrm{\Gamma }}_{2p}.$

Στην πραγματική περίπτωση, για μια ακόμη φορά ο ισομορφισμός ισχύει

$\overline{\mathrm{\Delta }}\cong {\sigma }_{-}{\mathrm{\Delta }}^{*}.$

Άρα υπάρχει μια παραγοντοποίηση Clebsch–Gordan (και πάλι χρησιμοποιώντας το Hodge star για να γίνει δυικό) δοσμένη από

$\mathrm{\Delta }\otimes \overline{\mathrm{\Delta }}\cong {\sigma }_{-}{\mathrm{\Gamma }}_0\oplus {\sigma }_{+}{\mathrm{\Gamma }}_1\oplus \dots \oplus {\sigma }_{\pm }{\mathrm{\Gamma }}_k$

Συμπεράσματα

Υπάρχουν πολλά εκτεταμένα συμπεράσματα των παραγοντοποιήσεων Clebsch–Gordan των χώρων των διανυσμάτων με μιγαδικές συνιστώσες. Το πιο θεμελιώδες από αυτά αρμόζουν στην θεωρία του Dirac για το ηλεκτρόνιο, μεταξύ των οποίων οι βασικές απαιτήσεις είναι

• Ένας τρόπος αναφορικά προς το γινόμενο δύο διανυσμάτων με μιγαδικές συνιστώσες Πρότυπο:Overlineψ σαν ένα βαθμωτό. Σε φυσικούς όρους, ένα διάνυσμα με μιγαδικές συνιστώσες οφείλει να ορίζει μια πιθανότητα εύρους για την κβαντική κατάσταση.
• Ένας τρόπος αναφορικά προς το γινόμενο ψΠρότυπο:Overline ως ένα διάνυσμα. Αυτό είναι ένα ουσιώδες χαρακτηριστικό της θεωρίας του Dirac, το οποίο δένει το φορμαλισμό του διανύσματος με μιγαδικές συνιστώσες με τη γεωμετρία του φυσικού διαστήματος.
• Ένας τρόπος αναφορικά προς το διάνυσμα με μιγαδικές συνιστώσες όπως δρα πάνω σε ένα διάνυσμα από μια παράσταση όπως ψvΠρότυπο:Overline. Σε φυσικούς όρους, αυτό αντιπροσωπεύει ένα ηλεκτρικό ρεύμα της ηλεκτρομαγνητικής θεωρίας του Maxwell ή γενικότερα ένα ρεύμα πιθανότητας.

Περίληψη σε μικρότερες διαστάσεις

• Στη 1 διάσταση (ένα τετριμμένο παράδειγμα), η παρουσίαση του μονού διανύσματος με μιγαδικές συνιστώσες είναι αυστηρά Majorana, μια πραγματική μονοδιάστατη παρουσίαση η οποία δεν μετασχηματίζεται.
• Στις 2 Ευκλείδειες διαστάσεις,τα αριστερά και τα δεξιά διανύσματα με μιγαδικές συνιστώσες τύπου Weyl είναι μιγαδικές παραστάσεις μιας συνιστώσας δηλαδή μιγαδικοί αριθμοί οι οποίοι πολλαπλασιάζονται με το e^±iφ/2 υπό μια περιστροφή με γωνία φ.
• Στις 3 Ευκλείδειες διαστάσεις, η παράσταση μονού διανύσματος με μιγαδικές συνιστώσες είναι δυσδιάστατη και τετραδική. Η ύπαρξη διανυσμάτων με μιγαδικές συνιστώσες σε 3 διαστάσεις ακολουθεί από τον ισομορφισμό των ομάδων s Πρότυπο:Nowrap που μας επιτρέπει να ορίσουμε τη δράση της Δίνης (3) σε μια μιγαδική στήλη 2 συνιστωσών (στοιχείων) (ένα διάνυσμα με μιγαδικές συνιστώσες). Οι γεννήτορες του SU(2) μπορούν να γραφτούν ως Pauli matrices.
• Στις 4 Ευκλείδειες διαστάσεις, ο ισομορφισμός που αντιστοιχεί είναι Πρότυπο:Nowrap. Υπάρχουν δύο ανισοδύναμα τετραδικά διανύσματα με μιγαδικές συνιστώσες 2 συνιστωσών (στοιχείων) τύπου Weyl και το καθένα από αυτά μετασχηματίζεται υπό ένα από τους δύο παράγοντες SU(2) μόνο.
• Στις 5 Ευκλείδειες διαστάσεις, ο σχετικός ισομορφισμός είναι Πρότυπο:Nowrap που συνεπάγεται ότι η παράσταση του μονού διανύσματος με μιγαδικές συνιστώσες είναι τετρα- διάστατη και τετραδική.
• Στις 6 Ευκλείδειες διαστάσεις, ο ισομορφισμός Πρότυπο:Nowrap εγγυάται ότι υπάρχουν δύο τετρα-διάστατες μιγαδικές παραστάσεις τύπου Weyl οι οποίες είανι μιγαδικοί συζυγείς η μια της άλλης.
• Στις 7 Ευκελίδειες διαστάσεις, η παράσταση του μονού διανύσματος με μιγαδικές συνιστώσες είναι οκτώ-διάστατη και πραγματική. Από αυτή τη διάσταση και μετά δεν υπάρχουν άλλοι ισομορφισμοί προς άλγεβρα Lie από άλλες σειρές (Α ή C).
• Στις 8 Ευκλείδειες διαστάσεις, υπάρχουν δύο πραγματικές, 8-διάστατες παραστάσεις τύπου Weyl–Majorana που σχετίζονται με την 8-διάστατη πραγματική διανυσματική παράσταση υπό μια ειδική ιδιότητα της Δίνης 8 που ονομάζεται δοκιμαστική.
• Στις Πρότυπο:Nowrap διαστάσεις, ο αριθμός των διακεκριμένων αμείωτων παραστάσεων διανυσμάτων με μιγαδικές συνιστώσες και η πραγματικότητα τους (είτε είναι πραγματικές, είτε ψευδο-πραγματικές ή μιγαδικές ) μιμείται τη δομή των διαστάσεων d , αλλά οι δικές τους διαστάσεις είναι 16 φορές μεγαλύτερες, αυτό επιτρέπει σε κάποιον να αντιληφθεί όλες τις υπόλοιπες περιπτώσεις. Βλέπε περιοδικότητα Bott
• Στους χωρόχρονους με χωρικά p και κατευθύνσεις ισόχρονες του q οι διαστάσεις που βλέπονται ως διαστάσεις πάνω από τους μιγαδικούς αριθμούς συμπίπτουν με την περίπτωση του Πρότυπο:Nowrap- διαστατικός Ευκλείδειος χώρος αλλά οι προβολές της πραγματικότητας μιμούνται τη δομή σε Πρότυπο:Nowrap Ευκλείδειες διαστάσεις .Για παράδειγμα, σε Πρότυπο:Nowrap διαστάσεις υπάρχουν δύο μη- ισοδύναμοι μιγαδικοί Weyl (όπως στις 2 διαστάσεις) 2-συνιστώσες (όπως στις 4 διαστάσεις) διανύσματα με μιγαδικές συνιστώσες, που ακολουθεί από τον ισομορφισμό Πρότυπο:Nowrap.

Μετρική υπογραφή	Αριστερόχειρο Weyl	Δεξιόχειρο Weyl	Συζυγία	Dirac	Αριστερόχειρο Majorana–Weyl	Δεξιόχειρο Majorana–Weyl	Majorana
	Μιγαδικός	Μιγαδικός		Μιγαδικός	πραγματικός	πραγματικός	πραγματικός
(2,0)	1	1	αμοιβαίος	2	–	–	2
(1,1)	1	1	ταυτοτικός	2	1	1	2
(3,0)	–	–	–	2	–	–	–
(2,1)	–	–	–	2	–	–	2
(4,0)	2	2	ταυτοτικός	4	–	–	–
(3,1)	2	2	αμοιβαίος	4	–	–	4
(5,0)	–	–	–	4	–	–	–
(4,1)	–	–	–	4	–	–	–
(6,0)	4	4	αμοιβαίος	8	–	–	8
(5,1)	4	4	ταυτοτικός	8	–	–	–
(7,0)	–	–	–	8	–	–	8
(6,1)	–	–	–	8	–	–	–
(8,0)	8	8	ταυτοτικός	16	8	8	16
(7,1)	8	8	αμοιβαίος	16	–	–	16
(9,0)	–	–	–	16	–	–	16
(8,1)	–	–	–	16	–	–	16

Δες Ακόμα

• Anyon
• Dirac equation in the algebra of physical space
• Einstein–Cartan theory
• Pure spinor
• Spin-½
• Spinor bundle
• Supercharge
• Twistor theory

Εμβάθυνση στη Μελέτη

• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation
• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Springer
• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation.
• Πρότυπο:Citation