Totalities of Infinite Sets

بناءً على ورقة "كليات المجموعات اللانهائية" (Totalities of Infinite Sets) لويليام جونستون، إليك ملخص تقني مفصل يغطي المشكلة، والمنهجية، والمساهمات الرئيسية، والنتائج، والأهمية.

1. بيان المشكلة

تتناول الورقة القيود المفروضة على تعريف جورج كانتور التقليدي لعدد عناصر المجموعة (Cardinality)، والذي يعتمد فقط على وجود تقابل (bijection) بين مجموعتين. في ظل نظام زيرميلو-فرانكل (ZF) وفرضية الاستمرار (CH)، تُصنف المجموعات الحقيقية اللانهائية إلى نوعين أساسيين فقط من الأعداد اللانهائية: القابلة للعد ($\aleph_0$) وغير القابلة للعد ($\aleph_1$).

يجادل المؤلف بأن هذا التصنيف الثنائي (أو الثلاثي، إذا ميزنا المجموعات المنتهية) غير كافٍ للتمييز بين أنواع مختلفة من المجموعات غير القابلة للعد التي تشترك في نفس العدد (مثل مجموعة الأعداد الطبيعية العادية مقابل مجموعة الأعداد غير النسبية، أو مجموعة كانتور مقابل فترة مستمرة). الهدف هو إنشاء تحسين لعدد عناصر كانتور بحيث:

• يحافظ على إطار عمل العدد القائم على التقابل الموجود حالياً.
• يوفر مقارنة أكثر دقة للمجموعات اللنهائية العشوائية.
• يسمح بالمقارنة بين مجموعات من أنواع مختلفة جوهرياً (على سبيل المثال، المجموعات الجزئية من فضاء متري $X$ مقابل المجموعات الجزئية من مجموعة طاقته $P(X)$).

2. المنهجية

تقترح الورقة أربعة بناءات متميزة، تسمى مجتمعة "الكليات" (Totalities)، والتي تعمل على تنقيح مفهوم حجم المجموعة. تتجاوز هذه البناءات مجرد التقابل عبر دمج الخصائص الطوبولوجية، ونظرية القياس، والتقسيم التكراري.

أ. العدد المتمم (التعريف 1)

يقوم البناء الأول بتعديل تدوين العدد بناءً على عدد عناصر متممة المجموعة ضمن الأعداد الحقيقية ($\mathbb{R}$).

• التدوين: بدلاً من مجرد $|A| = \aleph_1$، يصبح التدوين $|A| = \aleph_1 \setminus |A^c|$.
• أمثلة:
  • إذا كانت $A^c$ قابلة للعد، فإن $|A| = \aleph_1 \setminus \aleph_0$.
  • إذا كانت $A^c$ منتهية ($n$)، فإن $|A| = \aleph_1 \setminus n$.
  • إذا كانت $A^c$ غير قابلة للعد، فإن $|A| = \aleph_1 \setminus \aleph_1$.
• التطبيق: يميز هذا بين مجموعة الأعداد العادية ($\mathbb{N}$) ومجموعة الأعداد غير النسبية ($\mathbb{I}$). بينما كلتاهما غير قابلتين للعد، فإن $\mathbb{I}$ لها متممة قابلة للعد (الأعداد النسبية)، في حين أن $\mathbb{N}$ لها متممة غير قابلة للعد (الأعداد غير العادية)، مما يعطي $|\mathbb{N}| = \aleph_1 \setminus \aleph_1$ و $|\mathbb{I}| = \aleph_1 \setminus \aleph_0$.

ب. نموذج الخطوة بخطوة (التعريف 2)

تستخدم هذه الطريقة عملية تكرارية لتقسيم المجموعات ذات العدد المتساوي إلى "كليات" أكثر دقة ($\Omega_s$).

• الخطوة 1: تمييز المجموعات بناءً على قابلية العد للمجموعة ومتممتها ($\Omega_0, \Omega_{1/2}, \Omega_1$).
• الخطوة 2: تقسيم المجموعات ذات $\Omega_{1/2}$ بشكل أكبر بناءً على الخصائص الطوبولوجية (على سبيل المثال، ما إذا كانت الفترة المغلقة التي تحتوي المجموعة لها متممة غير قابلة للعد أو قابلة للعد).
• الآلية: تزيد كل خطوة من عدد الكليات المعرفة، مما يخلق تسلسلاً هرمياً حيث يتم فصل المجموعات التي لها نفس عدد كانتور بناءً على "كثافتها" الطوبولوجية أو "الفجوات" فيها.

ج. أزواج الكلية الاستراتيجية عبر القياس الخارجي (المبرهنة 1)

يهدف هذا البناء إلى مقارنة المجموعات الجزئية من فضاء متري $X$ مع المجموعات الجزئية من مجموعة طاقته $P(X)$، ومعالجة حقيقة أن مبرهنة كانتور تنص على أن $|P(X)| > |X|$.

• الطريقة: تستخدم القياس الخارجي المتري (Metric Outer Measure).
  • لفضاء متري $(X, d)$، يتم تعريف قياس خارجي $m$ حيث يكون قياس الكرة المفتوحة هو قطرها ($2r$).
  • بالنسبة لمجموعة الطاقة $P(X)$، تُستخدم مسافة هاوسدورف (Hausdorff metric) لتعريف قياس خارجي مقابل $\mu$.
• تعيين الكلية:
  • المجموعات المنتهية: العدد (Cardinality).
  • المجموعات اللانهائية القابلة للعد: $\Omega_{-1}$.
  • المجموعات غير القابلة للعد: $\Omega_{m(A)}$ (لـ $A \subseteq X$) أو $\Omega_{\mu(P)}$ (لـ $P \subseteq P(X)$).
• النتيجة: يخلق هذا "زوج كلي استراتيجي" حيث يمكن أن تمتلك $X$ و $P(X)$ كليات متساوية (على سبيل المثال، كلاهما $\Omega_\infty$) رغم اختلاف أعداد كانت \text{cantor} الخاصة بهما، مما يسمح بمقارنة ذات معنى لـ "الحجم" عبر أنواع مختلفة من المجموعات.

د. عملية الخطوات اللانهائية والحد (التعريف 3 والمبرهنة 2)

يعمم هذا البناء نهج الخطوات المتتالية إلى تسلسل لانهائي من التنقيحات بناءً على قياس ليبغ (Lebesgue measure).

• الآلية: في الخطوة $n$، يتم تقسيم المجموعات بناءً على مجموع أطوال الفترات المفتوحة التي تغطيها (أو تغطي متمماتها).
• التدوين: تُسمى الكليات بـ $\Omega_{k/2^n}$، و $\Omega_{M - k/2^n}$، و $\Omega_M$ (اللانهاية "الوسطى").
• الحد: تُعرف الكلية النهائية كحد للتسلسل: $|A|_\infty = \lim_{n \to \infty} |A|_n = \Omega_{s_\infty}$.
• الخصائص: يخلق هذا ترتيباً كثيفاً للكليات حيث توجد كلية أخرى بين أي كليتين غير قابلتين للعد.

3. المساهمات الرئيسية

1. التحول الاصطلاحي: يقدم مصطلح "الكلية" (Totality) لتمييز هذه المقاييس المنقحة عن العدد التقليدي، مؤكداً أنها توفر معلومات هيكلية إضافية تتجاوز مجرد التقابل.
2. تنقيح المجموعات غير القابلة للعد: يوضح أن المجموعات غير القابلة للعد يمكن ترتيبها ومقارنتها بدقة بناءً على خصائص متمماتها (التعريف 1) وخصائص التغطية الطوبولوجية الخاصة بها (التعريفين 2 و 4).
3. المقارنة عبر الأنواع: نجح في بناء إطار عمل (المبرهنة 1) لمقارنة المجموعات الجزئية من الفضاء $X$ مع المجموعات الجزئية من $P(X)$ باستخدام القياسات الخارجية المترية، متجاوزاً التباين الصارم لمبرهنة كانتور لإيجاد أحجام "متساوية" من منظور استراتيجي.
4. الترتيب الكثيف للانهايات: تولد عملية الحد (القسم 4) متصلاً من الكليات اللانهائية، مما يشير إلى وجود تسلسل هرمي كثيف من اللانهايات بين $\aleph_0$ والمتصل الكامل.

4. النتائج

• التمييز بين الأعداد العادية: نجحت الورقة في التمييز بين مجموعة الأعداد العادية ومجموعة الأعداد غير النسبية. فرغم أن كلتاهما غير قابلتين للعد، إلا أن الأعداد العادية لها كلية "أصغر" ($\aleph_1 \setminus \aleph_1$) مقارنة بالأعداد غير النسبية ($\aleph_1 \setminus \aleph_0$) لأن مجموعة الأعداد غير العادية هي مجموعة غير قابلة للعد.
• تساوي الكليات في مجموعات الطاقة: بالنسبة لفضاء متري $X$ ذي قياس لانهائي، ثبت أن كليات $X$ و $P(X)$ متساوية ($\Omega_\infty$)، رغم أن $|P(X)| > |X|$ وفقاً لكانتور.
• وجود كليات وسيطة: تثبت المبرهنة 2 أنه في بناء الحد، لا توجد "فجوة" بين $\Omega_{-1}$ و $\Omega_0$، وبين أي كليتين غير قابلتين للعد، توجد كلية أخرى.
• الرتابة (Monotonicity): تحقق جميع الكليات المبنية خاصية الرتابة (إذا كانت $A \subseteq B$، فإن $|A| \leq |B|$).

5. الأهمية

• المرونة الرياضية: تشير الورقة إلى أنه بينما تظل فرضية الاستمرار غير قابلة للتقرير ضمن نظام ZF الأكسيوماتي القياسي، فإن تعريف حجم المجموعة يمكن تنقيحه لحل حالات عدم التقرر المحددة عند مستوى التنقيح.
• الحدس المعزز: توفر "إحساساً رياضياً قوياً" حول أي المجموعات اللانهائية "أكبر" أو "أصغر" من حيث توزيعها وبنيتها، وليس فقط من حيث وجود تقابل بينها.
• التطبيق في التحليل: من خلال ربط الكليات بالقياسات الخارجية المترية وأبعاد هاوسدورف، يربط هذا الإطار نظرية المجموعات بالطوبولوجيا ونظرية القياس، مما قد يوفر أدوات جديدة لتحليل الفركتلات (مثل مجموعة كانتور) وفضاءات الدوال (مثل $L^2(\mathbb{R})$).
• الدلالة الفلسفية: تفترض الخاتمة أن الرياضيات الاستنتاجية يمكن أن تصبح "أكثر عضلية" من خلال تنقيح التعريفات تكرارياً لحل المسائل غير القابلة للتقرير، حتى لو ظل النظام الأكسيوماتي الأساسي دون تغيير.

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