المجموعة الخالية

المجموعة الخالية (Empty Set) مجموعة لا تحتوي على أي عنصر على الإطلاق. يُرمز لها عادة بالرمز \(\emptyset \) أو \(\left\{\right\}\)، وتختلف عن المجموعة ذات القياس الصفري (Null Set)، التي تعدّها نظرية القياس (Measure Theory) مجموعةً قياسها صفر. تُعد المجموعة الخالية مفهومًا رياضيًا أساسيًا، إذ تعتبرها بعض نظريات المجموعات (Set Theory) نواة للعديد من الأفكار والنظريات الرياضية.

تعريفها

يمكن تعريف المجموعة الخالية \(\emptyset \) بأنها مجموعة لا تحتوي على أي عناصر، ويمكن التعبير عنها كما يلي: \(\emptyset ={x:x\neq x}\). على سبيل المثال، إذا أردنا تحديد مجموعة الأعداد الصحيحة التي تكون أكبر من 5 وأقل من 4، سنجد أنها لا تحتوي على أي عدد، أي أنها مجموعة خالية. تُعتبر المجموعة الخالية مجموعة حسنة التعريف (Well-defined Set) وفق تعريفات نظرية المجموعات، لأنها تُحقق جميع خصائص المجموعة، حتى وإن لم تحتوِ أي عنصر داخلها[1].

خصائصها

تتمثّل خصائص المجموعة الخالية في نظرية المجموعات في الميزات الآتية[2]:

لا تحتوي المجموعة الخالية على أي عنصر، وبناءً عليه، فإن عدد عناصرها يُساوي صفر. ونعبر عن ذلك في الرياضيات كما يلي \(\left|\emptyset \right|=0\).

1. في نظرية المجموعات، لا يمكن أن توجد سوى مجموعة خالية واحدة.
2. تعتبر المجموعة الخالية مجموعة جزئية من أي مجموعة أخرى. بمعنى أنه إذا كانت \(A\) مجموعة ما، فإن \(\emptyset \subseteq A\) دائمًا.
3. عند اتحاد أي مجموعة مع المجموعة الخالية، تكون النتيجة المجموعة نفسها، أي \(A=\emptyset \cup A\).
4. عند تقاطع المجموعة الخالية مع أي مجموعة، تكون النتيجة \(\emptyset \)، أي \(\emptyset =\emptyset \cap A\).
5. مجموعة القوة (Power Set) الخاصة للمجموعة الخالية تحتوي فقط على المجموعة الخالية نفسها، أي \(P\left(\emptyset \right)=\emptyset \).
6. تكون المجموعة الخالية مجموعة مفتوحة ومغلقة (في آنٍ معًا) في أي فضاء طوبولوجي.
7. على الرغم من أن المجموعة الخالية لا تحتوي على عناصر، فإنها موجودة بوصفها كيانًا رياضيًا مستقلًا.
8. في كثير من الأحيان، يُستخدم مفهوم المجموعة الخالية للإشارة إلى الكميات غير الموجودة، أو إلى الحلول المستحيلة في المسائل الرياضية.

أهميتها

على الرغم من تعريفها بكونها لا تحتوي أي عنصر، فإن لها أهمية جوهرية في بناء الهياكل الرياضية وفهم النظريات المختلفة. فيما يلي أبرز جوانب أهميتها[3]:

1. المجموعة الخالية تُعتبر نقطة الانطلاق في نظرية المجموعات. وتُستخدم في تعريفات المجموعات الجزئية والعمليات على المجموعات، مثل الاتحاد والتقاطع، ما يجعلها عنصرًا أساسيًا في دراسة البُنى الرياضية.
2. تُعد المجموعة الخالية أداة أساسية في المنطق الرياضي والبرهان الرياضي. كما تُستخدم لإثبات عدم وجود عناصر تحقق شروطًا معينة. على سبيل المثال، إذا أردنا إثبات أن معادلة معينة ليس لها حلول، فإننا نثبت أن مجموعة الحل هي المجموعة الخالية.
3. في نظرية القياس، يُعتبر مفهوم المجموعة ذات القياس الصفري امتدادًا لفكرة المجموعة الخالية. كذلك في الإحصاء، إذ تُستخدم لتحديد الأحداث التي لا يمكن أن تحدث، أو تلك التي تكون احتمالية وقوعها صفرية.

تُستخدم المجموعة الخالية في علم الحاسوب لتمثيل هياكل بيانات فارغة أو حالات لا تحتوي على عناصر. كما تُستخدم أيضًا في تصميم الخوارزميات وفي لغات البرمجة.

المراجع

Conway, Jhon H. & Richard K. Guy. The Book of Numbers. New York: Springer, 1996.

Mendelson, Elliott. Introduction to Mathematical Logic. 4^th ed. London: Chapman & Hall, 1997.

Weisstein, Eric W. "Empty Set." Wolfram MathWorld. at: https://acr.ps/1L9F2or

[1] Jhon H. Conway & Richard K. Guy, The Book of Numbers (New York: Springer, 1996).

[2] Elliott Mendelson, Introduction to Mathematical Logic, 4th ed. (London: Chapman & Hall, 1997); Eric W. Weisstein, "Empty Set," Wolfram MathWorld, accessed on 13/2/2025, at: https://acr.ps/1L9F2or

[3] Conway & Guy, op. cit.; Mendelson, op. cit.