الفرض والاستقلال
الفرض هو تقنية لتوسيع نموذج نظرية المجموعات عن طريق ضم كائن عام مختار بعناية، وهي الطريقة الرئيسية لإثبات أن العبارات مستقلة عن البديهيات القياسية.
Definition
الفرض هو طريقة تقوم، بدءًا من نموذج لنظرية المجموعات وترتيب جزئي داخله، ببناء نموذج أكبر يحتوي على مرشح عام؛ عن طريق التحكم في الترتيب الجزئي، يتم ترتيب العبارات المحددة لتكون صحيحة أو خاطئة في الامتداد، وبالتالي إثبات اتساقها أو استقلالها.
Scope
يغطي هذا الموضوع طريقة الفرض، والترتيبات الجزئية والمرشحات العامة، وعلاقة الفرض وبناء الامتدادات العامة، والحفاظ على الأعداد الأصلية عبر شروط السلسلة، ونتائج الاستقلال الكنسي لفرضية المتصل وبديهية الاختيار، بالإضافة إلى كون غودل القابل للبناء التكميلي.
Core questions
- كيف يؤدي ضم مرشح عام إلى إنتاج نموذج جديد لنظرية المجموعات؟
- كيف يتم التحكم في الحقيقة في الامتداد العام بواسطة علاقة الفرض داخل النموذج الأساسي؟
- ما هي الخصائص التوافقية للمجموعة المرتبة جزئيًا التي تحافظ على الأعداد الأصلية والأعداد النهائية؟
- كيف يثبت الفرض والكون القابل للبناء معًا استقلال فرضية المتصل؟
Key theories
- الامتدادات العامة ونظرية الفرض
- بالنظر إلى مرشح عام على ترتيب جزئي، فإن كل عبارة صحيحة في الامتداد الناتج يتم فرضها بواسطة شرط ما، وعلاقة الفرض هذه قابلة للتعريف في النموذج الأساسي، مما يسمح بتحليل الامتداد من الداخل.
- الكون القابل للبناء واتساق فرضية المتصل (CH)
- نموذج غودل الداخلي للمجموعات القابلة للبناء يفي ببديهية الاختيار وفرضية المتصل المعممة، مما يدل على أن هذه متسقة مع البديهيات الأخرى.
- استقلال فرضية المتصل
- استخدم كوهين الفرض لإضافة العديد من الأعداد الحقيقية إلى نموذج بحيث تفشل فرضية المتصل، مما يدل، بالاشتراك مع نتيجة غودل، على أن الفرضية مستقلة عن ZFC.
Clinical relevance
الفرض هو الأداة المركزية لنظرية المجموعات المعاصرة: يُستخدم لإثبات استقلال مجموعة واسعة من العبارات في التحليل، والطوبولوجيا، والجبر، ولمعايرة قوة المبادئ التوافقية، مما يكشف عن الأسئلة الرياضية التي لا تستطيع البديهيات القياسية تسويتها.
History
قدم غودل الكون القابل للبناء في عام 1938 لإثبات اتساق فرضية المتصل وبديهية الاختيار. في عام 1963، اخترع كوهين الفرض لإثبات استقلالهما، وهو العمل الذي حصل بسببه على ميدالية فيلدز؛ أعاد سكوت وسولوفاي وآخرون صياغة الفرض عبر النماذج ذات القيم البولية وطوروه ليصبح الجهاز القياسي للمجال.
Key figures
- Paul Cohen
- Kurt Goedel
- Dana Scott
- Robert Solovay
Related topics
Seminal works
- kunen2011
- cohen1963
- godel1940
Frequently asked questions
- ما هو المرشح العام بشكل حدسي؟
- إنه كائن مثالي يتم اختياره لتلبية كل متطلب قابل للتعريف في النموذج الأساسي، بحيث يكون عامًا بما يكفي لتجنب الوقوع تحت أي تعريف واحد هناك. يؤدي ضمه إلى امتداد متحكم فيه لكون المجموعات.
- هل يغير الفرض حقيقة بديهيات نظرية المجموعات؟
- لا. الامتداد العام لنموذج ZFC هو مرة أخرى نموذج لـ ZFC؛ يغير الفرض فقط قيمة الحقيقة للعبارات التي لم تحددها البديهيات، مثل فرضية المتصل، وهذا بالضبط ما يجعله أداة لإثباتات الاستقلال.