نظام الأحياء

في علم الطوبولوجيا والمجالات الرياضية ذات الصلة ، يُعرف نظام الجوار ، أو النظام الكامل للجوار ، [ 1 ] أو مرشح الجوارشمال(x){\displaystyle {\mathcal {N}}(x)}من أجل نقطةx{\displaystyle x}في الفضاء الطوبولوجي ، تكون مجموعة جميع الجواراتx.{\displaystyle x.}

التعريفات

جوار نقطة أو مجموعة

أنالجوار المفتوح لنقطة (أومجموعة جزئية [ ملاحظة 1 ] )x{\displaystyle x}في فضاء طوبولوجيX{\displaystyle X}أي مجموعة جزئية مفتوحةيو{\displaystyle U}لX{\displaystyle X}الذي يحتويx.{\displaystyle x.} أحيx{\displaystyle x}فيX{\displaystyle X}هي أي مجموعة جزئيةشمالX{\displaystyle N\subseteq X}التي تحتوي على بعض الأحياء المفتوحة لـx{\displaystyle x}بشكل صريح،شمال{\displaystyle N}هو حي منx{\displaystyle x}فيX{\displaystyle X}إذا وفقط إذا وُجدت مجموعة جزئية مفتوحةيو{\displaystyle U}معxيوشمال{\displaystyle x\in U\subseteq N}[ 2 ] [ 3 ] أو بعبارة أخرى، جوار منx{\displaystyle x}هي أي مجموعة تحتوي علىx{\displaystyle x}في بنيتها الطوبولوجية الداخلية .

من المهم الإشارة إلى أن "الجوار" لا يشترط أن يكون مجموعة مفتوحة؛ فالجوارات التي تصادف أنها مجموعات مفتوحة تُعرف باسم "الجوارات المفتوحة". [ ملاحظة 2 ] وبالمثل، يُطلق على الجوار الذي يكون أيضًا مجموعة مغلقة (أو متراصة ، أو متصلة ، وما إلى ذلك) اسمحي مغلق (على التوالي،حي سكني مكتظ ،(مثل الجوار المتصل ، إلخ). توجد أنواع أخرى كثيرة من الجوار تُستخدم في علم الطوبولوجيا والمجالات ذات الصلة، كالتحليلالوظيفي. غالبًا ما تُشكّل مجموعة جميع الجوارات التي تتمتع بخاصية "مفيدة" معينةأساسًا للجوار، مع أن هذه الجوارات ليست بالضرورة مفتوحة في كثير من الأحيان.الفضاءات المدمجة محليًاهي تلك الفضاءات التي تحتوي، عند كل نقطة، على أساس جوار يتكون بالكامل من مجموعات مدمجة.

فلتر الأحياء

نظام الجوار لنقطة (أو مجموعة فرعية غير فارغة )x{\displaystyle x}يوجد مرشح يسمى مرشح الجوار لـx.{\displaystyle x.}مرشح الجوار لنقطةxX{\displaystyle x\in X}وهو نفسه مرشح الجوار لمجموعة العناصر المفردة{x}.{\displaystyle \{x\}.}

أساس الحي

أعلى أساس الجوار أوعلى أساس محلي (أوقاعدة الحي أو(قاعدة محلية ) لنقطةx{\displaystyle x}هي قاعدة ترشيح لمرشح الجوار؛ وهذا يعني أنها مجموعة فرعية بشمال(x){\displaystyle {\mathcal {B}}\subseteq {\mathcal {N}}(x)}بحيث يكون ذلك لجميعVشمال(x)،{\displaystyle V\in {\mathcal {N}}(x),}يوجد بعضبب{\displaystyle B\in {\mathcal {B}}}بحيثبV.{\displaystyle B\subseteq V.}[ 3 ] هنا،شمال(x){\displaystyle {\mathcal {N}}(x)}يشير إلى مجموعة جميع جواراتx{\displaystyle x}أي بالنسبة لأي حيV{\displaystyle V}يمكننا إيجاد حيب{\displaystyle B}على أساس الجوار الوارد فيV.{\displaystyle V.}

وبعبارة أخرى،ب{\displaystyle {\mathcal {B}}}وهو أساس محلي فيx{\displaystyle x}إذا وفقط إذا كان مرشح الجوارشمال{\displaystyle {\mathcal {N}}}يمكن استردادها منب{\displaystyle {\mathcal {B}}}بمعنى أن المساواة التالية صحيحة: [ 4 ]شمال(x)={VX : بV بالنسبة للبعض بب}.{\displaystyle {\mathcal {N}}(x)=\left\{V\subseteq X~:~B\subseteq V{\text{ لبعض }}B\in {\mathcal {B}}\right\}\!\!\;.}عائلةبشمال(x){\displaystyle {\mathcal {B}}\subseteq {\mathcal {N}}(x)}يُعد أساسًا محليًا لـx{\displaystyle x}إذا وفقط إذاب{\displaystyle {\mathcal {B}}}هي مجموعة فرعية نهائية مشتركة من(شمال(x)،){\displaystyle \left({\mathcal {N}}(x),\supseteq \right)}فيما يتعلق بالترتيب الجزئي{\displaystyle \supseteq }(ومن المهم ملاحظة أن هذا الترتيب الجزئي هو علاقة المجموعة الشاملة وليس علاقة المجموعة الجزئية ).

أساس فرعي للحي

أأساس فرعي للجوار فيx{\displaystyle x}هي عائلةS{\displaystyle {\mathcal {S}}}من مجموعات فرعية منX،{\displaystyle X,}يحتوي كل منها علىx،{\displaystyle x,}بحيث تكون مجموعة جميع التقاطعات المحدودة الممكنة لعناصرS{\displaystyle {\mathcal {S}}}يشكل أساسًا محليًا فيx.{\displaystyle x.}

أمثلة

لوR{\displaystyle \mathbb {R} }إذا كانت لها بنيتها الطوبولوجية الإقليدية المعتادة ، فإن جواراتها0{\displaystyle 0}هل كل تلك المجموعات الفرعيةشمالR{\displaystyle N\subseteq \mathbb {R} }والتي يوجد لها عدد حقيقير>0{\displaystyle r>0}بحيث(-ر،ر)شمال.{\displaystyle (-r,r)\subseteq N.}على سبيل المثال، جميع المجموعات التالية هي جوارات لـ0{\displaystyle 0}فيR{\displaystyle \mathbb {R} }: (-2،2)،[-2،2]،[-2،)،[-2،2){10}،[-2،2]سؤال،R{\displaystyle (-2,2),\;[-2,2],\;[-2,\infty ),\;[-2,2)\cup \{10\},\;[-2,2]\cup \mathbb {Q} ,\;\mathbb {R} } لكن لا توجد أي من المجموعات التالية تمثل جوارات لـ0{\displaystyle 0}: {0}،سؤال،(0،2)،[0،2)،[0،2)سؤال،(-2،2){1،12،13،14،...}{\displaystyle \{0\},\;\mathbb {Q} ,\;(0,2),\;[0,2),\;[0,2)\cup \mathbb {Q} ,\;(-2,2)\setminus \left\{1,{\tfrac {1}{2}},{\tfrac {1}{3}},{\tfrac {1}{4}},\ldots \right\}} أينسؤال{\displaystyle \mathbb {Q} }يرمز إلى الأعداد النسبية .

لويو{\displaystyle U}هي مجموعة فرعية مفتوحة من فضاء طوبولوجيX{\displaystyle X}ثم لكلuيو،{\displaystyle u\in U,}يو{\displaystyle U}هو حي منu{\displaystyle u}فيX.{\displaystyle X.} وبشكل أعم، إذاشمالX{\displaystyle N\subseteq X}أي مجموعة وعدد صحيحXشمال{\displaystyle \operatorname {int} _{X}N}يشير إلى البنية الطوبولوجية الداخلية لـشمال{\displaystyle N}فيX،{\displaystyle X,}ثمشمال{\displaystyle N}هو حي (فيX{\displaystyle X}) لكل نقطةxعدد صحيحXشمال{\displaystyle x\in \operatorname {int} _{X}N}وعلاوة على ذلك،شمال{\displaystyle N}ليست منطقة تابعة لأي نقطة أخرى. بعبارة أخرى ،شمال{\displaystyle N}هي منطقة مجاورة لنقطةxX{\displaystyle x\in X}إذا وفقط إذاxعدد صحيحXشمال.{\displaystyle x\in \operatorname {int} _{X}N.}

قواعد الأحياء

في أي فضاء طوبولوجي، يُعد نظام الجوار لنقطة ما أساسًا للجوار لتلك النقطة. وتشكل مجموعة جميع الجوارات المفتوحة عند نقطة ما أساسًا للجوار عند تلك النقطة. لأي نقطةx{\displaystyle x}في فضاء متري ، سلسلة الكرات المفتوحة حولx{\displaystyle x}بنصف قطر1/ن{\displaystyle 1/n}تشكيل أساس قابل للعد في الجوارب={ب1/ن:ن=1،2،3،...}{\displaystyle {\mathcal {B}}=\left\{B_{1/n}:n=1,2,3,\dots \right\}}وهذا يعني أن كل فضاء متري قابل للعد من الدرجة الأولى .

مساحة معينةX{\displaystyle X}مع الطوبولوجيا غير المنفصلة، ​​يكون نظام الجوار لأي نقطةx{\displaystyle x}لا يحتوي إلا على المساحة بأكملها،شمال(x)={X}{\displaystyle {\mathcal {N}}(x)=\{X\}}.

في الطوبولوجيا الضعيفة على فضاء القياسات على فضاءهـ،{\displaystyle E,}قاعدة حي حولν{\displaystyle \nu }يُعطى بواسطة {μم(هـ):|μوأنا-νوأنا|<رأنا،أنا=1،...،ن}{\displaystyle \left\{\mu \in {\mathcal {M}}(E):\left|\mu f_{i}-\nu f_{i}\right|<r_{i},\,i=1,\dots ,n\right\}} أينوأنا{\displaystyle f_{i}}هي دوال متصلة ومحدودة منهـ{\displaystyle E}إلى الأعداد الحقيقية ور1،...،رن{\displaystyle r_{1},\dots ,r_{n}}هي أعداد حقيقية موجبة.

الفضاءات شبه المعيارية والمجموعات الطوبولوجية

في فضاء شبه معياري ، أي فضاء متجهي ذو طوبولوجيا مستحثة بواسطة معيار شبه معياري ، يمكن إنشاء جميع أنظمة الجوار عن طريق ترجمة نظام الجوار للأصل. شمال(x)=شمال(0)+x.{\displaystyle {\mathcal {N}}(x)={\mathcal {N}}(0)+x.}

وذلك لأن جمع المتجهات، بحسب الفرضية، عملية متصلة بشكل منفصل في الطوبولوجيا المستحثة. وبالتالي، تُحدد الطوبولوجيا بنظام الجوار عند نقطة الأصل. وبشكل أعم، يظل هذا صحيحًا كلما كان الفضاء زمرة طوبولوجية أو كانت الطوبولوجيا مُعرَّفة بواسطة شبه متري .

ملكيات

يفترضuيوX{\displaystyle u\in U\subseteq X}ودعشمال{\displaystyle {\mathcal {N}}}أن يكون أساسًا للحي لـu{\displaystyle u}فيX.{\displaystyle X.}يصنعشمال{\displaystyle {\mathcal {N}}}إلى مجموعة موجهة عن طريق ترتيبها جزئيًا عن طريق تضمين المجموعة الفائقة.{\displaystyle \,\supseteq .}ثميو{\displaystyle U}ليست منطقة سكنيةu{\displaystyle u}فيX{\displaystyle X}إذا وفقط إذا كان هناكشمال{\displaystyle {\mathcal {N}}}الشبكة المفهرسة(xشمال)شمالشمال{\displaystyle \left(x_{N}\right)_{N\in {\mathcal {N}}}}فيXيو{\displaystyle X\setminus U}بحيثxشمالشماليو{\displaystyle x_{N}\in N\setminus U}لكلشمالشمال{\displaystyle N\in {\mathcal {N}}}(مما يعني أن(xشمال)شمالشمالu{\displaystyle \left(x_{N}\right)_{N\in {\mathcal {N}}}\to u}فيX{\displaystyle X}).

انظر أيضاً

مراجع

  1. عادةً، تشير كلمة "جوار" إلى جوار نقطة ما ، وسيتم توضيح ما إذا كانت تشير إلى جوار مجموعة. على سبيل المثال، عبارة مثل "جوار فيX{\displaystyle X}ينبغي، ما لم يُذكر خلاف ذلك، أن يُفهم من عبارة "التي لا تشير إلى أي نقطة أو مجموعة معينة" على أنها تعني "جوار نقطة ما في"X.{\displaystyle X.}"
  2. لا يشترط معظم المؤلفين أن تكون الجوارات مجموعات مفتوحة لأن كتابة "مفتوح" أمام "الجوار" عندما تكون هذه الخاصية مطلوبة ليس أمرًا شاقًا للغاية، ولأن اشتراط أن تكون مفتوحة دائمًا سيحد بشكل كبير من فائدة مصطلحات مثل "الجوار المغلق" و"الجوار المضغوط".
  1. مندلسون، بيرت (1990) [1975]. مقدمة في الطوبولوجيا (  الطبعة الثالثة). دوفر. ص  41. ISBN 0-486-66352-3.
  2. بورباكي 1989 ، ص 17-21.
  3. 1 2 ويلارد 2004 ، ص 31-37.
  4. ويلارد، ستيفن (1970). الطوبولوجيا العامة . دار نشر أديسون-ويسلي. رقم ISBN 9780201087079.(انظر الفصل 2، القسم 4)

فهرس