Αναπαραστάσεις οµάδων: παραδείγµατα

Σχετικά έγγραφα
Αναπαραστάσεις οµάδων και Αλγεβρες Τελεστών

Αναπαραστάσεις οµάδων και Αλγεβρες Τελεστών

Αναπαραστάσεις και χαρακτήρες πεπερασµένων οµάδων

Αναπαραστάσεις οµάδων και Αλγεβρες Τελεστών

Θεωρία Τελεστών. Ενότητα: Χώροι µε νόρµα - Χώροι Hilbert. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4

Στοιχειώδεις τελεστές στην άλγεβρα των adjointable τελεστών σε Hilbert πρότυπα

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 6

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 1

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 6

L 2 -σύγκλιση σειρών Fourier

Θεωρία Τελεστών. Ενότητα: Το ϕασµατικό ϑεώρηµα για αυτοσυζυγείς τελεστές. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

Δώδεκα Αποδείξεις του. Θεμελιώδους Θεωρήματος της Άλγεβρας

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 6

πυθαγόρειες τριάδες, τριγωνομετρία και υπολογισμός ολοκληρωμάτων.

Ας ξεκινήσουμε υπενθυμίζοντας τον ορισμό της συνέχειας σε μετρικούς χώρους. διατυπώνεται και με τον ακόλουθο τρόπο: για κάθε σφαίρα

2. d(x, y) = 0 x = y. 3. d(x, y) = d(y, x)

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4

(β) λ(g 1 g 2, p) = (g 1 g 2 )p = g 1 (g 2 p) = λ(g 1, λ(g 2, p)). (β ) φ(p, g 1 g 2 ) = p(g 1 g 2 ) = (pg 1 )g 2 = φ(φ(p, g 1 ), g 2 ),

Τρίτη 4 εκεµβρίου m + 4Z

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 4

Γραµµικη Αλγεβρα Ι Επιλυση Επιλεγµενων Ασκησεων Φυλλαδιου 4

Modular καµπύλες. Αριστείδης Κοντογεώργης. 1 εκεµβρίου Τµήµα Μαθηµατικών Πανεπιστηµίου Αθηνών. , 1/26

Γραµµικη Αλγεβρα Ι. Ακαδηµαϊκο Ετος Βοηθος Ασκησεων: Χ. Ψαρουδάκης

Γεωµετρικη Θεωρια Ελεγχου

3.5 Το θεώρημα Hahn-Banach σε τοπολογικούς διανυσματικούς χώρους.

Αλγεβρικες οµες Ι Ασκησεις - Φυλλαδιο 2

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Προτεινοµενες Ασκησεις - Φυλλαδιο 3

Τεχνολογικό Εκπαιδευτικό Ίδρυμα Σερρών Τμήμα Πληροφορικής & Επικοινωνιών Σήματα και Συστήματα

Ευκλείδειοι Χώροι. Ορίζουµε ως R n, όπου n N, το σύνολο όλων διατεταµένων n -άδων πραγµατικών αριθµών ( x

Το φασματικό Θεώρημα

Ο αναλυτικός δείκτης και η χαρακτηριστική του Euler 1

Συναρτησιακή Ανάλυση, μεταπτυχιακό μάθημα

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας)

Το Θεώρημα Stone - Weierstrass

Σύγκλιση σειρών Fourier σε χώρους L p

Παράρτηµα Β. Στοιχεία Θεωρίας Τελεστών και Συναρτησιακής Ανάλυσης [ ) ( )

1. a. Έστω b. Να βρεθούν οι ιδιοτιμές και τα ιδιοδιανύσματα του A Έστω A και ( x) [ x]

Παρουσία µηδενιστών στη θεωρία τοπολογικών αλγεβρών

Εισαγωγή στην Τοπολογία

2 Πεπερασμένα ευθέα αθροίσματα και προβολές σε χώρους με νόρμα. με νόρμα, με τις ακόλουθες νόρμες οι οποίες ορίζονται μέσω των νορμών των X και Y.

Μία απεικόνιση από ένα διανυσματικό χώρο V στον εαυτό του, L : V V την ονομάζουμε γραμμικό τελεστή στο V (ή ενδομορφισμό του V ). Ορισμός. L : V V γρα

Τεχνολογικό Εκπαιδευτικό Ίδρυμα Σερρών Τμήμα Πληροφορικής & Επικοινωνιών Σήματα και Συστήματα

Αρµονική Ανάλυση ( ) Φυλλάδιο Ασκήσεων 3

Θεωρία Τελεστών. Ενότητα: Το Φασµατικό Θεώρηµα - Εισαγωγή. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών

f(f 1 (B)) f(f 1 (B)) B. X \ (f 1 (C)) = X \ f 1 (C) = f 1 (Y \ C) X \ (f 1 (C)) f 1 (Y \ C). f 1 (Y \ C) = f 1 (Y \ C ) = X \ f 1 (C ).

X(f) E(ft) df x[i] = 1 F. x(t) E( ft) dt X(f) = x[i] = 1 F

Το φασματικό Θεώρημα

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

Η ϐέλτιστη σταθερά στην ανισότητα Hausdorff-Young

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Επιλυση Ασκησεων - Φυλλαδιο 2

Ανάλυση πολλών μεταβλητών. Δεύτερο φυλλάδιο ασκήσεων.

ΚΕΦΑΛΑΙΟ 5: Τανυστικά Γινόµενα

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

ι3.4 Παραδείγματα T ) έχει την ιδιότητα Heine-Borel, αν κάθε κλειστό και φραγμένο υποσύνολό του είναι συμπαγές.

ιδασκοντες: x R y x y Q x y Q = x z Q = x z y z Q := x + Q Τετάρτη 10 Οκτωβρίου 2012

Εισαγωγή στις Ελλειπτικές Καµπύλες


(m, n) = 1 τότε Aut(H K) = Aut(H) Aut(K). Z(GL(2, R)), Z(SL(2, R)), Z(GL(n, R)), Z(SL(n, R)). } a b 0 c {( ) 1 b A = 0 1 {( ) a 0 D = 0 c T = } : b R

Εφαρμογές του μεταθετικού Θεωρήματος Gelfand-Naimark σε μη μεταθετικές C* άλγεβρες

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ

Γραµµικη Αλγεβρα ΙΙ Ασκησεις - Φυλλαδιο 10

1 Συστήµατα που διατηρούν ένα µέτρο

Απόδειξη. Η ιδιότητα(vi) του ορισμού δεν ισχύει στην πράξη αυτή. Πράγματι, έχουμε. 1 (x, y, z) =(1 x, 1 y, 2 1 z) =(x, y, 2z)

π B = B και άρα η π είναι ανοικτή απεικόνιση.

ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ -ΤΜΗΜΑ ΕΠΙΣΤΗΜΗΣ ΥΠΟΛΟΓΙΣΤΩΝ. Λύσεις των Θεμάτων της Εξέτασης Ιανουαρίου 2010 στο μάθημα: «Γραμμική Άλγεβρα» (ΗΥ119)

x, y = x 1 y 1 + x 2 y 2 + x 3 y 3. x k y k. k=1 k=1

Α Δ Ι. Παρασκευή 25 Οκτωβρίου Ασκηση 1. Στο σύνολο των πραγματικών αριθμών R ορίζουμε μια σχέση R R R ως εξής:

a = a a Z n. a = a mod n.

Φασµατικη θεωρια µη φραγµενων γραµµικων τελεστων

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 7

Αρµονική Ανάλυση. Ενότητα: L 2 -σύγκλιση σειρών Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

Τίτλος Μαθήματος: Γραμμική Άλγεβρα Ι. Ενότητα: Πινάκες και Γραµµικές Απεικονίσεις. Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης. Τμήμα: Μαθηματικών

Συντελεστές και σειρές Fourier

4.2 Αυτοπάθεια και ασθενής συμπάγεια * * X, x X, είναι επί του. X. Σημειώνουμε ότι υπάρχουν παραδείγματα μη

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΑΡΤΙΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 2

ΑΛΓΕΒΡΙΚΕΣ ΟΜΕΣ Ι. Ασκησεις - Φυλλαδιο 2

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 1

Διδάσκων: Καθηγητής Νικόλαος Μαρμαρίδης, Καθηγητής Ιωάννης Μπεληγιάννης

ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Burnside

Θεωρία Τελεστών Σημειώσεις Αριστείδης Κατάβο λος1 Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών telmasu, 11 Ιουνίου 2016

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ Ι (ΠΕΡΙΤΤΟΙ) Λυσεις Ασκησεων - Φυλλαδιο 4

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ (ΗΥ-119)

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ «ΠΛΗΡΟΦΟΡΙΚΗ» ΜΑΘΗΜΑΤΙΚΑ Ι (ΘΕ ΠΛΗ 12) ΕΠΑΝΑΛΗΠΤΙΚΗ ΤΕΛΙΚΗ ΕΞΕΤΑΣΗ 5 Ιουλίου 2009

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΑΡΤΙΟΙ) Ασκησεις - Φυλλαδιο 5

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 5

ΚΕΦΑΛΑΙΟ 6 ΕΛΑΧΙΣΤΑ ΤΕΤΡΑΓΩΝΑ

Εφαρμοσμένα Μαθηματικά ΙΙ

= s 2m 1 + s 1 m 2 s 1 s 2

Κεφάλαιο 0. Μεταθετικοί ακτύλιοι, Ιδεώδη

A B. (f; B) = f(x 1 ) = a 11 x 1 + a k1 x k + 0.x k x n f(x 2 ) = a 12 x 1 + a k2 x k + 0.x k x n

Αρµονική Ανάλυση. Ενότητα: Μετασχηµατισµός Fourier. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών

h(x, y) = card ({ 1 i n : x i y i

Τίτλος Μαθήματος: Απειροστικός Λογισμός ΙΙΙ. Ενότητα: Όρια και συνέχεια συναρτήσεων. Διδάσκων: Ιωάννης Γιαννούλης. Τμήμα: Μαθηματικών

Transcript:

Φεβρουάριος-Μάρτιος 2016

1 τοπολογικές οµάδες 2 3

τοπολογικές οµάδες Ορισµός Μια οµάδα G λέγεται τοπολογική οµάδα αν είναι εφοδιασµένη µε µια τοπολογία τ.ω. οι (x, y) xy και x x 1 να είναι συνεχείς.

Παραδείγµατα G οµάδα µε την διακριτή τοπολογία (R, +), (R, ), (R +, ) (T, ), T = {z C : z = 1}

Οι παρακάτω οµάδες πινάκων µε την σχετική τοπολογία και πράξη τον πολλαπλασιασµό πινάκων. Παραδείγµατα GL(n, R) = {A = (a ij ) : n n πίνακας, a ij R, det A 0} SL(n, R) = {A : A GL(n, R), det A = 1} O(n, R) = {A : A GL(n, R), A t A = I} GL(n, C) = {A = (a ij ) : n n πίνακας, a ij C, det A 0} U(n) = {A : A GL(n, C), A A = I} SU(n) = {A : A U(n), det A = 1}

Παραδείγµατα T n = {A = (a ij ) : n n άνω τριγωνικός πίνακας, i, a ii = 1} 1 a 12 a 13 a 14 a 15 0 1 a 23 a 24 a 25 T 5 = 0 0 1 a 34 a 35 0 0 0 1 a 45 : a ij R 0 0 0 0 1 Η οµάδα του Heisenberg 1 x z H = 0 1 y 0 0 1 : x, y, z R

Παραδείγµατα Affine group G = {(A, x) : A GL(n, R), x R n } (A, x)(b, y) = (AB, Ay + x). Οµάδα Ισοµετριών του R n G = {(A, x) : A O(n, R), x R n } (A, x)(b, y) = (AB, Ay + x). G = {F : R n R n : Fw 2 = w 2, w R n }

Παραδείγµατα Η οµάδα του Lorentz J = G = {A GL(4, R) : AJA t = J} 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1. G = {F : F GL(4, R) : g(fw) = g(w), w R 4 } g(t, x, y, z) = t 2 x 2 y 2 z 2.

Πρόταση G τοπικά συµπαγής τοπολογική οµάδα. Τότε η G έχει ένα αριστερά αναλλοίωτο µέτρο. Το µέτρο αυτό είναι µοναδικό up to a scalar. Λέγεται µέτρο Haar και ϑα συµβολίζεται µ.

Ορισµός H χώρος Hilbert και G τοπολογική οµάδα. Μια unitary αναπαράσταση π της G είναι µια απεικόνιση G B(H) τέτοια ώστε: 1 x π(x) είναι οµοµορφισµός οµάδων 2 π(x) π(x) = π(x)π(x) = I, x G. 3 Για κάθε v H η απεικόνιση x π(x)v είναι συνεχής. Ορισµός (π, H) unitary αναπαράσταση της G. Ενας κλειστός διανυσµατικός υπόχωρος V του H λέγεται αναλλοίωτος αν π(x)v V, v V, x G V αναλλοίωτος, τότε V αναλλοίωτος.

Ορισµός (π, H) unitary αναπαράσταση της G. Η π λέγεται irreducible αν οι µόνοι αναλλοίωτοι υπόχωροι είναι ο H και ο {0}. Ορισµός G οµάδα (π, H) unitary αναπαράσταση της G. Αν V αναλλοίωτος υπόχωρος του H, τότε ο περιορισµός π V (x) του π(x) στον V, ορίζει ένα στοιχείο του B(V). Η g π V (x) είναι µια απεικόνιση G B(V) και λέγεται υποαναπαράσταση της π. Ορισµός (π 1, H 1 ), (π 2, H 2 ) αναπαραστάσεις της G. Η απεικόνιση x (π 1 π 2 )(x) : G B(H 1 H 2 ) που ορίζεται (π 1 π 2 )(x)(v 1 + v 2 ) = π 1 (x)v 1 + π 2 (x)v 2 λέγεται ευθύ άθροισµα των π 1, π 2.

Ορισµός (π 1, H 1 ), (π 2, H 2 ) αναπαραστάσεις της G. Λέγονται ισοδύναµες αν υπάρχει U : H 1 H 2 ισοµετρία επί, τέτοια ώστε x G. Uπ 1 (x) = π 2 (x)u Η ισοδυναµία αναπαραστάσεων είναι σχέση ισοδυναµίας. Ορισµός Ĝ το σύνολο των κλάσεων ισοδυναµίας των unitary irreducible αναπαραστάσεων της G.

Πρόταση G οµάδα, (π, H) αναπαράσταση της G. Τότε τα ε.ε.ι. 1 A B(H), Aπ(x) = π(x)a για κάθε x G, τότε A = λi. 2 π irreducible Παρατήρηση {π(x) : x G} είναι αυτοσυζυγής άλγεβρα και {π(x) : x G} = CI π irreducible

Παραδείγµατα Η τετριµµένη L 2 (G) ο χώρος Hilbert µε εσωτερικό γινόµενο f, g = f(x)g(x)dµ(x). Η αναπαράσταση λ που ορίζεται λ(y)f(x) = f(y 1 x) λέγεται αριστερή κανονική αναπαράσταση της G. G

Παρατήρηση G = R λ η αριστερή κανονική αναπαράσταση της R στον L 2 (R). Αν y 0, λ(y) λ(0) = 2

τοπολογικές οµάδες Πρόταση R, στο C: ορίζουµε για r R π r (x) = e irx Τότε ˆR = {π r : r R}. Απόδειξη π(s) h π(t)dt = h π(s + t)dt = 0 0 s s+h Επειδή π συνεχής και π(0) = 1, υπάρχει h > 0 τ.ω. h 0 π(t)dt 0. π(u)du

Επειδή η π συνεχής, η s s+t s π(u)du είναι διαφορίσιµη. Αρα η s π(s) είναι διαφορίσιµη. Θέτουµε c = π (0). Τότε π π(s + t) π(s) π(t) π(0) (s) = lim = π(s) lim = cπ (0). t 0 t t 0 t

Θέτουµε φ(s) = π(s)e cs. Τότε φ (s) = 0 και φ(0) = 1. Αρα π(s) = e cs. Επειδή π(s)π(s) = 1 έχουµε c = ir µε r R και π(s) = e irs.

Παρατήρηση f L 2 (R): ορίζουµε ˆf(s) = f(t)e ist dt R F : L 2 (R) L 2 (R) Ff = ˆf Ορίζουµε για x R, π(x) : L 2 (R) L 2 (R) (π(x)g)(s) = e ixs g(s)

Παρατήρηση Τότε αν f L 2 (R) F(λ(x)f)(s) = (λ(x)f)(t)e ist dt = f(t x)e ist dt R R R f(t)e is(t+x) dt = e isx R f(t)e ist dt = π(x)(ff)(s). Αρα και οι π και λ είναι ισοδύναµες. π(x)f = Fλ(x), x R

Παραδείγµατα T = R/Z, στο C: ορίζουµε για n Z π n (x) = e 2πinx ˆT = {π n : n Z}. Z στο C: ορίζουµε για a T π a (n) = e 2πina Ẑ = {π a : a T}.

συµπαγείς οµάδες τοπολογικές οµάδες Πρόταση G συµπαγής οµάδα. Τότε αν π Ĝ, d π < +. Πρόταση G συµπαγής οµάδα. Τότε η { d π π ij : π Ĝ, 1 i, j d π } είναι ορθοκανονική ϐάση του L 2 (G). Πρόταση G συµπαγής οµάδα. Τότε λ = π Ĝ π dπ

Πρόταση f L 2 (G) Θέτουµε ˆf(π) = f(x)π(x 1 )dµ(x) όπου µ(g) = 1. Τότε f(x) = d π tr(ˆf(π)π(x)) π Ĝ G (L 2 (G) σύγκλιση) Το µέτρο Plancherel του {π} είναι d π.

Παράδειγµα G = T e n (t) = e 2πint V n = [e n ] Τότε (λ(x)e n )(t) = e n (t x) = e 2πinx e 2πint = e 2πinx e n (t) L 2 (T) = n Z V n λ = n Z π n.

Παράδειγµα f L 2 (T) 1 ˆf(n) = f(t)e 2πint dt 0 f(t) = 2πint ˆf(n)e n Z (L 2 (T) σύγκλιση)

Παραδείγµατα SU(2) V n : οµογενή πολυώνυµα ϐαθµού n δύο µιγαδικών µεταβλητών. Θέτουµε φ k (z 1, z 2 ) = z k 1 zn k 2. Τα φ k για k = 0, 1,..., n αποτελούν ϐάση του V n και dim V n = n + 1. Ορίζουµε a k φ k, b k φ k = k!(n k)!a k b k.

Παραδείγµατα Η SU(2) δρά στον V n : Αν ( a b x = c d ) (π n (x)f)(z 1, z 2 ) = f(az 1 + cz 2, bz 1 + dz 2 ).

Πρόταση π n είναι irreducible. Απόδειξη A B(V n ) τ.ω. x SU(2) π n (x)a = Aπ n (x). Αν τότε x = ( a 0 0 a 1 π n (x)φ k (z 1, z 2 ) = φ k (az 1, a 1 z 2 ) = a 2k n φ k (z 1, z 2 ). ) Αν τα a 2k n, k = 0, 1, 2,...n είναι διάφορα ανά δύο, τότε Aφ k = c k φ k µε c k C k = 0, 1, 2,...n.

Αν τότε ( ) cos t sint x = sin t cos t (Aπ n (x)φ n )(z 1, z 2 ) = A(z 1 cos t + z 2 sin t) n n ( ) n = cos k t sin n k t Aφ k (z 1, z 2 ) k = k=0 n ( ) n cos k t sin n k t c k φ k (z 1, z 2 ) k k=0

και (π n (x)aφ n )(z 1, z 2 ) = (π n (x)c n φ n )(z 1, z 2 ) = c n (π n (x)φ n )(z 1, z 2 ) n ( ) n = c n cos k t sin n k t φ k (z 1, z 2 ) k k=0 n ( ) n = cos k t sin n k t c n φ k (z 1, z 2 ). k k=0 Αρα c n = c k k = 0, 1, 2,..., n.

Πρόταση ŜU(2) = {π n : n = 0, 1, 2,...}

Παραδείγµατα SO(3) l = 0, 1,..., P l : µιγαδικός χώρος των οµογενών πολυωνύµων ϐαθµού l τριών πραγµατικών µεταβλητών. dim P l = 1 (l + 1)(l + 2) 2 P 2 = {c 11 x 2 1 +c 22 x 2 2 +c 33 x 2 3 +c 12 x 1 x 2 +c 23 x 2 x 3 +c 31 x 3 x 1 : c ij C}

Παραδείγµατα Η SO(3) δρα στον P l : Αν A SO(3), x = (x 1, x 2, x 3 ), f P l ϑέτουµε Af(x) = f(xa). Η δράση δεν είναι irreducible.

Παραδείγµατα Αρµονικά πολυώνυµα ϐαθµού l. = 2 /ϑx 2 1 + 2 /ϑx 2 2 + 2 /ϑx 2 3 H l = {f P l : f = 0} f C. dim H l = 2l + 1 Af = A f

Παραδείγµατα Ορίζουµε σ n στον H l σ n (A)f(x) = f(xa) Πρόταση ŜO(3) = {σ n : n = 0, 1, 2,...}

Παραδείγµατα SU(2)/{ I, I} SO(3) π αναπαράσταση της SU(2) τετριµµένη στο κέντρο, ορίζει µια αναπαράσταση της SO(3). V 2l H l

Παραδείγµατα Οµάδα του Heisenberg H: λ R, ορίζουµε π λ στον L 2 (R): (π λ (x, y, z)f)(t) = e iλz e iλyt f(t x) (s, t) R 2, ορίζουµε π s,t στον C: π s,t (x, y, z) = e i(sx+ty) Ĥ = {π λ : λ R } {π s,t : (s, t) R 2 }