نهاية الدالة f(x) عندما تؤول x إلى a تساوي L، إذا كان لأي عدد موجب ε يمكننا أن نحدد جواراً للنقطة a بحيث تختلف قيم f(x) عن L بمقدار لا يتجاوز ε، ما أن تدخل x ذلك الجوار (باستثناء، ربما، النقطة a ذاتها). النقطة الأساسية: لا نشترط وجود f(a) أو أن تساوي L. النهاية تصف فقط الاقتراب، لا الوصول.
التاريخ
ظهر المفهوم الحدسي للنهاية في العصور القديمة في أعمال إيودوكسوس وأرخميدس (طريقة الاستنفاد). في القرن السابع عشر، استخدم نيوتن ولايبنتز الكميات المتناهية الصغر ('فلوكنسات' و'تفاضلات') لإنشاء التحليل الرياضي، لكنهما تعرضا لانتقادات لعدم الدقة. اقترح أوغستين لوي كوشي عام 1821 تعريفاً بلغة ε-δ، نقحه لاحقاً فايرشتراس. وضع هذا حداً لعصر اللامتناهيات في الصغر وأعطى أساساً للتحليل الحديث.
كيف يعمل
يصيغ تعريف ε-δ الكلاسيكي حدس 'الاقتراب دون الوصول'. عملياً، لحساب النهايات نستخدم التحويلات الجبرية، مبرهنة الحصر (الشرطيين)، قاعدة لوبيتال (للحالات غير المعينة)، أو التقديرات التقاربية. لا غنى عن النهايات في تعريف الاتصال (f متصلة عند c إذا كان lim_{x→c} f(x)=f(c))، المشتقة ( lim_{h→0} (f(x+h)−f(x))/h ) وتكامل ريمان ( lim_{n→∞} Σ f(x_i^*)Δx ). في التحليل الدالي، تعمم النهاية على الفضاءات المعيارية.
في التطبيق
بدون النهاية، لا يمكن حساب السرعة اللحظية لسيارة من تغير الإحداثيات — تعتمد أجهزة الملاحة GPS وأنظمة القيادة الذاتية على هذا المفهوم باستمرار.
حقيقة طريفة
قبل وقت طويل من الصياغة الرياضية، صاغ زينون الإيلي مفارقة أخيل والسلحفاة: لن يدرك أخيل السلحفاة أبداً، لأنه في كل مرة يقطع جزءاً من المسافة. التفسير الحديث للمفارقة يكمن في مفهوم النهاية: مجموع عدد لا نهائي من الأجزاء يمكن أن يعطي زمناً منتهياً.
جسيم يجلس في حفرة طاقة، مثل حبة بازلاء في تجويف. لكي يقفز للخارج، يحتاج إلى تجاوز الحاجز، وعادةً ما يكون هذا نادرًا: كلما زاد ارتفاع الحاجز، زاد الانتظار. يقول قانون أرهينيوس إن زمن الانتظار ينمو أسيًا، أي أن مضاعفة ارتفاع الحاجز تزيد الزمن مئات المرات.
النقش الجليدي على زجاج النافذة لا يزحف بانتظام - بل يتفرع، مستولياً على مناطق جديدة، وأحياناً يقتطع فراغات. هذا النمو ليس توسعاً سلساً، بل سلسلة من القفزات. تنسجم هذه الصورة بشكل مذهل مع النموذج الرياضي الذي وضعه تشارلز لوفنر قبل مئة عام. يصف هذا النموذج كيف تتوسع المجالات في المستوى العقدي تحت تأثير إشارة أحادية البعد - دالة التحكم W(t).
عندما ترسم اليد خطًا، تكاد النظرة دائمًا أن تسبقها — مثل كشاف يتقدم ليرى ما خلف المنعطف قبل أن يصل إليه الجيش. ولكن إلى أي مدى تتقدم النظرة؟ اتضح أن لكل شخص مسافة مختلفة، وهي لا تتغير من محاولة إلى أخرى.
في التجربة، قام خطاطون محترفون وأشخاص عاديون بتتبع محيط على الشاشة، بينما سجّلت الأجهزة حركات العين والقلم.
الزمكان على المسافات فائقة الصغر يشبه شاشة رقمية: فهو ليس أملس، بل يتكون من "بكسلات" متناهية الصغر. هذا الطول الأدنى حسبه ماكس بلانك — وهو ما يُسمى بطول بلانك، الحد الأساسي الذي تفقد عنده الهندسة المألوفة معناها.
يتكاثف الضباب فوق السطر «def max(a: Int, b: Int): Int». ماذا يفعل هذا السطر؟ يعيد أكبر رقمين، ولكن كيف يمكن التحقق من ذلك؟ يمكن كتابة عشرات الاختبارات بأزواج محددة: max(2,3)=3، max(5,5)=5، max(-1,0)=0. ومع ذلك يبقى القلق: ماذا لو تعطلت الدالة مع مليون وسالب مليون؟ بدلًا من التحديق في الضباب، يمكن للمطور أن يأخذ بوصلة، وهذه البوصلة تسمى خاصية.
الخاصية هي عبارة عن البرنامج يجب أن تكون صحيحة لجميع المدخلات.
