استمرارية الدوال في طوبولوجيا القسمة
في طوبولوجيا القسمة، تكون الدالة الشاملة \( f: X \to A \) مستمرة بصورة تلقائية. ويعود ذلك إلى أن المجموعة \( V \subseteq A \) تُعد مفتوحة إذا وفقط إذا كانت صورتها العكسية \( f^{-1}(V) \) مفتوحة في الفضاء \( X \).
لنفترض وجود فضاء طوبولوجي \( X \) ودالة شاملة \( f: X \to A \)، حيث إن \( A \) مجموعة اعتباطية لا يُشترط أن تكون جزءًا من \( X \).
عند تزويد المجموعة \( A \) بـ طوبولوجيا القسمة، فإن استمرارية الدالة \( f \) تصبح مضمونة بحكم التعريف نفسه.
لفهم السبب، يكفي أن نتذكر أن المجموعة \( V \subseteq A \) تُعتبر مفتوحة في طوبولوجيا القسمة إذا وفقط إذا كانت صورتها العكسية \( f^{-1}(V) \) مفتوحة في \( X \).
وبما أن استمرارية الدالة تُعرَّف من خلال انفتاح الصور العكسية للمجموعات المفتوحة، فإن هذا الشرط يتحقق تلقائيًا بالنسبة إلى الدالة \( f \).
ملاحظة. لا تُثبت استمرارية الدالة \( f \) بعد تعريف طوبولوجيا القسمة، بل تكون جزءًا من التعريف نفسه، لأن هذه الطوبولوجيا تُبنى انطلاقًا من الصور العكسية للمجموعات المفتوحة.
مثال تطبيقي
لنأخذ الفضاء \( X = \{a, b, c\} \)، وهو فضاء يتكوّن من ثلاث نقاط.
ولنعرّف دالة شاملة \( f: X \to A \)، حيث \( A = \{1, 2\} \)، كما يأتي:
- \( f(a) = f(b) = 1 \)
- \( f(c) = 2 \)
بعبارة أخرى، تقوم الدالة بدمج العنصرين \( a \) و\( b \) في نقطة واحدة هي \( 1 \)، بينما يُرسَل العنصر \( c \) إلى النقطة \( 2 \).
في طوبولوجيا القسمة، تكون المجموعة \( V \subseteq A \) مفتوحة متى كانت صورتها العكسية \( f^{-1}(V) \) مفتوحة في \( X \).
على سبيل المثال، إذا أخذنا \( V = \{1\} \subseteq A \)، فإن صورتها العكسية هي \( f^{-1}(\{1\}) = \{a, b\} \). فإذا كانت المجموعة \( \{a, b\} \) مفتوحة في \( X \)، فإن المجموعة \( \{1\} \) تكون مفتوحة في \( A \).
ولنفترض أن المجموعتين \( \{a, b\} \) و\( \{c\} \) مفتوحتان في \( X \). عندئذ تكون المجموعات المفتوحة في \( A \) هي:
\( \emptyset \)، و\( \{1\} \)، و\( \{2\} \)، و\( \{1,2\} \).
- \( f^{-1}(\emptyset) = \emptyset \)، وهي المجموعة الخالية، وتُعد مفتوحة في كل طوبولوجيا
- \( f^{-1}(\{1,2\}) = \{a,b\} \cup \{c\} = \{a,b,c\} = X \)، وهي المجموعة الكاملة، ولذلك فهي مفتوحة في \( X \)
- \( f^{-1}(\{1\}) = \{a,b\} \)، وهي مجموعة مفتوحة في \( X \)
- \( f^{-1}(\{2\}) = \{c\} \)، وهي مجموعة مفتوحة في \( X \)
يتضح من هذا المثال أن طوبولوجيا القسمة صُمِّمت بحيث تجعل الدالة \( f \) مستمرة. فكل مجموعة مفتوحة في \( A \) تمتلك صورة عكسية مفتوحة في \( X \)، وهو الشرط الأساسي لاستمرارية الدوال بين الفضاءات الطوبولوجية.
لذلك يمكن القول إن استمرارية الدالة \( f \) ليست نتيجة تُستنتج من طوبولوجيا القسمة، بل هي خاصية مدمجة في تعريف هذه الطوبولوجيا منذ البداية.
وينطبق المبدأ نفسه على جميع أمثلة طوبولوجيا القسمة الأخرى.
