به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
سایت پرسش و پاسخ ریاضی
+2 امتیاز
367 بازدید
در دانشگاه توسط behruz
برچسب گذاری دوباره توسط fardina

با سلام لطف میکنید یه منبع معرفی کنید که در آن کاردینال لبگ و کاردینال بورل اثباتش را آورده باشه.

ممنون

1 پاسخ

+1 امتیاز
توسط fardina

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

و برای کاردینال سیگماجبر لبگ توجه کنید که مجموعه کانتور یک مجموعه لبگ اندازه پذیر است و هر زیرمجموعه ی مجموعه کانتور هم از اندازه صفر است لذا هر زیر مجموعه مجموعه کانتور لبگ اندازه پذیر است یعنی $\mathcal L\supset P(C) $ که $ \mathcal L $ سیگماجبر لبگ و $ C $ مجموعه کانتور و $P(C) $ مجموعه توانی $C $ است. چون $ card(C)=card(\mathbb R) $ پس $ card(\mathcal L)\geq card(P(C))= card(P(\mathbb R))=2^c $ ولی چون $ \mathcal L\subset P(\mathbb R)$ لذا $ card(\mathcal L)\leq card(P(\mathbb R))=2^c $ بنابراین $ card(\mathcal L)=2^c $ .

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

حمایت مالی


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