في الرياضيات، الدالة (الجمع: دَوَالّ) أو التابع أو الاقتران (Function) هي كائن رياضي يمثل علاقة تربط كل عنصر من مجموعة تدعى المنطلق أو مجموعة الانطلاق أو المجال بعنصر واحد وواحد فقط على الأكثر من مجموعة تدعى المستقر أو المجال المقابل أو مجموعة الوصول .[1][2][3] أو باستعمال الصياغة الرياضية الرسمية:
ينتج عن هذا التعريف عدة أمور أساسية:
- لكل تابع مجموعة منطلق (أو نطاق) غالبا ما تدعى .
- لكل تابع مجموعة مستقر (أو نطاق مرافق) غالبا ما تدعى .
- لا يمكن لعنصر من مجموعة المنطلق أن يرتبط إلا بعنصر وحيد من مجموعة المستقر .
- يمكن لعنصر من مجموعة المستقر أن يرتبط بعنصر واحد أو أكثر من مجموعة المنطلق .
فاذا كان المنطلق (النطاق) هو مجموعة القيم التي يمكن أن يأخذها متغير مستقل ، فإن المستقر أو (النطاق المرافق) هو مجموعة القيم الممكنة لقيم دالة .
غالبا ما نخصص لفظ دالة للتطبيقات التي يكون مستقرها (الدوال العددية)، أو (الدوال العقدية). في حين نسمي تطبيقا كل ما يحقق التعريف أعلاه.
الاقتران هو علاقة يرتبط بها كل عنصر من عناصر المجال بعنصر واحد فقط من عناصر المدى.
تعريف
أمثلة
لتكن الدالة
أي أن
بأخد نجد ، هنا بالتعريف أعلاه اختُصرت الدالة التربيعية بالحرف . عندئذ نجد أن العنصر من المنطلق يرتبط بالعنصر من المستقر فقط. العنصر من المنطلق (أو المجال) يرتبط بالعنصر فقط من المستقر، فإذا من الممكن للعنصر من المستقر أن يرتبط بعنصرين و من المنطلق في حين أن أي عنصر من المنطلق يرتبط بعنصر واحد فقط من المستقر. هذا أمر جوهري في تحديد كون أي علاقة بين مجموعتين تشكل دالة رياضية.
بالمقابل ليست دالة، لأنها تربط أي مدخل بمخرجين. مثل، الجذر التربيعي للعدد قد يحتمل قيمتين هما و. لهذا، إذا أردنا أن نجعل الجذر التربيعي دالة فيجب أن نحدد أي جذر نختار، السالب أم الموجب. التعريف
،
يعطي لأي مدخل غير سالب مخرجا واحدا فقط هو الجذر التربيعي الموجب.
مصطلحات
مجال الدالة
- مقالة مفصلة: مجال دالة
مجال دالة أو مجموعة تعريفها هو مجموعة جزئية من المنطلق حيث الدالةُ معرفةٌ. أي حيث الدالة تربط حتميا العنصر بمجموعة الانطلاق بعنصر من مجموعة الوصول. على سبيل المثال، دالة الجذر التربيعي لا تعرف إلا على الأعداد الموجبة. إذن مجموعة انطلاق هذه الدالة هي ℝ بينما مجالها فهو ℝ+.
مدى الدالة
- مقالة مفصلة: مدى دالة
مدى دالة هو مجموعة القيم الفعلية للدالة f. مدى الدالة هو مجموعة القيم المحتمل خروجها ناتجا للدالة بعد التعويض بالقيم الخاصة بمجال الدالة فمثلا f(x)=y=4x+1 فان هذه الدالة تتكون من مجال يمثل كل قيم x الممكنة اما مدى الدالة فهو يمثل كل قيم y المحتمل خروجها ناتجا للتعويض في هذه الدالة.
ويجب عدم الخلط بين المدى والمستقر حيث يمكن للدالة ألا تغطي جميع قيم المستقر فيكون المدى مجرد مجموعة جزئية من المستقر.
ما الدالة وما التطبيق ؟
عادة ما تسمى الدالة تطبيقا، ولكن هناك من الكتاب والعلماء من يضع فرقا بينهما. على سبيل المثال، فهناك من يعرف التطبيق دالةً إضافة إلى عدد من البُنى الخاصة.
انظر إلى نظام تحريكي وإلى تطبيق بوانكاري.
أنوع الدوال
هناك أنواع عديدة من الدوال.
الدوال الزوجية والدوال الفردية
إذا كانت دالة ما تعطي نفس النتيجة عندما تطبق على العدد وعلى مقابله، فإن هذه الدالة تسمى دالة زوجية. وإذا كانت تعطي قيمةً ما عندما تُطبق على عدد ما وتعطي مقابل هذه القيمة عندما تطبق على مقابل هذا العدد، فإن هذه الدالة تسمى دالة فردية.
الدوال الشمولية والدوال التباينية والدوال التقابلية
تكون دالة ما تقابلا، وقد يقال دالة تقابلية إذا كانت في آن واحد شمولية وتباينية. أما الدالة الشمولية فهي دالة تضمن وجود سابق لكل عنصر من عناصر مجموعة الوصول. وأما الدالة التباينية فهي كل دالة تضمن الاختلاف عند اختلاف المداخل.
إذا كانت الدالة f تقابلا، فإن لها دالة الدالة العكسية مجموعة انطلاقها هي مجموعة وصول الدالة f، ومجموعة وصولها هي مجموعة انطلاق f.
الدوال التزايدية والدوال التناقصية والدوال الرتيبة
الدوال التزايدية هن دوال تكبر قيمها عندما تكبر قيمة متغيرها والدوال التناقصية فهن دوال تنقص قيمها عندما تكبر قيمة متغيرها. وأما الدوال الرتيبة فهن الدوال اللائي يحافظن على ترتيب ما، أي أنهن إما تزايدية أو تناقصية وليس الصفتين معا.
الدوال الحقيقية والدوال المركبة
الدالة المركبة والدالة التحليلية
المتتاليات
إذا كانت مجموعة انطلاق دالة ما هو مجموعة الأعداد الصحيحة الطبيعية، فإن هذا الدالة تسمى متتالية.
الداول الذاتية الاستدعاء
هي دوال يُحتاج في تعريفها إلى استدعاء الدالة ذاتها، دالة العاملي مثالا.
أنواع أخرى
والدالة الثابتة والدالة المستمرة والدالة الضمنية والدالة الأسية والدالة الصريحة والدالة المتطابقة.
تاريخ
صاغ مصطلح «function» بالإنكليزية العالم غوتفريد لايبنتز في عام 1649 لوصف كميات تتعلق بالمنحنيات كالميل عند نقطة معينة من المنحني.
تم استخدام المصطلح بعدها من قبل عالم الرياضيات ليونهارد أويلر في منتصف القرن الثامن عشر لوصف التعابير والصيغ الرياضية التي تتضمن عدة وسائط رياضية.
معرض صور
مراجع
- MacLane, Saunders; Birkhoff, Garrett (1967). Algebra (الطبعة First). New York: Macmillan. صفحات 1–13.
- Heins, Maurice (1968). Complex function theory. Academic Press. صفحة 4. مؤرشف من الأصل في 24 يناير 2020.
- Apostol, Tom (1967). Calculus vol 1. John Wiley. صفحة 53. . مؤرشف من الأصل في 15 ديسمبر 2019.
مقالات ذات صلة
- قائمة الدوال الرياضية
- تابع كوب-دوغلاس
- تابع الإنتاج
- دالة متعددة التعريف
- دالة متعددة القيم
- دالة تربيعية
- دالة تكعيبية
- دالة رباعية
- التكامل الوظيفي