دالة متباينة: الفرق بين النسختين

[نسخة منشورة][نسخة منشورة]
تم حذف المحتوى تمت إضافة المحتوى
سطر 7:
 
== تعريف ==
لتكن ''f'' [[دالة (رياضيات)|دالة]] [[مجال دالة|مجال تعريفها]] هو مجموعة ''A''. الدالة ''f'' هي '''تباينية''' إذا وفقط إذا توفر لكل عنصرين ''a'' و ''b'' من ''A'' ما يلي: إذا كان ''f''(''a'') = ''f''(''b'')، فإن ''a'' = ''b''; that is, ''f''(''a'') = ''f''(''b'') تعني ''a'' = ''b''.  وبشكل مكافئ، if ''a'' ≠ ''b''، فإن ''f''(''a'') ≠ ''f''(''b'').
 
باستعمال رموز الرياضيات، يُحصل على ما يلي:
 
: <math>\forall a,b \in A, \;\; f(a)=f(b) \Rightarrow a=b</math>
 
which is logically equivalent to the [[contrapositive]],
 
: <math>\forall a,b \in A, \;\; a \neq b \Rightarrow f(a) \neq f(b)</math>
 
== أمثلة ==