تابع انتخاب: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
صفحهٔ جدید: {{بدون منبع}}{{ویکیسازی}} در نظریه اصل موضوعی مجموعهها اصلی موضوعی موسوم به اصل موضوع انتخاب ب... |
جزبدون خلاصۀ ویرایش |
||
| خط ۵: | خط ۵: | ||
نکته‌ای که جالب و جنجال بر انگیز است این است که تنها وجود این تابع به‌وسیله [[اصل موضوع انتخاب]] تضمین می‌شود حتی اگر تعداد مجموعه‌های دسته مفروض <math>\mathcal{C}</math> نامتناهی باشد، و هیچ روشی برای نحوه این انتخاب ارائه نمی‌کند به عبارت دیگر برای این تابع ضابطه‌ای در نظر نمی‌گیرد. این تابع به ما امکان انتخاب‌های نامتناهی را هم می‌دهد که این امر برای اثبات بسیاری از قضایای [[نظریه مجموعهها]]، خصوصاً [[قضیه خوشترتیبی]] و [[لم زرن]] لازم است. |
نکته‌ای که جالب و جنجال بر انگیز است این است که تنها وجود این تابع به‌وسیله [[اصل موضوع انتخاب]] تضمین می‌شود حتی اگر تعداد مجموعه‌های دسته مفروض <math>\mathcal{C}</math> نامتناهی باشد، و هیچ روشی برای نحوه این انتخاب ارائه نمی‌کند به عبارت دیگر برای این تابع ضابطه‌ای در نظر نمی‌گیرد. این تابع به ما امکان انتخاب‌های نامتناهی را هم می‌دهد که این امر برای اثبات بسیاری از قضایای [[نظریه مجموعهها]]، خصوصاً [[قضیه خوشترتیبی]] و [[لم زرن]] لازم است. |
||
[[رده:نظریه مجموعهها]] |
|||
نسخهٔ ۸ ژوئن ۲۰۰۸، ساعت ۰۷:۰۴
 | این مقاله به هیچ منبع و مرجعی استناد نمی‌کند. |
 | این مقاله نیازمند ویکیسازی است. لطفاً با توجه به راهنمای ویرایش و شیوهنامه، محتوای آن را بهبود بخشید. |
در نظریه اصل موضوعی مجموعهها اصلی موضوعی موسوم به اصل موضوع انتخاب بیان می‌کند برای هر دسته ناتهی از مجموعه‌های ناتهی، تابعی چون وجود دارد که بری هر داریم این تابع را تابع انتخاب می‌گوییم.
اجمالاً تابع انتخاب، انتخاب‌های هم‌زمان از اعضای دسته انجام می‌دهد و اعضای انتخاب شده را در برد خود قرار می‌دهد.
نکته‌ای که جالب و جنجال بر انگیز است این است که تنها وجود این تابع به‌وسیله اصل موضوع انتخاب تضمین می‌شود حتی اگر تعداد مجموعه‌های دسته مفروض نامتناهی باشد، و هیچ روشی برای نحوه این انتخاب ارائه نمی‌کند به عبارت دیگر برای این تابع ضابطه‌ای در نظر نمی‌گیرد. این تابع به ما امکان انتخاب‌های نامتناهی را هم می‌دهد که این امر برای اثبات بسیاری از قضایای نظریه مجموعهها، خصوصاً قضیه خوشترتیبی و لم زرن لازم است.