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

ما معنى فضاء متراص؟

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

التغطية المفتوحة للفضاء XX هي عائلة (Ui)iI(U_i)_{i\in I} من المجموعات المفتوحة تحقق Ui=X\bigcup U_i = X. ويكون XX متراصًّا إذا كان هاوسدورفيًا وقبلت كل تغطية مفتوحة تغطية جزئية منتهية. وهذا يكافئ (بأخذ المتممات): أن يكون لكل عائلة من المجموعات المغلقة تحقق خاصية التقاطع المنتهي (أي إن لكل عائلة جزئية منتهية تقاطعًا غير خالٍ) تقاطعٌ كلي غير خالٍ.

أمثلة

مثال 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، والمربع بلصق أضلاعه المتقابلة هو الطارة، ويصير اللصق أخيرًا مبرهنةً لا صورة.

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