جستار های ذهنی بنده !



ابتدا مطالبی را دوست دارم از مجله فرهنگ و اندیشه ریاضی نقل قول کنم در باره ی اصل انتخاب :‌

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

اگر این اصل را بپذیریم قضیه باناخ تارسکی را داریم که از یک کره به کمک اصل انتخاب دو کره همنهشت با آن بدست می آورید. نتیجه ای که شهود یا به عبارتی با عقل سلیم همخوانی ندارد . از سوی دیگر اگر آن را کنار گذاریم حلقه های واحدداری یافت خواهند شد که ایده آل ماکسیمال ندارند . فضاهای برداری بدون پایه خواهیم داشت ،‌مجموعه های نامتناهی که فاقد زیر مجموعه های شمارا هستند ( که این هم با عقل سلیم همخوانی ندارند ) و حاصلضربی از فضاهای فشرده که فضرده نیستند و هزار چیز دیگر . 

مجله فرهنگ و اندیشه ریاضی شماره ۳۶ صفحه ۳۹ تا ۵۵ با دخل وتصرف 

 

نگاه کنید این پارادوکس به این شکله که در گام اول میان کره رو به تعدادی زیرمجموعه ی جدا از هم افراز میکنن و بعد این هارو طوری انتقال یا دوران میدن ( بدیهتا این تبدیل ها حافظ حجم هستند . ) که بتونن دو کره بدست بیارن که این مخالف شهود طبیعی ما هست .
نکته ی اساسی این مساله اصل انتخاب هست ( یکی از صورت های اصل انتخاب به این صورت میشه بیان کرد که حاصلضرب یک خانواده از مجموعه های ناتهی ، ناتهی هست .)‌.
در واقع ایده ی اصلی این پارادوکس از پوشش ویتالی گرفته شده ، که میشه حکم قوی تری رو به اثبات رسوند که بدین صورته برای هر دو مجموعه ی کراندار A و B که در درون ناتهی داشته باشند در فضای اقلیدسی *(که حداقل بعد فضا بیشتر از ۳ باشه . )‌ رو میشه طوری افراز کرد ( مثلا به A_i ها و B_i ها طوریکه هر A_i و B_i با هم هم نهشت باشن از نظر گروه تبدیلات اقلیدسی ( نمیدونم واژه ی هم نهشتی درسته یا نه ولی تعریف ریاضی دو مجموعه G-هم نهشت اینه که رای گروه تبدیلات G ، وجود داشته باشه g_i ای عضو G که داشته باشیم g_i(A_i)=B_i ) به راحتی از این فرم قوی تر میتونید پارادوکس عادی باناخ تارسکی رو نتیجه بگیرید کافیه که B رو دو کپی از A در نظر بگیرید .

* : علت اینکه این قضیه برای ابعاد ۱ و ۲ درست نیست اینه که اگر گروه تبدیلات اقلیدسی یعنی E(n رو در نظر بگیرید ، در این ابعاد این گروه Solvable هست اما در ابعاد بالاتر شامل یک گروه آزاد با دو مولد خواهد بود . ( در واقع میشه شرط لازم و کافی رو برای ایجاد یک چنین تناقضی رو با بررسی این گروه ها پیدا کرد که مثلا میشه به این صفحه مراجعه کنید :
https://en.wikipedia.org/wiki/Amenable_group )


تبلیغات

آخرین ارسال ها

آخرین جستجو ها

عطـــرِ سیــــبِ یــار هاست / طراحی سایت / طراحی اپلیکیشن / ثبت دامنه فروشگاه آنلاین فایل طراحی سایت ، سئو ،تبلیغات در گوگل روانشناس خوب پَــس اَز בوشیزِگی درباره جهانگردی ورزشی و رویایی که میشود آن را به واقعیت تبدیل کرد. اسکلت فلزی بلاگ اشعار مولانا فروشگاه اینترنتی ژیان کوشک مقدم