الطوبولوجيا الضربية للفضاءات الطوبولوجية
إذا كان \(X\) و\(Y\) فضاءين طوبولوجيين، فإن الطوبولوجيا الضربية على \(X \times Y\) تُعرَّف بأنها الطوبولوجيا الناتجة عن الأساس \(B\)، الذي يتكوّن من جميع الجداءات الديكارتية للمجموعات المفتوحة من الشكل \(U \times V\)، حيث تكون \(U\) مجموعة مفتوحة في \(X\)، وتكون \(V\) مجموعة مفتوحة في \(Y\). $$ B = \{ U \times V \mid U \text{ مفتوحة في } X \text{ و } V \text{ مفتوحة في } Y \} $$
تُعد الطوبولوجيا الضربية من أهم المفاهيم في علم الطوبولوجيا، لأنها تسمح ببناء فضاءات طوبولوجية جديدة انطلاقًا من فضاءات معروفة مسبقًا. وتعتمد الفكرة الأساسية على دراسة الجداء الديكارتي \(X \times Y\) مع المحافظة على البنية المفتوحة لكل من الفضاءين الأصليين.
ولتحقيق ذلك، نأخذ جميع المجموعات من الشكل \(U \times V\)، حيث تكون \(U\) مجموعة مفتوحة في \(X\)، وتكون \(V\) مجموعة مفتوحة في \(Y\).
وتُرمز هذه العائلة من المجموعات بالرمز \(B\)، وهي تشكّل أساسًا لطوبولوجيا.
ويُقصد بأساس الطوبولوجيا مجموعة من المجموعات المفتوحة يمكن من خلالها توليد جميع المجموعات المفتوحة الأخرى في الفضاء الطوبولوجي \(X \times Y\) عن طريق الاتحادات.
في الطوبولوجيا الضربية، يبقى الجداء الديكارتي للمجموعات المفتوحة مجموعة مفتوحة.
ملاحظة: لا تقتصر المجموعات المفتوحة في الطوبولوجيا الضربية على الجداءات الديكارتية المباشرة للمجموعات المفتوحة في \(X\) و\(Y\)، بل تشمل أيضًا جميع الاتحادات الممكنة لهذه الجداءات. ولهذا السبب لا تُعتبر المجموعة \(B\) طوبولوجيا كاملة، وإنما تُعد أساسًا يُولِّد الطوبولوجيا الضربية. فلو اعتُبرت \(B\) طوبولوجيا بحد ذاتها، فلن تحتوي على جميع المجموعات المفتوحة الممكنة.
وينطبق المبدأ نفسه أيضًا على المجموعات المغلقة.
ففي الطوبولوجيا الضربية، يبقى الجداء الديكارتي للمجموعات المغلقة مجموعة مغلقة.
ومع ذلك، ليست كل مجموعة مغلقة في الطوبولوجيا الضربية قابلة للكتابة على صورة جداء ديكارتي لمجموعتين مغلقتين.
وبعبارة أخرى، كما توجد مجموعات مفتوحة لا تُكتب مباشرة على صورة جداء ديكارتي، توجد أيضًا مجموعات مغلقة لا تنتج عن جداء ديكارتي لمجموعات مغلقة.
مثال عملي
لفهم الفكرة بصورة أوضح، لنأخذ مثالًا بسيطًا على الطوبولوجيا الضربية.
لنفترض أن لدينا فضاءين طوبولوجيين:
- \(X\) هو خط الأعداد الحقيقية \(\mathbb{R}\) المزوّد بالطوبولوجيا المعتادة، حيث تكون المجموعات المفتوحة عبارة عن فترات مفتوحة من الشكل \((a, b)\).
- \(Y\) هو أيضًا خط الأعداد الحقيقية \(\mathbb{R}\) المزوّد بالطوبولوجيا المعتادة نفسها.
عند تكوين الجداء \(X \times Y\)، نحصل على المستوى الديكارتي \(\mathbb{R}^2\).
ولبناء الأساس \(B\) للطوبولوجيا الضربية على \(X \times Y\)، نأخذ جميع المجموعات من الشكل \(U \times V\)، حيث تكون \(U\) مفتوحة في \(X\)، وتكون \(V\) مفتوحة في \(Y\).
فعلى سبيل المثال، إذا أخذنا:
$$ U = (1,2) \subset X $$
و:
$$ V = (3,4) \subset Y $$
فإن الجداء:
$$ U \times V = (1,2) \times (3,4) $$
يمثل مجموعة مفتوحة في \(\mathbb{R}^2\)، وتبدو هذه المجموعة على شكل مستطيل مفتوح في المستوى الديكارتي.
لننتقل الآن إلى اتحاد مجموعتين من مجموعات الأساس.
لنعتبر:
$$ U_1 \times V_1 = (1,2) \times (3,4) $$
وكذلك:
$$ U_2 \times V_2 = (1.5,2.5) \times (3.5,4.5) $$
تمثل هاتان المجموعتان مستطيلين مفتوحين في المستوى.
وعلى الرغم من أن اتحادهما لا يأخذ الشكل التقليدي للجداء الديكارتي \(U \times V\)، فإنه يظل مجموعة مفتوحة لأنه اتحاد لعناصر من الأساس:
$$ (1, 2) \times (3, 4) \cup (1.5, 2.5) \times (3.5, 4.5) $$
وهذا يوضح كيف يمكن توليد المجموعات المفتوحة في الطوبولوجيا الضربية انطلاقًا من اتحادات مجموعات الأساس.
فعلى سبيل المثال، تقع النقطة \((1.8, 3.8)\) داخل المجموعة:
$$ (1, 2) \times (3, 4) $$
وبالتالي فهي تنتمي أيضًا إلى اتحاد مجموعات الأساس.
يؤكد هذا المثال أن الأساس \(B\) يولّد بالفعل طوبولوجيا صحيحة على الجداء الديكارتي \(X \times Y\).
ملاحظة: تُعرف هذه الطوبولوجيا باسم «الطوبولوجيا الضربية»، وتُعد أداة أساسية في الطوبولوجيا الحديثة، لأنها تحافظ على الخصائص المفتوحة للفضاءات الأصلية داخل الفضاء الناتج عن الجداء.
مثال ثانٍ
لفهم الطوبولوجيا الضربية بصورة أوضح، لنأخذ مثالًا بسيطًا على فضاءين طوبولوجيين محدودين.
- \(X = \{a, b, c\}\) مزود بالطوبولوجيا \(\{\emptyset, \{a\}, \{b, c\}, X\}\)
- \(Y = \{1, 2\}\) مزود بالطوبولوجيا \(\{\emptyset, \{1\}, Y\}\)
لحساب الطوبولوجيا الضربية على \(X \times Y\)، نأخذ جميع الجداءات الديكارتية للمجموعات المفتوحة في \(X\) و\(Y\)، ثم نكوّن جميع الاتحادات الممكنة لهذه الجداءات.
ويُعطى أساس الطوبولوجيا الضربية بالعلاقة:
$$ B = \{ U \times V \mid U \text{ مفتوحة في } X \text{ و } V \text{ مفتوحة في } Y \} $$
المجموعات المفتوحة في \(X\) هي:
- \(\emptyset\)
- \(\{a\}\)
- \(\{b, c\}\)
- \(X = \{a, b, c\}\)
أما المجموعات المفتوحة في \(Y\)، فهي:
- \(\emptyset\)
- \(\{1\}\)
- \(Y = \{1, 2\}\)
والآن نحسب الجداءات الديكارتية لهذه المجموعات:
- \(\emptyset \times \emptyset = \emptyset\)
- \(\emptyset \times \{1\} = \emptyset\)
- \(\emptyset \times Y = \emptyset\)
- \(\{a\} \times \emptyset = \emptyset\)
- \(\{a\} \times \{1\} = \{(a, 1)\}\)
- \(\{a\} \times Y = \{(a, 1), (a, 2)\}\)
- \(\{b, c\} \times \emptyset = \emptyset\)
- \(\{b, c\} \times \{1\} = \{(b, 1), (c, 1)\}\)
- \(\{b, c\} \times Y = \{(b, 1), (b, 2), (c, 1), (c, 2)\}\)
- \(X \times \emptyset = \emptyset\)
- \(X \times \{1\} = \{(a, 1), (b, 1), (c, 1)\}\)
- \(X \times Y = \{(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)\}\)
ملاحظة: يُعرَّف الجداء الديكارتي لمجموعتين بأنه مجموعة الأزواج المرتبة التي يكون عنصرها الأول من المجموعة الأولى، وعنصرها الثاني من المجموعة الثانية. ويُكتب ذلك رسميًا على النحو التالي:
$$ A \times B = \{(a, b) \mid a \in A \text{ و } b \in B\} $$
إذا كانت إحدى المجموعتين هي المجموعة الخالية \(\emptyset\)، فلن توجد عناصر يمكن إقرانها بعناصر المجموعة الأخرى، ولذلك لا يمكن تكوين أي زوج مرتب يحتوي على عنصر من المجموعة الخالية. ولهذا يكون الجداء الديكارتي للمجموعة الخالية مع أي مجموعة أخرى مساويًا دائمًا للمجموعة الخالية:
$$ \emptyset \times B = \emptyset $$
فعلى سبيل المثال:
$$ \emptyset \times \{1\} = \emptyset $$
تتكوّن الطوبولوجيا الضربية من جميع الاتحادات الممكنة لهذه الجداءات الديكارتية. ولذلك فإن الطوبولوجيا الضربية على \(X \times Y\) تشمل المجموعات التالية:
- \(\emptyset\)
- \(\{(a, 1)\}\)
- \(\{(a, 1), (a, 2)\}\)
- \(\{(b, 1), (c, 1)\}\)
- \(\{(b, 1), (b, 2), (c, 1), (c, 2)\}\)
- \(\{(a, 1), (b, 1), (c, 1)\}\)
- \(X \times Y = \{(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)\}\)
- وأي اتحاد آخر لهذه المجموعات.
فعلى سبيل المثال:
$$ \{(a, 1)\} \cup \{(b, 1), (c, 1)\} = \{(a, 1), (b, 1), (c, 1)\} $$
ومن ثم، فإن هذه المجموعة تُعد مجموعة مفتوحة في الطوبولوجيا الضربية.
يوضح هذا المثال أن المجموعات المفتوحة في الطوبولوجيا الضربية لا تقتصر على الجداءات الديكارتية المباشرة للمجموعات المفتوحة، بل تشمل أيضًا جميع المجموعات الناتجة عن اتحادات هذه الجداءات.
ولهذا فمن غير الصحيح الاعتقاد بأن المجموعات المفتوحة في الطوبولوجيا الضربية تقتصر فقط على المجموعات من الشكل \(U \times V\).
ويتكوّن الأساس \(B\) للطوبولوجيا على \(X \times Y\) من الجداءات الديكارتية غير الخالية التالية:
- \(\{(a, 1)\}\)
- \(\{(a, 1), (a, 2)\}\)
- \(\{(b, 1), (c, 1)\}\)
- \(\{(b, 1), (b, 2), (c, 1), (c, 2)\}\)
- \(\{(a, 1), (b, 1), (c, 1)\}\)
- \(X \times Y = \{(a, 1), (a, 2), (b, 1), (b, 2), (c, 1), (c, 2)\}\)
جداء عدة فضاءات طوبولوجية
لا يقتصر مفهوم الطوبولوجيا الضربية على فضاءين فقط، بل يمكن تعميمه ليشمل أي عدد من الفضاءات الطوبولوجية.
إذا كانت لدينا \( n \) فضاءات طوبولوجية \( X_1, X_2, \ldots, X_n \)، وكانت \( U_i \) مجموعة مفتوحة في كل فضاء \( X_i \)، فإن جميع الجداءات الممكنة من الشكل \( U_1 \times U_2 \times \cdots \times U_n \) تشكّل أساسًا لطوبولوجيا جديدة على الفضاء الضربي \( X_1 \times X_2 \times \cdots \times X_n \). $$ B = \{ U_1 \times U_2 \times \cdots \times U_n \mid U_i \text{ مفتوحة في } X_i \text{ لكل } i \} $$
أساس الطوبولوجيا الضربية
بوجه عام، يشكّل الجداء الديكارتي للمجموعات المفتوحة في فضاءين طوبولوجيين أساسًا صالحًا للطوبولوجيا الضربية.
$$ B = \{ U \times V \mid U \text{ مفتوحة في } X \text{ و } V \text{ مفتوحة في } Y \} $$
غير أن هذا الأساس قد يصبح كبيرًا ومعقدًا في التطبيقات العملية، ولذلك تُستخدم أحيانًا طريقة أكثر كفاءة لبناء أساس أصغر للطوبولوجيا الضربية.
إذا كان \(X\) و\(Y\) فضاءين طوبولوجيين، وكان \( B_X \) أساسًا للطوبولوجيا على \(X\)، و\( B_Y \) أساسًا للطوبولوجيا على \(Y\)، فإن أساس الطوبولوجيا الضربية على \(X \times Y\) يُبنى انطلاقًا من الجداء الديكارتي لهذين الأساسين: $$ B = \{ U \times V \mid U \in B_X \text{ و } V \in B_Y \} $$
وتشكّل المجموعة \(B\) أساسًا للطوبولوجيا الضربية على \(X \times Y\).
وبعبارة أخرى، فإن عناصر \(B\) تمثل المجموعات المفتوحة الأساسية في الطوبولوجيا الضربية، ويمكن كتابة أي مجموعة مفتوحة في هذه الطوبولوجيا على أنها اتحاد لجداءات ديكارتية من الشكل \(U \times V\).
ملاحظة: يمكن توسيع هذا المفهوم ليشمل جداء أي عدد من الفضاءات الطوبولوجية. فإذا كانت لدينا \( n \) فضاءات طوبولوجية \( X_1 , X_2 , \ldots , X_n \)، وكان \( B_i \) أساسًا لكل فضاء \( X_i \)، فإن جداءات هذه الأسس تشكّل أساسًا للطوبولوجيا الضربية على \( X_1 \times X_2 \times \cdots \times X_n \). $$ B = \{ B_1 \times \cdots \times B_n \mid B_i \text{ أساس للطوبولوجيا على } X_i \text{ لكل } i = 1, \ldots, n \} $$
مثال
لفهم فكرة الأساس الأصغري للطوبولوجيا الضربية بصورة أوضح، لنأخذ المثال التالي.
لدينا الفضاءان الطوبولوجيان:
- الفضاء الطوبولوجي \( X = \{a, b\} \) المزود بالطوبولوجيا \( \mathcal{T}_X = \{\emptyset, \{a\}, \{b\}, \{a, b\}\} \)، والذي يمتلك أساسًا أصغريًا هو \( B_X = \{\{a\}, \{b\}\} \).
- الفضاء الطوبولوجي \( Y = \{1, 2\} \) المزود بالطوبولوجيا \( \mathcal{T}_Y = \{\emptyset, \{1\}, \{2\}, \{1, 2\}\} \)، والذي يمتلك أساسًا أصغريًا هو \( B_Y = \{\{1\}, \{2\}\} \).
بدلًا من استخدام جميع المجموعات المفتوحة في كل فضاء، يمكن بناء أساس أصغري للطوبولوجيا الضربية بالاكتفاء بالجداءات الديكارتية لعناصر الأساسين \( B_X \) و\( B_Y \).
لدينا:
$$ B_X = \{\{a\}, \{b\}\} $$
$$ B_Y = \{\{1\}, \{2\}\} $$
ومن ثم تكون الجداءات الديكارتية الممكنة كما يلي:
$$ \{a\} \times \{1\} = \{(a,1)\} $$
$$ \{a\} \times \{2\} = \{(a,2)\} $$
$$ \{b\} \times \{1\} = \{(b,1)\} $$
$$ \{b\} \times \{2\} = \{(b,2)\} $$
وبالتالي فإن الأساس الأصغري للطوبولوجيا الضربية على \( X \times Y \) هو:
$$ B_{\text{min}} = \{\{(a,1)\}, \{(a,2)\}, \{(b,1)\}, \{(b,2)\}\} $$
ويكفي هذا الأساس لتوليد الطوبولوجيا الضربية كاملة على \( X \times Y \).
فأي مجموعة مفتوحة في الطوبولوجيا الضربية يمكن كتابتها على أنها اتحاد لعناصر من هذا الأساس الأصغري.
ملاحظة: يؤدي استخدام الجداءات الديكارتية للمجموعات الأولية، أي المجموعات التي لا يمكن تحليلها إلى مجموعات أبسط داخل الأساس، إلى الحصول على أساس أصغر حجمًا وأكثر كفاءة، مع الحفاظ على القدرة الكاملة على وصف الطوبولوجيا الضربية.
البرهان
نريد أن نبرهن أن المجموعة \( B \) تشكّل أساسًا للطوبولوجيا الضربية على \( X \times Y \).
$$ B = \{U \times V \mid U \in B_X \text{ و } V \in B_Y\} $$
حيث إن \( B_X \) أساس للطوبولوجيا على \( X \)، و\( B_Y \) أساس للطوبولوجيا على \( Y \).
في الطوبولوجيا الضربية، تكون المجموعات المفتوحة عبارة عن اتحادات لمجموعات من الشكل \( U \times V \)، حيث تكون \( U \) مجموعة مفتوحة في \( X \)، وتكون \( V \) مجموعة مفتوحة في \( Y \).
ولإثبات أن \( B \) يمثل أساسًا لهذه الطوبولوجيا، يجب البرهنة على أن كل مجموعة مفتوحة \( W \) في \( X \times Y \) يمكن التعبير عنها على أنها اتحاد لعناصر من \( B \).
التحقق من خاصية الأساس
لنفترض أن \( W \) مجموعة مفتوحة في الطوبولوجيا الضربية على \( X \times Y \)، وأن النقطة \( (x,y) \) تنتمي إلى \( W \).
بحسب تعريف الطوبولوجيا الضربية، توجد مجموعتان مفتوحتان \( U' \subseteq X \) و\( V' \subseteq Y \) تحققان:
$$ (x,y) \in U' \times V' \subseteq W $$
وبما أن \( U' \) مجموعة مفتوحة في \( X \)، و\( B_X \) أساس للطوبولوجيا على \( X \)، فإنه توجد مجموعة \( U \in B_X \) بحيث:
$$ x \in U \subseteq U' $$
وبالمثل، بما أن \( V' \) مجموعة مفتوحة في \( Y \)، و\( B_Y \) أساس للطوبولوجيا على \( Y \)، فإنه توجد مجموعة \( V \in B_Y \) بحيث:
$$ y \in V \subseteq V' $$
ومن ثم نحصل على:
$$ (x,y) \in U \times V \subseteq U' \times V' \subseteq W $$
وهذا يعني أن كل نقطة \( (x,y) \) في المجموعة المفتوحة \( W \) تنتمي إلى مجموعة من الشكل \( U \times V \) تنتمي إلى \( B \)، وتقع بالكامل داخل \( W \).
النتيجة
بما أن كل نقطة في أي مجموعة مفتوحة \( W \) تنتمي إلى عنصر من عناصر الأساس \( B \) يقع بدوره داخل \( W \)، فإن \( B \) يغطي جميع المجموعات المفتوحة في الطوبولوجيا الضربية.
وعليه فإن المجموعة:
$$ B = \{U \times V \mid U \in B_X \text{ و } V \in B_Y\} $$
تمثل بالفعل أساسًا للطوبولوجيا الضربية على \( X \times Y \).
وبهذا يكتمل البرهان.
ملاحظات
فيما يلي بعض النتائج والمبرهنات المرتبطة بالطوبولوجيا الضربية:
- مبرهنة الفضاءات الجزئية في الفضاءات الضربية
تنص هذه المبرهنة على أنه إذا أخذنا فضاءين جزئيين \(A\) و\(B\) من الفضاءين الطوبولوجيين \(X\) و\(Y\)، فإن الطوبولوجيا على الجداء \(A \times B\)، باعتباره فضاءً جزئيًا من \(X \times Y\)، تتطابق مع الطوبولوجيا الضربية الناتجة مباشرة من الطوبولوجيتين على \(A\) و\(B\). أي إن البنية الطوبولوجية النهائية تبقى نفسها بغض النظر عن طريقة بناء الطوبولوجيا على \(A \times B\). $$ \tau_{A \times B}^{\text{sub}} = \tau_A^{\text{sub}} \times \tau_B^{\text{sub}} $$ - التكافؤ الطوبولوجي للفضاءات الضربية
إذا كانت لدينا الفضاءات \( X \) و\( Y \) و\( Z \)، فإن الفضاءات \( (X \times Y) \times Z \) و\( X \times (Y \times Z) \) و\( X \times Y \times Z \) تكون متكافئة طوبولوجيًا. وبعبارة أخرى، فإن طريقة تجميع العوامل لا تؤثر في البنية الطوبولوجية الناتجة. $$ (X \times Y) \times Z \cong X \times (Y \times Z) \cong X \times Y \times Z $$ - مبرهنة داخل الجداء الديكارتي
إذا كانت \(A\) و\(B\) مجموعتين تنتميان إلى الفضاءين الطوبولوجيين \(X\) و\(Y\) على الترتيب، فإن داخل الجداء الديكارتي \(A \times B\) يساوي الجداء الديكارتي لداخلي المجموعتين \(A\) و\(B\). $$ \text{Int}(A \times B) = \text{Int}(A) \times \text{Int}(B) $$
وهكذا ترتبط بالطوبولوجيا الضربية مجموعة واسعة من النتائج والخصائص الأساسية في علم الطوبولوجيا.
