دالة متباينة ولكنها غير شمولية (ليست بدالة تقابلية ) دالة متباينة وشمولية في آن واحد (هي دالة تقابلية ) دالة غير متباينة ولكنها شمولية في الرياضيات، الدالة المتباينة (بالإنجليزية : Injective function ) هي دالة تبقى بها العناصر متباينة (متفاوتة ): فبها لا تقترن العناصر المتباينية من مجالها بنفس العنصر من مجالها المقابل .[ 1] [ 2] [ 3] بمعنى أن كل عنصر من مجالها المقابل مقترن بعنصر من مجالها واحد على الأكثر.
لتكن f دالة مجال تعريفها هو مجموعة A . الدالة f هي متباينة إذا وفقط إذا توفر لكل عنصرين a و b من A ما يلي:
إذا كان (f (a ) = f (b ، فإن a = b ؛ أي أن (f (a ) = f (b تعني a = b . وبشكل مكافئ، إذا كان a ≠ b ، فإن (f (a ) ≠ f (b . باستعمال رموز الرياضيات، يُحصل على ما يلي:
∀ a , b ∈ A , f ( a ) = f ( b ) ⇒ a = b {\displaystyle \forall a,b\in A,\;\;f(a)=f(b)\Rightarrow a=b} والتي تكافئ بشكل منطقي ما يلي:
∀ a , b ∈ A , a ≠ b ⇒ f ( a ) ≠ f ( b ) {\displaystyle \forall a,b\in A,\;\;a\neq b\Rightarrow f(a)\neq f(b)} الدالة المطابقة هي دالة متباينة. الدالة f : R → R المعرفة ب f (x ) = 2x + 1 هي متباينة. دوال متباينة. تفسير هندسي في نظام إحداثي ديكارتي , المعرفة بالتطبيق f : X → Y , حيث y = f (x ), X = مجال دالة , Y = مدى دالة , و im(f ) يرمز إلى صورة of f . Every one x في X maps to exactly one unique y in Y . الأجزاء المدورة من المحورين تمثل domain و range sets – في توافق مع المخططات المستعملة في التعريف أعلاه. دالة غير متباينة. في هذه الحالة X 1 و X 2 هما مجموعتان جزئيتان من X , Y 1 و Y 2 are مجموعتان جزئيتان من Y : for two regions حيث الدالة غير متباينة لأن more than one domain عنصر can map to a single range element. That is, it is possible for more than one x في X to map to the same y في Y . Making functions injective. الدالة السابقة f : X → Y can be reduced to one or more injective functions (say) f : X 1 → Y 1 و f : X 2 → Y 2 , shown by solid curves (long-dash parts of initial curve are not mapped to anymore). Notice how the rule f has not changed – only the domain و range. X 1 و X 2 are مجموعتان جزئيتان من X , Y 1 و Y 2 هما مجموعتان جزئيتان من R : for two regions حيث الدالة الأولى can be made متباينة so that one domain element can map to a single range element. هكذا, only one x في X maps to one y في Y .