تقاطع الحدّ والداخل لمجموعة

في الطوبولوجيا، تقاطع حدّ المجموعة $ \partial A $ مع داخلها $ \text{Int}(A) $ هو دائمًا مجموعة خالية: $$ \partial A \cap \text{Int}(A) = \varnothing $$

تعكس هذه النتيجة فكرة بسيطة لكنها أساسية. النقاط التي تقع على الحدّ لا يمكن أن تكون في الوقت نفسه نقاطًا داخلية، لأن كل نوع منها يُعرَّف بطريقة مختلفة تمامًا.

مثال توضيحي
لماذا يحدث ذلك؟

مثال توضيحي

لنأخذ الفضاء الطوبولوجي $\mathbb{R}$ مع الطوبولوجيا القياسية، حيث تكون المجموعات المفتوحة هي الفترات المفتوحة.

نعتبر المجموعة $A = (0, 1)$، أي جميع الأعداد الحقيقية الواقعة بين 0 و1 دون تضمين الطرفين.

داخل هذه المجموعة واضح. كل نقطة داخل الفترة تمتلك جوارًا صغيرًا يبقى بالكامل داخل $A$، لذلك:

$$ \text{Int}(A) = (0, 1) $$

أما إغلاق $A$، فيشمل كل نقاطها بالإضافة إلى النقطتين الحدّيتين:

$$ \text{Cl}(A) = [0, 1] $$

متمّم $A$ في $\mathbb{R}$ هو:

$$ \mathbb{R} \setminus A = (-\infty, 0] \cup [1, \infty) $$

وهذا المتمّم مغلق أصلًا، لذلك يبقى إغلاقه كما هو:

$$ \text{Cl}(\mathbb{R} \setminus A) = (-\infty, 0] \cup [1, \infty) $$

الآن نحسب حدّ المجموعة $A$:

$$ \partial A = \text{Cl}(A) \cap \text{Cl}(\mathbb{R} \setminus A) $$

$$ \partial A = [0, 1] \cap \left((-\infty, 0] \cup [1, \infty)\right) $$

$$ \partial A = \{0, 1\} $$

وأخيرًا، إذا حسبنا تقاطع الحدّ مع الداخل نحصل على:

$$ \partial A \cap \text{Int}(A) = \{0, 1\} \cap (0, 1) = \varnothing $$

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

لماذا يحدث ذلك؟

لفهم السبب، يكفي الرجوع إلى التعريفات.

حدّ المجموعة $A$ يتكوّن من النقاط التي تكون كل جواراتها متقاطعة مع $A$ ومع متمّمه $X \setminus A$. أي أن هذه النقاط تقع تمامًا على الحافة، بحيث لا يمكن عزلها داخل $A$ فقط.

في المقابل، النقاط الداخلية هي تلك التي يوجد لها جوار مفتوح محتوى بالكامل داخل $A$. أي أنها بعيدة عن الحدّ ولا تلامس الخارج.

إذا أخذنا نقطة $x \in \partial A$، فإن كل جوار لها يلامس داخل $A$ وخارجه في آن واحد. لذلك لا يمكن أن تكون نقطة داخلية.

وإذا أخذنا نقطة $y \in \text{Int}(A)$، فإن لها جوارًا لا يخرج عن $A$. وهذا يمنعها من أن تكون نقطة حدّ.

بالتالي، لا يمكن لأي نقطة أن تنتمي إلى المجموعتين في الوقت نفسه.

$$ \partial A \cap \text{Int}(A) = \varnothing $$

هذه النتيجة من أبسط النتائج في الطوبولوجيا، لكنها توضح بوضوح كيف تنقسم أي مجموعة إلى مناطق ذات طبيعة مختلفة: داخل، خارج، وحدّ.