المجموعة الشاملة

المجموعة الشاملة في نظرية المجموعات هي المجموعة التي تحوي كل الكائنات بما فيها نفسها.[1][2] إن مفهوم المجموعة الشاملة كما يصاغ عادة في نظرية المجموعات يقودنا إلى مفارقة (مفارقة راسل) وبناء على ذلك فهي ممنوعة. ولكن بعض متغيرات نظرية المجموعات غير القياسة تحوي المجموعة الشاملة.

أسباب الفقدان عدل

إن نظرية مجموعات تسيرميلو-فرنكل (إرنست تسيرميلو وابراهم فرنكل) ونظريات المجموعات التعلقة بها المبنية على فكرة التسلسل الهرمي التراكمي [الإنجليزية] يمنعون وجود المجموعة الشاملة. إن وجودها يسبب مفارقات مما يجعل النظرية متناقضة.

مفارقة راسل عدل

إن مفارقة راسل تمنع وجود المجموعة الشاملة في نظرية مجموعات تسيرميلو-فرنكل ونظريات المجموعات الأخرى التي تتضمن بديهية مشروع التخصيص لـ إرنست تسيرميلو. هذه البديهية توضح أنه لأي علاقة رياضية   ولأي مجموعة A يوجد مجموعة أخرى بحيث:

 

وتحوي على هذه العناصر x من A وتحقق  . إذا وجدت مجموعة شاملة  V يمكن تطبيق بديهية مشروع التخصيص عليها فستوجد أيضا مجموعة أخرى   , مجموعة كل المجموعات التي تتضمن نفسها. كما لاحظ بيرتراند راسل أن هذه المجموعة متناقضة. فإذا تضمنت نفسها لا يتوجب عليها أن تتضمن نفسها والعكس صحيح ولهذا السبب لا يمكن أن توجد.

مبرهنة كانتور عدل

الصعوبة الأخرى في المجموعة الشاملة تكمن في مجموعة قوة مجموعة كل المجموعات. لأن مجموعة القوة هذه هي مجموعة مجموعات وإنها بشكل تلقائي ستكون مجموعة جزئية لمجموعة كل المجموعات لو افترضنا أنهما موجودتان معاً. هذا تضارب مع مبرهنة كانتور التي تقول أن مجموعة قوة أيّة مجموعة (سواء أكانت منتهية أم غير منتهية) دائما لها أصلية كردينالية أعلى من المجموعة نفسها.

نظريات الشمولية عدل

بالإمكان تجنب الصعوبات المرتبطة بالمجموعة الشاملة إما باستخدام شكل مختلف من نظرية المجموعات بحيث تكون بديهية مشروع التخصيص [الإنجليزية] محدودة بطريقة ما، أو باستخدام كائنات عامة(شمولية) لا تعتبر مجموعات.

الإدراك المقيد عدل

هناك نظريات مجموعات تعرف بأنها تناسقية بحيث تكون المجموعة الشاملة V موجودة وتكون(   ) صحيحة. في هذه النظريات بديهية الإدراك ( بديهية مشروع التخصيص [الإنجليزية] ) لـ إرنست تسيرميلو لا تطبق بالعموم. وبديهية الإدراك لـ نظرية المجموعات المبسطة تكون مقيدة. إن نظرية مجموعات تحتوي مجموعة شمولية تكون بالضرورة Non-Well-Founded set theory [الإنجليزية] .

كائنات شمولية ليست مجموعات عدل

يبدو أن فكرة المجموعة الشاملة مرغوبة بشكل حدسي في نظرية مجموعات تسيرميلو-فرنكل خاصة لأن كل صيغ هذه النظرية تسمح باستخدام محدد الكمية على كل المجموعات (Universal quantification [الإنجليزية])

مراجع عدل

  1. ^ "Overview of Randall Holmes's Home Page". مؤرشف من الأصل في 2018-06-28.
  2. ^ Flash Sheridan (2016). "A Variant of Church's Set Theory with a Universal Set in which the Singleton Function is a Set" (PDF). Logique et Analyse. ج. 59 ع. 233. §0.2. DOI:10.2143/LEA.233.0.3149532. مؤرشف من الأصل (PDF) في 2018-04-17.