الاستمرارية في الطوبولوجيا

لتكن $X$ و$Y$ فضاءين طوبولوجيين. تُسمّى الدالة $f: X \to Y$ دالةً مستمرة إذا كانت الصورة العكسية $f^{-1}(V)$ لكل مجموعة مفتوحة $V$ في $Y$ مجموعةً مفتوحة في $X$.

بمعنى آخر، تحافظ الدالة المستمرة على بنية المجموعات المفتوحة عند انتقالها من فضاء طوبولوجي إلى آخر.

ويتمثل جوهر الاستمرارية في الطوبولوجيا في المحافظة على البنية الطوبولوجية للفضاءات، لا على المسافات بين النقاط.

ملاحظة: يُعد مفهوم الاستمرارية في الطوبولوجيا أكثر عمومية من مفهوم الاستمرارية في التحليل الرياضي. ففي التحليل الرياضي تُعرَّف الاستمرارية بالاعتماد على مفهوم المسافة وتقارب النقاط، بينما تعتمد في الطوبولوجيا على كيفية تعامل الدالة مع المجموعات المفتوحة. ولهذا السبب يمكن دراسة الاستمرارية في فضاءات لا يكون فيها مفهوم المسافة متاحًا أو ضروريًا.

فعلى سبيل المثال، يمكن وصف تمديد شكل هندسي أو تشويهه دون تمزيقه بواسطة دالة مستمرة.

وتضمن الاستمرارية أن تبقى الخصائص الطوبولوجية الأساسية محفوظة بعد إجراء التحويل.

مثال عملي
مبرهنة الأساس في الاستمرارية
الاستمرارية في الطوبولوجيات الأضعف والأقوى
الفرق بين الاتصال والاستمرارية
ملاحظات

مثال عملي

لنعتبر الفضاءين الطوبولوجيين $X = \{a, b, c, d\}$ و$Y = \{1, 2\}$.

في الفضاء $X$، المجموعات المفتوحة هي: $\{\}, \{a\}, \{a, b\}, \{a, b, c, d\}$.
في الفضاء $Y$، المجموعات المفتوحة هي: $\{\}, \{1\}, \{1, 2\}$.

لنعرّف الآن الدالة $f: X \rightarrow Y$ كما يلي:

$ f(a) = 1 $، $ f(b) = 1 $، $ f(c) = 2 $، $ f(d) = 2 $

فهل هذه الدالة مستمرة وفقًا للتعريف الطوبولوجي؟

يوضح الشكل الآتي الدالة $f$ والفضاءين الطوبولوجيين مع تمييز المجموعات المفتوحة في كل منهما.

مثال على الاستمرارية في الطوبولوجيا

للتحقق من الاستمرارية، ندرس الصور العكسية للمجموعات المفتوحة في $Y$:

المجموعة المفتوحة $\{1\}$ في $Y$ صورتها العكسية هي $ f^{-1}(\{1\}) = \{a, b\} $، وهي مجموعة مفتوحة في $X$.
المجموعة المفتوحة $\{1, 2\}$ في $Y$ صورتها العكسية هي $ f^{-1}(\{1, 2\}) = \{a, b, c, d\} $، وهي أيضًا مجموعة مفتوحة في $X$.

أما المجموعة الخالية فلا حاجة إلى التحقق منها لأنها مفتوحة في جميع الطوبولوجيات.

وبما أن الصورة العكسية لكل مجموعة مفتوحة في $Y$ مفتوحة أيضًا في $X$، فإن الدالة $f$ مستمرة.

المثال 2

لننظر الآن إلى الدالة التالية بين الفضاءين نفسيهما:

$ g(a) = 1 $، $ g(b) = 1 $، $ g(c) = 1 $، $ g(d) = 2 $

يوضح الشكل الآتي الدالة $g$ والمجموعات المفتوحة في كل فضاء.

مثال على دالة غير مستمرة

للتحقق من الاستمرارية ندرس المجموعة المفتوحة $\{1\}$ في $Y$:

صورتها العكسية هي $ g^{-1}(\{1\}) = \{a, b, c\} $، وهذه المجموعة ليست مفتوحة في $X$.

إذن يوجد في $Y$ مجموعة مفتوحة لا تكون صورتها العكسية مفتوحة في $X$، ولذلك فإن الدالة $g$ غير مستمرة.

المثال 3

لننظر إلى دالة الهوية $ id: X \to X $ المعرفة بالعلاقة:

$$ x = f(x) $$

أي أن كل عنصر يُرسَل إلى نفسه.

لا تُحدث دالة الهوية أي تغيير في الفضاء الطوبولوجي، ولذلك تبقى المجموعات المفتوحة كما هي دون تعديل.

ومن ثم فإن دالة الهوية $f(x)=x$ مستمرة دائمًا لأنها تحافظ تلقائيًا على جميع المجموعات المفتوحة.

المثال 4

لننظر الآن إلى دالة ثابتة $ f: X \to Y $ معرفة بالعلاقة:

$$ f(x) = c $$

أي أن الدالة تعيد القيمة نفسها $c$ مهما كان العنصر $x$ المختار من $X$.

وللتحقق من استمرارية هذه الدالة، ندرس صورتها العكسية لأي مجموعة مفتوحة $V$ في $Y$.

هناك حالتان فقط:

إذا كان $ c \in V $، فإن الصورة العكسية هي الفضاء بأكمله $X$، وهو مجموعة مفتوحة.
إذا كان $ c \notin V $، فإن الصورة العكسية هي المجموعة الخالية $ \emptyset $، وهي أيضًا مجموعة مفتوحة.

في كلتا الحالتين نحصل على مجموعة مفتوحة في $X$.

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

ملاحظة: يوضح هذا المثال أن الاستمرارية لا تعتمد فقط على الصيغة الجبرية للدالة، بل تعتمد أيضًا على الطوبولوجيا المعطاة للفضاءات المعنية.

المثال 5

لنعد إلى دالة الهوية $ f : X \to Y $، حيث $f(x)=x$، ولكن بين فضاءين طوبولوجيين مختلفين.

يمثل $X$ مجموعة الأعداد الحقيقية $ \mathbb{R} $ المزودة بـ الطوبولوجيا القياسية، حيث تكون المجموعات المفتوحة فترات من الشكل $ (a,b) $.
ويمثل $Y$ مجموعة الأعداد الحقيقية نفسها، ولكن مزودة بـ طوبولوجيا الحد الأدنى، حيث تكون المجموعات المفتوحة من الشكل $[a,b)$.

للتحقق من استمرارية الدالة، يجب التأكد من أن الصورة العكسية لأي مجموعة مفتوحة في $Y$ تكون مفتوحة أيضًا في $X$.

لنأخذ المجموعة $ [0,1) $، وهي مجموعة مفتوحة في طوبولوجيا الحد الأدنى.

وبما أن $f$ هي دالة الهوية، فإن:

$ f^{-1}([0,1)) = [0,1) $

لكن المجموعة $ [0,1) $ ليست مفتوحة في الطوبولوجيا القياسية.

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

وبالتالي فإن دالة الهوية $ f : \mathbb{R} \to \mathbb{R} $، عندما يكون المجال مزودًا بالطوبولوجيا القياسية والمجال المقابل مزودًا بطوبولوجيا الحد الأدنى، تكون غير مستمرة.

ويرجع ذلك إلى وجود مجموعات مفتوحة في $Y$ لا تكون صورها العكسية مفتوحة في $X$.

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

ولهذا السبب قد تكون الدالة نفسها مستمرة في حالة معينة وغير مستمرة في حالة أخرى، تبعًا للطوبولوجيات المستخدمة.

مبرهنة الأساس في الاستمرارية

لتكن $ X $ و$ Y $ فضاءين طوبولوجيين، ولتكن $ \mathcal{B}_Y $ أساسًا للطوبولوجيا على $ Y $. تكون الدالة $ f: X \to Y $ مستمرة إذا وفقط إذا كانت الصورة العكسية $ f^{-1}(B) $ مفتوحة في $ X $ لكل عنصر أساس $ B \in \mathcal{B}_Y $.

تُعد هذه المبرهنة من أكثر النتائج فائدة في دراسة الاستمرارية، لأنها تختصر بشكل كبير عدد الحالات التي يجب التحقق منها.

فبدلًا من فحص الصورة العكسية لكل مجموعة مفتوحة في $ Y $، يكفي التحقق من الصور العكسية لعناصر أساس الطوبولوجيا فقط. وبما أن عناصر الأساس تكون عادةً أقل عددًا وأكثر بساطة، فإن اختبار الاستمرارية يصبح أسهل وأسرع.

البرهان. كل مجموعة مفتوحة في $ Y $ يمكن التعبير عنها على أنها اتحاد لعناصر من الأساس $ \mathcal{B}_Y $. فإذا كانت الصورة العكسية لكل عنصر من عناصر الأساس مفتوحة في $ X $، فإن الصورة العكسية لأي مجموعة مفتوحة في $ Y $ ستكون أيضًا مفتوحة في $ X $، لأن الصورة العكسية للاتحاد تساوي اتحاد الصور العكسية، واتحاد المجموعات المفتوحة يبقى مجموعة مفتوحة. ومن ثم يتحقق شرط الاستمرارية، فتكون الدالة $ f: X \to Y $ مستمرة.

مثال

لنعتبر الفضاءين الطوبولوجيين $ X = \{a, b, c, d\} $ و$ Y = \{x, y, z\} $، مع الطوبولوجيات الآتية:

الطوبولوجيا على $ X $ هي: $ \tau_X = \{\emptyset, \{a\}, \{a, b\}, \{a, b, c, d\} \} $.
أما أساس الطوبولوجيا على $ Y $ فهو: $ \mathcal{B}_Y = \{\{x\}, \{y\}, \{z\}\} $.

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

على سبيل المثال، المجموعات $ \{x, y\} $، و$ \{x, z\} $، و$ \{y, z\} $، و$ \{x, y, z\} $ ليست عناصر في الأساس $ \mathcal{B}_Y $، لكنها مجموعات مفتوحة في $ Y $ لأنها اتحادات لعناصر من الأساس.

لنعرّف الدالة $ f: X \to Y $ كما يأتي:

$ f(a) = x $
$ f(b) = x $
$ f(c) = y $
$ f(d) = z $

للتحقق من استمرارية الدالة، يكفي دراسة الصور العكسية لعناصر الأساس.

$ f^{-1}(\{x\}) = \{a, b\} $، وهي مجموعة مفتوحة في $ X $.
$ f^{-1}(\{y\}) = \{c\} $، وهذه ليست مجموعة مفتوحة في $ X $، لأنها لا تنتمي إلى الطوبولوجيا $ \tau_X $.

وبما أن الصورة العكسية لأحد عناصر الأساس ليست مفتوحة، فإن الدالة $ f $ غير مستمرة.

ملاحظة. لا حاجة إلى فحص بقية عناصر الأساس بعد العثور على عنصر واحد لا تكون صورته العكسية مفتوحة. فوجود حالة واحدة مخالفة يكفي للحكم بأن الدالة غير مستمرة.

الاستمرارية في الطوبولوجيات الأضعف والأقوى

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

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

الفرق بين الطوبولوجيا الأضعف والطوبولوجيا الأقوى. إذا كانت لدينا طوبولوجيتان معرفتان على المجموعة نفسها $ X $، فإن الطوبولوجيا تُسمّى «أضعف» إذا كانت تحتوي على عدد أقل من المجموعات المفتوحة، وتُسمّى «أقوى» إذا كانت تحتوي على عدد أكبر منها.

مثال

لنعتبر المجموعة $ X = \{a, b\} $ مزودة بالطوبولوجيتين الآتيتين:

الطوبولوجيا الأضعف $ \tau_1 = \{\varnothing, \{a, b\}\} $، حيث لا تكون مفتوحة إلا المجموعة الخالية والمجموعة الكلية.
الطوبولوجيا الأقوى $ \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a, b\}\} $، حيث تكون المجموعتان $ \{a\} $ و$ \{b\} $ مفتوحتين أيضًا.

لنعرّف الدالة $ f: X \to Y $، حيث $ Y = \{1\} $، كما يأتي:

$$ f(a) = 1 $$

$$ f(b) = 1 $$

في الطوبولوجيا الأضعف $ \tau_1 $، لا توجد سوى مجموعتين مفتوحتين هما $ \varnothing $ و$ \{a,b\} $.

للتحقق من استمرارية الدالة، نحسب الصور العكسية للمجموعات المفتوحة في $ Y $:

$ f^{-1}(\varnothing) = \varnothing $، وهي مجموعة مفتوحة بحكم التعريف.
$ f^{-1}(\{1\}) = \{a,b\} $، وهي مجموعة مفتوحة في $ \tau_1 $.

إذن الدالة $ f $ مستمرة بالنسبة إلى الطوبولوجيا الأضعف $ \tau_1 $.

وعند الانتقال إلى الطوبولوجيا الأقوى $ \tau_2 $، تبقى هذه الصور العكسية مفتوحة، لأن كل مجموعة مفتوحة في $ \tau_1 $ تظل مفتوحة في $ \tau_2 $.

في الطوبولوجيا الأقوى $ \tau_2 $، تكون المجموعات المفتوحة هي $ \varnothing $، و$ \{a\} $، و$ \{b\} $، و$ \{a,b\} $.

$ f^{-1}(\varnothing) = \varnothing $، وهي مفتوحة في $ \tau_2 $.
$ f^{-1}(\{1\}) = \{a,b\} $، وهي مفتوحة أيضًا في $ \tau_2 $.

وبالتالي فإن الدالة $ f $ مستمرة أيضًا بالنسبة إلى الطوبولوجيا الأقوى $ \tau_2 $.

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

لكن العكس ليس صحيحًا دائمًا. فاستمرارية الدالة بالنسبة إلى طوبولوجيا أقوى لا تضمن استمراريتها بالنسبة إلى طوبولوجيا أضعف.

المثال 2

لنعد إلى المجموعة $ X = \{a, b\} $ مع الطوبولوجيتين السابقتين:

الطوبولوجيا الأضعف $ \tau_1 = \{\varnothing, \{a,b\}\} $
الطوبولوجيا الأقوى $ \tau_2 = \{\varnothing, \{a\}, \{b\}, \{a,b\}\} $

ولنعرّف الدالة $ g: X \to Y $، حيث $ Y = \{1,2\} $ مزود بالطوبولوجيا المتقطعة، كما يأتي:

$$ g(a) = 1 $$

$$ g(b) = 2 $$

تكون الدالة $ g $ مستمرة بالنسبة إلى الطوبولوجيا الأقوى $ \tau_2 $، لأن جميع الصور العكسية للمجموعات المفتوحة في $ Y $ مفتوحة:

$ g^{-1}(\varnothing) = \varnothing $، وهي مجموعة مفتوحة.
$ g^{-1}(\{1,2\}) = \{a,b\} $، وهي مجموعة مفتوحة.
$ g^{-1}(\{1\}) = \{a\} $، وهي مجموعة مفتوحة.
$ g^{-1}(\{2\}) = \{b\} $، وهي مجموعة مفتوحة.

أما في الطوبولوجيا الأضعف $ \tau_1 $، فالوضع مختلف:

$ g^{-1}(\varnothing) = \varnothing $، وهي مجموعة مفتوحة.
$ g^{-1}(\{1,2\}) = \{a,b\} $، وهي مجموعة مفتوحة.
$ g^{-1}(\{1\}) = \{a\} $، وهذه ليست مجموعة مفتوحة في $ \tau_1 $.

وبما أن الصورة العكسية للمجموعة $ \{1\} $ ليست مفتوحة في $ \tau_1 $، فإن الدالة $ g $ غير مستمرة بالنسبة إلى الطوبولوجيا الأضعف $ \tau_1 $.

إذن فإن الدالة $ g $ مستمرة بالنسبة إلى الطوبولوجيا الأقوى $ \tau_2 $، لكنها غير مستمرة بالنسبة إلى الطوبولوجيا الأضعف $ \tau_1 $.

ويبرز هذا المثال حقيقة أساسية في الطوبولوجيا: استمرارية الدالة لا تعتمد على الدالة وحدها، بل تعتمد أيضًا على الطوبولوجيا المختارة على المجال والمجال المقابل.

الفرق بين الاتصال والاستمرارية

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

الاتصال خاصية للفضاء الطوبولوجي
يصف الاتصال البنية الداخلية للفضاء الطوبولوجي. ويُقال إن الفضاء $ X $ متصل إذا تعذر تقسيمه إلى مجموعتين منفصلتين غير فارغتين تكونان كلتاهما مفتوحتين في $ X $ (أو بصورة مكافئة، كلتاهما مغلقتين). ولذلك فإن الاتصال خاصية كامنة في الفضاء نفسه، ولا تعتمد على أي دالة معرفة عليه.
الاستمرارية خاصية للدالة
تتعلق الاستمرارية بدالة $ f: X \to Y $ بين فضاءين طوبولوجيين. وتكون الدالة مستمرة إذا كانت الصورة العكسية لكل مجموعة مفتوحة في $ Y $ مجموعة مفتوحة في $ X $. وبذلك تصف الاستمرارية الطريقة التي تنقل بها الدالة النقاط والبنى الطوبولوجية من فضاء إلى آخر، لا طبيعة الفضاء ذاته. فعلى سبيل المثال، الدالة $ f(x)=x^2 $ مستمرة من $ \mathbb{R} $ إلى $ \mathbb{R} $ بالنسبة إلى الطوبولوجيا القياسية، لكن هذا لا يخبرنا شيئًا عن كون الفضاء $ \mathbb{R} $ متصلًا أو غير متصل.

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

فإذا كان $ X $ فضاءً متصلًا وكانت $ f: X \to Y $ دالة مستمرة، فإن صورة الفضاء $ X $ بالدالة $ f $، أي $ f(X) $، تكون متصلة في $ Y $.

وتوضح هذه النتيجة أن الاستمرارية تحافظ على الاتصال، لكنها لا تجعل من الاتصال والاستمرارية مفهومًا واحدًا.

ملاحظات

فيما يلي بعض النتائج والملاحظات المهمة المرتبطة بالاستمرارية في الطوبولوجيا.

الدالة المستمرة ليست بالضرورة تطبيقًا مفتوحًا
لا يلزم من استمرارية الدالة أن ترسل المجموعات المفتوحة إلى مجموعات مفتوحة. ولذلك فإن الاستمرارية وحدها لا تكفي لضمان أن تكون الدالة تطبيقًا مفتوحًا.
مبرهنة اللصق
إذا كانت لدينا دالتان مستمرتان $ f: A \to Y $ و$ g: B \to Y $، معرفتان على مجموعتين $ A $ و$ B $ تتقاطعان، وكانتا متطابقتين على $ A \cap B $، فإنه يمكن دمجهما في دالة واحدة مستمرة $ h $ معرفة على الاتحاد $ A \cup B $.
الاستمرارية في طوبولوجيا الفضاء الجزئي
إذا كان $ Y $ فضاءً جزئيًا من الفضاء الطوبولوجي $ X $، فإن تطبيق الاحتواء الذي يرسل كل نقطة $ y \in Y $ إلى النقطة نفسها في $ X $، أي $ f(y)=y $، يكون مستمرًا دائمًا.
الاستمرارية في طوبولوجيا القسمة
إذا كانت لدينا دالة شاملة $ f $ من فضاء طوبولوجي $ X $ إلى مجموعة $ A $، فإن طوبولوجيا القسمة على $ A $ تُعرَّف بحيث تكون $ f $ مستمرة. ولهذا السبب تُعد طوبولوجيا القسمة أضعف طوبولوجيا يمكن تعريفها على $ A $ مع الحفاظ على استمرارية الدالة.
مبرهنة استمرارية الإغلاق
تحافظ الدوال المستمرة على علاقة الانتماء إلى الإغلاق. فإذا كانت النقطة $ x \in X $ تنتمي إلى إغلاق المجموعة $ A \subseteq X $، أي $ x \in \overline{A} $، فإن صورتها $ f(x) $ تنتمي إلى إغلاق صورة المجموعة $ A $، أي $ f(x) \in \overline{f(A)} $.
تعريف الاستمرارية باستخدام المجموعات المفتوحة
تكون الدالة مستمرة إذا وفقط إذا كانت الصورة العكسية لكل مجموعة مفتوحة $ U \subseteq Y $ مجموعة مفتوحة في $ X $.
تعريف الاستمرارية باستخدام المجموعات المغلقة
تكون الدالة $ f : X \to Y $ مستمرة إذا وفقط إذا كانت الصورة العكسية لكل مجموعة مغلقة $ C \subseteq Y $ مجموعة مغلقة في $ X $.
مبرهنة تركيب الدوال المستمرة
إذا كانت الدالتان $ f $ و$ g $ مستمرتين، فإن الدالة المركبة $ g \circ f $ تكون مستمرة أيضًا.
الاستمرارية والمتتاليات المتقاربة
إذا كانت الدالة $ f: X \to Y $ مستمرة، وكانت المتتالية $ x_1, x_2, \dots $ في $ X $ تتقارب إلى النقطة $ x $، فإن متتالية الصور $ f(x_1), f(x_2), \dots $ تتقارب إلى $ f(x) $ في $ Y $.
الدوال كثيرة الحدود
في فضاء الأعداد الحقيقية $ \mathbb{R} $ المزود بالطوبولوجيا القياسية، تكون كل دالة كثيرة حدود $ p : \mathbb{R} \to \mathbb{R} $ من الشكل $ p(x)=a_nx^n+\dots+a_1x+a_0 $ دالة مستمرة.

وتمثل هذه النتائج جزءًا صغيرًا فقط من النظرية العامة للاستمرارية في الطوبولوجيا. فهناك العديد من المبرهنات والخصائص الأخرى التي تعتمد على هذا المفهوم وتبرز دوره المركزي في دراسة الفضاءات الطوبولوجية والعلاقات بينها.