متتابعات مطردة

المتتابعات المطردة Monotone Sequences

نظرية الإطراد التقاربي :

المتتابعة المطردة من الأعداد الحقيقية تقاربية إذا وفقط إذا كانت محدودة بالإضافة لوجود ملاحظتين:
إذا كان (X=(xₙ متتابعة تزايدية محدودة , إذاً :
{ lim(xₙ)=sup xₙ :nϵN }
إذا كان (Y=(yₙ متتابعة تناقصية محدودة , إذاً :
{ lim(yₙ)=inf {yₙ:nϵN }

الإثبات

من نظرية  (2.2.3) فإن المتتابعة التقاربية يجب أن تكون محدودة.
وعلى العكس نفرض أن X متتابعة مطردة محدودة ، أيضاً X إما تزايدية أو تناقصية :
(أ) نتعامل أولاً مع الحالة الأولى حيث (X=(xn متتابعة تزايدية و محدودة .
في حال أن X محدودة ، يوجد عدد حقيقي M بحيث أن  xₙ ≤ M   بالنسبة لكل n ϵ N .

وفقاً لخاصية التمام (6.3.2) لـ :
{ sup x* =sup⁡ xₙ :nϵN }  موجودة في R
ونحن سوف نبرهن أن (x* = lim⁡(xn
إذا كان  ε>0 معطى و x*- ε  ليست حد علوي من المجموعة { xn : n ϵ N } و بالتالي يوجد xₖ بحيث أن x*- ε < xₖ تحقق أن X متتابعة تزايدية ، يعني أن  xₖ ≤ xₙ كلما n ≥ K .
كذلك x*-ε < xₖ ≤ xₙ ≤ x*< x*+ ε  بالنسبة لكل n ≥ K .
ولذلك لدينا : xₙ- x*│ < ε │ بالنسبة لكل n ≥ K .

بما أن ε >0 عشوائي ، نستنتج أن (xn) تقاربية لــ *x .

(ب) إذا كان Y=(yn) متتابعة تناقصية محدودة , فمن الواضح أن (X := -Y =(-yₙ متتابعة تزايدية محدودة .
وقد تبين في (أ) أن lim X = sup  -yₙ } : n ϵ N }
الآن lim X = -limY وأيضاً في تمرين  (4.4.2)
  
(ب) لدينا : { sup –yn:n ϵ N } = { inf yn : n ϵ N }– إذاً { limY=-limX=infyn:n ϵ N }
نظرية الإطراد التقاربي تبرهن وجود نهاية من المتتابعة المطردة المحدودة .

أيضاً يعطينا وسيلة لحساب نهاية المتتابعة المقدمة ، و يمكننا تقييم أصغر حد علوي (supremum) في الحالة (أ) ، أو أكبر حد سفلي (infimum) في الحالة (ب) .

أحياناً من الصعب تقييم أصغر حد علوي أو أكبر حد سفلي ، لكن بمجرد أن نعرف أنه موجود غالباً ما يكون من الممكن تقييم النهاية عن طريق وسائل أخرى .

مثال (1)

Lim(1/√n )=0
من الممكن التعامل مع هذه المتتابعة بإستخدام نظرية  (10.2.3) سنستخدم نظرية رتيبة التقارب.
بوضوح الصفر هو الأدنى للمجموعة{ l/n ϵ N } وليس من الصعب تبين أن الصفر هو أكبر حد سفلي من المجموعة{ l/n ϵ N } 
إذا Lim(1/√n )=0
من ناحيه آخرى نحن نعلم ان ( l/x = l/√n ) محدودة ومتناقصة ونعلم أنها تتقارب إلى عدد حقيقي x
وبما أن ( l/x = l/√n ) تتقارب إلى x  يترتب من نظرية  (3.2.3) أن X × X = 1/n تتقارب 
إلى x² ومن ثم x² = 0  من حيث x = 0
ب)نفرض أن  hₙ = 1+1/2+1/3+.....+1/n
إذا hₙ = hₙ₊₁/(n+1) > hₙ
ونحن نرى أن (hₙ) متتابعة تزايدية .
وبإستخدام رتيبة التقارب نظرية  (2.3.3)
محاولات لاستخدام الحسابات العددية المباشرة للتوصل إلى التخمين بشأن المحدودية ممكن من المتتابعة (hₙ)  يؤدي إلى نتيجه غير حاسمه .
وتشغيل الكمبيوتر يكشف عن القيم التقريبيه hₙ≈ 11.4  من n = 50,000  و hₙ ≈ 12.1 من n = 100,000  .
مثل هذه الحقائق العددية قد يؤدي المراقب العادي أن نستنتج أن المتتابعة محدوده إلا أن المتتابعة هي في الواقع متباينة انشئت من قبل
H₂ⁿ = 1+1/2+(1/3+1/4)+....+(1/2ⁿ⁻¹+1+....+1/2ⁿ)
1+1/2+(1/4+1/4)+....+(1/2ⁿ+....+1/2ⁿ) >
= 1+1/2+1/2+....+1/2
= 1+n/2

إذا (hₙ) غير محدودة نظرية  (2.2.3) تعني أنها تباعدية .

مثال (3)

لتكن a ˃ 0 , سوف نقوم ببناء متتابعة (Ѕₙ) من الأرقام الحقيقية التي تتقارب لـ a

لنفرض s₁ >0  يكون تعسفياً ونحدد (sₙ₊₁ := 12(sₙ+asₙ) لكل n ϵ N ,ويتبين لنا أن المتتابعة (Sn) تتقارب لـ a  .
تبين لنا sₙ² ≥a لكل n  ≥  2 ,منذ Sₙ تعتبر معادله من الدرجة الثانية
sₙ²-2sₙ+1sₙ+a=0  هذه المعادله لها جذر حقيقي .وبالتالي بالتمايز 4sₙ+12-4a يجب أن يكون غير سالب, وهذا هو sn+12 ≥a لكلn ≥ 1 .
ونرى أن (Sₙ) يتناقص في نهاية المطاف, نلاحظ أن  n  ≥  2 لدينا :
sₙ-sₙ₊₁= sₙ-12(sₙ+asₙ)= 12   .  (sₙ²-a)sₙ ≥0
من هنا sₙ₊₁ ≤ sₙ  لكل n  ≥  2 , ومن هذا تعني نظرية المتتابعة المطردة (s:= lim(Sₙ
موجود . 

بالإضافة إلى نظرية  (3.2.3)  الحد s يعوض بالعلاقة : (s= 12(s+as
حيث أنها تتبع s = a/s أو s²=a حيث s= a.
لغرض الحساب , غالبا ما يكون من المهم أن يكون هناك تقدير لمدى سرعة المتتابعة (Sₙ) تتقارب لـ a . وعلى هذا النحو , لدينا a ≤ sn  لكل n  ≥  2 , حيث أنها تتبع asn ≤ a ≤sn  وبالتالي لدينا :
0 ≤ sₙ-a ≤ sₙ-asₙ=(sₙ²-a)sₙ
لكل n  ≥  2 .
باستخدام هذا التباين يمكننا حساب a لأي درجة مطلوبة.

عدد أويلر

نستنتج من خلال هذا القسم مقدمة تسلسل التي يتقاطع إلى أحد الأرقام الأكثر أهمية "متسام" في الرياضيات، والثانية من حيث الأهمية فقط لــ

مثال (4)

لتكن eₙ := (1+1/n)ⁿ لكل n ϵ N . 

ولنعرض الآن أن المتتابعة (E=(eₙ محدوده وتزايديه ؛ وبالتالي فمن التقارب.

الحد من هذه التتابع هو المشهور عدد اويلرe ,الذي قيمته التقريبية 2.718281828459045 التي تؤخذ على أنها قاعدة لوغاريتم "الطبيعية".
إذا ما طبقنا نظرية ذات الحدين، لدينا :

eₙ=(1+1/n)ⁿ=1+n/1.1/n+n(n-1)/2!.1/n²+n(n-1)(n-2)/3!.1/n³+....+n(n-1)...2.1/n!.1/nⁿ

إذا كان لنا أن تقسيم صلاحيات  n في المصطلحات في بسط للمعاملات 
ذات الحدين، نحصل على :
(eₙ=1+1+1/2!(1-1/n)+1/3!(1-1/n)(1-2/n)+………+1/n!(1-1/n)(1-2/n)………(1-n-1/n
لاحظ أن التعبير عن eₙ يحتوي على n+1  الشروط  ,  في حين انه لــ  eₙ₊₁ يحتوي على n+2 الشروط ,

بالإضافة , كل فصل يظهر في eₙ  أقل من أو مساوي للفترة المقابلة في eₙ₊₁ و eₙ₊₁ لديه فترة موجبة أكثر . ولذلك لدينا :
>....>e1 < e2 ≥ ذلك أن E فترة تتزايد.
لإظهار أن شروط E ومحدودة, نلاحظ انه إذا p = 1,2,…n ثم 1>(l-p/n) بالإضافة !2p-1 ≤ p وهكذا 1/2p! ≤ 1/2p-1  

من ثم في حال n ˃ 1 ,إذاً لدينا
1-eₙ<1+1+1/2+1/22+....+1/2n>

نستنتج من نظرية الإطراد التقاربي أن المتتابعة E تقترب إلى العدد الحقيقي الذي هو بين 2 و 3. نحدد عدد e ليكون الحد من هذه المتتابعة.

من خلال تعديل تقديراتنا يمكن أن نجد تقريبية أقرب عقلانية لــe ,ولكن لا يمكننا تقييم ذلك بالضبط , منذ أن e هو عدد غير عقلاني. ومع ذلك، فمن الممكن لحساب e لأكبر عدد من المنازل العشرية كما تريد. ينبغي للقارى استخدام الآلة الحاسبة (أو الكمبيوتر) لتقييم e القيم الكبيرة لـn .