استمرارية دالة على مجال
الأحكام والخصائص التحليلية للاستمرارية على المجالات المفتوحة والمغلقة
1. تعريف الاستمرارية على مجال مفتوح
تكون الدالة العددية $f$ مستمرة على مجال مفتوح $]a; b[$ إذا وفقط إذا كانت مستمرة عند كل قيمة حقيقية $x_0$ تنتمي إلى هذا المجال.
هندسياً، يتأصل هذا المفهوم في امتداد المنحنى البياني $(\mathcal{C}_f)$ بشكل متصل وتماسك مطلق دون ظهور أي تشققات أو ثقوب نقطية على طول الفترة الممتدة من $a$ إلى $b$.
2. الاستمرارية على مجال مغلق $[a; b]$
لكي يمتد حكم الاستمرارية على مجال مغلق طرفياً $[a; b]$، يستوجب التحليل المنهجي التحقق من استقرار السلوك الجواري للدالة داخل الفترة وعند حدودها الطرفية، لضمان اتساق الصور مع المقادير المآلية وفق الشروط الثلاثة المتكاملة التالية:
| المركب المنهجي | الصياغة والشرط التحليلي الصارم |
|---|---|
| الاستمرارية الداخلية | الدالة $f$ مستمرة على المجال المفتوح $]a; b[$ |
| الاستمرارية عند الطرف الأدنى | $\lim\limits_{x \to a^+} f(x) = f(a)$ (الدالة $f$ مستمرة على اليمين عند القيمة $a$) |
| الاستمرارية عند الطرف الأعلى | $\lim\limits_{x \to b^-} f(x) = f(b)$ (الدالة $f$ مستمرة على اليسار عند القيمة $b$) |
3. العلاقة التحليلية بين الاستمرارية والاشتقاق
تخضع العلاقة التحليلية بين الاستمرارية والاشتقاق لمبرهنة التضمن الصارمة: كل دالة قابلة للاشتقاق على مجال هي بالضرورة مستمرة على هذا المجال؛ حيث يُعد القبول بالاشتقاق رتبة تحليلية أعلى وأقوى تتضمن الاستمرارية حتماً.
تنبيه منهجي: العكس الجبري لهذه المبرهنة غير صحيح إطلاقاً؛ فقد تكون الدالة مستمرة تماماً على مجال لكنها لا تقبل الاشتقاق عند نقطة معلومة منه (مثال دالة القيمة المطلقة $x \mapsto |x|$ فهي مستمرة عند الصفر لكن منحاها يقبل نقطة زاوية تجعلها غير قابلة للاشتقاق عنده).
4. التصنيف الهيكلي لاستمرارية المجالات
| الصيغة الرياضية للمجال | الشرط التحليلي النظامي لقبول الاستمرارية |
|---|---|
| $[a; b]$ | مستمرة على $]a; b[$ مع تحقق شرطي الاستمرارية يميناً عند $a$ ويساراً عند $b$. |
| $[a; b[$ | مستمرة على $]a; b[$ مع تحقق شرط الاستمرارية يميناً عند $a$. |
| $]a; b]$ | مستمرة على $]a; b[$ مع تحقق شرط الاستمرارية يساراً عند $b$. |
عند الشروع في دراسة استمرارية دالة عددية على مجال محدد، يجب البدء منهجياً وبشكل قطعي بإثبات أن المجال المستهدف محتوى تماماً داخل مجموعة تعريف الدالة ($I \subset D_f$)، إذ يُمنع منعاً باتاً الحكم بالاستمرارية على فترات تتضمن قيماً غير معرفة.