طوبولوجيا الضرب

في الطوبولوجيا و المجالات ذات الصلة الوثيقة بالرياضيات ، يعتبر **فضاء الضرب** (**product space )هو** حاصل الضرب الديكارتي لعائلة من الفضاءات الطوبولوجية المجهزة بطوبولوجيا طبيعية تسمى **طوبولوجيا الضرب** . تختلف هذه الطوبولوجيا عن طوبولوجيا الصندوق ، التي ربما تبدو أكثر طبيعية، و يمكن أيضًا منحها لمساحة المنتج و التي تتفق مع طوبولوجيا الضرب عندما يكون المنتج فوق عدد محدود فقط من المساحات. و مع ذلك، فإن طوبولوجيا الضرب "صحيحة" من حيث أنها تجعل من فضاء المنتج منتجًا تصنيفيًا لعوامله، في حين أن طوبولوجيا الصندوق دقيقة للغاية؛ و بهذا المعنى فإن طوبولوجيا الضرب هي الطوبولوجيا الطبيعية على المنتج الديكارتي.

## التعريف
عندما، I ستكون مجموعة فهرس غير فارغة ولكل فهرس i \in I, أترك X_i يكون فضاء طوبولوجيًا . أشر إلى حاصل الضرب الديكارتي للمجموعات X_i عبر؛

X := \prod X_{\bull} := \prod_{i \in I} X_i

و لكل مؤشر i \in I, تدل على i - الإسقاط الأساسي(**بواسطة**

\begin{align}
p_i :\ \prod_{j \in I} X_j &\to   X_i, \\[3mu]
    (x_j)_{j \in I}   &\mapsto x_i. \\
\end{align}

*
طوبولوجيا الضرب على <math display="inline">\prod_{i \in I} X_i</math> هي تلك التي أنشأتبواسطة مجموعات من النموذج <math>p_i^{-1}\left(U_i\right),</math> عندما <math>i \in I</math> و <math>U_i</math> هي مجموعة فرعية مفتوحة من <math>X_i.</math> بعبارة أخرى، المجموعات

<math display="block">
\left\{p_i^{-1}\left(U_i\right) \mathbin{\big\vert} i \in I \text{ and } U_i \subseteq X_i \text{ is open in } X_i\right\}
</math>

تشكل قاعدة فرعية للطوبولوجيا على <math>X.</math> [[مجموعة جزئية|مجموعة فرعية]] من <math>X</math> يكون مفتوحًا إذا و فقط إذا كان [[اتحاد (نظرية المجموعات)|اتحادًا]] ربما لانهائيًا [[تقاطع (نظرية المجموعات)|لتقاطعات]] مجموعات محدودة العدد من النموذج <math>p_i^{-1}\left(U_i\right).</math> ال <math>p_i^{-1}\left(U_i\right)</math> و تسمى أحيانًا بالأسطوانات الرياضية المفتوحة ، و يكون تقاطعاتها عبارة عن مجموعة من الإسطوانات .

تُسمى طوبولوجيا الضرب أيضًا  لأن [[متتالية|التسلسل]] أو الشبكة في <math display="inline">\prod_{i \in I} X_i</math> يتقارب إذا و فقط إذا كانت جميع إسقاطاته إلى الفضاءات <math>X_i</math> تتقارب. تسلسل <math display="inline">s_{\bull} = \left(s_n\right)_{n=1}^{\infty}</math> على التوالي، شبكة <math display="inline">s_{\bull} = \left(s_a\right)_{a \in A}</math> تتقارب إلى نقطة معينة <math display="inline">x \in \prod_{i \in I} X_i</math> إذا وفقط إذا <math>p_i\left(s_{\bull}\right) \to p_i(x)</math> في <math>X_i</math> لكل مؤشر <math>i \in I,</math> عندما<math>p_i\left(s_{\bull}\right) := p_i \circ s_{\bull}</math> يدل على <math>\left(p_i\left(s_n\right)\right)_{n=1}^{\infty}</math> على التوالي، يشير إلى <math>\left(p_i\left(s_a\right)\right)_{a \in A}</math> ). و على وجه الخصوص، إذا <math>X_i = \R</math> يستخدم للجميع <math>i</math> عندها يكون حاصل الضرب الديكارتي هو الفضاء <math display="inline">\prod_{i \in I} \R = \R^I</math> من كل [[دالة|الدوال]] ذات القيمة [[عدد حقيقي|الحقيقية]] على <math>I,</math> والتقارب في طوبولوجيا الضرب هو نفس [[تقارب نقطة بنقطة|التقارب النقطي]] للوظائف.

== أمثلة ==
إذا كان [[مستقيم الأعداد|الخط الحقيقي]] <math>\R</math> يتمتع بطوبولوجيا قياسية ثم طوبولوجيا حاصل الضرب على حاصل الضرب <math>n</math> نسخ من <math>\R</math> يساوي [[طوبولوجيا إقليدسية|الطوبولوجيا الإقليدية]] العادية على <math>\R^n.</math> ، لأن <math>n</math> هو محدود، مما يعادل أيضًا طوبولوجيا الصندوق على <math>\R^n.</math>

تقدم العديد من الأمثلة الإضافية في المقالة حول الطوبولوجيا الأولية .

== ملكيات ==
مجموعة المنتجات الديكارتية بين المجموعات المفتوحة لطوبولوجيات كل منها <math>X_i</math> يشكل الأساس لما يسمى بطوبولوجيا الصندوق <math>X.</math> بشكل عام، تكون طوبولوجيا الصندوق أدق من طوبولوجيا الضرب، ولكن بالنسبة للمنتجات المحدودة فإنها تتطابق.

مساحة المنتج <math>X,</math> مع الإسقاطات الكنسية، يمكن وصفها [[خاصية شاملة|بالخاصية العالمية]] التالية: إذا <math>Y</math> هي مساحة طوبولوجية، و لكل <math>i \in I,</math><math>f_i : Y \to X_i</math> الخريطة متصلة، إذن توجد خريطة متصلة واحدة <math>f : Y \to X</math> بحيث يكون لكل منهما <math>i \in I</math> و المخطط التالي [[مخطط تبادلي|يوضح التنقلات]] :



ووهذا يوضح أن فضاء الضرب هو ضرب في فئة الفضاءات الطوبولوجية . مما يترتب على الخاصية العالمية المذكورة أعلاه أن الخريطة <math>f : Y \to X</math> تكون مستمرة [[إذا وفقط إذا|إذا و فقط إذا]] <math>f_i = p_i \circ f</math> مستمر للجميع <math>i \in I.</math> في كثير من الحالات، يكون من الأسهل التحقق من وظائف المكون <math>f_i</math> مستمرة. التحقق مما إذا كانت الخريطة <math> X \to Y</math> استمرارية عادة ما تكون أكثر صعوبة؛ حيث يحاول المرء استخدام حقيقة أن <math>p_i</math> مستمرة بطريقة ما.

بالإضافة إلى كونها مستمرة، فإن الإسقاطات الكنسية <math>p_i : X \to X_i</math> هي خرائط مفتوحة . وهذا يعني أن أي مجموعة فرعية مفتوحة من مساحة المنتج تظل كذلك عند إسقاطها لأسفل إلى <math>X_i.</math> و العكس ليس صحيحا أبدا: إذا <math>W</math> هي مساحة فرعية من مساحة المنتج التي تمتد إسقاطاتها إلى جميع <math>X_i</math> هي مفتوحة إذن <math>W</math> لا يلزم أن تكون مفتوحة في <math>X</math> على سبيل المثال <math display="inline">W = \R^2 \setminus (0, 1)^2.</math> ) لا تكون الإسقاطات الكنسية عبارة عن خرائط مغلقة بشكل عام ، على سبيل المثال، ضع في اعتبارك المجموعة المغلقة <math display="inline">\left\{(x,y) \in \R^2 : xy = 1\right\},</math> و التي تكون إسقاطاتها على كلا المحورين <math>\R \setminus \{0\}</math> ).

لنفترض <math display="inline">\prod_{i \in I} S_i</math> هو عبارة عن نتاج مجموعات فرعية عشوائية، حيث <math>S_i \subseteq X_i</math> لكل واحد <math>i \in I.</math> إذا كان كل شيء <math>S_i</math>  إذن <math display="inline">\prod_{i \in I} S_i</math> هي مجموعة فرعية مغلقة من مساحة المنتج <math>X</math> إذا و فقط إذا كان كل <math>S_i</math> هي مجموعة فرعية مغلقة من <math>X_i.</math> و بصفة عامة، إغلاق المنتج <math display="inline">\prod_{i \in I} S_i</math> من المجموعات الفرعية التعسفية في فضاء المنتج <math>X</math> يساوي حاصل ضرب الإغلاقات: 

<math display="block">
{\operatorname{Cl}_X}\Bigl(\prod_{i \in I} S_i\Bigr) = \prod_{i \in I} \bigl({\operatorname{Cl}_{X_i}} S_i\bigr).
</math>

كل ضرب من [[فضاء هاوسدورف|فضاءات هاوسدورف]] هو مرة أخرى فضاء هاوسدورف.

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

<math display="inline">z = \left(z_i\right)_{i \in I} \in X</math> تم إصلاحه عندها المجموعة

<math display="block">
\left\{ x = \left(x_i\right)_{i \in I} \in X \mathbin{\big\vert} x_i = z_i \text{ for all but finitely many } i \right\}
</math>

هي [[مجموعة كثيفة|مجموعة فرعية كثيفة]] من مساحة المنتج <math>X</math>  .

== العلاقة مع المفاهيم الطوبولوجية الأخرى ==
*'الانفصال**

* كل حاصل ضرب [[فضاء كولموغوروف|T <sub>0</sub> في الفراغات]] هو T <sub>0</sub> .
* كل حاصل ضرب T  من الفراغات هو T <sub>1</sub> .
* كل منتج من [[فضاء هاوسدورف|مساحات هاوسدورف]] هو هاوسدورف.
* كل ضرب من المساحات المنتظمة هو منتظم.
* كل ضرب من منتجات [[فضاء تيكونوف|فضاءات تيخونوف]] هو تيخونوف.
*  أن يكون منتج المساحات العادية عاديًا.

**الاكتناز**

* كل حاصل ضرب فضاءات مضغوطة يكون مضغوطا ( نظرية تيخونوف ).
* أن يكون الضرب المصنوع من مساحات محلية مضغوطة محليًا. ومع ذلك، فإن الضرب التعسفي للمساحات المدمجة محليًا حيث تكون جميعها مضغوطة باستثناء عدد محدود منها  مضغوطًا محليًا (وهذا الشرط كافٍ وضروري).

**الترابط**

* كل ضرب من المساحات المتصلة (أو المتصلة بالمسار) هو متصل (أو متصل بالمسار).
* كل ضرب من المساحات المنفصلة وراثيًا هو منفصل وراثيًا.

**المساحات المترية'''

* منتجات الضرب القابلة للعد للمساحات المترية هي مساحات مترية .

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

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

## انظر أيضا

* 
* 
*  - Sometimes called the projective limit topology
* 
* 
* 
* 
* 

## المراجع

*  
* 

تصنيف:طوبولوجيا عامة
تصنيف:صفحات بترجمات غير مراجعة