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

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

ویرایش