مساحة منفصلة للغاية

في الرياضيات، يُعرف الفضاء المنفصل للغاية بأنه فضاء طوبولوجي تكون فيه مجموعة الإغلاق لكل مجموعة مفتوحة مجموعة مفتوحة. (مصطلح "منفصل للغاية" صحيح، على الرغم من أن كلمة "منفصل للغاية" لا تظهر في معظم القواميس، [ 1 ] وقد يخطئ مدققو الإملاء أحيانًا في نطقها على أنها كلمة " منفصل للغاية " المتجانسة صوتيًا .) 

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

يجب أن يكون فضاء هاوسدورف القابل للعد من الدرجة الأولى والمفصول تمامًا منفصلًا . على وجه الخصوص، بالنسبة للفضاءات المترية ، فإن خاصية الفصل التام (أي أن إغلاق كل مجموعة مفتوحة هو مجموعة مفتوحة) تعادل خاصية الانفصال (أي أن كل مجموعة مفتوحة).

أمثلة ونماذج مضادة

المساحات التالية ليست منفصلة تماماً:

  • مجموعة كانتور ليست منفصلة بشكل كبير، ولكنها منفصلة تماماً.

توصيفات مكافئة

تنص نظرية غليسون (1958) على أن الكائنات الإسقاطية لفئة فضاءات هاوسدورف المدمجة هي تحديدًا فضاءات هاوسدورف المدمجة المنفصلة تمامًا. وقدّم رين ووتر (1959) برهانًا مبسطًا لهذه الحقيقة .

تكون فضاءات هاوسدورف المدمجة منفصلة للغاية إذا وفقط إذا كانت عبارة عن انكماش لضغط ستون-تشيك لفضاء منفصل. [ 4 ]

التطبيقات

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

انظر أيضاً

مراجع

  1. "بشكل بالغ" . قاموس أكسفورد الإنجليزي (  الطبعة الإلكترونية). مطبعة جامعة أكسفورد.(يشترط الاشتراك أو عضوية المؤسسة المشاركة .)
  2. شتراوس، دونا بابيرت (1967). "الفضاءات المنفصلة للغاية". وقائع الجمعية الرياضية الأمريكية . 18 (2): 305-309 . doi : 10.1090/S0002-9939-1967-0210066-0 .
  3. Dales et al. 2016 ، التعريف 1.4.3.
  4. سيماديني (1971 ، Thm. 24.7.1)