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

ما معنى غلق؟

يُعرف أيضًا باسم: مجموعة كثيفة

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

من أجل AXA \subseteq X: يكون الداخل A˚\mathring A أكبر مجموعة مفتوحة داخل AA (أي اتحاد جميعها)؛ ويكون الغلق Aˉ\bar A أصغر مجموعة مغلقة تحتوي على AA؛ وتكون الحافة A=AˉA˚\partial A = \bar A \setminus \mathring A. وتكون AA كثيفة إذا كان Aˉ=X\bar A = X. ويتحقق xAˉx \in \bar A إذا وفقط إذا لاقى كلُّ جوار للنقطة xx المجموعةَ AA (إذ لو أخطأ جوار ما المجموعةَ AA، لكان متمم لبّه المفتوح مجموعة مغلقة أصغر تحيط بالمجموعة AA؛ والعكس بالمثل).

أمثلة

مثال 6.22 (منحني جيب الطوبولوجي)

لتكن Γ={(x,sin1x):0<x1}\Gamma = \{(x, \sin\frac1x) : 0 < x \leq 1\} ولتكن S=Γˉ=Γ({0}×[1,1])S = \bar\Gamma = \Gamma \cup (\{0\}\times[-1,1]) (فكل نقطة (0,y)(0, y) مع y1\abs y \leq 1 نهايةٌ لنقط من Γ\Gamma: بحل sin1x=y\sin\frac1x = y قرب 00). عندئذٍ تكون SS مترابطة — لأنها غلق المجموعة المترابطة Γ\Gamma، وهي صورة متصلة للفترة (0,1](0, 1] (المبرهنة 6.20(3)) — لكنها غير مترابطة بالمسارات: إذ إن مسارًا من (1,sin1)(1, \sin 1) إلى (0,0)(0,0) سيضطر إلى قطع فواصل 0\to 0 بينما يتذبذب الترتيب بين ±1\pm1؛ ويجعل التمرين 6.9 ذلك دقيقًا. فالترابط والترابط بالمسارات مختلفان فعلًا.

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