تابع انتخاب: تفاوت میان نسخهها
بدون خلاصۀ ویرایش برچسبها: ویرایشگر دیداری ویرایش همراه ویرایش از وبگاه همراه وظیفه تازهوارد |
بدون خلاصۀ ویرایش برچسبها: برگرداندهشده وظیفه تازهوارد |
||
خط ۱: | خط ۱: | ||
{{بدون منبع}}{{ویکیسازی}} |
{{بدون منبع}}{{ویکیسازی}} |
||
{{حذف سریع| 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> این تابع را ''تابع انتخاب'' میگوییم. |
||
نسخهٔ ۲۷ فوریهٔ ۲۰۲۱، ساعت ۱۳:۲۱
این مقاله به هیچ منبع و مرجعی استناد نمیکند. |
این مقاله نیازمند ویکیسازی است. لطفاً با توجه به راهنمای ویرایش و شیوهنامه، محتوای آن را بهبود بخشید. |
این مقاله ممکن است واجد شرایط معیارهای حذف سریع ویکیپدیا باشد؛ دلیل: مقاله نما. برای معیارهای قانونی، محس را ببینید.
اگر این مقاله واجد شرایط معیارهای حذف سریع نیست، یا قصد دارید درستش کنید، لطفاً این آگاهسازی را بردارید، ولی این آگاهسازی را از صفحههایی که خودتان ایجاد کردید حذف نکنید. اگر شما این صفحه را ایجاد کردید، و مخالف دلیل ارائهشده برای حذف هستید، میتوانید روی دکمهٔ زیر کلیک کنید و پیامی بگذارید که دلیل عدم موافقتتان با حذف این مقاله را توضیح دهد. شما میتوانید برای آگاهی از پاسخی به پیامتان از این صفحهٔ بحث بازدید کنید. توجه داشتهباشید این مقاله زمانی که با این آگاهسازی برچسب خورد، اگر بدون تردید واجد شرایط معیارهای حذف سریع باشد یا اگر توضیحی که به صفحهٔ بحث ارسال شود ناکافی باشد ممکن است در هر زمان حذف شود.
این صفحه آخرین بار توسط Nadergharibianfard (مشارکتها | سیاههها) در ۱۳:۲۱ یوتیسی (۳ سال پیش) ویرایش شدهاست. |
در نظریه اصل موضوعی مجموعهها اصلی موضوعی موسوم به اصل موضوع انتخاب بیان میکند برای هر دسته ناتهی از مجموعههای ناتهی، تابعی چون وجود دارد که بری هر داریم این تابع را تابع انتخاب میگوییم.
اجمالاً تابع انتخاب، انتخابهای همزمان از اعضای دسته انجام میدهد و اعضای انتخاب شده را در برد خود قرار میدهد.
نکتهای که جالب و جنجال بر انگیز است این است که تنها وجودِ این تابع بهوسیله اصل موضوع انتخاب تضمین میشود حتی اگر تعداد مجموعههای دسته مفروض نامتناهی باشد، و هیچ روشی برای نحوه این انتخاب ارائه نمیکند به عبارت دیگر برای این تابع ضابطهای در نظر نمیگیرد. این تابع به ما امکان انتخابهای نامتناهی را هم میدهد که این امر برای اثبات بسیاری از قضایای نظریه مجموعهها، خصوصاً قضیه خوشترتیبی و لم زرن لازم است.