حول ترتيبات الرفاهية الاجتماعية القوية العادلة بدون بديهية الاختيار

المعلومات الأساسية

• معرّف الورقة: 2406.08684
• العنوان: On Strongly-equitable Social Welfare Orders Without the Axiom of Choice
• المؤلف: Luke Serafin
• التصنيف: math.LO (المنطق الرياضي)
• تاريخ النشر: 17 أكتوبر 2025
• رابط الورقة: https://arxiv.org/abs/2406.08684

الملخص

تسعى ترتيبات الرفاهية الاجتماعية إلى دمج التفضيلات المختلفة للأجيال اللانهائية في ترتيب تفضيل اجتماعي واحد عادل. درس Dubey و Laguzzi نوعاً من ترتيبات الرفاهية الاجتماعية يُسمى SEA (قوي عادل وذو خصوصية محدودة)، وأثبتا أن وجود ترتيبات SEA يستلزم وجود مجموعة أعداد حقيقية لا تمتلك خاصية Baire، وأشارا إلى أنه يمكن بناء ترتيبات SEA باستخدام مرشحات فوق أساسية غير رئيسية على $\mathbb{N}$. تجيب هذه الورقة على سؤالين مفتوحين: هل يستلزم وجود ترتيبات SEA وجود مجموعة أعداد حقيقية غير قابلة للقياس بمعنى Lebesgue، وهل يستلزم وجود مرشحات فوق أساسية غير رئيسية على $\mathbb{N}$. تُظهر النتائج أن وجود ترتيبات SEA يستلزم فعلاً وجود مجموعة أعداد حقيقية غير قابلة للقياس بمعنى Lebesgue، لكنه لا يستلزم وجود مرشحات فوق أساسية غير رئيسية على $\mathbb{N}$.

السياق البحثي والدافع

خلفية المشكلة

1. مشكلة ترتيبات الرفاهية الاجتماعية: في الاقتصاد النظري، كيفية دمج المنافع المختلفة التي يحصل عليها أفراد أو أجيال مختلفة من سياسة واحدة في ترتيب تفضيل اجتماعي واحد هي مسألة أساسية.
2. متطلبات العدالة: تحتاج ترتيبات الرفاهية الاجتماعية إلى تحقيق مبادئ عدالة معقولة معينة، مثل الخصوصية المحدودة (finite anonymity) والعدالة القوية (strong equity).
3. المشاكل البنائية: اكتشف الاقتصاديون أن العديد من مجموعات الخصائص لا يمكن تحقيقها دون افتراض بديهية الاختيار، وتتمتع بطابع غير بنائي.

الدافع البحثي

1. إكمال النظرية: ترك عمل Dubey و Laguzzi سؤالين مهمين مفتوحين يحتاجان إلى حل
2. الأساس المنطقي: استكشاف العلاقات المنطقية بين وجود ترتيبات SEA والمفاهيم المهمة في نظرية المجموعات (مثل المرشحات الفوق أساسية والقابلية للقياس)
3. نتائج الاستقلالية: تحديد أي من الكائنات الرياضية يكون وجودها مستقلاً بشكل متبادل في ZF+DC

المساهمات الأساسية

1. إثبات أن وجود ترتيبات SEA يستلزم وجود مجموعة أعداد حقيقية غير قابلة للقياس بمعنى Lebesgue، مما يجيب على السؤال المفتوح الأول لـ Dubey و Laguzzi
2. إثبات أن وجود ترتيبات SEA لا يستلزم وجود مرشحات فوق أساسية غير رئيسية على $\mathbb{N}$، مما يجيب على السؤال المفتوح الثاني
3. تطوير نظرية خطية مسبقة عامة، تنطبق على فئة أوسع من الترتيبات الجزئية Borel
4. تطبيق تقنيات نظرية المجموعات الهندسية، خاصة طريقة الإجبار المتوازن لـ Larson و Zapletal

شرح الطريقة

تعريف المهمة

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

التعريفات الأساسية

• الخصوصية المحدودة: لأي تبديل π ذي دعم محدود وأي $y \in Y^{\mathbb{N}}$، لدينا $y \approx y \circ \pi$
• العدالة القوية: إذا كان هناك $i,j \in \mathbb{N}$ بحيث $x(i) < y(i) < y(j) < x(j)$ و $x,y$ متطابقة في الإحداثيات الأخرى، فإن $x \prec y$
• ترتيبات SEA: ترتيبات الرفاهية الاجتماعية التي تحقق في نفس الوقت العدالة القوية والخصوصية المحدودة

الطرق التقنية الرئيسية

1. إثبات عدم القابلية للقياس بمعنى Lebesgue

الفكرة الأساسية: استخدام نظرية Fubini والحجج الإرجودية

اللمة الرئيسية: العلاقة $E_{S_<\infty} \times E_{S_<\infty}$ إرجودية بالنسبة لمقياس Lebesgue على $4^{\mathbb{N}} \times 4^{\mathbb{N}}$.

استراتيجية الإثبات:

• افترض أن ترتيب SEA ≾ قابل للقياس بمعنى Lebesgue
• بسبب الخصوصية المحدودة، ≾ مغلق بالنسبة إلى $E_{S_<\infty}$ على كل إحداثي
• الإرجودية تعني أن المجموعات الثابتة إما مجموعات صفرية أو مجموعات صفرية متممة
• من خلال تحليل نظرية Fubini للمقاطع الرأسية، نصل إلى تناقض

2. إثبات استقلالية المرشح الفوق أساسي غير الرئيسي

التقنية الأساسية: الإجبار المتوازن في نظرية المجموعات الهندسية

الأدوات الرئيسية:

• الشروط الافتراضية: وصف شروط الإجبار التي تكون متسقة عبر توسعات عامة مختلفة
• الإجبار الهادئ: خاصية الإجبار التي تضمن عدم إضافة مرشحات فوق أساسية غير رئيسية
• خطية فضاء الحاصل: بناء ترتيبات SEA من خلال خطية فضاء الحاصل من العلاقات المكافئة

نقاط الابتكار التقني

1. التطبيق الماهر لنظرية Fubini: تطبيق أدوات نظرية القياس على نظرية الاختيار الاجتماعي، مما يثبت أن ترتيبات SEA يجب أن تكون غير قابلة للقياس بالضرورة
2. إدخال تقنيات نظرية المجموعات الهندسية: أول تطبيق لنظرية الإجبار المتوازن لـ Larson-Zapletal على المشاكل الاقتصادية
3. إطار عام للخطية المسبقة: تطوير نظرية عامة تنطبق على الترتيبات الجزئية Borel "الهادئة"

إعداد التجربة

طرق التحقق النظري

بما أن هذا بحث نظري رياضي بحت، تشير "التجارب" بشكل أساسي إلى البناء النظري والتحقق من الإثباتات:

1. بناء النموذج: بناء توسع في نموذج Solovay المتماثل W يحتوي على ترتيبات SEA لكن لا يحتوي على مرشحات فوق أساسية غير رئيسية
2. طريقة الإجبار: استخدام poset الخطية المسبقة لفضاء الحاصل لتوسع الإجبار
3. إثبات الاتساق: التحقق من أن النموذج المبني يحقق ZF+DC ويمتلك الخصائص المطلوبة

التحقق من التقنيات الرئيسية

• التحقق من الهدوء: إثبات أن poset الخطية المسبقة P(≾) هادئ
• التصنيف المتوازن المكافئ: تصنيف الشروط الافتراضية الهادئة من خلال الخطية المسبقة الكاملة
• إغلاق حد المرشح الفوق أساسي: التحقق من أن الشروط الافتراضية المتوازنة مغلقة تحت حدود المرشح الفوق أساسي

نتائج التجربة

النتائج الرئيسية

النظرية 1 (عدم القابلية للقياس بمعنى Lebesgue)

الاقتراح 2: لتكن ≾ ترتيب SEA على $4^{\mathbb{N}}$، فإن ≾ كمجموعة جزئية من $4^{\mathbb{N}} \times 4^{\mathbb{N}}$ ليست قابلة للقياس بمعنى Lebesgue.

النظرية 2 (استقلالية المرشح الفوق أساسي)

يوجد نموذج لـ ZF+DC حيث:

• يوجد ترتيب SEA
• لا يوجد مرشح فوق أساسي غير رئيسي على $\mathbb{N}$
• لا يوجد مقطع عرضي $E_0$

النتائج البنائية

الاقتراح 4: بناء المرشح الفوق أساسي غير الرئيسي لترتيبات SEA

إذا كان هناك مرشح فوق أساسي غير رئيسي U على $\mathbb{N}$، فإنه يوجد ترتيب SEA على $(2^{\mathbb{N}})^{\mathbb{N}}$.

الاقتراح 5-6: طرق بناء أخرى

• ترتيب خطي لـ $2^{\mathbb{N}}/E_0$ كافٍ لبناء ترتيب SEA على $4^{\mathbb{N}}$
• ترتيب خطي لـ $(2^{\mathbb{N}})^{\mathbb{N}}/E_1$ كافٍ لبناء ترتيب SEA على $Y^{\mathbb{N}}$ لأي فضاء Polish مرتب Y

النتائج المعممة

النتيجة 13: الخطية المسبقة للترتيبات الجزئية Borel الهادئة

إذا كانت ≾ ترتيب جزئي Borel هادئ، فإنه يوجد نموذج ZF+DC حيث ≾ له خطية مسبقة لكن لا يوجد مرشح فوق أساسي غير رئيسي على $\mathbb{N}$.

الأعمال ذات الصلة

خلفية الاقتصاد النظري

• نظرية الاختيار الاجتماعي: نظرية Arrow لعدم الإمكانية وتعميماتها
• العدالة بين الأجيال: مشاكل التوزيع العادل بين الأجيال اللانهائية
• الخصوصية والعدالة: البديهيات الأساسية لدوال الرفاهية الاجتماعية

أساس نظرية المجموعات

• نظرية المجموعات الوصفية: خصائص الانتظام للمجموعات Borel والمجموعات التحليلية
• نظرية الإجبار: إجبار Cohen ونموذج Solovay
• الأساسيات الكبيرة: قوة الاتساق للأساسيات غير المتوصلة

نظرية المجموعات الهندسية

• نظرية Larson-Zapletal: الإجبار المتوازن والشروط الافتراضية
• خطية فضاء الحاصل: خطية الإجبار لفضاء الحاصل من العلاقات المكافئة
• الإجبار الهادئ: خاصية الإجبار التي تحافظ على عدم وجود مجموعات معينة

الخلاصة والمناقشة

الاستنتاجات الرئيسية

1. القوة النظرية-المجموعية لوجود ترتيبات SEA:
   • أقوى من "جميع مجموعات الأعداد الحقيقية قابلة للقياس بمعنى Lebesgue"
   • أضعف من "وجود مرشحات فوق أساسية غير رئيسية"
   • مستقل عن "وجود مقطع عرضي $E_0$"
2. التسلسل الهرمي لطرق البناء:
   • المرشح الفوق أساسي غير الرئيسي → ترتيب SEA
   • مقطع عرضي $E_1$ → ترتيب SEA عام
   • مقطع عرضي $E_0$ → ترتيب SEA ذو منفعة محدودة

القيود

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

الاتجاهات المستقبلية

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

التقييم المتعمق

المزايا

1. الابتكار التقني:
   • أول تطبيق لنظرية المجموعات الهندسية على نظرية الاختيار الاجتماعي
   • التطبيق الماهر لنظرية Fubini في هذا السياق
   • تطوير نظرية خطية مسبقة ذات قابلية تطبيق أوسع
2. الاكتمال النظري:
   • حل كامل للسؤالين المفتوحين اللذين طرحهما Dubey-Laguzzi
   • توفير توصيف نظري-مجموعي دقيق لوجود ترتيبات SEA
   • بناء جسر بين المفاهيم الاقتصادية والمفاهيم النظرية-المجموعية
3. مساهمة منهجية:
   • إظهار إمكانية تطبيق أدوات نظرية المجموعات الحديثة في الاقتصاد
   • توفير إطار حل منهجي للمشاكل المماثلة

أوجه القصور

1. عتبة تقنية عالية: يتطلب خلفية عميقة في نظرية المجموعات، مما يحد من قبول الاقتصاديين
2. فائدة عملية محدودة: النتائج نظرية بشكل أساسي، مع توجيه محدود للسياسة العملية
3. شروط افتراضية: تتطلب بعض النتائج افتراض اتساق الأساسيات الكبيرة

التأثير

1. القيمة الأكاديمية:
   • تقدم البحث في أساس نظرية المجموعات لنظرية الاختيار الاجتماعي
   • توفير مجال تطبيق جديد لنظرية المجموعات الهندسية
   • قد تلهم المزيد من البحوث متعددة التخصصات
2. الأهمية النظرية:
   • توضيح الوضع المنطقي للمفاهيم الاقتصادية المهمة
   • إظهار الدور الدقيق لبديهية الاختيار في الاقتصاد

السيناريوهات المطبقة

1. الاقتصاد النظري: دراسة وجود وبناء دوال الرفاهية الاجتماعية
2. نظرية المجموعات: نتائج الاستقلالية وتطبيقات نظرية الإجبار
3. المنطق الرياضي: البحث المتقاطع في نظرية المجموعات الوصفية ونظرية الأساسيات الكبيرة

المراجع

تستشهد الورقة بـ 17 مرجعاً مهماً، من بينها:

• 2 Dubey & Laguzzi: "On social welfare orders satisfying anonymity and strong equity" - يطرح المشاكل الأصلية
• 11 Larson & Zapletal: "Geometric set theory" - يوفر الأدوات التقنية الرئيسية
• 7 Kanamori: "The higher infinite" - المرجع القياسي لنظرية الأساسيات الكبيرة
• 8 Kechris: "Classical descriptive set theory" - أساس نظرية المجموعات الوصفية

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