الدالة واحد لواحد

الدالة واحد لواحد، والمعروفة أيضًا بدالة التباين، هي دالة رياضية {{الدالة الرياضية: علاقة تربط كل عنصر من مجموعة تُسمى المجال بعنصر واحد فقط من مجموعة أخرى تُسمى المجال المقابل، يُعبَّر عنها عادةً بالصيغة: \(f:X\rightarrow Y\)، بحيث \(y=f(x)\). أي إن الدالة \(f\) تربط كل عنصر \(x\) من مجموعة المجال \(X\) بعنصر وحيد \(y\) من مجموعة المجال المقابل \(Y\).}} تحقق خاصية مهمة مفادها: لا يرتبط عنصران مختلفان من المجال {{المجال: (Domain) مجموعة جميع القيم التي يُسمح باستخدامها بوصفها مدخلات في دالة معينة، أي جميع القيم التي يمكن تعويضها في قاعدة الدالة بحيث يكون الناتج معرفًا (ممكن الحساب). بعبارة أخرى، المجال هو جميع عناصر \( x\)التي تجعل الدالة \(f(x)\) مُعرفة وفقًا لطبيعة العلاقة أو المعادلة التي تُمثل الدالة.}} بالعنصر نفسه في المجال المقابل {{المجال المقابل: (Codomain) إذا كانت الدالة تُكتب على الصورة \(f:X\rightarrow Y\)، فإن \(X\) هو المجال (Domain) و \(Y\) هو المجال المقابل (Codomain).}}. بمعنى آخر، دالة واحد لواحد هي الدالة \(f\) التي تربط العناصر المختلفة من مجالها بعناصر مختلفة في مجالها المقابل؛ أي أنه إذا كان \(x_{1} \neq x_{2}\)، فإن \(f(x_{1}) \neq f(x_{2})\). وبشكل مكافئ (من طريق المكافئة العكسية)، إذا كان \(f(x_{1}) = f(x_{2})\) فإن \(x_{1}=x_{2}\).

تعريفها

في دالة واحد لواحد، أو دالة التباين (Injective function)[1]:

إذا كان \(f:X\rightarrow Y\) دالة مجالها \(X\) ومجالها المقابل \(Y\)، فإن \(f\) دالة واحد لواحد، أو دالة التباين إذا كان لكل \(a,b\in X\) يحقق الشرط الآتي:

\[a\neq b\implies f\left(a\right)\neq f\left(b\right).\] باستخدام المكافئة العكسية، فإن هذا الشرط يكافئ الشرط الآتي:

\(f\left(a\right)=f\left(b\right)\implies a=b\).

أمثلة رياضية عليها

يمكن تقديم أمثلة عدة عن دالة واحد لواحد في سياقات رياضية مختلفة لتبيان عدد من خصائصها[2]:

1. الدالة \(f\mathbb{:R→R} \) المعرّفة بالقاعدة \(f\left(x\right)=2x+5\) هي دالة واحد لواحد.

البرهان: لنفرض أن \(f\left(a\right)=f\left(b\right)\) ونعوض قيمة \(a\) و \(b\) في الدالة بالطريقة الآتية:

\[f\left(a\right)=f\left(b\right)\rightarrow 2a+5=2b+5\rightarrow 2a=2b\rightarrow a=b.\]

بما أن \(f\left(a\right)=f\left(b\right)\) أدى إلى \(a=b\)، فإن الدالة \(f\left(x\right)=2x+5\) هي دالة واحد لواحد.

2. الدالة \(f\mathbb{:R→[} 0,\infty )\) المعرّفة بالقاعدة \(f\left(x\right)=x^{2}\) ليست دالة واحد لواحد.

البرهان: نأخذ قيمتين مختلفين، على سبيل المثال: \(-1،1\)، ثم نحسب \(f\left(1\right)\) و \(f\left(-1\right)\). نلاحظ أن قيمة كل من \(f\left(1\right)\) و \(f\left(-1\right)\) تساوي 1، أي أن \((f\left(1\right)=f\left(-1\right)=1)\). وبما أن ناتج تعويض قيمتين مختلفين في الدالة أعطى نتيجة واحدة، فإن الدالة ليست واحد لواحد.

3. الدالة الأسية ذات الأساس e، \(f\mathbb{:R→(} 0,\infty )\) المعرّفة بالقاعدة \(f\left(x\right)=e^{x}\) هي دالة واحد لواحد.
4. الدالة اللوغاريتمية الطبيعية، \(f:(0,\infty )\rightarrow \mathbb{R} \) المعرّفة بالقاعدة \(f\left(x\right)=\ln \left(x\right)\) هي دالة واحد لواحد.
5. إذا كانت \(X\) مجموعة غير خالية، فإن الاقتران المحايد \(f:X\rightarrow X\) (الذي يربط كل عنصر بنفسه) هو دالة واحد لواحد.
6. إذا كان المجال للدالة مكون من عنصر واحد فقط، فإن أي دالة معرفة على هذا المجال هي دالة واحد لواحد.

[الشكل 1] - \(f,g,h\) دوال واحد لواحد

حذف الصورة؟

سيؤدي هذا إلى نقل الصورة إلى سلة المهملات.

حذف إلغاء

[الشكل 2] - \(K,M,L\) ليست دوال واحد لواحد

حذف الصورة؟

سيؤدي هذا إلى نقل الصورة إلى سلة المهملات.

حذف إلغاء

اختبار الخط الأفقي

إذا كان كل من مجال الدالة ومجالها المقابل مجموعة جزئية من مجموعة الأعداد الحقيقية، فإن الدالة تكون من صنف واحد لواحد إذا كان كل خط أفقي يقطع منحنى الدالة في نقطة واحدة فقط[3].

مثال: باستخدام اختبار الخط الأفقي، نجد أن كل خط أفقي يقطع منحنى الدالة في نقطة واحدة فقط (الشكل 3)، وبناءً عليه الدالة \(f\mathbb{:R→R} \) المعرّفة بالقاعدة \(f\left(x\right)=x+3\)، تكون دالة واحد لواحد.

[الشكل 3] - منحنى الدالة \(f\left(x\right)=x+3\)

حذف الصورة؟

سيؤدي هذا إلى نقل الصورة إلى سلة المهملات.

حذف إلغاء

مثال: باستخدام اختبار الخط الأفقي، نستطيع إيجاد خط أفقي (الشكل 4) يقطع الدالة \(f\mathbb{:R→R} \) المعرفة بالقاعدة \(f\left(x\right)=x^{2}\) بأكثر من نقطة، وبناءً عليه فإن الدالة ليست دالة واحد لواحد.

[الشكل 4] - منحنى الدالة \(f\left(x\right)=x^{2}\)

حذف الصورة؟

سيؤدي هذا إلى نقل الصورة إلى سلة المهملات.

حذف إلغاء

من خصائصها

1. إذا كان كل من \(f:X\rightarrow Y\)، \(g:Y\rightarrow Z\) واحدًا لواحد، فإن تركيب الدوال {{تركيب الدوال: (Composition of Functions) أسلوب منظم لربط عمليتين رياضيتين متتاليتين في سياق واحد. وبصيغة منهجية، يُعرّف تركيب الدالتين \( f\) و \(g\) بالصيغة \(g∘f\left(x\right)=g\left(f\left(x\right)\right)\).}} \(g∘f:X\rightarrow Z\) أيضًا واحد لواحد.
2. إذا كان \(f:X\rightarrow Y\)، \(g:Y\rightarrow Z\)، وكان \(g∘f:X\rightarrow Z\) واحدًا لواحد، فإن \(f\) واحد لواحد.
3. إذا كانت الدالة \(f:X\rightarrow Y\) واحدًا لواحد، وكانت \(A\subseteq X\)، فإن \(f^{-1}\left(f\left(A\right)\right)=A\).
4. إذا كانت الدالة \(f:X\rightarrow Y\) واحدًا لواحد، وكانت \(A,B\subseteq X\)، فإن \(f\left(A\cap B\right)=f\left(A\right)\cap f(B)\).
5. إذا كانت الدالة \(f:X\rightarrow Y\) واحدًا لواحد، فإن \(\left|X\right|\leq |Y|\) (حيث \(|X|\) هو العدد الكاردينالي {{العدد الكاردينالي: (Cardinal Number) مفهوم في نظرية المجموعات يُستخدم لقياس عدد العناصر في مجموعة ما، من دون اعتبار لترتيبها أو طبيعتها، بهدف مقارنة أحجام المجموعات بشكل منهجي.}} للمجموعة \(X\)).
6. إذا كانت الدالة \(f:X\rightarrow Y\) واحدًا لواحد، فإن الدالة العكسية \(f^{-1} :f\left(X\right)\subseteq Y\rightarrow X\) موجودة[4].

استخداماتها

دالة واحد لواحد ليست مفهومًا رياضيًا مجردًا، بل هي أداة مهمة تُستخدم في العديد من التطبيقات العلمية والهندسية، وتكمن أهميتها بكونها تضمن التميّز والارتباط المباشر بين عناصر المجال والمدى، وهي خاصية تجعل هذه الدوال أساسية في الجبر {{الجبر: (Algebra) فرع من فروع الرياضيات يُعنى بدراسة البنى الجبرية والعلاقات والقوانين التي تحكم العمليات عليها، وذلك باستخدام الرموز والمتغيرات للتعبير عن المعادلات والعلاقات العامة.}}، والتحليل الرياضي {{التحليل الرياضي: (Mathematical Analysis) دراسة السلوك الحدّي للمتتابعات والدوالّ، ويعالج مفاهيم أساسية مثل النهايات، والاستمرارية والاشتقاق والتكامل، ضمن إطار نظري دقيق يُبنى على أسس منطقية مستمدة من نظرية المجموعات وبنية الأعداد الحقيقية.}}، ونظرية المجموعات {{نظرية المجموعات: (Set Theory) فرع من فروع الرياضيات، يُعنى بدراسة المفهوم المجرد لـ "المجموعة"، كذلك، تهتم بوصف المجموعات، وتصنيفها، وتحليل العلاقات والعمليات التي تتم بينها، مثل الانتماء، والاحتواء، والاتحاد، والتقاطع، والفرق.}}، وكذلك في علم التشفير؛ إذ تضمن هذه الفئة من الدوال تحويل الرسائل إلى رموز فريدة لمنع التكرار والتداخل. كما تُستخدم في البرمجة في هياكل البيانات، مثل الجداول التوضيحية (Hash Tables)، لضمان تعيين مفتاح واحد لقيمة واحدة. وفي الهندسة، تُستخدم لإنشاء تحويلات دقيقة تحافظ على موقع النقاط وتميّزها. أما في الإحصاء وتحليل البيانات، فإنها تضمن عدم تكرار البيانات، وتسمح بتحليلها بدقة. كما تتيح إنشاء دوال عكسية تُستخدم في العديد من النماذج الرياضية {{النماذج الرياضية: (Mathematical Models) تمثيلات مجردة لظواهر أو أنظمة واقعية، يُعبّر عنها باستخدام المعادلات، والعلاقات، أو الدوال، بهدف تحليل سلوك تلك الأنظمة والتنبؤ بتطورها أو تفسير خصائصها. ويُبنى النموذج الرياضي على فرضيات وشروط أولية تُشتق منها نتائج قابلة للتحليل أو التطبيق ضمن سياق معين.}}، والهندسية[5] {{النماذج الهندسية: (Geometric Models) تمثيلات رياضية أو رقمية تعتمد على الأشكال الهندسية لتصوير البُنى أو التكوينات المكانية، وتُستخدم لوصف العلاقات الهندسية، والخصائص الشكلية، والبُعدية للعناصر، ضمن نظام منسّق يتسم بالدقة والتجريد.}}.

[1] Iqbal H. Jebril, Hemen Dutta & Ilwoo Cho, Concise Introduction to Logic and Set Theory (Boca Raton: CRC Taylor & Francis Group, 2021), p. 102.

[2] Douglas Smith, Maurice Eggen & Richard St. Andre, A Transition to Advanced Mathematics, 8^th ed. (Boston, MA: Cengage Learning, 2014), pp. 205-213.

[3] Ibid.

[4] Ibid., pp. 205-220.

[5] يُنظر: هادي فضل الله، مدخل إلى المنطق الرياضي: حساب القضايا والمحمولات (بيروت: دار الهادي للطباعة والنشر والتوزيع، 2003).

المراجع

العربية

فضل الله، هادي. مدخل إلى المنطق الرياضي: حساب القضايا والمحمولات. بيروت: دار الهادي للطباعة والنشر والتوزيع، 2003.

الأجنبية

Jebril, Iqbal H., Hemen Dutta & Ilwoo Cho. Concise Introduction to Logic and Set Theory. Boca Raton: CRC Taylor & Francis Group, 2021.

Smith, Douglas, Maurice Eggen & Richard St. Andre. A Transition to Advanced Mathematics. 8^th ed. Boston, MA: Cengage Learning, 2014.