تابع انتخاب: تفاوت میان نسخهها
محتوای حذفشده محتوای افزودهشده
بدون خلاصۀ ویرایش برچسبها: واگردانی دستی برگرداندهشده ویرایشگر دیداری: به ویرایشگر منبع تغییر داده شده وظیفه تازهوارد |
جز ویرایش Nadergharibianfard (بحث) به آخرین تغییری که Jeeputer انجام داده بود واگردانده شد برچسب: واگردانی |
||
خط ۱: | خط ۱: | ||
{{بدون منبع}}{{ویکیسازی}} |
{{بدون منبع}}{{ویکیسازی}} |
||
{{حذف سریع| 1= مقاله نما}} |
|||
در [[نظریه اصل موضوعی مجموعهها]] اصلی موضوعی موسوم به [[اصل موضوع انتخاب]] بیان میکند برای هر دسته ناتهی <math>\mathcal{C}</math> از مجموعههای ناتهی، [[تابع|تابعی]] چون <math>f:\mathcal{C}\to \cup \mathcal{C}</math> وجود دارد که بری هر <math>A\in \mathcal{C}</math> داریم <math>f(A)\in A</math> این تابع را ''تابع انتخاب'' میگوییم. |
در [[نظریه اصل موضوعی مجموعهها]] اصلی موضوعی موسوم به [[اصل موضوع انتخاب]] بیان میکند برای هر دسته ناتهی <math>\mathcal{C}</math> از مجموعههای ناتهی، [[تابع|تابعی]] چون <math>f:\mathcal{C}\to \cup \mathcal{C}</math> وجود دارد که بری هر <math>A\in \mathcal{C}</math> داریم <math>f(A)\in A</math> این تابع را ''تابع انتخاب'' میگوییم. |
||
نسخهٔ ۲۸ فوریهٔ ۲۰۲۱، ساعت ۱۱:۱۶
این مقاله به هیچ منبع و مرجعی استناد نمیکند. |
این مقاله نیازمند ویکیسازی است. لطفاً با توجه به راهنمای ویرایش و شیوهنامه، محتوای آن را بهبود بخشید. |
در نظریه اصل موضوعی مجموعهها اصلی موضوعی موسوم به اصل موضوع انتخاب بیان میکند برای هر دسته ناتهی از مجموعههای ناتهی، تابعی چون وجود دارد که بری هر داریم این تابع را تابع انتخاب میگوییم.
اجمالاً تابع انتخاب، انتخابهای همزمان از اعضای دسته انجام میدهد و اعضای انتخاب شده را در برد خود قرار میدهد.
نکتهای که جالب و جنجال بر انگیز است این است که تنها وجودِ این تابع بهوسیله اصل موضوع انتخاب تضمین میشود حتی اگر تعداد مجموعههای دسته مفروض نامتناهی باشد، و هیچ روشی برای نحوه این انتخاب ارائه نمیکند به عبارت دیگر برای این تابع ضابطهای در نظر نمیگیرد. این تابع به ما امکان انتخابهای نامتناهی را هم میدهد که این امر برای اثبات بسیاری از قضایای نظریه مجموعهها، خصوصاً قضیه خوشترتیبی و لم زرن لازم است.