Twierdzenie Carathéodory’ego (teoria miary): Różnice pomiędzy wersjami

[wersja przejrzana][wersja przejrzana]
Usunięta treść Dodana treść
→‎Twierdzenie: literówka
Konradek (dyskusja | edycje)
Linia 73:
co zachodzi dla wszystkich <math>n,</math> dlatego w granicy jest
: <math>\sum_{i = 1}^\infty \mu^*(A_i) \leqslant \mu^*(B).</math>
Przeliczalna podaddytywność <math>\mu^*</math> daje nierówność w drugą stronę, co dajeskąd ostatecznie wynika wniosek
: <math>\mu^*(B) = \sum_{i = 1}^\infty \mu^*(A_i).</math>