مبرهنة أوريسون في التمتير
إذا كان الفضاء الطوبولوجي منتظمًا وذا قاعدة معدودة، فإنه يكون قابلاً للتمتير.
وبعبارة أبسط، فإن كل فضاء طوبولوجي منتظم يمتلك قاعدة معدودة يمكن تزويده بمترية تولّد الطوبولوجيا نفسها تمامًا، دون أي تغيير في بنيته الطوبولوجية.
- يكون الفضاء منتظمًا إذا أمكن، لكل نقطة ولكل مجموعة مغلقة لا تحتوي عليها، الفصل بينهما بواسطة مجموعتين مفتوحتين متباعدتين. وبصورة حدسية، يعني ذلك أن النقاط والمجموعات المغلقة يمكن فصلها دائمًا بجوارات مفتوحة مناسبة.
- ويقال إن للفضاء قاعدة معدودة إذا وُجدت عائلة معدودة من المجموعات المفتوحة يمكن توليد جميع المجموعات المفتوحة الأخرى منها. أي إن عددًا معدودًا من «اللبنات الأساسية» يكفي لبناء الطوبولوجيا بأكملها.
وبالتالي، إذا كان الفضاء منتظمًا ولم يكن معقدًا من الناحية الطوبولوجية، أي كانت له قاعدة معدودة، فإنه يمكن وصفه بواسطة دالة مسافة.
لكن العكس غير صحيح. فكل فضاء قابل للتمتير هو فضاء منتظم، إلا أن قابليته للتمتير لا تعني بالضرورة أنه يمتلك قاعدة معدودة. ولذلك فإن مبرهنة أوريسون تقدم شرطًا كافيًا للتمتير، لكنها لا تقدم شرطًا لازمًا.
فهم المبرهنة
توضح مبرهنة أوريسون في التمتير متى يمكن وصف فضاء طوبولوجي بواسطة دالة مسافة. فهي تحدد الشروط التي تسمح بالانتقال من التعريف الطوبولوجي المجرد، القائم على المجموعات المفتوحة، إلى وصف يعتمد على مفهوم المسافة.
وتكمن أهمية هذه الفكرة في أن الطوبولوجيا لا تنطلق دائمًا من مفهوم المسافة. ففي كثير من الأحيان نحدد فقط المجموعات المفتوحة، ومن خلالها تتحدد البنية الكاملة للفضاء، دون الحاجة إلى تعريف أي مترية.
ويبرز هنا السؤال الأساسي: متى يمكن إيجاد مترية تولّد هذه الطوبولوجيا؟ أي متى توجد دالة $ d(x,y) $ تقيس المسافة بين النقاط بطريقة تتوافق تمامًا مع الطوبولوجيا المعطاة؟
وقد أجاب أوريسون عن هذا السؤال بإعطاء شرطين أساسيين يجب أن يحققهما الفضاء:
- أن يكون منتظمًا. أي إنه لكل نقطة ولكل مجموعة مغلقة لا تحتوي عليها، يمكن إيجاد مجموعتين مفتوحتين متباعدتين تفصلان بينهما. ويضمن هذا وجود مفهوم واضح للفصل بين النقاط والمجموعات المغلقة.
- أن تكون له قاعدة معدودة. أي أن توجد عائلة معدودة من المجموعات المفتوحة تكفي لتوليد الطوبولوجيا بأكملها. ويمنع هذا الشرط أن تكون البنية الطوبولوجية مفرطة التعقيد.
وعندما يتحقق هذان الشرطان، يكون الفضاء قابلاً للتمتير، أي توجد مترية تولّد طوبولوجيته.
لماذا تُعد هذه المبرهنة مهمة؟ لأنها تشكل حلقة وصل بين الطوبولوجيا والهندسة. فعندما يكون الفضاء قابلاً للتمتير، يمكن دراسة مفاهيم مثل المسافة والتقارب والاستمرارية والمتتاليات باستخدام الأدوات المألوفة في التحليل الرياضي. ولهذا السبب تنتمي فضاءات مألوفة كثيرة، مثل المستقيم الحقيقي والمستوى والفضاءات الإقليدية، إلى هذه الفئة.
مثال تطبيقي
لنأخذ المستقيم الحقيقي ℝ المزود بالطوبولوجيا الاعتيادية المتولدة من الفترات المفتوحة.
يحقق هذا الفضاء شرطي مبرهنة أوريسون:
- هو فضاء منتظم.
- وله قاعدة معدودة، مثل عائلة الفترات المفتوحة ذات الطرفين النسبيين.
لذلك فإن المستقيم الحقيقي ℝ قابل للتمتير. وفي الواقع، فإن المترية المعتادة
$$ d(x, y) = |x - y| $$
تولد الطوبولوجيا الاعتيادية نفسها، ولهذا تُعد المترية الطبيعية على ℝ.
ملاحظة. تُعرَّف الطوبولوجيا الاعتيادية على ℝ بحيث تكون كل مجموعة مفتوحة اتحادًا لفترات مفتوحة من الشكل (a, b).
وتنتمي النقطة $ x $ إلى مجموعة مفتوحة $ A $ إذا وُجد عدد $ \varepsilon > 0 $ بحيث تكون الفترة $ (x-\varepsilon,\;x+\varepsilon) $ محتواة بالكامل في $ A $. وتنشأ هذه الطوبولوجيا مباشرة من المترية الإقليدية $ |x-y| $. ولهذا فهي الطوبولوجيا الطبيعية المستخدمة في التحليل الرياضي، حيث تحتفظ مفاهيم النهاية والاستمرارية والتقارب بتفسيرها الهندسي المعتاد.
المثال الثاني
لننظر الآن إلى المستقيم الحقيقي ℝ المزود بالطوبولوجيا المنفصلة.
هذا الفضاء أيضًا قابل للتمتير، إذ يمكن تعريف المترية المنفصلة كما يأتي:
$$ d(x,y)= \begin{cases} 0, & \text{إذا كان } x=y,\\ 1, & \text{إذا كان } x\ne y. \end{cases} $$
ومع ذلك، فإن هذا الفضاء لا يمتلك قاعدة معدودة. فكل نقطة تشكل مجموعة مفتوحة مستقلة، أي إن كل مجموعة أحادية العنصر من الشكل $ \{x\} $ مفتوحة. وبما أن مجموعة الأعداد الحقيقية غير معدودة، فلا يمكن أن توجد قاعدة معدودة لهذه الطوبولوجيا.
وهذا يبين بوضوح أن عكس مبرهنة أوريسون غير صحيح: فالفضاء قد يكون قابلاً للتمتير، ومع ذلك لا تكون له قاعدة معدودة.
ملاحظة. الطوبولوجيا المنفصلة هي أدق طوبولوجيا يمكن تعريفها على مجموعة، لأن كل مجموعة جزئية فيها مفتوحة ومغلقة في الوقت نفسه. وعلى وجه الخصوص، فإن $$ \{x\}\text{ مجموعة مفتوحة لكل }x\in\mathbb{R}. $$ وفي هذه الطوبولوجيا تكون كل نقطة معزولة عن غيرها، ولذلك تصبح جميع الدوال المعرفة على فضاء منفصل مستمرة تلقائيًا. وعلى الرغم من بساطة هذه الطوبولوجيا، فإنها لا تمتلك قاعدة معدودة عندما تكون المجموعة الأساسية، مثل ℝ، غير معدودة.
