تسلسل خطي

في المجال الرياضي لـ نظرية الترتيب، يكون **التسلسل (الاكتناز المترابط)** أو **التسلسل الخطي (الاكتناز المترابط الخطي)** تعميمًا للخط الحقيقي (مجموعة الأعداد الحقيقية).
 
ورسميًا، فإن التسلسل الخطي عبارة عن مجموعة مرتبة خطيًا تسمى *S* مكونة من أكثر من عنصر واحد، والتي تكون مرتبة بكثافة، أي أنه يوجد بين كل طرفين طرف آخر، والذي "يفتقر إلى الفراغات"، بمعنى أن كل مجموعة فرعية غير خالية بها حد أعلى يوجد بها أصغر حد علوي. وبشكل أكثر رمزية:

أ) *S* تتمتع بوجود خاصية أصغر حد علوي

ب) لكل *x* في *S* وكل *y* في *S* به *x* 1 : *I* × *I* → *I* من خلال:

:*π*1 (*x*, *y*) = *x*

وهذا التخطيط يعرف باسم تخطيط الإسقاط. ويكون تخطيط الإسقاط مستمرًا (فيما يتعلق بطوبولوجيا الناتج على 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*.

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

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

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

::S = Z- ∪ A

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

## خصائص طوبولوجية
على الرغم من أن التسلسلات الخطية مهمة في دراسة المجموعات المرتبة، فإنها تتضمن تطبيقات في حقل الطوبولوجيا الرياضي. وفي الحقيقة، سنثبت أن المجموعة المرتبة في الترتيب الطوبولوجي هي متصلة إذا كانت تسلسلًا خطيًا فقط (الرجاء ملاحظة الجزء الخاص بـ "الشرطية"). وسنثبت دليلًا واحدًا، ونترك الباقي كتمرين. (أوضح مونكريز الجزء الثاني من الإثبات )

**نظرية رياضية**

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

*إثبات:*

افترض أن x توجد ضمن X و y توجد ضمن X، حيث x  x وa  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. للحصول على مثال مثير للفضاء الطوبولوجي الذي يكون تسلسلًا خطيًا، انظر الخط الطويل المدي.

## المراجع

تصنيف:طوبولوجيا
تصنيف:مقالات تحوي براهين
تصنيف:نظرية الترتيب