به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+3 امتیاز
2,800 بازدید
در دانشگاه توسط
ویرایش شده توسط AmirHosein

مجموعه‌ای مثال بزنید که اندازه‌پذیر لبگ باشد اما بورل نباشد؟

ویرایشگر: پرسش‌کننده متن بیشتری وارد نکرده‌است.

1 پاسخ

می توانید به پاسخ(ها) امتیاز دهید یا آن را انتخاب کنید.

+3 امتیاز
توسط erfanm (13,871 امتیاز)

فرض کنید $ \phi (x) $ تابع کانتور باشد که تابعی پیوسته ی غیر نزولی روی بازه ی یکه ی (1و0) است. تعریف می کنیم $ \psi (x)=x+ \phi (x) $ که تابعی صعودی و پیوسته از بازه ی $[0,1] $ به بازه ی $[0,2] $ است. لذا برای هر $ y \in [0,2] $ یک $ x \in [0,1] $ منحصربفرد وجود دارد بطوریکه داریم $ \psi (x)=y $

پس هم $ \psi $ و هم $ \psi^{-1} $ مجموعه های بورل را به مجموعه های بورل می نگارند.

اگر $ C $ مجموعه ی کانتور باشه مجموعه ی غیر بورل $ S \subseteq \psi (C) $ را در نظر میگیریم چون $ \psi^{-1} (S) $ زیر مجموعه ی مجموعه ی کانتور است لذا لبگ اندازه پذیر است اما با توجه به آنچه گفته شد (کادر بالا) $ \psi^{-1} (S) $ غیر بورل است.(تصویر هر غیر بورل ، غیر بورل است)

این چرخ فلک که ما در او حیرانیم<br> فانوس خیال از او مثالی دانیم<br> خورشید چراغ دان و عالم فانوس<br> ما چون صوریم کاندرو حیرانیم
...