مبرهنة المتتاليات المتجاورة وشروط استقرار الجوار

التقارب التناظري المقيد للنظم المنفصلة وتحديد النهايات المشتركة صلب الفضاء الطوبولوجي

لا محاولة بعد...

1. التأسيس الاصطلاحي والشرط الثلاثي للتجاور الطوبولوجي

يُصطلح على أن المتتاليتين العدديتين $(u_n)_{n \in \mathbb{N}}$ و $(v_n)_{n \in \mathbb{N}}$ متجاورتان (Adjacent Sequences) إذا واستوفتا صراحة الشروط التحليلية المتلازمة الآتية:

- شرط الرتابة المقابلة الأول: استقرار المتتالية الأولى $(u_n)$ على رتابة متزايدة تماماً صلب نطاق التوليد.

- شرط الرتابة المقابلة الثاني: استقرار المتتالية الثانية $(v_n)$ على رتابة متناقصة تماماً صلب نطاق التوليد.

- قيد تناهي الفروق نحو الصفر: $\lim\limits_{n \to +\infty} (u_n - v_n) = 0$

2. المبرهنة الأساسية للاستقرار والتقارب المشترك

تقضي النظرية البنيوية صلب حقل الأعداد الحقيقية بأن كل متتاليتين متجاورتين هما حتماً متتاليتان متقاربتان نحو الغاية العددية الحقيقية المحدودة والثابتة نفسها $L$.

ويترتب على هذا الاتساق الدالي خضوع حدود المنظومتين التناظريتين لقيد الحصر الصارم الآتي لأجل كل عدد طبيعي $n$:

$u_n \leq L \leq v_n \quad (\lim\limits_{n \to +\infty} u_n = \lim\limits_{n \to +\infty} v_n = L)$

باعتبار أن المتتالية $(u_n)$ هي النمط الرتيب المتزايد، في حين تُمثل $(v_n)$ النمط الرتيب المتناقص حاصراً للغايات من الأعلى.

مجالات التوظيف والأداء المنهجي:

المعايرة التقريبية للمقادير الصماء: تُعد مبرهنة المتتاليات المتجاورة الركيزة الخوارزمية المعتمدة صلب الامتحانات الرسمية والتحليل العددي لحصر الثوابت الرياضية غير الناطقة (مثل الثابت النيبيري $e$ أو الجذور التربيعية الصماء)؛ حيث يُمثل الفرق $(v_n - u_n)$ مقدار السعة الخطية لدقة التقريب عند الرتبة $n$.

حظر استباق الاستنتاج دون قيد الغاية: يُلزم الطالب ديدكتيكيّاً بالانتباه إلى أن مجرد كون متتالية متزايدة وأخرى متناقصة مع استقرار المتراجحة $u_n \le v_n$ لا يكفي مطلقاً لإثبات التجاور البنيوي ما لم يتم التحقق حسابيّاً من تناهي فرق السلسلتين نحو الصفر عند $+\infty$.