الرياضيات · المسرد

ما معنى فضاء هاوسدورف؟

تعريف 6.7 الرياضيات الجامعية — السنة 3 · الفصل 6 — الطوبولوجيا العامة

يكون XX هاوسدورفيًا (أو مفصولًا) إذا كان لكل نقطتين متمايزتين جواران منفصلان. والفضاءات المترية هاوسدورفية (بكرات نصف قطرها d(x,y)/2d(x,y)/2). وتُقال متتالية (xn)(x_n) إنها تتقارب إلى xx إذا احتوى كل جوار للنقطة xx على جميع الحدود xnx_n عدا عددًا منتهيًا منها؛ وفي فضاء هاوسدورفي تكون النهايات وحيدة (إذ سيكون لنهايتين جواران منفصلان يحتوي كلٌّ منهما على ذيل). وفي فضاء هاوسدورفي تكون النقط — ومنه المجموعات المنتهية — مغلقة.

أمثلة

مثال 6.11

حاصل القسمة R/Z\R/\Z (بمطابقة xx مع x+nx + n) مماثل طوبولوجيًا للدائرة S1={zC:z=1}S^1 = \{z \in \C : \abs z = 1\}: إذ ينتقل التطبيق xe2iπxx \mapsto \eu^{2\iu\pi x} إلى تقابل متصل R/ZS1\R/\Z \to S^1 (القضية 6.10(b))؛ ومقلوبه متصل بحجّة التراص في النتيجة 6.14 أدناه (ويفصّل التمرين 6.5 كل شيء، بما في ذلك سبب كون R/Z\R/\Z هاوسدورفيًا ومتراصًّا). وبالمثل فإن [0,1][0,1] بلصق طرفيه هو S1S^1، والمربع بلصق أضلاعه المتقابلة هو الطارة، ويصير اللصق أخيرًا مبرهنةً لا صورة.

اقرأ في الفصل ←