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

 

 

معلم در کلاس به دانش‌آموزان می‌گوید روی صندلی‌ها بنشینند و مشاهده می‌کند همه دانش‌آموزان نشسته‌اند و تمام صندلی‌ها پر هستند و نتیجه می‌گیرد تعداد دانش‌آموزان و صندلی‌ها برابر است.

با رهنگار کردن هر دانش‌آموز با صندلیش می‌توان تناظر یک‌به‌یک میان دانش‌آموزان و صندلی‌ها ایجاد کرد:

پس میان دانش‌آموزان وصندلی‌ها دوتاب برقرار است و در نتیجه تعداد دانش‌آموزان و صندلی‌ها برابر است.

 

* برای هر مجموعه ''X'' [[تابع همانی]]، دوتابا است.

* تابع ''f'': '''R''' → '''R''', ''f''(''x'') = 2''x'' + ۱ دوتابا است چون برای هر ''y'' یک ''x'' = (''y'' − ۱)/۲ وجود دارد. به طور کلی تمام توابع خطی به شکل ''f''(''x'') = ''ax'' + ''b'' روی اعداد حقیقی دوتابا هستند اگر ''a'' مخالف صفر باشد. چون برای هر ''y'' وجود دارد یک ''x'' = (''y'' - ''b'')/''a''.