تقابل
في الرياضيات، التقابل 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
