Zbieżność punktowa: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m drobne redakcyjne |
drobne redakcyjne |
||
Linia 5:
==Definicja==
Niech <math>(X, \rho_X)</math>, <math>(Y, \rho_Y)</math> będą przestrzeniami metrycznymi i niech <math>f_{n}
:<math>\forall_{x \in X}\; \forall_{\varepsilon > 0}\; \exists_{n_0 \in \mathbb N}\; \forall_{n \ge n_0} \quad \varrho_Y\left( f_n(x), f(x)\right)<\varepsilon.
</math>
Linia 16:
* 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 <math>\sin^n(x)</math> są punktowo zbieżne do nieciągłej funkcji czerwonej]]
* 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
:<math>f(x) = \begin{cases}
0, &
1, &
\end{cases}
</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 \mathbb R</math>. Wówczas ciąg <math>(f_n)_{n \in \mathbb N}</math> jest zbieżny punktowo do funkcji stałej <math>f(x)=0</math>.
*Przypuśćmy, że <math>f: \mathbb R \to \mathbb R</math> jest funkcją [[Funkcja różniczkowalna|różniczkowalną]] i <math>g</math> jest [[Pochodna funkcji|funkcją pochodną]] funkcji <math>f</math>. Wówczas można znaleźć funkcje ciągłe <math>g_n
*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
*:ciąg <math>(\alpha \cdot f_n + \beta \cdot g_n)_{n \in \mathbb N}</math> jest zbieżny punktowo do funkcji <math>\alpha \cdot f + \beta \cdot g</math>,
*:ciąg <math>(f_n \cdot g_n)_{n \in \mathbb N}</math> jest zbieżny punktowo do funkcji <math>f \cdot g</math>,
Linia 33:
* Jeśli <math>f_n: \mathbb R \to \mathbb R</math> (dla <math>n \in \mathbb N</math>) są funkcjami ciągłymi zbieżnymi punktowo do funkcji <math>f: \mathbb R \to \mathbb R</math>, to <math>f</math> jest [[funkcja mierzalna|funkcją mierzalną]] względem [[przestrzeń mierzalna|σ-ciała]] zbiorów [[zbiór borelowski|borelowskich]]. (Zobacz więcej w sekcji o klasach Baire'a poniżej.)
* '''Twierdzenie [[René-Louis Baire|Baire'a]]''': Jeśli <math>X,Y</math> są przestrzeniami metrycznymi, <math>f_n: X \to Y</math> (dla <math>n \in \mathbb N</math>) są funkcjami ciągłymi, oraz ciąg <math>(f_n)_{n \in \mathbb N}</math> jest zbieżny punktowo do funkcji <math>f: X \to Y</math>, to zbiór
* Z '''
==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>\mathbb R^n</math> w [[liczby rzeczywiste]] <math>\mathbb R</math> był zapoczątkowany przez [[Francja|francuskiego]] matematyka [[René-Louis Baire|René-Louisa Baire'a]] w [[1899]]<ref>Baire, R.: ''Sur les fonctions de variables réelles''. "Annali di Mat." (3) 3 (1899), s. 1-123.</ref>. Tematyka ta była rozwinięta przez [[Henri Lebesgue]]'a w [[1905]]<ref>Lebesgue, H.: ''Sur les fonctions représentables analytiquement''. "Journ. de Math." (6) 1 (1905), s. 139-216. </ref>. Polski matematyk, [[Stefan Banach]], uogólnił te rozważania na przypadek przestrzeni polskich w [[1931]]<ref>Banach, S.: ''Über analytisch darstellbare Operationen in abstrakten Räumen''. "[[Fundamenta Mathematicae]]" 17 (1931), s. 283-295.</ref>.
Poniżej <math>X, Y</math> są przestrzeniami polskimi, z kolei <math>\mathcal N</math> jest [[Przestrzeń_Baire%27a#Szczeg.C3.B3lna_przestrze.C5.84_topologiczna|przestrzenią Baire'a]].
*Powiemy, że funkcja <math>f: X \to Y</math> jest <math>\Sigma^0_\xi</math>-mierzalna (dla [[zbiór przeliczalny|przeliczalnej]] [[liczba porządkowa|liczby porządkowej]] <math>\xi<\omega_1</math>) jeśli dla każdego zbioru [[zbiór otwarty|otwartego]] <math>U \subseteq Y</math> mamy, że <math>f^{-1}(U) \in \Sigma^0_\xi(X)</math>. (Definicja klas borelowskich <math>\Sigma^0_\xi</math> jest podana w artykule o [[Zbiór_borelowski#Hierarchia_zbior.C3.B3w_borelowskich_w_przestrzeniach_polskich|zbiorach borelowskich]].)
*Zauważmy że funkcje ciągłe to dokładnie funkcje <math>\Sigma^0_1</math>-mierzalne. Nietrudno sprawdza się też, że <math>f
*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
*:<math>f</math> jest klasy Baire'a 0, jeśli <math>f</math> jest ciągła,
*:<math>f</math> jest klasy Baire'a 1, jeśli <math>f</math> nie jest ciągła, ale jest <math>\Sigma^0_2</math>-mierzalna,
*:<math>f</math> jest klasy Baire'a ξ, jeśli nie jest ona żadnej klasy ζ dla <math>\zeta<\xi</math>, ale jest granicą punktową pewnego ciągu funkcji <math>(f_n)_{n \in \mathbb N}</math>, gdzie każda <math>f_n</math> jest klasy Baire'a <math>\zeta_n<\xi</math>.
*Okazuje się, że jeśli <math>f
==Zobacz też==
* [[przegląd zagadnień z zakresu matematyki]],
* [[zbieżność jednostajna]],
* [[zbieżność monotoniczna]]
* [[zbieżność prawie jednostajna]]
* [[zbieżność prawie wszędzie]]
* [[zbieżność według miary]].
==Bibliografia==
|