نظام جيد

العلاقات الثنائية المتعدية  v ت هـ
متماثل مضاد للتناظر متصل مؤسس بشكل جيد لديه روابط لديه لقاءات انعكاسي غير انعكاسي غير متماثل توتال، سيميكونكس مضاد للانعكاس علاقة التكافؤ Y ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ طلب مسبق (طلب شبه رسمي) ✗ ✗ ✗ ✗ ✗ ✗ Y ✗ ✗ طلب جزئي ✗ Y ✗ ✗ ✗ ✗ Y ✗ ✗ إجمالي الطلبات المسبقة ✗ ✗ Y ✗ ✗ ✗ Y ✗ ✗ إجمالي الطلب ✗ Y Y ✗ ✗ ✗ Y ✗ ✗ الطلب المسبق ✗ ✗ Y Y ✗ ✗ Y ✗ ✗ ترتيب شبه جيد ✗ ✗ ✗ Y ✗ ✗ Y ✗ ✗ ترتيب جيد ✗ Y Y Y ✗ ✗ Y ✗ ✗ شعرية ✗ Y ✗ ✗ Y Y Y ✗ ✗ الانضمام إلى شبه الشبكة ✗ Y ✗ ✗ Y ✗ Y ✗ ✗ لقاء شبه شبكة ✗ Y ✗ ✗ ✗ Y Y ✗ ✗ ترتيب جزئي صارم ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y ترتيب ضعيف صارم ✗ Y ✗ ✗ ✗ ✗ ✗ Y Y إجمالي الطلب الصارم ✗ Y Y ✗ ✗ ✗ ✗ Y Y متماثل مضاد للتناظر متصل مؤسس بشكل جيد لديه روابط لديه لقاءات انعكاسي غير انعكاسي غير متماثل التعريفات، للجميع${\displaystyle a,b}$و${\displaystyle S\neq \varnothing$ :} ${\displaystyle {\begin{aligned}&aRb\\\Rightarrow {}&bRa\end{aligned}}}$ ${\displaystyle {\begin{aligned}aRb{\text{ and }}&bRa\\\Rightarrow a={}&b\end{aligned}}}$ ${\displaystyle {\begin{aligned}a\neq {}&b\Rightarrow \\aRb{\text{ or }}&bRa\end{aligned}}}$ ${\displaystyle {\begin{aligned}\min S\\{\text{exists}}\end{aligned}}}$ ${\displaystyle {\begin{aligned}a\vee b\\{\text{exists}}\end{aligned}}}$ ${\displaystyle {\begin{aligned}a\wedge b\\{\text{exists}}\end{aligned}}}$ ${\displaystyle aRa}$ ${\displaystyle {\text{not }}aRa}$ ${\displaystyle {\begin{aligned}aRb\Rightarrow \\{\text{not }}bRa\end{aligned}}}$
يشير الرمز Y إلى أن خاصية العمود صحيحة دائمًا بالنسبة لعنصر الصف (في أقصى اليسار)، بينما يشير الرمز ✗ إلى أن الخاصية غير مضمونة بشكل عام (قد تكون صحيحة أو خاطئة). على سبيل المثال، يُشار إلى أن كل علاقة تكافؤ متناظرة، ولكن ليس بالضرورة مضادة للتناظر، بالرمز Y في عمود "متناظر" والرمز ✗ في عمود "مضاد للتناظر". تتطلب جميع التعريفات ضمنيًا العلاقة المتجانسة${\displaystyle R}$يكون متعدياً : للجميع${\displaystyle a,b,c,}$لو${\displaystyle aRb}$و${\displaystyle bRc}$ثم${\displaystyle aRc.}$ قد يتطلب تعريف المصطلح خصائص إضافية غير مدرجة في هذا الجدول.

في الرياضيات ، يُعرَّف الترتيب الجيد (أو علاقة الترتيب الجيد ) على مجموعة S بأنه ترتيب كلي على S بحيث تحتوي كل مجموعة جزئية غير فارغة من S على أصغر عنصر في هذا الترتيب. تُسمى المجموعة S مع هذا الترتيب مجموعة مرتبة جيدًا (أو مجموعة مرتبة جيدًا ). ^{​​[ 1 ]} في بعض المقالات الأكاديمية والكتب الدراسية، تُكتب هذه المصطلحات على النحو التالي: wellorder ، wellordered ، و wellordering، أو well order ، well ordered ، و well ordering .

كل مجموعة مرتبة ترتيبًا جيدًا وغير فارغة تحتوي على أصغر عنصر. كل عنصر s في مجموعة مرتبة ترتيبًا جيدًا، باستثناء أكبر عنصر ممكن ، له عنصر لاحق وحيد (العنصر التالي)، وهو أصغر عنصر في المجموعة الجزئية التي تضم جميع العناصر الأكبر من s . قد توجد عناصر، بالإضافة إلى أصغر عنصر، ليس لها عنصر سابق (انظر قسم  الأعداد الطبيعية أدناه كمثال). تحتوي المجموعة المرتبة ترتيبًا جيدًا S، لكل مجموعة جزئية T ذات حد أعلى ، على حد أعلى أدنى ، وهو أصغر عنصر في المجموعة الجزئية التي تضم جميع الحدود العليا لـ T في S.

إذا كان ≤ ترتيبًا جيدًا غير صارم ، فإن < ترتيب جيد صارم. العلاقة ترتيب جيد صارم إذا وفقط إذا كانت ترتيبًا كليًا صارمًا قائمًا على أسس سليمة . غالبًا ما يتم تجاهل التمييز بين الترتيبات الجيدة الصارمة وغير الصارمة نظرًا لسهولة تحويلها المتبادل.

كل مجموعة مرتبة ترتيبًا جيدًا تكون متماثلة ترتيبيًا بشكل فريد مع عدد ترتيبي فريد ، يُسمى نوع ترتيب المجموعة المرتبة ترتيبًا جيدًا. تنص نظرية الترتيب الجيد ، المكافئة لبديهية الاختيار ، على أن كل مجموعة يمكن أن تكون مرتبة ترتيبًا جيدًا. إذا كانت مجموعة ما مرتبة ترتيبًا جيدًا (أو حتى إذا كانت تقبل فقط علاقة مؤسسة ترتيبًا جيدًا )، فيمكن استخدام أسلوب الاستقراء المتسامي لإثبات صحة عبارة معينة لجميع عناصر المجموعة.

إن الملاحظة بأن الأعداد الطبيعية مرتبة بشكل جيد وفقًا لعلاقة أصغر من المعتادة تسمى عادةً مبدأ الترتيب الجيد (للأعداد الطبيعية).

إذا كانت المجموعة مرتبة ترتيباً كلياً ، فإن ما يلي يكون متكافئاً مع بعضه البعض:

1. المجموعة مرتبة ترتيباً جيداً. أي أن كل مجموعة جزئية غير فارغة تحتوي على أصغر عنصر.
2. يعمل الاستقراء المتسامي على المجموعة المرتبة بأكملها.
3. يجب أن تنتهي كل سلسلة متناقصة تمامًا من عناصر المجموعة بعد عدد محدود من الخطوات فقط (بافتراض بديهية الاختيار التابع ).
4. كل ترتيب فرعي متماثل مع جزء أولي (انظر §  الأجزاء الأولية أدناه).

مقطع أولي ، يتم تحديده بواسطة عنصر${\displaystyle x}$من مجموعة مرتبة${\displaystyle X}$، هي مجموعة فرعية من الشكل${\displaystyle \{y\in X\mid y<x\}}$[ ^{4 ] بحسب} العرف،${\displaystyle X}$يُعتبر نفسه أيضاً جزءاً ابتدائياً (غير صحيح).

للحصول على مجموعة مرتبة بشكل جيد${\displaystyle X}$، مجموعة فرعية${\displaystyle S\subset X}$هو جزء أولي (إما${\displaystyle X}$أو مقطع أولي بواسطة عنصر ما) إذا وفقط إذا كان يحتوي

${\displaystyle \{y\in X\mid y<x\}}$

لكل${\displaystyle x}$في${\displaystyle S}$^{[ 5 ] [ 6 ]} بعبارة أخرى ، القطعة الأولية هي نفسها المجموعة الدنيا في نظرية الترتيب ، ويُعتبر هذا التوصيف أحيانًا تعريفًا للقطعة الأولية. ^{[ 7 ]}

تُستخدم المقاطع الأولية غالبًا في دراسة المجموعات المرتبة جيدًا والمجموعات المؤسسة جيدًا . على سبيل المثال، العدد الترتيبي هو مجموعة مرتبة جيدًا${\displaystyle \alpha }$والتي تكون جميع عناصرها عبارة عن أجزاء أولية تحددها بنفسها؛ أي، لكل عنصر${\displaystyle x}$في${\displaystyle \alpha }$لدينا:

${\displaystyle x=\{y\in \alpha \mid y<x\}.}$^{[ 8 ]}

انظر أيضًا القسم  الخاص بالأعداد الترتيبية أدناه. تُستخدم المقاطع الأولية أيضًا في نص نظرية الاستدعاء الذاتي المتسامي .

تشمل خصائص الأجزاء الأولية ما يلي:

• لا يمكن لأي مجموعة مرتبة ترتيبًا جيدًا أن تكون متماثلة مع جزء أولي مناسب منها. ^{[ 9 ]} كذلك، إذا أُعطيت مجموعتان مرتبتان ترتيبًا جيدًا${\displaystyle X,Y}$، أيضاً${\displaystyle X}$متماثل مع جزء أولي من${\displaystyle Y}$أو${\displaystyle Y}$متماثل مع جزء أولي من${\displaystyle X}$.
• يُرسل التشكل بين المجموعات المرتبة جيدًا أجزاءً أولية إلى أجزاء أولية، حيث يكون التشكل عبارة عن دالة أحادية تحافظ على الترتيب وتكون صورتها جزءًا أوليًا. ^{[ 10 ]}
• تُعطي الأجزاء الأولية ترتيبًا${\displaystyle \trianglelefteq }$في الفصل${\displaystyle \operatorname {Well} }$من المجموعات المرتبة ترتيباً جيداً؛ أي${\displaystyle A\trianglelefteq B}$إذا وفقط إذا${\displaystyle A\subset B}$هي مجموعة جزئية مع تقييد الترتيب من${\displaystyle B}$و${\displaystyle A}$هو جزء أولي من${\displaystyle B}$[ ^{11 ]} اتحاد سلسلة من المجموعات المرتبة ترتيبًا جيدًا يكون مرتبًا ترتيبًا جيدًا، حيث تكون السلسلة بالنسبة ^إلى${\displaystyle \trianglelefteq }$[ ^{11 ] بالنسبة للأعداد الترتيبية، يتطابق هذا الترتيب الذي} تحدده الأجزاء الأولية مع احتواء المجموعة. ^{[ 12 ]}
• تكون المجموعة ذات العلاقة الثنائية مؤسسة جيداً إذا وفقط إذا كانت مغطاة بقطاعات أولية مؤسسة جيداً. ^{[ 13 ]}

يمكن تحويل كل مجموعة مرتبة جيدًا إلى فضاء طوبولوجي عن طريق تزويدها بطوبولوجيا الترتيب .

فيما يتعلق بهذا التكوين الطوبولوجي، يمكن أن يكون هناك نوعان من العناصر:

• النقاط المعزولة - هذه هي العناصر الدنيا والعناصر التي لها عنصر سابق.
• نقاط النهاية - لا يظهر هذا النوع في المجموعات المنتهية، وقد يظهر أو لا يظهر في المجموعات غير المنتهية؛ المجموعات غير المنتهية التي لا تحتوي على نقاط نهاية هي مجموعات من النوع ω ، على سبيل المثال الأعداد الطبيعية .${\displaystyle \mathbb {N} .}$⁠

بالنسبة للمجموعات الجزئية، يمكننا التمييز بين:

• المجموعات الجزئية ذات الحد الأقصى (أي المجموعات الجزئية المحدودة بنفسها )؛ يمكن أن تكون هذه نقطة معزولة أو نقطة حدية للمجموعة بأكملها؛ في الحالة الأخيرة قد تكون أو لا تكون نقطة حدية للمجموعة الجزئية.
• المجموعات الجزئية التي لا تكون محدودة في حد ذاتها ولكنها محدودة في المجموعة بأكملها؛ ليس لها قيمة عظمى، ولكن لها قيمة عظمى خارج المجموعة الجزئية؛ إذا كانت المجموعة الجزئية غير فارغة، فإن هذه القيمة العظمى هي نقطة نهاية للمجموعة الجزئية وبالتالي للمجموعة بأكملها أيضًا؛ إذا كانت المجموعة الجزئية فارغة، فإن هذه القيمة العظمى هي الحد الأدنى للمجموعة بأكملها.
• المجموعات الجزئية غير المحدودة في المجموعة الكاملة.

تكون المجموعة الجزئية نهائية مشتركة في المجموعة بأكملها إذا وفقط إذا كانت غير محدودة في المجموعة بأكملها أو كان لها قيمة عظمى هي أيضًا القيمة العظمى للمجموعة بأكملها.

تعتبر المجموعة المرتبة جيدًا كفضاء طوبولوجي فضاءً قابلاً للعد من الدرجة الأولى إذا وفقط إذا كان نوع ترتيبها أقل من أو يساوي ω ₁ ( أوميغا واحد )، أي إذا وفقط إذا كانت المجموعة قابلة للعد أو لها أصغر نوع ترتيب غير قابل للعد.

كل مجموعة مرتبة ترتيبًا جيدًا لها تماثل ترتيبي فريد مع عدد ترتيبي فريد ، يُسمى نوع الترتيب للمجموعة المرتبة ترتيبًا جيدًا. ويُحدد موقع كل عنصر داخل المجموعة المرتبة أيضًا بعدد ترتيبي. في حالة المجموعة المنتهية، فإن عملية العد الأساسية ، لإيجاد العدد الترتيبي لعنصر معين، أو لإيجاد العنصر ذي العدد الترتيبي المحدد، تُقابل إسناد أعداد ترتيبية واحدًا تلو الآخر للعناصر. حجم المجموعة المنتهية (عدد عناصرها، أو عددها الأصلي ) يساوي نوع الترتيب. ^{[ 14 ]} يبدأ العد في الاستخدام اليومي عادةً من واحد، لذا يُسند لكل عنصر حجم الجزء الأول الذي يكون فيه ذلك العنصر هو العنصر الأخير. لاحظ أن هذه الأعداد تزيد بمقدار واحد عن الأعداد الترتيبية الرسمية وفقًا للترتيب المتماثل، لأنها تساوي عدد العناصر السابقة (وهو ما يُقابل العد من الصفر). لذا، بالنسبة لقيم n المحدودة ، يتطلب التعبير " العنصر رقم n " لمجموعة مرتبة ترتيبًا جيدًا سياقًا لمعرفة ما إذا كان العد يبدأ من الصفر أو الواحد. في التعبير " العنصر رقم β " حيث يمكن أن يكون β عددًا ترتيبيًا لانهائيًا، فإنه عادةً ما يبدأ العد من الصفر.

بالنسبة لمجموعة غير منتهية، يحدد نوع الترتيب عدد عناصرها ، ولكن ليس العكس: يمكن أن تحتوي المجموعات ذات عدد عناصر غير منتهٍ معين على ترتيبات جيدة من أنواع مختلفة (انظر قسم  الأعداد الطبيعية أدناه كمثال). أما بالنسبة لمجموعة غير منتهية قابلة للعد ، فإن مجموعة أنواع الترتيب الممكنة غير قابلة للعد.

• الشجرة (نظرية المجموعات) ، التعميم
• العدد الترتيبي
• مجموعة ذات أساس متين
• طلب جزئي جيد
• الطلب المسبق
• مجموعة موجهة

• تاو، ت (28 يناير 2009). "245ب، ملاحظات 7: المجموعات المرتبة ترتيبًا جيدًا، والأعداد الترتيبية، ومبرهنة زورن (اختياري)" . ما الجديد .
• هالموس ، بول (1960). نظرية المجموعة الساذجة . برينستون، نيوجيرسي: شركة د. فان نوستراند.أُعيد طبعه بواسطة دار نشر سبرينغر-فيرلاغ، نيويورك، 1974. رقم الكتاب المعياري الدولي (ISBN) 0-387-90092-6(طبعة سبرينغر-فيرلاغ).
• تايلور، بول (13 مايو 1999). الأسس العملية للرياضيات . مطبعة جامعة كامبريدج. ISBN 978-0-521-63107-5.

• بول تايلور، نحو معالجة موحدة للاستقراء، الجزء الأول: نظرية الاستدعاء العام (1996).
• ملاحظة 2.5 في https://ncatlab.org/nlab/show/Zorn's+lemma