miara zewnętrzna Lebesgue'a
-
szw1710
miara zewnętrzna Lebesgue'a
Pod założeniem mierzalności, tj. spełniania warunku Caratheodory'ego wzorek wychodzi trywialnie, w warunku Caratheodory'ego za dowolny zbiór trzeba wziąć \(\displaystyle{ X}\). Teraz skończoność miary zewnętrznej gwarantuje, że nie pojawi się w odejmowaniu symbol \(\displaystyle{ \infty-\infty}\) i wszystko działa. W drugą stronę musisz pokombinować. Ja też już dziś jestem zmęczony.