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

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

Twierdzenia o funkcjach ciągłych

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

Rachunek różniczkowy funkcji wielu zmiennych

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

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

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

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

Analiza matematyczna. Robert Rałowski

Analiza I.1, zima wzorcowe rozwiązania

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

Problem. Jak praktycznie badać jednostajną ciągłość funkcji?

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

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

Analiza I.1, zima globalna lista zadań

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

Podróże po Imperium Liczb

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

LICZBY, RÓWNANIA, NIERÓWNOŚCI; DOWÓD INDUKCYJNY

3. Funkcje elementarne

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

Teoria. a k. Wskaźnik sumowania można oznaczać dowolną literą. Mamy np. a j = a i =

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

I kolokwium z Analizy Matematycznej

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.

Automatyka i Robotyka Analiza Wykład 14 dr Adam Ćmiel

Ekonomia matematyczna - 1.1

Ciągi liczbowe wykład 3

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

KOMBINATORYKA. Oznaczenia. } oznacza zbiór o elementach a, a2,..., an. Kolejność wypisania elementów zbioru nie odgrywa roli.

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

2. Nieskończone ciągi liczbowe

INDUKCJA MATEMATYCZNA

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

Fraktale - ciąg g dalszy

Dwumian Newtona. Agnieszka Dąbrowska i Maciej Nieszporski 8 stycznia 2011

Zasada indukcji matematycznej. Dowody indukcyjne.

RÓWNANIA RÓŻNICZKOWE WYKŁAD 11

Analiza matematyczna i algebra liniowa

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

Materiały do ćwiczeń z Analizy Matematycznej I

3 Arytmetyka. 3.1 Zbiory liczbowe.

Znajdowanie pozostałych pierwiastków liczby zespolonej, gdy znany jest jeden pierwiastek

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.

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

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

Twierdzenie 15.3 (o postaci elementów rozszerzenia ciała o zbiór). Niech F będzie ciałem oraz A F pewnym zbiorem. Niech L<F.

Analiza numeryczna. Stanisław Lewanowicz. Aproksymacja funkcji

I. Podzielność liczb całkowitych

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

Wyk lad 1 Podstawowe techniki zliczania

Zajęcia nr. 2 notatki

Teoria. a k. Wskaźnik sumowania można oznaczać dowolną literą. Mamy np. a j = a i =

IV Uniwersytecka Sobota Matematyczna 14 kwietnia Funkcje tworzące w kombinatoryce

gi i szeregi funkcyjne

APROKSYMACJA I INTERPOLACJA. funkcja f jest zbyt skomplikowana; użycie f w dalszej analizie problemu jest trudne

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

Szkic notatek do wykładu Analiza Funkcjonalna MAP9907

Matematyka dyskretna Kombinatoryka

Zadania z analizy matematycznej - sem. I Szeregi liczbowe

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

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

5. Zasada indukcji matematycznej. Dowody indukcyjne.

Ekonomia matematyczna - 2.1

5. Szeregi liczbowe. A n = A = lim. a k = lim a k, a k = a 1 + a 2 + a

Twierdzenie Cayleya-Hamiltona

N ( µ, σ ). Wyznacz estymatory parametrów µ i. Y które są niezależnymi zmiennymi losowymi.

Rozkład normalny (Gaussa)

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

Przestrzenie sygnałów

Matematyka wybrane zagadnienia. Lista nr 4

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

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

A i A j lub A j A i. Operator γ : 2 X 2 X jest ciągły gdy

Wykład 8: Zmienne losowe dyskretne. Rozkłady Bernoulliego (dwumianowy), Pascala, Poissona. Przybliżenie Poissona rozkładu dwumianowego.

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

Kombinatorycznie o tożsamościach kombinatorycznych

Podprzestrzenie macierzowe

Podprzestrzenie macierzowe

Funkcja wykładnicza i logarytm

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

Zdzisław Dzedzej. Politechnika Gdańska. Gdańsk, 2013

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

Wyższe momenty zmiennej losowej

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

n k n k ( ) k ) P r s r s m n m n r s r s x y x y M. Przybycień Rachunek prawdopodobieństwa i statystyka

Zdarzenia losowe, definicja prawdopodobieństwa, zmienne losowe

1. Granica funkcji w punkcie

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

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

1.3. Przestrzeni. Odwzorowania. Rząd macierzy. Twierdzenie Croneckera- Capellego

UKŁADY RÓWNAŃ LINOWYCH

MACIERZE STOCHASTYCZNE

Pierwiastki z liczby zespolonej. Autorzy: Agnieszka Kowalik

Analiza matematyczna. 1. Ciągi

Szeregi liczbowe. Szeregi potęgowe i trygonometryczne.

Analiza Matematyczna I dla Fizyki na WPPT Lista zadań

Prawdopodobieństwo i statystyka

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

Transkrypt:

Wyład 7 Przestrzeie metrycze zwarte Defiicja 8 (przestrzei zwartej i zbioru zwartego Przestrzeń metryczą ( ρ X azywamy zwartą jeśli ażdy ciąg elemetów tej przestrzei posiada podciąg zbieży (do putu tej przestrzei Zbiór A X azywamy zwartym jeśli zbiór te tratoway jao przestrzeń metrycza ( A ρ staowi przestrzeń zwartą Bardzo często moża spotać ią rówoważą powyższej defiicję przestrzei metryczej zwartej Podamy ją teraz bez wyazywaia że obie defiicje są rówoważe Defiicja 8 (Borela-Lebesgue a przestrzei zwartej Przestrzeń metryczą ( ρ podporycie sończoe tj jeśli { t T X azywamy zwartą jeśli ażde otwarte porycie przestrzei X zawiera G t : jest rodzią zbiorów otwartych taą że X UG t to istieje tai t T sończoy uład wsaźiów t t t T że X G G G t t t Podamy teraz ila ogólych twierdzeń tóre dotyczą przestrzei metryczych zwartych Twierdzeie 8 ażda przestrzeń metrycza zwarta jest zupeła Niech ( X ρ będzie dowolą przestrzeią metryczą zwartą i { X x dowolym ciągiem spełiającym warue Cauchy ego Musimy wyazać że jest o zbieży Poieważ przestrzeń X jest zwarta to istieje podciąg { x ciągu { x zbieży A zatem { x jest ciągiem Cauchy ego i posiada podciąg zbieży Na mocy twierdzeia ciąg { x jest zatem zbieży Twierdzeie 85 (Catora W przestrzei metryczej zwartej zstępujący ciąg iepustych zbiorów domiętych ma iepusty przerój Niech ( X ρ będzie przestrzeią metryczą zwartą i { domiętych Dla ażdej liczby aturalej iech przestrzeń ( ρ Ustalmy (a x Cl( X jest zwarta więc istieje podciąg { m N Dla m mamy x m m Poieważ zaś zbiór m dowolym ciągiem zstępującym iepustych zbiorów x będzie wybraym elemetem zbioru a poieważ jest domięty więc Poieważ x zbieży do pewego putu x X x lim x więc a mocy twierdzeia 8 x m Poazaliśmy zatem że m x dla

wszystich m N tj I x m Zbiór I m jest zatem iepusty m m Twierdzeie 86 ażda przestrzeń metrycza zwarta jest ograiczoa Niech ( X ρ będzie dowolą przestrzeia metryczą zwartą Rodzia { ( x U poryciem przestrzei X tj X x x X ( A poieważ przestrzeń ( ρ zbiorów otwartych jest X jest zwarta to a mocy defiicji Borela-Lebesgue a (zob defiicja 8 istieje sończoe podporycie tego porycia tj istieje sończoy uład putów x x x X tai że Weźmy dowole pewych i j { ρ U X ( i x i x y X Wyorzystując powyższą zależość dostajemy x i y dla sąd (uwzględiajac ierówość trójata dla ρ ρ ( x y ρ( x xi + ρ( xi x j + ρ( x j y ( x x + max{ ρ( x x : i j { + ρ( x y < + max{ ρ( x x : i j { ( x i i i j j i j ( x j Z dowolości x y X mamy zatem diam( przestrzeń X jest ograiczoa { < + { ( x y : x y X + max ρ( x x : i j { X sup ρ i j oleje twierdzeia podają pewe cechy tóre charateryzują przestrzeie metrycze zwarte i ich podzbiory Twierdzeie 87 Niech ( X ρ będzie dowolą przestrzeią metryczą a ( M ρ jej podprzestrzeią Jeżeli ( ρ przestrzeią zwartą to M jest zbiorem domiętym w X M jest Poieważ przestrzeń ( ρ M jest zwarta to a mocy twierdzeia 8 jest zupeła a stąd a mocy twierdzeia 77 M jest zbiorem domiętym w X Twierdzeie 88 Jeżeli ( ρ X jest przestrzeią metryczą zwartą to ażdy jej domięty podzbiór M też staowi przestrzeń metryczą zwartą Musimy poazać że przestrzeń metrycza ( ρ M jest zwarta tj że ażdy ciąg putów tej przestrzei posiada podciąg zbieży (do putu tej przestrzei Weźmy zatem dowoly ciąg { x putów przestrzei M

Poieważ elemety tego ciągu są rówież elemetami przestrzei X a ta jest zwarta to istieje podciąg { x ciagu { x zbieży do pewego putu X M jest domięty więc x orzystając z twierdzeia 8 (a x Cl( M a poieważ zbiór x M Wyażemy teraz waże w zastosowaiach twierdzeie charateryzujące podzbiory zwarte przestrzei eulidesowej ( ρ R e Twierdzeie 89 Podzbiór M przestrzei eulidesowej ( ρ ograiczoy w R R jest zwarty wtedy i tylo wtedy gdy zbiór M jest domięty i e Załóżmy ajpierw że zbiór ograiczoość z twierdzeia 86 Załóżmy z olei że zbiór M M R jest zwarty Domiętość zbioru M wyia z twierdzeia 87 a R jest domięty i ograiczoy Weźmy dowoly ciąg { x putów zbioru M Poieważ M jest zbiorem ograiczoym to a mocy twierdzeia Bolzao-Weierstrassa (zob twierdzeie istieje podciąg { x zbieży tj tai że lim x dla pewego x R orzystając z x twierdzeia 8 (a x Cl( M a poieważ zbiór M jest domięty to x M Z dowolego ciągu putów zbioru M wybralismy zatem podciąg zbieży do putu tego zbioru Zbiór M jest więc zwarty Przyład 9 (przestrzei zwartej i przestrzei ie będącej przestrzeią zwartą (a Na mocy powyższego twierdzeia dostajemy od razu że p przestrzeń metrycza ([ ] jest przestrzeią zwartą Natomiast przestrzeń eulidesowa ( R ie jest zwarta tj ie z ażdego ciągu putów tej przestrzei moża wybrać podciąg zbieży Istotie biorąc p ciąg { putów tej przestrzei i wybierając z iego dowoly podciąg { w R (b Rówież przestrzeń dysreta ρ widzimy że lim + x dla dowolego R ( R ie jest zwarta (p ciąg { x tj ciąg { ie jest zbieży ie posiada żadego podciągu zbieżego choć jest oa domięta (przestrzeń zawsze w sobie jest domięta i ograiczoa ( ( R sup{ ( x y : x y < + diam ρ R Nie moża zatem w ogólości sugerować się twierdzeiem 89 tj tym że zwartość zbioru zawsze jest tym samym co jego domiętość i ograiczoość oleje trzy twierdzeia łączą ze sobą pojęcia ciągłości i zwartości i są waże w zastosowaiach Twierdzeie 9 ażda fucja ciągła przeształcająca przestrzeń metryczą zwartą w przestrzeń metryczą jest jedostajie ciągła

Niech ( X ρ będzie dowolą przestrzeią metryczą zwartą ( ρ Y dowolą przestrzeią metryczą i f : X Y dowolą fucją ciągłą Zgodie z defiicją 57 ciągłości jedostajej musimy poazać że (* { x X { z X [ lim ( x z lim ρ( f ( x f ( z ] ρ Weźmy dwa dowole ciągi { x { z X i załóżmy że lim ρ ( x z { Wybierzmy dowoly rosący ciąg liczb aturalych tym samym wybierając dowole podciągi { x { z i { ρ ( f ( x f ( z przestrzeń metrycza ( ρ orzystając z ierówości X jest zwarta to istieje podciąg { l ρ ( z x ρ( z x ( x x l l + ρ l l tóra zachodzi dla wszystich l N widzimy że ciąg { l fucja f jest ciągła to f ( x f ( x lim f ( z l l l l ρ ( f ( x f ( z ρ ( f ( x f ( x + ρ ( f ( x f ( z tóra zachodzi dla wszystich Poieważ x zbieży do pewego x X z też jest zbieży do putu x Poieważ zaś lim Wyorzystując teraz ierówość l l l N dostajemy l ( f ( x f ( z lim ρ Widzimy więc że biorąc dowoly podciąg { ( f ( x f ( z podciąg { ( f ( x f ( z l { ( f ( x f ( l l l ρ ciągu { ( f ( x f ( l ρ moża z iego wyjąć z ρ zbieży do zera a to a mocy twierdzeia 7 (f ozacza że sam ciąg ρ też jest zbieży do zera i poazuje tym samym że warue (* zachodzi ucja f jest z zatem ciągła jedostajie Twierdzeie 9 Obraz ciągły przestrzei zwartej jest przestrzeią zwartą Niech ( X ρ będzie dowolą przestrzeią metryczą zwartą a ( ρ Y dowolą przestrzeią metryczą i iech f : X Y będzie dowolą fucją ciągłą Musimy wyazać że f ( X jest zbiorem zwartym Weźmy dowoly ciąg { y f ( X Zajdziemy wówczas ciąg { x X tai że f ( ( ρ X jest zwarta to istieje podciąg { ciągłość fucji f dostajemy y lim f ( x f ( x f ( X { y zbieży do putu zbioru ( X y N A poieważ przestrzeń x x zbieży do putu x X Biorąc teraz pod uwagę lim co poazuje że ciąg { y posiada podciąg f tym samym uzasadiając jego zwartość Twierdzeie 9 (Weierstrassa ażda fucja ciągła f o wartościach rzeczywistych oreśloa a przestrzei zwartej X jest ograiczoa i osiąga swoje resy tj istieją puty x' x" X taie że

f ( x' if{ f ( x i f ( x sup{ f ( x " Niech ( ρ X będzie dowolą przestrzeią metryczą zwartą a f : X R dowolą fucją ciągłą (w przestrzei R rozważamy metryę eulidesową Poieważ f jest fucją ciągłą to orzystając z twierdzeia 9 f ( X jest zbiorem zwartym i a mocy twierdzeia 86 ograiczoym A zatem { f ( x R sup { f ( x R tj if{ f ( x y i sup{ f ( x : x X y Z defiicji resu dolego if dla ażdego (* y f ( x dla pewych y y R N istieje put x X tai że < y + if i A zatem istieje ciąg { x putów przestrzei X tórego elemety spełiają warue (* a poieważ przestrzeń ( ρ x' X X jest zwarta to z ciągu tego możemy wybrać podciąg { x zbieży do pewego putu Dostajemy teraz z jedej stroy wyorzystując ciągłość fucji f że lim f ( x f ( x' wyorzystujac (* i twierdzeie o trzech ciągach dostajemy że lim f ( x y przestrzei metryczej ( R mamy zatem że f ( x y if{ f ( x Podobie poazujemy że f ( x sup{ f ( x a z drugiej Z jedozaczości graicy w ' dla pewego x' X " dla pewego x" X Sostruujemy a oiec tego rozdziału cieawy przyład podzbioru przestrzei metryczej ([ ] (a ta aprawdę ostrucje tą łatwo moża przeieść a dowoly przedział w R będącego z jedej stroy zbiorem bardzo liczym (gdyż zbiór będzie ieprzeliczaly z drugiej stroy zbiorem bardzo małym (gdyż zbiór będzie miary Lebesgue a zero i w ońcu a puty tego zbioru moża się atąć prawie wszędzie w przedziale [ ] (gdyż zbiór będzie gęsty w przestrzei ([ ] Przyład 9 (zbioru ieprzeliczalego miary Lebesgue a zero i gęstego Poieważ podaie zbioru wymaga użycia pojęcia zbioru Catora C tóry sam w sobie jest zbiorem posiadającym wiele cieawych własości dlatego też zacziemy od jego ostrucji Rozważmy przedział domięty [ ] Usuńmy z iego przedział postaci środowy przedział otwarty o długości tj Z pozostałego zbioru postaci gdzie i usuńmy środowe przedziały otwarte o długości postaci 7 8 i Z pozostałego zbioru postaci 6 7 8 9 gdzie usuńmy środowe przedziały otwarte o długości postaci 7 8 5

9 5 6 i Proces otyuujemy otrzymując odpowiedi ciąg zbiorów { Zbiór Catora C oreślamy teraz jao część wspólą wszystich zbiorów tj I C Łatwo zauważyć że poieważ ońce przedziałów wchodzące w sład zbiorów przy wszystich N ależą już do zbioru Catora C to zbiór Catora C jest iesończoy Poażemy więcej a miaowicie że jest o zbiorem ieprzeliczalym Przypuśćmy przeciwie tj że elemety zbioru Catora C moża ustawić w ciąg c Jest jase że dalej że c c c Niech S będzie tym ze zbiorów c c do tórego c Niech S będzie tym ze zbiorów c c c ie ależy Jest jase zawartym w zbiorze S do tórego c ie ależy Postępując ta dalej otrzymamy zstępujący ciąg iepustych przedziałów domiętych { S taich że c S dla N Oczywiście a mocy twierdzeia Catora (zob twierdzeie 85 zbiór I S jest iepusty i poadto widać że I S C Jest to jeda iemożliwe gdyż to by ozaczało że istieje elemet zbioru Catora c tóry jest we wszystich zbiorach S a przecież c S przy N Zauważmy dalej że zbiór Catora C jao iloczy przeliczalej ilości zbiorów domiętych jest mierzaly w sesie Lebesgue a i poadto jego miara (tutaj ozaczaa symbolem λ jest zero Istotie λ ( C λ ([ ] \ ( ( Rozważmy teraz podzbiór C ( Q [] przestrzei metryczej [ ] Po pierwsze jest to zbiór ieprzeliczaly gdyż już sam zbiór Catora tj zbiór C jest zbiorem ieprzeliczalym Po drugie jest to zbiór miary Lebesgue a zero gdyż oba zbiory C i [ ] Q są miary Lebesgue a zero I w ońcu jest to zbiór gęsty w przestrzei [ ] gdyż już sam zbiór liczb wymierych z przedziału [ ] tj zbiór Q [ ] jest gęsty w [ ] 6