اتحاد داخل المجموعة وحدودها يساوي إغلاقها

في الطوبولوجيا، توجد علاقة أساسية تربط بين داخل المجموعة وحدودها وإغلاقها. إذا كانت \( A \) مجموعة في فضاء طوبولوجي، فإن اتحاد داخلها مع حدودها يعطينا بالضبط إغلاقها:

$$ \partial A \cup \text{Int}(A) = \text{Cl}(A) $$

بمعنى آخر، كل نقطة تنتمي إلى إغلاق \( A \) هي إما نقطة داخلية في \( A \) أو نقطة حدّية لها.

مثال توضيحي

لنأخذ المجموعة \(A = (0, 1)\) في الفضاء الطوبولوجي \(\mathbb{R}\):

داخل المجموعة هو الفترة المفتوحة نفسها:

$$ Int(A) = (0, 1) $$

أما إغلاقها فهو الفترة المغلقة التي تشمل الطرفين:

$$ Cl(A) = [0, 1] $$

وحدودها تتكوّن من النقطتين الطرفيتين:

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

عند جمع الداخل مع الحدود نحصل على:

$$ \partial A \cup Int(A) = \{0, 1\} \cup (0, 1) = [0, 1] $$

وهذا يبيّن بوضوح أن اتحاد الداخل والحدود يساوي إغلاق المجموعة.

لماذا هذه النتيجة صحيحة؟

لفهم هذه الخاصية، من المفيد الرجوع إلى التعريفات الأساسية:

1. داخل المجموعة \(Int(A)\)
   هو مجموعة النقاط التي يمكن إحاطتها بجوار مفتوح يقع بالكامل داخل \(A\).
2. إغلاق المجموعة \(Cl(A)\)
   يتكوّن من جميع نقاط \(A\) مضافًا إليها نقاط حدودها.
3. حدود المجموعة \(\partial A\)
   هي النقاط التي تقع "على الحافة"، أي تلك التي لا تنتمي بالكامل إلى الداخل ولا إلى الخارج، وتُعرّف بدقة عبر تقاطع إغلاق \(A\) مع إغلاق متمّمها.

انطلاقًا من هذه التعريفات، يمكن كتابة إغلاق \(A\) على الشكل:

$$ Cl(A) = Int(A) \cup \partial A $$

كما أن داخل المجموعة وحدودها لا يشتركان في أي نقطة:

$$ Int(A) \cap \partial A = \emptyset $$

وهذا يوضّح أن إغلاق المجموعة يتكوّن تحديدًا من اتحاد هذين الجزأين دون تداخل بينهما.