Operatory zwarte Lemat. Jeśli T jest odwzorowaniem całkowym na przestrzeni Hilberta X = L 2 (Ω) z jądrem k L 2 (M M)

Podobne dokumenty
Szkic notatek do wykładu Analiza Funkcjonalna MAP9907

I. Ciągi liczbowe. , gdzie a n oznacza n-ty wyraz ciągu (a n ) n N. spełniający warunek. a n+1 a n = r, spełniający warunek a n+1 a n

Wektory Funkcje rzeczywiste wielu. Matematyka Studium doktoranckie KAE SGH Semestr letni 2008/2009 R. Łochowski

ZADANIA Z TOPOLOGII I. PRZESTRZENIE METRYCZNE. II. ZBIORY OTWARTE I DOMKNIĘTE.

AnFunIIa.tex January 19, 2016 ANALIZA FUNKCJONALNA II (2015/2016)

Zestaw zadań do skryptu z Teorii miary i całki. Katarzyna Lubnauer Hanna Podsędkowska

Analiza matematyczna. Robert Rałowski

Wykład 7. Przestrzenie metryczne zwarte. x jest ciągiem Cauchy ego i posiada podciąg zbieżny. Na mocy

Podróże po Imperium Liczb

1 Twierdzenia o granicznym przejściu pod znakiem całki

Materiały do ćwiczeń z Analizy Matematycznej I

Jarosław Wróblewski Analiza Matematyczna A1, zima 2011/12. Kresy zbiorów. x Z M R

Stwierdzenie 1. Jeżeli ciąg ma granicę, to jest ona określona jednoznacznie (żaden ciąg nie może mieć dwóch różnych granic).

x t 1 (x) o 1 : x s 3 (x) Tym samym S(3) = {id 3,o 1,o 2,s 1,s 2,s 3 }. W zbiorze S(n) definiujemy działanie wzorem

2. Nieskończone ciągi liczbowe

3. Funkcje elementarne

Ekonomia matematyczna - 1.1

SZEREGI LICZBOWE. s n = a 1 + a a n = a k. k=1. aq n = 1 qn+1 1 q. a k = s n + a k, k=n+1. s n = 0. a k lim n

Zadanie 1.6. Niech n N, a R + \ N, a 2 = n. Wykazać, że a / Q. Zadanie 1.7. Wykazać następujące twierdzenia za pomocą indukcji matematycznej.

Analiza Funkcjonalna WPPT IIIr. semestr letni 2011 WYK LAD 9,5: ZBIEŻNOŚĆ S LABA I *-S LABA TWIERDZENIE BANACHA ALAOGLU 28/05/2013

Ciągi liczbowe wykład 3

Analiza numeryczna. Stanisław Lewanowicz. Aproksymacja funkcji

1. Miara i całka Lebesgue a na R d

Materiały do wykładu Matematyka Stosowana 1. Dariusz Chrobak

1 Ciągłe operatory liniowe

a 1, a 2, a 3,..., a n,...

(x 1 y 1 ) (x n y n ) 2. 1<j<m x i y i. x2 y 2 gdy x 1 = y 1 x 2 y 2 + x 1 + y 1 gdy x 1 = y 1. gdy x, y, 0 nie są współliniowe

8. Jednostajność. sin x sin y = 2 sin x y 2

Podprzestrzenie macierzowe

I kolokwium z Analizy Matematycznej

Twierdzenie spektralne

zadań z pierwszej klasówki, 10 listopada 2016 r. zestaw A 2a n 9 = 3(a n 2) 2a n 9 = 3 (a n ) jest i ograniczony. Jest wiec a n 12 2a n 9 = g 12

MACIERZE STOCHASTYCZNE

Wykład 11. a, b G a b = b a,

Twierdzenie Cayleya-Hamiltona

Zadania z analizy matematycznej - sem. I Szeregi liczbowe

Zdarzenia losowe, definicja prawdopodobieństwa, zmienne losowe

Podprzestrzenie macierzowe

Wykład 6. Przestrzenie metryczne ośrodkowe i zupełne. ρ, gdzie r

RÓWNANIA RÓŻNICZKOWE WYKŁAD 11

Zadania z Analizy Funkcjonalnej I Które z poniższych przestrzeni metrycznych są przestrzeniami unormowanymi?

Ekonomia matematyczna - 2.1

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2012/13. Ciągi.

O liczbach naturalnych, których suma równa się iloczynowi

Funkcja wykładnicza i logarytm

1. Granica funkcji w punkcie

3 Arytmetyka. 3.1 Zbiory liczbowe.

Szeregi liczbowe. 15 stycznia 2012

( ) WŁASNOŚCI MACIERZY

Twierdzenia graniczne:

Szeregi liczbowe. Szeregi potęgowe i trygonometryczne.

dna szeregu. ; m., k N ; ó. ; u. x 2n 1 ; e. n n! jest, że

Zadania z Analizy Funkcjonalnej I Które z poniższych przestrzeni metrycznych są przestrzeniami unormowanymi?

Wzór Taylora. Matematyka Studium doktoranckie KAE SGH Semestr letni 2008/2009 R. Łochowski

Zadania z Analizy Funkcjonalnej I* - 1

+ ln = + ln n + 1 ln(n)

1 Wersja testu A 21 czerwca 2017 r. 1. Wskazać taką liczbę wymierną w, aby podana liczba była wymierna. w = w 2, w = 2.

c 2 + d2 c 2 + d i, 2

Relacje rekurencyjne. będzie następująco zdefiniowanym ciągiem:

P ( i I A i) = i I P (A i) dla parami rozłącznych zbiorów A i. F ( ) = lim t F (t) = 0, F (+ ) = lim t + F (t) = 1.

Matematyka ETId I.Gorgol Twierdzenia o granicach ciagów. Twierdzenia o granicach ciagów

Szeregi liczbowe i ich własności. Kryteria zbieżności szeregów. Zbieżność bezwzględna i warunkowa. Mnożenie szeregów.

Jarosław Wróblewski Analiza Matematyczna 1 LUX, zima 2016/17

Fraktale - ciąg g dalszy

Korzystając z własności metryki łatwo wykazać, że dla dowolnych x, y, z X zachodzi

Wykład z Rachunku Prawdopodobieństwa II

Metody badania zbieżności/rozbieżności ciągów liczbowych

gi i szeregi funkcyjne

Charakterystyki liczbowe zmiennych losowych: wartość oczekiwana i wariancja

Wykład 19. Matematyka 3, semestr zimowy 2011/ grudnia 2011

Rekursja 2. Materiały pomocnicze do wykładu. wykładowca: dr Magdalena Kacprzak

Analiza Funkcjonalna - Zadania

Jarosław Wróblewski Analiza Matematyczna 1, zima 2016/17

Niezależność zmiennych, funkcje i charakterystyki wektora losowego, centralne twierdzenia graniczne

Zadania z algebry liniowej - sem. I Liczby zespolone

UKŁADY RÓWNAŃ LINOWYCH

Analiza numeryczna Kurs INP002009W. Wykład 1 Narzędzia matematyczne. Karol Tarnowski A-1 p.223

Planowanie doświadczeń - DPLD LMO Materiały pomocnicze

Wyk lad 8 Zasadnicze twierdzenie algebry. Poj. ecie pierścienia

Analiza funkcjonalna II Ryszard Szwarc

ALGEBRA LINIOWA Informatyka 2015/2016 Kazimierz Jezuita. ZADANIA - Seria 1. Znaleźć wzór na ogólny wyraz ciągu opisanego relacją rekurencyjną: x

Trzeba pokazać, że dla każdego c 0 c Mc 0. ) = oraz det( ) det( ) det( ) jest macierzą idempotentną? Proszę odpowiedzieć w

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2013/14

Analiza matematyczna dla informatyków 4 Zajęcia 5

Twierdzenia o funkcjach ciągłych

Damian Doroba. Ciągi. 1. Pierwsza z granic powinna wydawać się oczywista. Jako przykład może służyć: lim n = lim n 1 2 = lim.

I. Podzielność liczb całkowitych

1 Przestrzenie Hilberta

Jarosław Wróblewski Analiza Matematyczna 2B, lato 2015/16

Rachunek różniczkowy funkcji wielu zmiennych

Rozmieszczenie liczb pierwszych

2 n < 2n + 2 n. 2 n = 2. 2 n 2 +3n+2 > 2 0 = 1 = 2. n+2 n 1 n+1 = 2. n+1

Statystyka matematyczna. Wykład II. Estymacja punktowa

3. Regresja liniowa Założenia dotyczące modelu regresji liniowej

1 Pochodne wyższych rzędów

Pierwiastki z liczby zespolonej. Autorzy: Agnieszka Kowalik

Równoliczno zbiorów. Definicja 3.1 Powiemy, e niepuste zbiory A i B s równoliczne jeeli istnieje. Piszemy wówczas A~B. Przyjmujemy dodatkowo, e ~.

Ekonomia matematyczna 2-2

Elementy rach. macierzowego Materiały pomocnicze do MES Strona 1 z 7. Elementy rachunku macierzowego

Analiza Matematyczna I dla Fizyki na WPPT Lista zadań

Transkrypt:

Operatory zwarte Niech X będzie przestrzeią Baacha. Odwzorowaie liiowe T azywa się zwarte, jeśli obraz kuli jedostkowej T (B) jest zbiorem warukowo zwartym. Przestrzeń wszystkich operatorów zwartych a X ozaczamy przez C(X). Wprost z defiicji widać, że każdy operator T, dla którego dim Im T <, jest zwarty. Łatwo też zauważyć, że C(X) jest przestrzeią liiową. 0.1. Uwaga. Każdy operator liiowy T B(X) jest słabo-słabo ciągły. 0.2. Lemat. Jeśli T jest odwzorowaiem zwartym a X, to dla każdego ciągu (x ) x w 0 = T x 0. W takim razie każde odwzorowaie zwarte jest ciągłe, a więc C(X) B(X). Przy dodatkowych założeiach implikację moża odwrócić. 0.3. Twierdzeie. Jeśli H jest ośrodkową przestrzeią Hilberta, to operator T przeprowadzający ciągi słabo zbieże w zbieże jest zwarty. Mamy też 0.4. Twierdzeie. Niech X będzie refleksywa. Wtedy T C(X), wtedy i tylko wtedy gdy T : B X jest słabo-moco ciągły. Dowód. Niech T : B X będzie słabo-moco ciągły. X jest refleksywa, więc kula B X w jest zwarta, a stąd obraz T (B) jest zwarty w ormie. Zatem operator T jest zwarty. Druga implikacja ie wymaga założeia refleksywości. Niech T : X X będzie zwarty. Wtedy T (B) jest zbiorem zwartym i topologie słaba oraz ormowa a tym zbiorze się pokrywają. Jako że każdy operator liiowy jest słabo-słabo ciągły, T odwzorowuje B w sposób słabo-moco ciągły. 0.5. Lemat. Jeśli T C(X) i T T, to T C(X), a więc przestrzeń liiowa C(X) jest domkięta. 0.6. Twierdzeie. Jeśli T C(X) i A B(X), to AT C(X) i T A C(X). Iymi słowy C(X) jest dwustroym domkiętym ideałem w B(X). Zauważmy mimochodem, że c 0 jest ideałem w l. Aalogia ta ie jest, jak zobaczymy, przypadkowa. 0.7. Lemat. Jeśli T jest odwzorowaiem całkowym a przestrzei Hilberta X = L 2 (Ω) z jądrem k L 2 (M M) T f(x) = k(x, y)f(y) dy, to T jest odwzorowaiem zwartym o ormie T k 2. 0.8. Lemat. Jeśli T jest odwzorowaiem a przestrzei Hilberta H spełiającym waruek T e 2 <, to T jest zwarty i T 2 T e 2. 0.9. Lemat. Jeśli T C(X), to T C(X ). M Dowód. Rozważmy przestrzeń C(T (B)) fukcji ciągłych a zwartym domkięciu obrazu kuli jedostkowej B X. Fukcjoały z kuli jedostkowej B X staowią domkiętą podprzestrzeń fukcji jedakowo ciągłych w C(T (B)), a więc podzbiór zwarty. Odwzorowaie C(T (B)) f f T C(B) jest ciągłe, więc obraz B przez to odwzorowaie jest zwarty. Jeśli zaurzymy X w zwykły sposób w C(B), to obraz te jest rówy T (B ).

2 0.10. Lemat. Przypuśćmy, że X ma bazę Schaudera {e }. Ozacza to, że dla każdego x mamy jedozacze przedstawieie Wówczas x = m(x) = sup N α (x)e. α k (x)e k jest ormą zupełą rówoważą ormie. Co więcej, fukcjoały α k są ciągłe (względem obu orm). Dowód. Zauważmy, że m(x) < dla każdego x, bo ciąg sum częściowych szeregu Schaudera jest zbieży, a więc ograiczoy. Jedorodość i własość trójkąta są oczywiste. Mamy też x = α j (x)e j = lim N α k (x)e k m(x). N Mamy też j=1 α k (x) e k m k (x) + m k 1 (x) 2m(x), więc fukcjoały α N są ciągłe względem ormy m. Norma m jest także zupeła. Aby to udowodić, przypuśćmy, że (x ) jest ciągiem Cauchy ego względem ormy m. Wtedy dla każdego k ciąg α k (x ) jest zbieżym ciągiem liczbowym. Niech a k = lim α k (x ). Dla dowolego ε > 0 istieje 0, takie że dla, m 0 i dowolego N a stąd dla dowolego M < N α k (x )e k α k (x m )e k ε, α k (x )e k Przechodząc do graicy z m, otrzymujemy α k (x )e k a więc α k (x m )e k 2ε. a k e k 2ε, a k e k 2ε + α k (x )e k, skąd już łatwo wioskujemy, że szereg a ke k jest zbieży w ormie i reprezetuje wektor x 0, taki że m(x x 0 ) = sup N α k (x ) a k e k 2ε dla 0. Zatem ciąg (x ) jest zbieży do x 0 w ormie m, która okazuje się zupeła. Jak zupełe i prówywale ormy oraz m są więc rówoważe, a fukcjoały α k są ciągłe także względem ormy wyjściowej. 0.11. Twierdzeie. Jeśli przestrzeń X ma bazę Schaudera, to każdy operator T C(X) jest graicą w ormie operatorów skończoego wymiaru.

3 Dowód. Niech {e } będzie bazą. Projektory P (x) = α k (x)e k są ciągłe i zbieże moco do I. Jako, że zbiór T (B) jest warukowo zwarty, P są zbieże jedostajie a T (B), a to ozacza, że P T T w ormie. Kolejy lemat wprowadza amiastkę pojęcia ortogoalości w przestrzeiach Baacha. 0.12. Lemat (Riesz). Jeśli Y jest domkiętą podprzestrzeią X, to dla każdej liczby 0 < q < 1 istieje u X o ormie 1, taki że dist(u, Y ) > q. Dowód. Niech x / Y i iech y Y będzie takie, że α = x y < q 1 dist(x, Y ). Niech u = α 1 (x y). Jak widać, u = 1 oraz dist(u, Y ) α 1 dist(x, Y ) > q. Niech X będzie ciągiem domkiętych iezmieiczych podprzestrzei operatora liiowego T. Jeśli X X +1, x X \ X 1 i T x = λ x (mod X 1 ), to mówimy, że ciągi (X, x, λ ) tworzą góry układ trójkąty dla T. Jeśli atomiast X +1 X, x X \ X +1 i to mówimy o dolym układzie trójkątym. T x = λ x (mod X +1 ), 0.13. Lemat. Jeśli (X, x, λ ) jest ieskończoym górym lub dolym układem trójkątym dla T C(X), to λ 0. Dowód. Niech (X, x, λ ) będzie górym układem trójkątym. Niech y < X 1 {x } > będzie wektorem jedostkowym i takim, że dist(y, X 1 ) 1/2. Wtedy więc dla m > a to ozacza, że T y = λ y (mod X 1 ), T y m T y = λ y m (mod X ), T y m T y λ m /2 dla ieskończeie wielu. Gdyby ciąg (λ ) ie dążył do zera, istiałby podciąg T y mk, z którego ie dało by się wybrać zbieżego podciągu. 0.14. Twierdzeie. Niech X będzie przestrzeią Baacha. Niech T C(X) i iech A = I + T. Wtedy i) Obraz operatora A jest domkięty. ii) A jest surjekcją, wtedy i tylko wtedy gdy jest ijekcją. iii) dim ker A < oraz codim Im A <.

4 Dowód. i). Niech à : X/ ker A Im A będzie zaday wzorem Ã(π(x)) = Ax, gdzie π : X X/ ker A jest odwzorowaiem ilorazowym. Pokażemy, że istieje stała c > 0, taka że Ã(π(x)) cπ(x), x X. Gdyby tak ie było, to istiałby ciąg x 2, taki że π(x ) = 1 oraz a więc i podciąg (x k ), taki że π(x ) + T π(x ) 1/, lim π(x k ) = lim T π(x k ) = π(x 0 ). k k Jak jedak łatwo zauważyć, π(x 0 ) + T π(x 0 ) = 0, więc x 0 ker A, ale to ie jest możliwe, bo π(x 0 ) = 1. Z udowodioej ierówości wyika, że à jest izomorfizmem a Im A, który jest wobec tego domkięty. ii). Przypuśmy ie wprost, że A jest surjekcją, ale ie ijekcją. Zdefiiujemy idukcyjie ciąg wektorów. Niech x 0 = 0 i iech 0 x 1 ker A. Jeśli day jest już wektor x, iech Ax +1 = x. Niech jeszcze X =< x 0, x 1,..., x >, = 0, 1, 2,.... Jak łatwo widzieć, x X \X 1 i T x +1 = x +1 +x. Zatem (X, x, 1) tworzą ieskończoy góry układ trójkąty, gdzie λ = 1 dla wszystkich, co być ie może. Jeśli teraz A jest ijektywy, ale ie jest surjekcją, to obraz Im A jako domkięty ie jest gęsty. Stąd A, który jest tej samej postaci, jest ieijektywą surjekcją, co daje sprzeczość a mocy poprzedich rozważań. iii). Na podprzestrzei ker A zwarty operator T jest rówy I, więc jej wymiar musi być skończoy. Skończoy jest także wymiar jądra A = I + T, co pociąga, że wymiar przestrzei (Im A) = {ξ X : ξ(x) = 0, x Im A} jest skończoy. Zatem dopełieie algebraicze obrazu Im A, który jest podprzestrzeią domkiętą, ma wymiar skończoy. 0.15. Twierdzeie. Niech T będzie operatorem zwartym. Spektrum σ(t ) jest zbiorem co ajwyżej przeliczalym i jego puktem skupieia może być tylko 0. Każdy iezerowy elemet λ σ(t ) jest wartością własą skończoej krotości. Dowód. Niech 0 λ σ(t ). Operator λi T = λ(i λ 1 T ) jest ieodwracaly, więc musi być ijektywy. Zatem λ jest wartością własą skończoej krotości, bo wymiar jądra I λt jest skończoy. Niech λ będzie ciągiem parami różych wartości własych zbieżym do λ. Niech x będzie wektorem własym odpowiadającym λ. Niech X =< {x k } >. Wtedy (X, x, λ ) jest ieskończoym górym układem trójkątym, a zatem λ = lim λ = 0, jak chcieliśmy. Spektrum jest przeliczale, bo jest zbiorem o co ajwyżej jedym pukcie skupieia. Uwaga. Jeśli spektrum jest ieskończoe, to 0 σ(t ), bo wtedy ciąg wartości własych jest zbieży do zera. Zero ie musi być wartością własą, bo T może mieć zerowe jądro (operator Volterry). Jeśli jedak zero jest wartością własą, jego krotość może być ieskończoa, jak w przykładzie Ax() = ε x(), x c 0, ε = 1 + ( 1). 2

5 0.16. Wiosek. Niech H będzie przestrzeią Hilberta, a T C(H). Istieją wówczas układy ortoormale {e } i {f } oraz ciąg liczb µ > 0, takie że T x = µ < x, e > f, x H. Dowód. Niech {e } będzie układem ON wektorów własych T odpowiadających jego iezerowym wartościom własym µ. Niech Y = < {e } >. Mamy Y = ker T = ker T. Niech T = U T będzie rozkładem polarym T. Wtedy gdzie f = Uf. T x = T ( < x, e > e ) = µ < x, e > f, 0.17. Lemat. Niech H będzie przestrzeią Hilberta, a T C(H) będzie ormaly. Jeśli T u = λu, to T u = λu. Poadto przestrzeie włase H λ i H µ są ortogoale dla λ µ. Dowód. Mamy Jako że H λ = {x X : T x = λx}. T (T u) = T (T u) = λt u, przestrzeń ta jest iezmieicza dla obu operatorów. Zatem T = λi a H λ. Jeśli teraz λ 1 λ 2 są wartościami własymi T, a u 1 i u 2 odpowiadającymi im wektorami własymi, to a więc < u 1, u 2 >= 0. λ 1 < u 1, u 2 >=< T u 1, u 2 >=< u 1, T u 2 >= λ 2 < u 1, u 2 >, 0.18. Wiosek. Niech H będzie przestrzeią Hilberta, a T C(H) będzie ormaly. Niech {λ } będzie ciągiem jego wszystkich wartości własych liczoych wraz z krotościami. Istieje wówczas baza ortoormala {e }, taka że (0.19) T x = λ < x, e > e, x H. Niech T będzie zwartym operatorem ormalym. Niech {e } będzie bazą jego wektorów własych. Ozaczmy przez P rzut ortogoaly a Ce. Wzór (0.19) możemy zapisać w postaci T = gdzie szereg jest zbieży w ormie. Rzeczywiście, λ P, N λ P max N λ 0, N. W szczególości dla wektorów x, y H < T x, y >= λ < P x, y >= λ µ x,y (dλ), σ(t ) gdzie µ jest miarą zakowaą a C o ośiku w σ(t ) określoą wzorem µ(e) = λ E λ. Mamy µ x,y x y. Jeśli y = x, to µ x = µ x,x jest miarą dodatią o całkowitym wahaiu µ = x 2. Twierdzeie spektrale uogólia te opis a wszystkie ograiczoe operatory ormale.