فضاء طبيعي موضعي

يقال أن الفضاء الطوبولوجي X متموضع طبيعيًا إذا وإذا فقط كانت كل نقطة x، بـX لديها مجاور طبيعي يندرج في الفضاء الفرعي الطوبولوجي.

لاحظ أنه ليس كل مجاورلـx ينبغي أن يكون طبيعيًا، ولكن على الأقل أحد مجاوري x ينبغي أن يكون طبيعيًا (يندرج في الفضاء الطوبولوجي).

ولاحظ على كل حال أنه إذا اعتبر أحد الفضاءات متموضعًا طبيعيًا إذا وإذا فقط كانت كل نقطة بالفضاء تنتمي لمجموعة فرعية من الفضاء كانت طبيعيًا مندرجة تحت فضاء فرعي طوبولوجي، ومن ثمّ فيكون كل فضاء طوبولوجي متموضعًا طبيعيًا. وهذا يعتبر نتيجة أن النقطة المفردة {x} تعتبر طبيعيًا خاوية وتحتوي على x. وبناء على ذلك يعتبر التعريف أكثر تقييدًا.

• كل فضاء T1 طبيعيًا موضعيًا يعتبر موضعيًا منتظمًا وهاوسدورف موضعي.
• كل فضاء هاوسدورف مدمج موضعي يعتبر دائمًا موضعيًا طبيعيًا.
• الفضاء الطبيعي يعتبر متموضعًا طبيعيًا.
• كل فضاء T1 لا يحتاج أن يكون متموضعًا طبيعيًا كما تظهر مجموعة الأرقام الحقيقية مع الفضاء النهائي المشترك.

النظرية الأولى

إذا كان X هميومرفية لـ Y و X متموضع طبيعي، فمن ثمّ تكون Y كذلك.

البرهان

يتبع هذا حقيقة أن صورة الفضاء الطبيعي المندرج تحت الهميومرفية يعتبر دائمًا طبيعيًا.

• فضاء هاوسدورف الموضعي
• الفضاء المدمج الموضعي
• الفضاء المتري الموضعي
• الفضاء الطبيعي
• الهميومرفية
• الفضاء المتموضع المنتظم

• بوابة طوبولوجيا