الفصل الدراسي الذي تم طلبه مسبقًا
في الرياضيات ، الفئة المرتبة مسبقًا هي فئة مزودة بترتيب مسبق .
تعريف
عند التعامل مع فئة C ، من الممكن تعريف علاقة فئة على C كفئة فرعية من فئة القوة Cج . ثم، من الملائم استخدام لغة العلاقات على مجموعة.
الفئة المرتبة مسبقًا هي فئة تخضع لترتيب مسبق . وتُعرَّف الفئة المرتبة جزئيًا والفئة المرتبة كليًا بطريقة مماثلة. تُعمِّم هذه المفاهيم، على التوالي، مفاهيم المجموعة المرتبة مسبقًا ، والمجموعة المرتبة جزئيًا ، والمجموعة المرتبة كليًا . مع ذلك، يصعب التعامل معها كما في الحالة المصغرة ، لأن العديد من البنى الشائعة في نظرية المجموعات لم تعد ممكنة في هذا الإطار.
وبالمثل، فإن الفئة المرتبة مسبقًا هي فئة رقيقة ، أي فئة تحتوي على تشاكل واحد على الأكثر من كائن إلى آخر.
أمثلة
- في أي فئة C ، عندما تكون D فئة من التشكلات لـ C تحتوي على عناصر محايدة ومغلقة تحت التركيب، فإن العلاقة "يوجد تشكل D من X إلى Y" هي ترتيب جزئي على فئة كائنات C.
- فئة Ord لجميع الأعداد الترتيبية هي فئة مرتبة كليًا مع الترتيب الكلاسيكي للأعداد الترتيبية.
مراجع
- نيكولا غامبينو وبيتر شوستر، المكانية من أجل الطوبولوجيا الرسمية
- أداميك، جيري؛ هورست هيرليش؛ جورج إي ستريكر (1990). الفئات المجردة والخرسانية (PDF) . جون وايلي وأولاده. رقم ISBN 0-471-60922-6.
فئات :
- نظرية النظام
- نظرية المجموعات
