23. Definicja szeregu funkcyjnego. Zbieżność punktowa i jednostajna na zbiorze. -Rajch

Definicja (szeregu funkcyjnego i jego sumy)

Niech X będzie dowolnym niepustym zbiorem i niech 0x01 graphic
oraz 0x01 graphic
dla n = 1,2,3,... , gdzie Y oznacza ciało liczb rzeczywistych lub zespolonych. Ciąg 0x01 graphic
sum częściowych takich, że

0x01 graphic
, nazywamy szeregiem funkcyjnym i oznaczamy 0x01 graphic
, a granicę ciągu sum częściowych, szeregu funkcyjnego nazywamy sumą szeregu funkcyjnego.

Twierdzenie (kryterium jednostajnej zbieżności)

Szereg 0x01 graphic
jest zbieżny jednostajnie w zbiorze X do funkcji f(x), gdy od pewnego wyrazu norma sumy częściowej szeregu 0x01 graphic
jest dowolnie mała dla wszystkich 0x01 graphic
, tzn. gdy dla dowolnej liczby 0x01 graphic
istnieje taka liczba naturalna 0x01 graphic
, że dla wszystkich 0x01 graphic
i dla wszystkich 0x01 graphic
zachodzi nierówność 0x01 graphic

Definicja (punktowej/jednostajnej zbieżności)

Dany jest ciąg funkcyjny 0x01 graphic
. Mówimy, że szereg funkcyjny 0x01 graphic
jest punktowo (odp. jednostajnie) zbieżny w A, jeśli ciąg sum częściowych

0x01 graphic
jest punktowo (odp. jednostajnie) zbieżny w A do S(x).

Twierdzenie

Jeżeli szereg funkcyjny jest jednostajnie zbieżny, to jest punktowo zbieżny.

Twierdzenie

Niech dany będzie szereg funkcyjny 0x01 graphic
, zbieżny jednostajnie w przedziale (a,b) do funkcji f. Wówczas, jeżeli wszystkie wyrazy ciągu 0x01 graphic
są ciągłe, to jego suma f też jest funkcją ciągłą.

Przykład 1

Szereg 0x01 graphic
jest zbieżny punktowo w przedziale (−1, 1), ale nie jest jednostajnie zbieżny. Istotnie:

0x01 graphic
stąd 0x01 graphic
stąd 0x01 graphic
jest zbieżny.

Przykład 2

Rozpatrzmy szereg 0x01 graphic
w przedziale (-1,1). Mamy 0x01 graphic
. Ponieważ 0x01 graphic
, więc 0x01 graphic
. Zatem ciąg 0x01 graphic
nie jest jednostajnie zbieżny do 0x01 graphic
, z czego wynika, że szereg 0x01 graphic
nie jest jednostajnie zbieżny w (-1,1).

Przykład 3

Rozpatrzmy ten sam szereg na przedziale 0x01 graphic
, gdzie 0<a<1. Wtedy 0x01 graphic
. Zatem szereg 0x01 graphic
jest jednostajnie zbieżny w przedziale 0x01 graphic
.