مبرهنات العمليات الجبرية على الدوال المستمرة
الأحكام التحليلية لجمع، ضرب، قسمة وتركيب الدوال العددية المستمرة
1. مبرهنات العمليات الجبرية الأساسية
إذا كانت الدالتان العددیتان $f$ و $g$ مستمرتین على مجال معلوم $I$ من $\mathbb{R}$، فإن العمليات الجبرية المتولدة عنهما تنتج حتماً دوالاً مستمرة على نفس المجال وفق الأحكام المنهجية التالية:
| الصيغة الجبرية للعملية | الدالة الناتجة المتولدة | الشروط التحليلية الإضافية |
|---|---|---|
| المجموع الجبري | $f + g$ | بدون شروط إضافية (مستمرة دائماً على $I$). |
| الجداء الجبري | $f \times g$ | بدون شروط إضافية (مستمرة دائماً على $I$). |
| الضرب في مقياس حقيقي | $\lambda \cdot f$ (حيث $\lambda \in \mathbb{R}$) | بدون شروط إضافية (مستمرة دائماً على $I$). |
| الحاصل الكسري | $\frac{f}{g}$ | يُشترط عدم انعدام الدالة $g$ عند أي قيمة من المجال $I$ ($g(x) \neq 0$). |
2. مبرهنة استمرارية دالة مركبة (تركيب الدوال)
تُعد مبرهنة استمرارية مركب دالتين الأداة المحورية لدراسة العبارات التحليلية غير المألوفة. لكي تكون الدالة المركبة $g \circ f$ مستمرة على مجال ما، يستوجب الفحص المنهجي التحقق من ترابط الشروط التحليلية التالية بالتتابع:
| المرحلة المنهجية | الشرط التحليلي الصارم المقرّر |
|---|---|
| 1. الدالة البادئة (الداخلية $f$) | يجب أن تكون الدالة $f$ مستمرة تماماً على المجال $I$. |
| 2. الدالة التابعة (الخارجية $g$) | يجب أن تكون الدالة $g$ مستمرة على مجال $J$ يشمل بالضرورة مجموعة صور المجال $I$ بالدالة $f$ (أي: $f(I) \subset J$). |
| 3. الاستنتاج القطعي | الدالة المركبة $g \circ f$ المعرفة بالعبارة $x \mapsto g(f(x))$ مستمرة حتماً على المجال $I$. |
3. تطبيق نموذجي مشروح (دراسة استمرارية دالة مركبة)
المطلوب: ادرس استمرارية الدالة العددية $h$ المعرفة على $\mathbb{R}$ بالعبارة التحليلية التالية:
$h(x) = \sqrt{x^2 + 1}$
| مراحل التفكيك التحليلي | التعليل والحجاج الجبري المعتمد |
|---|---|
| الدالة الداخلية: $u: x \mapsto x^2 + 1$ | مستمرة على $\mathbb{R}$ لأنها دالة كثير حدود، وتتميز بأن جميع صورها موجبة تماماً؛ حيث من أجل كل $x \in \mathbb{R}$: $u(x) \ge 1$. |
| الدالة الخارجية: $v: x \mapsto \sqrt{x}$ | مستمرة على المجال $[0; +\infty[$ لأنها دالة مرجعية أساسية (دالة الجذر التربيعي). |
| مركب الدالتين: $h = v \circ u$ | بما أن الدالة $u$ مستمرة على $\mathbb{R}$ وصورها محتواة في مجال استمرارية الدالة $v$ ($u(\mathbb{R}) \subset [0; +\infty[$)، فإن الدالة المركبة $h$ مستمرة قطيعاً على $\mathbb{R}$. |
عند التعامل مع عبارات تحليلية مركبة أو معقدة، يستوجب التأسيس المنهجي إرجاع العبارة إلى تركيب أو عمليات جبرية بين دوال مرجعية مألوفة، ثم تطبيق المبرهنات السابقة صراحة لتبرير الاستمرارية قبل الشروع في دراسة التغيرات أو حساب النهايات.