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

ما معنى topology؟

يُعرف أيضًا باسم: طوبولوجيا · مجموعة مفتوحة · جوار

تعريف 25.1 الرياضيات الجامعية — السنة 1 · الفصل 25 — دوال المتغيرين

على R2\R^2، استعمل المعيار الإقليدي (x,y)=x2+y2\norm{(x,y)} = \sqrt{x^2 + y^2} (الفصل 23). وتُعرَّف الكرات المفتوحة والجوارات والمجموعات الجزئية المفتوحة من R2\R^2 تمامًا كما في الفصل 12، بالكرات بدل الفترات. وتكون الدالة f ⁣:URf \colon U \to \R (UR2U \subseteq \R^2 مفتوحة) متصلة عند aUa \in U إذا كان

ε>0, δ>0,Xaδ    f(X)f(a)ε,\forall\varepsilon > 0,\ \exists\delta > 0, \quad \norm{X - a} \leq \delta \implies \abs{f(X) - f(a)} \leq \varepsilon,

بالتمييز التتالي نفسه كما في متغير واحد. وتحفظ المجاميع والجداءات والقسمة والتراكيب مع الدوال المتصلة في متغير واحد الاتصالَ؛ وتطبيقا الإحداثيتين متصلان، ومنه فكثيرات الحدود في (x,y)(x,y) كذلك.

أمثلة

مثال 25.2 (الحاصر القطبي، الكيفية النظيفة للبرهان على نهاية)

بيّن أن f(x,y)=x2y2x2+y2f(x, y) = \dfrac{x^2y^2}{x^2 + y^2} (مع f(0,0)=0f(0,0) = 0) متصلة عند المبدأ. وبالإحداثيات القطبية x=ρcosθx = \rho\cos\theta و y=ρsinθy = \rho\sin\theta:

f=ρ4cos2θsin2θρ2=ρ2(cosθsinθ)2ρ24ρ00,\abs{f} = \frac{\rho^4\cos^2\theta\sin^2\theta}{\rho^2} = \rho^2\,(\cos\theta\sin\theta)^2 \leq \frac{\rho^2}{4} \xrightarrow[\rho \to 0]{} 0 ,

أي حاصر مستقل عن θ\theta: فمهما كان اتجاه الاقتراب، تُحصر القيم إلى 00. وذلك الانتظام في θ\theta هو كل المقصود — فحاصر مثل g=cosθsinθ\abs g = \abs{\cos\theta\sin\theta} (بلا ρ\rho باقٍ) لا يبرهن على شيء، وفعلًا فإن ذلك المقدار gg هو الفخّ القطري المنقطع في المثال التالي.

مثال 25.3 (الفخّ القطري)

لتكن f(x,y)=xyx2+y2f(x, y) = \dfrac{xy}{x^2 + y^2} من أجل (x,y)(0,0)(x,y) \neq (0,0) و f(0,0)=0f(0, 0) = 0. فعلى امتداد كل محور، f=00f = 0 \to 0؛ لكن على امتداد القطر y=xy = x، f(x,x)=12↛0f(x, x) = \frac12 \not\to 0. ولا نهاية عند المبدأ: فالاقتراب على امتداد كل مستقيم، بل وإيجاد النهاية نفسها على امتداد كلٍّ، لا يكفي (فنهايات المستقيمات هنا لا تتفق؛ وأمثلة أسوأ تتفق على امتداد كل المستقيمات ومع ذلك تفشل على امتداد قطع مكافئ، التمرين 25.3). فالاتصال في كل متغير على حدة لا يستلزم الاتصال.

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

الطوبولوجيا على مجموعة XX هي عائلة T\mathcal T من أجزاء XX — تُسمّى المجموعات المفتوحة — بحيث: ,XT\varnothing, X \in \mathcal T؛ وأي اتحاد لمجموعات مفتوحة مفتوح؛ وأي تقاطع منتهٍ لمجموعات مفتوحة مفتوح. ويُسمّى الزوج (X,T)(X, \mathcal T) فضاءً طوبولوجيًا. ومتممات المجموعات المفتوحة مغلقة. والجوار للنقطة xx مجموعةٌ تحتوي على مجموعة مفتوحة تحتوي على xx.

أمثلة

مثال 6.2

(a) الفضاء المتري، مع «المفتوح» كما في السنة الجامعية 2 (أي اتحادات الكرات المفتوحة): وهي الطوبولوجيا المترية؛ ويمكن لمسافات مختلفة أن تعطي الطوبولوجيا نفسها (المسافات المتكافئة). ويكون الفضاء قابلًا للتمتير إذا نشأت طوبولوجيته عن مسافة ما. (b) الطوبولوجيا المتقطّعة (وفيها جميع الأجزاء مفتوحة) والطوبولوجيا الخشنة {,X}\{\varnothing, X\}. (c) طوبولوجيا المتممات المنتهية على مجموعة لامنتهية: المفتوح == الخالي أو ذو المتمم المنتهي. وهي غير قابلة للتمتير، كما سنرى (التمرين 6.3). (d) على R\R، الطوبولوجيا المعتادة؛ وعلى Rˉ=R{±}\bar\R = \R \cup \{\pm\infty\}، طوبولوجيا الترتيب المولَّدة بالأشعة — وهي تجعل «xn+x_n \to +\infty» حالةً من التقارب العادي.

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