Zbieżność prawie jednostajna: Różnice pomiędzy wersjami
[wersja nieprzejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
drobne merytoryczne |
|||
Linia 3:
==Definicja==
Niech <math>(f_n)_{n\in\mathbb{N}}</math> będzie ciągiem funkcji [[funkcja mierzalna|mierzalnych]], [[funkcja prawie wszędzie skończona|prawie wszędzie skończonych]]. <math>f_n, f\colon A\longrightarrow \overline{\mathbb{R}
Mówimy, że ciąg <math>(f_n)_{n\in\mathbb{N}}</math> jest zbieżny do funkcji <math>f\;</math> prawie jednostajnie, względem miary <math>\mu\;</math> (na zbiorze <math>A\;</math>), wtedy i tylko wtedy, gdy:
:<math>\bigwedge_{\varepsilon>0}\bigvee_{\mathfrak{M}\ni B\subset A}</math><math>\left[\right.\mu(A\setminus B)<\varepsilon\wedge(f_n|_B)_{n\in\mathbb{N}}</math> jest zbieżny jednostajnie do funkcji <math>f|_B \left]\right.</math>
==Twierdzenia o zbieżności prawie jednostajnej (według miary)==
* Każdy ciąg zbieżny prawie jednostajnie jest zbieżny prawie wszędzie
* [[Twierdzenie Riesza (teoria miary)|Twierdzenie Riesza]]
* [[Twierdzenie Jegorowa]]
|