مبرهنة المتتاليات المتجاورة وشروط استقرار الجوار
التقارب التناظري المقيد للنظم المنفصلة وتحديد النهايات المشتركة صلب الفضاء الطوبولوجي
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$.