نظرية الطوبوس
الطوبوس هو فئة تتصرف مثل فئة المجموعات وتدعم منطقًا داخليًا، مما يعمم كلاً من نظرية المجموعات ونظرية الحزم ويوفر إطارًا للأسس الفئوية للرياضيات.
Definition
الطوبوس الأولي هو فئة ذات حدود منتهية، وكائنات أسية، ومصنف كائنات فرعية؛ ولديه بنية كافية لتفسير منطق حدسي عالي الرتبة، لذا فهو يعمل ككون معمّم للمجموعات مع رياضيات داخلية خاصة به.
Scope
يغطي هذا الموضوع الطوبوسات الأولية المعرفة بالحدود المنتهية، والأسيات، ومصنف الكائنات الفرعية، وطوبوسات غروثنديك كفئات من الحزم على موقع، والمنطق الحدسي الداخلي عالي الرتبة للطوبوس، ودور الطوبوسات في توفير أسس هيكلية وبديلة وفي ربط الهندسة بالمنطق.
Core questions
- ما هي البنية الفئوية التي تجعل الفئة تتصرف مثل فئة المجموعات؟
- كيف يحمل الطوبوس منطقًا داخليًا، ولماذا هو حدسي؟
- كيف تعمم طوبوسات غروثنديك الحزم وترمز الهندسة؟
- بأي معنى يمكن للطوبوس أن يكون أساسًا للرياضيات؟
Key theories
- مصنف الكائنات الفرعية والمنطق الداخلي
- يمثل مصنف الكائنات الفرعية الكائنات الفرعية عن طريق خرائط إلى كائن قيمة حقيقة، مما يمنح كل طوبوس منطقًا داخليًا عالي الرتبة يكون بشكل عام حدسيًا وليس كلاسيكيًا.
- طوبوسات غروثنديك
- تشكل فئات الحزم على موقع طوبوسات غروثنديك، مما يعمم الفضاءات الطوبولوجية ويوفر الإطار الفئوي الذي طوره غروثنديك لنظرية التشاكل في الهندسة الجبرية.
- الطوبوسات كأسس
- يطابق الطوبوس المدبب جيدًا الذي يفي بمبدأ الاختيار نظرية مجموعات هيكلية، لذا توفر نظرية الطوبوس بديلاً فئويًا للأسس القائمة على العضوية في الرياضيات.
Clinical relevance
توحد نظرية الطوبوس الهندسة والمنطق: تشكل طوبوسات غروثنديك أساس الهندسة الجبرية الحديثة ونظرية التشاكل، ويصوغ المنطق الحدسي الداخلي للطوبوسات الرياضيات البنائية ويوفر دلالات لنظرية الأنواع، وتقدم الطوبوسات الأولية وصفًا هيكليًا لأسس الرياضيات.
History
قدم غروثنديك وزملاؤه الطوبوسات كفئات من الحزم في الستينيات لدعم نظرية التشاكل للمخططات. ثم قدم لاوير وتيرني التحديد الأولي، الفئوي البحت في أوائل السبعينيات، كاشفين عن المنطق الداخلي للطوبوس ومؤسسين نظرية الطوبوس كجسر بين الهندسة والمنطق وأسس الرياضيات.
Key figures
- Alexander Grothendieck
- F. William Lawvere
- Myles Tierney
- Peter Johnstone
Related topics
Seminal works
- maclanemoerdijk1994
- johnstone2002
- awodey2010
Frequently asked questions
- لماذا المنطق الداخلي للطوبوس حدسي؟
- لا يلزم أن يفي مصنف الكائنات الفرعية بقانون الوسط المرفوع، لأن شبكة قيم الحقيقة في الطوبوس العام هي جبر هايتينغ بدلاً من جبر بول. ونتيجة لذلك، فإن المنطق الذي يتم التحقق منه داخليًا هو حدسي، مع استعادة المنطق الكلاسيكي فقط في طوبوسات خاصة.
- كيف يعمم الطوبوس فئة المجموعات؟
- فئة المجموعات هي أبسط طوبوس، ويحتفظ الطوبوس العام بميزاته الهيكلية الرئيسية، والحدود المنتهية، وفضاءات الدوال، ومصنف المجموعات الفرعية، مع السماح بالتنوع عبر فضاء أو نظرية منطقية. وهذا يسمح بإجراء رياضيات شبيهة بالمجموعات في سياقات مثل الحزم حيث تكون الحقيقة محلية.