نقطة التراكم

في الرياضيات، نقطة النهاية ، أو نقطة التراكم ، أو نقطة التجمع لمجموعةS{\displaystyle S}في فضاء طوبولوجيX{\displaystyle X}هذه نقطةx{\displaystyle x}التي يمكن "تقريبها" بنقاطS{\displaystyle S}بمعنى أن كل حي من أحياءx{\displaystyle x}يحتوي على نقطة منS{\displaystyle S}بخلافx{\displaystyle x}نفسها. نقطة حدية لمجموعةS{\displaystyle S}لا يشترط أن يكون عنصراً من عناصرS.{\displaystyle S.} يوجد أيضًا مفهوم وثيق الصلة بالتسلسلات ، وهو نقطة التكتل أو نقطة التراكم في التسلسل.(xن)نشمال{\displaystyle (x_{n})_{n\in \mathbb {N} }}في فضاء طوبولوجيX{\displaystyle X}هذه نقطةx{\displaystyle x}بحيث يكون ذلك لكل حيV{\displaystyle V}لx،{\displaystyle x,}يوجد عدد لا نهائي من الأعداد الطبيعيةن{\displaystyle n}بحيثxنV.{\displaystyle x_{n}\in V.}هذا التعريف لمجموعة أو نقطة تراكم في سلسلة ما ينطبق على الشبكات والمرشحات .

يشير مفهوم نقطة النهاية للمتتالية [ 1 ] (أو نقطة النهاية للمرشح [ 2 ] ، أو نقطة النهاية للشبكة [ 3] ) - والذي يحمل اسمًا مشابهًا - بحسب التعريف، إلى النقطة التي تتقارب إليها المتتالية (أي أن المرشح يتقارب إليها ، والشبكة تتقارب إليها ). ومن المهم ملاحظة أنه على الرغم من أن "نقطة النهاية لمجموعة" مرادفة لـ "نقطة التجميع/التراكم لمجموعة"، إلا أن هذا لا ينطبق على المتتاليات (ولا على الشبكات أو المرشحات). أي أن مصطلح "نقطة النهاية لمتتالية" ليس مرادفًا لـ "نقطة التجميع/التراكم لمتتالية".

لا ينبغي الخلط بين نقاط النهاية لمجموعة ما والنقاط الملتصقة (وتسمى أيضًا نقاط الإغلاق ) التي يكون لكل جوار لهاx{\displaystyle x}يحتوي على نقطة ما منS{\displaystyle S}بخلاف نقاط الحد، فإن النقطة الملتزمةx{\displaystyle x}لS{\displaystyle S}قد يكون هناك حي لا يحتوي على نقاط أخرى غيرx{\displaystyle x}بحد ذاتها. يمكن وصف نقطة الحد بأنها نقطة متصلة وليست نقطة معزولة .

يجب عدم الخلط بين نقاط النهاية لمجموعة ما ونقاط الحدود . على سبيل المثال،0{\displaystyle 0}هي نقطة حدودية (وليست نقطة نهاية) للمجموعة{0}{\displaystyle \{0\}}فيR{\displaystyle \mathbb {R} }مع الطوبولوجيا القياسية . ومع ذلك،0.5{\displaystyle 0.5}هي نقطة حدية (وإن لم تكن نقطة حدودية) للفترة[0،1]{\displaystyle [0,1]}فيR{\displaystyle \mathbb {R} }باستخدام الطوبولوجيا القياسية (للحصول على مثال أقل وضوحًا لنقطة حدية، انظر التعليق الأول). [ 3 ] [ 4 ] [ 5 ]

يُعمم هذا المفهوم بشكلٍ مفيد فكرة النهاية ، وهو أساس مفاهيم مثل المجموعة المغلقة والإغلاق الطوبولوجي . في الواقع، تكون المجموعة مغلقة إذا وفقط إذا احتوت على جميع نقاط نهايتها، ويمكن اعتبار عملية الإغلاق الطوبولوجي عملية تُثري المجموعة بربطها بنقاط نهايتها.

فيما يتعلق بالطوبولوجيا الإقليدية المعتادة ، فإن متتالية الأعداد النسبيةxن=(-1)ننن+1{\displaystyle x_{n}=(-1)^{n}{\frac {n}{n+1}}}ليس لها نهاية (أي أنها لا تتقارب)، ولكن لها نقطتا تراكم (تُعتبران نقطتي نهاية هنا)، وهما -1 و+1. وبالتالي، عند التفكير في المجموعات، فإن هاتين النقطتين هما نقطتا نهاية المجموعة.S={xن}.{\displaystyle S=\{x_{n}\}.}

تعريف

نقاط تراكم مجموعة

متتالية تُحصي جميع الأعداد النسبية الموجبة . كل عدد حقيقي موجب هو نقطة عنقودية.

يتركS{\displaystyle S}ليكن مجموعة جزئية من فضاء طوبولوجيX.{\displaystyle X.} نقطةx{\displaystyle x}فيX{\displaystyle X}هي نقطة حدية أو نقطة تجميع أونقطة تراكم المجموعةS{\displaystyle S}إذا كان كل حي من أحياءx{\displaystyle x}يحتوي على نقطة واحدة على الأقل منS{\displaystyle S}مختلف عنx{\displaystyle x}نفسها.

لا فرق إن قصرنا الشرط على الجوارات المفتوحة فقط. غالبًا ما يكون من الملائم استخدام صيغة "الجوار المفتوح" للتعريف لإثبات أن نقطة ما هي نقطة حدية، واستخدام صيغة "الجوار العام" للتعريف لاستنتاج الحقائق من نقطة حدية معلومة.

لوX{\displaystyle X}هوتي1{\displaystyle T_{1}}الفضاء (مثل الفضاء المتري )، ثمxX{\displaystyle x\in X}هي نقطة حدية لـS{\displaystyle S}إذا وفقط إذا كان كل حي من أحياءx{\displaystyle x}يحتوي على عدد لا نهائي من النقاطS.{\displaystyle S.}[ 6 ] في الواقع،تي1{\displaystyle T_{1}}تتميز المساحات بهذه الخاصية.

لوX{\displaystyle X}إذا كان فضاءً من نوع فريشيه-أوريسون (وهو ما ينطبق على جميع الفضاءات المترية والفضاءات القابلة للعد من الدرجة الأولىxX{\displaystyle x\in X}هي نقطة حدية لـS{\displaystyle S}إذا وفقط إذا كان هناك تسلسل من النقاط فيS{x}{\displaystyle S\setminus \{x\}}حده هوx.{\displaystyle x.}في الواقع، تتميز مساحات فريشيه-أوريسون بهذه الخاصية.

مجموعة نقاط الحد لـS{\displaystyle S}تُسمى المجموعة المشتقة منS.{\displaystyle S.}

أنواع خاصة من نقاط التراكم لمجموعة

إذا كان كل حي من أحياءx{\displaystyle x}يحتوي على عدد لا نهائي من النقاطS،{\displaystyle S,}ثمx{\displaystyle x}هو نوع محدد من نقاط الحد يسمىنقطة تراكم ωS.{\displaystyle S.}

إذا كان كل حي من أحياءx{\displaystyle x}يحتوي على عدد لا يحصى من النقاطS،{\displaystyle S,}ثمx{\displaystyle x}هي نوع محدد من نقاط الحد تسمى نقطة التكثيفS.{\displaystyle S.}

لو كل حييو{\displaystyle U}لx{\displaystyle x}بحيث يكون عدد عناصر يوS{\displaystyle U\cap S}يساوي عدد عناصرS،{\displaystyle S,}ثمx{\displaystyle x}هي نوع محدد من نقاط الحد تسمىنقطة التراكم الكاملة لـS.{\displaystyle S.}

نقاط تراكم المتتاليات والشبكات

في فضاء طوبولوجيX،{\displaystyle X,}نقطةxX{\displaystyle x\in X}يقال إنهنقطة التجمع أونقطة تراكم التسلسلx=(xن)ن=1{\displaystyle x_{\bullet }=\left(x_{n}\right)_{n=1}^{\infty }}إذا كان ذلك لكل حيV{\displaystyle V}لx،{\displaystyle x,}يوجد عدد لا نهائينشمال{\displaystyle n\in \mathbb {N} }بحيثxنV.{\displaystyle x_{n}\in V.} وهذا يعادل القول بأنه لكل حيV{\displaystyle V}لx{\displaystyle x}وكلن0شمال،{\displaystyle n_{0}\in \mathbb {N} ,}هناك بعضنن0{\displaystyle n\geq n_{0}}بحيثxنV.{\displaystyle x_{n}\in V.} لوX{\displaystyle X}إذا كان فضاءً متريًا أو فضاءً قابلًا للعد من الدرجة الأولى (أو بشكل أعم، فضاء فريشيه-أوريسون )، فإنx{\displaystyle x}هي نقطة تجمع لـx{\displaystyle x_{\bullet }}إذا وفقط إذاx{\displaystyle x}هي نهاية لبعض المتتاليات الفرعية منx.{\displaystyle x_{\bullet }.} تُسمى مجموعة جميع نقاط التجميع في سلسلة ما أحيانًا مجموعة النهاية .

لاحظ أن مفهوم نهاية المتتالية موجود بالفعل بمعنى نقطةx{\displaystyle x}التي تتقارب إليها المتتالية (أي كل جوار لـx{\displaystyle x}(تحتوي على جميع عناصر المتتالية باستثناء عدد محدود منها). ولهذا السبب لا نستخدم مصطلح " نقطة النهاية" للمتتالية كمرادف لمصطلح "نقطة التراكم" للمتتالية.

يُعمم مفهوم الشبكة فكرة المتتالية . الشبكة هي دالةو:(P،)X،{\displaystyle f:(P,\leq )\to X,}أين(P،){\displaystyle (P,\leq )}هي مجموعة موجهة وX{\displaystyle X}هو فضاء طوبولوجي. نقطةxX{\displaystyle x\in X}يقال إنهنقطة التجمع أونقطة تراكم الشبكةو{\displaystyle f}إذا كان ذلك لكل حيV{\displaystyle V}لx{\displaystyle x}وكلص0P،{\displaystyle p_{0}\in P,}هناك بعضصص0{\displaystyle p\geq p_{0}}بحيثو(ص)V،{\displaystyle f(p)\in V,}وبالمثل، إذاو{\displaystyle f}يحتوي على شبكة فرعية تتقارب إلىx.{\displaystyle x.}تشمل نقاط التجميع في الشبكات فكرة كل من نقاط التكثيف ونقاط التراكم ω. كما يتم تعريف نقاط التجميع ونقاط الحد للمرشحات .

العلاقة بين نقطة تراكم متتالية ونقطة تراكم مجموعة

كل تسلسلx=(xن)ن=1{\displaystyle x_{\bullet }=\left(x_{n}\right)_{n=1}^{\infty }}فيX{\displaystyle X}هي بحكم تعريفها مجرد خريطةx:شمالX{\displaystyle x_{\bullet }:\mathbb {N} \to X}بحيث تكون صورتهاأناx:={xن:نشمال}{\displaystyle \operatorname {Im} x_{\bullet }:=\left\{x_{n}:n\in \mathbb {N} \right\}}يمكن تعريفها بالطريقة المعتادة.

  • إذا كان هناك عنصرxX{\displaystyle x\in X}يحدث ذلك مرات لا حصر لها في التسلسل،x{\displaystyle x}هي نقطة تراكم في التسلسل. لكنx{\displaystyle x}ليس بالضرورة أن تكون نقطة تراكم للمجموعة المقابلةأناx.{\displaystyle \operatorname {Im} x_{\bullet }.}على سبيل المثال، إذا كانت المتتالية هي متتالية ثابتة ذات قيمةx،{\displaystyle x,}لديناأناx={x}{\displaystyle \operatorname {Im} x_{\bullet }=\{x\}}وx{\displaystyle x}هي نقطة معزولة منأناx{\displaystyle \operatorname {Im} x_{\bullet }}وليس نقطة تراكم لـأناx.{\displaystyle \operatorname {Im} x_{\bullet }.}
  • إذا لم يتكرر أي عنصر عددًا لا نهائيًا من المرات في المتتالية، على سبيل المثال إذا كانت جميع العناصر متميزة، فإن أي نقطة تراكم في المتتالية هيω{\displaystyle \omega }- نقطة تراكم المجموعة المرتبطةأناx.{\displaystyle \operatorname {Im} x_{\bullet }.}

على العكس من ذلك، بالنظر إلى مجموعة غير منتهية قابلة للعدأX{\displaystyle A\subseteq X}فيX،{\displaystyle X,}يمكننا تعداد جميع عناصرأ{\displaystyle A}من نواحٍ عديدة، حتى مع التكرارات، وبالتالي ربطها بالعديد من التسلسلاتx{\displaystyle x_{\bullet }}هذا سيرضيأ=أناx.{\displaystyle A=\operatorname {Im} x_{\bullet }.}

  • أيω{\displaystyle \omega }- نقطة تراكمأ{\displaystyle A}هي نقطة تراكم لأي من المتتاليات المقابلة (لأن أي جوار للنقطة سيحتوي على عدد لا نهائي من عناصرأ{\displaystyle A}وبالتالي، يوجد أيضاً عدد لا نهائي من الحدود في أي متتالية مرتبطة بها).
  • نقطةxX{\displaystyle x\in X}هذا ليسω{\displaystyle \omega }- نقطة تراكمأ{\displaystyle A}لا يمكن أن تكون نقطة تراكم لأي من التسلسلات المرتبطة بها دون تكرارات لا نهائية (لأنx{\displaystyle x}يحتوي على جوار لا يحتوي إلا على عدد محدود من النقاط (وربما لا يحتوي على أي منها)أ{\displaystyle A}ولا يمكن أن يحتوي هذا الحي إلا على عدد محدود من حدود هذه المتتاليات).

ملكيات

كل نهاية لمتتالية غير ثابتة هي نقطة تراكم للمتتالية. وبحسب التعريف، فإن كل نقطة نهاية هي نقطة ملتصقة .

الإغلاقcl(S){\displaystyle \operatorname {cl} (S)}من مجموعةS{\displaystyle S}هو اتحاد منفصل لنقاطه الحديةل(S){\displaystyle L(S)}ونقاط معزولةأنا(S){\displaystyle I(S)}؛ إنه، cl(S)=ل(S)أنا(S)ول(S)أنا(S)=.{\displaystyle \operatorname {cl} (S)=L(S)\cup I(S)\quad {\text{and}}\quad L(S)\cap I(S)=\emptyset .}

نقطةxX{\displaystyle x\in X}هي نقطة حدية لـSX{\displaystyle S\subseteq X}إذا وفقط إذا كان ذلك في إغلاقS{x}.{\displaystyle S\setminus \{x\}.}

دليل

نستفيد من حقيقة أن نقطة ما تقع ضمن إغلاق مجموعة ما إذا وفقط إذا كانت كل جوار للنقطة يقع ضمن المجموعة. الآن،x{\displaystyle x}هي نقطة حدية لـS،{\displaystyle S,}إذا وفقط إذا كان كل حي من أحياءx{\displaystyle x}يحتوي على نقطة منS{\displaystyle S}بخلافx،{\displaystyle x,}إذا وفقط إذا كان كل حي من أحياءx{\displaystyle x}يحتوي على نقطة منS{x}،{\displaystyle S\setminus \{x\},}إذا وفقط إذاx{\displaystyle x}يحدث ذلك في إغلاقS{x}.{\displaystyle S\setminus \{x\}.}

إذا استخدمنال(S){\displaystyle L(S)}للدلالة على مجموعة نقاط النهاية لـS،{\displaystyle S,}ثم لدينا التوصيف التالي لإغلاقS{\displaystyle S}إغلاقS{\displaystyle S}يساوي اتحادS{\displaystyle S}ول(S).{\displaystyle L(S).}تُعتبر هذه الحقيقة أحيانًا تعريفًا للإغلاق .

دليل

لنفترض أن (المجموعة الفرعية اليسرى)x{\displaystyle x}يحدث ذلك في إغلاقS.{\displaystyle S.}لوx{\displaystyle x}هو فيS،{\displaystyle S,}انتهينا. إذاx{\displaystyle x}ليس فيS،{\displaystyle S,}ثم كل حي من أحياءx{\displaystyle x}يحتوي على نقطة منS،{\displaystyle S,}ولا يمكن أن تكون هذه النقطةx.{\displaystyle x.}بعبارة أخرى،x{\displaystyle x}هي نقطة حدية لـS{\displaystyle S}وx{\displaystyle x}هو فيل(S).{\displaystyle L(S).}

(مجموعة فرعية يمنى) إذاx{\displaystyle x}هو فيS،{\displaystyle S,}ثم كل حي من أحياءx{\displaystyle x}يلتقي الرجلS،{\displaystyle S,}لذاx{\displaystyle x}يحدث ذلك في إغلاقS.{\displaystyle S.}لوx{\displaystyle x}هو فيل(S)،{\displaystyle L(S),}ثم كل حي من أحياءx{\displaystyle x}يحتوي على نقطة منS{\displaystyle S}(بخلافx{\displaystyle x})، لذاx{\displaystyle x}وهي مرة أخرى في إغلاقS.{\displaystyle S.}وبهذا يكتمل البرهان.

تُعطينا نتيجةٌ لهذه النتيجة وصفًا للمجموعات المغلقة: مجموعةS{\displaystyle S}تكون مغلقة إذا وفقط إذا كانت تحتوي على جميع نقاطها الحدية.

دليل

الدليل الأول:S{\displaystyle S}يُغلق إذا وفقط إذاS{\displaystyle S}يساوي إغلاقه إذا وفقط إذاS=Sل(S){\displaystyle S=S\cup L(S)}إذا وفقط إذال(S){\displaystyle L(S)}موجود فيS.{\displaystyle S.}

البرهان الثاني: ليكنS{\displaystyle S}أن تكون مجموعة مغلقة وx{\displaystyle x}نقطة حدية لـS.{\displaystyle S.}لوx{\displaystyle x}ليس فيS،{\displaystyle S,}ثم مكمل لـS{\displaystyle S}يتألف من حي مفتوح منx.{\displaystyle x.}منذx{\displaystyle x}هي نقطة حدية لـS،{\displaystyle S,}أي حي مفتوح منx{\displaystyle x}ينبغي أن يكون له تقاطع غير تافه معS.{\displaystyle S.}مع ذلك، لا يمكن لمجموعة أن يكون لها تقاطع غير تافه مع مكملتها. على العكس من ذلك، افترضS{\displaystyle S}تحتوي على جميع نقاطها النهائية. سنبين أن متممةS{\displaystyle S}هي مجموعة مفتوحة. ليكنx{\displaystyle x}أن تكون نقطة في متممS.{\displaystyle S.}بافتراض،x{\displaystyle x}ليست نقطة حدية، وبالتالي توجد منطقة مفتوحةيو{\displaystyle U}لx{\displaystyle x}ذلك لا يتقاطعS،{\displaystyle S,}وهكذايو{\displaystyle U}يكمن الأمر برمته في تكملةS.{\displaystyle S.}بما أن هذه الحجة تنطبق على أيx{\displaystyle x}في إطار تكملةS،{\displaystyle S,}مكمل لـS{\displaystyle S}يمكن التعبير عنها كاتحاد للجوار المفتوحة للنقاط في مكمل لـS.{\displaystyle S.}ومن ثم مكمل لـS{\displaystyle S}مفتوح.

لا توجد نقطة معزولة تمثل نقطة نهاية لأي مجموعة.

دليل

لوx{\displaystyle x}إذا كانت نقطة معزولة،{x}{\displaystyle \{x\}}هو حي منx{\displaystyle x}التي لا تحتوي على نقاط أخرى غيرx.{\displaystyle x.}

مساحةX{\displaystyle X}تكون منفصلة إذا وفقط إذا لم تكن هناك مجموعة جزئية منX{\displaystyle X}له نقطة حدية.

دليل

لوX{\displaystyle X}إذا كانت المجموعة منفصلة، ​​فإن كل نقطة فيها تكون معزولة ولا يمكن أن تكون نقطة نهاية لأي مجموعة. وعلى العكس من ذلك، إذاX{\displaystyle X}إذا لم تكن منفصلة، ​​فهناك عنصر واحد فقط{x}{\displaystyle \{x\}}هذا ليس مفتوحًا. وبالتالي، فإن كل حي مفتوح من{x}{\displaystyle \{x\}}يحتوي على نقطةyx،{\displaystyle y\neq x,}وهكذاx{\displaystyle x}هي نقطة حدية لـX.{\displaystyle X.}

إذا كانت هناك مساحةX{\displaystyle X}له بنية طوبولوجية بسيطة وS{\displaystyle S}هي مجموعة فرعية منX{\displaystyle X}إذا كان هناك أكثر من عنصر واحد، فإن جميع عناصرX{\displaystyle X}هي نقاط حدية لـS.{\displaystyle S.}لوS{\displaystyle S}إذا كان عنصرًا منفردًا، فإن كل نقطة منXS{\displaystyle X\setminus S}هي نقطة حدية لـS.{\displaystyle S.}

دليل

طالماS{x}{\displaystyle S\setminus \{x\}}إذا لم يكن المكان فارغًا، فسيكون إغلاقهX.{\displaystyle X.}لا يكون فارغًا إلا عندماS{\displaystyle S}فارغ أوx{\displaystyle x}هو العنصر الفريد لـS.{\displaystyle S.}

انظر أيضاً

الاقتباسات

  1. دوجوندجي 1966 ، ص 209-210.
  2. بورباكي 1989 ، ص 68-83.
  3. "الفرق بين نقطة الحدود ونقطة النهاية" . 2021-01-13.
  4. "ما هي نقطة الحد؟" 2021-01-13.
  5. "أمثلة على نقاط التراكم" . 13 يناير 2021. مؤرشف من الأصل بتاريخ 21 أبريل 2021. تم الاطلاع عليه بتاريخ 14 يناير 2021 .
  6. مونكرز 2000 ، ص 97-102.

مراجع