انتقل إلى المحتوى
Topos Uranos

ملخص

يفتتح هذا الدرس الوحدة المخصّصة للنهايات والاتصال. فهو يعرض مسار الوحدة، الذي ينطلق من تعريف النهاية بإبسيلون ودلتا ويصل، عبر دروس تعيد استخدام البراهين التي سبقت بدلًا من تكرارها، إلى اتصال الدوال الأولية وإلى مقارنة الدوال اللامتناهية في الصغر؛ ويعيد بناء تاريخ مفهوم النهاية، من مفارقات زينون وطريقة الاستنفاد إلى تعريف فايرشتراس، مرورًا بالكميات اللامتناهية في الصغر عند نيوتن ولايبنتس ونقد بيركلي؛ ويصوغ المسألة التي نشأ منها المفهوم، وهي إعطاء معنى لخارج قسمة يصير 00\frac{0}{0}، ويفحص لماذا لا تكفي فكرة الاقتراب ولا جدول القيم للحكم على نهاية. ويختم بالإشارة إلى المواضع التي تُستعمل فيها النهايات والاتصال في بقية الدورة، وفي دورات أخرى من الموقع، وفي العلم والتقنية.

أهداف التعلم

  1. وصف مسار الوحدة وشرح ما يبرهنه كل درس وما يستند إليه من نتائج سابقة.
  2. شرح لماذا تتطلب السرعة اللحظية والمماس والمساحة مفهوم النهاية، ولماذا لا تكفي الفكرة الحدسية للاقتراب ولا جداول القيم لتعريفه ولا لحسابه.
  3. وضع مراحل مفهوم النهاية في سياقها التاريخي، من طريقة الاستنفاد إلى التعريف بإبسيلون ودلتا، وتحديد المسألة أو النقد الذي دفع كل مرحلة منها.
  4. الإشارة إلى المواضع التي تتدخل فيها النهايات والاتصال في بقية الدورة، وفي دورات أخرى، وفي التطبيقات العلمية والتقنية.

تقييم الدخول

قبل اجتياز الوحدة يحسن قياس نقطة البداية. وهذا التقييم الذاتي لا تُمنح عليه درجة: إنما يفيد في معرفة المواضع التي ينبغي التوقف عندها. فالأسئلة العشرة الأولى تتناول، بالترتيب، دروس المحتوى العشرة في الوحدة، سؤالًا لكل درس، وتقيس مهارة في الحساب أو في الاستدلال، لا عبارة تُستظهر؛ وتُقاس المهارات نفسها مرة أخرى في النهاية، في درس الخلاصة، بمعطيات أخرى. أما الأسئلة الستة الأخيرة فتتحقق مما تعدّه هذه الوحدة معلومًا من الجبر والهندسة 1 و2: القيمة المطلقة، والحد الأعلى الأصغر، وتركيب الدوال، وجداول الإشارات، والمتباينة بين الجيب والقوس والظل، والمتباينة الأساسية للدالة الأسية.

تقييم الدخول

قبل أن تبدأ الوحدة، قِس نقطة انطلاقك. إنه تقييم ذاتي قصير: لا يُمنح عليه درجة، وتُحفظ نتيجته في متصفحك فقط.

  1. السؤال 1لبرهان أن lim⁡x→−1(5−4x)=9\lim_{x \to -1} (5 - 4x) = 9 يُتلقّى التحدي ε=150\varepsilon = \frac{1}{50}. ما أكبر δ\delta يردّ على هذا التحدي؟

  2. السؤال 2احسب lim⁡x→3x+1−2x−3\lim_{x \to 3} \frac{\sqrt{x + 1} - 2}{x - 3}.

  3. السؤال 3احسب lim⁡x→01−cos⁡4xx2\lim_{x \to 0} \frac{1 - \cos 4x}{x^2}.

  4. السؤال 4ماذا يمكن أن يقال عن lim⁡x→2∣x−2∣x2−4\lim_{x \to 2} \frac{\abs{x - 2}}{x^2 - 4}؟

  5. السؤال 5احسب lim⁡x→−∞4x2+13x−2\lim_{x \to -\infty} \frac{\sqrt{4x^2 + 1}}{3x - 2}.

  6. السؤال 6احسب lim⁡x→1−x+2x2−1\lim_{x \to 1^-} \frac{x + 2}{x^2 - 1}.

  7. السؤال 7ما المقارب للتمثيل البياني للدالة f(x)=x2+6xf(x) = \sqrt{x^2 + 6x} عند ∞\infty؟

  8. السؤال 8الدالة f(x)=x2−xx2−1f(x) = \frac{x^2 - x}{x^2 - 1} غير معرّفة عند 11 ولا عند −1-1. كيف تُصنَّف حالات عدم الاتصال عند هاتين النقطتين؟

  9. السؤال 9احسب lim⁡x→0(1+3x)2x\lim_{x \to 0} \left(1 + 3x\right)^{\frac{2}{x}}.

  10. السؤال 10احسب lim⁡x→0(e2x−1)sin⁡3xln⁡(1+x2)\lim_{x \to 0} \frac{\left(e^{2x} - 1\right)\sin 3x}{\ln\left(1 + x^2\right)}.

  11. السؤال 11من وحدات سابقةما مجموعة الأعداد الحقيقية xx التي تحقق 0<∣x−3∣<120 < \abs{x - 3} < \frac{1}{2}؟

  12. السؤال 12من وحدات سابقةما الحد الأعلى الأصغر للمجموعة {nn+1:n∈N}\left\{ \frac{n}{n + 1} : n \in \mathbb{N} \right\}؟

  13. السؤال 13من وحدات سابقةإذا كان f(x)=xf(x) = \sqrt{x} وg(x)=x2−4x+3g(x) = x^2 - 4x + 3، فما مجال تعريف f∘gf \circ g؟

  14. السؤال 14من وحدات سابقةما مجموعة حلول x−1x2−4>0\frac{x - 1}{x^2 - 4} > 0؟

  15. السؤال 15من وحدات سابقةإذا كان 0<x<π20 < x < \frac{\pi}{2}، مع قياس xx بالراديان، فأي متباينة مزدوجة تتحقق؟

  16. السؤال 16من وحدات سابقةالمتباينة الأساسية ex≥1+xe^x \geq 1 + x صحيحة لكل عدد حقيقي xx. أيّ هذه العبارات يُستنتج منها؟

محتويات الوحدة

في الجبر والهندسة 1، استعمل الدرس المخصّص لـالدوال الكسرية المقاربات العمودية والمقاربات عند اللانهاية، واتصال تلك الدوال، ومبرهنة القيم الوسطى، على أنها حقائق مسلَّم بها، دون برهان، لأنها كانت تتطلب تعريفًا للنهاية لم يكن متاحًا بعد؛ وسلّمت الجبر والهندسة 2 بالطريقة نفسها باتصال الدوال المثلثية ودوالها العكسية. وهذه الوحدة تقدّم ذلك التعريف وتبرهن، واحدة واحدة، الحقائق المسلَّم بها، ما عدا مبرهنة القيم الوسطى، التي ستُبرهن في الوحدة اللاحقة. وقد رُتّبت البراهين بحيث يُعاد استخدامها: قليل منها يُنجز بإبسيلون ودلتا، والباقي يستشهد بالنتائج التي سبقت بدلًا من تكرار الحجة. وتأتي الدروس على هذا الترتيب:

  1. يحوّل درس نهاية الدالة فكرة الاقتراب إلى التعريف بإبسيلون ودلتا، ويحدّد بنقاط التراكم أين يكون له معنى، ويكتب التعريف ونفيه عبارتين مكمّمتين، ويبرهن أن النهاية وحيدة، وأنها لا تتوقف إلا على القيم القريبة، وأنها تُلزم الدالة بأن تبقى محدودة وأن تحافظ على إشارتها قرب النقطة.
  2. يردّ درس جبر النهايات قواعد الحساب إلى ثلاث توطئات مبرهنة بإبسيلون ودلتا، أهمها معيار الحد الأعلى، ويستنتج منها، بتوطئة مفادها أن تقييد مجال التعريف لا يُفقد النهاية، نهايات المجموع والجداء والمقلوب وخارج القسمة، ونهايات كثيرات الحدود والدوال الكسرية والجذور والقوى ذات الأس النسبي، ومبرهنة نهاية التركيب، التي تسوّغ تغيير المتغير.
  3. يبرهن درس مبرهنة الحصر، بمعيار الحد الأعلى، أن النهايات تحفظ المتباينات غير الصارمة، ثم المبرهنة نفسها ونهاية جداء دالة محدودة في دالة أخرى تؤول إلى الصفر؛ وبها يحصل على نهايتي الجيب وجيب التمام وعلى النهاية الأساسية lim⁡x→0sin⁡xx=1\lim_{x \to 0} \frac{\sin x}{x} = 1، التي تُستنتج منها سائر النهايات المثلثية.
  4. يعرّف درس النهايات من جهة واحدة هذه النهايات بوصفها نهايات للمقصور، فترث جميع المبرهنات التي سبقت؛ ويبرهن أن النهاية موجودة إذا وفقط إذا وُجدت النهايتان من جهة واحدة وتساوتا، وأن الدالة الرتيبة المحدودة لها نهاية من جهة واحدة تساوي الحد الأعلى الأصغر أو الحد الأدنى الأعظم لقيمها، وهي أول مبرهنة تضمن وجود نهاية دون معرفة قيمتها.
  5. يعرّف درس النهايات عندما يؤول المتغير إلى اللانهاية النهاية عندما يتزايد المتغير بلا حد، ويبرهن، بتوطئة التعاكس، أنها تكافئ نهاية من جهة واحدة عند 00، فتصح جميع المبرهنات التي سبقت عند اللانهاية أيضًا؛ وبها يحسب نهايات القوى والدوال الكسرية.
  6. يردّ درس النهايات اللانهائية هذه النهايات، بتوطئة المقلوب، إلى نهايات تساوي الصفر؛ ومن ذلك ومن المقارنة تخرج قواعد المجموع والجداء وخارج القسمة، ويبيّن الدرس أن حالات عدم التعيين قد تعطي أي نتيجة، ويبرهن مبرهنة الدوال الرتيبة غير المحدودة ومبرهنة التركيب مع النهايات اللانهائية.
  7. يعرّف درس الخطوط المقاربة المقاربات بالنهايات من جهة واحدة، وعند اللانهاية، واللانهائية؛ ويبرهن صيغتي الميل والترتيبة عند الأصل للمقارب المائل، ووحدانية المقارب غير العمودي عند كل طرف، والحقائق المسلَّم بها في الجبر والهندسة عن الدوال الكسرية، ويقترح طريقة لتمثيل الدوال بيانيًّا دون مشتقات.
  8. يعرّف درس الاتصال الاتصال بالتحدي والرد المعهودين، دون استبعاد النقطة؛ ويبرهن أنه، عند نقطة تراكم، يكافئ أن تكون النهاية موجودة ومساوية للقيمة، ويصنّف حالات عدم الاتصال إلى قابلة للإزالة وقفزية وأساسية، ويرث من جبر النهايات اتصال العمليات، ويبرهن أن تركيب الدوال المتصلة متصل، فتدخل النهاية في الدالة المتصلة.
  9. يُثبت درس اتصال الدوال الأولية أن هذه الدوال متصلة بحجة واحدة، هي أن الدالة الرتيبة التي صورتها فترة لا يمكن أن تقفز؛ وبهذا الاتصال وبالمتباينة الأساسية للدالة الأسية، يبرهن الدرس النهايات الشهيرة للدالة الأسية واللوغاريتم، ويحصل على العدد ee بوصفه نهاية، ويحل الحالة 1∞1^\infty، ويقارن الدالة الأسية والقوى واللوغاريتم عند اللانهاية.
  10. يقارن درس الدوال المتكافئة اللامتناهية في الصغر وفي الكبر هذه الدوال بـ o⁡\operatorname{o} الصغيرة، وO⁡\operatorname{O} الكبيرة، والرتبة نفسها، والتكافؤ؛ ويبرهن أنه، في جداء أو خارج قسمة، يمكن استبدال كل عامل بعامل مكافئ له، لا في مجموع، إلا إذا كانت مكافئات حدود المجموع من الإشارة نفسها، ويجمع نهايات الدروس التي سبقت في جدول للمتكافئات عند الصفر.

وتُختتم الوحدة بدرس الخلاصة والتحديات، الذي يجمع ما تحقق في سلسلة استنتاجية، ويعيد في تقييم الخروج الخاص به مهارات تقييم الدخول، ويقترح عشر مسائل أشد صعوبة.

الخلفية التاريخية

ولا يتطابق الترتيب المنطقي للوحدة مع الترتيب التاريخي كذلك. فطوال أكثر من قرن مورس حساب التفاضل والتكامل بنجاح دون تعريف للنهاية؛ وعُرّف الاتصال تعريفًا دقيقًا قبل النهاية بصورتها الحالية، وجاء التعريف بإبسيلون ودلتا في نهاية المسار، حين كان حساب التفاضل والتكامل قد حلّ المسائل التي نشأ من أجلها. ويحسن تتبّع هذا التاريخ، لأن الاعتراضات التي كان عليه أن يتغلب عليها هي نفسها التي يثيرها الطالب عادة.

اللانهاية عند الإغريق

اقترح زينون الإيلي، الذي عاش بين سنتي 490 و425 قبل الميلاد تقريبًا، حججًا ضد إمكان الحركة تُعرف خصوصًا من كتاب الطبيعة لأرسطو. وتقول حجة التنصيف إنه لقطع طريق يجب أولًا بلوغ منتصفه، وقبل ذلك منتصف نصفه، وهكذا بلا نهاية، فلا يمكن للحركة أن تبدأ. وتطرح المفارقة، دون أن تحلّها، مسألة ما إذا كان يمكن لمقادير لا نهائية العدد أن يكون مجموعها مقدارًا منتهيًا، مثل 12+14+18+⋯=1\frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots = 1.

وقد تجنّب الرياضيون الإغريق هذه المسألة بطريقة الاستنفاد، التي أعطاها يودوكسوس الكنيدي صيغة دقيقة نحو سنة 370 قبل الميلاد: لبرهان أن مساحة ما تساوي مقدارًا معيّنًا، تُرسم داخل الشكل مضلعات يمكن جعل الفرق بينها وبينه أصغر من أي مقدار معطى، ويُبرهن بالخلف أن المساحة لا يمكن أن تكون أكبر من ذلك المقدار ولا أصغر منه. ونحو سنة 225 قبل الميلاد برهن أرشميدس بهذه الطريقة أن مساحة القطعة المكافئية تساوي 43\frac{4}{3} من مساحة المثلث المرسوم داخلها الذي له القاعدة نفسها والرأس نفسه، بجمع المثلثات التي تضاف في كل مرحلة، والتي تكوّن مساحاتها المتتالية 1+14+116+⋯1 + \frac{1}{4} + \frac{1}{16} + \cdots. ومخطط الحجة، أي مقدار يمكن جعله أصغر من أي مقدار معطى، هو بالفعل مخطط التحدي والرد.

الكميات اللامتناهية في الصغر عند نيوتن ولايبنتس

في القرن السابع عشر، نالت مسألة المماسات ومسألة المساحات طريقة عامة. فقد كتب إسحاق نيوتن في أكتوبر 1666 رسالة عن التدفقات لم ينشرها، وفي سنة 1671 كتابه طريقة التدفقات والمتسلسلات اللانهائية، الذي لم يُنشر إلا سنة 1736. وأدخل غوتفريد فيلهلم لايبنتس رمز التكامل في مخطوطة مؤرخة في 29 أكتوبر 1675، وفي 21 نوفمبر كتب لأول مرة تكاملًا بالرمز والتفاضل، ونشر حسابه التفاضلي سنة 1684 في مجلة Acta Eruditorum في لايبزيغ، بعنوان Nova methodus pro maximis et minimis، وحسابه التكاملي في المجلة نفسها سنة 1686. وكان كلاهما يحسب بتزايدات تُعامل على أنها غير الصفر لتمكن القسمة عليها، وعلى أنها صفر لإهمالها في النهاية.

في سنة 1734، نشر جورج بيركلي المحلِّل، وهو نقد لأسس حساب نيوتن. فقد ذهب إلى أن التزايدات المتلاشية ليست كميات منتهية، ولا كميات لامتناهية في الصغر، ولا لا شيء، وأن الحساب يغيّر الفرض في منتصف الاستدلال، وسأل ألا يمكن تسميتها أشباح الكميات الراحلة. كانت النتائج صحيحة؛ والذي أظهره بيركلي هو أن الاستدلال الذي يسوّغها لم يكن كذلك. والمثال الآتي يعيد الحساب الذي كان ينتقده ويبيّن كيف يحلّه تعريف النهاية.

مثالخارج القسمة الذي انتقده بيركلي

لنعتبر ميل المماس للقطع المكافئ y=x2y = x^2 عند النقطة (1,1)(1, 1). يرسم الشكل القواطع التي تصل هذه النقطة بنقطة أخرى من القطع المكافئ تزداد قربًا منها، ثم خارج القسمة بوصفه دالة في التزايد، مع الثغرة التي يتركها عند h=0h = 0.

البرهان

  1. q(h)=(1+h)2−12hq(h) = \frac{(1 + h)^2 - 1^2}{h}

    القاطع الذي يصل (1,1)(1, 1) بالنقطة التي فاصلتها 1+h1 + h، مع h≠0h \neq 0، ميله هو نسبة التزايد.

  2. h≠0→q(h)=2+hh \neq 0 \rightarrow \dato{q}{q(h) = 2 + h}

    من أجل h≠0h \neq 0 يساوي البسط 2h+h22h + h^2، ويُختزل العامل hh. وكلما صغر hh قلّ ميل القواطع.

  3. q(0)=00,h≠0→q(h)≠2q(0) = \frac{0}{0}, \qquad h \neq 0 \rightarrow q(h) \neq 2

    هنا يكمن اعتراض بيركلي: إذا كان h=0h = 0 فخارج القسمة 00\frac{0}{0} ولا يمكن اختزاله؛ وإذا كان h≠0h \neq 0 فالنتيجة ليست 22. وكان حساب الكميات اللامتناهية في الصغر يستعمل h≠0h \neq 0 للقسمة وh=0h = 0 لإهمال الحد hh.

  4. 0<∣h∣<ε→∣q(h)−2∣=∣h∣<ε0 < \abs{h} < \varepsilon \rightarrow \abs{q(h) - 2} = \resaltar{\abs{h}} < \varepsilon

    تعريف النهاية يزيل الاعتراض: فهو لا يفحص h=0h = 0 ولا يشترط أن تساوي q(h)q(h) القيمة 22، بل أن تكون قريبة من 22 بالقدر الذي نريد. ويُردّ على التحدي ε\varepsilon بـ δ=ε\delta = \varepsilon.

  5. lim⁡h→0(1+h)2−1h=2,y=2x−1\lim_{h \to 0} \frac{(1 + h)^2 - 1}{h} = \resaltar{2}, \qquad y = 2x - 1

    إذن النهاية هي 22، ميل المماس، ولا يلزم أن تكون أي كمية صفرًا وغير صفر في آن واحد. والمستقيم الذي ميله 22 ويمر بـ (1,1)(1, 1) هو المماس.

النهاية أساسًا

وظل المخرج الذي أشار إليه المثال يشق طريقه طوال قرن. فقد اقترح جان لو رون دالمبير، في مقالة «التفاضل» من المجلد الرابع من الموسوعة، المكتوبة سنة 1754، أن يُبنى الحساب على نظرية النهايات، وعرّف المشتقة بأنها نهاية نسبة تزايدات. وفي سنة 1817 نشر برنارد بولزانو برهانًا تحليليًّا خالصًا لمبرهنة القيم الوسطى، بهدف معلن هو تحرير الحساب من مفهوم الكمية اللامتناهية في الصغر، واستعمل فيه مفهومًا للاتصال قريبًا جدًا من المفهوم الحالي؛ وبقي عمله قليل الشهرة في حياته. وفي سنة 1821 نشر أوغستان لويس كوشي كتابه دروس في التحليل، الذي كُتب لطلاب مدرسة البوليتكنيك في باريس، ووضع النهايات في أساس الحساب، وعرّف الدالة المتصلة بأنها التي يُحدث فيها تزايد لامتناهٍ في الصغر للمتغير تزايدًا لامتناهيًا في الصغر للدالة.

وفي الوقت نفسه كان مفهوم الدالة يتغير. فالدالة عند أويلر، سنة 1748، كانت عبارة تحليلية؛ وقبل بيتر غوستاف لوجون ديريشليه سنة 1837 مفهومًا أوسع بكثير، يمكن فيه أن تتعاقب القيم على أي نحو، وإليه يُنسب مثال الدالة التي تساوي 00 على الأعداد النسبية و11 على غير النسبية، وهي غير متصلة عند كل النقاط. ومع دوال بهذه العمومية لم يعد الحدس الهندسي دليلًا مأمونًا، وصار على التعريفات ألا تتحدث إلا عن الأعداد والمتباينات.

تعريف فايرشتراس

تناول كارل فايرشتراس، الأستاذ في جامعة برلين منذ 1856، أسس التحليل لأول مرة في مقرره التمهيدي في التحليل سنتي 1859 و1860. وفي محاضراته، المعروفة خصوصًا من خلال مذكرات طلابه، كُتب تعريف النهاية والاتصال بإبسيلون ودلتا، بالصورة التي تستعملها هذه الدورة: دون حركة، ودون كميات لامتناهية في الصغر، بوصفه عبارة مكمّمة عن الأعداد الحقيقية. وفي سنة 1872، وهي السنة نفسها التي نشر فيها ريتشارد ديديكند وغيورغ كانتور إنشاءيهما للأعداد الحقيقية، اللذين يبرهنان التمام، قدّم فايرشتراس إلى أكاديمية برلين للعلوم دالة متصلة ليس لها مشتقة عند أي نقطة، دليلًا على أن حدس المنحنى المتصل لا يكفي للاستدلال عليه.

والترميز الذي يقارن به آخر دروس الوحدة الدوال لاحق لذلك. فقد أدخل باول باخمان الرمز O⁡\operatorname{O} سنة 1894، في Die analytische Zahlentheorie، المجلد الثاني من مؤلَّفه في نظرية الأعداد، وأدخل إدموند لانداو، الذي تبنّاه، الرمز o⁡\operatorname{o} سنة 1909، في مؤلَّفه عن توزيع الأعداد الأولية.

المسألة التي نشأ منها المفهوم

قادت ثلاث مسائل قديمة إلى حساب التفاضل والتكامل، وللمسائل الثلاث البنية نفسها. فسرعة متحرك في لحظة ينبغي أن تكون خارج قسمة المسافة المقطوعة على الزمن المستغرق حين يكون الزمن المستغرق صفرًا؛ وميل المماس لمنحنى ينبغي أن يكون ميل قاطع تنطبق نقطتاه؛ ومساحة شكل منحنٍ ينبغي أن تكون مجموع عدد لا نهائي من المستطيلات عرضها صفر. وفي الحالات الثلاث يعطي التعويض المباشر 00\frac{0}{0} أو مجموعًا لا معنى له، والنتيجة الصحيحة هي ما تقترب منه التقريبات. والمسألتان الأوليان تقودان إلى المشتقة، التي هي موضوع الوحدة اللاحقة؛ والثالثة إلى التكامل، الذي يُدرس في التفاضل والتكامل 2.

غير أن «ما تقترب منه» ليس تعريفًا بعد، لثلاثة أسباب. الأول أن الاقتراب لا يكفي: فدرس نهاية الدوال لمتغير حقيقي واحد يبيّن أن قيم x2−1x−1\frac{x^2 - 1}{x - 1} تقترب من 33 عندما ينتقل xx من 0,90{,}9 إلى 0,990{,}99، مع أن النهاية 22. والثاني أن الجدول يفحص عددًا منتهيًا من النقاط: فالدرس نفسه يبيّن أن sin⁡πx\sin\frac{\pi}{x} تساوي 00 عند جميع النقاط التي على الصورة 1n\frac{1}{n} ومع ذلك ليس لها نهاية عند 00. والثالث أن قيم الجدول قد تكون محسوبة خطأً، كما يبيّن المثال الآتي.

مثالجدول مضلِّل

لنعتبر الدالة q(x)=x2+9−3x2q(x) = \frac{\sqrt{x^2 + 9} - 3}{x^2}، المعرّفة من أجل x≠0x \neq 0. يرسم الشكل تمثيلها البياني، مع الثغرة عند x=0x = 0، وقيم جدول، والقيمة التي يعطيها حاسوب قريبًا جدًا من 00؛ ثم الحد الأعلى الذي يحسم النهاية.

البرهان

  1. q(1)≈0,1623,q(10−1)≈0,16662,q(10−2)≈0,1666662q(1) \approx 0{,}1623, \qquad q\left(10^{-1}\right) \approx 0{,}16662, \qquad q\left(10^{-2}\right) \approx 0{,}1666662

    القيم عند 11 و10−110^{-1} و10−210^{-2} تبدو مقتربة من 0,1666…0{,}1666\ldots، أي من 16\frac{1}{6}.

  2. 9+10−16≈9→q(10−8)≈09 + 10^{-16} \approx 9 \rightarrow q\left(10^{-8}\right) \approx \resaltar{0}

    لكن عند x=10−8x = 10^{-8}، يحصل برنامج يحسب بالفاصلة العائمة المعتادة ذات الدقة المضاعفة على 00: فالمجموع 9+10−169 + 10^{-16} يُقرَّب إلى 99، وطرح البسط يعطي 00 تمامًا. والجدول وحده لا يحسم بين 16\frac{1}{6} و00.

  3. q(x)=(x2+9)−9x2(x2+9+3)=1x2+9+3q(x) = \frac{\left(x^2 + 9\right) - 9}{x^2\left(\sqrt{x^2 + 9} + 3\right)} = \dato{r}{\frac{1}{\sqrt{x^2 + 9} + 3}}

    من أجل x≠0x \neq 0، نضرب ونقسم على المرافق x2+9+3\sqrt{x^2 + 9} + 3؛ فيصير البسط x2x^2، الذي يُختزل.

  4. ∣q(x)−16∣=x26(x2+9+3)2≤x2216\abs{q(x) - \frac{1}{6}} = \frac{x^2}{6\left(\sqrt{x^2 + 9} + 3\right)^2} \leq \resaltar{\frac{x^2}{216}}

    تُكتب المسافة إلى 16\frac{1}{6} بالمرافق نفسه، وتُحدّ من الأعلى لأن x2+9≥3\sqrt{x^2 + 9} \geq 3، فيكون مربع x2+9+3\sqrt{x^2 + 9} + 3 على الأقل 3636.

  5. 0<∣x∣<216ε→∣q(x)−16∣<ε,lim⁡x→0q(x)=160 < \abs{x} < \sqrt{216\varepsilon} \rightarrow \abs{q(x) - \frac{1}{6}} < \varepsilon, \qquad \lim_{x \to 0} q(x) = \resaltar{\frac{1}{6}}

    يُردّ على التحدي ε\varepsilon بـ δ=216ε\delta = \sqrt{216\varepsilon}، والنهاية هي 16\frac{1}{6}. والصفر 00 الذي يعطيه الحاسوب خطأ تقريب: فالحد الأعلى يضمن أن q(10−8)q\left(10^{-8}\right) يبعد عن 16\frac{1}{6} أقل من 10−1810^{-18}.

يجيب تعريف النهاية عن الاعتراضات الثلاثة: فهو يتحدث عن جميع النقاط القريبة دفعة واحدة، ويحدّد بالأعداد معنى «قريبًا بالقدر الذي نريد»، ويُبرهن بالمتباينات، لا بحسابات تقريبية. لكن للمسألة وجهًا آخر، لا يتعلق بالحساب بل بالوجود. فكثير من نهايات الوحدة يُبرهن بعد معرفة قيمتها أو تخمينها؛ أما غيرها فموجود دون أن نعرف كيف نحسبه، ووجوده يستند إلى تمام الأعداد الحقيقية. فمبرهنة الدوال الرتيبة في درس النهايات من جهة واحدة تعطي النهاية حدًّا أعلى أصغر، وعليها يتوقف اتصال الدالة الأسية واللوغاريتم وسائر الدوال الأولية. ودرس النهاية والاتصال يبرهن أن الدالة المتصلة والموجبة عند نقطة تكون موجبة أيضًا عند نقاط مجال تعريفها القريبة منها، وحفظ الإشارة هذا، مع التمام، سيعطي في الوحدة اللاحقة مبرهنة القيم الوسطى. ودون التمام لا يصح شيء من هذا: فالدالة x2−2x^2 - 2، إذا اعتُبرت على الأعداد النسبية وحدها، تنتقل من قيم سالبة إلى قيم موجبة دون أن تنعدم أبدًا.

أهمية النهايات والاتصال

في بقية الدورة

تقوم الدورة كلها على هذه الوحدة. فالوحدة اللاحقة، المخصّصة للمشتقات، تعرّف في أول دروسها المشتقة بوصفها نهاية لدالة، أي نسبة التزايد في مثال بيركلي، وتستخرج قواعد الاشتقاق من جبر النهايات؛ ومشتقات الجيب والدالة الأسية واللوغاريتم، في درس مشتقات الدوال الأولية، هي النهايات الشهيرة في هذه الوحدة؛ وقاعدة السلسلة تستند إلى تركيب الدوال المتصلة؛ ومبرهنة القيم الوسطى تُبرهن بحفظ الإشارة والتمام، وتسوّغ طريقة التنصيف؛ ومشتقة الدالة العكسية، في الدرس المخصّص لمشتقة الدالة العكسية والاشتقاق الضمني، تتطلب اتصال الدالة العكسية. والوحدة الثالثة، المخصّصة لتطبيقات المشتقات، تبدأ بـمبرهنة فايرشتراس، التي تنص على أن الدالة المتصلة على فترة مغلقة ومحدودة تبلغ قيمتها العظمى وقيمتها الصغرى، وعليها تستند مبرهنة رول ومبرهنة التزايدات المنتهية، والبحث عن القيم العظمى والصغرى، ومسائل الأمثلة. وقاعدة لوبيتال تحل حالات عدم التعيين التي لا تعرف هذه الوحدة إلا التعرف عليها، وطريقة نيوتن-رافسون، التي تختم الدورة، تبرهن تقاربها بالتقعر نحو الأعلى وبالحد الأعلى الأصغر.

في دورات أخرى

في التفاضل والتكامل 2، يُعرَّف التكامل بأنه نهاية مجاميع مساحات مستطيلات، وهي مسألة أرشميدس؛ والمتتاليات والمتسلسلات، التي لا تدرسها هذه الدورة، تُعالج بتعريفات من النوع نفسه، وكثيرة حدود تايلور تقيس خطأها بـ O⁡\operatorname{O} الكبيرة من آخر دروس الوحدة. وفي التفاضل والتكامل 3، ينتقل التعريف بإبسيلون ودلتا إلى الدوال متعددة المتغيرات، بمسافة المستوى بدلًا من القيمة المطلقة، وقد تتوقف النهاية على الطريق الذي يُبلغ به النقطة. وفي أساسيات الميكانيكا، السرعة والتسارع اللحظيان نهايتان لنسب تزايدات. وفي الرياضيات المالية، الرسملة المستمرة هي نهاية (1+rx)x\left(1 + \frac{r}{x}\right)^{x} عندما يؤول xx إلى اللانهاية، وهي تساوي ere^{r} بحسب درس النهايات الشهيرة. وفي تحليل البيانات بلغة R، تتمايز نماذج النمو بسلوكها عند اللانهاية، وهو السلوك الذي تقارنه مقارنة الدالة الأسية والقوى واللوغاريتم. وفي البرمجة بلغة C++ I، يقرّب التنصيف جذرًا معتمدًا على مبرهنة القيم الوسطى، وتُقاس كلفة الخوارزمية بالترميز O⁡\operatorname{O} لباخمان ولانداو، وتفرض أعداد الفاصلة العائمة التمييز بين النهاية الدقيقة والقيمة المحسوبة، كما في الجدول المضلِّل.

في العلم والتقنية

كل مقدار يتغير بصورة متصلة، كالموضع ودرجة الحرارة والتركيز والجهد الكهربائي، يوصف بدوال متصلة، ومعدلات تغيّره اللحظية نهايات. والتقريبات التي تعمل بها الهندسة والعلوم التجريبية (التخطيط الخطي لظاهرة قرب نقطة توازن، وتعويض sin⁡x\sin x بـ xx في الاهتزازات الصغيرة، وإهمال حد أمام حد آخر أكبر منه بكثير) هي تكافؤات كتلك التي في آخر دروس الوحدة، وتصح بالشروط نفسها. والمقاربات تصف قيمة التشبع لعملية تستقر والنمو بلا حد لعملية لا تستقر. والحساب العددي، الذي يحل في الحاسوب ما ليس له صيغة مغلقة، يقوم على التمييز الذي أبرزه مثال الجدول المضلِّل: فالخوارزمية تنتج تقريبات، ولا يقول مدى اقترابها من القيمة الدقيقة إلا حد أعلى للخطأ مبرهن بالمتباينات.