دالة مستمرة

دالة مستمرة

الدالة المستمرة أو الدالة المتصلة أو الدالة المتصلة بانتظام (بالإنجليزية: Continuous function)‏ هي دالة رياضية تؤدي فيها تغييرات طفيفة في متغيّر الدالّة إلى تغييرات طفيفة في قيمتها. الدالة التي لا تحقّق هذه الخاصّة تدعى (دالة غير مستمرة) أو (دالة منفصلة). بشكل بديهي، فإنّ دالة ما هي مستمرّة إذا استطعنا أن نرسم رسمها البياني بدون رفع القلم عن الورقة، مع أنّ هذا التعريف ليس دقيقًا.

يعتبر موضوع استمراريّة الدوال أحد المواضيع المبدئية والجوهريّة في الطوبولوجيا. في هذه الصفحة، سيكون الحديث عن دالة ذات مصادر وقيم حقيقيّة.

على سبيل المثال، إذا كانت الدالّة $h(t)$ تمثّل ارتفاع زهرة ما في الزمن $t$، فإنّ هذه الدالة مستمرة. في الواقع، فهنالك قول مأثور في الفيزياء الكلاسيكية يقضي بأنّ كل شيء في الطبيعة استمراري (مستمر). وإذا فرضنا أنّ الدالة $m(t)$ تمثّل ارتفاع رصيد حساب في البنك في الزمن $t$، فإنّ قيمة الدالة «تقفز» كلّما تم سحب بعض المال أو إدخاله إلى الحساب، لذا فإنّ هذه الدالّة غير مستمرّة.

دوال مستمرّة بقيم حقيقيّة

لنفرض دالّة معيّنة بمتغيّر واحد تحوّل أعدادًا حقيقية إلى أعداد حقيقية، وأنّ نطاقها هو مجال فاصل ما (كفترة زمنيّة مثلاً)، مثل الدوال $h$ و$m$. بالإمكان رسم دالة كهذه في نظام إحداثي ديكارتي؛ وتكون هذه الدالّة دالة مستمرة إذا ما كان رسمها البياني منحنًى واحدًا غير منقطعًا، بدون «ثغرات» أو «قفزات».

التعريف الأدق هو أنّ الدالة $f$ هي دالة مستمرة في نقطة معيّنة، $c$، إذا تحقّقت الشروط التالية:

• أن تكون القيمة $f(c)$ معرّفة، أي أنّ $c$ هو عنصر تابع لنطاق الدالّة $f$؛
• هنالك نهاية للدالة $f$ عند اقترابها من العدد $c$ إمّا من اليمين أو من اليسار وهي تساوي $f(c)$.

وتدعى الدالّة دالة مستمرّة إذا تحقّق الشرطان أعلاه لكل نقطة في نطاق الدالّة. بشكل عام، نقول أنّ الدالة مستمرة على مجموعة جزئية من نطاق الدالّة، إذا كانت مستمرّة في كل نقطة في هذه المجموعة. تسمية الدالة بدالة مستمرة تعني بشكل عام أنّ الدالة مستمرة لكل الأعداد الحقيقيّة.

كثيرًا ما يستخدم التدوين $C(\mathrm{\Omega })$ أو $C^0(\mathrm{\Omega })$ للدلالة على مجموعة كل الدوال المستمرّة في النطاق $\mathrm{\Omega }$. على هذا النمط، فينوّه التدوين $C^1(\mathrm{\Omega })$ إلى مجموعة الدوال القابلة للمفاضلة والتي مشتقّاتها هي دوال مستمرّة، والتدوين $C^2(\mathrm{\Omega })$ إلى مجموعة الدوال القابلة للمفاضلة مرّتين والتي مشتّقاتها الثانية هي دوال مستمرّة، وهكذا دواليك.

تعريفات وأمثلة

هنالك أكثر من تعريف رياضي واحد لاستمراريّة الدالة، وبالإمكان إثبات تكافئ هذه التعاريف، أي أنّه إذا فرضنا أنّ الدالة مستمرّة وفق أحد التعريفات فبالإمكان برهنة استمراريتها وفق التعريفات الأخرى.

تعريف الاستمراريّة بحسب كوشي (إبسيلون-دلتا)

بدون اللجوء إلى الحديث عن النقاط الحدوديّة، بالإمكان تعريف الدالة المستمرة بالشكل الآتي:

لننظر مجددًا إلى دالّة $f$ بمتغيّر واحد حقيقي قيمها حقيقيّة، ولنفرض أنّ العدد $c$ هو أحد عناصر نطاق الدالّة $f$. تكون الدالّة $f$ هي دالة مستمرة في النقطة $c$ إذا تحقّق أنّ: لكل $\epsilon >0$، مهما كان صغيرًا، يوجد عدد $\delta >0$، بحيث أنّ لكل $x$ في نطاق الدالّة $f$ الذي يحقّق $c-\delta <x<c+\delta$، يتحقّق التالي بالنسبة لـ$f(x)$:

$f(c)-\epsilon <f(x)<f(c)+\epsilon$

وبتدوين بديل: إذا كانت المجموعات $I,D$، هي مجموعات جزئية من مجموعة الأعداد الحقيقيّة، $\mathbb{R}$، فإنّ استمراريّة الدالّة $f:I\to D$ في النقطة $c\in I$ تعني أنّه لكل $\epsilon >0$، هنالك $\delta >0$ يحقّق لكل $x\in I$:

$|x-c|<\delta \Rightarrow |f(x)-f(c)|<\epsilon$

إنّ أوّل من برهن استمراريّة دالّة بهذه الطريقة كان الرياضي أوغستين كوشي. ولتفسير هذا التعريف بصورة بديهيّة: إذا اخترنا أي جوار $\epsilon$، مهما كان صغيرًا، لـ$f(c)$، فبالإمكان إيجاد جوار $\delta$ لـ$c$ بحيث تكون قيم الدالّة في الجوار الأخير موجودة كلّها في الجوار الأوّل.

تعريف الاستمراريّة بحسب نهايته

أوّل من وضع هذا التعريف كان الرياضي الألماني إدوارد هاينه.

ويقضي التعريف بأنّ الدالّة الحقيقيّة $f$ تدعى مستمرّة إذا كانت كلّ متتالية $(x_n)$ تحقّق:

$lim{\mathrm{\backslash limits}}_{n\to \mathrm{\infty }}{x}_n=L,$،

أي أنّه إذا كانت نهايتها هي العدد $L$، يتحقّق كذلك:

$lim{\mathrm{\backslash limits}}_{n\to \mathrm{\infty }}f(x_n)=f(L)$،

أي أنّ نهاية الدالة عند اقترابها من نهاية المتتالية $(x_n)$ تساوي قيمة الدالة في نهاية المتتالية $(x_n)$، أي $f(L)$. هذا وقد افترضنا في التعريف أعلاه أنّ كل حدود المتتالية، ونهايتها كذلك، كلّها موجودة في نطاق الدالة $f$.

أمثلة

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

$f(x)=\{\begin{array}{c}0\text{ if }x\in \mathbb{R}\setminus \mathbb{Q}\\ 1\text{ if }x\in \mathbb{Q}\end{array}$

أي أنّ الدالة تحصل على القيمة 1 لكل $x$ ينتمي إلى مجموعة الأعداد النسبية (أي التي بالإمكان كتابتها على شكل كسر عادي أو عدد كسري)، وعلى القيمة$0$ لكل $x$ لا ينتمي إلى تلك المجموعة، أي لكل عدد غير نسبي. بالإمكان برهان أنّه على محور الأعداد الحقيقية، يوجد بين كل عددين نسبيين عدد غير نسبي، وبين كل عددين غير نسبيين عدد نسبي. بالاعتماد على هذا، فإنّ دالة ديريخليه هي دالّة غير مستمرّة في أيّة نقطة؛

• بالمقابل، بعض الدوال، كالدالّة الآتية:

$f(x)=\{\begin{array}{c}0\text{ if }x\in \mathbb{R}\setminus \mathbb{Q}\\ x\text{ if }x\in \mathbb{Q}\end{array}$

هي دوال مستمرّة في نقطة واحدة فقط. في هذه الحالة فإنّ الدالة مستمرّة في النقطة $x=0$؛

• الدالّة الآتية:

$f(x)=\{\begin{array}{c}0\text{ if }x\le 0\\ 1\text{ if }x>0\end{array}$

هي دالّة مستمرّة في كل نقاط نطاقها، ما عدا النقطة $x=0$، لذا فإنّها دالّة غير مستمرّة. فبالإمكان برهنة عدم استمراريتها وفقًا لتعريف كوشي أعلاه: إذا اخترنا $\epsilon =\frac{1}{2}$، فلا يمكن أن نجد أيّ جوار $\delta$ حول النقطة $x=0$ تكون فيها قيم الدالة بين $0-\epsilon =-\frac{1}{2}$ وبين $0+\epsilon =\frac{1}{2}$، إذ أنّ $f(x)=1>\frac{1}{2}$ لكل $x>0$.

خواص الدوال المستمرّة

لنفرض دالّتين مستمرّتين، $f$ و$g$، إذًا:

• الدالّتان $f+g$ و$f-g$ وأي تركيب خطّي لهاتين الدالتين كلّها دوال مستمرّة؛
• الدالّة $f\cdot g$ هي دالّة مستمرّة؛
• إذا كانت الدالّة g تحقّق أنّ $g(x)\ne 0$ لكل $x$ في نطاقها، فإنّ الدالّة $\frac{f}{g}$ هي دالّة مستمرّة؛
• إنّ تركيب الدالتين $f(y)$ و$g(x)$ هو دالّة مستمرّة، أي أنّ الدالّة المركّبة $(f\circ g)(x)=f(g(x))$ هي دالّة مستمرّة.

خواص أخرى:

• إذا كانت الدالّة $f(x)$ قابلة للمفاضلة في النقطة $c$، فهي بالضرورة مستمرّة في هذه النقطة. أمّا العكس فليس صحيحًا، فعلى سبيل المثال: الدالّة $f(x)=\left|x\right|$ هي دالّة مستمرّة في النقطة $x=0$ ولكنّها ليست قابلة للمفاضلة في تلك النقطة؛
• مبرهنة القيمة الوسطية:

إذا كانت الدالّة الحقيقية $f(x)$ مستمرّة على المجال الفاصل المغلق $[a,b]$، وإذا كان $k$ عددًا حقيقيًا بين $f(a)$ و$f(b)$، فيوجد بالضرورة عدد $c$ في المجال الفاصل $[a,b]$ يحقّق: $f(c)=k$.

مثال توضيحي: إذا ازداد طول طفل من 1 متر إلى 1.5 مترًا من جيل سنتين حتّى جيل 6 سنوات، فبالتأكيد كان طول الطفل 1.25 مترًا في نقطة ما من الزمن بين جيل سنتين وجيل 6 سنوات، لأنّ طول الطفل كدالة من الزمن هي دالّة مستمرّة؛

• إحدى النتائج المهمّة من النظرية السابقة:

إذا كانت الدالّة الحقيقية $f(x)$ مستمرّة على المجال الفاصل المغلق $[a,b]$، وكانت القيمتان $f(a)$ و$f(b)$ تختلفان بالإشارة، فتوجد بالضرورة نقطة $c$ في المجال الفاصل $[a,b]$ تحقّق: $f(c)=0$، أي هنالك بالتأكيد نقطة صفرية للدالة f في المجال الفاصل.

استمرارية أحادية الجهة

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

تكون الدالة $f(x)$ مستمرّة في النقطة $x=c$ إذا تحقٌق الآتي: لكل $\epsilon >0$، يوجد $\delta >0$ بحيث:

$0<x-c<\delta \Rightarrow |f(x)-f(c)|<\epsilon$

أي أنّ الشرط يتحقّق فقط لجميع النقاط في جوار $\delta$ الذي يقع إلى يمين النقطة $c$. وتعرّف الاستمراريّة من اليسار بطريقة مشابهة، مع تعديل الشرط إلى الشرط التالي:

أ. دالة مستمرّة من اليسار؛ ب. دالة مستمرّة من اليمين

$-\delta <x-c<0\Rightarrow |f(x)-f(c)|<\epsilon$

وتكون الدالة مستمرّة إذا وفقط إذا كانت مستمرّة من اليمين وكذلك من اليسار.

أمثلة

• في بند الأمثلة السابق، ذكرت الدالّة الآتية:

$f(x)=\{\begin{array}{c}0\text{ if }x\le 0\\ 1\text{ if }x>0\end{array}$

على أنّها دالّة غير مستمرّة بسبب عدم استمراريّتها في النقطة $x=0$. مع هذا، فإنّ هذه الدالّة هي دالّة مستمرّة من اليسار لكل $x$: لكل نقطة في النطاق، بامكان اختيار جوارًا من جهة اليسار لا نلاحظ فيه أي عدم استمراريّة عند التقدم نحو النقطة فيه. أمّا بالنسبة لاستمراريّة من اليمين فهي لا تتحقّق، لنفس السبب الذي يجعل الدالّة غير مستمرّة.

• إنّ دالة التوزيع التراكمي في نظرية الاحتمالات هي دالّة مستمرّة من اليمين دائمًا.

مراجع

• Hazewinkel, Michiel, ed. (2001), "Continuous function", Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4
• Visual Calculus by Lawrence S. Husch, University of Tennessee (2001).