نظرية الترتيب

من ويكيبيديا، الموسوعة الحرة
اذهب إلى: تصفح، ‏ ابحث

نظرية الترتيب هي فرع من الرياضيات يهتم بدراسة الأنواع المختلفة من العلاقات الثنائية التي تعطي انطباعا حسّياً عن فكرة ترتيبها موفرة بنية يمكن القول من خلالها متى يكون الشيء "أقل من" أو "يسبق" الآخر.

تدرس نظرية الترتيب مختلف أنواع العلاقات الثنائية بين العناصر الرياضية المختلفة التي ترمز ترتيب هذه العناصر.

مقدمة للتعريفات الأساسية[عدل]

تعريف[عدل]

العلاقة \Re في المجموعة E هي علاقة ترتيب إذا وفقط إذا كانت في نفس الوقت علاقة انعكاسية علاقة تخالفية (غير تناظرية) (en)وعلاقة متعدية.

و بعبارة رياضية:

  • \forall x \in E, \ x \mathcal{R} x \,
  •  \forall x \in E, \forall y \in E, \ [ (x \mathcal{R} y) \wedge (y \mathcal{R} x) ] \Rightarrow [ x = y ] \,
  •  \forall x \in E, \forall y \in E, \forall z \in E, \ [ (x \mathcal{R} y) \wedge (y \mathcal{R} z) ] \Rightarrow [ x \mathcal{R} z ] \,

مجموعة مرتبة[عدل]

المجموعة المرتبة هي عبارة عن مجموعة مزودة بعلاقة ترتيب.إذا كانت مجموعة مرتبة منتهية فإنه يمكن تمثيلها بيانيا في شكل رسم تخطيطي هاس "Hasse"، على غرار التمثيل البياني المعتاد على الورق، ما يمكن من العمل بسهولة عليها. أما إذا كانت المجموعة غير منتهية فإنه يمكن تمثيل جزء منها فقط.

المجموعات المرتبة جزئيا[عدل]

الترتيب عادة ما يعبر عنه في الكثير من الحالات بعلاقة ثنائية خاصة. فلو اعتبرنا مجموعة P والعلاقة ≤ على P. عندئذ يكون ≤ ترتيب جزئي إذا كانت انعكاسية، متناظرة عكسيا antisymmetric، متعدية، أي :

من أجل aوb وc من المجموعة P سيكون لدينا :

aa (انعكاسية)
إذا كان ab وba عندئذ a = b (تناظر معاكس)
إذا كان ab وbc عندئذ ac (متعدية)

المجموعة المزودة بترتيب جزئي تدعى مجموعة مرتبة جزئيا, وأحيانا "مجموعة مرتّبة" ordered set إذا كان معنى التريب في السياق واضحا. بتفحص هذه الخواص سنجد ان التريب الموجود في جميع مجموعات العداد الطبيعية والصحيحة والمنطقية والحقيقية جميعها مرتبة بهذا المفهوم للتريب الجزئي. إلا أنها تملك صفة إضافية تجعل ترتيبها كاملا :

إذا كان a وb عنصرين متمايزين في P :

ab or ba (كلانية totality)

هذه التراتيب تدعى ترتيب خطي أو سلاسل. في الحقيقة الكثير من علاقات التريب الكلاسيكية هي ترتيبات خطية، يشكل ترتيب المجموعة الجزئية على المجموعات إحدى الحالات التي لا تشكل ترتيب خطي

التمثيل المرئي للترتيبات[عدل]

عناصر خاصة ضمن الترتيب[عدل]

انظر أيضا[عدل]

بحاجة لمصدر المحتوى هنا ينقصه الاستشهاد بمصادر. يرجى إيراد مصادر موثوق بها. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها.(أكتوبر_2010)