نظام الأحياء
في علم الطوبولوجيا والمجالات الرياضية ذات الصلة ، يُعرف نظام الجوار ، أو النظام الكامل للجوار ، [ 1 ] أو مرشح الجوارمن أجل نقطةفي الفضاء الطوبولوجي ، تكون مجموعة جميع الجوارات
التعريفات
جوار نقطة أو مجموعة
أنالجوار المفتوح لنقطة (أومجموعة جزئية [ ملاحظة 1 ] )في فضاء طوبولوجيأي مجموعة جزئية مفتوحةلالذي يحتوي أحيفيهي أي مجموعة جزئيةالتي تحتوي على بعض الأحياء المفتوحة لـبشكل صريح،هو حي منفيإذا وفقط إذا وُجدت مجموعة جزئية مفتوحةمع[ 2 ] [ 3 ] أو بعبارة أخرى، جوار منهي أي مجموعة تحتوي علىفي بنيتها الطوبولوجية الداخلية .
من المهم الإشارة إلى أن "الجوار" لا يشترط أن يكون مجموعة مفتوحة؛ فالجوارات التي تصادف أنها مجموعات مفتوحة تُعرف باسم "الجوارات المفتوحة". [ ملاحظة 2 ] وبالمثل، يُطلق على الجوار الذي يكون أيضًا مجموعة مغلقة (أو متراصة ، أو متصلة ، وما إلى ذلك) اسمحي مغلق (على التوالي،حي سكني مكتظ ،(مثل الجوار المتصل ، إلخ). توجد أنواع أخرى كثيرة من الجوار تُستخدم في علم الطوبولوجيا والمجالات ذات الصلة، كالتحليلالوظيفي. غالبًا ما تُشكّل مجموعة جميع الجوارات التي تتمتع بخاصية "مفيدة" معينةأساسًا للجوار، مع أن هذه الجوارات ليست بالضرورة مفتوحة في كثير من الأحيان.الفضاءات المدمجة محليًاهي تلك الفضاءات التي تحتوي، عند كل نقطة، على أساس جوار يتكون بالكامل من مجموعات مدمجة.
فلتر الأحياء
نظام الجوار لنقطة (أو مجموعة فرعية غير فارغة )يوجد مرشح يسمى مرشح الجوار لـمرشح الجوار لنقطةوهو نفسه مرشح الجوار لمجموعة العناصر المفردة
أساس الحي
أعلى أساس الجوار أوعلى أساس محلي (أوقاعدة الحي أو(قاعدة محلية ) لنقطةهي قاعدة ترشيح لمرشح الجوار؛ وهذا يعني أنها مجموعة فرعية بحيث يكون ذلك لجميعيوجد بعضبحيث[ 3 ] هنا،يشير إلى مجموعة جميع جواراتأي بالنسبة لأي حييمكننا إيجاد حيعلى أساس الجوار الوارد في
وبعبارة أخرى،وهو أساس محلي فيإذا وفقط إذا كان مرشح الجواريمكن استردادها منبمعنى أن المساواة التالية صحيحة: [ 4 ]عائلةيُعد أساسًا محليًا لـإذا وفقط إذاهي مجموعة فرعية نهائية مشتركة منفيما يتعلق بالترتيب الجزئي(ومن المهم ملاحظة أن هذا الترتيب الجزئي هو علاقة المجموعة الشاملة وليس علاقة المجموعة الجزئية ).
أساس فرعي للحي
أأساس فرعي للجوار فيهي عائلةمن مجموعات فرعية منيحتوي كل منها علىبحيث تكون مجموعة جميع التقاطعات المحدودة الممكنة لعناصريشكل أساسًا محليًا في
أمثلة
لوإذا كانت لها بنيتها الطوبولوجية الإقليدية المعتادة ، فإن جواراتهاهل كل تلك المجموعات الفرعيةوالتي يوجد لها عدد حقيقيبحيثعلى سبيل المثال، جميع المجموعات التالية هي جوارات لـفي: لكن لا توجد أي من المجموعات التالية تمثل جوارات لـ: أينيرمز إلى الأعداد النسبية .
لوهي مجموعة فرعية مفتوحة من فضاء طوبولوجيثم لكلهو حي منفي وبشكل أعم، إذاأي مجموعة ويشير إلى البنية الطوبولوجية الداخلية لـفيثمهو حي (في) لكل نقطةوعلاوة على ذلك،ليست منطقة تابعة لأي نقطة أخرى. بعبارة أخرى ،هي منطقة مجاورة لنقطةإذا وفقط إذا
قواعد الأحياء
في أي فضاء طوبولوجي، يُعد نظام الجوار لنقطة ما أساسًا للجوار لتلك النقطة. وتشكل مجموعة جميع الجوارات المفتوحة عند نقطة ما أساسًا للجوار عند تلك النقطة. لأي نقطةفي فضاء متري ، سلسلة الكرات المفتوحة حولبنصف قطرتشكيل أساس قابل للعد في الجواروهذا يعني أن كل فضاء متري قابل للعد من الدرجة الأولى .
مساحة معينةمع الطوبولوجيا غير المنفصلة، يكون نظام الجوار لأي نقطةلا يحتوي إلا على المساحة بأكملها،.
في الطوبولوجيا الضعيفة على فضاء القياسات على فضاءقاعدة حي حوليُعطى بواسطة أينهي دوال متصلة ومحدودة منإلى الأعداد الحقيقية وهي أعداد حقيقية موجبة.
الفضاءات شبه المعيارية والمجموعات الطوبولوجية
في فضاء شبه معياري ، أي فضاء متجهي ذو طوبولوجيا مستحثة بواسطة معيار شبه معياري ، يمكن إنشاء جميع أنظمة الجوار عن طريق ترجمة نظام الجوار للأصل.
وذلك لأن جمع المتجهات، بحسب الفرضية، عملية متصلة بشكل منفصل في الطوبولوجيا المستحثة. وبالتالي، تُحدد الطوبولوجيا بنظام الجوار عند نقطة الأصل. وبشكل أعم، يظل هذا صحيحًا كلما كان الفضاء زمرة طوبولوجية أو كانت الطوبولوجيا مُعرَّفة بواسطة شبه متري .
ملكيات
يفترضودعأن يكون أساسًا للحي لـفييصنعإلى مجموعة موجهة عن طريق ترتيبها جزئيًا عن طريق تضمين المجموعة الفائقةثمليست منطقة سكنيةفيإذا وفقط إذا كان هناكالشبكة المفهرسةفيبحيثلكل(مما يعني أنفي).
انظر أيضاً
- الأساس (الطوبولوجيا) - مجموعة من المجموعات المفتوحة المستخدمة لتعريف الطوبولوجيا
- تصفية مجموعة – عائلة من المجموعات الفرعية التي تمثل مجموعات "كبيرة".
- المرشحات في علم الطوبولوجيا – استخدام المرشحات لوصف وتوصيف جميع المفاهيم والنتائج الطوبولوجية الأساسية
- الفضاء المتجهي الطوبولوجي المحدب محليًا – فضاء ذو طوبولوجيا مولدة بواسطة مجموعات محدبة
- الجوار (في الرياضيات) - مجموعة مفتوحة تحتوي على نقطة معينة
- القاعدة الفرعية - مجموعة من المجموعات الفرعية التي تولد بنية طوبولوجية
- الحي الأنبوبي - حي من متعدد الشعب الفرعي
مراجع
- ↑ عادةً، تشير كلمة "جوار" إلى جوار نقطة ما ، وسيتم توضيح ما إذا كانت تشير إلى جوار مجموعة. على سبيل المثال، عبارة مثل "جوار فيينبغي، ما لم يُذكر خلاف ذلك، أن يُفهم من عبارة "التي لا تشير إلى أي نقطة أو مجموعة معينة" على أنها تعني "جوار نقطة ما في""
- ↑ لا يشترط معظم المؤلفين أن تكون الجوارات مجموعات مفتوحة لأن كتابة "مفتوح" أمام "الجوار" عندما تكون هذه الخاصية مطلوبة ليس أمرًا شاقًا للغاية، ولأن اشتراط أن تكون مفتوحة دائمًا سيحد بشكل كبير من فائدة مصطلحات مثل "الجوار المغلق" و"الجوار المضغوط".
- ↑ مندلسون، بيرت (1990) [1975]. مقدمة في الطوبولوجيا ( الطبعة الثالثة). دوفر. ص 41. ISBN 0-486-66352-3.
- ↑ بورباكي 1989 ، ص 17-21.
- 1 2 ويلارد 2004 ، ص 31-37.
- ↑ ويلارد، ستيفن (1970). الطوبولوجيا العامة . دار نشر أديسون-ويسلي. رقم ISBN 9780201087079.(انظر الفصل 2، القسم 4)
فهرس
- بورباكي، نيكولا (1989) [1966]. الطوبولوجيا العامة: الفصول من 1 إلى 4 [ Topologie Générale ] . عناصر الرياضيات . برلين نيويورك: سبرينغر للعلوم والإعلام التجاري. دوى : 10.1007/978-3-642-61701-0 . رقم ISBN 978-3-540-64241-1. OCLC 18588129 .
- ديكسمير، جاك (1984). الطوبولوجيا العامة . نصوص جامعية في الرياضيات. ترجمة: بربريان، إس كيه. نيويورك: سبرينغر-فيرلاغ . ISBN 978-0-387-90972-1. OCLC 10277303 .
- ويلارد، ستيفن (2004) [1970]. الطوبولوجيا العامة . مينولا، نيويورك : منشورات دوفر . ISBN 978-0-486-43479-7. OCLC 115240 .
- الطوبولوجيا العامة
