به محفل ریاضی ایرانیان خوش آمدید! لطفا برای استفاده از تمامی امکانات عضو شوید
+2 امتیاز
1,020 بازدید
در دانشگاه توسط behruz (1,437 امتیاز)
برچسب گذاری دوباره توسط fardina

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

ممنون

1 پاسخ

+1 امتیاز
توسط fardina (17,627 امتیاز)

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

و برای کاردینال سیگماجبر لبگ توجه کنید که مجموعه کانتور یک مجموعه لبگ اندازه پذیر است و هر زیرمجموعه ی مجموعه کانتور هم از اندازه صفر است لذا هر زیر مجموعه مجموعه کانتور لبگ اندازه پذیر است یعنی $\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 $ .

ریاضیدان، کسی است که شباهت ها را بین قضایا دریابد. ریاضیدان بهتر کسی است که بتواند شباهت بین برهان ها را ببیند. بهترین ریاضیدان کسی است که بتواند به شباهت بین نظریه ها توجه کند. و می توان تصور کرد که ریاضیدان نهایی کسی است که بتواند شباهت بین شباهت ها را مشاهده کند.
...