تناظر دوسویه: تفاوت میان نسخه‌ها

محتوای حذف‌شده محتوای افزوده‌شده
جز Mojtabakd صفحهٔ تابع دوسویی را به تناظر دو سویه منتقل کرد: اصلاح عنوان
جزبدون خلاصۀ ویرایش
خط ۱:
{{Functions}}
[[پرونده:Bijection.svg|۲۰۰px|بندانگشتی|چپ|یک تناظر یک‌به‌یک]]
در ریاضیات یک '''[[تابع]]تناظر دوسوییدو سویه''' ('''یا تناظر یک به یک''') به تابعی میان اعضای دو [[مجموعه (ریاضی)|مجموعه]] گفته می‌شود به شرط این که هر عضو از هر مجموعه با دقیقاً یک عضو از مجموعه دیگر جفت شده باشد. در هیچ‌کدام از مجموعه‌ها هیچ عضو بدون جفتی وجود ندارد.
 
هر تابع دوسویی از مجموعهٔ ''X'' به مجموعهٔ ''Y'' دارای یک [[تابع معکوس|تابع وارون]] از ''Y'' به ''X'' است. اگر این دو مجموعه [[متناهی]] باشند در این صورت وجود تناظر یک‌به‌یک میان اعضای آن‌ها نشان‌دهندهٔ این است که تعداد اعضای این دو مجموعه برابر است. در مورد مجموعه‌های [[نامتناهی]] این تناظرها باعث به وجود آمدن مفهوم [[عدد اصلی|اعداد کاردینال]] شدند که روشی برای بررسی بی‌نهایت‌های متفاوت هستند.