نظرية المجموعات البديهية (ZFC)
نظرية مجموعات زرملو-فرينكل مع مسلمة الاختيار (ZFC) هي نظام المسلمات من الرتبة الأولى الذي يُعد الأساس الرسمي المعياري للرياضيات الحديثة.
Definition
ZFC هي نظرية في المنطق من الرتبة الأولى مع رمز علاقة ثنائية واحدة للعضوية، تصف مسلماتها (الشمولية، الاقتران، الاتحاد، مجموعة القوة، اللانهاية، الفصل، الاستبدال، التأسيس، والاختيار) عالم المجموعات ويمكن اشتقاق الرياضيات العادية منها.
Scope
يغطي هذا الموضوع المسلمات الفردية لنظرية ZFC، والتسلسل الهرمي التراكمي للمجموعات التي تولدها، ودور مخططات مسلمة الفصل والاستبدال، والوضع الخاص لمسلمة الاختيار. كما يشرح كيف يتم ترميز الكائنات الرياضية المألوفة كمجموعات ضمن هذا النظام.
Core questions
- ماذا تؤكد كل مسلمة من مسلمات ZFC ولماذا هي ضرورية؟
- كيف ينظم التسلسل الهرمي التراكمي عالم المجموعات؟
- لماذا تُفرد مسلمة الاختيار بالذكر وماذا يترتب عليها؟
- كيف تُبنى الأعداد والدوال والعلاقات كمجموعات ضمن ZFC؟
Key theories
- مسلمة الشمولية والتأسيس
- تنص الشمولية على أن المجموعات تتحدد بأعضائها، وتستبعد مسلمة التأسيس سلاسل العضوية التنازلية اللانهائية، مما يهيكل الكون كتسلسل هرمي تراكمي جيد التأسيس.
- مخططات الفصل والاستبدال
- يشكل الفصل مجموعات فرعية معرفة بخاصية، ويسمح الاستبدال بأن تكون صورة مجموعة تحت دالة صنف قابلة للتعريف مجموعة، مما يوفر القوة اللازمة لبناء مجموعات كبيرة دون إعادة إدخال المفارقات الكلاسيكية.
- مسلمة الاختيار
- تؤكد مسلمة الاختيار أن أي مجموعة من المجموعات غير الفارغة لها دالة اختيار؛ وهي مكافئة لمبرهنة زورن ومبرهنة الترتيب الجيد وهي لا غنى عنها في الكثير من الرياضيات ومع ذلك فهي مستقلة عن المسلمات الأخرى.
Clinical relevance
ZFC هو الإطار الضمني الذي يستند إليه معظم علماء الرياضيات العاملين في تفكيرهم: فهو يحدد الكائنات الموجودة والإنشاءات المشروعة، لذا فإن فهم مسلماته يوضح أي الحجج سليمة من الناحية الأساسية وأيها يعتمد على الاختيار أو مبادئ أخرى متنازع عليها.
History
اقترح زرملو أول صياغة مسلمية في عام 1908 لتأمين برهانه على مبرهنة الترتيب الجيد؛ وأضاف فرينكل وسكولم مخطط الاستبدال في عشرينيات القرن الماضي، ووضح فون نيومان التسلسل الهرمي التراكمي والتأسيس، مما أدى إلى إنتاج النظام الذي يُعرف الآن باسم ZFC.
Key figures
- Ernst Zermelo
- Abraham Fraenkel
- Thoralf Skolem
- John von Neumann
Related topics
Seminal works
- kunen2011
- jech2003
- enderton1977
Frequently asked questions
- لماذا لا نستخدم نظرية المجموعات الساذجة ببساطة؟
- الفهم الساذج، الذي يسمح بتكوين مجموعة جميع المجموعات التي تحقق أي خاصية، يؤدي إلى مفارقة راسل. تستبدل ZFC الفهم غير المقيد بمخططات الفصل والاستبدال المقيدة، والتي تتجنب المفارقات مع بقائها قوية بما يكفي للرياضيات.
- هل مسلمة الاختيار ضرورية؟
- يعتمد عليها الكثير من الرياضيات السائدة، بما في ذلك أسس الفضاءات المتجهة والعديد من النتائج في التحليل والجبر. وهي مستقلة عن المسلمات الأخرى، لذا يمكن افتراضها أو إنكارها بشكل متسق، ولكنها تُعتمد تقليديًا.