متتالية

[يسار|تصغير|350px|متتالية غير منتهية من الأعداد الحقيقية (باللون الأزرق). هذه المتتالية ليست تصاعدية ولا تنازلية, وليست لها نهاية (أي أنها ليست متقاربة، إذن، هي متباعدة)، وليست هي [متتالية كوشي|بمتتالية كوشي. ولكنها محدودة.]]

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

إذا وضعنا مقابل كل عدد طبيعي n عددا حقيقيا x_n فنحصل على: x_0,x_1,x_2,...,x_n,... وكل هذه الاعداد ندعوها بحدود المتتالية و x_n الحد العام.

والمهم في المتتالية أنها من أجل كل n\in N أن الحد x_{n+1} يلي الحد x_n والحد x_n يسبق الحد x_{n+1} بغض النظر عن قيمهما.

## نبذة تاريخية
* دُرِسَت المتتاليات العددية الأولى في اليونان القديمة، مثل متتالية الأعداد الأولية وأرخميدس قام بأعمال حول المتتاليات التي نهايتها تساوي p.
* في القرن الثالث عشر اكتشف الإيطالي ليوناردو فيبوناتشي المتتالية التراجعية البسيطة التي تحمل اسمه: u_n = u_{n-1}+u_{n-2}مع u_0=1 و u_1=1والتي تترجم نمو تكاثر الحيوانات وتدخل المتتالية في توزيع وترتيب اوراق بعض النباتات بحيث يضمن هذا التوزيع وصول أكبر قدر من اشعة الشمس، وقد أثبت عام 1975 بأن عناصر هذه المتتالية تمثل جذورا لكثيرات حدود من الدرجة الخامسة. .
* المتتاليات الحسابية والهندسية ظهرت في أوروبا وفي الصين في القرون الوسطى.
* في عصر النهضة درست المتتاليات المعروفة لدينا الآن.

## التعريف الرسمي والخصائص الأساسية
### تعريف
يُسمى متتاليةً عدديّةً كل تطبيق منطلقه مجموعة الأعداد الطبيعية N ومستقره حقل K.
نرمز عادة إلى المتتالية بالرمز (U_n)_{n\in N}أو \{u_n\}عوضاََ عن:

\begin{matrix} u:N \rightarrow K \\   n\mapsto u_n \end{matrix}

**تعريف متتالية من خلال الاستدعاء الذاتي (التعريف التدرجي)** :

كون كل حد في المتتالية متعلقاً بالحد أو الحدود التي قبله، كأن يكون كل حد هو مجموع الحدين اللذين قبله.

مثال: مهما يكن \forall n \in N  نعرف المتتالية \{x_n\} كما يلي: \begin{matrix} x_0=1 \\ x_{n+1}=(n+1)x_n \end{matrix}

**تعريف متتالية دالة** :

مثال: x_n = \frac{2^n}{2^n+1}

### متتالية عددية حقيقية لانهائية محدودة
يُقال عن المتتالية \{x_n\} محدودة إذا كانت محدودة في R أي: مهما كان m,M \in R يكون: m \leq x_n \leq M.

أو: \left\vert x_n \right\vert  من أجل كل n\in N و K عدد حقيقي موجب.

أي أن مجموعة قيم أي متتالية عددية حقيقية لا نهائية تكون مجموعة اما منتهية وغير خالية أو غير منتهية وتكون إما محدودة أو غير محدودة.

ويُقال أنها محدودة من الأعلى إذا كانت مجموعة قيمها محدودة من الأعلى يُقال أنها محدودة من الأدنى إذا كانت مجموعة قيمها محدودة من الأدنى.

ويُقال أن متتالية ما محدودة عندما تكون مجموعة قيمها محدودة من الأعلى والأدنى في اَن واحد.

### المتتاليات الحسابية والمتتاليات الهندسية
قد تكون متتالية ما حسابيةً إذا كان الفرق بين قيمتي حدين متتابعين للمتتالية ثابثاً، وتكون هندسيةً إذا كانت النسبة بين قيمتي حدين متتابعين للمتتالية ثابثة. وقد تكون غير ذلك (أي أنها ليست حسابية وليست هندسية).

### المتتاليات المطردة (أو الرتيبة)
يُقال عن متتالية عددية أنها *متتالية مطردة* أو *متتالية رتيبة* إذا كانت إما متتالية تصاعدية أو تنازلية أو تصاعدية تماما أو تنازلية تماما.

**متتالية تصاعدية ومتتالية تنازلية**

يقال عن متتالية ما أنها **[[دالة رتيبة|تصاعدية]]** إذا كان كل حد أكبر من الحد الذي يسبقه أو يساويه. ويقال عنها أنها **تصاعدية تماماً** أو **تصاعدية قطعا** إذا كان كل حد أكبر تماماً من الحد الذي يسبقه. ويقال عن متتالية ما أنها **[[دالة رتيبة|تنازلية]]** إذا كان كل حد أصغر من الحد الذي يسبقه أو يساويه. ويقال عنها أنها **تنازلية تماماً** أو **تنازلية قطعا** إذا كان كل حد أصغر تماماً من الحد الذي يسبقه.

بالتعبير الرياضي، يُقال عن المتتالية العددية \{x_n\}  أنها:
* تصاعدية إذا كان x_n \leq x_{n+1} من أجل كل n\in N^*
* تنازلية إذا كان x_n \geq x_{n+1}  من اجل كل n\in N^*
* تصاعدية تماما إذا كان x_n  من اجل كل n\in N^*
* تنازلية تماما إذا كان x_n > x_{n+1} من اجل كل n\in N^*****

### المتتاليات الجزيئة
المتتالية الجزئية لمتتالية ما، هي متتالية تتكون من عناصر المتتالية الأصلية، بعد حذف بعض العناصر منها، دون تغير الترتيب النسبي الذي جاءت فيه العناصر غير المحذوفة. على سبيل المثال، مجموعة الأعداد الزوجية 0، 2، 4، 6... هي متتالية جزئية من متتالية الأعداد الطبيعية، 0، 2، 4، 6، 8.... (في هذا المثال حذفت جميع الأعداد الفردية).

لتكن المتتالية العددية x_1;x_2;...;x_n;...  ولنختر من بين حدودها حدََا نرمز له بالرمز x_{n_{1}}  ثم نحذف من هذه المتتالية الحدود x_1;x_2;...,x_{n_1} فتبقى لدينا الحدود x_{n_1+1};x_{n_1+2};..., ومن الحدود المتبقية نختار الحدََا نرمز له بـ x_{n_2}ونكرر نفس عملية الحذف وهكذا حتى نحصل على المتتالية الجديدة: x_{n_1};x_{n_2};...;x_{n_k};..., تدعى هذه المتتالية بالمتتالية الجزئية من المتتالية x_1;x_2;...;x_n;...و يكون الحد العام للمتتالية الجزئية هو x_{n_k}و نلفت النظر ان رقم الحد x_{n_k}يتعين بواسطة kوليس n.

وننوه أن: n_k \geq kمن أجل كل k \in N^*وهذا يعني انه من اجل كل k \in N^*يكون الحد x_{n_k}إما يساوي الحد x_kأو يساوي أحد الحدود التي تلي الحد x_k, ويمكن البرهان على هذا بالاستقراء: فمن أجل k=1تكون القضية n_1\geq 1صحيحة لان الحد x_{n_{1}}هو إما x_1 أو أحد الحدود التي تلي x_1في المتتالية x_1;x_2;...;x_n;...و لنفرض أن المتباينة n_m\geq mصحيحة من اجل k=m عندئذ نجد أن: n_{m+1}\geq n_m+1 \geq m+1 وبهذا قد أثبتنا المطلوب.
### أنواع أخرى من المتتاليات
تُدعى متتالية ما *جدائية* إذا كانf(x \times y) = f(x) \times f(y) حينما يكون x و y أوليين فيما بينهما. متتالية موبيوس مثال على ذلك.

انظر إلى مجموعة مرتبة جزئيا وإلى دالة رتيبة.

## نهاية متتالية وتقاربها

### متتالية عددية حقيقية متقاربة
نقول عن العدد a انه نهاية المتتالية العددية \{x_n\}و نكتب: \lim_{n \to \infty} x_n =a عندما وفقط عندما يتحقق ما يلي:

\forall \epsilon\in R^*_+ \ \exist \ n_\epsilon \in N : n\geq n_\epsilon \Rightarrow |x_n-a|

حيث العدد الطبيعي n_\epsilon يتغير في الحالة العام بتغير العدد \epsilon.

ونقول عن المتتالية العددية الحقيقية اللانهائية التي توجد لها نهاية بإنها متتالية **متقاربة** . وإذا كانت هذه النهاية تساوي a نقول عن هذه المتتالية انها متقاربة من a

ويمكن كتابة تعريف المتتالية المتقاربة في Rبالشكل التالي:

نقول عن المتتالية \{x_n\}أنها متقاربة من العدد الحقيقي a \in R  إذا وفقط إذا كان \lim_{n \to \infty} x_n =a.

### متتالية متباعدة
يُقال عن متتالية عددية \{x_n\} أنها متباعدة إذا لم تكن متقاربة. ويتوفر ذلك في إحدى الحالتين التاليتين:
* نهاية هذه المتتالية هو ما لا نهاية له. المتتالية الحيادية التي تربط كل عدد n بنفسه مثال على ذلك.
* المتتالية حيث متتاليتان جزئيتان تقتربان من نهايتين مختلفتين. المتتالية المتناوبة \{x_n\} = (-1)^n مثال على ذلك.

### متتالية كوشي

يُقال عن متتالية أنها لكوشي إذا كانت حدود هذه المتتالية تتقارب من بعضها البعض بشكل غير محدود من القرب كلما آل n إلى ما لا نهاية له. سُميت هذه المتتاليات هكذا نسبة إلى عالم الرياضيات الفرنسي أوغستين لوي كوشي.

## مبرهنات اساسية حول التقارب

### المبرهة الأولى: وحدانية نهاية متتالية
**إذا كانت المتتالية العددية <math>\{x_n\}</math> متقاربة من العدد <math>a</math> ومن العدد <math>b</math> فإن <math>a=b</math>.**

**الاثبات:** ليكن \epsilon \in R^*_+عندئذ \frac{\epsilon}{2}\in R^*_+ ويوجد عددان طبعيان يختلفان عن الصفر n_1و n_2 بحيث يكون:

\forall n \in N^* \ : n\geq n_1 \Rightarrow |x_n-a|

\forall n \in N^* \ : n\geq n_2 \Rightarrow |x_n-b|

ومنه يوجد عدد الطبيعي n_3 = \max(n_1;n_2)  بحيث يكون:

\forall n \in N^* \ : n\geq n_3 \Rightarrow |x_n-a|

\Rightarrow |a-b|=|a-x_n+x_n-b|\leq |a-x_n|+|x_n-b|

وبهذا قد برهن على القضية الصحيحة الاتية:

\forall \epsilon \in R^*_+ \exist n_3 \in N^* \ : n\geq n_3 \Rightarrow |a-b|

ومنه يمكن استنتاج أن a=bكما يلي:

لو كان a \neq b   لكان |a-b|>0وبالتالي لكان يوجد عدد n_3 \in N^*  بحيث يكون |a-b|\leq|a-b|عندما n\geq n_3   وهذا غير ممكن اذن a = b  وهو المطلوب.

### المبرهة الثانية: كل متتالية متقاربة محدودةٌ
**كل متتالية عددية متقاربة تكون محدودة.**

**الاثبات:** لتكن المتتالية \{x_n\} متقاربة ولنفرض انها متقاربة نحو a عندئذ يوجد من اجل كل العدد الحقيقي الموجب 1 عدد طبيعي يختلف عن الصفر n_1 بحيث يكون:

n > n_1 \Rightarrow |x_n-a|

ومنه يوجد العدد الحقيقي الموجب: K=\max(1;|x_1-a|;...;|x_n-a|)+1
بحيث يكون من أجل كل n \in N^* :

|x_n-a|ومنه: a-K وهذا يعني ان مجموعة قيم المتتالية \{x_n\}محدودة وبالتالي فالمتتالية \{x_n\}محدودة.

ليس من الضروري ان كل متتالية عددية محدودة تكون متقاربة.

### المبرهنة الثالثة: إزاحة حدود متتالية
**لتكن المتتالية العددية <math>\{x_n\}</math> ليكن <math>n_\epsilon \in N^*         </math> و <math>a \in \R </math> لنفرض أنه من اجل كل <math>n \in N^*    </math> يكون <math>y_n = x_{n_0+n-1}   </math> ولنأخذ المتتالية العددية <math>\{y_n\}   </math> عنذئذ:**

# **المتتالية <math>\{x_n\}   </math>متقاربة من <math>a   </math> <math>\Leftrightarrow   </math>المتتالية <math>\{y_n\}   </math>متقاربة من <math>a   </math>.**
# **المتتالية <math>\{x_n\}   </math>متباعدة <math>\Leftrightarrow </math> لمتتالية <math>\{y_n\}   </math>متباعدة.**

**الاثبات **

**1)** لتكن \{x_n \}متتالية متقاربة من aوليكن \epsilon \in R^{+}عندئذ يوجد N_1 \in N^*بحيث أن:

n \geqslant N_1 \Rightarrow \mid x_n - a \mid 

ثم نفرض أن N_2= \max(N_1 , N_0)عندئذ يكون:

n \geqslant N_2 \Rightarrow \mid x_n - a \mid 

وحسب تعريف y_n يمكن القول أنه يوجد عدد طبيعي N' بحيث يكون:

n \geqslant N' \Rightarrow \mid y_n - a \mid 

اذن \lim_{n \to \infty}y_n=a  وهذا يعني أن \{y_n\}  متقاربة من a.

وبالعكس نفرض أن \{y_n\}  متتالية متقاربة من a وليكن \epsilon' \in R^{+}عندئذ يوجد N_3 \in N^*بحيث يكون:

n \geqslant N_3 \Rightarrow \mid y_n - a \mid 

وحسب تعريف y_n يمكن ايجاد عدد طبيعي N*</math>بحيث يكون:

<math>n \geqslant N* \Rightarrow \mid x_n - a \mid 

اذن \lim_{n \to \infty}x_n=a وهذا يعني أن \{x_n\}  متقاربة من a.

**2)** لتكن \{x_n \} متباعدة ولنفرض أن \{y_n\}   متقاربة وعندئذ وحسب **(1)** تكون \{x_n \} وهذا مستحيل ومنه \{y_n\}   متباعدة.

وبالعكس لتكن \{y_n\}   متباعدة ولنفرض أن \{x_n \} أنها متقاربة وحسب **(1)** تكون \{y_n\}   وهذا مستحيل اذن \{x_n \} متباعدة.

### المبرهنة الرابعة: تقارب المتتاليات الجزئية
**تكون المتتالية العددية <math>\{x_n\}</math>متقاربة من <math>a</math> إذا وفقط إذا كانت كل متتالية جزئية منها متقاربة من <math>a</math>.**

الاثبات: اولا نفرض أن كل متتالية جزئية من المتتالية \{x_n\}متقاربة من aعندئذ تكون المتتالية \{x_n\}متقاربة من aلانها متتالية جزئية من نفسها.

ثانيا لنفرض أن المتتالية \{x_n\}متقاربة من a ولنأخذ منها متتالية جزئية اختيارية ولتكن \{x_{n_k}\}ثم نأخذ \epsilon \in R^*_+عندئذ يوجد n_1 \in N^*بحيث يكون: n \geq n_1 \Rightarrow |x_n-a| لما كان n_k \geq k من أجل كل k \in N^* فإن الحد x_{n_k}إما أن يساوي x_kأو يكون يكون واقعا على يمين الحد x_kفي المتتالية x_1;x_2;...;x_n;... ومنه يكون: k \geq n_1 \Rightarrow |x_{n_k}-a|إذن المتتالية الجزئية \{x_{n_k}\}متقاربة من a. وبهذا قد أثبتنا المطلوب.

## المتسلسلات

مجموع حدود متتالية هو متسلسلة. وبتعبير أدق، إذا كانت (*x*3, *x*2, *x*1, ...) متتالية، فإنه قد يُنظر إلى متتالية المجاميع الجزئية (*S*3, *S*2, *S*1, ...) حيث:

:S_n=x_1+x_2+\cdots + x_n=\sum\limits_{i=1}^{n}x_i.

:\sum\limits_{i=1}^\infty x_i.

## المتتاليات في مجالات أخرى من الرياضيات
### الطوبولوجيا
مفهوم الكثافة: كثافة مجموعة جزئية من فضاء طبولوجي في نفس الفضاء أو فضاء آخر. فأنت إذا أردت مثلا إثبات مساواة أو متباينة في مجموعة الأعداد الحقيقية يكفيك في أغلب الأحيان أن تثبتها في مجموعة الأعداد الناطقة، وهذا بفضل كثافة هذه المجموعة الأخيرة في مجموعة العداد الحقيقية. انظر إلى فضاء متري.

### التحليل الرياضي
* دراسة المعادلات التفاضلية: نحصل على حلول هذه المعادلات في الكثير من الأحيان نهايات متتاليات تقربنا شيئا فشيئا من الحل الدقيق.
* الحساب (أو التحليل) العددي: التقريبات وتقديرات الأخطاء تتم عموما عبر المتتاليات.
* تعريف مفاهيم رياضية أخرى: الانتقال مثلا من تعريف مفهوم المكاملة للدالة معرفة على مجال حقيقي وتأخذ قيمها في فضاء مجرد.
* فضاء باناخي (Banach (1945-1892 مثل R^n - يمر عبر المتتاليات.
* ومن التطبيقات التي نجدها في المتتاليات أنها تمكن من تعريف العديد من الدوال المألوفة مثل:
** الدالة الأسية.
** الدالة المثلثية جب.
** الدالة المثلثية تجب.
** الدالة اللوغاريتمية (بوصفها الدالة العكسية للدالة الأسية).
** الدالة المثلثية ظل (بوصفها نسبة للدالتين المثلثيتين جب وتجب).

### في علم الحاسوب
في علم الحاسوب، متتالية منتهية من الحروف تسمى سلسلة.

## انظر أيضا
* المتتالية 1±
* متتالية حسابية
* متتالية هندسية
* متتالية كوشي
* تبديل
* علاقة متعدية

## مصادر

* بابا حامد، بن حبيب (الطبعة الرابعة 2006) التحليل 1 تذكير بالدروس وتمارين محلولة عدد 300. (ترجمة عبد الحفيظ مقران) الجزائر ديوان المطبوعات الجامعية (ISBN 9961-0-0997-5)
* عمران، قوبا (2017).التحليل الجزء الأول . الطبعة الثانية .الجمهورية العربية السورية .المعهد العالي للعلوم التطبيقية والتكنولوجيا.
* مراد، محمد فاتح ; تاوريريت، جمال; قورين، مجمد ; فلاح، عبد الحفيظ ; موس، عبد المؤمن ; بلجيلالي، غريسي (2007) الرياضيات الجزء الثاني لسنة الثالثة من التعليم الثانوي العام . الجزائر . الديوان الوطني للمطبوعات المدرسية .
* أبو حمدة، عبد الواحد (1988).التحليل 1.الجمهورية العربية السورية . جامعة دمشق - مديرية الكتب الجامعية .

## مراجع

تصنيف:رياضيات ابتدائية
تصنيف:متتاليات ومتسلسلات