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

ما معنى فضاء مترابط بالمسارات؟

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

يكون XX مترابطًا بالمسارات إذا كان أي نقطتين موصولتين بواسطة مسار (أي تطبيق متصل γ ⁣:[0,1]X\gamma \colon [0,1] \to X). والترابط بالمسارات يستلزم الترابط: إذ إن قيمتَي تطبيق متصل f ⁣:X{0,1}f \colon X \to \{0,1\} عند x,yx, y هما قيمتان للتطبيق الثابت fγf\circ\gamma (المبرهنة 6.20(1)–(2)). والأجزاء المحدّبة من الفضاءات المعيارية مترابطة بالمسارات (بالقطع)؛ وكذلك Rn{0}\R^n \setminus \{0\} من أجل n2n \geq 2 (بالدوران حول المبدأ)، و SnS^n من أجل n1n \geq 1 (بإسقاط المسارات من Rn+1{0}\R^{n+1}\setminus \{0\}).

منحني جيب الطوبولوجي: يتراكم منحني 1x (بالأحمر) على القطعة \0\×[-1,1] بأكملها (بالأزرق). والاتحاد مترابط لكنه غير مترابط بالمسارات: فلا يمكن لأي مسار متصل أن يعبر التذبذبات اللامنتهية العدد في زمن وسيطي منتهٍ.
منحني جيب الطوبولوجي: يتراكم منحني sin1x\sin\frac1x (بالأحمر) على القطعة {0}×[1,1]\{0\}\times[-1,1] بأكملها (بالأزرق). والاتحاد مترابط لكنه غير مترابط بالمسارات: فلا يمكن لأي مسار متصل أن يعبر التذبذبات اللامنتهية العدد في زمن وسيطي منتهٍ.

أمثلة

مثال 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 ذلك دقيقًا. فالترابط والترابط بالمسارات مختلفان فعلًا.

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