تقابل
في الرياضيات، التقابل bijection أوالدالة التقابل bijective function هي دالة رياضية من مجموعة X إلى مجموعة Y لها خاصية انه : لكل عنصر y من المجموعة المستقر Y ،هناك لقاء واحد فقط x من المجموعة المنطلق X بحيثقد يكون : f(x) = y أي ان y هي صورة x حسب الدالة f.
بكلام آخر إذا الدالة f تكون تقابلا إذا كانت رابطا واحد لواحد بين عناصر المجموعتين المنطلق والمستقر أي أنها دالة متباينة injective (العناصر في المستقر لا ترتبط بعنصرين مختلفين في المنطلق ) وفي نفس الوقت غامرة surjective (لجميع عناصر المستقر لقاء ترتبط فيه من المنطلق ).
التقابل في الهندسة الوصفية
في الهندسة الوصفية التقابل بين شكلين هندسيين delta و'delta (صورة-2) هورابط إسقاطي ، بحيث أن:
- كل نقطة A من delta تقابل نقطة واحدة 'A من 'delta والعكس بالعكس.
- أزواج الخطوط اللقاءة a' a ، التي تمر بالنقط اللقاءة A'B' A B، يتقاطعوا على نفس الخط u (يُسمى محور التقابل) .
- النقط اللقاءةِ 'A A و'B B يتوأموا على نفس النفطة U (تُسمى مركز التقابل)
انظر أيضا
- دالة متباينة injective function
- permutation
- زمرة متناظرة symmetric group
- دالة غامرة surjection|surjective function
- تعداد تقابلي Bijective numeration
- برهان تقابلي Bijective proof