Twierdzenie Jegorowa: Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
WikitanvirBot (dyskusja | edycje)
m r2.7.1) (robot dodaje: ko:예고로프의 정리
AlohaBOT (dyskusja | edycje)
m Link tożsamy z tekstem linka
Linia 15:
jest [[zbiór mierzalny|mierzalny]] oraz
:<math>\mu(\Omega\setminus B)=\mu(\bigcup_{k\geq 1}B_{k, n_k})\leq \sum_{k\geq 1}\mu(\Omega\setminus B_{k, n_k})\leq \sum_{k\geq 1}\frac{\varepsilon}{2^k}=\varepsilon</math>.
Pierwsza z powyższych równości wynika z zastosowania [[prawa de Morgana|prawa de Morgana]] (dla zbiorów). Z udowodnionej nierówności wynika, że ciąg funkcyjny <math>(f_n)</math> jest [[zbieżność jednostajna|jednostajnie zbieżny]] do funkcji <math>f</math> na zbiorze <math>B</math> oraz, że
:<math>\mu(E)=\mu(\Omega)\,</math>.