به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
سایت پرسش و پاسخ ریاضی
+3 امتیاز
747 بازدید
در دانشگاه توسط yosef.sobhi
ویرایش شده توسط fardina

فرض کنید $$A=\big\{E\subset\mathbb{R}:E\ ya\ E^c \ shomara \ bashad\big\}$$ ثابت کنید سیگماجبر تولید شده توسط مجموعه ی تمام مجموعه های تک عضوی برابر است با سیگما جبر $A$ ؟

توسط fardina
ویرایش شده توسط fardina
+1
yosef.sobhi عزیز: بهتره که تایپ ریاضیLATEX رو همینجا در قسمت راهنمای تایپ یادبگیرید چون به هرحال پایان نامه ارشدتون رو هم باید با Latex تایپ کنید.

1 پاسخ

+1 امتیاز
توسط fardina
ویرایش شده توسط fardina

فقط کافیه از نکات زیر استفاده کنید:

فرض کنید $ X\neq\emptyset $ یک مجموعه باشد:

  1. اگر $ \mathcal A $ یک سیگما جبر روی $X$ باشد آنگاه سیگما جبر تولید شده توسط $ \mathcal A $( که با $ M(\mathcal A) $نمایش می دهند) برابر خودش است. یعنی $ M(\mathcal A)=\mathcal A $ .
  2. اگر $A\subset B $زیرمجموعه های $P(X) $ باشند در اینصورت $ M(A)\subset M(B) $ .

با استفاده از نکات بالا و عضوگیری به راحتی ثابت میشه.


توضیح بیشتر:

فرض کنید $\mathcal B $ مجموعه تمام مجموعه های تک عضوی باشد. در اینصورت واضح است که $ \mathcal B\subset \mathcal A $ ( چون مجموعه های تک عضوی شمارا هستند). پس $M(\mathcal B)\subset M(\mathcal A)=\mathcal A $ .

برای طرف دیگر فرض کنید $ A\in \mathcal A $ دلخواه باشد در اینصورت $ A $ یا
$ A^c $ شمارا است. خوب چون $ M(\mathcal B) $ سیگما جبر تولید شده توسط تمام مجموعه های تک عضوی است پس اجتماع شمارا از این مجموعه های تک عضوی هم ضوی از $ M(\mathcal B) $ است. به عبارت دیگر $ M(\mathcal B)$ شامل مجموعه های شمارا است. و چون $ A $ یا $ A^c $ شمارا است لذا $ A$ یا $ A^c $ متعلق به $M(\mathcal B) $ است. و چون سیگماجبرها تحت متمم گرفتن بسته هستند در هر صورت باید $ A\in M(\mathcal B) $ . و این یعنی $ \mathcal A\subset M(\mathcal B) $ .

توسط
+2
ممنون اگه راه کاملش بنویسید من با ی طرفش مشکل دارم
توسط fardina
+1
سلام. یه چیزایی اضافه کردم. امیدوارم کمکتون کنه.
توسط
ویرایش شده توسط admin
+2

بینهایت ممنون

حمایت مالی


کانال تلگرام محفل ریاضی
امروز : تاریخ شمسی اینجا نمایش داده می‌شود
...