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

ملخص

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

أهداف التعلم

  1. أن يعرّف الاتصال عند نقطة ومن جهة واحدة وعلى فترة، وأن يربطه بالنهاية.
  2. أن يصنّف حالات عدم الاتصال إلى قابلة للإزالة وقفزية وأساسية، وأن يمدّد بالاتصال دالةً ذات عدم اتصال قابل للإزالة.
  3. أن يبرهن على اتصال المجاميع والجداءات وخوارج القسمة والجذور وتركيبات الدوال المتصلة، وأن يستنتج منه اتصال كثيرات الحدود والدوال الكسرية والدوال المثلثية.
  4. أن يحسب النهايات بإدخالها في دالة متصلة، وأن يدرس دوالّ متصلة عند نقطة واحدة فقط أو غير متصلة عند أي نقطة.

التعريف

في الدرس عن نهاية الدوال لمتغير حقيقي واحد، كان التعريف يستبعد النقطة aa عن قصد: فالنهاية تصف ما يحدث قرب aa، لا عند aa، وقد لا تكون الدالة معرّفة هناك. أما الاتصال فيقارن بين الأمرين: ما يحدث قريبًا وما يحدث عند النقطة نفسها.

تعريفالدالة المتصلة عند نقطة

لتكن ff دالة معرّفة على مجموعة AA وaa عنصرًا من AA. يقال إن ff متصلة عند aa إذا كان، من أجل كل ε>0\varepsilon > 0، يوجد δ>0\delta > 0 بحيث إن كل xx من AA يحقق ∣x−a∣<δ\abs{x - a} < \delta يحقق أيضًا ∣f(x)−f(a)∣<ε\abs{f(x) - f(a)} < \varepsilon:

(∀ε>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)

إذا لم تكن ff متصلة عند aa، يقال إنها غير متصلة عند aa. وإذا كانت متصلة عند جميع نقاط مجموعة SS محتواة في AA، يقال إنها متصلة على SS؛ وإذا كانت كذلك على كامل مجال تعريفها، يقال ببساطة إنها متصلة.

يختلف التعريف عن تعريف النهاية في ثلاثة أمور. فالعدد الذي يجب أن تقترب منه القيم ليس عددًا LL أيًّا كان، بل f(a)f(a)؛ ولذلك يجب أن ينتمي aa إلى مجال التعريف. والرد ∣x−a∣<δ\abs{x - a} < \delta لا يستبعد x=ax = a، وإن كان إدخاله لا يكلّف شيئًا، لأن ∣f(a)−f(a)∣=0\abs{f(a) - f(a)} = 0. ولا يُشترط أن يكون aa نقطة تراكم لـAA. ويُحصل على النفي كما في الدرس عن النهاية: تكون ff غير متصلة عند aa إذا وُجد ε>0\varepsilon > 0 بحيث إنه، من أجل كل δ>0\delta > 0، يوجد xx من AA يحقق ∣x−a∣<δ\abs{x - a} < \delta و∣f(x)−f(a)∣≥ε\abs{f(x) - f(a)} \geq \varepsilon.

قضيةالاتصال والنهاية

لتكن ff دالة معرّفة على AA وaa عنصرًا من AA. إذا كان aa نقطة تراكم لـAA، فإن ff متصلة عند aa إذا وفقط إذا كان lim⁡x→af(x)=f(a)\lim_{x \to a} f(x) = f(a). وإذا كان aa نقطة معزولة من AA، فإن ff متصلة عند aa. يطلب التعريفان الشيء نفسه إلا عند النقطة aa، حيث يتحقق الاتصال من تلقاء نفسه. وفي الرسم، يحيط الشريط بالقيمة f(a)f(a)، التي صارت الآن نقطة ممتلئة من المنحنى؛ وفي الختام، نقطة معزولة من مجال التعريف.

البرهان

  1. 0<∣x−a∣<δ→∣x−a∣<δ→∣f(x)−f(a)∣<ε0 < \abs{x - a} < \delta \rightarrow \abs{x - a} < \delta \rightarrow \resaltar{\abs{f(x) - f(a)} < \varepsilon}

    إذا كانت ff متصلة عند aa، فإن الرد δ\delta على كل تحدٍّ ε\varepsilon يصلح خصوصًا لقيم xx التي تحقق 0<∣x−a∣<δ0 < \abs{x - a} < \delta: إنه رد للنهاية، مع L=f(a)L = f(a).

  2. x=a→∣f(a)−f(a)∣=0<εx = a \rightarrow \abs{f(a) - f(a)} = \resaltar{0} < \varepsilon

    وبالعكس، إذا كانت النهاية f(a)f(a)، فإن رد النهاية يغطي قيم xx المختلفة عن aa، وعند x=ax = a يتحقق الشرط دائمًا: إنه رد للاتصال.

  3. ∣x−a∣<δ∧x∈A→x=a→∣f(x)−f(a)∣=0<ε\abs{x - a} < \delta \wedge x \in A \rightarrow x = a \rightarrow \abs{f(x) - f(a)} = 0 < \varepsilon

    إذا كان aa نقطة معزولة، يوجد δ>0\delta > 0 بحيث يكون العنصر الوحيد من AA الذي يحقق ∣x−a∣<δ\abs{x - a} < \delta هو aa نفسه. وهذا العدد δ\delta يردّ على جميع التحديات دفعة واحدة.

ومن ثمّ، فعند نقطة تراكم لمجال التعريف، يقوم الاتصال على ثلاثة أمور: أن تكون ff معرّفة عند aa، وأن تكون لها نهاية عند aa، وأن تكون هذه النهاية f(a)f(a). وكل منها قد يختل على حدة، ومن ذلك ينشأ تصنيف حالات عدم الاتصال. فمثلًا، الدالة التي تساوي 11 عند كل x≠0x \neq 0 و00 عند x=0x = 0، من المثال المضاد للتركيب في الدرس عن جبر النهايات، لها النهاية 11 عند 00، وهي تختلف عن قيمتها: فهي غير متصلة عند 00.