A :H. S B(H) unilateral shift : Se n = e n+1, n Z + και U B(K) bilateral shift : Ue n = e n+1, n Z. X 0 0 S Y S. U m = B = D A.

Μέγεθος: px
Εμφάνιση ξεκινά από τη σελίδα:

Download "A :H. S B(H) unilateral shift : Se n = e n+1, n Z + και U B(K) bilateral shift : Ue n = e n+1, n Z. X 0 0 S Y S. U m = B = D A."

Transcript

1 Διαστολές Τελεστών 1 Εισαγωγή Αν H είναι 1 κλειστός υπόχωρος χώρου Hilbert K, κάθε B B(K) ορίζει έναν A B(H) ως εξής: A :H B K P H x Bx P Bx όπου P B(K) η ορθή προβολή στον H. Δηλαδή A = P B H ή AP = P BP ή Ax, x = Bx, x για κάθε x H. Λέμε ότι ο A είναι η συμπίεση (compression) του B στον H και ο B είναι η 1-διαστολή (1-dilation) 2 του A στον K. Στην ειδική περίπτωση που ο H μένει αναλλοίωτος από τον B (οπότε P BP = BP ) ισχύει ότι A = B H, δηλαδή ο A είναι περιορισμός (restriction) του B στον H και ο B είναι επέκταση (extension) του A στον K. Παράδειγμα 1.1 H = l 2 (Z + ) K = l 2 (Z). S B(H) unilateral shift : Se n = e n+1, n Z + και U B(K) bilateral shift : Ue n = e n+1, n Z. Εδώ U H = S (ο S είναι περιορισμός του U) αλλά U H S διότι U e 0 = e 1 ενώ S e 0 = 0. Ο S είναι συμπίεση του U : S = P U P. Ως προς την διάσπαση K = H H, έχουμε [ ] [ ] X 0 X U =, U Y = Y S 0 S όπου X, Y κατάλληλοι τελεστές. Παρατήρησε ότι, επειδή ο H είναι U-αναλλοίωτος, [ ] 0 U m = S m για κάθε m Z +. Γενικά όταν AP = P BP δεν έπεται πάντα ότι A m P = P B m P. Παράδειγμα 1.2 Εστω A B(H) συστολή (δηλ. A 1). Θέτω D = (I A A) 1/2, D = (I AA ) 1/2 (οι D και D ορίζονται) και [ ] A D B = D A. Τότε ο B είναι unitary και είναι 1-διαστολή του A. Ομως ο B 2 είναι 1-διαστολή του A 2 μόνο αν D D = 0. 1 shft2, revision of shft1, 17 May 2015, compiled 19 Μαΐου Ο Halmos χρησιμοποιεί τον όρο dilation. 1

2 Απόδειξη. Άσκηση! Οταν μπορούμε να βρούμε έναν B B(K) και μια ορθογώνια διάσπαση του K της μορφής K = H H H + ως προς την οποία ο B να γράφεται 0 0 B = A 0 τότε για κάθε m Z + ο B m είναι 1-διαστολή του A m. Αυτό συμβαίνει αν και μόνον αν υπάρχουν B-αναλλοίωτοι κλειστοί υπόχωροι M, N του K με N M και H = M N := M N (γράφω N = H + και M = H + H = H ). [Άσκηση!]. διλ Ορισμός 1 Ενας B B(K) λέγεται διαστολή (dilation) 3 ενός A B(H) αν H K και A n = P B n H για κάθε n N (όπου P B(K) η προβολή στον H), ή ισοδύναμα, A n x, y = B n x, y για κάθε x, y H και n N. Δηλαδή ο B θα λέγεται διαστολή του A αν η ημιομάδα {B n : n Z + } B(K) είναι ταυτόχρονη 1-διαστολή της ημιομάδας {A n : n Z + } B(H). Οπως παρατηρήσαμε, μια διαστολή B B(K) του A B(H) είναι επέκταση αν και μόνον αν ο H είναι B-αναλλοίωτος. Για να υπάρχει unitary διαστολή B του A, είναι αναγκαία συνθήκη ο A να είναι συστολή: A = P BP B = 1. Θα δείξουμε αντίστροφα ότι Θεώρημα 1.3 Κάθε συστολή A B(H) δέχεται διαστολή σε unitary B B(K). Για να το αποδείξουμε, θα δείξουμε τα ακόλουθα: (α) Κάθε συστολή διαστέλλεται σε ισομετρία. (β) Κάθε ισομετρία σπάει σε unitary unilateral shift (με «πολλαπλότητα»). (γ) Κάθε shift επεκτείνεται σε bilateral shift (με «πολλαπλότητα»). 2 Μονόπλευρα Shifts Ορισμός 2 Ενας κλειστός υπόχωρος L ενός χώρου Hilbert H λέγεται περιπλανώμενος (wandering) για μια ισομετρία A B(H) αν οι υπόχωροι L, A(L), A 2 (L),... είναι κάθετοι ανα δύο. (Οι υπόχωροι L, A(L), A 2 (L),... είναι κλειστοί αφού ο A είναι ισομετρία.) Παράδειγμα 2.1 Ο υπόχωρος L := ker A = H A(H) είναι περιπλανώμενος. 3 Ο Halmos χρησιμοποιεί τον όρο power dilation. 2

3 Απόδειξη. Αν A n x A n (L) και A m y A m (L) όπου k = n m > 0 τότε, εφόσον ο A m είναι ισομετρία, A n x, A m y = A m A k x, A m y = A k x, y = 0 διότι A k x A(H) (εφόσον k 1) ενώ το y είναι στον L που είναι κάθετο στον A(H). Επομένως A n (L) A m (L). Παρατήρηση 2.2 Γενικά μια ισομετρία που δεν είναι unitary έχει πολλούς περιπλανώμενους υποχώρους. Για παράδειγμα αν L := ker A όλοι οι υπόχωροι S n (L) είναι περιπλανώμενοι. Επίσης, αν υπάρχουν δυο μη μηδενικά κάθετα διανύσματα x, y στον L, ο υπόχωρος L = [x, Sy] είναι περιπλανώμενος και διαφορετικός από τους προηγούμενους. Συμβολισμός Αν {M n } είναι κάθετοι ανά δύο κλειστοί υπόχωροι ενός χώρου Hilbert H, το (ορθογώνιο) ευθύ άθροισμα M n = M 0 M 1 M 2... είναι ο μικρότερος κλειστός υπόχωρος n M n του H που περιέχει κάθε M n. Αποτελείται από όλα τα ξ H της μορφής ξ = ξ n όπου ξ n M n και ξ n 2 <. Αν L είναι A-περιπλανώμενος υπόχωρος, το ευθύ άθροισμα M + (L) := A n (L) είναι ο μικρότερος A-αναλλοίωτος υπόχωρος του H που περιέχει τον L. ρεςο Παρατήρηση 2.3 Μπορούμε να ξαναβρούμε τον περιπλανώμενο υπόχωρο L από τον M + (L): L = M + (L) A(M + (L)) := M + (L) (A(M + (L))). Πράγματι, ο L περιέχεται στον M + (L) και είναι κάθετος σε κάθε A n+1 (L), (n 0), άρα στο ευθύ τους άθοισμα, που είναι ο A(M + (L)). Αντίστροφα, αν ένα ξ = k 0 Ak x k είναι στον M + (L) (δηλ. κάθε x k ανήκει στο L) και είναι κάθετο στον A(M + (L)), άρα σε κάθε A n+1 (L), τότε για κάθε η L και n 0 έχουμε 0 = ξ, A n+1 η = k 0 A k x k, A n+1 η = A n+1 x n+1, A n+1 η = x n+1, η άρα x n+1 = 0 για κάθε n 0, οπότε ξ = x 0 L. 3

4 Ορισμός 3 Ενας τελεστής S B(H) λέγεται (unilateral) shift αν (α) Sx = x για κάθε x H (είναι ισομετρία) και (β) υπάρχει ένας κλειστός υπόχωρος L H που είναι περιπλανώμενος (wandering) για τον S, τέτοιος ώστε το άθροισμά M + (L) των S n (L) να είναι ο H. Ο αριθμός dim L ονομάζεται η πολλαπλότητα του shift S. Από την Παρατήρηση 2.3 έπεται ότι ο περιπλανώμενος υπόχωρος L καθορίζεται μοναδικά από τον S: εφόσον M + (L) = H, έχουμε L = H S(H) = S(H) = ker(s ). Επομένως η πολλαπλότητα ενός shift είναι καλά ορισμένη. Αντίστροφα, η πολλαπλότητα ενός shift το καθορίζει μοναδικά ως προς unitary ισοδυναμία: Παρατήρηση 2.4 Δύο shifts S B(H) και S 1 B(H 1 ) είναι unitarily ισοδύναμα αν και μόνο αν οι περιπλανώμενοι υπόχωροί τους L και L 1 έχουν την ίδια διάσταση. Πράγματι, αν οι L και L 1 έχουν την ίδια διάσταση, επιλέγοντας έναν unitary U : L L 1 ορίζουμε V : H H 1 : S n (x n ) S n 1 (Ux n ). Είναι φανερό ότι ο V είναι αντιστρέψιμος: ( ) V 1 S n 1 (y n ) = S n (U 1 y n ) και είναι ισομετρικός διότι S n 1 (Ux n ) 2 = S1 n (Ux n ) 2 = x n 2 = S n (x n ) 2. Για παράδειγμα ο τελεστής T f(z) = zf(z), f H 2 είναι shift. 4 Θα χρειασθούμε μια εύκολη παρατήρηση: προθ Παρατήρηση 2.5 Αν T B(H) είναι ισομετρία και P προβολή, τότε η προβολή στον χώρο T P (H) είναι η T P T. Απόδειξη. Ο χώρος T P (H) είναι κλειστός αφού ο T είναι ισομετρία. Αν ξ = T (η) T P (H) τότε T P T ξ = T P T T η = T P η = T η = ξ εφόσον T T = I και η P (H). Και αν ζ T P (H) τότε T P T ζ = 0 εφόσον για κάθε ξ H έχουμε T P T ζ, ξ = ζ, T P T ξ = 0 διότι P (T ξ) P (H) άρα T P T ξ T P (H). 4 Παρατήρησε ότι ο T είναι unitarily ισοδύναμος με το συνηθισμένο shift (με πολλαπλότητα 1) Se n = e n+1 στον l 2. Η ισοδυναμία ορίζεται από τον unitary F : H 2 l 2 : ζ n e n, όπου ζ n (e it ) = e int (ο F είναι βέβαια ο περιορισμός στον H 2 του μετασχηματισμού Fourier F : L 2 (T) l 2 (Z)). Το διάνυσμα ζ είναι περιπλανώμενο διάνυσμα για τον T, δηλ. η οικογένεια {T n ζ : n Z + } είναι ορθοκανονική. 4

5 ωολδ Θεώρημα 2.6 (Διάσπαση Wold) Εστω A B(H) ισομετρία. Υπάρχει μοναδική διάσπαση H = H s H u του H σε A-ανάγοντες υποχώρους ώστε ο περιορισμός A s του A στον H s να είναι shift (αν δεν μηδενίζεται) και ο περιορισμός A u του A στον H u να είναι unitary (αν δεν μηδενίζεται). Επίσης H s = n 0 A n (L) = {x H : A n x 0} και H u = n 0 A n (H). Απόδειξη. (α) Εστω L = ker(a ). Εχουμε ήδη παρατηρήσει ότι ο L είναι A-περιπλανώμενος. Θέτουμε H s = M + (L) = n 0 A n (L). Είναι φανερό ότι ο H s είναι A-αναλλοίωτος, και ότι ο A περιορισμένος στον H s είναι shift. (β) Θα δείξουμε ότι Ενα διάνυσμα x ανήκει στον H s αν και μόνον αν H s = {x H : A n x 0}. (**) x = P (A n (L))x όπου P (A n (L)) η προβολή στον A n (L). Η προβολή αυτή ισούται με A n P (L)A n από την Παρατήρηση 2.5, όπου P (L) είναι η προβολή στον L = ker(a ). Ομως P (L) = I AA (γιατί ker(a ) = ker(aa )) άρα P (A n (L)) = A n (I AA )A n. Επομένως το x ανήκει στον H s αν και μόνον αν x = N 1 P (A n (L))x = lim A n (I AA )A n x = x lim N N AN A N x (*) δηλ. αν και μόνον αν lim N A N A N x = 0, ισοδύναμα αν και μόνον αν lim N A N x = 0 (ο A N είναι ισομετρία). Η σχέση ( ) αποδείχθηκε. (γ) Θα δείξουμε ότι H s = n 0 A n (H). Ενα διάνυσμα y είναι κάθετο στον H s αν και μόνον αν y A n (L) για κάθε n 0, ισοδύναμα αν 0 = P (A n (L))y = A n (I AA )A n y A n A n y = A n+1 A n+1 y για κάθε n, και άρα y = A n A n y για κάθε n. Αλλά ο A n A n είναι η προβολή στον A n (H). Επομένως y H s αν και μόνον αν y A n (H) για κάθε n 0. Με άλλα λόγια, y H s αν και μόνον αν y n 0 An (H). Δείξαμε ότι (H s ) = n 0 A n (H) := H u. 5

6 (δ) Δείχνουμε ότι ο A Hu είναι unitary. Αν P = P (H u ) τότε, για κάθε x H, P x n 0 An (H) οπότε P x = lim n A n A n x. Εχουμε P (AH u )x = AP A x = A lim n A n A n A x = lim n A n+1 A (n+1) x = P x και άρα P (AH u ) = AP A = P επομένως P A = AP A A = AP. Η δεύτερη σχέση δείχνει ότι ο H u ανάγει (reduces) τον A και η πρώτη σχέση δείχνει ότι ο A στέλνει τον H u επί του H u. Συνεπώς ο A Hu είναι unitary τελεστής στον H u. Επομένως και ο H s = H u ανάγει τον A. Μοναδικότητα Μένει να δειχθεί ότι αν H = K s K u είναι μια διάσπαση ώστε ο A Ks να είναι shift και ο A Ku unitary, τότε K u = H u και K s = H s. Ομως, αν ο A Ks είναι shift τότε ο L := K s A(K s ) είναι A-περιπλανώμενος. Αρκεί λοιπόν να δείξουμε ότι L = L, γιατί τότε θα έχουμε K s = M + (L ) = M + (L) = H s, οπότε και τα ορθογώνια συμπληρώματά τους θα είναι ίσα. Εχουμε 5 L = H AH = (K u K s ) (AK u AK s ) = (K u K s ) (K u AK s ) = K s AK s = L. σηιφτ Πόρισμα 2.7 Επεται ότι μια ισομετρία A B(H) είναι shift αν και μόνον αν ικανοποιεί A n x 0 για κάθε x H. Ισοδύναμα αν και μόνον αν n 0 An (H) = 0. 3 Αμφίπλευρα (Bilateral) Shifts Ορισμός 4 Αμφίπλευρο shift είναι ένας unitary τελεστής U B(H) που έχει έναν περιπλανώμενο υπόχωρο L τέτοιο ώστε n Z U n (L) = H. Παράδειγμα Ο U B(l 2 (Z)) όπου Ue n = e n+1 (n Z). Ενας περιπλανώμενος υπόχωρος είναι ο L = [e 122 ], για παράδειγμα. Αν U B(H) είναι αμφίπλευρο shift με έναν περιπλανώμενο υπόχωρο L, θέτουμε H + n 0 U n (L) και ονομάζουμε S B(H + ) τον περιορισμό του U στον H + : είναι unilateral shift. Αντίστροφα, Πρόταση 3.1 Κάθε unilateral shift S B(H) επεκτείνεται σε bilateral shift U B(K) (όπου K H). Ακριβέστερα: Υπάρχει χώρος Hilbert K, ισομετρική εμφύτευση W : H K και αμφίπλευρο shift U B(K) που αφήνει τον W (H) αναλλοίωτο ώστε S = W UW. Απόδειξη. Προσεχώς! Πρόταση 3.2 Κάθε ισομετρία T B(H) επεκτείνεται σε unitary V B(K) (όπου K H). 5 Πιό αναλυτικά: Αν x L γράφουμε x = x s +x u όπου x s K s και x u K u. Ομως x A(K u K s ) και A(K u K s ) = AK u AK s = K u AK s (παρατήρησε ότι A(K u ) = K u εφόσον ο A Ku είναι unitary). Επομένως x K u, άρα x = x s K s. Αλλά επίσης x A(K s ), οπότε x K s A(K s ) L. Αυτό δείχνει ότι L L. Το ίδιο επιχείρημα, χρησιμοποιώντας τη διάσπαση H = H s H u, δείχνει ότι L L. 6

7 Απόδειξη. (Σύντομη) Πρώτα από Wold έχω T = T s T u στον H = H s H u όπου T u unitary και T s shift. Επεκτείνω τον T s σε bilateral shift U s στον K s H s. Ορίζω K = K s H u και V = U s T u. Δηλαδή, ως προς την διάσπαση K = (K s H s ) H s H u έχουμε 0 0 V = T s T u 4 Διαστολή μιας συστολής Αν A B(H) είναι μια μη ισομετρική συστολή, δεν αναμένουμε να υπάρχει επέκταση σε unitary τελεστή V B(K) ώστε ο H να είναι V -αναλλοίωτος υπόχωρος του K. Αυτό που μπορούμε όμως να πετύχουμε είναι να βρούμε unitary διαστολή (dilation) V B(K) του A (δες τον Ορισμό 1). Κατασκευή [Schäeffer] Εφόσον ο A είναι συστολή, οπότε A A I, ο τελεστής I A A είναι θετικός, συνεπώς έχει τετραγωνική ρίζα D A = (I A A) 1/2. (Παρατηρούμε ότι ο A είναι ισομετρία αν και μόνον αν D A = 0. ) Θέτουμε H = n 0 H n όπου H n = H για κάθε n και ορίζουμε V : H H : (x 0, x 1, x 2,... ) (Ax 0, D A x 0, x 1, x 2,... ) A D A δηλ. V = 0 I Ο V είναι ισομετρία. Αυτό έπεται από την ισότητα Ax D A x 0 2 = A Ax 0, x 0 + D 2 A x 0, x 0 = x 0, x 0 οπότε V x 2 = Ax D A x x x = x x x = x 2 (Ας παρατηρήσουμε ότι ο υπόχωρος H 0 δεν είναι V -αναλλοίωτος, εκτός αν D A = 0, δηλ. εκτός αν ο A είναι ισομετρία). Εχουμε V (H 0 ) H 0 H 1 και P H0 V H0 = A. Επειδή όμως ο πίνακας του V στη διάσπαση H = n 0 H n είναι (κάτω) τριγωνικός, 6 η θέση (0, 0) του V m είναι A m, άρα P H0 V m H0 = A m για κάθε m N. 6 Ο υπόχωρος H 0 είναι V -ημι-αναλλοίωτος, δηλ. είναι η διαφορά δύο V -αναλλοίωτων υποχώρων (στην περίπτωσή μας, H 0 = ( n 0 Hn ) ( n 1 Hn )). Το ίδιο θα ίσχυε και αν ο πίνακας του V ήταν άνω τριγωνικός. Άσκηση [Sarason] Αν A B(H) είναι άλγεβρα τελεστών (ή απλώς ημιομάδα) και P B(H) προβολή, η απεικόνιση A P A P (H) είναι πολλαπλασιαστική στην A αν και μονον αν η P είναι A-ημι-αναλλοίωτη, δηλ. είναι η προβολή σε έναν υπόχωρο της μορφής M N, όπου οι M, N είναι A-αναλλοίωτοι κλειστοί υπόχωροι και N M H. 7

8 Παρατηρούμε ότι στην περίπτωση που ο A είναι ήδη ισομετρία, η κατασκευή αυτή δίνει A [ ] A 0 V = 0 I = 0 S Μια τέτοια διαστολή δεν είναι καθόλου «οικονομική». Θα δείξουμε ότι για κάθε ισομετρική διαστολή V B(K) μιας συστολής A B(H) μπορούμε να βρούμε μια ισομετρική διαστολή V m B(H m ) του A σε έναν υπόχωρο H m K που είναι minimal με την έννοια ότι ο H m είναι ο μικρότερος V -αναλλοίωτος υπόχωρος του K που περιέχει τον H. Ορισμός 5 Εστω A B(H), A 1. Μια διαστολή V B(K) του A είναι minimal όταν ο μικρότερος V -αναλλοίωτος υπόχωρος του K που περιέχει τον H είναι ο ίδιος ο K. Θεώρημα 4.1 Κάθε συστολή A B(H) έχει μια minimal ισομετρική διαστολή V B(K). Η διαστολή αυτή είναι ουσιαστικά μοναδική: αν V B(K ) είναι minimal ισομετρική διαστολή του A, υπάρχει unitary W : K K τέτοιος ώστε W V = V W και W x = x για κάθε x H. Απόδειξη. Υπαρξη: Αν V 0 B(K 0 ) είναι μια διαστολή του A, ονομάζουμε K την κλειστή γραμμική θήκη της ένωσης των V0 m (H) (γράφουμε K = n 0 V 0 n (H)) και θέτουμε V = V 0 K. Είναι προφανές ότι η V είναι minimal ισομετρική διαστολή του A. Μοναδικότητα: Παρατηρούμε ότι όταν x, y H, τα εσωτερικά γινόμενα V m x, V n y εξαρτώνται μόνον από τον A κι όχι από τον V, αφού V m H = A m. Ετσι, η απεικόνιση W : N V k x k k=0 N (V ) k x k (x k H, N Z + ) k=0 είναι ισομετρική και συνεπώς καλά ορισμένη. Πράγματι, N 2 (V ) k x k = k=0 = N k, N k, (V ) k x k, (V ) n x n = N k, N 2 V k x k, V n x n = V k x k. k=0 A k x k, A n x n Επομένως ο W επεκτείνεται σε ισομετρία από τον K = k V k (H) επί του K = k (V ) k (H). Από τον ορισμό του W έχουμε W x = x και W V k x = (V ) k x όταν x H άρα W V k x = (V ) k W x, επομένως W V = V W. 8

9 Θεώρημα 4.2 Κάθε συστολή A B(H) δέχεται διαστολή σε unitary B B(K) που είναι minimal, δηλ. ο μικρότερος κλειστός υπόχωρος του K που περιέχει τον H και ανάγει (reduces) τον B είναι ο ίδιος ο K. Μια minimal διαστολή είναι μοναδική ως προς unitary ισοδυναμία. Απόδειξη. Υπαρξη: Αν B 0 B(K 0 ) είναι μια unitary διαστολή του A, θέτουμε K = n Z Bn 0 (H) (= κλειστή γραμμική θήκη της ένωσης) και B = B 0 K. Μοναδικότητα: U : Προσεχώς! Το κρίσιμο βήμα είναι να δείξουμε ότι η απεικόνιση N k= N B k x k N (B ) k x k (x k H, N Z + ) k= N είναι ισομετρική και συνεπώς καλά ορισμένη. Πράγματι, N 2 (B ) k x k = k= N N k,n= N (B ) k x k, (B ) n x n (B ) k x k, (B ) n x n + (B ) k x k, (B ) n x n ((B ) m unitary) = k n k>n = xk, (B ) n k x n + (B ) k n x k, x n k n k>n xk, A n k x n + A k n x k, x n = k n k>n = xk, B n k x n + B k n x k, x n k n k>n N N 2 (B m unitary) = B k x k, B n x n = B k x k. k, k=0 Τα υπόλοιπα προχωρούν όπως στην προηγούμενη απόδειξη. 5 Ανισότητα von Neumann 51 Θεώρημα 5.1 (Ανισότητα von Neumann) Αν T B(H) είναι συστολή και p πολυώνυμο, τότε p(t ) B(H) sup{ p(z) : z T}. Απόδειξη. Χρειάζονται δύο Λήμματα (δες την παράγραφο 5.1 για τις αποδείξεις): εν δυο Λήμμα 5.2 Αν X αντιστρέψιμος τότε σ(x 1 ) = {λ 1 : λ σ(x)}. Λήμμα 5.3 Αν A B(H) normal τότε A = sup{ λ : λ σ(a)}. 9

10 Εστω τώρα T B(H) συστολή και U B(K) μια unitary διαστολή της, όπου K H. Τότε για κάθε πολυώνυμο p(z) = N k=1 c kz k, από τη σχέση T k = P H U k H έχουμε p(t ) = P H p(u) H άρα p(t ) p(u). Ομως ο τελεστής p(u) είναι φυσιολογικός, άρα από το Λήμμα 5.3 p(u) = sup{ µ : µ σ(p(u))}. Τώρα από το Λήμμα φασματικής απεικόνισης για πολυώνυμα (ας θυμηθούμε ότι η α- πόδειξή του ήταν καθαρά αλγεβρική) έχουμε σ(p(u)) = {p(λ) : λ σ(u)}. Ισχυρίζομαι όμως ότι σ(u) T. Πράγματι, επειδή ο U είναι unitary έχουμε U 1 και U 1 = U 1. Εστω λ σ(u). Τότε η σχέση U 1 δίνει λ 1 και, επειδή 1 σ(u 1 ) (Λήμμα 5.5) η σχέση U 1 1 δίνει 1 1. Συνεπώς λ = 1. λ λ Άρα σ(u) T και τελικά έχουμε p(t ) p(u) = sup{ µ : µ σ(p(u))} = sup{ p(λ) : λ σ(u)} sup{ p(λ) : λ T}. Πόρισμα 5.4 (Αρχή μεγίστου) Αν p πολυώνυμο, για κάθε w C με w 1, p(w) sup{ p(z) : z = 1}. Απόδειξη. Εστω w C, w 1. Θεωρώ τον τελεστή T w : C C : x wx. Είναι συστολή: T w = w 1, άρα από το θεώρημα 5.1 έχουμε p(t w ) sup{ p(z) : z T}. Ομως p(t w )x = p(w)x για κάθε x, οπότε p(t w ) = p(w). πφς εν 5.1 Αποδείξεις των Λημμάτων Λήμμα 5.5 Αν X αντιστρέψιμος τότε σ(x 1 ) = {λ 1 : λ σ(x)}. Απόδειξη. Το επιχείρημα είναι καθαρά αλγεβρικό: Εστω µ σ(x 1 ), να δείξω ότι 1 µ 0 και σ(x). Ασφαλώς µ 0, γιατί 0 / µ σ(x 1 ). Αν λ := 1 / σ(x), τότε µ υπάρχει ο W := (λi X) 1. Εχουμε (X 1 λ 1 )(λxw ) = (λx 1 I)XW = (λi X)W = I και ομοίως (λw X)(X 1 λ 1 ) = I οπότε µ = λ 1 / σ(x 1 ), αντίθετα με την υπόθεση. Εδειξα λοιπόν ότι µ σ(x 1 ) 1 σ(x), και η αντίστροφη συνεπαγωγή έπεται µ λόγω συμμετρίας. Η απόδειξη του Λήμματος 5.3 στηρίζεται στο εξής κλασικό Θεώρημα 5.6 (τύπος Gelfand - Beurling) Αν A είναι άλγεβρα Banach με μονάδα και A A, sup{ λ : λ σ(a)} = lim n A n 1/n. Ειδικότερα, η ακολουθία ( A n 1/n ) n συγκλίνει. Απόδειξη. Γράφουμε ρ(a) := sup{ λ : λ σ(a)}. Ξέρουμε ήδη ότι ρ(a) A. Επίσης για κάθε n N, αν λ σ(a) τότε λ n σ(a n ) 7 7 διότι λ n I A n = (λi A)X για κάποιο X A, άρα το λ n I A n δεν μπορεί να έχει αντίστροφο 10

11 και συνεπώς Επομένως για κάθε λ σ(a), άρα Αρκεί λοιπόν να δείξουμε ότι Ξέρουμε ότι αν λ / σ(a) η συνάρτηση λ n A n άρα λ A n 1/n. λ inf A n 1/n lim inf A n 1/n ρ(a) lim inf A n 1/n. lim sup A n 1/n ρ(a). λ R λ = (λi A) 1 ορίζεται και είναι ολόμορφη. Άρα είναι ολόμορφη στο {λ C : λ > ρ(a)}. Επίσης, αν λ > A οπότε A < 1 τότε λ R λ = λ 1 ( I A λ ) 1 = λ 1 ( ) n A, (*) λ ειδικότερα lim λ R λ = 0. Εστω φ : A C γραμμική και φραγμένη. Θέτοντας µ = 1 συμπεραίνουμε ότι η λ συνάρτηση g φ (µ) = φ(r µ 1) = φ(µ(i µa) 1 ) ορίζεται και είναι ολόμορφη στο {µ C : 0 < µ < ρ(a) 1 } και lim µ 0 g φ (µ) = 0, άρα επεκτείνεται σε ολόμορφη στον δίσκο Ω := {µ C : µ < ρ(a) 1 }. Άρα η g φ έχει δυναμοσειρά g φ (µ) = a n µ n (έχω a 0 = 0 διότι g φ (0) = 0) που συγκλίνει στον δίσκο αυτόν. Ομως στον (ενδεχομένως) μικρότερο δίσκο {µ C : µ < A 1 } έχουμε από την ( ) ( ) g φ (µ) = φ(µ(i µa) 1 ) = µφ (µa) n = φ(a n )µ n+1. Από τη μοναδικότητα των συντελεστών μιας δυναμοσειράς έπεται ότι οι δύο σειρές συμπίπτουν, δηλαδή η φ(an )µ n+1 συγκλίνει στον δίσκο Ω. Επομένως, αν σταθεροποιήσουμε ένα µ με µ < ρ(a) 1, η ακολουθία (φ(a n )µ n+1 ) n θα είναι φραγμένη, ή ισοδύναμα η ακολουθία (φ(a n )µ n ) n θα είναι φραγμένη. Δηλαδή για κάθε φ : A C γραμμική και φραγμένη, υπάρχει M φ < ώστε φ(a n µ n ) M φ για κάθε n N. Από την Αρχή Ομοιομόρφου Φράγματος συμπεραίνουμε ότι υπάρχει M < ώστε A n µ n M για κάθε n N, δηλ. n=1 A n M µ n για κάθε n N. 11

12 Δείξαμε ότι για κάθε λ = 1 με λ > ρ(a), υπάρχει M < ώστε µ A n M λ n για κάθε n N και άρα A n 1/n M 1/n λ για κάθε n N οπότε lim sup A n 1/n λ. Αφού η τελευταία ανισότητα ισχύει για κάθε λ C με λ > ρ(a), θα έχουμε και lim sup A n 1/n ρ(a) και κατά συνέπεια lim sup A n 1/n ρ(a) lim inf A n 1/n άρα ισχύει ισότητα lim A n 1/n = ρ(a). Πόρισμα 5.7 Αν T B(H) normal τότε T = sup{ λ : λ σ(t )}. Απόδειξη. Εχουμε T 2 = T T, άρα T 4 = T T 2 (c ) = (T T ) (T T ) = T T T T (n) = T T T T (c ) = T 2 2 (χρησιμοποιήσαμε δυο φορές την ιδιότητα (c ) και στο (n) το γεγονός ότι T T = T T ). Δηλαδή T 2 = T 2 και επαγωγικά T 2n = T 2 n, άρα T = T 2 n 1/2n για κάθε n N. Συνεπώς T = lim n T 2n 1/2 n = sup{ λ : λ σ(t )} από τον τύπο Gelfand - Beurling. 6 Συμπληρώματα Δείξαμε ότι η ημιομάδα συστολών {A n : n 0} B(H) δέχεται ταυτόχρονη διαστολή {U n : n 0} B(K) σε μια ημιομάδα από unitaries, η οποία βεβαίως περιέχεται στην ομάδα {U n : n Z} B(K). Το αποτέλεσμα αυτό επεκτείνεται από την ημιομάδα Z + στην ημιομάδα R + : Θεώρημα 6.1 Εστω {A s : s 0} B(H) μια συνεχής μονοπαραμετρική ημιομάδα συστολών, δηλαδή A 0 = I, A s+t = A s A t, A s 1 και lim A s x A t x = 0 x H. s t Τότε υπάρχει χώρος Hilbert K που περιέχει τον H και συνεχής μονοπαραμετρική ομάδα από unitaries {U s : s R} B(K) ώστε A s = P H U s H για κάθε s 0. Τι συμβαίνει για γενικότερες μεταθετικές οικογένειες συστολών; 12

13 Θεώρημα 6.2 (Ando) Αν T 1, T 2 B(H) είναι δύο συστολές που μετατίθενται (T 1 T 2 = T 2 T 1 ), υπάρχει χώρος Hilbert K που περιέχει τον H και unitaries U 1, U 2 B(K) που μετατίθενται, ώστε T n 1 T m 2 = P H U n 1 U m 2 H για κάθε n, m 0. Πόρισμα 6.3 (Ανισότητα von Neumann) Αν T 1, T 2 B(H) είναι δύο συστολές που μετατίθενται και p ένα πολυώνυμο δύο μεταβλητών, τότε p(t 1, T 2 ) B(H) sup{ p(z 1, z 2 ) : z 1 1, z 2 1}. Το θεώρημα του Ando δεν επεκτείνεται εν γένει για τρεις ή περισσότερες συστολές που μετατίθενται. Αν υπήρχε μια τέτοια επέκταση, θα ίσχυε και μια ανισότητα von Neumann: p(t 1,..., T m ) B(H) sup{ p(z 1,..., z m ) : z i 1} για κάθε m-άδα συστολών T 1,..., T m B(H) που μετατίθενται και κάθε πολυώνυμο m μεταβλητών p. Ομως υπάρχει το ακόλουθο Παράδειγμα 6.4 (Kaijser-Βαρόπουλος) Υπάρχουν τρείς συστολές T 1, T 2, T 3 B(C 5 ) που μετατίθενται και ένα πολυώνυμο p τριών μεταβλητών ώστε p(t 1, T 2, T 3 ) > sup{ p(z 1, z 2, z 3 ) : z i 1}. Ανοικτό πρόβλημα παραμένει αν ισχύει μια ανισότητα τύπου von Neumann, αλλά με μια σταθερά K m > 1: Πρόβλημα 6.5 Υπάρχει σταθερά K m (1, ) ώστε για κάθε m-άδα συστολών T 1,..., T m B(H) που μετατίθενται και για κάθε πολυώνυμο m μεταβλητών p να ισχύει p(t 1,..., T m ) B(H) K m sup{ p(z 1,..., z m ) : z i 1}? Είναι γνωστό ότι δεν μπορεί να υπάρχει τέτοια σταθερά μικρότερη από m 11. Διαστολές γενικότερων σχέσεων Πρόταση 6.6 Αν T 1, T 2 B(H) είναι δύο συστολές που ικανοποιούν τη σχέση T 1 T 2 = λt 2 T 1 όπου λ T, τότε υπάρχουν unitary διαστολές U 1, U 2 B(K) όπου K H ώστε Γενικότερα U 1 U 2 = λu 2 U 1. Πρόταση 6.7 (Davidson, Κατσούλης) Αν T 1, T 2 που ικανοποιούν τη σχέση T 1 T 2 = φ(t 2 )T 1 B(H) είναι δύο συστολές όπου φ μη σταθερό πεπερασμένο γινόμενο Blaschke, τότε υπάρχουν unitary διαστολές U 1, U 2 B(K) όπου K H ώστε U 1 U 2 = φ(u 2 )U 1. Πεπερασμένο γινόμενο Blaschke είναι μια συνάρτηση D D που είναι πεπερασμένο iθ z a γινόμενο όρων της μορφής φ(z) = e όπου a < 1 και θ R. 1 āz 13

14 7 Η άλγεβρα του δίσκου: αναπαραστάσεις και διαστολές Η άλγεβρα του δίσκου αποτελείται από όλες τις μιγαδικές συναρτήσεις που είναι ορισμένες και συνεχείς στον κλειστό δίσκο και είναι ολόμορφες στο εσωτερικό: A(D) = {f : D C συνεχής : f D ολόμορφη} Από την αρχή του μεγίστου, η A(D) μπορεί να θεωρηθεί υπάλγεβρα της C*-άλγεβρας C(T) των συνεχών συναρτήσεων στον κύκλο. Πράγματι, η απεικόνιση f f T είναι μορφισμός αλγεβρών από την A(D) στην C(T), και είναι ισομετρία διότι η σχέση sup{ f(w) : w D} = sup{ f(z) : z T} την οποία αποδείξαμε όταν η f είναι πολυώνυμο, επεκτείνεται και όταν η f είναι συνεχής στον D και ολόμορφη στον D, διότι κάθε τέτοια συνάρτηση είναι ομοιόμορφο όριο πολυωνύμων: παρατ Παρατήρηση 7.1 Αν η f είναι συνεχής στον D και ολόμορφη στον D, τότε προσεγγίζεται από ακολουθία πολυωνύμων, ομοιόμορφα στον D. Απόδειξη. Για κάθε r (0, 1), η συνάρτηση f r (z) := f(rz) είναι ολόμορφη στον μεγαλύτερο δίσκο D r := {z C : rz < 1}, επομένως έχει δυναμοσειρά που συγκλίνει ομοιόμορφα στα συμπαγή του D r, άρα και στον D. Επομένως η f r προσεγγίζεται από πολυώνυμα, ομοιόμορφα στον D. Ομως f r (z) f(z) καθώς r 1, ομοιόμορφα στον D. Πράγματι, η f είναι ομοιόμορφα συνεχής στον D και συνεπώς για κάθε ε > 0 υπάρχει δ > 0 ώστε αν z, w D και z w < δ να έχουμε f(z) f(w) < ε και συνεπώς αν 1 r < δ έχουμε 1 r < δ για κάθε z D και άρα f r (z) f(z) = f(rz) f(z) < ε. Συνεπώς και η f προσεγγίζεται από ακολουθία πολυωνύμων ομοιόμορφα στον D. 8 Πρόταση 7.2 Η απεικόνιση f f T είναι ισομετρία και μορφισμός αλγεβρών από την A(D) με σύνολο τιμών {g C(T) : ĝ(k) = 0 για κάθε k < 0}. Απόδειξη. Δείξαμε ήδη ότι η απεικόνιση αυτή είναι ισομετρία, και είναι προφανές ότι διατηρεί το άθροισμα και το γινόμενο συναρτήσεων. Επεται ότι η εικόνα της είναι κλειστή υπάλγεβρα της C(T). Δείχνουμε ότι η εικόνα αυτής της απεικόνισης περιέχεται στον υπόχωρο A := {g C(T) : ĝ(k) = 0 για κάθε k < 0}. Πρέπει να δείξουμε ότι αν f A(D) και g = f T, τότε ĝ(k) = 0 για κάθε k < 0. 8 Μάλιστα, αν f(z) = a k z k είναι η δυναμοσειρά της f στον D, τότε η δυναμοσειρά της f r είναι k=0 f r (z) = (a k r k )z k, άρα για κάθε ε > 0 υπάρχουν n N και r < 1 ώστε f p n,r D < ε όπου p n,r k=0 είναι το πολυώνυμο p n,r (z) = n k=0 a k r k z k. 14

15 Οπως στην απόδειξη της Παρατήρησης 7.1, αν r (0, 1) η f r (z) := f(rz) είναι ολόμορφη στον δίσκο D r. Συνεπώς το ίδιο ισχύει για την f r (z)z (k+1) (εφόσον (k + 1) 0), άρα από το Θεώρημα του Cauchy έχουμε, ολοκληρώνοντας πάνω στην κλειστή καμπύλη γ(t) = e it, t [0, 2π], 2π 2π 0 = f r (z)z (k+1) dz = f r (e it )e i(k+1)t ie it dt = i f r (e it )e ikt dt. 0 γ Ομως f r (z) f(z) καθώς r 1, ομοιόμορφα στον D άρα 1 2π 2π 0 0 f(e it )e ikt 1 dt = lim r 1 2π 2π 0 f r (e it )e ikt dt = 0. Αλλά 1 2π f(e it )e ikt dt = 1 2π g(e it )e ikt dt = ĝ(k) 2π 0 2π 0 (αφού g = f T ) και ο ισχυρισμός αποδείχθηκε. Δείξαμε ότι η εικόνα της απεικόνισης f f T περιέχεται στον υπόχωρο A. Μένει να δειχθεί ότι ισχύει ισότητα. Ισοδύναμα (Θεώρημα Hahn - Banach), πρέπει να δειχθεί ότι κάθε T συνεχής γραμμική μορφή φ : C(T) C που μηδενίζει την εικόνα της A(D), μηδενίζει και τον A. Εστω λοιπόν g A. Για κάθε n 0, η φ μηδενίζει τον περιορισμό στον T της συνάρτησης z z n, δηλαδή την e n (e it ) := e int. Ομως, όπως είναι γνωστό (Θεώρημα Féjer ή Θεώρημα Stone - Weierstrass), επειδή η g είναι συνεχής, προσεγγίζεται ομοιόμορφα στην T από τους μέσους όρους σ n (g) της σειράς Fourier ĝ(k)e k. Εφόσον όμως ĝ(k) = 0 για κάθε k < 0 και φ(e n ) = 0 για n 0, η φ μηδενίζει αυτούς τους μέσους όρους, συνεπώς λόγω συνέχειας μηδενίζει και το όριό τους, την g. Στο εξής λοιπόν θα γράφουμε A(D) = {g C(T) : ĝ(k) = 0 για κάθε k < 0} έχοντας υπόψη ότι κάθε τέτοια συνάρτηση δέχεται μοναδική επέκταση σε συνάρτηση συνεχή στον D και ολόμορφη στον D. Η A(D) είναι λοιπόν άλγεβρα Banach, αλλά δεν είναι C -υπάλγεβρα της C(T): Αν f A(D) και f := f, η f δεν ανήκει ποτέ στην A(D), εκτός αν είναι σταθερή. Πράγματι, η f ανήκει στην κλειστή γραμμική θήκη των {e n : n 0}, άρα η h = f ανήκει στην κλειστή γραμμική θήκη των {e m : m 0}. Αυτό σημαίνει ότι ĥ(n) = 0 όταν n > 0. Αν λοιπόν η h = f ανήκει στην A(D), τότε θα έχουμε επίσης ĥ(n) = 0 όταν n < 0, άρα h = ĥ(0)e 0, σταθερή. 9 Συμπέρασμα: Η A(D) είναι «αντισυμμετρική» άλγεβρα: A(D) A(D) = C1. Επίσης, η A(D) έχει την αξιοσημείωτη ιδιότητα A(D) + A(D) = C(T) γιατί στο A(D) + A(D) περιέχονται όλα τα τριγωνομετρικά πολυώνυμα. 9Άλλη απόδειξη: αν u είναι η ολόμορφη επέκταση της f στον D, τότε η u και η ū είναι ολόμορφες στον D, άρα η u είναι σταθερή (πχ. από τις ισότητες Cauchy - Riemann). 15

16 Επέκταση contractive απεικόνισης Ορισμός 6 Αν K είναι συμπαγής χώρος, μια γραμμική απεικόνιση ρ : C(K) B(H) λέγεται θετική αν έχει την ιδιότητα: f 0 ρ(f) 0. Παρατήρηση 7.3 Μια θετική απεικόνιση ρ : C(K) B(H) είναι (α) αυτοσυζυγής, δηλ. ρ(h ) = ρ(h) για κάθε h C(K) και (β) αυτομάτως συνεχής. Απόδειξη. (α) Κατ αρχήν, αν μια h C(K) παίρνει πραγματικές τιμές, οπότε γράφεται h = h + h όπου h ± 0, τότε ο τελεστής ρ(h) = ρ(h + ) ρ(h ) είναι αυτοσυζυγής αφού οι ρ(h ± ) είναι θετικοί και άρα αυτοσυζυγείς. Τώρα αν h C(K) είναι αυθαίρετη, έχουμε (ρ(h)) = (ρ(re h) + iρ(im h)) = ρ(re h) iρ(im h) = ρ(re h i Im h) = ρ(h ) αφού οι ρ(re h) και ρ(im h) είναι αυτοσυζυγείς. Ο ισχυρισμός αποδείχθηκε. (β) Για κάθε h C(K) με h = h έχουμε h 1 h h 1 και συνεπώς h ρ(1) ρ(h) h ρ(1), άρα για κάθε x H, h ρ(1)x, x ρ(h)x, x h ρ(1)x, x άρα ρ(h)x, x h ρ(1)x, x πράγμα που δείχνει (εφόσον ο ρ(h) είναι αυτοσυζυγής) ότι ρ(h) ρ(1) h. Εστω τώρα h C(K) αυθαίρετη. Εχουμε τότε ρ(h) ρ(re h) + ρ(im h) ρ(1) ( Re h + Im h ) 2 ρ(1) h. Σημείωση Αποδεικνύεται μάλιστα ότι ρ(h) ρ(1) h για κάθε h C(K). Πρόταση 7.4 Αν π : C(K) B(H) είναι μια *-αναπαράσταση (δηλ. διατηρεί το άθροισμα, το γινόμενο και την ενέλιξη - συνήθως υποθέτουμε και ότι π(1) = I) τότε είναι θετική και π(h) h για κάθε h C(K). Απόδειξη. Κάθε θετική συνάρτηση h C(K) γράφεται h = f f όπου f = h C(K). Εχουμε λοιπόν π(h) = π(f f) = π(f )π(f) = π(f) π(f) 0. Σ αυτήν την περίπτωση είναι εύκολο να αποδείξουμε ότι π(h) h για κάθε h C(K). Πράγματι, από την απόδειξη της Παρατήρησης έχουμε π(h h) π(1) h h αφού η h h είναι αυτοσυζυγής, και τώρα π(h) 2 = π(h) π(h) = π(h h) h h = h 2. πος Πρόταση 7.5 Εστω K συμπαγής χώρος. Αν ψ : C(K) C είναι γραμμική και ψ(1) = 1 = ψ, τότε η ψ είναι θετική, και επομένως ψ(h ) = ψ(h) για κάθε h C(K). (Ειδικότερα, ένα μιγαδικό μέτρο µ στον K με µ(k) = 1 = µ είναι θετικό μέτρο.) 16

17 Απόδειξη. Εστω h C(K) με 0 h 1. Θα δείξουμε ότι ψ(h) [0, 1]. Εστω όχι. Τότε ψ(h) C \ [0, 1]. Το [0, 1] είναι κλειστό και κυρτό σύνολο, άρα είναι η τομή όλων των κλειστών δίσκων που το περιέχουν (!). Επομένως υπάρχει ένας κλειστός δίσκος B με κέντρο λ και ακτίνα r που περιέχει το [0, 1] αλλά όχι το ψ(h). Αφού h(t) [0, 1] B για κάθε t K, έχουμε h(t) λ r για κάθε t K, δηλαδή h λ1 r. Ομως, αφού ψ(1) = 1 = ψ, r < ψ(h) λ = ψ(h λ1) ψ h λ1 r άτοπο. Συνεπώς για κάθε h 0 έχουμε ψ( h ) [0, 1] άρα ψ(h) 0. h φγ* Πρόταση 7.6 Εστω H χώρος Hilbert και ρ : A(D) B(H) γραμμική συστολή με ρ(1) = 1 (δηλ. ρ(e 0 ) = 1). Η ρ δέχεται γραμμική επέκταση σε μια γραμμική απεικόνιση ρ : C(T) B(H) που είναι θετική, δηλ. f 0 ρ(f) 0. Η ρ είναι η μοναδική θετική επέκταση της ρ. Απόδειξη. Ορίζω πρώτα ρ : A(D) + A(D) B(H) : f + g ρ(f) + ρ(g). Πρέπει να δείξω ότι η ρ είναι καλά ορισμένη, δηλ. ότι αν f, g, f 1, g 1 A(D) και f + g = f 1 + g 1 τότε ρ(f) + ρ(g) = ρ(f 1 ) + ρ(g 1 ), ισοδύναμα ότι αν f f 1 = (g 1 g) τότε ρ(f f 1 ) = ρ(g 1 g). Ομως εφόσον οι f, g, f 1, g 1 ανήκουν στην A(D), η σχέση f f 1 = (g 1 g) δίνει f f 1 A(D) A(D), άρα f f 1 = (g 1 g) = λe 0 για κάποιο λ C, οπότε ρ(f f 1 ) = ρ(λe 0 ) = λρ(e 0 ) = λ και ομοίως ρ(g 1 g) = λ. Για να επεκτείνω την ρ στην C(T), δηλ. την κλειστή θήκη του A(D)+A(D), πρέπει να δείξω ότι είναι T -συνεχής. Για κάθε x H με x = 1, θεωρώ την γραμμική μορφή φ x : A(D) C : h ρ(h)x, x. Παρατηρώ ότι φ x (1) = 1 = φ x. Από το Θεώρημα Hahn - Banach, η φ x έχει μια γραμμική επέκταση ψ x : C(T) C με την ίδια νόρμα, ψ x = 1. Συνεπώς ψ x (1) = 1 = ψ x. Από την Πρόταση 7.5 έπεται ότι η ψ x είναι θετική, άρα για κάθε h C(T) έχουμε ψ x (h ) = ψ x (h). Επεται τώρα ότι αν f, g A(D), Συνεπώς ψ x (f + g ) = ψ x (f) + ψ(g ) = ψ x (f) + (ψ x (g)) = φ x (f) + (φ x (g)) = ρ(f)x, x + x, ρ(g)x = ρ(f)x, x + ρ(g) x, x = ρ(f + g )x, x. ρ(f + g )x, x = ψ x (f + g ) ψ x f + g f + g 17

18 αφού ψ x = 1. Από την ταυτότητα πολικότητας συμπεραίνουμε ότι η ρ είναι συνεχής, άρα επεκτείνεται σ όλην την C(T). Τώρα για κάθε x H και κάθε h C(T) με h 0, ρ(h)x, x = ψ x (h) 0 αφού η ψ x είναι θετική, επομένως ο τελεστής ρ(h) είναι θετικός. Μοναδικότητα. Αν ρ 1 : A(D) + A(D) B(H) είναι μια θετική γραμμική επέκταση της ρ, τότε για κάθε f, g A(D) θα έχουμε ρ 1 (g ) = (ρ 1 (g)) = (ρ(g)) και συνεπώς ρ 1 (f + g ) = ρ 1 (f) + ρ 1 (g ) = ρ(f) + (ρ(g)) = ρ(f + g ) άρα ρ 1 = ρ. Διαστολές contractive αναπαραστάσεων Ορισμός 7 Contractive αναπαράσταση της A(D) στον χώρο Hilbert H ονομάζεται μια απεικόνιση ρ : A(D) B(H) που είναι μορφισμός αλγεβρών με μονάδα και ρ 1. Μια contractive αναπαράσταση επεκτείνεται, όπως δείξαμε, σε μια μοναδική απεικόνιση ρ : C(T) B(H). Η απεικόνιση ρ διατηρεί την ενέλιξη, εφόσον είναι θετική, δεν διατηρεί όμως εν γένει το γινόμενο, δεν είναι δηλαδή *-αναπαράσταση της C(T). Ομως, Πρόταση 7.7 Κάθε Contractive αναπαράσταση ρ της A(D) δέχεται διαστολή σε *- αναπαράσταση της C(T) σε έναν χώρο Hilbert K H. Απόδειξη. Θέτω A = ρ(e 1 ) B(H) (όπου e 1 (e it ) = e it ). Εχουμε ρ(e 1 ) = ρ((e 1 ) ) = ρ(e 1 ) = A, άρα ρ(e 1 ) ρ(e 1 ) = AA ενώ ρ(e 1 e 1 ) = ρ(e 0 ) = I. (Επομένως η ρ δεν διατηρεί εν γένει το γινόμενο.) Παρατήρησε ότι ο A είναι συστολή: A = ρ(e 1 ) ρ e 1 1 Επομένως, υπάρχει unitary διαστολή U B(K) του A σ έναν χώρο Hilbert K H. Για κάθε πολυώνυμο q(z) = c 0 + c 1 z + + c n z n έχουμε q(a) = c 0 I H + c 1 A + + c n A n = c 0 ρ(1) + c 1 ρ(e 1 ) + + c n ρ(e n ) = ρ(q) επομένως, αφού A m = P H U m H, P H q(u) H = q(a) = ρ(q). Δηλαδή η ρ διαστέλλεται σε μια contractive αναπαράσταση ρ 1 : A(D) B(K) : q ρ 1 (q) = q(u). Τώρα όμως, η (μοναδική) θετική επέκταση ρ 1 : C(T) B(K) της ρ 1 (Πρόταση 7.6) διατηρεί το γινόμενο, άρα είναι όντως μια *-αναπαράσταση. Πράγματι, αν n Z +, ρ 1 (e n ) = ρ 1 (e n ) = U n και ρ 1 (e n ) = ρ 1 ((e n ) ) = ρ 1 (e n ) = (U ) n = U n, άρα ρ 1 (e k ) = U k για κάθε k Z. Βεβαίως η ρ 1 είναι διαστολή της ρ: για κάθε πολυώνυμο q, έχουμε ρ 1 (q) = ρ 1 (q) = q(u) άρα P H ρ 1 (q) H = P H q(u) H q(a) = ρ(q). 18

19 8 Φασματικά μέτρα Δες παλιές σημειώσεις. 19

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

Το φασματικό Θεώρημα Το φασματικό Θεώρημα 1 Το φάσμα ενός τελεστή Λήμμα 1.1 Έστω A B(H) φυσιολογικός τελεστής. Αν x H είναι ιδιοδιάνυσμα του A με ιδιοτιμή λ, τότε A x = λx. Έπεται ότι οι ιδιόχωροι ενός φυσιολογικού τελεστή

Διαβάστε περισσότερα

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

Το φασματικό Θεώρημα Το φασματικό Θεώρημα 1 Το φάσμα ενός τελεστή Λήμμα 1.1 Έστω A B(H) φυσιολογικός τελεστής. Αν x H είναι ιδιοδιάνυσμα του A με ιδιοτιμή λ, τότε A x = λx. Έπεται ότι οι ιδιόχωροι ενός φυσιολογικού τελεστή

Διαβάστε περισσότερα

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

Εφαρμογές του μεταθετικού Θεωρήματος Gelfand-Naimark σε μη μεταθετικές C* άλγεβρες Εφαρμογές του μεταθετικού Θεωρήματος Gelfand-Naimark σε μη μεταθετικές C* άλγεβρες 1 Εξάρτηση του φάσματος από την άλγεβρα Έστω A άλγεβρα Banach με μονάδα 1 και B Ď A κλειστή υπάλγεβρα που περιέχει την

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

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

Θεωρία Τελεστών Σημειώσεις Αριστείδης Κατάβο λος1 Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών telmasu, 11 Ιουνίου 2016 Θεωρία Τελεστών Σημειώσεις Αριστείδης Κατάβολος 1 Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών 2014-15 1 telmasu, 11 Ιουνίου 2016 Περιεχόμενα 1 Χώροι με νόρμα, χώροι Hilbert 1 1.1 Χώροι με νόρμα και τελεστές...................

Διαβάστε περισσότερα

= lim. (P QP ) n x, x. E(Ex) = lim. (P QP ) m P x = Ex, EP x = lim

= lim. (P QP ) n x, x. E(Ex) = lim. (P QP ) m P x = Ex, EP x = lim Άσκηση: Η προβολή στην τομή δύο υποχώρων Αν P, Q είναι δύο ορθές προβολές σε έναν χώρο Hilbert H και R = P Q είναι η προβολή στην τομή im P im Q, δείξτε ότι, για κάθε x H, Rx = lim (P QP ) x = lim (P Q)

Διαβάστε περισσότερα

Μιχάλης Παπαδημητράκης. Αναλυτική χωρητικότητα Συνεχής αναλυτική χωρητικότητα

Μιχάλης Παπαδημητράκης. Αναλυτική χωρητικότητα Συνεχής αναλυτική χωρητικότητα Μιχάλης Παπαδημητράκης Αναλυτική χωρητικότητα Συνεχής αναλυτική χωρητικότητα 1 Παράγωγος στο. Ας θυμηθούμε ότι μια μιγαδική συνάρτηση f ορισμένη σε ένα υποσύνολο του μιγαδικού επιπέδου λέμε ότι είναι

Διαβάστε περισσότερα

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 ).

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 ). Κεφάλαιο 4 Συναρτήσεις μεταξύ μετρικών χώρων 4.1 Συνεχείς συναρτήσεις Εστω (X, ρ) και (Y, σ) δύο μετρικοί χώροι. Στην 2.2 δώσαμε τον ορισμό της συνέχειας μιας συνάρτησης f : X Y σε κάποιο σημείο x 0 X:

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

1 Επανάληψη εννοιών από τον Απειροστικό Λογισμό

1 Επανάληψη εννοιών από τον Απειροστικό Λογισμό 1 Επανάληψη εννοιών από τον Απειροστικό Λογισμό 1.1 Όρια ακολουθιών Λέμε ότι η ακολουθία { n } συγκλίνει με όριο R αν για κάθε ϵ > 0 υπάρχει ακέραιος N = N(ϵ) τέτοιος ώστε (1.1) n < ϵ για κάθε n > N, και

Διαβάστε περισσότερα

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

Το Θεώρημα Stone - Weierstrass Το Θεώρημα Stone - Weierstrass Θεώρημα 1 Έστω ¹ X συμπαγής χώρος Hausdorff και έστω C R (X η πραγματική άλγεβρα όλων των συνεχών συναρτήσεων f : X R. Έστω ότι ένα υποσύνολο A C R (X (1 το A είναι υπάλγεβρα

Διαβάστε περισσότερα

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

Συναρτησιακή Ανάλυση, μεταπτυχιακό μάθημα Συναρτησιακή Ανάλυση, μεταπτυχιακό μάθημα Περίληψη του μαθήματος Μιχάλης Παπαδημητράκης Τμήμα Μαθηματικών Πανεπιστήμιο Κρήτης 1η εβδομάδα. Στα πρώτα δύο μαθήματα είπαμε κάποια πολύ βασικά πράγματα για

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

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

Στοιχειώδεις τελεστές στην άλγεβρα των adjointable τελεστών σε Hilbert πρότυπα Στοιχειώδεις τελεστές στην άλγεβρα των adjointable τελεστών σε Hilbert πρότυπα Χαράλαμπος Μαγιάτης Ανάλυση & Κβαντική Θεωρία Πληροφορίας Σεμινάριο Τμήματος Μαθηματικών ΕΚΠΑ 17/05/2019 1 / 56 Hilbert C

Διαβάστε περισσότερα

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

π B = B και άρα η π είναι ανοικτή απεικόνιση. 3 Παράρτημα 2 Παρατηρήσεις, ασκήσεις και Διορθώσεις Παράγραφος ) Σελίδα, : Παρατηρούμε τα ακόλουθα για το χώρο πηλίκο / Y : Y = / Y και (α) { } (β) = Y / Y { } Επίσης από τον τύπο () έπεται ιδιαίτερα ότι

Διαβάστε περισσότερα

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Παναγιώτης Ψαρράκος Αν. Καθηγητής Ανάλυση Πινάκων Κεφάλαιο 1: Νόρμες Διανυσμάτων και Πινάκων Παναγιώτης Ψαρράκος Αν. Καθηγητής Δ.Π.Μ.Σ. Εφαρμοσμένες Μαθηματικές Επιστήμες Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών

Διαβάστε περισσότερα

Εισαγωγή στην Φασματική Θεωρία Αλγεβρών Banach. A. Kατάβολος

Εισαγωγή στην Φασματική Θεωρία Αλγεβρών Banach. A. Kατάβολος Εισαγωγή στην Φασματική Θεωρία Αλγεβρών Banach A. Kατάβολος Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα, 1999 Μερική Αναθεώρηση, 2017 Περιεχόμενα 1 Πρώτοι ορισμοί 2 2 Παραδείγματα 3 2.1...................................

Διαβάστε περισσότερα

Εισαγωγή στην Φασματική Θεωρία Αλγεβρών Banach. A. Kατάβολος

Εισαγωγή στην Φασματική Θεωρία Αλγεβρών Banach. A. Kατάβολος Εισαγωγή στην Φασματική Θεωρία Αλγεβρών Banach A. Kατάβολος Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Αθήνα, 1999 Αναθεώρηση, 2019 Περιεχόμενα 1 Πρώτοι ορισμοί 2 2 Παραδείγματα 3 2.1...................................

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

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

Παράρτηµα Β. Στοιχεία Θεωρίας Τελεστών και Συναρτησιακής Ανάλυσης [ ) ( ) Παράρτηµα Β Στοιχεία Θεωρίας Τελεστών και Συναρτησιακής Ανάλυσης Β1 Χώροι Baach Βάσεις Schauder Στο εξής συµβολίζουµε µε Z,, γραµµικούς (διανυσµατικούς) χώρους πάνω απ το ίδιο σώµα K = ή και γράφουµε απλά

Διαβάστε περισσότερα

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

Συναρτησιακή Ανάλυση, μεταπτυχιακό μάθημα Συναρτησιακή Ανάλυση, μεταπτυχιακό μάθημα Περίληψη του μαθήματος Μιχάλης Παπαδημητράκης Τμήμα Μαθηματικών Πανεπιστήμιο Κρήτης 1η εβδομάδα. Στα πρώτα δύο μαθήματα είπαμε κάποια πολύ βασικά πράγματα για

Διαβάστε περισσότερα

4 Ασθενείς τοπολογίες σε χώρους με νόρμα. 4.1 θεωρήματα Mazur, Alaoglou, Goldstine.

4 Ασθενείς τοπολογίες σε χώρους με νόρμα. 4.1 θεωρήματα Mazur, Alaoglou, Goldstine. 8 Έστω (, ) 4 Ασθενείς τοπολογίες σε χώρους με νόρμα 4. θεωρήματα Mazur, Alaoglou, Goldste. χώρος με νόρμα. Υπενθυμίζουμε ότι η ασθενής τοπολογία T του έχει ως βάση ( ανοικτών ) περιοχών του όλα τα σύνολα

Διαβάστε περισσότερα

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

4.2 Αυτοπάθεια και ασθενής συμπάγεια * * X, x X, είναι επί του. X. Σημειώνουμε ότι υπάρχουν παραδείγματα μη 94 Ένας χώρος με νόρμα (, ( ( ( ϕ : : ϕ =, ( 4. Αυτοπάθεια και ασθενής συμπάγεια λέγεται αυτοπαθής ( refleive, αν η κανονική εμφύτευση,, είναι επί του, δηλαδή ϕ =. Παρατηρούμε ότι ένας αυτοπαθής χώρος

Διαβάστε περισσότερα

A, και εξετάστε αν είναι διαγωνίσιμη.

A, και εξετάστε αν είναι διαγωνίσιμη. Ασκήσεις 6 Ασκήσεις Ελάχιστο Πολυώνυμο Βασικά σημεία Ορισμός ελαχίστου πολυωνύμου πίνακα και ιδιότητές του Θεώρημα (Κριτήριο διαγωνισιμότητας) Ένας είναι διαγωνίσιμος αν και μόνο αν ( x) γινόμενο διακεκριμένων

Διαβάστε περισσότερα

j=1 x n (i) x s (i) < ε.

j=1 x n (i) x s (i) < ε. Κεφάλαιο 5 Πληρότητα 5.1 Πλήρεις μετρικοί χώροι Ορισμός 5.1.1 (πλήρης μετρικός χώρος). Ενας μετρικός χώρος (X, ρ) λέγεται πλήρης (complete) αν κάθε ρ βασική ακολουθία (x n ) στον X είναι ρ συγκλίνουσα.

Διαβάστε περισσότερα

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

Θεωρία Τελεστών. Ενότητα: Η έννοια του ϕάσµατος. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών Ενότητα: Η έννοια του ϕάσµατος Αριστείδης Κατάβοος Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υικό, όπως εικόνες, που υπόκειται

Διαβάστε περισσότερα

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις

Ασκήσεις3 Διαγωνίσιμες Γραμμικές Απεικονίσεις Ασκήσεις 5 Βασικά σημεία Ιδιότητες ιδιόχωρων: Έστω,, Ισχύουν τα εξής Ασκήσεις Διαγωνίσιμες Γραμμικές Απεικονίσεις κάποιες διακεκριμένες ιδιοτιμές της γραμμικής απεικόνισης : V V, όπου o Αν v v 0, όπου

Διαβάστε περισσότερα

Καλώς ήρθατε στους Γραμμικούς Τελεστές! http://eclass.uoa.gr/courses/math122/ Εαρινό Εξάμηνο 2014-15 Χώροι με εσωτερικό γινόμενο Ορισμός Εστω E K-γραμμικός χώρος (K = R ή C). Ενα εσωτερικό γινόμενο (inner

Διαβάστε περισσότερα

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

Μία απεικόνιση από ένα διανυσματικό χώρο V στον εαυτό του, L : V V την ονομάζουμε γραμμικό τελεστή στο V (ή ενδομορφισμό του V ). Ορισμός. L : V V γρα Γραμμική Άλγεβρα ΙΙ Διάλεξη 15 Αναλλοίωτοι Υπόχωροι, Ιδιόχωροι Χρήστος Κουρουνιώτης Πανεπιστήμιο Κρήτης 2/5/2014 Χ.Κουρουνιώτης (Παν.Κρήτης) Διάλεξη 15 2/5/2014 1 / 12 Μία απεικόνιση από ένα διανυσματικό

Διαβάστε περισσότερα

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

x, y = x 1 y 1 + x 2 y 2 + x 3 y 3. x k y k. k=1 k=1 Σημειώσεις για τους χώρους Hilbert και άλλα Αριστείδης Κατάβολος Από το βιβλίο «Εισαγωγή στη Θεωρία Τελεστών», εκδ. «Συμμετρία», 2008. Περιεχόμενα I Χώροι Hilbert 1 1 Εσωτερικά γινόμενα 1 1.0.1 Παραδείγματα.........................

Διαβάστε περισσότερα

βαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των

βαθμού 1 με A 2. Υπολογίστε τα χαρακτηριστικά και ελάχιστα πολυώνυμα των Ασκήσεις 6 Ασκήσεις Ελάχιστο Πολυώνυμο Βασικά σημεία Ορισμός ελαχίστου πολυωνύμου πίνακα και ιδιότητές του Ορισμός ελαχίστου πολυωνύμου γραμμικής απεικόνισης και ιδιότητές του Κριτήριο διαγωνισιμότητας

Διαβάστε περισσότερα

i=1 i=1 i=1 (x i 1, x i +1) (x 1 1, x k +1),

i=1 i=1 i=1 (x i 1, x i +1) (x 1 1, x k +1), Κεφάλαιο 6 Συμπάγεια 6.1 Ορισμός της συμπάγειας Οπως θα φανεί στην αμέσως επόμενη παράγραφο, υπάρχουν διάφοροι τρόποι με τους οποίους μπορεί κανείς να εισάγει την έννοια του συμπαγούς μετρικού χώρου. Ο

Διαβάστε περισσότερα

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

L 2 -σύγκλιση σειρών Fourier Κεφάλαιο 7 L -σύγκλιση σειρών Fourier 7.1 Χώροι Hilbert 7.1.1 Χώροι µε εσωτερικό γινόµενο και χώροι Hilbert Ορισµός 7.1.1. Εστω X γραµµικός χώρος πάνω από το K. Μια συνάρτηση, : X X K λέγεται εσωτερικό

Διαβάστε περισσότερα

Je rhma John L mma Dvoretzky-Rogers

Je rhma John L mma Dvoretzky-Rogers Kefˆlaio 2 Je rhma Joh L mma Dvoretzky-Rogers 2.1 Elleiyoeidèc mègistou ìgkou eìc kurtoô s matoc Ορισμός 2.1.1. Ελλειψοειδές στον R είναι ένα κυρτό σώμα της μορφής { } (2.1.1) E = x R x, v i 2 : 1, όπου

Διαβάστε περισσότερα

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

3.5 Το θεώρημα Hahn-Banach σε τοπολογικούς διανυσματικούς χώρους. 7 3.5 Το θεώρημα Hah-Baach σε τοπολογικούς διανυσματικούς χώρους. Εξετάζουμε καταρχήν τη σχέση μεταξύ ενός μιγαδικού διανυσματικού χώρου E και του υποκείμενου πραγματικού χώρου E R. Έστω E μιγαδικός διανυσματικός

Διαβάστε περισσότερα

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

Θεωρία Τελεστών. Ενότητα: Αβελιανές Αλγεβρες von Neumann. Αριστείδης Κατάβολος. Τµήµα Μαθηµατικών Ενότητα: Αβελιανές Αλγεβρες von Neumann Αριστείδης Κατάβολος Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons. Για εκπαιδευτικό υλικό, όπως εικόνες,

Διαβάστε περισσότερα

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

h(x, y) = card ({ 1 i n : x i y i Κεφάλαιο 1 Μετρικοί χώροι 1.1 Ορισμός και παραδείγματα Ορισμός 1.1.1 μετρική). Εστω X ένα μη κενό σύνολο. Μετρική στο X λέγεται κάθε συνάρτηση ρ : X X R με τις παρακάτω ιδιότητες: i) ρx, y) για κάθε x,

Διαβάστε περισσότερα

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος.

Αρµονική Ανάλυση. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young. Απόστολος Γιαννόπουλος. Ενότητα: Το ϑεώρηµα παρεµβολής του Riesz και η ανισότητα Hausdorff-Young Απόστολος Γιαννόπουλος Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creative Commons.

Διαβάστε περισσότερα

Λύσεις στην Συναρτησιακή Ανάλυση Κανονική εξεταστική 2009 (μπορεί να περιέχουν λάθη)

Λύσεις στην Συναρτησιακή Ανάλυση Κανονική εξεταστική 2009 (μπορεί να περιέχουν λάθη) Λύσεις στην Συναρτησιακή Ανάλυση Κανονική εξεταστική 009 (μπορεί να περιέχουν λάθη) (L) Θέμα 1 α) i Ένα σύνολο A X λέγεται γραμμικά ανεξάρτητο αν κάθε πεπερασμένο υποσύνολό του είναι γραμμικά ανεξάρτητο.

Διαβάστε περισσότερα

B = F i. (X \ F i ) = i I

B = F i. (X \ F i ) = i I Κεφάλαιο 3 Τοπολογία μετρικών χώρων Ομάδα Α 3.1. Εστω (X, ρ) μετρικός χώρος και F, G υποσύνολα του X. Αν το F είναι κλειστό και το G είναι ανοικτό, δείξτε ότι το F \ G είναι κλειστό και το G \ F είναι

Διαβάστε περισσότερα

1 Χώροι πηλίκα { } x = y x y Y. Με τις πράξεις της πρόσθεσης και του βαθμωτού πολλαπλασιασμού που ορίζονται με τον

1 Χώροι πηλίκα { } x = y x y Y. Με τις πράξεις της πρόσθεσης και του βαθμωτού πολλαπλασιασμού που ορίζονται με τον Χώροι πηλίκα Έστω διανυσματικός χώρος και Y διανυσματικός υπόχωρος του. Για κάθε θεωρούμε το σύμπλοκο σχετικά με τον Y, = + y y Y = + Y ορ { : } δηλαδή το είναι η παράλληλη μεταφορά του Y κατά το διάνυσμα.

Διαβάστε περισσότερα

ΜΕΜ251 Αριθμητική Ανάλυση

ΜΕΜ251 Αριθμητική Ανάλυση ΜΕΜ251 Αριθμητική Ανάλυση Διάλεξη 14, 30 Απριλίου 2018 Μιχάλης Πλεξουσάκης Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών Περιεχόμενα 1. Χώροι με εσωτερικό γινόμενο (Ευκλείδειοι χώροι) 2. Βέλτιστες προσεγγίσεις

Διαβάστε περισσότερα

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

Αναπαραστάσεις οµάδων και Αλγεβρες Τελεστών 8 Ιουλίου 2015 1 τοπολογικές οµάδες 2 3 4 τοπολογικές οµάδες Ορισµός Μια οµάδα G λέγεται τοπολογική οµάδα αν είναι εφοδιασµένη µε µια τοπολογία τ.ω. οι (x, y) xy και x x 1 να είναι συνεχείς. Παραδείγµατα

Διαβάστε περισσότερα

Κ X κυρτό σύνολο. Ένα σημείο x Κ

Κ X κυρτό σύνολο. Ένα σημείο x Κ 8 5 Το θεώρημα Kre-Mlm Βασικές ιδιότητες συμπαγών και κυρτών συνόλων. Ορισμός 5. Έστω X διανυσματικός χώρος και Κ X κυρτό σύνολο. Ένα σημείο x Κ λέγεται ακραίο ( extreme ) σημείο του Κ, αν δεν είναι γνήσιος

Διαβάστε περισσότερα

ΜΕΜ251 Αριθμητική Ανάλυση

ΜΕΜ251 Αριθμητική Ανάλυση ΜΕΜ251 Αριθμητική Ανάλυση Διάλεξη 07, 2 Μαρτίου 2018 Μιχάλης Πλεξουσάκης Τμήμα Μαθηματικών και Εφαρμοσμένων Μαθηματικών Περιεχόμενα 1. Συμμετρικοί και θετικά ορισμένοι πίνακες. Η ανάλυση Cholesky 2. Νόρμες

Διαβάστε περισσότερα

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

ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Burnside ΚΕΦΑΛΑΙΟ 8: Εφαρμογή: Το θεώρημα του Bursde a b Θα αποδείξουμε εδώ ότι κάθε ομάδα τάξης pq ( p, q πρώτοι) είναι επιλύσιμη Το θεώρημα αυτό αποδείχτηκε από τον Bursde το 904 ο οποίος χρησιμοποίησε τη νέα

Διαβάστε περισσότερα

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

2 Πεπερασμένα ευθέα αθροίσματα και προβολές σε χώρους με νόρμα. με νόρμα, με τις ακόλουθες νόρμες οι οποίες ορίζονται μέσω των νορμών των X και Y. 2 Πεπερασμένα ευθέα αθροίσματα και προβολές σε χώρους με νόρμα. Έστω (, ) και (, ) {( x, ) : x και } χώροι με νόρμα. Τότε ο διανυσματικός χώρος = ( με τις συνήθεις κατά σημείο πράξεις ) γίνεται χώρος με

Διαβάστε περισσότερα

EukleÐdeiec emfuteôseic: ˆnw frˆgmata

EukleÐdeiec emfuteôseic: ˆnw frˆgmata EukleÐdeiec emfuteôseic: ˆnw frˆgmata Εστω f : X Y μια εμφύτευση του μετρικού χώρου (X, ρ) στο χώρο με νόρμα (Y, ). Η παραμόρφωση της f ορίζεται ως εξής: f(x) f(y) ρ(x, y) dist(f) = sup sup x y ρ(x, y)

Διαβάστε περισσότερα

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

Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας) Τµήµα Εφαρµοσµένων Μαθηµατικών Παν/µίου Κρήτης Εξεταστική περίοδος εαρινού εξαµήνου Πέµπτη, 2 Ιούνη 28 Γραµµική Αλγεβρα II ιδάσκων: Α. Τόγκας Θέµατα ( ικαιολογείστε πλήρως όλες τις απαντήσεις σας) Θέµα

Διαβάστε περισσότερα

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

Σύγκλιση σειρών Fourier σε χώρους L p Σύγκλιση σειρών Fourier σε χώρους L p Μιχάλης Σαράντης και Κωνσταντίνος Τσίνας Βασικά αποτελέσµατα από την ανάλυση Fourier Ορισµός.. Ο n-οστός πυρήνας του Dirichlet ορίζεται ως (.) D n (y) Πρόταση.. Για

Διαβάστε περισσότερα

1 + t + s t. 1 + t + s

1 + t + s t. 1 + t + s Κεφάλαιο 1 Μετρικοί χώροι Ομάδα Α 1.1. Εστω (X, ) χώρος με νόρμα. Δείξτε ότι η νόρμα είναι άρτια συνάρτηση και ικανοποιεί την ανισότητα x y x y για κάθε x, y X. Υπόδειξη. Για κάθε x X έχουμε x = ( 1)x

Διαβάστε περισσότερα

ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014

ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014 ΜΕΓΙΣΤΙΚΟΣ ΤΕΛΕΣΤΗΣ 18 Σεπτεμβρίου 2014 Περιεχόμενα 1 Εισαγωγή 2 2 Μεγιστικός τελέστης στην μπάλα 2 2.1 Βασικό θεώρημα........................ 2 2.2 Γενική περίπτωση μπάλας.................. 6 2.2.1 Στο

Διαβάστε περισσότερα

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

4.2 Αυτοπάθεια και ασθενής συμπάγεια * * X, x X, είναι επί του. X. Σημειώνουμε ότι υπάρχουν παραδείγματα μη 94 Ένας χώρος με νόρμα (, ( ( ( ϕ : : ϕ =, ( 4.2 Αυτοπάθεια και ασθενής συμπάγεια λέγεται αυτοπαθής ( refleive, αν η κανονική εμφύτευση,, είναι επί του, δηλαδή ϕ =. Παρατηρούμε ότι ένας αυτοπαθής χώρος

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 5: ΓΡΑΜΜΙΚΕΣ ΑΠΕΙΚΟΝΙΣΕΙΣ

ΚΕΦΑΛΑΙΟ 5: ΓΡΑΜΜΙΚΕΣ ΑΠΕΙΚΟΝΙΣΕΙΣ ΚΕΦΑΛΑΙΟ 5: 5. ΟΡΙΣΜΟΙ Έστω U και V δύο διανυσματικοί χώροι. Μια συνάρτηση F : U V θα λέγεται γραμμική απεικόνιση (ή ομομορφισμός, ή απλά μορφισμός εάν ικανοποιεί τις συνθήκες (i F ( u + = u + για κάθε

Διαβάστε περισσότερα

v y = 12x 2 y + 4y v(x, y) = 6x 2 y 2 + y 4 + y + c(x). f(z) = u(z, 0) + iv(z, 0) = z + i(z 4 + c), f(z) = iz 4 + z i.

v y = 12x 2 y + 4y v(x, y) = 6x 2 y 2 + y 4 + y + c(x). f(z) = u(z, 0) + iv(z, 0) = z + i(z 4 + c), f(z) = iz 4 + z i. ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ & ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΟΜΕΑΣ ΜΑΘΗΜΑΤΙΚΩΝ Εξετάσεις στη Μιγαδική Ανάλυση ΟΜΑΔΑ: Α 0 Ιουλίου, 0 Θέμα. (αʹ) Να βρεθεί η τιμή του a R για την οποία η συνάρτηση u(x, y) ax 3 y +4xy

Διαβάστε περισσότερα

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Παναγιώτης Ψαρράκος Αν. Καθηγητής Ανάλυση Πινάκων Κεφάλαιο 5: Κανονικοί Πίνακες Παναγιώτης Ψαρράκος Αν. Καθηγητής Δ.Π.Μ.Σ. Εφαρμοσμένες Μαθηματικές Επιστήμες Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών Εθνικό

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι

ΚΕΦΑΛΑΙΟ 2: Ημιαπλοί Δακτύλιοι ΚΕΦΑΛΑΙΟ : Ημιαπλοί Δακτύλιοι Είδαμε στο κύριο θεώρημα του προηγούμενου κεφαλαίου ότι κάθε δακτύλιος διαίρεσης έχει την ιδιότητα κάθε πρότυπο είναι ευθύ άθροισμα απλών προτύπων Εδώ θα χαρακτηρίσουμε όλους

Διαβάστε περισσότερα

convk. c i c i t i. c i u i c < c i φ i (F (ω)) c < ( ) c i m i < i=1 i=1 i=1 i=1 i=1 i=1 i=1 i=1 i=1 i=1 i=1

convk. c i c i t i. c i u i c < c i φ i (F (ω)) c < ( ) c i m i < i=1 i=1 i=1 i=1 i=1 i=1 i=1 i=1 i=1 i=1 i=1 Ολοκλήρωση συναρτήσεων με τιμές σε χώρους Baach Αν (Ω, S, µ είναι χώρος μέτρου και (X, είναι χώρος Baach, μια συνάρτηση F : Ω X θα λέγεται ασθενώς μετρήσιμη (αντίστοιχα, ασθενώς ολοκληρώσιμη αν για κάθε

Διαβάστε περισσότερα

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

Δώδεκα Αποδείξεις του. Θεμελιώδους Θεωρήματος της Άλγεβρας Δώδεκα Αποδείξεις του Θεμελιώδους Θεωρήματος της Άλγεβρας Mία εκδοχή της αρχικής απόδειξης του Gauss f ( z) = T ( z) + iu ( z) T = r cos φ + Ar 1 cos(( 1) φ + α) + + L cosλ U = r si φ + Ar 1 si(( 1) φ

Διαβάστε περισσότερα

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα.

Ασκήσεις3 Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα. Ασκήσεις 0 Ασκήσεις Διαγωνισιμότητα Βασικά σημεία Διαγωνίσιμοι πίνακες: o Ορισμός και παραδείγματα o H -στήλη του P P είναι E αν και μόνο αν η -στήλη του P είναι ιδιοδιάνυσμα του που αντιστοιχεί στην ιδιοτιμή

Διαβάστε περισσότερα

f x 0 για κάθε x και f 1

f x 0 για κάθε x και f 1 06 4.2 Το Λήμμα του Uysoh το Λήμμα της εμφύτευσης και το θεώρημα μετρικοποίησης του Uysoh. Ο κύριος στόχος αυτής της παραγράφου είναι η απόδειξη ενός θεμελιώδους αποτελέσματος γνωστού ως το Λήμμα του Uysoh.

Διαβάστε περισσότερα

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

ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ Ι (ΘΕ ΠΛΗ ) ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΤΕΛΙΚΗΣ ΕΞΕΤΑΣΗΣ 9 Ιουνίου (διάρκεια ώρες και λ) Διαβάστε προσεκτικά και απαντήστε

Διαβάστε περισσότερα

8.1 Διαγωνοποίηση πίνακα

8.1 Διαγωνοποίηση πίνακα Κεφάλαιο 8 Κανονικές μορφές από 6 Κεφάλαιο 8 Κ Α Ν Ο Ν Ι Κ Ε Σ Μ Ο Ρ Φ Ε Σ 8. Διαγωνοποίηση πίνακα Ορισμός 8.α Ένας πίνακας M n ( ) oνομάζεται διαγωνοποιήσιμος στο αν υπάρχει αντιστρέψιμος πίνακας P M

Διαβάστε περισσότερα

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0.

b. Για κάθε θετικό ακέραιο m και για κάθε A. , υπάρχουν άπειρα το πλήθος πολυώνυμα ( x) [ x] m και ( A) 0. Ασκήσεις4 46 Ασκήσεις 4 Τριγωνίσιμες γραμμικές απεικονίσεις, Θεώρημα των Cayley-Hamilton Βασικά σημεία Ορισμός τριγωνίσιμου πίνακα, ορισμός τριγωνίσιμης γραμμικής απεικόνισης Κριτήριο τριγωνισιμότητας

Διαβάστε περισσότερα

ΑΠΑΝΤΗΣΕΙΣ , Β= 1 y, όπου y 0. , όπου y 0.

ΑΠΑΝΤΗΣΕΙΣ , Β= 1 y, όπου y 0. , όπου y 0. ΕΛΛΗΝΙΚΟ ΑΝΟΙΚΤΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΠΡΟΓΡΑΜΜΑ ΣΠΟΥΔΩΝ ΣΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ ΜΑΘΗΜΑΤΙΚΑ ΓΙΑ ΤΗΝ ΠΛΗΡΟΦΟΡΙΚΗ Ι (ΘΕ ΠΛΗ ) ΕΠΑΝΑΛΗΠΤΙΚΗ ΕΞΕΤΑΣΗ 9 Ιουνίου 8:-: ΑΠΑΝΤΗΣΕΙΣ Θέμα (Α) ( 5 μονάδες) Δίδονται οι πίνακες Α=,

Διαβάστε περισσότερα

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

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

Διαβάστε περισσότερα

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

(a + b) + c = a + (b + c), (ab)c = a(bc) a + b = b + a, ab = ba. a(b + c) = ab + ac Σημειώσεις μαθήματος Μ1212 Γραμμική Άλγεβρα ΙΙ Χρήστος Κουρουνιώτης ΤΜΗΜΑ ΜΑΘΗΜΑΤΙΚΩΝ ΠΑΝΕΠΙΣΤΗΜΙΟ ΚΡΗΤΗΣ 2014 Κεφάλαιο 1 Διανυσματικοί Χώροι Στο εισαγωγικό μάθημα Γραμμικής Άλγεβρας ξεκινήσαμε μελετώντας

Διαβάστε περισσότερα

Ασκήσεις Απειροστικού Λογισμού ΙΙ Πρόχειρες Σημειώσεις Τμήμα Μαθηματικών Πανεπιστήμιο Αθηνών Περιεχόμενα Υπακολουθίες και ακολουθίες Cuchy Σειρές πραγματικών αριθμών 3 3 Ομοιόμορφη συνέχεια 3 4 Ολοκλήρωμα

Διαβάστε περισσότερα

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο.

Κεφάλαιο 1 Πρότυπα. Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο. Κεφάλαιο Πρότυπα Στο κεφάλαιο αυτό εισάγουμε την έννοια του προτύπου πάνω από δακτύλιο Ορισμοί και Παραδείγματα Παραδοχές Στo βιβλίο αυτό θα κάνουμε τις εξής παραδοχές Χρησιμοποιούμε προσθετικό συμβολισμό

Διαβάστε περισσότερα

f(x) = lim f n (t) = d(t, x n ) d(t, x) = f(t)

f(x) = lim f n (t) = d(t, x n ) d(t, x) = f(t) Κεφάλαιο 7 Ακολουθίες και σειρές συναρτήσεων 7.1 Ακολουθίες συναρτήσεων: κατά σημείο σύγκλιση Ορισμός 7.1.1. Εστω X σύνολο, (Y, ρ) μετρικός χώρος και f n, f : X Y (n = 1, 2,...). Λέμε ότι η ακολουθία συναρτήσεων

Διαβάστε περισσότερα

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

Αρµονική Ανάλυση ( ) Φυλλάδιο Ασκήσεων 3 Αρµονική Ανάλυση (2017 2018) Φυλλάδιο Ασκήσεων 3 0. (α) Εστω f L (T). είξτε ότι σ n ( f ) f n N. (ϐ) Εστω f L (T). είξτε ότι (γ) είξτε ότι S n ( f ) f + n k=1 sin(kt) k n k= n [Υπόδειξη: Για το (γ) ϑεωρήστε

Διαβάστε περισσότερα

ΚΕΦ.6:ΤΕΤΡΑΓΩΝΙΚΕΣ ΜΟΡΦΕΣ. ΣΥΜΜΕΤΡΙΚΟΙ ΠΙΝΑΚΕΣ

ΚΕΦ.6:ΤΕΤΡΑΓΩΝΙΚΕΣ ΜΟΡΦΕΣ. ΣΥΜΜΕΤΡΙΚΟΙ ΠΙΝΑΚΕΣ ΚΕΦ:ΤΕΤΡΑΓΩΝΙΚΕΣ ΜΟΡΦΕΣ ΣΥΜΜΕΤΡΙΚΟΙ ΠΙΝΑΚΕΣ Τετραγωνικές μορφές: Συναρτήσεις με τύπο Q ν α ι j j, j [ ] ν α α ν αν α νν ν Τ Χ ΑΧ Για παράδειγμα εάν v Q α + α + α + α α + α + α + α δηλ a a a a α + α + α

Διαβάστε περισσότερα

Ασκήσεις. και. για κάποιο k n. ( ) BdΚ και επί πλέον το BdΚ είναι ακραίο. [Υπόδειξη Πρβλ. την άσκηση 11 της παραγράφου 3.1 για το (α)].

Ασκήσεις. και. για κάποιο k n. ( ) BdΚ και επί πλέον το BdΚ είναι ακραίο. [Υπόδειξη Πρβλ. την άσκηση 11 της παραγράφου 3.1 για το (α)]. 3 Ασκήσεις ) Έστω διανυσματικός χώρος, C κυρτό και C. (α) Αποδείξτε ότι τα ακόλουθα είναι ισοδύναμα: (ι) e( C) = +,(ιι), = = και (ιιι) Το σύνολο C \{ } είναι κυρτό. (β) Επίσης αποδείξτε ότι αν e( C) και

Διαβάστε περισσότερα

Κεφάλαιο 6 Ιδιοτιμές και Ιδιοδιανύσματα

Κεφάλαιο 6 Ιδιοτιμές και Ιδιοδιανύσματα Κεφάλαιο 6 Ορισμοί Έστω Α ένας πίνακας με πραγματικά στοιχεία Ο πραγματικός ή μιγαδικός αριθμός λ καλείται ιδιοτιμή του πίνακα Α εάν υπάρχει μη μηδενικό διάνυσμα v με πραγματικά ή μιγαδικά στοιχεία τέτοιο

Διαβάστε περισσότερα

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

Φασµατικη θεωρια µη φραγµενων γραµµικων τελεστων Φασµατικη θεωρια µη φραγµενων γραµµικων τελεστων Πτυχιακη Εργασια Ιωσηφιδης Ηλιας Α.Μ: 311/2329 Επιβλεπων : Τσολοµυτης Αντωνης A Τµηµα Μαθηµατικων Πανεπιστηµιο Αιγαιου Σαµος 27 Εξεταστικη Επιτροπη : Τσολοµύτης

Διαβάστε περισσότερα

Ακρότατα πραγματικών συναρτήσεων

Ακρότατα πραγματικών συναρτήσεων Ακρότατα πραγματικών συναρτήσεων Ορισμός Έστω U R, U και f : U R R συνάρτηση τότε: )Το λέγεται τοπικό ελάχιστο της f αν υπάρχει περιοχή V του ώστε f f για κάθε V U Το λέγεται τοπικό μέγιστο της f αν υπάρχει

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων

ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων ΚΕΦΑΛΑΙΟ 3: Συνθήκες Αλυσίδων Μελετάμε εδώ τη συνθήκη της αύξουσας αλυσίδας υποπροτύπων και τη συνθήκη της φθίνουσας αλυσίδας υποπροτύπων Αυτές συνδέονται μεταξύ τους με την έννοια της συνθετικής σειράς

Διαβάστε περισσότερα

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

2. d(x, y) = 0 x = y. 3. d(x, y) = d(y, x) Τελεστές σε χώρους Hilbert Γεωργάτος Σπυρίδων ΠΑΝΕΠΙΣΤΗΜΙΟ ΑΙΓΑΙΟΥ Τμήμα Μαθηματικών Επιτροπή Επιβλέπων: Φελουζής Ευάγγελος - Αναπληρωτής Καθηγητής Μέλη : Τσολομύτης Αντώνιος - Καθηγητής Νικολόπουλος Χρήστος

Διαβάστε περισσότερα

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Τµηµα Β ΠΕΡΙΤΤΟΙ Ασκησεις - Φυλλαδιο 9 Επαναληπτικες Ασκησεις ιδασκων: Α Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laii8/laii8html Παρασκευή 4 Ιουνίου

Διαβάστε περισσότερα

Κανόνες παραγώγισης ( )

Κανόνες παραγώγισης ( ) 66 Κανόνες παραγώγισης Οι κανόνες παραγώγισης που ισχύουν για συναρτήσεις µιας µεταβλητής, ( παραγώγιση, αθροίσµατος, γινοµένου, πηλίκου και σύνθετων συναρτήσεων ) γενικεύονται και για συναρτήσεις πολλών

Διαβάστε περισσότερα

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση

Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση 8 Υπολογισµός διπλών ολοκληρωµάτων µε διαδοχική ολοκλήρωση Υπάρχουν δύο θεµελιώδη αποτελέσµατα που µας βοηθούν να υπολογίζουµε πολλαπλά ολοκληρώµατα Το πρώτο αποτέλεσµα σχετίζεται µε τον υπολογισµό ενός

Διαβάστε περισσότερα

ΙΑΤΜΗΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥ ΩΝ. και την ΟΙΚΟΝΟΜΙΑ»

ΙΑΤΜΗΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥ ΩΝ. και την ΟΙΚΟΝΟΜΙΑ» ΕΘΝΙΚΟ ΜΕΤΣΟΒΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΕΦΑΡΜΟΣΜΕΝΩΝ ΜΑΘΗΜΑΤΙΚΩΝ ΚΑΙ ΦΥΣΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΙΑΤΜΗΜΑΤΙΚΟ ΠΡΟΓΡΑΜΜΑ ΜΕΤΑΠΤΥΧΙΑΚΩΝ ΣΠΟΥ ΩΝ «ΜΑΘΗΜΑΤΙΚΗ ΠΡΟΤΥΠΟΠΟΙΗΣΗ σε ΣΥΓΧΡΟΝΕΣ ΤΕΧΝΟΛΟΓΙΕΣ και την ΟΙΚΟΝΟΜΙΑ» Εφαρμογές

Διαβάστε περισσότερα

Τριγωνομετρικά πολυώνυμα

Τριγωνομετρικά πολυώνυμα Κεφάλαιο Τριγωνομετρικά πολυώνυμα Κύριες βιβλιογραφικές αναφορές για αυτό το Κεφάλαιο είναι οι Zygmund, Katznelson 4 και Stein and Shakarchi.. Μερικά βασικά περί μιγαδικών αριθμών Υποθέτουμε ως γνωστές

Διαβάστε περισσότερα

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

Εφαρμοσμένα Μαθηματικά ΙΙ Τμήμα Μηχανολόγων Μηχανικών Πανεπιστήμιο Θεσσαλίας Εφαρμοσμένα Μαθηματικά ΙΙ Διανυσματικοί Χώροι Ιωάννης Λυχναρόπουλος Μαθηματικός, MSc, PhD Διανυσματικός Χώρος επί του F Αλγεβρική δομή που αποτελείται

Διαβάστε περισσότερα

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή )

Θεωρία Galois. Πρόχειρες σημειώσεις (εκδοχή ) Θεωρία Galos Πρόχειρες σημειώσεις 0- (εκδοχή -7-0) Περιεχόμενα 0 Υπενθυμίσεις και συμπληρώματα Ανάγωγα πολυώνυμα Ανάγωγα πολυώνυμα και σώματα Χαρακτηριστική σώματος Απλές ρίζες πολυωνύμων Ασκήσεις 0 Επεκτάσεις

Διαβάστε περισσότερα

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης.

ΑΝΑΛΥΣΗ 2. Μ. Παπαδημητράκης. ΑΝΑΛΥΣΗ 2 Μ. Παπαδημητράκης. ΕΙΚΟΣΤΟ ΠΕΜΠΤΟ ΜΑΘΗΜΑ Έστω μια δυναμοσειρά a (x ξ) = a 0 + a (x ξ) + a 2 (x ξ) 2 + με ακτίνα σύγκλισης R και με ρ = lim a. Αν x = ξ, η δυναμοσειρά συγκλίνει και έχει άθροισμα

Διαβάστε περισσότερα

Μηχανολογικό Σχέδιο με τη Βοήθεια Υπολογιστή. Αφφινικοί Μετασχηματισμοί Αναπαράσταση Γεωμετρικών Μορφών

Μηχανολογικό Σχέδιο με τη Βοήθεια Υπολογιστή. Αφφινικοί Μετασχηματισμοί Αναπαράσταση Γεωμετρικών Μορφών Μηχανολογικό Σχέδιο με τη Βοήθεια Υπολογιστή Γεωμετρικός Πυρήνας Γεωμετρικός Πυρήνας Αφφινικοί Μετασχηματισμοί Αναπαράσταση Γεωμετρικών Μορφών Γεωμετρικός Πυρήνας Εξομάλυνση Σημεία Καμπύλες Επιφάνειες

Διαβάστε περισσότερα

Η ΜΕΤΡΙΚΗ ΤΟΥ ΧΩΡΟΥ. (στην περίπτωση, που γνωρίζουμε το πεδίον ορισμού του δείκτου, θα

Η ΜΕΤΡΙΚΗ ΤΟΥ ΧΩΡΟΥ. (στην περίπτωση, που γνωρίζουμε το πεδίον ορισμού του δείκτου, θα Η ΜΕΤΡΙΚΗ ΤΟΥ ΧΩΡΟΥ Η μετρική του χώρου Στην ορίσαμε το εσωτερικό γινόμενο δύο διανυσμάτων μέσω των συντεταγμένων τους, όταν οι συντεταγμένες αυτές λαβαίνονται σε ένα Καρτεσιανό σύστημα αναφοράς του Ερχόμαστε,

Διαβάστε περισσότερα

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

ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 6 ΓΡΑΜΜΙΚΗ ΑΛΓΕΒΡΑ ΙΙ Τµηµα Β (ΠΕΡΙΤΤΟΙ) Ασκησεις - Φυλλαδιο 6 ιδασκων: Α. Μπεληγιάννης Ιστοσελιδα Μαθηµατος : http://users.uoi.gr/abeligia/linearalgebraii/laii2018/laii2018.html Παρασκευή 4 Μαίου 2018 Ασκηση

Διαβάστε περισσότερα

Παναγιώτης Ψαρράκος Αν. Καθηγητής

Παναγιώτης Ψαρράκος Αν. Καθηγητής Ανάλυση Πινάκων Κεφάλαιο 2: Θεωρία Perron-Frobenius Παναγιώτης Ψαρράκος Αν. Καθηγητής Δ.Π.Μ.Σ. Εφαρμοσμένες Μαθηματικές Επιστήμες Σχολή Εφαρμοσμένων Μαθηματικών και Φυσικών Επιστημών Τομέας Μαθηματικών

Διαβάστε περισσότερα

ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΑΝΑΛΥΣΗΣ ΙΙ, ΣΕΜΦΕ (1/7/ 2013) y x + y.

ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΑΝΑΛΥΣΗΣ ΙΙ, ΣΕΜΦΕ (1/7/ 2013) y x + y. ΑΠΑΝΤΗΣΕΙΣ ΘΕΜΑΤΩΝ ΑΝΑΛΥΣΗΣ ΙΙ, ΣΕΜΦΕ (/7/ 203) ΘΕΜΑ. (α) Δίνεται η συνάρτηση f : R 2 R με f(x, y) = xy x + y, αν (x, y) (0, 0) και f(0, 0) = 0. Δείξτε ότι η f είναι συνεχής στο (0, 0). (β) Εξετάστε αν

Διαβάστε περισσότερα

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

Αρµονική Ανάλυση. Ενότητα: L p Σύγκλιση. Απόστολος Γιαννόπουλος. Τµήµα Μαθηµατικών Ενότητα: L p Σύγκλιση Απόστολος Γιαννόπουλος Τµήµα Μαθηµατικών Αδειες Χρήσης Το παρόν εκπαιδευτικό υλικό υπόκειται σε άδειες χρήσης Creaive Commos. Για εκπαιδευτικό υλικό, όπως εικόνες, που υπόκειται σε

Διαβάστε περισσότερα

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

Εφαρμοσμένα Μαθηματικά ΙΙ Τμήμα Μηχανολόγων Μηχανικών Πανεπιστήμιο Θεσσαλίας Εφαρμοσμένα Μαθηματικά ΙΙ Διανυσματικοί Χώροι Ιωάννης Λυχναρόπουλος Μαθηματικός, MSc, PhD Διανυσματικός Χώρος επί του F Αλγεβρική δομή που αποτελείται

Διαβάστε περισσότερα

Λύσεις και Υποδείξεις Επιλεγµένων Ασκήσεων

Λύσεις και Υποδείξεις Επιλεγµένων Ασκήσεων Λύσεις και Υποδείξεις Επιλεγµένων Ασκήσεων 11 1 i) ii) 1 1 1 0 1 1 0 0 0 x = 0 x +x 4 +x 5 = x = 1 Λύνοντας ως προς x και στη συνέχεια ως προς x 4, ϐρίσκουµε ότι η γενική λύση του συστήµατος είναι η 5άδα

Διαβάστε περισσότερα

X 1 X 2. X d X = 2 Y (x) = e x 2. f X+Y (x) = f X f Y (x) = f X (y)f Y (x y)dy. exp. exp. dy, (1) f X+Y (x) = j= σ2 2) exp x 2 )

X 1 X 2. X d X = 2 Y (x) = e x 2. f X+Y (x) = f X f Y (x) = f X (y)f Y (x y)dy. exp. exp. dy, (1) f X+Y (x) = j= σ2 2) exp x 2 ) Εστω X : Ω R d τυχαίο διάνυσμα με ΠΟΛΥΔΙΑΣΤΑΤΗ ΚΑΝΟΝΙΚΗ ΚΑΤΑΝΟΜΗ X Εχουμε δει ότι η γνώση της κατανομής καθεμιάς από τις X, X,, X d δεν αρκεί για να προσδιορίσουμε την κατανομή του X, αφού δεν περιέχει

Διαβάστε περισσότερα

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

Γραµµικη Αλγεβρα ΙΙ Ασκησεις - Φυλλαδιο 10 Γραµµικη Αλγεβρα ΙΙ Ασκησεις - Φυλλαδιο 0 Επαναληπτικες Ασκησεις ιδασκοντες: Ν Μαρµαρίδης - Α Μπεληγιάννης Βοηθοι Ασκησεων: Χ Ψαρουδάκης Ιστοσελιδα Μαθηµατος : http://usersuoigr/abeligia/linearalgebraii/laiihtml

Διαβάστε περισσότερα

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z)

ΚΕΦΑΛΑΙΟ 1: Πρότυπα. x y x z για κάθε x, y, R με την ιδιότητα 1R. x για κάθε x R, iii) υπάρχει στοιχείο 1 R. ii) ( x y) z x ( y z) ΚΕΦΑΛΑΙΟ 1: Πρότυπα Στο κεφάλαιο αυτό θα υπενθυμίσουμε τις βασικές έννοιες που αφορούν πρότυπα πάνω από ένα δακτύλιο Θα περιοριστούμε στα πλέον απαραίτητα για αυτά που ακολουθούν στα άλλα κεφάλαια Η κατευθυντήρια

Διαβάστε περισσότερα

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2...

a n = sup γ n. lim inf n n n lim sup a n = lim lim inf a n = lim γ n. lim sup a n = lim β n = 0 = lim γ n = lim inf a n. 2. a n = ( 1) n, n = 1, 2... ΜΑΘΗΜΑΤΙΚΗ ΑΝΑΛΥΣΗ Β.ΒΛΑΧΟΥ, Α. ΣΟΥΡΜΕΛΙΔΗΣ Τμήμα Μαθηματικών, Πανεπιστήμιο Πατρών Φθινόπωρο 2013 1 Θα θέλαμε να αναφέρουμε ότι για την συγγραφή αυτών των σημειώσεων χρησιμοποιήσαμε ιδιαίτερα α)το βιβλίο

Διαβάστε περισσότερα

Έντυπο Yποβολής Αξιολόγησης ΓΕ

Έντυπο Yποβολής Αξιολόγησης ΓΕ Έντυπο Yποβολής Αξιολόγησης ΓΕ O φοιτητής συμπληρώνει την ενότητα «Υποβολή Εργασίας» και αποστέλλει το έντυπο σε δύο μη συρραμμένα αντίγραφα (ή ηλεκτρονικά) στον Καθηγητή-Σύμβουλο Ο Καθηγητής-Σύμβουλος

Διαβάστε περισσότερα

ETY-202 ΤΑ ΜΑΘΗΜΑΤΙΚΑ ΕΡΓΑΛΕΙΑ ΤΗΣ ΚΒΑΝΤΟΜΗΧΑΝΙΚΗΣ ETY-202 ΎΛΗ & ΦΩΣ 02. ΜΑΘΗΜΑΤΙΚΑ ΕΡΓΑΛΕΙΑ. Στέλιος Τζωρτζάκης 1/11/2013

ETY-202 ΤΑ ΜΑΘΗΜΑΤΙΚΑ ΕΡΓΑΛΕΙΑ ΤΗΣ ΚΒΑΝΤΟΜΗΧΑΝΙΚΗΣ ETY-202 ΎΛΗ & ΦΩΣ 02. ΜΑΘΗΜΑΤΙΚΑ ΕΡΓΑΛΕΙΑ. Στέλιος Τζωρτζάκης 1/11/2013 stzortz@iesl.forth.gr 1396; office Δ013 ΙΤΕ 2 ΎΛΗ & ΦΩΣ 02. ΜΑΘΗΜΑΤΙΚΑ ΕΡΓΑΛΕΙΑ ΤΑ ΜΑΘΗΜΑΤΙΚΑ ΕΡΓΑΛΕΙΑ ΤΗΣ ΚΒΑΝΤΟΜΗΧΑΝΙΚΗΣ Στέλιος Τζωρτζάκης 1 3 4 Ο διανυσματικός χώρος των φυσικών καταστάσεων Η έννοια

Διαβάστε περισσότερα