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

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

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

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

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

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

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

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

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

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

Analiza matematyczna. Robert Rałowski

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

Ciągi liczbowe wykład 3

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

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

I kolokwium z Analizy Matematycznej

Zadania z analizy matematycznej - sem. I Szeregi liczbowe

Ekonomia matematyczna - 1.1

2. Nieskończone ciągi liczbowe

Zasada indukcji matematycznej. Dowody indukcyjne.

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

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

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

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

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

Szkic notatek do wykładu Analiza Funkcjonalna MAP9907

Funkcja wykładnicza i logarytm

gi i szeregi funkcyjne

Szeregi liczbowe. Szeregi potęgowe i trygonometryczne.

Zadania z Matematyka 2 - SIMR 2008/ szeregi zadania z rozwiązaniami. n 1. n n. ( 1) n n. n n + 4

RÓWNANIA RÓŻNICZKOWE WYKŁAD 11

Niech X bȩdzie dowolnym zbiorem. Dobry porz adek to relacja P X X (bȩdziemy pisać x y zamiast x, y P ) o w lasnościach:

lim a n Cigi liczbowe i ich granice

3. Funkcje elementarne

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.

Matematyka I. Bezpieczeństwo jądrowe i ochrona radiologiczna Semestr zimowy 2018/2019 Wykład 11

T O P O L O G I A WPPT I, sem. letni WYK LAD 8. Wroc law, 21 kwietnia D E F I N I C J E Niech (X, d) oznacza przestrzeń metryczn a.

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

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

Wyk lad 2 W lasności cia la liczb zespolonych

Wyk lad 5. Analiza dla informatyków 1 DANI LI1 Pawe l Domański szkicowe notatki do wyk ladu. 1. Granice niew laściwe

Wykªad 05 (granice c.d., przykªady) Rozpoczniemy od podania kilku przykªadów obliczania granic ci gów. n an = + dla a > 1. (5.1) lim.

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

5. Zasada indukcji matematycznej. Dowody indukcyjne.

Teoria miary WPPT IIr. semestr zimowy 2009 Wyk lady 6 i 7. Mierzalność w sensie Carathéodory ego Miara Lebesgue a na prostej

Materiały do ćwiczeń z Analizy Matematycznej I

ZBIEŻNOŚĆ CIĄGU ZMIENNYCH LOSOWYCH. TWIERDZENIA GRANICZNE

Analiza Matematyczna I dla Inżynierii Biomedycznej Lista zadań

Zadania domowe z Analizy Matematycznej III - czȩść 2 (funkcje wielu zmiennych)

Jarosław Wróblewski Analiza Matematyczna 2 (LUX), lato 2017/18. a n n = 10.

KOMBINATORYKA 1 WYK LAD 11 Kombinatoryczna teoria zbioró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 2B, lato 2015/16

Analiza numeryczna. Stanisław Lewanowicz. Aproksymacja funkcji

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

z n n=1 S n nazywamy sum a szeregu. Szereg, który nie jest zbieżny, nazywamy rozbieżnym. n=1

CIA GI I ICH GRANICE

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

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

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

Szeregi liczbowe. 15 stycznia 2012

Podróże po Imperium Liczb

Twierdzenia o funkcjach ciągłych

WPPT 2r., sem. letni KOLOKWIUM 1 Wroc law, 19 kwietnia 2011

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2014/15. n 4n n 1

Jarosław Wróblewski Analiza Matematyczna 1A, zima 2014/15. n = Rozwiązanie: Stosując wzór na wartość współczynnika dwumianowego otrzymujemy

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

Charakterystyki liczbowe zmiennych losowych: wartość oczekiwana i wariancja

3 Arytmetyka. 3.1 Zbiory liczbowe.

Analiza matematyczna dla informatyków 4 Zajęcia 5

ZADANIA NA POCZA n(n + 1) = 1 3n(n + 1)(n + 2).

Analiza 1, cze ść pia ta

Podprzestrzenie macierzowe

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

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

Elementy analizy funkcjonalnej PRZESTRZENIE LINIOWE

MATEMATYKA I SEMESTR ALK (PwZ)

Tomasz Downarowicz Instytut Matematyki i Informatyki Politechnika Wroc lawska Wroc law Wroc law, kwiecień 2011

Zadanie 3. ( ) Udowodnij, że jeśli (X n, F n ) jest martyngałem, to. X i > t) E X n. . t. P(sup

KOMBINATORYKA 1 Struktury kombinatoryczne

f '. Funkcja h jest ciągła. Załóżmy, że ciąg (z n ) n 0, z n+1 = h(z n ) jest dobrze określony, tzn. n 0 f ' ( z n

nie zależy (z dok ladności a do jednostajnego homeomorfizmu) od wyboru ci agu uzbieżniaj acego c n. 1 min{n : x n y n }.

T O P O L O G I A O G Ó L N A. WPPT WYK LAD 13 Ci agi uogólnione, topologie w przestrzeniach produktowych

Analiza matematyczna 1 Notatki do wykªadu Mateusz Kwa±nicki. 7 Sumy i iloczyny uogólnione

tek zauważmy, że podobnie jak w dziedzinie rzeczywistej wprowadzamy dla funkcji zespolonych zmiennej rzeczywistej pochodne wyższych rze

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

Informatyka Stosowana-egzamin z Analizy Matematycznej Każde zadanie należy rozwiązać na oddzielnej, podpisanej kartce!

O pewnych zastosowaniach rachunku różniczkowego funkcji dwóch zmiennych w ekonomii

MACIERZE STOCHASTYCZNE

Wyk lad 9 Podpierścienie, elementy odwracalne, dzielniki zera

Podprzestrzenie macierzowe

Analiza I.1, zima wzorcowe rozwiązania

I. Podzielność liczb całkowitych

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

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

c 2 + d2 c 2 + d i, 2

OSOBNO ANALITYCZNYCH

Rachunek różniczkowy funkcji wielu zmiennych

1. Granica funkcji w punkcie

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

Transkrypt:

Aaliza Fukcjoala WPPT IIIr. semestr leti 2011 WYK LAD 9,5: ZBIEŻNOŚĆ S LABA I *-S LABA TWIERDZENIE BANACHA ALAOGLU 28/05/2013 NiechX ozaczaprzestrzeńbaacha,ax jejdual a(czyliprzestrzeńfukcjoa lów ograiczoych a X z orm a fukcjoa low a). Defiicja 1. Powiemy, że ci ag (x ) 1 elemetów X zbiega s labo do elemetu x X, jeśli dla każdego fukcjoa lu f X zachodzi zbieżość f(x ) f(x). Podobie, powiemy, że ci ag fukcjoa lów (f ) (czyli elemetów X ) zbiega *-s labo do fukcjoa lu f X jeśli dla dowolego x X zachodzi zbieżość f (x) f(x). Twierdzeie 1. Jeśli x x w ormie X, to x x s labo. Jeśli f f w ormie X, to f f s labo (to zaczy po a lożeiu dowolego fukcjoa lu F X ). Jeśli f f s labo, to f f *-s labo. Dowód: Pierwszy fakt wyika wporst z ci ag lości każdego f X wzglȩdem ormy w X. Drugi fakt jest zastosowaiem pierwszego do przestrzei X. Trzeci fakt wyika z tego, że przy ustaloym x przyporz adkowaie f f(x) jest fukcjoa lem ograiczoym a X (a wiȩc elemetem X ). Twierdzeie 2. Graica s laba ci agu (x ) 1 elemetów X, o ile istieje, to jest jedya. Podobie graica *-s laba ci agu (f ) 1 elemetów X, o ile istieje, to jest jedya. Dowód a ćwiczeiach. Uwaga. Jeśli X jest przestrzei a refleksyw a (tz. X X ), to w X moża rozważać zarówo zbieżość s lab a jak i *-s lab a (taktuj ac X jako sprzȩżo a do X ). Wtedy zbieżości te s a tożsame, gdzyż w obu przypadkach w defiicji zbieżości ci agu (x ) odwo lujemy siȩ do ci agów liczbowych f(x ), gdzie f X. Twierdzeie 3. Ci ag elemetów X zbieży s labo jest ograiczoy w ormie. Podobie, ci ag fukcjoa lów zbieży *-s labo jest oraiczoy w ormie fukcjoa lowej. Dowód: Niech ci ag (x ) zbiega s labo (do jakiegoś x X, który jedak ie odegra żadej roli w dowodzie). Za lóżmy, że ci ag x jest ieograiczoy. Wtedy, przechodz ac do podci agu możemy za lożyć, że x 4. Napiszmy x = C 4, gdzie C 1. Niech f ozacza fukcjoa l uormoway wyci agaj acy ormȩ x (tz. taki, że f = 1 oraz f (x ) = x = C 4 ; istieie takiego fukcjoa lu

wyika z Twierdzeia Haha Baacha). Zauważmy, że dla dowolego ci agu sk ladaj acego siȩ z zer i jedyek, szereg =1 f 4 jest bezwzglȩdie zbieży, zatem z zupe lości X zbieży do jakiegoś fukcjoa lu f X. Dobierzemy teraz idukcyjie ci ag, tak aby uzyskać sprzeczość. Najpierw k ladziemy 1 = 1. Za lóżmy, że dla pewego już ustaliliśmy wartości 1,..., 1. Patrzymy a modu l 1 f k (x ). Jeśli to jest wiȩksze b adź rówe C 2 to k ladziemy = 0. W przypadku przeciwym k ladziemy = 1. Zauważmy, że w pierwszym przypadku mamy oczywiście f k (x ) C W drugim zaś piszemy f k (x ) f (x ) 1 4 f k (x ) C C 2 = C i wysz la taka sama ierówość jak w przypadku pierwszym. W te sposób zdefiiowaliśmy liczby, tak że po pierwsze f = =1 f 4 jest fukcjoa lem ci ag lym, a po drugie, dla każdego zachodzi f k (x ) C Dalej zauważmy, że poieważ wszystkie fukcjoa ly f k maj a ormȩ 1, to mamy f k (x ) x 1 = x = x 1 3 4 = C 3. k=+1 k=+1 Zatem f k (x ) f(x ) = f k (x ) k=+1 k=+1 f k (x ) C 2 C 3 = C 6 6. Poieważ uzyskaliśmy ci ag ieograiczoy, wiȩc ci ag f(x ) ie może zbiegać do f(x) (co jest liczb a skończo a). Ta sprzeczość dowodzi, że ci ag x a pocz atku dowodu musi być ograiczoy.

Dowód dla ci agu fukcjoa lów zbieżego *-s labo jest symetryczy (to zaczy zamieiamy rolami pukty i fukcjoa ly). Jedya różica, to taka, że ie musi istieć elemet x o ormie 1,,wyci agaj acy ormȩ fukcjoa lu f (to zaczy elemetu, a którym fukcjoa l te osi aga ormȩ). Ale istieje elemet x, a którym f,,prawie osi aga ormȩ, a przyk lad taki, że f (x ) = 0,9 f = 0,9 C 4. Na kończu wyjdzie pukt x, taki że f (x) 0,9 C 6 0,9 6. To też jest ci ag ieograiczoy. Reszta dowodu bez istotych zmia. Twierdzeie 4. 1) Niech {f l : l 1} bȩdzie zbiorem liiowo gȩstym w X. Ci ag (x ) elemetów przestrzei X zbiega s labo do x X wtedy i tylko wtedy, gdy jest o ograiczoy w ormie oraz f l (x ) f l (x) dla każdego l 1. 2) Niech {x l : l 1} bȩdzie zbiorem liiowo gȩstym w X. Ci ag f fukcjoa lów ci ag lych a X zbiega *-s labo (do pewego f X ) wtedy i tylko wtedy, gdy jest o ograiczoy (w ormie fukcjoa lowej) oraz dla każdego l 1 ci ag liczbowy (f (x l )) 1 jestzbieży. (Uwaga,wtymsformu lowaiuiewskazujemygraiczego fukcjoa lu f. W dowodzie trzeba go bȩdzie dopiero,,stworzyć ). s labo Dowód: Jeśli x x, to już wiemy, że ci ag (x ) jest ograiczoy i zachodzi zbieżośćf(x ) f(x)dladowolegofukcjoa luf, wszczególościdlaf l (l 1). Podoby argumet za latwia jed a implikacjȩ dla ci agu *-s labej zbieżości fukcjoa lów. W drug a stroȩ (dla zbieżości s labej jak w pukcie 1)). Ustalmy dowoly f X i ǫ > 0. Istieje kombiacja liiowa f ǫ = k l=1 a lf l bliska f o ǫ M w ormie fukcjoa lowej, gdzie M jest wspólym ograiczeiem orm wszystkich elemetów x i x. Wtedy, dla każdego mamy f(x ) f ǫ (x ) ǫ oraz f(x) f ǫ (x) ǫ. Poadto mamy zbieżość f ǫ (x ) f ǫ (x), zatem dla dostateczie dużego, f ǫ (x ) f ǫ (x) < ǫ. Z waruku trójk ata, mamy wiȩc (dla dostateczie dużego ), f(x ) f(x) < 3ǫ, co dowodzi zbieżości f(x ) do f(x), czyli s labej zbieżości x do x. Dowiedziemy teraz drugiej implikacji w pukcie 2). Po pierwsze pokażemy, że dla dowolego x X ci ag liczbowy (f (x)) 1 jest zbieży. Do tego wystarczy jego podstawowość. Ustalmy ǫ > 0. Przybliżamy x kombiacj a liiow a x ǫ = k l=1 c lx l z dok ladości a do ǫ M, gdzie M jest ograiczeiem a ormy fukcjoa lów f. Poieważ dla każdego l ci ag f (x l ) jest podstawowy, przeto istieje,,wspóle (dla l = 1,...,k) progowe 0, że dla dowolych m, 0 zachodzi f (x l ) f m (x l ) < ǫ kc l (l = 1,...,k). Wtedy f (x ǫ ) f m (x ǫ ) < ǫ. Ostateczie, dla takich m, mamy f (x) f m (x) f (x) f (x ǫ ) + f (x ǫ ) f m (x ǫ ) + f m (x ǫ ) f m (x) 3ǫ, co kończy dowód podstawowości. Możemy teraz zdefiiować fukcjȩ f (za chwilȩ pokażemy, że jest to fukcjoa l ograiczoy) a ca lej przestrzei X jako graicȩ puktow a f(x) = lim f (x).

Liiowść f jest oczywista, gdyż każdy f jest liiowy, co zostaje zachowae przy przejściu do graicy. Ograiczoość f jest rówież oczywista, gdyż dla x o ormie ie przekraczaj acej 1 wszytskie liczby f (x) ie przekraczaj a co do modu lu M, zatem i f(x) ie przekracza M, iymi s lowy f jest fukcjoa lem ograiczoym o ormie co ajwyżej M. W te sposób pokazaliśmy, że f X i ci ag (f ) 1 zbiega *-s labo do f. Uwaga: W dowodzie tej trudiejszej implikacji za lożeie ograiczoości jest istote. Za chwilȩ podamy a to przyk lad. Przyk lad. Niech H bȩdzie ośrodkow a przestrzei a Hilberta. Jako że jest to przestrzeń refleksywa, zbieżości s laba i *-s laba s a tożsame. Niech {e k : k 1} ozaczabazȩortoormal awh. Oczywiścieodpowiadaj aceimfukcjoa lyf k (x) = x,e k staowi a bazȩ ortoormal a (a wiȩc zbiór liiowo gȩsty) w H, zatem zgodie z Twierdzeiem 4, zbieżość s laba ci agu (x ) do x jest rówoważa z koiugcj a dwóch waruków: ograiczoości w ormie, oraz tego, by dla każdego k zachodzi la zbieżość x,e k x,e k. Te ostati waruek, to ic iego, jak wymóg, aby k-ty wspó lczyik Fouriera elemetu x zbiega l po do k-tego wspó lczyika Fouriera elemetu x (czyli aby ci agi wspó lczyików Fouriera elemetów x zbiega ly po wspó lrzȩdych do ci agu wspó lczyików Fouriera elemetu x). Teraz pokażemy, że jest to zbieżość istotie s labsza od zbieżości ormowej. Miaowicie sama baza traktowaa jako ci ag (e ) 1 oczywiście ie jest zbieża w ormie (a już a pewo ie do zera s a to elemety o ormie 1). Z drugiej stroy jest to ci ag ograiczoy w ormie i dla każdego k k te wspó lczyiki Fouriera elemetów e d aż a po do zera (s a oe zerami dla > k), a wiȩc do k-tego wspó lczyika Fouriera elemetu zerowego przestrzei H. Zatem ci ag (e ) d aży s labo do zera. Przy okazji, jeśli teraz weźmiemy ci ag x = e, to tu rówież dla każdego k k te wspó lczyiki Fouriera elemetów x d aż a po do zera (s a zerami dla > k). Jedak ci ag (x ) ie jest ograiczoy w ormie, a wiȩc ie może być zbieży s labo! Fukcjoa lu przecz acego zbieżości s labej trzeba jedak szukać poza baz a (czyli poza zbiorem fukcjoa lów,e k ), zgodie z przepisem z dowodu Twierdzeia 3. Twierdzeie 5 (Baach Alaoglu). Niech X bȩdzie ośrodkow a przestrzei a Baacha. Wtedy kula jedostkowa w przestrzei X jest *-s labo zwarta. Dowód: Niech (f )bȩdziedowolym ci agiem fukcjoa lów oormieieprzekraczaj acej 1 a X. Naszym celem jest wybór podci agu zbieżego *-s labo. Poieważ ci ag (f ) jest ograiczoy, wiȩc a mocy Twierdzeia 4, do *-s labej zbieżości podci agu wystarczy jego zbieżość a zbiorze liiowo gȩstym w X. Poieważ X jest ośrodkowa, istiejegȩsty(tymbardziejliiowogȩsty)zbiórprzeliczaly{x l : l 1}. Kostrukja podci agu zbieżego fukcjoa lów bȩdzie przebiegać zgodie ze stadardow a procedur a przek atiow a: Patrzymy a ci ag (f (x 1 )) 1. Jest to ci ag liczbowy ograiczoy (modu ly ie przekraczaj a x 1 ), wiȩc istieje podci ag zbieży (f k (x 1 )) k 1. A wiȩc,,pierwszy podci ag fukcjoa lów (f k ) k 1 jest zbieży w pukcie x 1. Fukcjoa l f 1,,odk ladamy a bok to bȩdzie pierwszy elemet aszego ostateczego przek atiowego podci agu zbieżego *-s labo. Teraz patrzymy a ci ag liczbowy (f k (x 2 )) k Zów istieje jego podci ag zbieży (f kj (x 2 )) j 1. A wiȩc,,drugi podci ag fukcjoa lów (f kj ) j 1 jest zbieży w pukcie x Jest o

rówieżzbieżywpukciex 1, gdyżjesttopodci ag,,pierwszegopodci agu (f k ) k 1. Fukcjoa l f k1,,odk ladamy a bok jako drugi elemet aszego przek atiowego podci agu i patrzymy a ci ag liczbowy (f kj (x 3 )) j I tak dalej, idukcyjie. W te sposób dla każdego l wybierzemy,,l-ty podci ag fukcjoa lów zbieży we wszystkich puktach x 1,x 2,...,x l oraz,,od lożoy zostaie podci ag przek atiowy fukcjoa lów f 1,f k1,f kj1,... Ma o astȩpuj ace w lasości: Po pierwsze, ideksy tworz a ci ag ros acy, a wiȩc jest to rzeczywiście podci ag ci agu (f ). Od teraz ozaczać go bȩdziemy jako (f s ) s 1. Po drugie, dla dowolej liczby aturalej l, od miejsca s = l asz podci ag (f s ) jest zawarty w l-tym podci agu zbieżym w puktach x 1,x 2,...,x l. W efekcie asz podci ag przek atiowy jest zbieży w każdym pukcie x l (l 1). To, a mocy Twierdzeia 4 (pukt 2)) wystarcza do jego *-s labej zbieżości do pewego fukcjoa lu ograiczoego. Tomasz Dowarowicz