تسلسل خطي

S = Z- ∪ A

وفي هذا السياق، عندئذٍ، فإن S لا تستوفي شروط خاصية أ) ولا خاصية ب). والإثبات يكون مماثلًا للأمثلة السابقة.

أمثلة

وفي السياق ذاته، نظام الأرقام الحقيقية الممتدة الترابط والمجموعات المرتبة ترتيبًا تماثليًا، مثلًا فترة الوحدة

من جهة ثانية، تعد مجموعة الأعداد الحقيقيةالمرتبة، R، من خلال ترتيبها المعتاد تسلسلاً خطيًا، وهي النموذج الأصلي. وبالتالي، تكون خاصية ب) بسيطة، وخاصية أ) ببساطة هي إعادة صياغة لـ مسلمة الكمال.

أمثلة إلى جانب الأعداد الحقيقية:

من جانب آخر، المجموعات التي تكون مرتبة ترتيبًا تماثليًا لمجموعة الأعداد الحقيقية، مثلًا؛ المجال الحقيقي المفتوح، وكذلك الفراغات نصف المفتوحة (ينبغي ملاحظة أن هذه ليست فراغات بالمعنى المذكور أعلاه)

ومن ناحية أخرى، تتم إضافة مجموعة الأعداد الحقيقية ذات +∞ فقط أو -∞ فقط، والمجموعات المرتبة ترتيبًا تماثليًا، مثلًا المجال نصف المفتوح

نماذج لا تعتبر أمثلة

وفي السياق ذاته، إن مجموعة الأعداد الصحيحة غير السالبة بترتيبها المعتاد لا تعتبر تسلسلًا خطيًا. تكون خاصية أ) مستوفية الشروط (افترض أن A مجموعة فرعية من مجموعة الأعداد الصحيحة غير السالبة التي تحدها من الأعلى. عندئذٍ، فإن A تكون منتهية وبالتالي يوجد بها أقصى عدد. ويكون هذا العدد الأقصى أصغر حد علوي مطلوب لـ A). ومن ناحية أخرى، فإن الخاصية ب) ليست كذلك. وفي الواقع، يكون 5 عددًا صحيحًا موجبًا وكذلك 6، ولكن لا يوجد عدد صحيح موجب يقع بين العددين.

وعلى صعيد آخر، من مجموعة الأعداد الجذرية. وبرغم ذلك، يتم تحديد هذه المجموعة من الأعلى بواسطة أي عدد جذري أكبر من √ (مثلًا؛ 3)، ولا يكون بها أصغر حد علوي في الأعداد الجذرية.

A = (-∞, 0) ∪ (0, +∞)

B = (-∞, 0)

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

المجموعة المرتبة A المكونة من أعداد حقيقية غير صفرية:

ومن ناحية أخرى، افترض أن Z- تدل على مجموعة الأعداد الصحيحة السالبة وA = (0,5) ∪ (5,+∞). افترض أن:

وفي السياق ذاته، لا يعتبر تسلسلًا خطيًا. الخاصية ب) تكون مستوفية الشروط. ومع ذلك، إذا كانت B مجموعة من الأرقام الحقيقية السالبة:

ومن ناحية أخرى، عندئذٍ، تكون B مجموعة فرعية لـ A ويتم حدها من الأعلى (بواسطة أي عنصر لـ A أكبر من 0؛ مثلًا 61)، ولا يوجد بها أصغر حد علوي في B. لاحظ أن 0 لا يعتبر حدًا لـ B بما أن 0 ليس عنصرًا لـ A.

خصائص طوبولوجية

علاوةً على ذلك، والآن نحن بصدد إثبات خاصية أصغر حد علوي. إذا كانت C مجموعة X فرعية تحدها من الأعلى ولا يوجد بها أصغر حد علوي، فافترض أن D نقطة ترابط جميع الخطوط المفتوحة للشكل (b, +∞)، حيث تكون b حد C العلوي. وعندئذٍ تكون D مفتوحة (بما أنها نقطة ترابط المجموعات المفتوحة)، ومغلقة (إذا كانت 'a' غير موجودة في D، عندئذ فإن a < b تكون لكل حدود b العلوية الخاصة بـ C، وبالتالي يمكننا اختيار q > a، حيث إن q توجد في C (إذا كانت لا توجد q، تكون a هي أصغر حد علوي لـ a، ومن ثم ربما يتم اختيار المجال المفتوح الذي يحتوي على a ولا يتقاطع مع النقطة D). وبما أن D غير خالية (يوجد أكثر من حد علوي لـ D حال وجود حد s العلوي، ستكون s هي أصغر حد علوي. وإذا كان b1 وb2 هما حدان علويان لـ D بـ b1 < b2، إذن b2 ستنتمي إلى D)،وستشكل D مجموعة منفصلة على X. إلا أن هذا يتناقض مع ترابط X.

وفي السياق ذاته، على الرغم من أن التسلسلات الخطية مهمة في دراسة المجموعات المرتبة، فإنها تتضمن تطبيقات في حقل الطوبولوجيا الرياضي. وفي الحقيقة، سنثبت أن المجموعة المرتبة في الترتيب الطوبولوجي هي متصلة إذا كانت تسلسلًا خطيًا فقط (الرجاء ملاحظة الجزء الخاص بـ "الشرطية"). وسنثبت دليلًا واحدًا، ونترك الباقي كتمرين. (أوضح مونكريز الجزء الثاني من الإثبات Munkres, James (2000). Topology, 2nd ed., Prentice Hall. p 153-154.)نظرية رياضية

إضافةً إلى ذلك، افترض أن X عبارة عن مجموعة مرتبة في الترتيب الطوبولوجي. وإذا كانت X متصلة، عندئذٍ، تكون X تسلسلًا خطيًا.إثبات:

وفي السياق ذاته، افترض أن x توجد ضمن X و y توجد ضمن X، حيث x < y. فإذا كان لا يوجد z في X، بحيث إن x < z < y، فلاحظ المجموعات:

A = (-∞, y)

وفي هذا الصدد، تكون هذه المجموعات منفصلة (إذا كانت a موجودة في A, a < y وبذلك إذا كانت a موجودة في B, a > x وa < y والتي تصبح مستحيلة حسب الفرضية)، وغير خالية (x توجد في A و y توجد فيB) ومفتوحة (في الترتيب الطوبولوجي) ووحدتها هي X. وهذا يتعارض مع ترابط X.

B = (x, +∞)

π1 (x, y) = x

وعلى صعيد آخر، إذا كان b لا ينتمي إلى π1(A)، فعندئذٍ يكون b × 0 أصغر حد علوي لـ A، إذ أنه في حالة كان d < b وd × e حدًا علويًا لـ A، فعندئذٍ فإن d سيكون حدًا علويًا لـ π1 (A) أصغر من b، وهو ما يتعارض مع خاصية b الفريدة.

كذلك، وهذا التخطيط يعرف باسم تخطيط الإسقاط. ويكون تخطيط الإسقاط مستمرًا (فيما يتعلق بطوبولوجيا الناتج على I × I) ويعتبر شاملاً. افترض أن A مجموعة فرعية غير خالية لـ I × I، والتي تحدها من الأعلى. وافترض أن π1(A). وبما أن A تم تحديده من الأعلى، فإن π1(A) يجب كذلك تحديده من أعلى. وبما أن π1(A) هو مجموعة فرعية لـ I، فإنه يجب أن يتضمن أصغر حد علوي (حيث إن I لديها خاصية أصغر حد علوي). وبالتالي، ربما نفترض أن b هي أصغر حد علوي لـ π1(A). إذا كانت b تنتمي إلى π1(A)، عندئذٍ فإن b × I ستتقاطع مع A في، مثلًا، b × c لبعض c ∈ I. لاحظ أنه بما أن b × I يوجد به نوع الترتيب ذاته لـ I، فسيوجد بالفعل لدى المجموعة (b × I) ∩ A أصغر حد علوي b × c، والذي يكون أصغر حد علوي مرغوبًا فيه لـ A.

الخط طويل المدى

وفي السياق ذاته، إن مجموعة I × I (حيث يشير × إلى الجداء الديكارتي وI = [0، 1]) في الترتيب المعجمي التخطيطي تكون تسلسلاً خطيًا. الخاصية ب) تكون بسيطة. للتحقق من الخاصية أ)، قُمنا بتحديد تخطيط، π1 : I × I → I من خلال:

تطبيقات على النظرية الرياضية

من جهة ثانية، 2. ومن خلال تطبيق النظرية المثبتة أعلاه، يترتب عليها اعتبار أن R فضاء متصل. وفي الحقيقة أي مجال (أو خط) في R يكون متصلًا كذلك.

وعلى صعيد آخر، 4. وفي الواقع، إذا كانت هناك مجموعة مرتبة في الترتيب الطوبولوجي تعد تسلسلًا خطيًا، فيجب أن تكون متصلة. وبما أن أي مجال في هذه المجموعة هو كذلك تسلسل خطي، يترتب على ذلك أن هذا الفضاء يكون متصلاً محليًا نظرًا لأن له أساس يتألف بالكامل من مجموعات متصلة.

إضافةً إلى ذلك، 5. للحصول على مثال مثير للفضاء الطوبولوجي الذي يكون تسلسلًا خطيًا، انظر الخط الطويل المدي.

من جهة ثانية، 3. لاحظ كيف لا تعتبر الأعداد الصحيحة تسلسلًا خطيًا، وبالتالي يتعذر ربطها.

• 1. لاحظ أنه بما أن المجموعة المرتبة:
• A = (-∞, 0) U (0,+∞)
• ليست تسلسلًا خطيًا، فهي منفصلة.