حد ديديكايند: الفرق بين النسختين

[مراجعة غير مفحوصة][مراجعة غير مفحوصة]
تم حذف المحتوى تمت إضافة المحتوى
لا ملخص تعديل
لا ملخص تعديل
سطر 1:
حد ديديكايند أو تقسيم ديديكايند ل[[مجموعة مرتبة كليا]] S هي كل مزودجة (A,B) من أجزاء S بحيث: {A,B} تكون [[تجزئة]] ل S و كل عنصر من A أصغر (قطعا) من كل عنصر من B.
 
يوحي هذا التعريف بوجود "حد" يفصل بين A و B مما يفسر الإصطلاح. و استعمل هذا المفهوم أولا من طرف ريتشارد ديديكايند كطريقة لإنشاء الأعداد الحقيقية الغير جذرية.
سطر 14:
# <math>A</math> لا تحتوي على أكبر عنصر.
 
الخاصيات 1 الى 3 تفيد بأن {A,B} [[تجزئة]] ل S. مما يعني أن تعريفتحديد أحد الجزئين A أو B يكفي لتعريفلتحديد الحد. إلا أننا نحتفظ بالجزئين معا و نرمز للحد بالزوج (A,B).
 
كما يمكن أن نعوض الخاصية 4 ب: