تناظر دوسویه: تفاوت میان نسخه‌ها
محتوای حذف‌شده محتوای افزوده‌شده
بدون خلاصۀ ویرایش |
|||
خط ۱:
{{بدون منبع}}
[[پرونده:Bijectfunc.jpg|thumb|نمونه‌ای از یک تابع دوسویی]]
سطر ۹ ⟵ ۸:
از توابع دوسویی برای بسیاری از تعاریف در [[نظریه مجموعه‌ها]] مثلاً تشابه [[خوش ترتیبی|مجموعه‌های خوش‌ترتیب]] یا تعریف هم‌توانی دو مجموعه استفاده می‌شود.
==تناطر یک به یک==
نوعی از حالت‌های پیش آمده میان دو مجموعه که یکی تابع یکدیگر باشد. اصل تناظر یک به یک در واقع اصلی بدیهی است که اشاره به آن دارم که تعداد اعضای مجموعه X برابر تعداد اعضای مجموعه Y است اگر و فقط اگر به ازای اگر تابعی دو سویی وجود داشته باشد یا به عبارت دیگر اگر تابعی از یک مجموعه به مجموعهٔ دیگری باشد که همزمان پوشا و یک به یک باشد. از این اصل بیشتر در مسایل شمارشی به خصوصا در ترکیبیات استفاده می‌شود .
== جستارهای وابسته ==
== منابع ==
{{پانویس}}
{{ریاضی-خرد}}
| |||