مبرهنة استمرارية الدوال بين الفضاءات المترية

تُعد هذه المبرهنة من النتائج الأساسية في التحليل الرياضي والطوبولوجيا، إذ توضح العلاقة بين استمرارية الدوال في الفضاءات المترية وصياغة الاستمرارية باستخدام إبسيلون ودلتا. وهي تعمم مفهوم الاستمرارية المعروف في حساب التفاضل والتكامل ليشمل جميع الفضاءات المترية.

وبعبارة أبسط، فإن الدالة المستمرة تنقل التغيرات الصغيرة في المجال إلى تغيرات صغيرة في المجال المقابل، دون حدوث تغيرات مفاجئة أو انقطاعات.

ويُعرف هذا التعريف عادة باسم تعريف الاستمرارية بإبسيلون ودلتا في الفضاءات المترية. كما يُستخدم أيضًا لوصف التكافؤ بين التعريف الطوبولوجي للاستمرارية وتعريف إبسيلون ودلتا.

ورغم أن هذا التعريف يبدو أكثر عمومية، فإنه لا يختلف في جوهره عن مفهوم الاستمرارية الذي يُدرَّس في حساب التفاضل والتكامل الأول، وإنما يوسعه ليشمل جميع الفضاءات المترية.

ملاحظة: التعريف المعروف للاستمرارية في حساب التفاضل والتكامل الأول، والذي يقتصر على \(\mathbb{R}\) أو \(\mathbb{R}^n\)، يمثل حالة خاصة من هذا التعريف العام. ففي حالة الدالة \(f : \mathbb{R} \to \mathbb{R}\)، تكون \(f\) مستمرة عند النقطة \(x\) إذا كان لكل \(\varepsilon > 0\) عدد موجب \(\delta > 0\) بحيث يؤدي تحقق \(|x-x'| < \delta\) إلى تحقق \(|f(x)-f(x')| < \varepsilon\). وفي هذه الحالة تكون المترية هي المسافة المعتادة: $$ d_X(x,x')=|x-x'| $$ $$ d_Y(f(x),f(x'))=|f(x)-f(x')| $$ أما في الفضاءات المترية، فيبقى المبدأ نفسه، لكن يمكن تطبيقه على أي فضاء مزود بمترية، وليس على الأعداد الحقيقية فقط.

مثال توضيحي

لنعتبر الفضاءين المتريين الآتيين:

• المجال: \(X=\mathbb{R}\)، مزود بالمترية القياسية: $$ d_X(x,x')=|x-x'| $$
• المجال المقابل: \(Y=\mathbb{R}\)، مزود بالمترية القياسية: $$ d_Y(y,y')=|y-y'| $$

ولتكن الدالة:

$$ f(x)=2x $$

سنثبت أن هذه الدالة مستمرة باستخدام تعريف المجموعات المفتوحة وتعريف إبسيلون ودلتا، مما يوضح عمليًا تكافؤ التعريفين.

1] الاستمرارية باستخدام المجموعات المفتوحة

في الطوبولوجيا الناتجة عن المترية القياسية، تكون المجموعة \(V \subseteq Y\) مفتوحة إذا كان لكل نقطة \(y \in V\) كرة مفتوحة محتواة بالكامل في \(V\)، أي يوجد \(\varepsilon>0\) بحيث:

$$ B_Y(y,\varepsilon)=\{y'\in Y\mid |y-y'|<\varepsilon\}\subseteq V $$

لتكن \(V\) مجموعة مفتوحة. تُعرَّف الصورة العكسية لها كما يأتي:

$$ f^{-1}(V)=\{x\in X\mid f(x)\in V\} $$

وبما أن:

$$ f(x)=2x $$

فإن:

$$ f^{-1}(V)=\{x\in\mathbb{R}\mid 2x\in V\} $$

إذا كانت \(x\in f^{-1}(V)\)، فإن \(2x\in V\). ولأن \(V\) مفتوحة، يوجد عدد موجب \(\varepsilon\) بحيث:

$$ B_Y(2x,\varepsilon)\subseteq V $$

نختار:

$$ \delta=\frac{\varepsilon}{2} $$

وعند تحقق:

$$ |x-x'|<\delta $$

نحصل على:

$$ |2x-2x'|=2|x-x'|<2\delta=\varepsilon $$

ومن ثم:

$$ 2x'\in B_Y(2x,\varepsilon)\subseteq V $$

أي أن:

$$ x'\in f^{-1}(V) $$

إذن توجد حول كل نقطة من \(f^{-1}(V)\) كرة مفتوحة محتواة بالكامل فيها، وبالتالي تكون \(f^{-1}(V)\) مجموعة مفتوحة. وهذا يثبت استمرارية الدالة وفق التعريف الطوبولوجي.

2] الاستمرارية باستخدام تعريف إبسيلون ودلتا

لنأخذ نقطة \(x\in X\)، وليكن \(\varepsilon>0\). نريد إيجاد عدد موجب \(\delta\) بحيث إذا تحقق:

$$ |x-x'|<\delta $$

فإن:

$$ |f(x)-f(x')|<\varepsilon $$

وبما أن:

$$ f(x)=2x,\qquad f(x')=2x' $$

فإن:

$$ |f(x)-f(x')| =|2x-2x'| =2|x-x'| $$

لذلك نختار:

$$ \delta=\frac{\varepsilon}{2} $$

وعند تحقق:

$$ |x-x'|<\delta $$

ينتج مباشرة:

$$ |f(x)-f(x')| =2|x-x'| <2\cdot\frac{\varepsilon}{2} =\varepsilon $$

وهذا يثبت أن الدالة مستمرة وفق تعريف إبسيلون ودلتا.

3] الخلاصة

يبين هذا المثال أن:

• استمرارية الدالة \(f(x)=2x\) تكافئ كون الصورة العكسية لكل مجموعة مفتوحة مجموعةً مفتوحة.
• التعريف الطوبولوجي للاستمرارية وتعريف إبسيلون ودلتا يعبران عن المفهوم الرياضي نفسه، وإن اختلفت طريقة صياغتهما.

البرهان

نريد إثبات التكافؤ بين تعريفين لاستمرارية الدالة \(f:X\to Y\)، حيث إن \(X\) و\(Y\) فضاءان متريان.

• تعريف المجموعات المفتوحة: تكون \(f\) مستمرة إذا كانت الصورة العكسية \(f^{-1}(U)\) مفتوحة في \(X\) لكل مجموعة مفتوحة \(U\subseteq Y\).
• تعريف الجوار: لكل نقطة \(x\in X\) ولكل مجموعة مفتوحة \(U\subseteq Y\) تحتوي على \(f(x)\)، يوجد جوار \(V\) للنقطة \(x\) بحيث: $$ f(V)\subseteq U $$

1] إثبات أن تعريف المجموعات المفتوحة يستلزم تعريف الجوار

لنفترض أن \(f\) مستمرة وفق تعريف المجموعات المفتوحة.

ولتكن \(x\in X\)، ولتكن \(U\subseteq Y\) مجموعة مفتوحة تحقق:

$$ f(x)\in U $$

بما أن الصورة العكسية \(f^{-1}(U)\) مفتوحة في \(X\)، ويوجد \(x\) داخلها، فلا بد من وجود جوار \(V\) للنقطة \(x\) بحيث:

$$ V\subseteq f^{-1}(U) $$

وبالتالي:

$$ f(V)\subseteq U $$

وهذا هو تعريف الجوار.

2] إثبات أن تعريف الجوار يستلزم تعريف المجموعات المفتوحة

نفترض الآن تحقق تعريف الجوار.

ولتكن \(W\subseteq Y\) مجموعة مفتوحة، ولنأخذ نقطة:

$$ x\in f^{-1}(W) $$

وهذا يعني أن:

$$ f(x)\in W $$

وبحسب الفرض، يوجد جوار \(V\) للنقطة \(x\) بحيث:

$$ f(V)\subseteq W $$

ومن ثم:

$$ V\subseteq f^{-1}(W) $$

إذن كل نقطة في \(f^{-1}(W)\) تمتلك جوارًا محتوى فيها، وهو ما يثبت أن \(f^{-1}(W)\) مجموعة مفتوحة.

وبذلك نكون قد أثبتنا أن الدالة \(f:X\to Y\) تكون مستمرة وفق تعريف المجموعات المفتوحة إذا وفقط إذا حققت تعريف الجوار.

وهكذا تستمر البرهنة بالطريقة نفسها في الحالات الأكثر عمومية.