4.3. Ciągi funkcyjne 75
Porównując warunki (4.11) i (4.12), otrzymamy następujące
Twierdzenie 4.63. Niech będzie dany ciąg funkcyjny (fn)%L\, fn - D —» IR, Dcl oraz funkcja f: D —> M. Jeśli ciąg funkcyjny fn jest zbieżny jednostajnie do funkcji f, to ciąg ten jest również zbieżny punktowo do funkcji f.
Przykład 4.64. Rozważmy ciąg (/„)£°=11 fn: [0,7r] -» IR, fn(x) = ^ sinnx. Przy ustalonym x G [0,7r) ciąg fn(x) = sin rur —» 0 z twierdzenia o trzech ciągach. Zatem ciąg (fn)ffLi jest zbieżny punktowo do funkcji stałej równej
0 (fn —> 0). Pokażemy, że jest to zbieżność jednostajna. Ustalmy e > 0. Wtedy, jeżeli weźmiemy M — to dla n > M = 4= oraz x G [0,7r] otrzymamy
nierówność | sin nx — 01 ^ < e. Zatem warunek (4.12) jest spełniony.
Przykład 4.65. W przykładzie 4.61 pokazaliśmy, że ciąg funkcyjny
fn- [Oj 1] -* fn(x) = Xn
jest zbieżny punktowo do funkcji /: [0,1] —» IR, f(x) = 0 dla x G [0,1)
1 /(1) = 1. Udowodnimy, że nie jest to zbieżność jednostajna, tzn. że
3£>o r 3n>M 3xe[0;i] |fn(x) - f{x)| ^ e.
Niech £ = ^ i weźmy dowolne M. Z własności funkcji wykładniczej g(t) = (4)4
wiemy, że (^ < 1 dla t > 0. Dla dowolnego n > M mamy (^) n < 1. Zatem z własności zbioru liczb rzeczywistych (twierdzenie 3.21) znajdziemy x takie,
że ();)n < x < 1, czyli e = 4 < xn < \xn — 0| = |/n(xc) — /(.t)|, co kończy dowód.
Mając dany ciąg funkcji (fn)%Li, fn - D —* IR, możemy rozważać szereg funkcyj-00
nY E fn- Analogicznie, jak w przypadku szeregów liczbowych, konstruujemy
n=l
ciąg sum częściowych:
N
SN : D -> IR, Sm(x) = f\(x) 4-----f /at(x) = fn(x).
n= 1 oo
Definicja 4.66. (1) Szereg E) fn nazywamy zbieżnym punktowo w D, jeśli
n=l
N
ciąg jS/v = E fn jest zbieżny punktowo, tzn. dla każdego x G D ciąg
n=l
N
Sn(x) = E fn(jf) jest zbieżny.
n=l