تسلسل خطي
في المجال الرياضي لـ نظرية الترتيب، يكون التسلسل (الاكتناز المترابط) أو التسلسل الخطي (الاكتناز المترابط الخطي) تعميمًا للخط الحقيقي (مجموعة الأعداد الحقيقية).
ورسميًا، فإن التسلسل الخطي عبارة عن مجموعةمرتبة خطيًا تسمى "S" مكونة من أكثر من عنصر واحد، والتي تكون مرتبة بكثافة، أي أنه يوجد بين كل طرفين طرف آخر، والذي "يفتقر إلى الفراغات"، بمعنى أن كل مجموعة فرعية غير خالية بها حد أعلى يوجد بها أصغر حد علوي. وبشكل أكثر رمزية:
أ) "S" تتمتع بوجود خاصية أصغر حد علوي
ب) لكل "x" في "S" وكل "y" في "S" به "x" < "y"، يوجد "z" في "S" بحيث إن "x" < "z" < "y"
إن المجموعة تتضمن خاصية أصغر حد علوي، حال كانت كل مجموعة فرعية غير خالية من المجموعة التي تحدها من الأعلى يوجد بها أصغر حد علوي. وتتمتع التسلسلات الخطية بأهمية خاصة في مجال الطوبولوجيا، حيث يمكن استخدامها للتحقق مما إذا كان المجموعة المرتبة الممنوحة للترتيب الطوبولوجي متصلة أم لا.أمثلة إلى جانب الأعداد الحقيقية:
وهذا التخطيط يعرف باسم تخطيط الإسقاط. ويكون تخطيط الإسقاط مستمرًا (فيما يتعلق بطوبولوجيا الناتج على I × I) ويعتبر شاملاً. افترض أن "A" مجموعة فرعية غير خالية لـ "I" × "I"، والتي تحدها من الأعلى. وافترض أن "π"("A"). وبما أن "A" تم تحديده من الأعلى، فإن "π"("A") يجب أيضًا تحديده من أعلى. وبما أن "π"("A") هو مجموعة فرعية لـ "I"، فإنه يجب أن يتضمن أصغر حد علوي (حيث إن "I" لديها خاصية أصغر حد علوي). وبالتالي، ربما نفترض أن "b" هي أصغر حد علوي لـ "π"("A"). إذا كانت "b" تنتمي إلى "π"("A")، عندئذٍ فإن "b" × "I" ستتقاطع مع "A" في، على سبيل المثال، "b" × "c" لبعض "c" ∈ "I". لاحظ أنه بما أن "b" × "I" يوجد به نوع الترتيب ذاته لـ "I"، فسيوجد بالفعل لدى المجموعة ("b" × "I") ∩ "A" أصغر حد علوي "b" × "c"'، والذي يكون أصغر حد علوي مرغوبًا فيه لـ "A".
إذا كان "b" لا ينتمي إلى "π"("A")، فعندئذٍ يكون "b" × 0 أصغر حد علوي لـ "A"، إذ أنه في حالة كان "d" < "b" و"d" × "e" حدًا علويًا لـ "A"، فعندئذٍ فإن "d" سيكون حدًا علويًا لـ "π" ("A") أصغر من "b"، وهو ما يتعارض مع خاصية "b" الفريدة.
على الرغم من أن التسلسلات الخطية مهمة في دراسة المجموعات المرتبة، فإنها تتضمن تطبيقات في حقل الطوبولوجيا الرياضي. وفي الحقيقة، سنثبت أن المجموعة المرتبة في الترتيب الطوبولوجي هي متصلة إذا كانت تسلسلًا خطيًا فقط (الرجاء ملاحظة الجزء الخاص بـ "الشرطية"). وسنثبت دليلًا واحدًا، ونترك الباقي كتمرين. (أوضح مونكريز الجزء الثاني من الإثبات )
نظرية رياضية
افترض أن "X" عبارة عن مجموعة مرتبة في الترتيب الطوبولوجي. وإذا كانت "X" متصلة، عندئذٍ، تكون "X" تسلسلًا خطيًا.
"إثبات:"
افترض أن x توجد ضمن X و y توجد ضمن X، حيث x < y. فإذا كان لا يوجد z في X، بحيث إن x < z < y، فلاحظ المجموعات:
A = (-∞, y)
B = (x, +∞)
تكون هذه المجموعات منفصلة (إذا كانت a موجودة في A, a < y وبذلك إذا كانت a موجودة في B, a > x وa < y والتي تصبح مستحيلة حسب الفرضية)، وغير خالية (x توجد في A و y توجد فيB) ومفتوحة (في الترتيب الطوبولوجي) ووحدتها هي X. وهذا يتعارض مع ترابط X.
والآن نحن بصدد إثبات خاصية أصغر حد علوي. إذا كانت 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.
1. لاحظ أنه بما أن المجموعة المرتبة:
A = (-∞, 0) U (0,+∞)
ليست تسلسلًا خطيًا، فهي منفصلة.
2. ومن خلال تطبيق النظرية المثبتة أعلاه، يترتب عليها اعتبار أن R فضاء متصل. وفي الحقيقة أي مجال (أو خط) في R يكون متصلًا أيضًا.
3. لاحظ كيف لا تعتبر الأعداد الصحيحة تسلسلًا خطيًا، وبالتالي يتعذر ربطها.
4. وفي الواقع، إذا كانت هناك مجموعة مرتبة في الترتيب الطوبولوجي تعد تسلسلًا خطيًا، فيجب أن تكون متصلة. وبما أن أي مجال في هذه المجموعة هو أيضًا تسلسل خطي، يترتب على ذلك أن هذا الفضاء يكون متصلاً محليًا نظرًا لأن له أساس يتألف بالكامل من مجموعات متصلة.
5. للحصول على مثال مثير للفضاء الطوبولوجي الذي يكون تسلسلًا خطيًا، انظر الخط الطويل المدي.