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

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

تعريف (1)

نفترض (x = (xn متتابعة من مجموعة الأعداد الحقيقية.

نقول عن x أنها تزايدية increasing إذا حققت المتباينة

.....<x₁ ≤ x₂ ≤..... ≤ x_n ≤ x_n+1

(....,1,2,3,4), (....,1,2,2,3,3,3), (.....,a,a²,a³,a⁴)

نقول عن x أنها تناقصية decreasing إذا حققت المتباينة

..... x₁ ≥ x₂ ≥ ....x_n ≥ x_n+1

نقول عن x أنها مطردة monotone إذا كانت إما تزايدية أو تناقصية

• المتتابعات التالية تزايدية:

(a,a²,a³,....... ,aⁿ,....) إذا كانت a > 1

• المتتابعات التالية تناقصية:

(...,1,1/2,1/3), (....,1,1/2²,1/2³,1/2⁴) (....,b,b²,b³,......,bⁿ) إذا كانت 1 > o < b

• المتتابعات التالية غير مطردة:

(....,3+,2-,1+), (....,1+,-1-,1+)

• المتتابعات التالية ليست مطردة تماماً لكنها «بوجه عام» مطردة:

(.....,7,6,2,1,2,3,4), (.....,2,0,1,1/2,1/3).

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

المتتابعة المطردة من الأعداد الحقيقية تقاربية إذا وفقط إذا كانت محدودة بالإضافة لوجود ملاحظتين:

إذا كان (X=(x_n متتابعة تزايدية محدودة، إذاً:

{ lim(x_n)=sup x_n :nϵN }

إذا كان (Y=(y_n متتابعة تناقصية محدودة، إذاً:

{ lim(y_n)=inf {y_n:nϵN }

الإثبات

من نظرية (2.2.3) فإن المتتابعة التقاربية يجب أن تكون محدودة.

وعلى العكس نفرض أن X متتابعة مطردة محدودة، أيضاً X إما تزايدية أو تناقصية:

(أ) نتعامل أولاً مع الحالة الأولى حيث (X=(xn متتابعة تزايدية ومحدودة. في حال أن X محدودة، يوجد عدد حقيقي M بحيث أن x_n ≤ M بالنسبة لكل n ϵ N .
وفقاً لخاصية التمام (6.3.2) لـ:

{ sup x^* =sup⁡ x_n :nϵN } موجودة في R ونحن سوف نبرهن أن (x* = lim⁡(xn

إذا كان ε>0 معطى و x^*- ε ليست حد علوي من المجموعة { xn : n ϵ N } وبالتالي يوجد x_k بحيث أن x^*- ε < x_k تحقق أن X متتابعة تزايدية، يعني أن x_k ≤ x_n كلما n ≥ K .

كذلك x^*-ε < x_k ≤ x_n ≤ x^*< x^*+ ε بالنسبة لكل n ≥ K .

ولذلك لدينا: x_n- x^*│ < ε │ بالنسبة لكل n ≥ K .
بما أن ε >0 عشوائي، نستنتج أن (xn) تقاربية لــ ^*x .
(ب) إذا كان Y=(yn) متتابعة تناقصية محدودة، فمن الواضح أن (X := -Y =(-y_n متتابعة تزايدية محدودة.

وقد تبين في (أ) أن lim X = sup -y_n } : 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_n = 1+1/2+1/3+.....+1/n إذا h_n = h_n+1/(n+1) > h_n ونحن نرى أن (h_n) متتابعة تزايدية. وبإستخدام رتيبة التقارب نظرية (2.3.3) محاولات لاستخدام الحسابات العددية المباشرة للتوصل إلى التخمين بشأن المحدودية ممكن من المتتابعة (h_n) يؤدي إلى نتيجه غير حاسمه.

وتشغيل الكمبيوتر يكشف عن القيم التقريبيه h_n≈ 11.4 من n = 50,000 و h_n ≈ 12.1 من n = 100,000 . مثل هذه الحقائق العددية قد يؤدي المراقب العادي أن نستنتج أن المتتابعة محدوده إلا أن المتتابعة هي في الواقع متباينة انشئت من قبل H₂ⁿ = 1+1/2+(1/3+1/4)+....+(1/2^n-1+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_n) غير محدودة نظرية (2.2.3) تعني أنها تباعدية.

مثال (2)

(أ) نفرض أن (Y=(y_n يمكن تعريفها من قِبل (y₁≔1 , y_n+1≔14(2y_n+3 بالنسبة لـ n ≥1

ونحن سوف نبرهن أن lim Y= 32 بالحساب المباشر يظهر أن y₂= 54 وبالتالي لدينا: y1 < y2 <2

و تبين لنا من خلال الإستقراء الرياضي (induction) أن y_n <2 بالنسبة لكل n ϵ N , وهذا صحيح بالنسبة لـ n=1,2 إذاً y_k <2 يُحمل لبعض k ϵ N , إذاً: yk+1= 14(2yk+3)< 14(4+3)= 74 <2 و هكذا yk+1 <2 , إذاً: y_n <2 بالنسبة لكل n ϵ N . و تبين لنا الآن من الإستقراء الرياضي أن y_n <y_n+1 بالنسبة لكل n ϵ N . و قد تم التحقق من صحة ذلك بالنسبة لـ n=1 . لنفرض الآن أن y_k <y_k+1 بالنسبة لبعض K ; أيضاً 2y_k+3 <2y_k+1+3 حيث أنها تتبع ذلك y_k+1= 14(2y_k+3)< 14(2y_k+1+3)= y_k+2 و بالتالي y_k <y_k+1 يعني أن y_k+1 <y_k+2 إذاً y_n <y_n+1 بالنسبة لكل n ϵ N . لقد بينا أن المتتابعة (Y=(y_n تزايدية ومحدودة من قِبل 2 , ويترتب على ذلك حسب نظرية الإطراد التقاربي أن Y تتقارب من النهاية 2 .
و في هذه الحالة ليس من السهل تحديد نهاية (y_n) بواسطة حساب { sup { y_n:n ϵ N.
ولكن هنالك طريقة أخرى لتحديد النهاية لها: بما أن (y_n+1= 14(2y_n+3 بالنسبة لكل n ϵ N , الحد النوني في ذيل المتتابعة الأول Y₁ من Y له علاقة جبرية بسيطة للحد النوني من Y.

بما أن في النظرية (9.1.3) لدينا: y := lim Y₁=limY فيترتب على ذلك من نظرية (3.2.3) (لماذا) ؟ أن (y= 14(2y+3 و من ذلك نستنتج أن y= 32 .

• حساب الجذور التربيعية:

نحن الآن سنعطي تطبيق للمتتابعة المطردة نظرية لحساب الجذور التربيعية للعدد الموجب.

مثال (3)

لتكن a ˃ 0 , سوف نقوم ببناء متتابعة (Ѕ_n) من الأرقام الحقيقية التي تتقارب لـ a
لنفرض s₁ >0 يكون تعسفياً ونحدد (s_n+1 := 12(s_n+as_n) لكل n ϵ N , ويتبين لنا أن المتتابعة (Sn) تتقارب لـ a .

تبين لنا s_n² ≥a لكل n ≥ 2 , منذ S_n تعتبر معادله من الدرجة الثانية s_n²-2s_n+1s_n+a=0 هذه المعادلة لها جذر حقيقي.وبالتالي بالتمايز 4s_n+12-4a يجب أن يكون غير سالب، وهذا هو sn+12 ≥a لكلn ≥ 1 .

ونرى أن (S_n) يتناقص في نهاية المطاف، نلاحظ أن n ≥ 2 لدينا: s_n-s_n+1= s_n-12(s_n+as_n)= 12 . (s_n²-a)s_n ≥0

من هنا s_n+1 ≤ s_n لكل n ≥ 2 , ومن هذا تعني نظرية المتتابعة المطردة (s:= lim(S_n موجود.
بالإضافة إلى نظرية (3.2.3) الحد s يعوض بالعلاقة: (s= 12(s+as

حيث أنها تتبع s = a/s أو s²=a حيث s= a. لغرض الحساب، غالبا ما يكون من المهم أن يكون هناك تقدير لمدى سرعة المتتابعة (S_n) تتقارب لـ a . وعلى هذا النحو، لدينا a ≤ sn لكل n ≥ 2 , حيث أنها تتبع asn ≤ a ≤sn وبالتالي لدينا: 0 ≤ s_n-a ≤ s_n-as_n=(s_n²-a)s_n لكل n ≥ 2 .

باستخدام هذا التباين يمكننا حساب a لأي درجة مطلوبة.

عدد أويلر

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

مثال (4)

لتكن e_n := (1+1/n)ⁿ لكل n ϵ N .
ولنعرض الآن أن المتتابعة (E=(e_n محدوده وتزايديه؛ وبالتالي فمن التقارب.
الحد من هذه التتابع هو المشهور عدد اويلرe , الذي قيمته التقريبية 2.718281828459045 التي تؤخذ على أنها قاعدة لوغاريتم «الطبيعية». إذا ما طبقنا نظرية ذات الحدين، لدينا:
e_n=(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_n=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 يحتوي على n+1 الشروط، في حين انه لــ e_n+1 يحتوي على n+2 الشروط،
بالإضافة، كل فصل يظهر في e_n أقل من أو مساوي للفترة المقابلة في e_n+1 و e_n+1 لديه فترة موجبة أكثر. ولذلك لدينا: >....>e1 < e2 ≥ ذلك أن E فترة تتزايد. لإظهار أن شروط E ومحدودة، نلاحظ انه إذا p = 1,2,…n ثم 1>(l-p/n) بالإضافة !2p-1 ≤ p وهكذا 1/2p! ≤ 1/2p-1
من ثم في حال n ˃ 1 , إذاً لدينا 1-e_n<1+1+1/2+1/22+....+1/2n>

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