Twierdzenie Carathéodory’ego (teoria miary): Różnice pomiędzy wersjami
| [wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
dodany nawias klamrowy w górnym indeksie |
|||
Linia 46:
: ''Niżej zakłada się, że μ* jest [[miara zewnętrzna|miarą zewnętrzną]].''
Niech (''A''<sub>''i''</sub>) będzie przeliczalną [[rodzina zbiorów|rodziną]] zbiorów należących do ''C''(''μ''*) oraz niech ''E'' będzie dowolnym podzbiorem zbioru ''X''. Niech ponadto
:<math>B_n = \bigcup_{i=1}^
oraz
:<math>B = \bigcup_{i=1}^\infty A_i.</math>
| |||