Zbieżność punktowa: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m drobne redakcyjne |
|||
Linia 2:
{{definicja|'''Zbieżność punktowa ciągu funkcji''' to własność ciągu funkcji, która oznacza, że dla każdego argumentu jest on zbieżny do pewnej funkcji.}}
'''Zbieżność punktowa ciągu funkcji''' – własność [[ciąg (matematyka)|ciągu]] [[funkcja (matematyka)|funkcji]] pomiędzy przestrzeniami [[Przestrzeń metryczna|metrycznymi]]
==Definicja==
Niech <math>(X, \rho_X)</math>, <math>(Y, \rho_Y)</math> będą przestrzeniami metrycznymi i niech <math>f_{n}: X \
:<math>\
</math>
Zapis ten można rozumieć w następujący sposób: dla każdego <math>x_0\in X</math> istnieje [[Granica ciągu|granica]] <math>\lim\limits_{n \
Jeśli ciąg funkcji <math>
==Przykłady==
* Każdy ciąg stały jest zbieżny punktowo (do swojego stałego wyrazu).
[[Image:Drini-nonuniformconvergence.png|thumb|300px|right|Granica punktowa funkcji ciągłych nie musi być ciągła. Zielone (ciągłe) funkcje
* Granica punktowa ciągu funkcji [[funkcja ciągła|ciągłych]] '''nie''' musi być funkcją ciągłą. Na przykład, rozważmy funkcje <math>f_n: [0,\pi]\
:<math>f(x) = \
0 &\ \ \ x\in [0,\pi]\setminus \{\pi/2\}\\
1 &\ \ \ x = \pi/2 \\
\end{
</math>
* Granica punktowa ciągu funkcji, które nie są [[Ciągłość funkcji w punkcie|ciągłe w żadnym punkcie]] może być ciągła. Rozważmy np [[Funkcja Dirichleta|funkcję Dirichleta]] <math>I_{\mathbb Q}</math> i połóżmy <math>f_n(x)=2^{-n}\cdot I_{\mathbb Q}(x)</math> dla <math>x \in
*Przypuśćmy, że <math>f:
*Z [[Twierdzenie Stone'a-Weierstrassa|twierdzenia Weierstrassa]] można wywnioskować, że każda funkcja ciągła <math>f:
==Przykładowe własności==
* Jeśli <math>f_n, g_n:
* Jeśli <math>f_n:
* '''Twierdzenie [[René-Louis Baire
*:jest [[zbiór pierwszej kategorii|pierwszej kategorii]].
* Z '''twierdzenia [[Dimitri Jegorow|Dimitra Jegorowa]]''' wynika, że jeśli <math>f_n: [0,1] \
==Klasy Baire'a==
Zbieżność punktowa ciągu funkcji jest jednym z narzędzi używanych do badań struktury ''porządnych'' funkcji pomiędzy [[przestrzeń polska|przestrzeniami polskimi]]. Można się umówić, że funkcje ciągłe są ''bardzo porządne'', ich granice punktowe też są porządne (choć mniej), granice punktowe tychżesz granic są troszkę mniej ''porządne'' itd. Tak zasugerowany kierunek badań ''porządnych'' funkcji z [[przestrzeń euklidesowa|przestrzeni euklidesowej]] <math>
Poniżej
*Powiemy, że funkcja <math>f: X \
*Zauważmy że funkcje ciągłe to dokładnie funkcje <math>\Sigma^0_1</math>-mierzalne. Nietrudno sprawdza się też, że <math>f: X \
*Można udowodnić, że funkcja <math>f:
* Przez [[indukcja pozaskończona|indukcję]] po liczbach porządkowych <math>\xi<\omega_1</math> określamy kiedy funkcja <math>f: X \
*:
*:
*:
*Okazuje się, że jeśli <math>f: X \
==Zobacz też==
* [[przegląd zagadnień z zakresu matematyki]],
* [[zbieżność jednostajna]],
* [[zbieżność monotoniczna]].
==Bibliografia==
|