تقابل
من ويكيبيديا، الموسوعة الحرة
في الرياضيات، التقابل bijection أو الدالة التقابل bijective function هي دالة رياضية f من مجموعة X إلى مجموعة Y لها خاصية انه : لكل عنصر y من المجموعة المستقر Y ،هناك مقابل واحد فقط x من المجموعة المنطلق X بحيث يكون : f(x) = y أي ان y هي صورة x حسب الدالة f.
بكلام آخر إن الدالة f تكون تقابلا إذا كانت رابطا واحد لواحد بين عناصر المجموعتين المنطلق و المستقر أي أنها دالة متباينة injective (العناصر في المستقر لا ترتبط بعنصرين مختلفين في المنطلق ) و في نفس الوقت غامرة surjective (لجميع عناصر المستقر مقابل ترتبط فيه من المنطلق ).
[تحرير] انظر أيضا
- دالة متباينة injective function
- permutation
- زمرة متناظرة symmetric group
- دالة غامرة surjection|surjective function
- تعداد تقابلي Bijective numeration
- برهان تقابلي Bijectiveproof