به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+3 امتیاز
2,807 بازدید
در دانشگاه توسط
ویرایش شده توسط 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) $ غیر بورل است.(تصویر هر غیر بورل ، غیر بورل است)

برای ترجمه ی یک جمله از انگلیسی به فرانسوی دو چیز ضروری است. اول، باید جمله ی انگلیسی را تماما بفهمیم. دوم، باید با اصطلاحات ویژه ای که در زبان فرانسوی هستند آشنا باشیم. این وضعیت خیلی شبیه هنگامی است که سعی داریم شرط را که با کلمات بیان شده است با نمادهای ریاضی بیان کنیم. اول، باید آن را تمام درک کنیم. دوم، باید با اصطلاحات ریاضی ریاضی آشنا باشیم.
...