تابع انتخاب: تفاوت میان نسخه‌ها

۴۳ بایت اضافه‌شده ،  ۱۴ سال پیش
جز
بدون خلاصۀ ویرایش
(صفحهٔ جدید: {{بدون منبع}}{{ویکیسازی}} در نظریه اصل موضوعی مجموعه‌ها اصلی موضوعی موسوم به اصل موضوع انتخاب ب...)
 
جزبدون خلاصۀ ویرایش
 
نکته‌ای که جالب و جنجال بر انگیز است این است که تنها وجود این تابع به‌وسیله [[اصل موضوع انتخاب]] تضمین می‌شود حتی اگر تعداد مجموعه‌های دسته مفروض <math>\mathcal{C}</math> نامتناهی باشد، و هیچ روشی برای نحوه این انتخاب ارائه نمی‌کند به عبارت دیگر برای این تابع ضابطه‌ای در نظر نمی‌گیرد. این تابع به ما امکان انتخاب‌های نامتناهی را هم می‌دهد که این امر برای اثبات بسیاری از قضایای [[نظریه مجموعه‌‌ها]]، خصوصاً [[قضیه خوشترتیبی]] و [[لم زرن]] لازم است.
 
[[رده:نظریه مجموعه‌ها]]
۵۶٬۹۰۵

ویرایش