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

النهايات والاتصال: الخلاصة والتحديات

ملخص

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

أهداف التعلم

  1. عرض التعريفات والمبرهنات الرئيسية في الوحدة بترتيبها المنطقي، مع بيان النتائج المتقدّمة التي يعتمد عليها كلٌّ منها، والحجج بإبسيلون ودلتا التي يُعاد استعمالها.
  2. التمييز بين ما تقبله الوحدة دون برهان وما تبرهنه، وتعرّف فرضيات كل نتيجة، مثل فرضية نهاية التركيب أو فرضية استبدال المتكافئات.
  3. ربط نتائج الوحدة بالجبر والهندسة 1 و2 وبدراسة المشتقات وتطبيقاتها.
  4. حل مسائل غير مألوفة تجمع بين جبر النهايات، والنهايات من جهة واحدة، والنهايات عند اللانهاية والنهايات اللانهائية، والمقاربات، والاتصال، والنهايات الشهيرة، واللامتناهيات في الصغر المتكافئة.

ما حقّقته الوحدة

انطلقت الوحدة من سؤال ومن مطلب. السؤال: ما معنى أن تقترب قيم دالة من عدد حين يقترب المتغير من نقطة. والمطلب: أن يتيح الجواب البرهان لا الحساب وحده، وأن تُجرى كل حجة بإبسيلون ودلتا مرة واحدة ثم يُعاد استعمالها. وكان الجواب تعريفًا واحدًا، صيغ في الدرس الخاص بـنهاية الدوال لمتغير حقيقي واحد: إذا كانت aa نقطة تراكم للمجال AA للدالة ff، فإن القول إن نهاية ff عند aa هي LL يعني ما يلي.

(∀ε>0)(∃δ>0)(∀x∈A)(0<∣x−a∣<δ→∣f(x)−L∣<ε)(\forall \varepsilon > 0)(\exists \delta > 0)(\forall x \in A)\left(0 < \abs{x - a} < \delta \rightarrow \abs{f(x) - L} < \varepsilon\right)

وكل ما عدا ذلك استُخرج منه بالردّ: قواعد الحساب إلى متباينة، والنهايات من جهة واحدة إلى نهايات المقصورات، والنهايات عند اللانهاية إلى نهايات من جهة واحدة عند الصفر، والنهايات اللانهائية إلى نهايات منعدمة للمقلوبات، والاتصال إلى نهاية تساوي القيمة.

تعريف النهاية وجبرها

قرأ الدرس الأول التعريف لعبةَ تحدٍّ وردّ، وكتبه عبارةً مكمّمة، واستخرج نفيه مكمّمًا بعد مكمّم. وبمطلب أن تكون aa نقطة تراكم للمجال برهن وحدانية النهاية؛ وبتحدّيات مختارة سلفًا برهن أن النهاية لا تتوقف إلا على القيم القريبة من النقطة، وأنها تُلزم الدالة بأن تبقى محدودة قربها، وأنها إن لم تكن صفرًا فرضت عليها إشارتها. ورتّب الدرس الخاص بـجبر النهايات البراهين ليُعاد استعمالها: ثلاث توطئات، مبرهنة بإبسيلون ودلتا، تُثبت أن كل دالة FF تحقق قرب aa حدًّا أعلى من الشكل ∣F(x)−K∣≤C(∣f(x)−L∣+∣g(x)−M∣)\abs{F(x) - K} \leq C\left(\abs{f(x) - L} + \abs{g(x) - M}\right) تؤول إلى KK، ورُدّت كل قاعدة إلى إيجاد ذلك الحد: فقاعدة التركيب الخطي تأتي من المتباينة المثلثية، وقاعدة الجداء من المحدودية المحلية، وقاعدة المقلوب من حفظ الإشارة، مع توطئة تضمن أن قصر المجال لا يُضيع النهاية. ومن ذلك لزم التعويض المباشر في كثيرات الحدود والدوال الكسرية، ونهايات الجذور والقوى ذات الأسس النسبية، ومبرهنة التركيب، التي تسوّغ تغيير المتغير بفرضية يبيّن مثال مضاد أنها لازمة: ألا تأخذ الدالة الداخلية قيمة نهايتها قرب النقطة. وبرهن الدرس الخاص بـمبرهنة الحصر أن النهايات تحفظ المتباينات غير الصارمة، وأن الدالة المحصورة بين دالتين تؤولان إلى العدد نفسه تؤول إليه أيضًا، وأن جداء دالة محدودة في دالة تؤول إلى الصفر يؤول إلى الصفر؛ وبالحد الأعلى ∣sin⁡x−sin⁡a∣≤∣x−a∣\abs{\sin x - \sin a} \leq \abs{x - a} وبمتباينة الجيب والقوس والظل حصل على النهاية الأساسية sin⁡xx→1\frac{\sin x}{x} \to 1 ونتائجها.

الجهتان واللانهاية والمقاربات

عرّف الدرس الخاص بـالنهايات من جهة واحدة هذه النهايات بأنها نهايات مقصور الدالة على جهة من النقطة. وقد وفّر هذا القرار كل العمل الباقي: فالمبرهنات التي سبقت تصحّ لها دون برهان جديد، والنهاية موجودة إذا وفقط إذا وُجدت النهايتان من جهة واحدة وتساوتا. وبرهن الدرس نفسه، لأول مرة دون حساب القيمة، أن نهايةً ما موجودة: فالدالة المتزايدة والمحدودة من الأعلى على فترة تؤول، عند طرفها الأيمن، إلى الحد الأعلى الأصغر لقيمها، ويضمن ذلك التمام. وردّ الدرس الخاص بـالنهايات عندما يؤول المتغير إلى اللانهاية كلًّا منها، بتوطئة التعاكس، إلى نهاية من جهة واحدة عند الصفر، وحصل بذلك على سلوك الدوال الكسرية بعيدًا عن الأصل. وأتمّ الدرس الخاص بـالنهايات اللانهائية هذا البناء بالحالة التي تتزايد فيها القيم بلا حد: فتوطئة المقلوب تترجمها إلى نهايات منعدمة، بحيث إن القواعد التي تُلخَّص في «∞+c=∞\infty + c = \infty» أو «c⋅∞=∞c \cdot \infty = \infty» مبرهناتٌ ذات فرضيات، وحالات عدم التعيين الأربع تنبيهات لا نتائج. وأخيرًا عرّف الدرس الخاص بـالخطوط المقاربة المقاربات بالنهايات، ووجد ميل المقارب غير العمودي وترتيبته عند الأصل نهايتين، ومن ثم لا يوجد عند كل طرف إلا مقارب واحد على الأكثر، وبرهن المقاربات العمودية للدوال الكسرية، ونظّم الرسم التقريبي للتمثيل البياني دون مشتقات؛ وبيّن أيضًا أن المنحنى قد يقطع مقاربه.

الاتصال ومقارنة الدوال

عرّف الدرس الخاص بـالنهاية والاتصال الاتصال عند نقطة من المجال، وبرهن أنه عند نقطة تراكم يكافئ أن تكون النهاية هي القيمة، وصنّف حالات عدم الاتصال إلى قابلة للإزالة وقفزية وأساسية. وأعطت قواعد جبر النهايات اتصال العمليات، وتبيّن أن تركيب الدوال المتصلة متصل دون الفرضية التي كانت تشترطها مبرهنة نهاية التركيب؛ ومن ذلك يلزم أن النهاية تدخل في الدالة المتصلة. وبرهن الدرس الخاص بـاتصال الدوال الأولية بحجة واحدة، هي حجة الدوال الرتيبة التي صورتها فترة، اتصالَ الدالة الأسية واللوغاريتم والقوى ذات الأسس الحقيقية والدوال المثلثية العكسية؛ وبه وبالمتباينة ex≥1+xe^x \geq 1 + x حصل على النهايات الشهيرة، والعدد ee كنهاية، والحالة 1∞1^\infty، وقارن الدالة الأسية والقوى واللوغاريتم عند اللانهاية. وقرأ الدرس الخاص بـالدوال المتكافئة اللامتناهية في الصغر وفي الكبر كل تلك النهايات مقارناتٍ بين الدوال: فعرّف o⁡\operatorname{o} الصغيرة وO⁡\operatorname{O} الكبيرة والتكافؤ، وبرهن أن كل عامل في جداء أو خارج قسمة يمكن استبداله بعامل يكافئه، وجمع النهايات التي سبقت في جدول للمتكافئات عند الصفر.

ما يُقبل وما يُبرهن وما يبقى

يمكن تلخيص حصيلة الوحدة على النحو الآتي:

  • تُقبل مسلّمة واحدة: مسلّمة التمام، مع مسلّمات الحقل والترتيب، ومفادها أن كل مجموعة غير خالية من الأعداد الحقيقية محدودة من الأعلى لها حد أعلى أصغر. وتُستعمل فضلًا عن ذلك نتائج مبرهنة في الجبر والهندسة: متباينة الجيب والقوس والظل، وصيغ تحويل المجموع إلى جداء، والمتباينة ex≥1+xe^x \geq 1 + x، ورتابة الدالة الأسية، ومبرهنة العامل.
  • تُبرهن حقائق كان الجبر والهندسة قد قبلها دون برهان: المقاربات العمودية والمقاربات عند اللانهاية للدوال الكسرية، واتصال الدوال الكسرية والمثلثية والمثلثية العكسية.
  • يُعاد استعمال خمس أدوات بدلًا من تكرار الحجج: توطئات الحد الأعلى الثلاث، وحفظ الإشارة، وقصر المجال (ولا سيما على جهة من النقطة)، والتعاكس، والمقلوب.
  • يُرجأ ما يتطلب أكثر من النهايات: مبرهنة القيم الوسطى والمشتقات، في الوحدة اللاحقة؛ ومبرهنة فايرشتراس وقاعدة لوبيتال، في الوحدة الثالثة؛ وكثيرة حدود تايلور، في التفاضل والتكامل 2.

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

دعامات السلسلة

  • Aمسلّمات الأعداد الحقيقية. يُقبل، منذ الجبر والهندسة 1، أن الأعداد الحقيقية تكوّن حقلًا مرتبًا تامًّا: فالجمع والضرب يحققان مسلّمات الحقل، والترتيب يحقق التثليث ويتوافق مع العمليات، وكل مجموعة غير خالية من الأعداد الحقيقية محدودة من الأعلى لها حد أعلى أصغر. يُقبل دون برهان في هذه الوحدة.
  • Bإرث الجبر والهندسة. نتائج مبرهنة في الجبر والهندسة 1 و2: تحليل un−vnu^n - v^n والقوة ذات الأس النسبي، و∣sin⁡x∣≤∣x∣\abs{\sin x} \leq \abs{x} وsin⁡x<x<tan⁡x\sin x < x < \tan x إذا كان 0<x<π20 < x < \frac{\pi}{2}، وصيغ تحويل المجموع إلى جداء وخفض القوى، والمتباينة ex≥1+xe^x \geq 1 + x، ورتابة الدالة الأسية ومداها، والدوال المثلثية العكسية، ومبرهنة العامل وجداول الإشارات. يُقبل دون برهان في هذه الوحدة.
  • Cمعيار الحد الأعلى. إذا تحقق قرب aa أن ∣F(x)−K∣≤C(∣f(x)−L∣+∣g(x)−M∣)\abs{F(x) - K} \leq C\left(\abs{f(x) - L} + \abs{g(x) - M}\right)، مع C>0C > 0 وf→Lf \to L وg→Mg \to M، فإن F→KF \to K؛ وتُردّ كل قاعدة إلى إيجاد حد أعلى كهذا. تثبت في: 4. ثلاث توطئات.
  • Dالمحدودية المحلية والإشارة. إذا آلت ff إلى LL عند aa، فإنه يتحقق قرب aa أن ∣f(x)∣<∣L∣+1\abs{f(x)} < \abs{L} + 1؛ وإذا كان L≠0L \neq 0، فإن للدالة قرب aa إشارة LL و∣f(x)∣>∣L∣2\abs{f(x)} > \frac{\abs{L}}{2}. تثبت في: 3. الخواص المحلية.
  • Eتغيير المتغير. إذا كان g(x)→bg(x) \to b، وf(t)→Lf(t) \to L حين t→bt \to b، وg(x)≠bg(x) \neq b قرب aa، فإن f(g(x))→Lf(g(x)) \to L. تثبت في: 8. نهاية التركيب.
  • Fالقصر. إذا آلت ff إلى LL عند aa وكانت aa نقطة تراكم لمجموعة جزئية BB من المجال، فإن مقصور ff على BB يؤول أيضًا إلى LL؛ والنهاية من جهة واحدة هي نهاية مقصور، ولذلك تصح كل المبرهنات المتعلقة بالنهايات للنهايات من جهة واحدة. تثبت في: 5. نهاية المقصور.
  • Gالتعاكس. نهاية ff عند ∞\infty هي نهاية f(1t)f\left(\frac{1}{t}\right) حين يؤول tt إلى 00 من اليمين، ونهايتها عند −∞-\infty هي النهاية من اليسار؛ ولذلك تصح كل المبرهنات المتعلقة بالنهايات عند اللانهاية. تثبت في: 15. توطئة التعاكس.
  • Hالمقلوب. تؤول الدالة إلى ∞\infty إذا وفقط إذا كانت موجبة قرب المآل وآل مقلوبها إلى 00؛ ولذلك تحسم قواعد النهايات المنتهية النهاياتِ اللانهائية. تثبت في: 17. توطئة المقلوب.
  1. المقطع 1 تعريف النهاية وجبرها

    • تعريف النهاية عند نقطة تراكم بإبسيلون ودلتا، وكتابتها ونفيها عبارةً مكمّمة، وبرهان وحدانيتها وخواصها المحلية.
    • ردّ كل قاعدة من قواعد جبر النهايات إلى حد أعلى بواسطة ثلاث توطئات، والحصول على نهايات الدوال الكسرية والجذور والقوى.
    • تغيير المتغير بمبرهنة التركيب، مع تعرّف فرضيتها.
    • برهان مبرهنة الحصر، والحصول بها على النهاية الأساسية في حساب المثلثات ونتائجها.
    1. تعريف النهاية. إذا كانت aa نقطة تراكم للمجال AA للدالة ff، فإن نهاية ff عند aa هي LL حين يكون (∀ε>0)(∃δ>0)(∀x∈A)(0<∣x−a∣<δ→∣f(x)−L∣<ε)(\forall \varepsilon > 0)(\exists \delta > 0)(\forall x \in A)\left(0 < \abs{x - a} < \delta \rightarrow \abs{f(x) - L} < \varepsilon\right)؛ وليست كذلك حين يكون (∃ε>0)(∀δ>0)(∃x∈A)(0<∣x−a∣<δ∧∣f(x)−L∣≥ε)(\exists \varepsilon > 0)(\forall \delta > 0)(\exists x \in A)\left(0 < \abs{x - a} < \delta \wedge \abs{f(x) - L} \geq \varepsilon\right).

      يُبرهن في: نهاية الدوال لمتغير حقيقي واحد.

    2. وحدانية النهاية. إذا كانت aa نقطة تراكم لمجال ff، وكان lim⁡x→af(x)=L\lim_{x \to a} f(x) = L وlim⁡x→af(x)=L′\lim_{x \to a} f(x) = L'، فإن L=L′L = L'.

      تستعمل: 1. تعريف النهاية. تستند إلى: A (مسلّمات الأعداد الحقيقية). يُبرهن في: نهاية الدوال لمتغير حقيقي واحد.

    3. الخواص المحلية. النهاية عند aa لا تتوقف إلا على قيم الدالة في جوار مثقوب مركزه aa؛ وإذا كان lim⁡x→af(x)=L\lim_{x \to a} f(x) = L، تحقق قرب aa أن ∣f(x)∣<∣L∣+1\abs{f(x)} < \abs{L} + 1، وإذا كان فضلًا عن ذلك L≠0L \neq 0، فإن لـf(x)f(x) إشارة LL و∣f(x)∣>∣L∣2\abs{f(x)} > \frac{\abs{L}}{2}.

      تستعمل: 1. تعريف النهاية. تستند إلى: A (مسلّمات الأعداد الحقيقية). يُبرهن في: نهاية الدوال لمتغير حقيقي واحد.

    4. ثلاث توطئات. نهاية ff عند aa هي LL إذا وفقط إذا كانت نهاية ∣f(x)−L∣\abs{f(x) - L} هي 00؛ وإذا كان ∣f(x)−L∣≤C∣h(x)∣\abs{f(x) - L} \leq C\abs{h(x)} قرب aa، مع C>0C > 0 وlim⁡x→ah(x)=0\lim_{x \to a} h(x) = 0، فإن lim⁡x→af(x)=L\lim_{x \to a} f(x) = L؛ ومجموع مسافتين تؤولان إلى الصفر يؤول إلى الصفر.

      تستعمل: 1. تعريف النهاية. يُبرهن في: جبر النهايات.

    5. نهاية المقصور. إذا كانت BB مجموعة جزئية من المجال AA للدالة ff، وكانت aa نقطة تراكم لـBB، وكان lim⁡x→af(x)=L\lim_{x \to a} f(x) = L، فإن مقصور ff على BB يؤول أيضًا إلى LL عند aa: فالرد الذي يصلح في AA يصلح في BB.

      تستعمل: 1. تعريف النهاية. يُبرهن في: جبر النهايات.

    6. جبر النهايات. إذا كان lim⁡x→af(x)=L\lim_{x \to a} f(x) = L وlim⁡x→ag(x)=M\lim_{x \to a} g(x) = M، فإن αf+βg\alpha f + \beta g تؤول إلى αL+βM\alpha L + \beta M وfgfg إلى LMLM؛ وإذا كان M≠0M \neq 0، فإن 1g\frac{1}{g} تؤول إلى 1M\frac{1}{M} وfg\frac{f}{g} إلى LM\frac{L}{M}.

      تستعمل: 3. الخواص المحلية, 4. ثلاث توطئات. تستند إلى: C (معيار الحد الأعلى), D (المحدودية المحلية والإشارة), F (القصر). يُبرهن في: جبر النهايات.

    7. كثيرات الحدود والجذور والقوى. نهاية كثيرة الحدود، والدالة الكسرية التي لا ينعدم مقامها عند aa، عند aa هي قيمتها؛ وf(x)n\sqrt[n]{f(x)} تؤول إلى Ln\sqrt[n]{L}، مع f≥0f \geq 0 إذا كان nn زوجيًا؛ وإذا كان L>0L > 0، فإن (f(x))pq\left(f(x)\right)^{\frac{p}{q}} تؤول إلى LpqL^{\frac{p}{q}}.

      تستعمل: 1. تعريف النهاية, 6. جبر النهايات. تستند إلى: B (إرث الجبر والهندسة), C (معيار الحد الأعلى), D (المحدودية المحلية والإشارة). يُبرهن في: جبر النهايات.

    8. نهاية التركيب. إذا كان lim⁡x→ag(x)=b\lim_{x \to a} g(x) = b وlim⁡t→bf(t)=L\lim_{t \to b} f(t) = L، وg(x)≠bg(x) \neq b قرب aa، فإن lim⁡x→af(g(x))=L\lim_{x \to a} f(g(x)) = L؛ ودون الفرضية g(x)≠bg(x) \neq b قد لا تصح النتيجة.

      تستعمل: 1. تعريف النهاية. يُبرهن في: جبر النهايات.

    9. حفظ المتباينات. إذا كان f(x)≤g(x)f(x) \leq g(x) قرب aa، وlim⁡x→af(x)=L\lim_{x \to a} f(x) = L وlim⁡x→ag(x)=M\lim_{x \to a} g(x) = M، فإن L≤ML \leq M؛ أما المتباينة الصارمة فلا تُحفظ.

      تستعمل: 6. جبر النهايات. تستند إلى: D (المحدودية المحلية والإشارة). يُبرهن في: مبرهنة الحصر والنهايات المثلثية.

    10. مبرهنة الحصر. إذا كان h(x)≤f(x)≤g(x)h(x) \leq f(x) \leq g(x) قرب aa وآلت hh وgg إلى LL، فإن ff تؤول أيضًا إلى LL؛ وجداء دالة محدودة قرب aa في دالة تؤول إلى 00 يؤول إلى 00.

      تستعمل: 4. ثلاث توطئات. تستند إلى: C (معيار الحد الأعلى). يُبرهن في: مبرهنة الحصر والنهايات المثلثية.

    11. الجيب وجيب التمام. لكل عددين حقيقيين xx وaa، يكون ∣sin⁡x−sin⁡a∣≤∣x−a∣\abs{\sin x - \sin a} \leq \abs{x - a} و∣cos⁡x−cos⁡a∣≤∣x−a∣\abs{\cos x - \cos a} \leq \abs{x - a}؛ ومن ثم lim⁡x→asin⁡x=sin⁡a\lim_{x \to a} \sin x = \sin a وlim⁡x→acos⁡x=cos⁡a\lim_{x \to a} \cos x = \cos a.

      تستعمل: 4. ثلاث توطئات. تستند إلى: B (إرث الجبر والهندسة), C (معيار الحد الأعلى). يُبرهن في: مبرهنة الحصر والنهايات المثلثية.

    12. النهاية الأساسية. lim⁡x→0sin⁡xx=1\lim_{x \to 0} \frac{\sin x}{x} = 1؛ وحين يؤول xx إلى 00، تؤول tan⁡xx\frac{\tan x}{x} إلى 11، وsin⁡kxx\frac{\sin kx}{x} إلى kk، و1−cos⁡xx2\frac{1 - \cos x}{x^2} إلى 12\frac{1}{2}.

      تستعمل: 6. جبر النهايات, 10. مبرهنة الحصر, 11. الجيب وجيب التمام. تستند إلى: B (إرث الجبر والهندسة), E (تغيير المتغير). يُبرهن في: مبرهنة الحصر والنهايات المثلثية.

  2. المقطع 2 الجهتان واللانهاية والمقاربات

    • تعريف النهايات من جهة واحدة بأنها نهايات مقصورات، بحيث ترث كل المبرهنات، وتمييز النهاية بجهتيها.
    • الحصول من التمام على نهاية الدالة الرتيبة المحدودة حدًّا أعلى أصغر.
    • ردّ النهايات عند اللانهاية إلى نهايات من جهة واحدة عند الصفر، والنهايات اللانهائية إلى نهايات منعدمة، مع قواعدها وحالات عدم التعيين.
    • حساب مقاربات دالة بنهايتين، وبرهان المقاربات العمودية للدوال الكسرية، ورسم التمثيلات البيانية رسمًا تقريبيًا دون مشتقات.
    1. النهايتان من جهة واحدة. النهاية من اليمين لـff عند aa هي النهاية عند aa لمقصورها على نقاط المجال الأكبر من aa، والنهاية من اليسار على الأصغر منها؛ وإذا كانت aa نقطة تراكم من الجهتين، فإن لـff النهاية LL عند aa إذا وفقط إذا وُجدت النهايتان من جهة واحدة وساوت كلٌّ منهما LL.

      تستعمل: 1. تعريف النهاية, 5. نهاية المقصور, 2. وحدانية النهاية. يُبرهن في: النهايات من جهة واحدة.

    2. الدوال الرتيبة. إذا كانت ff متزايدة ومحدودة من الأعلى على (c,b)\ioo{c}{b}، فإن lim⁡x→b−f(x)=sup⁡{f(x):c<x<b}\lim_{x \to b^-} f(x) = \sup\left\{ f(x) : c < x < b \right\}؛ وإذا كانت متزايدة ومحدودة من الأدنى، فإن نهايتها من اليمين عند cc هي الحد الأدنى الأعظم لقيمها.

      تستعمل: 6. جبر النهايات, 13. النهايتان من جهة واحدة. تستند إلى: A (مسلّمات الأعداد الحقيقية), E (تغيير المتغير), F (القصر). يُبرهن في: النهايات من جهة واحدة.

    3. توطئة التعاكس. نهاية ff عند ∞\infty هي LL إذا كان لكل ε>0\varepsilon > 0 يوجد MM بحيث ∣f(x)−L∣<ε\abs{f(x) - L} < \varepsilon حين x>Mx > M؛ ويتحقق lim⁡x→∞f(x)=L⇔lim⁡t→0+f(1t)=L\lim_{x \to \infty} f(x) = L \Leftrightarrow \lim_{t \to 0^+} f\left(\frac{1}{t}\right) = L، وكذلك عند −∞-\infty مع النهاية من اليسار.

      تستعمل: 13. النهايتان من جهة واحدة. يُبرهن في: النهايات عندما يؤول المتغير إلى اللانهاية.

    4. الدوال الكسرية عند اللانهاية. لكل عدد نسبي r>0r > 0، تؤول 1xr\frac{1}{x^r} إلى 00 عند ∞\infty؛ وخارج قسمة كثيرتي حدود درجتاهما nn وmm يؤول، عند ±∞\pm\infty، إلى 00 إذا كان n<mn < m، وإلى خارج قسمة المعاملين الرئيسيين إذا كان n=mn = m، وليست له نهاية منتهية إذا كان n>mn > m.

      تستعمل: 2. وحدانية النهاية, 6. جبر النهايات, 7. كثيرات الحدود والجذور والقوى. تستند إلى: D (المحدودية المحلية والإشارة), F (القصر), G (التعاكس). يُبرهن في: النهايات عندما يؤول المتغير إلى اللانهاية.

    5. توطئة المقلوب. تؤول ff إلى ∞\infty عند مآل PP، هو نقطة أو جهة من نقطة أو ±∞\pm\infty، إذا تحقق لكل عدد حقيقي NN أن f(x)>Nf(x) > N قرب PP؛ ويحدث هذا إذا وفقط إذا كانت ff موجبة قرب PP وآلت 1f\frac{1}{f} إلى 00؛ وتؤول ff إلى −∞-\infty إذا وفقط إذا آلت −f-f إلى ∞\infty.

      تستعمل: 1. تعريف النهاية. يُبرهن في: النهايات اللانهائية.

    6. قواعد النهايات اللانهائية. إذا كان f≤gf \leq g قرب PP وآلت ff إلى ∞\infty، فكذلك gg؛ وإذا آلت ff إلى ∞\infty، فكذلك f+gf + g إذا كانت gg محدودة من الأدنى، وfgfg إذا آلت gg إلى عدد موجب أو إلى ∞\infty؛ وخارج القسمة الذي يؤول بسطه إلى عدد موجب ومقامه إلى 00 بقيم موجبة يؤول إلى ∞\infty.

      تستعمل: 6. جبر النهايات. تستند إلى: D (المحدودية المحلية والإشارة), F (القصر), G (التعاكس), H (المقلوب). يُبرهن في: النهايات اللانهائية.

    7. الدوال الرتيبة غير المحدودة. إذا كانت ff متزايدة على (c,b)\ioo{c}{b}، حيث bb عدد حقيقي أو b=∞b = \infty، وغير محدودة من الأعلى، فإن ff تؤول إلى ∞\infty من اليسار عند bb، أو عند ∞\infty إذا كان b=∞b = \infty.

      تستعمل: 17. توطئة المقلوب. يُبرهن في: النهايات اللانهائية.

    8. التركيب مع نهاية لانهائية. إذا آلت gg إلى ∞\infty عند PP وآلت f(u)f(u) إلى LL حين يؤول uu إلى ∞\infty، فإن f(g(x))f(g(x)) تؤول إلى LL عند PP، دون أي فرضية على قيم gg؛ والأمر نفسه إذا آلت f(u)f(u) إلى ∞\infty أو إلى −∞-\infty.

      تستعمل: 15. توطئة التعاكس, 17. توطئة المقلوب. يُبرهن في: النهايات اللانهائية.

    9. حساب المقارب. المستقيم y=mx+by = mx + b مقارب للتمثيل البياني لـff عند ∞\infty، أي أن f(x)−(mx+b)f(x) - (mx + b) تؤول إلى 00، إذا وفقط إذا كان m=lim⁡x→∞f(x)xm = \lim_{x \to \infty} \frac{f(x)}{x} وb=lim⁡x→∞(f(x)−mx)b = \lim_{x \to \infty} \left(f(x) - mx\right)؛ ومن ثم لا يوجد عند كل طرف إلا مقارب غير عمودي واحد على الأكثر.

      تستعمل: 2. وحدانية النهاية, 6. جبر النهايات, 16. الدوال الكسرية عند اللانهاية. تستند إلى: G (التعاكس). يُبرهن في: الخطوط المقاربة وتقنيات التمثيل البياني.

    10. المقاربات العمودية. إذا كان rr جذرًا لكثيرة الحدود BB وكان A(r)≠0A(r) \neq 0، فإن المستقيم x=rx = r مقارب عمودي للتمثيل البياني لـAB\frac{A}{B}، وفي كل جهة من rr تؤول الدالة إلى ∞\infty أو إلى −∞-\infty بحسب الإشارة التي يعيّنها جدول الإشارات في الفترة المجاورة.

      تستعمل: 7. كثيرات الحدود والجذور والقوى, 18. قواعد النهايات اللانهائية. تستند إلى: B (إرث الجبر والهندسة), D (المحدودية المحلية والإشارة), F (القصر). يُبرهن في: الخطوط المقاربة وتقنيات التمثيل البياني.

  3. المقطع 3 الاتصال ومقارنة الدوال

    • تعريف الاتصال، وربطه بالنهاية، وتصنيف حالات عدم الاتصال إلى قابلة للإزالة وقفزية وأساسية.
    • برهان أن العمليات والتركيب تحفظ الاتصال، وأن النهاية تدخل في الدالة المتصلة.
    • برهان اتصال الدوال الأولية بحجة الدوال الرتيبة، والحصول به على النهايات الشهيرة والحالة 1∞1^\infty.
    • مقارنة الدوال بـo⁡\operatorname{o} الصغيرة وبالتكافؤ، واستبدال المتكافئات في الجداءات وخوارج القسمة، لا في المجاميع.
    1. الاتصال والنهاية. تكون ff متصلة عند نقطة aa من مجالها AA إذا كان (∀ε>0)(∃δ>0)(∀x∈A)(∣x−a∣<δ→∣f(x)−f(a)∣<ε)(\forall \varepsilon > 0)(\exists \delta > 0)(\forall x \in A)\left(\abs{x - a} < \delta \rightarrow \abs{f(x) - f(a)} < \varepsilon\right)؛ وإذا كانت aa نقطة تراكم لـAA، كافأ ذلك lim⁡x→af(x)=f(a)\lim_{x \to a} f(x) = f(a)، وإذا كانت نقطة معزولة، تحقق دائمًا.

      تستعمل: 1. تعريف النهاية. يُبرهن في: النهاية والاتصال.

    2. العمليات على الدوال المتصلة. التركيبات الخطية والجداءات وخوارج القسمة ذات المقام غير المنعدم والجذور لدوال متصلة عند aa متصلة عند aa؛ ومن ثم فكثيرات الحدود والدوال الكسرية والجذور والقيمة المطلقة والجيب وجيب التمام والظل متصلة على مجالها.

      تستعمل: 6. جبر النهايات, 7. كثيرات الحدود والجذور والقوى, 11. الجيب وجيب التمام, 23. الاتصال والنهاية. تستند إلى: C (معيار الحد الأعلى). يُبرهن في: النهاية والاتصال.

    3. تركيب الدوال المتصلة. إذا كانت gg متصلة عند aa وكانت ff متصلة عند g(a)g(a)، فإن f∘gf \circ g متصلة عند aa؛ وإذا آلت g(x)g(x) إلى bb وكانت ff متصلة عند bb، فإن lim⁡x→af(g(x))=f(b)\lim_{x \to a} f(g(x)) = f(b)، وكذلك من جهة واحدة أو عند ±∞\pm\infty.

      تستعمل: 3. الخواص المحلية, 23. الاتصال والنهاية. تستند إلى: F (القصر), G (التعاكس). يُبرهن في: النهاية والاتصال.

    4. الدوال الأولية المتصلة. الدالة المعرّفة على فترة، الرتيبة عليها، والتي صورتها فترة، متصلة، وكذلك الدالة العكسية لدالة رتيبة تمامًا لها هذه الخواص؛ ولذلك فالدالة الأسية واللوغاريتم والقوى ذات الأسس الحقيقية والدوال المثلثية العكسية والزائدية متصلة على مجالها.

      تستعمل: 13. النهايتان من جهة واحدة, 14. الدوال الرتيبة, 23. الاتصال والنهاية, 24. العمليات على الدوال المتصلة, 25. تركيب الدوال المتصلة. تستند إلى: B (إرث الجبر والهندسة). يُبرهن في: اتصال الدوال الأولية والنهايات الشهيرة.

    5. النهايات الشهيرة. حين يؤول xx إلى 00، تؤول ex−1x\frac{e^x - 1}{x} وln⁡(1+x)x\frac{\ln(1 + x)}{x} إلى 11، وax−1x\frac{a^x - 1}{x} إلى ln⁡a\ln a، و(1+x)r−1x\frac{\left(1 + x\right)^r - 1}{x} إلى rr؛ وفضلًا عن ذلك تؤول (1+x)1x\left(1 + x\right)^{\frac{1}{x}} إلى ee عند 00، و(1+1x)x\left(1 + \frac{1}{x}\right)^x عند ±∞\pm\infty.

      تستعمل: 6. جبر النهايات, 10. مبرهنة الحصر, 13. النهايتان من جهة واحدة, 26. الدوال الأولية المتصلة, 25. تركيب الدوال المتصلة. تستند إلى: B (إرث الجبر والهندسة), E (تغيير المتغير), G (التعاكس). يُبرهن في: اتصال الدوال الأولية والنهايات الشهيرة.

    6. الحالة واحد أس اللانهاية. إذا كان f>0f > 0 قرب PP، وآلت f(x)f(x) إلى 11 وآلت g(x)(f(x)−1)g(x)\left(f(x) - 1\right) إلى عدد حقيقي λ\lambda، فإن (f(x))g(x)\left(f(x)\right)^{g(x)} تؤول إلى eλe^{\lambda}.

      تستعمل: 6. جبر النهايات, 26. الدوال الأولية المتصلة, 25. تركيب الدوال المتصلة, 27. النهايات الشهيرة. يُبرهن في: اتصال الدوال الأولية والنهايات الشهيرة.

    7. الدوال الأسية والقوى واللوغاريتمات. إذا كان r>0r > 0 وa>1a > 1، فإن xrax\frac{x^r}{a^x} وln⁡xxr\frac{\ln x}{x^r} تؤولان إلى 00 عند ∞\infty، وxrln⁡xx^r \ln x تؤول إلى 00 حين يؤول xx إلى 00 من اليمين.

      تستعمل: 10. مبرهنة الحصر, 16. الدوال الكسرية عند اللانهاية, 19. الدوال الرتيبة غير المحدودة, 20. التركيب مع نهاية لانهائية. تستند إلى: B (إرث الجبر والهندسة), G (التعاكس). يُبرهن في: اتصال الدوال الأولية والنهايات الشهيرة.

    8. مقارنة الدوال. يكون f=o⁡(g)f = \operatorname{o}(g) عند PP إذا آلت fg\frac{f}{g} إلى 00، وf∼gf \sim g إذا آلت إلى 11؛ والتكافؤ انعكاسي وتناظري ومتعدٍّ، وf∼gf \sim g إذا وفقط إذا f−g=o⁡(g)f - g = \operatorname{o}(g).

      تستعمل: 6. جبر النهايات. يُبرهن في: الدوال المتكافئة اللامتناهية في الصغر وفي الكبر.

    9. استبدال المتكافئات. إذا كان f∼f1f \sim f_1 وg∼g1g \sim g_1 عند PP، فإن لـfhg\frac{f h}{g} نهاية، منتهية أو لانهائية، إذا وفقط إذا كانت لـf1hg1\frac{f_1 h}{g_1} نهاية، وتتطابق النهايتان؛ والمبرهنة تصح للعوامل لا لحدود المجموع.

      تستعمل: 6. جبر النهايات, 18. قواعد النهايات اللانهائية, 30. مقارنة الدوال. يُبرهن في: الدوال المتكافئة اللامتناهية في الصغر وفي الكبر.

    10. مجموع متكافئات من الإشارة نفسها. إذا كان f1∼g1f_1 \sim g_1 وf2∼g2f_2 \sim g_2 عند PP، وكانت g1g_1 وg2g_2 موجبتين معًا أو سالبتين معًا قرب PP، فإن f1+f2∼g1+g2f_1 + f_2 \sim g_1 + g_2.

      تستعمل: 4. ثلاث توطئات, 10. مبرهنة الحصر, 30. مقارنة الدوال. تستند إلى: C (معيار الحد الأعلى). يُبرهن في: الدوال المتكافئة اللامتناهية في الصغر وفي الكبر.

    11. جدول المتكافئات. عند 00، تكافئ sin⁡x\sin x وtan⁡x\tan x وarctan⁡x\arctan x وex−1e^x - 1 وln⁡(1+x)\ln(1 + x) الدالة xx، و1−cos⁡x∼x221 - \cos x \sim \frac{x^2}{2}، وax−1∼xln⁡aa^x - 1 \sim x \ln a، و(1+x)r−1∼rx\left(1 + x\right)^r - 1 \sim r x، وكل كثيرة حدود تكافئ حدّها ذا الدرجة الصغرى؛ وتصح هذه التكافؤات مع أي دالة تؤول إلى 00 دون أن تنعدم توضع مكان xx.

      تستعمل: 7. كثيرات الحدود والجذور والقوى, 12. النهاية الأساسية, 27. النهايات الشهيرة. تستند إلى: E (تغيير المتغير). يُبرهن في: الدوال المتكافئة اللامتناهية في الصغر وفي الكبر.

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