النهايات ببساطة: الاقتراب من قيمة مقابل بلوغها

الاقتراب من قيمة ليس مثل بلوغها

تسأل النهاية عن القيمة التي تقترب منها الدالة أكثر فأكثر مع اقتراب مدخلها أكثر فأكثر من نقطة ما c، دون اشتراط أن تكون الدالة معرَّفة فعليًا عند c، أو أن تساوي تلك القيمة الحدّية هناك حتى لو كانت معرَّفة. هذا التمييز — بين الاقتراب والبلوغ — هو الفكرة المحورية التي تفصل النهايات عن التعويض المباشر: يسأل التعويض «ما قيمة f(c)؟»؛ بينما تسأل النهاية «ما الذي تقترب منه f(x) مع اقتراب x تعسفيًا من c؟»، وقد يكون للسؤالين إجابتان مختلفتان، أو قد يكون لأحدهما إجابة بينما لا إجابة للآخر.

بالنسبة لدالة حسنة السلوك (متصلة)، يُعطي الاقتراب والبلوغ الإجابة نفسها، ولهذا ينجح التعويض المباشر مع معظم الدوال التي تُصادَف في الجبر التمهيدي. تصبح النهايات ضرورية حقًا بالضبط عند النقاط التي لا تكون الدالة فيها حسنة السلوك — غير معرَّفة، أو غير متصلة، أو مبنية من نسبة تُنتج صيغة غير محددة مثل 0/0 عند تلك النقطة تحديدًا — وهي بالضبط النقاط التي يفشل عندها التعويض بينما قد لا تزال النهاية موجودة.

النهايات من جانب واحد مقابل النهايات من جانبين

تفحص النهاية من جانب واحد سلوك الدالة من اتجاه واحد فقط: النهاية اليسرى، المكتوبة lim(x→c⁻) f(x)، تنظر إلى قيم f مع اقتراب x من c من الأسفل (عبر قيم أصغر من c)؛ أما النهاية اليمنى، المكتوبة lim(x→c⁺) f(x)، فتنظر إلى قيم f مع اقتراب x من c من الأعلى (عبر قيم أكبر من c). أما النهاية ذات الجانبين، المكتوبة lim(x→c) f(x) دون رمز علوي، فتوجد فقط عندما توجد النهايتان اليسرى واليمنى وتتساويان معًا.

توضّح الدالة f(x) = |x| / x حالة تختلف فيها النهايتان من جانب واحد عند c = 0: بالنسبة لأي x سالبة، |x| / x = −1، لذا النهاية اليسرى هي −1؛ وبالنسبة لأي x موجبة، |x| / x = 1، لذا النهاية اليمنى هي 1. ولأن −1 ≠ 1، فإن النهاية ذات الجانبين عند x = 0 غير موجودة، مع أن كل من النهايتين من جانب واحد موجودة كل على حدة ومعرَّفة تمامًا.

الحالة الكلاسيكية: لماذا يحتاج sin(x)/x إلى نهاية لا تعويض

التعويض المباشر بـ x = 0 في sin(x)/x يعطي sin(0)/0 = 0/0، وهي صيغة غير محددة لا تحمل قيمة عددية معرَّفة بذاتها — فـ 0/0 ليست تلقائيًا 0، ولا 1، ولا غير معرَّفة إلى الأبد؛ بل تعني ببساطة أن التعويض المباشر لا يستطيع الإجابة عن السؤال وأنه يجب حساب نهاية بدلًا من ذلك. تقييم sin(x)/x عند سلسلة من قيم x تتقلص نحو 0 من كلا الجانبين يُظهر قيمة الدالة تتجه بثبات نحو 1، لا نحو 0 أو أي رقم آخر.

عدديًا: عند x = 0.1، sin(x)/x ≈ 0.998334؛ وعند x = 0.01، sin(x)/x ≈ 0.999983؛ وعند x = 0.001، sin(x)/x ≈ 0.9999998؛ وعند x = 0.0001، sin(x)/x ≈ 0.99999998. يتقارب الاتجاهان اليسرى واليمنى معًا نحو 1، لذا lim(x→0) sin(x)/x = 1، مع أن الدالة sin(x)/x نفسها غير معرَّفة تمامًا عند x = 0. هذه نتيجة قياسية في التفاضل والتكامل، وتُبرهَن عادة بدقة باستخدام حجة هندسية بالعصر (الشطيرة) لا بالتقييم العددي وحده.

عندما تفشل النهاية في الوجود: 1/x عند x = 0

لا توجد كل نهاية. توضّح الدالة f(x) = 1/x، مع اقتراب c = 0، فشل نهاية بسبب نمو غير محدود لا بسبب تعارض بسيط: مع اقتراب x من 0 من اليمين (قيم موجبة صغيرة)، تنمو 1/x دون حدود نحو موجب اللانهاية؛ ومع اقتراب x من 0 من اليسار (قيم سالبة صغيرة)، تنمو 1/x دون حدود نحو سالب اللانهاية. ولأن السلوكين من جانب واحد يتباعدان نحو لانهايتين متعاكستين بدلًا من الاستقرار على رقم منتهٍ مشترك، فإن النهاية ذات الجانبين عند x = 0 غير موجودة.

يمكن للنهايات أن تفشل في الوجود أيضًا بسبب التذبذب لا التباعد نحو اللانهاية — فمثلًا، sin(1/x) مع اقتراب x من 0 تتذبذب بين −1 و 1 عدد لا نهائي من المرات مهما اقتربت x من 0، دون أن تستقر أبدًا على قيمة واحدة من أي جانب. كل من النمو غير المحدود والتذبذب المستمر سببان قياسيان وموثقان لفشل النهاية في الوجود، ويختلفان عن حالة تعارض النهايتين من جانب واحد التي أظهرتها |x|/x أعلاه.

لماذا النهايات هي الأساس الذي تُبنى عليه المشتقات والتكاملات

التعريف الرسمي للمشتقة هو نفسه نهاية — نهاية ميل خط القاطع مع تقارب النقطتين المحددتين له لتصبحا نقطة واحدة — والتعريف الرسمي للتكامل المحدد هو أيضًا نهاية، نهاية مجموع ريمان مع تزايد عدد المستطيلات دون حدود. لذا فإن فهم ماهية النهاية ومتى توجد أو لا توجد ليس موضوعًا هامشيًا في التفاضل والتكامل؛ بل هو الآلية الكامنة وراء كلا العمليتين المحوريتين للمادة.

وهذا أيضًا سبب بناء آلة حساب النهاية العددية، مثل تلك الموجودة على هذا الموقع، بنفس الطريقة المفاهيمية التي قُيِّمت بها sin(x)/x أعلاه: فهي تقدّر السلوك اليسرى واليمنى بتقييم الدالة عند نقاط أقرب تدريجيًا من قيمة الاقتراب من كل جانب، ثم تتحقق مما إذا كان هذان الاتجاهان متفقان بما يكفي للإبلاغ عن نهاية ذات جانبين.

الأسئلة الشائعة

المراجع

1. Stewart J. Calculus. Cengage Learning (the formal definition of a limit, one-sided limits, and the squeeze theorem).
2. Spivak M. Calculus (4th ed). Publish or Perish, 2008 (rigorous treatment of limits and continuity).
3. Thomas GB, Weir MD, Hass J. Thomas' Calculus. Pearson (limits, one-sided limits, and indeterminate forms).
4. NIST Digital Library of Mathematical Functions (DLMF), Chapter 3: Numerical Methods. dlmf.nist.gov.