calculus

النهاية

تصف النهاية القيمة التي تقترب منها الدالة عندما يقترب مدخلها على نحو اعتباطي من هدف معيّن — دون أن يصل إليه بالضرورة. النهايات أساس كل من المشتقات والتكاملات.

بصورة غير رسمية، limxaf(x)=L\lim_{x \to a} f(x) = L يعني: عندما يقترب xx على نحو اعتباطي من aa (من أي جهة)، يقترب f(x)f(x) على نحو اعتباطي من LL. لا يلزم أن تكون الدالة معرَّفة عند aa نفسها، وحتى إن كانت كذلك فلا يلزم أن تساوي القيمة f(a)f(a) القيمة LL.

يتطلب التعريف الصوري ε\varepsilon-δ\delta: لكل ε>0\varepsilon > 0 يوجد δ>0\delta > 0 بحيث إن xa<δ|x - a| < \delta تستلزم f(x)L<ε|f(x) - L| < \varepsilon.

تجعل النهايات مفهوم "الاقتراب دون المساواة" دقيقًا — وهو المحرك وراء المشتقات (h0h \to 0) والتكاملات (مجاميع ريمان مع تقسيم 0\to 0). تعتمد نماذج فيزيائية واقتصادية كثيرة ضمنيًا على منطق النهايات.