Wykład 1. Przestrzeń metryczna zupełna
Transkrypt
Wykład 1. Przestrzeń metryczna zupełna
Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Wykład 1. Przestrzeń metryczna zupełna 23 listopada 2010 Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Niech X 6= ∅. Funkcję d : X × X → R nazywamy metryką wtedy V i tylko wtedy, gdy: (d (x, y ) ≥ 0 ∧ d (x, y ) = 0 ⇔ x = y ), a) x,yV ∈X b) d (x, y ) = d (y , x), x,yV ∈X c) d (x, y ) ≤ d (x, z) + d (z, y ) – nierówność trójkąta. x,y ,z∈X Parę uporządkowaną (X , d ) nazywamy przestrzenią metryczną. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Podamy przykłady metryk w przestrzeni Rn : n P a) d (x, y) = |xi − yi | – metryka miejska, i=1 s n P (xi − yi )2 – metryka pitagorejska, b) d (x, y) = i=1 c) d (x, y) = max {|xi − yi | : i = 1, 2, ..., n} – metryka maksimum. Zauważmy, że dla n = 1 wprowadzone powyżej metryki sprowadzają się do funkcji d (x, y ) = |x − y |. Definicja Przestrzeń Rn z metryką pitagorejską nazywamy n-wymiarową przestrzenią euklidesową. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Podamy przykłady metryk w przestrzeni Rn : n P a) d (x, y) = |xi − yi | – metryka miejska, i=1 s n P (xi − yi )2 – metryka pitagorejska, b) d (x, y) = i=1 c) d (x, y) = max {|xi − yi | : i = 1, 2, ..., n} – metryka maksimum. Zauważmy, że dla n = 1 wprowadzone powyżej metryki sprowadzają się do funkcji d (x, y ) = |x − y |. Definicja Przestrzeń Rn z metryką pitagorejską nazywamy n-wymiarową przestrzenią euklidesową. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykłady 1. W dowolnym zbiorze X 6= ∅ można określić tzw. metryką dyskretną daną wzorem 0 dla x = y , d (x, y ) = 1 dla x 6= y . 2. Niech B (X , R) oznacza zbiór wszystkich funkcji ograniczonych f : X → R. W przestrzeni B (X , R) określamy metrykę wzorem d (f , g ) = sup {|f (x) − g (x)| : x ∈ X } . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Niech X będzie przestrzenią liniową nad ciałem liczb rzeczywistych R. Funkcję k·k : X → R nazywamy normą wtedy V i tylko wtedy, gdy: a) (kxk ≥ 0 ∧ (kxk = 0 ⇔ x = 0)), x∈X V V b) kαxk = |α| kxk, α∈R x∈X V kx + yk ≤ kxk + kyk. c) x,y∈X Parę uporządkowaną (X , k·k) nazywamy przestrzenią liniową unormowaną. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Podamy przykłady norm w przestrzeni Rn : n P a) kxk = |xi |, i=1 b) kxk = s max {|xi | : i = 1, 2, ..., n}, n P c) kxk = xi2 . i=1 d) Niech B (A, R), gdzie A 6= ∅, oznacza przestrzeń wszystkich ograniczonych funkcji f : A → R. W przestrzeni B (A, R) normę możemy zdefiniować wzorem kf k = sup {|f (x)| : x ∈ A} . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład cd. e) Podobnie określamy normę w przestrzeni C (ha, bi , R) wszystkich funkcji ciągłych f : ha, bi → R, przyjmując kf k = sup {|f (x)| : x ∈ ha, bi}. f) W przestrzeni Mm×n (R) wszystkich macierzy A o wymiarach m × n normę można określić wzorem kAk = sup {kAxkRm : kxkRn = 1} . Twierdzenie Jeśli k·k : X → R jest normą, to funkcja d : X × X → R określona wzorem d (x, y) = kx − yk jest metryką. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Niech X będzie przestrzenią metryczną z metryką d . Mówimy, że ciąg (xn ) ⊂ X jest ograniczony wtedy i tylko wtedy, gdy _ _ ^ d (xn , x0 ) < M. x0 ∈X M>0 n∈N Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Niech X będzie przestrzenią metryczną z metryką d . Mówimy, że ciąg (xn ) ⊂ X jest zbieżny do x0 ∈ X wtedy i tylko wtedy, gdy ^ _ ^ d (xn , x0 ) < ε. ε>0 Nε ∈N n>Nε Piszemy wówczas lim xn = x0 . n→∞ Uwaga Warunek podany w tej definicji oznacza, że lim xn = x0 ⇔ lim d (xn , x0 ) = 0. n→∞ n→∞ Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Niech X będzie przestrzenią metryczną z metryką d . Mówimy, że ciąg (xn ) ⊂ X jest zbieżny do x0 ∈ X wtedy i tylko wtedy, gdy ^ _ ^ d (xn , x0 ) < ε. ε>0 Nε ∈N n>Nε Piszemy wówczas lim xn = x0 . n→∞ Uwaga Warunek podany w tej definicji oznacza, że lim xn = x0 ⇔ lim d (xn , x0 ) = 0. n→∞ n→∞ Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Rozważmy Rk z metryką pitagorejską. (n)przestrzeń (0)Ciąg x1 x1 x (n) x (0) 2 (n) (0) x = . jest zbieżny do punktu x = 2. wtedy i .. .. (n) (0) xk xk (n) (0) tylko wtedy, gdy lim xj = xj dla każdego j = 1, 2, ..., k. n→∞ Twierdzenie Każdy ciąg zbieżny jest ograniczony. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Rozważmy Rk z metryką pitagorejską. (n)przestrzeń (0)Ciąg x1 x1 x (n) x (0) 2 (n) (0) x = . jest zbieżny do punktu x = 2. wtedy i .. .. (n) (0) xk xk (n) (0) tylko wtedy, gdy lim xj = xj dla każdego j = 1, 2, ..., k. n→∞ Twierdzenie Każdy ciąg zbieżny jest ograniczony. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Niech X będzie przestrzenią metryczną z metryką d . Mówimy, że ciąg (xn ) spełnia warunek Cauchy’ego wtedy i tylko wtedy, gdy ^ _ ^ d (xn , xm ) < ε. ε>0 Nε ∈N n,m>Nε O ciągu (xn ) mówimy wówczas, że jest ciągiem Cauchy’ego. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Twierdzenie Każdy ciąg zbieżny (xn ) jest ciągiem Cauchy’ego. Dowód. Niech (xn ) będzie ciągiem zbieżnym do x0 i ε > 0. Z definicji granicy ciągu wynika, że istnieje takie Nε ∈ N, że d (xn , x0 ) < 12 ε dla każdego n > Nε , Stąd otrzymujemy, że spełniony jest warunek d (xn , xm ) ≤ d (xn , x0 ) + d (x0 , xm ) < 12 ε + 21 ε = ε dla każdego n, m > Nε . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Twierdzenie Każdy ciąg zbieżny (xn ) jest ciągiem Cauchy’ego. Dowód. Niech (xn ) będzie ciągiem zbieżnym do x0 i ε > 0. Z definicji granicy ciągu wynika, że istnieje takie Nε ∈ N, że d (xn , x0 ) < 12 ε dla każdego n > Nε , Stąd otrzymujemy, że spełniony jest warunek d (xn , xm ) ≤ d (xn , x0 ) + d (x0 , xm ) < 12 ε + 21 ε = ε dla każdego n, m > Nε . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Twierdzenie odwrotne w ogólnym przypadku jest fałszywe. Istnieją przestrzenie metryczne, w których ciąg Cauchy’ego nie ma granicy. Przykład Rozważmy zbiór (przedział) X = (0, 2) z metryką pitagorejską. Ciąg ( n1 ) jest ciągiem Cauchy’ego, ale nie jest zbieżny w przestrzeni X . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Twierdzenie Każdy ciąg Cauchy’ego jest ograniczony. Dowód. Niech (xn ) będzie ciągiem Cauchy’ego. Dla ε = 1 istnieje taka liczba N1 , że d (xn , xm ) < 1 dla n, m > N1 . Niech M = max(1, d (xn , xN1 +1 )), gdzie n ≤ N1 . Dla każdego n ∈ N spełniony jest zatem warunek d (xn , xN1 +1 ) ≤ M, co oznacza, że ciąg (xn ) jest ograniczony. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Twierdzenie Każdy ciąg Cauchy’ego jest ograniczony. Dowód. Niech (xn ) będzie ciągiem Cauchy’ego. Dla ε = 1 istnieje taka liczba N1 , że d (xn , xm ) < 1 dla n, m > N1 . Niech M = max(1, d (xn , xN1 +1 )), gdzie n ≤ N1 . Dla każdego n ∈ N spełniony jest zatem warunek d (xn , xN1 +1 ) ≤ M, co oznacza, że ciąg (xn ) jest ograniczony. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Przestrzeń metryczną X nazywamy przestrzenią zupełną wtedy i tylko wtedy, gdy każdy ciąg Cauchy’ego (xn ) ⊂ X jest zbieżny do x0 ∈ X . Przestrzeń liniową unormowaną zupełną nazywamy przestrzenią Banacha. Przestrzeń unitarną (przestrzeń liniową z iloczynem p skalarnym (x|y ) indukującym normę kxk = (x|x)) zupełną nazywamy przestrzenią Hilberta. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Wykażemy, że przestrzeń R z metryką określoną wzorem d (x, y ) = |x − y | jest przestrzenią zupełną. Rozwiązanie Niech ciąg (xn ) ⊂ R spełnia warunek Cauchy’ego, tzn ^ _ ^ |xn − xm | < ε. ε>0 Nε ∈N n,m>Nε Ciąg (xn ) jest więc ciągiem ograniczonym i z twierdzenia Bolzano-Weierstrassa wynika, że zawiera podciąg (xkn ), gdzie (kn ) jest rosnącym ciągiem liczb naturalnych, zbieżny do x0 ∈ R. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Wykażemy, że przestrzeń R z metryką określoną wzorem d (x, y ) = |x − y | jest przestrzenią zupełną. Rozwiązanie Niech ciąg (xn ) ⊂ R spełnia warunek Cauchy’ego, tzn ^ _ ^ |xn − xm | < ε. ε>0 Nε ∈N n,m>Nε Ciąg (xn ) jest więc ciągiem ograniczonym i z twierdzenia Bolzano-Weierstrassa wynika, że zawiera podciąg (xkn ), gdzie (kn ) jest rosnącym ciągiem liczb naturalnych, zbieżny do x0 ∈ R. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Rozwiązanie cd. Spełniony jest zatem warunek ^ _ ^ |xkn − x0 | < ε. ε>0 Nε ∈N n>Nε (1) Niech ε > 0. Istnieje taka liczba naturalna Nε , że (1) |xn − xkn | < 12 ε dla n > Nε oraz istnieje taka liczba naturalna (2) (2) Nε , że |xkn − x0 | < 21 ε dla n > Nε . Dla (1) (2) n > Nε = max(Nε , Nε ) mamy zatem |xn − x0 | = |xn − xkn + xkn − x0 | ≤ ≤ |xn − xkn | + |xkn − x0 | < 21 ε + 12 ε = ε, czyli x0 jest granicą ciągu (xn ). Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Twierdzenie Każda skończenie wymiarowa unormowana przestrzeń liniowa jest przestrzenią Banacha. Przykład Wykażemy, że przestrzeń liniowa X = C (ha, bi , R) z normą kf k = sup{|f (x)| : x ∈ ha, bi} jest przestrzenią Banacha. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Twierdzenie Każda skończenie wymiarowa unormowana przestrzeń liniowa jest przestrzenią Banacha. Przykład Wykażemy, że przestrzeń liniowa X = C (ha, bi , R) z normą kf k = sup{|f (x)| : x ∈ ha, bi} jest przestrzenią Banacha. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Rozwiązanie Niech (fn ) ⊂ X będzie ciągiem Cauchy’ego, wówczas dla każdego x ∈ ha, bi ciąg liczbowy (fn (x)) jest również ciągiem Cauchy’ego. Oznaczając granice tego ciągu przez f (x), otrzymujemy funkcję f : ha, bi → R. Ciąg funkcyjny (fn ) jest zatem zbieżny punktowo w przedziale ha, bi do funkcji f . Łatwo można wykazać, że ciąg (fn ) jest zbieżny również jednostajnie do funkcji f , zatem f jest funkcją ciągłą, tzn. f ∈ X oraz lim kfn − f k = 0. n→∞ Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Punktem stałym odwzorowania F : X → X nazywamy taki punkt x ∈ X , że F (x) = x. Przykład Punktem stałym dowolnego przekształcenia liniowego F : Rn → Rn jest wektor zerowy 0. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Punktem stałym odwzorowania F : X → X nazywamy taki punkt x ∈ X , że F (x) = x. Przykład Punktem stałym dowolnego przekształcenia liniowego F : Rn → Rn jest wektor zerowy 0. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Wykażemy, że dowolna ciągła funkcja f : ha, bi → ha, bi ma punkt stały. Rozwiązanie Niech g : ha, bi → R, g (x) = f (x) − x. Funkcja g jest ciągła, g (a) = f (a) − a ≥ 0, g (b) = f (b) − b ≤ 0. Z własności Darboux wynika, że istnieje punkt x0 ∈ ha, bi dla którego g (x0 ) = 0. Punkt x0 jest punktem stałym funkcji f . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Wykażemy, że dowolna ciągła funkcja f : ha, bi → ha, bi ma punkt stały. Rozwiązanie Niech g : ha, bi → R, g (x) = f (x) − x. Funkcja g jest ciągła, g (a) = f (a) − a ≥ 0, g (b) = f (b) − b ≤ 0. Z własności Darboux wynika, że istnieje punkt x0 ∈ ha, bi dla którego g (x0 ) = 0. Punkt x0 jest punktem stałym funkcji f . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przedstawiony przykład jest szczególnym przypadkiem poniższego twierdzenia. Twierdzenie (Brouwera) Jeśli K ⊂ Rn jest zbiorem zwartym i wypukłym, odwzorowanie F : K → K jest ciągłe, to istnieje taki punkt x0 ∈ K , że F (x0 ) = x0 . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Definicja Niech X będzie przestrzenią metryczną z metryką d . Odwzorowanie F : X → X nazywamy odwzorowaniem zwężającym (lub zbliżającym) wtedy i tylko wtedy, gdy _ ^ d (F (x1 ), F (x2 )) ≤ q(d (x1 , x2 ). 0<q<1 x1 ,x2 ∈X Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład √ Rozważmy funkcję f : h1, ∞) → h1, ∞), f (x) = x. Dla dowolnych x ≥ 1, y ≥ 1 mamy √ √ |f (x) − f (y )| = | x − y | = |x − y | |x − y | =√ = 12 |x − y |. √ ≤ 1+1 x+ y Funkcja f jest zatem odwzorowaniem zwężającym. Twierdzenie Każde odwzorowanie zwężające jest ciągłe. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład √ Rozważmy funkcję f : h1, ∞) → h1, ∞), f (x) = x. Dla dowolnych x ≥ 1, y ≥ 1 mamy √ √ |f (x) − f (y )| = | x − y | = |x − y | |x − y | =√ = 12 |x − y |. √ ≤ 1+1 x+ y Funkcja f jest zatem odwzorowaniem zwężającym. Twierdzenie Każde odwzorowanie zwężające jest ciągłe. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Ważną własność odwzorowań zwężających podaje poniższe twierdzenie. Twierdzenie (Zasada Banacha) Niech F : X → X będzie odwzorowaniem zwężającym ze stałą q, x0 dowolnym punktem zbioru X . Wówczas: a) ciąg (xn ), gdzie xn = F (xn−1 ), jest zbieżny do pewnego punktu e x ∈ X, qn b) d (xn , e x) ≤ d (x1 , x0 ) dla każdego n ∈ N, 1−q c) punkt e x jest jedynym punktem stałym odwzorowania F . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Uwaga Ciąg (xn ) z zasady Banacha 25 określony jest wzorem rekurencyjnym xn = F (xn−1 ) dla n ∈ N, czyli x1 = F (x0 ), x2 = F (F (x0 )), x3 = F (F (F (x0 ))), itd. Korzystając z zasady Banacha można wykazywać istnienie rozwiązań pewnych równań oraz wyznaczać rozwiązania przybliżone tych równań. Podpunkt b) zasady Banacha pozwala oszacować błąd przybliżenia. Twierdzenie Niech f : X → X , gdzie X jest domkniętym podzbiorem R, będzie funkcją różniczkowalną. Jeśli |f 0 (x)| ≤ q < 1 dla każdego x ∈ X , to f jest odwzorowaniem zwężającym ze stałą q. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Uwaga Ciąg (xn ) z zasady Banacha 25 określony jest wzorem rekurencyjnym xn = F (xn−1 ) dla n ∈ N, czyli x1 = F (x0 ), x2 = F (F (x0 )), x3 = F (F (F (x0 ))), itd. Korzystając z zasady Banacha można wykazywać istnienie rozwiązań pewnych równań oraz wyznaczać rozwiązania przybliżone tych równań. Podpunkt b) zasady Banacha pozwala oszacować błąd przybliżenia. Twierdzenie Niech f : X → X , gdzie X jest domkniętym podzbiorem R, będzie funkcją różniczkowalną. Jeśli |f 0 (x)| ≤ q < 1 dla każdego x ∈ X , to f jest odwzorowaniem zwężającym ze stałą q. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Uwaga Ciąg (xn ) z zasady Banacha 25 określony jest wzorem rekurencyjnym xn = F (xn−1 ) dla n ∈ N, czyli x1 = F (x0 ), x2 = F (F (x0 )), x3 = F (F (F (x0 ))), itd. Korzystając z zasady Banacha można wykazywać istnienie rozwiązań pewnych równań oraz wyznaczać rozwiązania przybliżone tych równań. Podpunkt b) zasady Banacha pozwala oszacować błąd przybliżenia. Twierdzenie Niech f : X → X , gdzie X jest domkniętym podzbiorem R, będzie funkcją różniczkowalną. Jeśli |f 0 (x)| ≤ q < 1 dla każdego x ∈ X , to f jest odwzorowaniem zwężającym ze stałą q. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład Rozważmy funkcję f (x) = x 1 + , 2 x f 0 (x) = 1 1 − 2, 2 x gdzie x 6= 0. Mamy 1 1 1 |f 0 (x)| = | − 2 | ≤ 2 x 2 dla x ∈ h1, ∞). Wynika stąd, że f (h1, ∞)) ⊂ h1, ∞), czyli f : h1, ∞) → h1, ∞) jest odwzorowaniem zwężającym ze stałą q = 21 . Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Przykład cd. Oczywiście, rozwiązując równanie x2 + x1 = x, można √ bezpośrednio wykazać, że 2 jest punktem stałym funkcji f , ale z zasady Banacha można wyznaczyć przybliżenia tego rozwiązania i oszacować błąd przybliżenia. Na przykład dla x0 = 2 mamy: Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające 2 1 3 + = = 1.5, 2 2 2 3 2 17 x2 = 2 + = = 1.416666666666667, 2 3 12 17 12 577 x3 = 12 + = = 1.41421568627451, 2 17 408 577 408 665857 x4 = 408 + = = 1.41421356237469. 2 577 470832 x1 = Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Oszacujemy błąd przybliżenia twierdzenia (25) mamy √ |x4 − 2| ≤ 1 1 4 2 3 1 |2 −2 √ 2 przez x4 . Z punktu b) − 2| = 1 4 2 = 1 16 = 0.0625. Uwaga Błąd przybliżenia jest znacznie mniejszy, gdyż √stała q została √ oszacowana dla x ∈ h1, ∞). Dla funkcji f : h 2, 2i → h 2, 2i, f (x) = x2 + x1 mamy |f 0 (x)| = | 12 − x12 | ≤ 14 . Przedstawioną powyżej metodę wyznaczania rozwiązania równania F (x) = x nazywamy metodą kolejnych przybliżeń. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Oszacujemy błąd przybliżenia twierdzenia (25) mamy √ |x4 − 2| ≤ 1 1 4 2 3 1 |2 −2 √ 2 przez x4 . Z punktu b) − 2| = 1 4 2 = 1 16 = 0.0625. Uwaga Błąd przybliżenia jest znacznie mniejszy, gdyż √stała q została √ oszacowana dla x ∈ h1, ∞). Dla funkcji f : h 2, 2i → h 2, 2i, f (x) = x2 + x1 mamy |f 0 (x)| = | 12 − x12 | ≤ 14 . Przedstawioną powyżej metodę wyznaczania rozwiązania równania F (x) = x nazywamy metodą kolejnych przybliżeń. Wykład 1. Przestrzeń metryczna zupełna Przestrzeń metryczna Przestrzeń liniowa unormowana Ciągi zbieżne w przestrzeniach metrycznych Odwzorowania zwężające Oszacujemy błąd przybliżenia twierdzenia (25) mamy √ |x4 − 2| ≤ 1 1 4 2 3 1 |2 −2 √ 2 przez x4 . Z punktu b) − 2| = 1 4 2 = 1 16 = 0.0625. Uwaga Błąd przybliżenia jest znacznie mniejszy, gdyż √stała q została √ oszacowana dla x ∈ h1, ∞). Dla funkcji f : h 2, 2i → h 2, 2i, f (x) = x2 + x1 mamy |f 0 (x)| = | 12 − x12 | ≤ 14 . Przedstawioną powyżej metodę wyznaczania rozwiązania równania F (x) = x nazywamy metodą kolejnych przybliżeń. Wykład 1. Przestrzeń metryczna zupełna