اگر $f \in L^{1}(X) $ و $ \mu $ یک اندازه باشد . تعریف می کنیم $ \nu (E)= \int_E fd \mu $ . ثابت کنید که اگر $ \varepsilon > 0 $ داده شده باشد یک $ \delta $ هست که اگر $ \mu (E) < \delta $ آنگاه $ \nu (E) < \varepsilon $
قضیه: فرض کنید $ \nu $ یک اندازه علامتدار متناهی و $ \mu $ یک اندازه مثبت روی $(X,\mathcal M) $ باشند. در اینصورت $ \nu \ll \mu$ ( یعنی $ \nu $ نسبت به $ \mu $ پیوسته مطلق است) اگر و تنها اگر به ازای هر $ \epsilon>0$ یک $\delta>0 $ موجود باشد به طوریکه : $$ \mu(E)< \delta \Rightarrow |\nu(E)|< \delta $$
اثبات این قضیه رو میتونید در کتاب فولند فصل سوم پیدا کنید.
حالا از طرفی میدونیم که اندازه علامت دار $ \nu $ که به صورت $\nu(E)=\int_E fd\mu $ تعریف می شود نسبت به $\mu $ مطلقا پیوسته است. لذا از قضیه بالا مساله شما نتیجه می شود.
چگونه می توانم به محفل ریاضی کمک کنم؟
حمایت مالی
برای رفتن به سطر بعدی دو بار Enter بزنید.
یک بار Enter یک فاصله محسوب میشود.
_ایتالیک_ یا I و **پررنگ** یا B
نقلقول با قراردادن > در ابتدای خط یا ❝
برای چپ به راست کردن متن کلیدهای Ctrl+Shift سمت چپ کیبورد را فشار دهید
برای تایپ فرمول ابتدا روی ریاضی کلیک کرده و سپس به کمک آیکونهای موجود فرمول را در بین دو علامت دلار بنویسید:
<math>$ $</math>
برای اینکه فرمول در خط بعدی و وسط صفحه قرار گیرد دو علامت دلار اضافی بنویسید:
<math>$$ $$</math>
☑ راهنمایی بیشتر: راهنمای تایپ