مقدمة: فهم الترتيب في مجموعة الأعداد الحقيقية

يُعد ترتيب الأعداد الحقيقية مفهومًا أساسيًا يسمح لنا بمقارنة الأعداد وتحديد علاقاتها. يتيح لنا هذا الترتيب تنظيم الأعداد على خط الأعداد وفهم سلوك الدوال والمتراجحات.

العلاقات الأساسية للترتيب

عند مقارنة عددين حقيقيين a و b، هناك ثلاث علاقات ممكنة:

• a < b (a أصغر من b): هذا يعني أن a يقع على يسار b عند تمثيلهما على خط الأعداد.
• a > b (a أكبر من b): هذا يعني أن a يقع على يمين b عند تمثيلهما على خط الأعداد.
• a = b (a يساوي b): هذا يعني أن a و b يمثلان نفس النقطة على خط الأعداد.

تُعرف هذه العلاقات بـ *العلاقة الترتيبية* في مجموعة الأعداد الحقيقية.

خصائص علاقة الترتيب

تتمتع علاقة الترتيب بخصائص هامة تسهل التعامل مع المتراجحات:

• خاصية الانعكاس: لكل عدد حقيقي a، فإن a = a.
• خاصية التعدي: إذا كان a ≤ b و b ≤ c، فإن a ≤ c.
• خاصية الالتواء (Antisymmetry): إذا كان a ≤ b و b ≤ a، فإن a = b.
• إضافة عدد إلى طرفي المتراجحة: إذا كان a < b، فإن a + c < b + c لأي عدد حقيقي c.
• الضرب في عدد موجب: إذا كان a < b و c > 0، فإن a × c < b × c.
• الضرب في عدد سالب: إذا كان a < b و c < 0، فإن a × c > b × c (تنقلب علامة المتراجحة).

المجالات والفترات (Intervalles)

تُستخدم المجالات لتمثيل مجموعات من الأعداد الحقيقية المترتبة. هناك أنواع مختلفة من المجالات:

• مجال مغلق [a, b]: يشمل جميع الأعداد الحقيقية x بحيث a ≤ x ≤ b.
• مجال مفتوح ]a, b[: يشمل جميع الأعداد الحقيقية x بحيث a < x < b.
• مجال نصف مفتوح [a, b[ أو ]a, b]: يشمل أحدهما (a أو b) ولا يشمل الآخر.
• مجالات غير محدودة: مثل ]-∞, a]، [a, +∞[، ]-∞, +∞[ (وهي تمثل مجموعة الأعداد الحقيقية ℝ بأكملها).

يتم استخدام الأقواس المربعة [ ] لتضمين الحد، والأقواس المدورة ( ) لاستبعاد الحد.

أمثلة تطبيقية

مقارنة الأعداد:

• -5 < 2 (لأن -5 على يسار 2 على خط الأعداد)
• 1.5 > 1.25 (لأن 1.5 على يمين 1.25)
• √2 ≈ 1.414، لذا √2 < 1.5

حل متراجحة بسيطة: لحل المتراجحة 2x - 1 < 7:

• نضيف 1 إلى الطرفين: 2x < 8
• نقسم على 2 (وهو عدد موجب، فلا تتغير علامة المتراجحة): x < 4
• مجموعة الحلول هي المجال المفتوح ]-∞, 4[.

تمثيل المجالات على خط الأعداد:

• المجال [-2, 3]: يمثل جميع الأعداد من -2 إلى 3، بما في ذلك -2 و 3.
• المجال ]0, +∞[: يمثل جميع الأعداد الحقيقية الموجبة تمامًا.