ملخص
يفتتح هذا الدرس الوحدة المخصّصة للنهايات والاتصال. فهو يعرض مسار الوحدة، الذي ينطلق من تعريف النهاية بإبسيلون ودلتا ويصل، عبر دروس تعيد استخدام البراهين التي سبقت بدلًا من تكرارها، إلى اتصال الدوال الأولية وإلى مقارنة الدوال اللامتناهية في الصغر؛ ويعيد بناء تاريخ مفهوم النهاية، من مفارقات زينون وطريقة الاستنفاد إلى تعريف فايرشتراس، مرورًا بالكميات اللامتناهية في الصغر عند نيوتن ولايبنتس ونقد بيركلي؛ ويصوغ المسألة التي نشأ منها المفهوم، وهي إعطاء معنى لخارج قسمة يصير ، ويفحص لماذا لا تكفي فكرة الاقتراب ولا جدول القيم للحكم على نهاية. ويختم بالإشارة إلى المواضع التي تُستعمل فيها النهايات والاتصال في بقية الدورة، وفي دورات أخرى من الموقع، وفي العلم والتقنية.
أهداف التعلم
- وصف مسار الوحدة وشرح ما يبرهنه كل درس وما يستند إليه من نتائج سابقة.
- شرح لماذا تتطلب السرعة اللحظية والمماس والمساحة مفهوم النهاية، ولماذا لا تكفي الفكرة الحدسية للاقتراب ولا جداول القيم لتعريفه ولا لحسابه.
- وضع مراحل مفهوم النهاية في سياقها التاريخي، من طريقة الاستنفاد إلى التعريف بإبسيلون ودلتا، وتحديد المسألة أو النقد الذي دفع كل مرحلة منها.
- الإشارة إلى المواضع التي تتدخل فيها النهايات والاتصال في بقية الدورة، وفي دورات أخرى، وفي التطبيقات العلمية والتقنية.
تقييم الدخول
قبل اجتياز الوحدة يحسن قياس نقطة البداية. وهذا التقييم الذاتي لا تُمنح عليه درجة: إنما يفيد في معرفة المواضع التي ينبغي التوقف عندها. فالأسئلة العشرة الأولى تتناول، بالترتيب، دروس المحتوى العشرة في الوحدة، سؤالًا لكل درس، وتقيس مهارة في الحساب أو في الاستدلال، لا عبارة تُستظهر؛ وتُقاس المهارات نفسها مرة أخرى في النهاية، في درس الخلاصة، بمعطيات أخرى. أما الأسئلة الستة الأخيرة فتتحقق مما تعدّه هذه الوحدة معلومًا من الجبر والهندسة 1 و2: القيمة المطلقة، والحد الأعلى الأصغر، وتركيب الدوال، وجداول الإشارات، والمتباينة بين الجيب والقوس والظل، والمتباينة الأساسية للدالة الأسية.
قبل أن تبدأ الوحدة، قِس نقطة انطلاقك. إنه تقييم ذاتي قصير: لا يُمنح عليه درجة، وتُحفظ نتيجته في متصفحك فقط.
السؤال 1لبرهان أن يُتلقّى التحدي . ما أكبر يردّ على هذا التحدي؟
جاء الرد بالعدد نفسه الذي في التحدي، لكن الدالة تضرب المسافات في : فمع ، الذي يحقق ، تكون المسافة إلى النهاية ، وهي أكبر من .ضُرب التحدي في بدلًا من قسمته عليه. والرد الأكبر يقبل نقاطًا أكثر، وبعضها يخرج من الشريط: فمع ، تكون المسافة إلى النهاية .الميل السالب لا يغيّر إشارة الرد: فالقيمة المطلقة تحوّل إلى ، والتعريف يشترط .المسافة إلى النهاية هي ، وهي أصغر من تمامًا عندما . وكل موجب أصغر من يردّ أيضًا، ولا يردّ أي عدد أكبر: فالنقطة التي تحقق تقع خارج الشريط.السؤال 2احسب .
ليس قيمة ولا نتيجة: إنه يدل فقط على أن قاعدة خارج القسمة لا تنطبق، لأن نهاية المقام صفر. وقد تكون النهاية موجودة، وهي هنا موجودة.عند حساب قيمة عند نُسي الحد الثاني من المرافق: فالمقام يساوي ، لا .لا يكفي أن يؤول البسط إلى : فالمقام أيضًا يؤول إلى ، وخارج قسمة دالتين تؤولان إلى الصفر قد يؤول إلى أي عدد.من أجل يُضرب البسط والمقام في المرافق ؛ فيصير البسط ، الذي يُختزل، ويبقى . وبقواعد الجذر والمجموع والمقلوب تكون نهايته .راجِع: جبر النهايات
السؤال 3احسب .
عومل العدد كما في ، التي تؤول إلى . أما هنا فالمقام هو ، فيكون العامل ، لا .ينقص العامل : فقرب ، يشبه المقدارَ ، لا .طُبّقت نهاية دون تغيير المتغير: فما داخل جيب التمام هو ، لا .بتغيير المتغير ، الذي لا ينعدم إذا كان ، يكون خارج القسمة ؛ والنهاية مع قاعدة الجداء تعطيان .السؤال 4ماذا يمكن أن يقال عن ؟
حُذفت القيمة المطلقة، وهذا صحيح فقط على يمين . أما على اليسار فإن ، ويغيّر خارج القسمة إشارته.تعريف النهاية لا يفحص القيمة عند النقطة، وكثير من الدوال غير المعرّفة عند نقطة لها نهاية عندها. وهذه النهاية غير موجودة لسبب آخر: النهايتان من جهة واحدة مختلفتان.المقام أيضًا يؤول إلى : فخارج القسمة من الحالة ، التي لا تحسم شيئًا بمفردها.من أجل يساوي خارج القسمة ، الذي يؤول إلى ؛ ومن أجل ، قرب ، يساوي ، الذي يؤول إلى . وبما أن النهايتين من جهة واحدة مختلفتان، فالنهاية غير موجودة.راجِع: النهايات من جهة واحدة
السؤال 5احسب .
كُتب ، وهو خطأ من أجل : فالجذر التربيعي لـ هو . والبسط موجب والمقام سالب، فخارج القسمة سالب.أُخرج العدد من الجذر دون أخذ جذره: ، لا .الجذر يغيّر الدرجة: فـ تنمو مثل ، وهي من الدرجة ، كالمقام.من أجل لدينا ؛ وبقسمة البسط والمقام على يبقى ، الذي يؤول إلى .السؤال 6احسب .
افتُرض أن المقام موجب. على يسار ، وقربه، يكون ، والعدد القريب من مقسومًا على أعداد سالبة تصغر قيمتها المطلقة شيئًا فشيئًا يكون سالبًا وليس له حد أدنى.المطلوب هو النهاية من اليسار فقط، وهي . أما التي ليست ولا فهي النهاية دون تقييد بجهة، لأن خارج القسمة يؤول من اليمين إلى .البسط يؤول إلى ، والمقام يؤول إلى بقيم سالبة، لأن إذا كان . وقاعدة خارج القسمة مع النهايات اللانهائية، مطبّقةً على المقام بعد تغيير إشارته، تعطي .راجِع: النهايات اللانهائية
السؤال 7ما المقارب للتمثيل البياني للدالة عند ؟
الميل صحيح، لكن افتُرض أن يؤول إلى ، كأن الحالة تساوي . وهذا الفرق يؤول إلى .عند حساب الترتيبة عند الأصل عومل المقام كأنه يشبه ؛ وهو يشبه ، وخارج القسمة يؤول إلى .التعريف بالنهايات صالح لأي دالة معرّفة على مجموعة غير محدودة من الأعلى؛ وقسمة كثيرات الحدود ليست إلا طريقة للدوال الكسرية.الميل هو . والترتيبة عند الأصل، بعد الضرب والقسمة على المرافق، هي .السؤال 8الدالة غير معرّفة عند ولا عند . كيف تُصنَّف حالات عدم الاتصال عند هاتين النقطتين؟
لا يكفي انعدام المقام لوجود مقارب: فعند ينعدم البسط أيضًا، ويُختزل العامل ، والنهاية موجودة.عدم الاتصال القفزي يشترط أن تكون النهايتان من جهة واحدة موجودتين عددين. وعند هما و، فعدم الاتصال أساسي.عند ليس للدالة نهاية، فلا توجد قيمة لـ تجعلها متصلة: فقرب ، قيمها غير محدودة.من أجل لدينا . عند النهاية موجودة وتساوي ، فيكفي تعريف . وعند يؤول البسط إلى والمقام إلى ، والنهايتان من جهة واحدة هما من اليمين و من اليسار، وليستا عددين حقيقيين.راجِع: النهاية والاتصال
السؤال 9احسب .
لا تساوي القيمة : إنها حالة عدم تعيين. فالأساس يقترب من بينما يكبر الأس بالقيمة المطلقة، والنتيجة تتوقف على كيفية تعادلهما.استُعمل العدد من الأساس وحده: فالذي يحسم النهاية هو الجداء .العدد الأكبر من المرفوع إلى أس يكبر لا يؤول بالضرورة إلى اللانهاية إذا كان الأساس يؤول إلى . ثم إنه من أجل يكون الأساس أصغر من والأس يؤول إلى .إنها الحالة : فالأساس يؤول إلى ، والأس مضروبًا في الأساس ناقص واحد يساوي لكل . وبالمبرهنة الخاصة بهذه الحالة تكون النهاية .السؤال 10احسب .
استُبدل كل عامل بـ أو بـ دون معاملاته: فـ تكافئ ، لا ، و تكافئ .الجدول صالح مع أي دالة تؤول إلى توضع مكان ، بمبرهنة التركيب: فبما أن من أجل ، فإن .كون البسط جداءً لدالتين لامتناهيتين في الصغر لا يجعله مهملًا: فالمقام أيضًا من الرتبة ، وخارج القسمة يؤول إلى عدد غير الصفر.بجدول المتكافئات وبالتركيب، و و. وبمبرهنة الاستبدال، النهاية هي نهاية .السؤال 11من وحدات سابقةما مجموعة الأعداد الحقيقية التي تحقق ؟
نُسيت المتباينة الأولى: تعني ، فالمركز لا ينتمي إلى المجموعة.قُرئت على أنها المسافة من إلى ؛ وهي المسافة إلى .هذه مجموعة قيم التي تحقق : فقد عُكست المتباينة.الشرط يعطي الفترة المفتوحة التي مركزها ونصف قطرها ، والشرط يستبعد مركزها. إنه الجوار المثقوب الذي يظهر في تعريف النهاية.السؤال 12من وحدات سابقةما الحد الأعلى الأصغر للمجموعة ؟
التبس الحد الأعلى الأصغر بالعنصر الأكبر. فالمجموعة ليس لها عنصر أكبر، لكنها محدودة من الأعلى، وبمسلّمة التمام لها حد أعلى أصغر.قد تكون المجموعة اللانهائية محدودة: فجميع هذه العناصر أصغر من .هذه الأعداد هي الحدود العليا؛ والحد الأعلى الأصغر هو أصغرها، وهو وحيد.كل عنصر أصغر من ، فيكون حدًّا أعلى؛ ولا يكون أي عدد أصغر من حدًّا أعلى، لأن الفرق يصير أصغر من أي عدد موجب. والحد الأعلى الأصغر هو أصغر حد أعلى، ولا يلزم أن ينتمي إلى المجموعة.راجِع: المجموعات العددية: من الأعداد الطبيعية إلى الأعداد المركبة
السؤال 13من وحدات سابقةإذا كان و، فما مجال تعريف ؟
عُكست إشارة كثيرة الحدود من الدرجة الثانية: فـ سالبة بين جذريها وموجبة خارجهما.هذا مجال تعريف ، لا مجال تعريف التركيب: ففي يُطبَّق الجذر على ، لا على .هذا مجال تعريف ؛ وينقص اشتراط ألا تكون سالبة.مجال تعريف التركيب مكوّن من قيم في مجال تعريف التي تنتمي قيمتها إلى مجال تعريف ، أي من التي تحقق .راجِع: العمليات على الدوال والدالة العكسية وتحويلات التمثيل البياني
السؤال 14من وحدات سابقةما مجموعة حلول ؟
حُلّت وحدها، كأن المقام موجب؛ لكن سالب على ويغيّر هناك إشارة خارج القسمة.هذه هي المجموعة التي يكون فيها خارج القسمة سالبًا: فقد عُكست إشارات الجدول.عند يساوي خارج القسمة ، وهو ليس أكبر من : فالمتباينة الصارمة تستبعد أصفار البسط.النقاط الحرجة هي و و. وجدول إشارات و و يعطي خارج القسمة الإشارة السالبة على ، والموجبة على ، والسالبة على ، والموجبة على .راجِع: جداول الإشارات والمتراجحات
السؤال 15من وحدات سابقةإذا كان ، مع قياس بالراديان، فأي متباينة مزدوجة تتحقق؟
الجيب هو ترتيبة نقطة من القوس، ولا يتجاوز طول القوس: مثلًا، .الظل يتجاوز القوس: مثلًا، .من أجل يقع جيب التمام بين و، فيكون أكبر من ، لا أصغر.في دائرة الوحدة، يحتوي القطاع الذي زاويته مثلثًا مساحته ويحتويه مثلث آخر مساحته ؛ أما مساحته هو فهي .السؤال 16من وحدات سابقةالمتباينة الأساسية صحيحة لكل عدد حقيقي . أيّ هذه العبارات يُستنتج منها؟
عُكست المتباينة عند التعويض: فمع كانت ستقول ، لكن .عند تعويض بـ يجب أن يتم ذلك في الطرفين، فنحصل على . ومع كانت العبارة المقترحة ستقول .المتباينة الأساسية صحيحة لكل عدد حقيقي، وللأعداد السالبة أيضًا: فمع ، يكون أكبر من .مع ، تقول المتباينة .
محتويات الوحدة
في الجبر والهندسة 1، استعمل الدرس المخصّص لـالدوال الكسرية المقاربات العمودية والمقاربات عند اللانهاية، واتصال تلك الدوال، ومبرهنة القيم الوسطى، على أنها حقائق مسلَّم بها، دون برهان، لأنها كانت تتطلب تعريفًا للنهاية لم يكن متاحًا بعد؛ وسلّمت الجبر والهندسة 2 بالطريقة نفسها باتصال الدوال المثلثية ودوالها العكسية. وهذه الوحدة تقدّم ذلك التعريف وتبرهن، واحدة واحدة، الحقائق المسلَّم بها، ما عدا مبرهنة القيم الوسطى، التي ستُبرهن في الوحدة اللاحقة. وقد رُتّبت البراهين بحيث يُعاد استخدامها: قليل منها يُنجز بإبسيلون ودلتا، والباقي يستشهد بالنتائج التي سبقت بدلًا من تكرار الحجة. وتأتي الدروس على هذا الترتيب:
- يحوّل درس نهاية الدالة فكرة الاقتراب إلى التعريف بإبسيلون ودلتا، ويحدّد بنقاط التراكم أين يكون له معنى، ويكتب التعريف ونفيه عبارتين مكمّمتين، ويبرهن أن النهاية وحيدة، وأنها لا تتوقف إلا على القيم القريبة، وأنها تُلزم الدالة بأن تبقى محدودة وأن تحافظ على إشارتها قرب النقطة.
- يردّ درس جبر النهايات قواعد الحساب إلى ثلاث توطئات مبرهنة بإبسيلون ودلتا، أهمها معيار الحد الأعلى، ويستنتج منها، بتوطئة مفادها أن تقييد مجال التعريف لا يُفقد النهاية، نهايات المجموع والجداء والمقلوب وخارج القسمة، ونهايات كثيرات الحدود والدوال الكسرية والجذور والقوى ذات الأس النسبي، ومبرهنة نهاية التركيب، التي تسوّغ تغيير المتغير.
- يبرهن درس مبرهنة الحصر، بمعيار الحد الأعلى، أن النهايات تحفظ المتباينات غير الصارمة، ثم المبرهنة نفسها ونهاية جداء دالة محدودة في دالة أخرى تؤول إلى الصفر؛ وبها يحصل على نهايتي الجيب وجيب التمام وعلى النهاية الأساسية ، التي تُستنتج منها سائر النهايات المثلثية.
- يعرّف درس النهايات من جهة واحدة هذه النهايات بوصفها نهايات للمقصور، فترث جميع المبرهنات التي سبقت؛ ويبرهن أن النهاية موجودة إذا وفقط إذا وُجدت النهايتان من جهة واحدة وتساوتا، وأن الدالة الرتيبة المحدودة لها نهاية من جهة واحدة تساوي الحد الأعلى الأصغر أو الحد الأدنى الأعظم لقيمها، وهي أول مبرهنة تضمن وجود نهاية دون معرفة قيمتها.
- يعرّف درس النهايات عندما يؤول المتغير إلى اللانهاية النهاية عندما يتزايد المتغير بلا حد، ويبرهن، بتوطئة التعاكس، أنها تكافئ نهاية من جهة واحدة عند ، فتصح جميع المبرهنات التي سبقت عند اللانهاية أيضًا؛ وبها يحسب نهايات القوى والدوال الكسرية.
- يردّ درس النهايات اللانهائية هذه النهايات، بتوطئة المقلوب، إلى نهايات تساوي الصفر؛ ومن ذلك ومن المقارنة تخرج قواعد المجموع والجداء وخارج القسمة، ويبيّن الدرس أن حالات عدم التعيين قد تعطي أي نتيجة، ويبرهن مبرهنة الدوال الرتيبة غير المحدودة ومبرهنة التركيب مع النهايات اللانهائية.
- يعرّف درس الخطوط المقاربة المقاربات بالنهايات من جهة واحدة، وعند اللانهاية، واللانهائية؛ ويبرهن صيغتي الميل والترتيبة عند الأصل للمقارب المائل، ووحدانية المقارب غير العمودي عند كل طرف، والحقائق المسلَّم بها في الجبر والهندسة عن الدوال الكسرية، ويقترح طريقة لتمثيل الدوال بيانيًّا دون مشتقات.
- يعرّف درس الاتصال الاتصال بالتحدي والرد المعهودين، دون استبعاد النقطة؛ ويبرهن أنه، عند نقطة تراكم، يكافئ أن تكون النهاية موجودة ومساوية للقيمة، ويصنّف حالات عدم الاتصال إلى قابلة للإزالة وقفزية وأساسية، ويرث من جبر النهايات اتصال العمليات، ويبرهن أن تركيب الدوال المتصلة متصل، فتدخل النهاية في الدالة المتصلة.
- يُثبت درس اتصال الدوال الأولية أن هذه الدوال متصلة بحجة واحدة، هي أن الدالة الرتيبة التي صورتها فترة لا يمكن أن تقفز؛ وبهذا الاتصال وبالمتباينة الأساسية للدالة الأسية، يبرهن الدرس النهايات الشهيرة للدالة الأسية واللوغاريتم، ويحصل على العدد بوصفه نهاية، ويحل الحالة ، ويقارن الدالة الأسية والقوى واللوغاريتم عند اللانهاية.
- يقارن درس الدوال المتكافئة اللامتناهية في الصغر وفي الكبر هذه الدوال بـ الصغيرة، و الكبيرة، والرتبة نفسها، والتكافؤ؛ ويبرهن أنه، في جداء أو خارج قسمة، يمكن استبدال كل عامل بعامل مكافئ له، لا في مجموع، إلا إذا كانت مكافئات حدود المجموع من الإشارة نفسها، ويجمع نهايات الدروس التي سبقت في جدول للمتكافئات عند الصفر.
وتُختتم الوحدة بدرس الخلاصة والتحديات، الذي يجمع ما تحقق في سلسلة استنتاجية، ويعيد في تقييم الخروج الخاص به مهارات تقييم الدخول، ويقترح عشر مسائل أشد صعوبة.
الخلفية التاريخية
ولا يتطابق الترتيب المنطقي للوحدة مع الترتيب التاريخي كذلك. فطوال أكثر من قرن مورس حساب التفاضل والتكامل بنجاح دون تعريف للنهاية؛ وعُرّف الاتصال تعريفًا دقيقًا قبل النهاية بصورتها الحالية، وجاء التعريف بإبسيلون ودلتا في نهاية المسار، حين كان حساب التفاضل والتكامل قد حلّ المسائل التي نشأ من أجلها. ويحسن تتبّع هذا التاريخ، لأن الاعتراضات التي كان عليه أن يتغلب عليها هي نفسها التي يثيرها الطالب عادة.
اللانهاية عند الإغريق
اقترح زينون الإيلي، الذي عاش بين سنتي 490 و425 قبل الميلاد تقريبًا، حججًا ضد إمكان الحركة تُعرف خصوصًا من كتاب الطبيعة لأرسطو. وتقول حجة التنصيف إنه لقطع طريق يجب أولًا بلوغ منتصفه، وقبل ذلك منتصف نصفه، وهكذا بلا نهاية، فلا يمكن للحركة أن تبدأ. وتطرح المفارقة، دون أن تحلّها، مسألة ما إذا كان يمكن لمقادير لا نهائية العدد أن يكون مجموعها مقدارًا منتهيًا، مثل .
وقد تجنّب الرياضيون الإغريق هذه المسألة بطريقة الاستنفاد، التي أعطاها يودوكسوس الكنيدي صيغة دقيقة نحو سنة 370 قبل الميلاد: لبرهان أن مساحة ما تساوي مقدارًا معيّنًا، تُرسم داخل الشكل مضلعات يمكن جعل الفرق بينها وبينه أصغر من أي مقدار معطى، ويُبرهن بالخلف أن المساحة لا يمكن أن تكون أكبر من ذلك المقدار ولا أصغر منه. ونحو سنة 225 قبل الميلاد برهن أرشميدس بهذه الطريقة أن مساحة القطعة المكافئية تساوي من مساحة المثلث المرسوم داخلها الذي له القاعدة نفسها والرأس نفسه، بجمع المثلثات التي تضاف في كل مرحلة، والتي تكوّن مساحاتها المتتالية . ومخطط الحجة، أي مقدار يمكن جعله أصغر من أي مقدار معطى، هو بالفعل مخطط التحدي والرد.
الكميات اللامتناهية في الصغر عند نيوتن ولايبنتس
في القرن السابع عشر، نالت مسألة المماسات ومسألة المساحات طريقة عامة. فقد كتب إسحاق نيوتن في أكتوبر 1666 رسالة عن التدفقات لم ينشرها، وفي سنة 1671 كتابه طريقة التدفقات والمتسلسلات اللانهائية، الذي لم يُنشر إلا سنة 1736. وأدخل غوتفريد فيلهلم لايبنتس رمز التكامل في مخطوطة مؤرخة في 29 أكتوبر 1675، وفي 21 نوفمبر كتب لأول مرة تكاملًا بالرمز والتفاضل، ونشر حسابه التفاضلي سنة 1684 في مجلة Acta Eruditorum في لايبزيغ، بعنوان Nova methodus pro maximis et minimis، وحسابه التكاملي في المجلة نفسها سنة 1686. وكان كلاهما يحسب بتزايدات تُعامل على أنها غير الصفر لتمكن القسمة عليها، وعلى أنها صفر لإهمالها في النهاية.
في سنة 1734، نشر جورج بيركلي المحلِّل، وهو نقد لأسس حساب نيوتن. فقد ذهب إلى أن التزايدات المتلاشية ليست كميات منتهية، ولا كميات لامتناهية في الصغر، ولا لا شيء، وأن الحساب يغيّر الفرض في منتصف الاستدلال، وسأل ألا يمكن تسميتها أشباح الكميات الراحلة. كانت النتائج صحيحة؛ والذي أظهره بيركلي هو أن الاستدلال الذي يسوّغها لم يكن كذلك. والمثال الآتي يعيد الحساب الذي كان ينتقده ويبيّن كيف يحلّه تعريف النهاية.
لنعتبر ميل المماس للقطع المكافئ عند النقطة . يرسم الشكل القواطع التي تصل هذه النقطة بنقطة أخرى من القطع المكافئ تزداد قربًا منها، ثم خارج القسمة بوصفه دالة في التزايد، مع الثغرة التي يتركها عند .
البرهان
القاطع الذي يصل بالنقطة التي فاصلتها ، مع ، ميله هو نسبة التزايد.
من أجل يساوي البسط ، ويُختزل العامل . وكلما صغر قلّ ميل القواطع.
هنا يكمن اعتراض بيركلي: إذا كان فخارج القسمة ولا يمكن اختزاله؛ وإذا كان فالنتيجة ليست . وكان حساب الكميات اللامتناهية في الصغر يستعمل للقسمة و لإهمال الحد .
تعريف النهاية يزيل الاعتراض: فهو لا يفحص ولا يشترط أن تساوي القيمة ، بل أن تكون قريبة من بالقدر الذي نريد. ويُردّ على التحدي بـ .
إذن النهاية هي ، ميل المماس، ولا يلزم أن تكون أي كمية صفرًا وغير صفر في آن واحد. والمستقيم الذي ميله ويمر بـ هو المماس.
النهاية أساسًا
وظل المخرج الذي أشار إليه المثال يشق طريقه طوال قرن. فقد اقترح جان لو رون دالمبير، في مقالة «التفاضل» من المجلد الرابع من الموسوعة، المكتوبة سنة 1754، أن يُبنى الحساب على نظرية النهايات، وعرّف المشتقة بأنها نهاية نسبة تزايدات. وفي سنة 1817 نشر برنارد بولزانو برهانًا تحليليًّا خالصًا لمبرهنة القيم الوسطى، بهدف معلن هو تحرير الحساب من مفهوم الكمية اللامتناهية في الصغر، واستعمل فيه مفهومًا للاتصال قريبًا جدًا من المفهوم الحالي؛ وبقي عمله قليل الشهرة في حياته. وفي سنة 1821 نشر أوغستان لويس كوشي كتابه دروس في التحليل، الذي كُتب لطلاب مدرسة البوليتكنيك في باريس، ووضع النهايات في أساس الحساب، وعرّف الدالة المتصلة بأنها التي يُحدث فيها تزايد لامتناهٍ في الصغر للمتغير تزايدًا لامتناهيًا في الصغر للدالة.
وفي الوقت نفسه كان مفهوم الدالة يتغير. فالدالة عند أويلر، سنة 1748، كانت عبارة تحليلية؛ وقبل بيتر غوستاف لوجون ديريشليه سنة 1837 مفهومًا أوسع بكثير، يمكن فيه أن تتعاقب القيم على أي نحو، وإليه يُنسب مثال الدالة التي تساوي على الأعداد النسبية و على غير النسبية، وهي غير متصلة عند كل النقاط. ومع دوال بهذه العمومية لم يعد الحدس الهندسي دليلًا مأمونًا، وصار على التعريفات ألا تتحدث إلا عن الأعداد والمتباينات.
تعريف فايرشتراس
تناول كارل فايرشتراس، الأستاذ في جامعة برلين منذ 1856، أسس التحليل لأول مرة في مقرره التمهيدي في التحليل سنتي 1859 و1860. وفي محاضراته، المعروفة خصوصًا من خلال مذكرات طلابه، كُتب تعريف النهاية والاتصال بإبسيلون ودلتا، بالصورة التي تستعملها هذه الدورة: دون حركة، ودون كميات لامتناهية في الصغر، بوصفه عبارة مكمّمة عن الأعداد الحقيقية. وفي سنة 1872، وهي السنة نفسها التي نشر فيها ريتشارد ديديكند وغيورغ كانتور إنشاءيهما للأعداد الحقيقية، اللذين يبرهنان التمام، قدّم فايرشتراس إلى أكاديمية برلين للعلوم دالة متصلة ليس لها مشتقة عند أي نقطة، دليلًا على أن حدس المنحنى المتصل لا يكفي للاستدلال عليه.
والترميز الذي يقارن به آخر دروس الوحدة الدوال لاحق لذلك. فقد أدخل باول باخمان الرمز سنة 1894، في Die analytische Zahlentheorie، المجلد الثاني من مؤلَّفه في نظرية الأعداد، وأدخل إدموند لانداو، الذي تبنّاه، الرمز سنة 1909، في مؤلَّفه عن توزيع الأعداد الأولية.
المسألة التي نشأ منها المفهوم
قادت ثلاث مسائل قديمة إلى حساب التفاضل والتكامل، وللمسائل الثلاث البنية نفسها. فسرعة متحرك في لحظة ينبغي أن تكون خارج قسمة المسافة المقطوعة على الزمن المستغرق حين يكون الزمن المستغرق صفرًا؛ وميل المماس لمنحنى ينبغي أن يكون ميل قاطع تنطبق نقطتاه؛ ومساحة شكل منحنٍ ينبغي أن تكون مجموع عدد لا نهائي من المستطيلات عرضها صفر. وفي الحالات الثلاث يعطي التعويض المباشر أو مجموعًا لا معنى له، والنتيجة الصحيحة هي ما تقترب منه التقريبات. والمسألتان الأوليان تقودان إلى المشتقة، التي هي موضوع الوحدة اللاحقة؛ والثالثة إلى التكامل، الذي يُدرس في التفاضل والتكامل 2.
غير أن «ما تقترب منه» ليس تعريفًا بعد، لثلاثة أسباب. الأول أن الاقتراب لا يكفي: فدرس نهاية الدوال لمتغير حقيقي واحد يبيّن أن قيم تقترب من عندما ينتقل من إلى ، مع أن النهاية . والثاني أن الجدول يفحص عددًا منتهيًا من النقاط: فالدرس نفسه يبيّن أن تساوي عند جميع النقاط التي على الصورة ومع ذلك ليس لها نهاية عند . والثالث أن قيم الجدول قد تكون محسوبة خطأً، كما يبيّن المثال الآتي.
لنعتبر الدالة ، المعرّفة من أجل . يرسم الشكل تمثيلها البياني، مع الثغرة عند ، وقيم جدول، والقيمة التي يعطيها حاسوب قريبًا جدًا من ؛ ثم الحد الأعلى الذي يحسم النهاية.
البرهان
القيم عند و و تبدو مقتربة من ، أي من .
لكن عند ، يحصل برنامج يحسب بالفاصلة العائمة المعتادة ذات الدقة المضاعفة على : فالمجموع يُقرَّب إلى ، وطرح البسط يعطي تمامًا. والجدول وحده لا يحسم بين و.
من أجل ، نضرب ونقسم على المرافق ؛ فيصير البسط ، الذي يُختزل.
تُكتب المسافة إلى بالمرافق نفسه، وتُحدّ من الأعلى لأن ، فيكون مربع على الأقل .
يُردّ على التحدي بـ ، والنهاية هي . والصفر الذي يعطيه الحاسوب خطأ تقريب: فالحد الأعلى يضمن أن يبعد عن أقل من .
يجيب تعريف النهاية عن الاعتراضات الثلاثة: فهو يتحدث عن جميع النقاط القريبة دفعة واحدة، ويحدّد بالأعداد معنى «قريبًا بالقدر الذي نريد»، ويُبرهن بالمتباينات، لا بحسابات تقريبية. لكن للمسألة وجهًا آخر، لا يتعلق بالحساب بل بالوجود. فكثير من نهايات الوحدة يُبرهن بعد معرفة قيمتها أو تخمينها؛ أما غيرها فموجود دون أن نعرف كيف نحسبه، ووجوده يستند إلى تمام الأعداد الحقيقية. فمبرهنة الدوال الرتيبة في درس النهايات من جهة واحدة تعطي النهاية حدًّا أعلى أصغر، وعليها يتوقف اتصال الدالة الأسية واللوغاريتم وسائر الدوال الأولية. ودرس النهاية والاتصال يبرهن أن الدالة المتصلة والموجبة عند نقطة تكون موجبة أيضًا عند نقاط مجال تعريفها القريبة منها، وحفظ الإشارة هذا، مع التمام، سيعطي في الوحدة اللاحقة مبرهنة القيم الوسطى. ودون التمام لا يصح شيء من هذا: فالدالة ، إذا اعتُبرت على الأعداد النسبية وحدها، تنتقل من قيم سالبة إلى قيم موجبة دون أن تنعدم أبدًا.
أهمية النهايات والاتصال
في بقية الدورة
تقوم الدورة كلها على هذه الوحدة. فالوحدة اللاحقة، المخصّصة للمشتقات، تعرّف في أول دروسها المشتقة بوصفها نهاية لدالة، أي نسبة التزايد في مثال بيركلي، وتستخرج قواعد الاشتقاق من جبر النهايات؛ ومشتقات الجيب والدالة الأسية واللوغاريتم، في درس مشتقات الدوال الأولية، هي النهايات الشهيرة في هذه الوحدة؛ وقاعدة السلسلة تستند إلى تركيب الدوال المتصلة؛ ومبرهنة القيم الوسطى تُبرهن بحفظ الإشارة والتمام، وتسوّغ طريقة التنصيف؛ ومشتقة الدالة العكسية، في الدرس المخصّص لمشتقة الدالة العكسية والاشتقاق الضمني، تتطلب اتصال الدالة العكسية. والوحدة الثالثة، المخصّصة لتطبيقات المشتقات، تبدأ بـمبرهنة فايرشتراس، التي تنص على أن الدالة المتصلة على فترة مغلقة ومحدودة تبلغ قيمتها العظمى وقيمتها الصغرى، وعليها تستند مبرهنة رول ومبرهنة التزايدات المنتهية، والبحث عن القيم العظمى والصغرى، ومسائل الأمثلة. وقاعدة لوبيتال تحل حالات عدم التعيين التي لا تعرف هذه الوحدة إلا التعرف عليها، وطريقة نيوتن-رافسون، التي تختم الدورة، تبرهن تقاربها بالتقعر نحو الأعلى وبالحد الأعلى الأصغر.
في دورات أخرى
في التفاضل والتكامل 2، يُعرَّف التكامل بأنه نهاية مجاميع مساحات مستطيلات، وهي مسألة أرشميدس؛ والمتتاليات والمتسلسلات، التي لا تدرسها هذه الدورة، تُعالج بتعريفات من النوع نفسه، وكثيرة حدود تايلور تقيس خطأها بـ الكبيرة من آخر دروس الوحدة. وفي التفاضل والتكامل 3، ينتقل التعريف بإبسيلون ودلتا إلى الدوال متعددة المتغيرات، بمسافة المستوى بدلًا من القيمة المطلقة، وقد تتوقف النهاية على الطريق الذي يُبلغ به النقطة. وفي أساسيات الميكانيكا، السرعة والتسارع اللحظيان نهايتان لنسب تزايدات. وفي الرياضيات المالية، الرسملة المستمرة هي نهاية عندما يؤول إلى اللانهاية، وهي تساوي بحسب درس النهايات الشهيرة. وفي تحليل البيانات بلغة R، تتمايز نماذج النمو بسلوكها عند اللانهاية، وهو السلوك الذي تقارنه مقارنة الدالة الأسية والقوى واللوغاريتم. وفي البرمجة بلغة C++ I، يقرّب التنصيف جذرًا معتمدًا على مبرهنة القيم الوسطى، وتُقاس كلفة الخوارزمية بالترميز لباخمان ولانداو، وتفرض أعداد الفاصلة العائمة التمييز بين النهاية الدقيقة والقيمة المحسوبة، كما في الجدول المضلِّل.
في العلم والتقنية
كل مقدار يتغير بصورة متصلة، كالموضع ودرجة الحرارة والتركيز والجهد الكهربائي، يوصف بدوال متصلة، ومعدلات تغيّره اللحظية نهايات. والتقريبات التي تعمل بها الهندسة والعلوم التجريبية (التخطيط الخطي لظاهرة قرب نقطة توازن، وتعويض بـ في الاهتزازات الصغيرة، وإهمال حد أمام حد آخر أكبر منه بكثير) هي تكافؤات كتلك التي في آخر دروس الوحدة، وتصح بالشروط نفسها. والمقاربات تصف قيمة التشبع لعملية تستقر والنمو بلا حد لعملية لا تستقر. والحساب العددي، الذي يحل في الحاسوب ما ليس له صيغة مغلقة، يقوم على التمييز الذي أبرزه مثال الجدول المضلِّل: فالخوارزمية تنتج تقريبات، ولا يقول مدى اقترابها من القيمة الدقيقة إلا حد أعلى للخطأ مبرهن بالمتباينات.