🎛️ راقب حدود المتتالية وهي تتقارب داخل أنبوب عرضه
صغّر وانظر إلى الرتبة N التي ابتداءً منها تبقى كل الحدود داخل الأنبوب. هذا هو معنى أن تكون المتتالية متتالية كوشي.
كلما صغر كبرت N. لكن N توجد دائمًا.
الرتبة N الكافية
N = 4
عرض الأنبوب
2 = 1.0
النهاية
ℓ 1.4142
= 0.5 : تكفي N = 4 لكي تكون كل الحدود up حيث p N داخل أنبوب عرضه 2. متتالية كوشي متقاربة.
🎯 المشكلة: كيف نبرهن أن متتالية متقاربة دون معرفة نهايتها؟
لديك متتالية (un) معرّفة بـ u0 = 1 و un+1 = (un + 2/un)/2. احسب الحدود الأولى: 1, 1.5, 1.4166…, 1.41421…, 1.41421356… يبدو أنها تتقارب نحو . لكن كيف نبرهن أنها متقاربة بينما لا تعرف النهاية؟
التعريف الكلاسيكي للتقارب يقول: > 0, N, n N, |un − ℓ| < . لكن هذا التعريف يستلزم معرفة ℓ. كيف نفعل إذا كنا نجهل النهاية؟
أوغستان-لوي كوشي (1789-1857) نشر الجواب سنة 1821 في كتابه الشهير دروس في التحليل. فكرته: إذا انتهت حدود المتتالية إلى أن تتقارب فيما بينها (مهما كان نحو ماذا)، فإن المتتالية تتقارب.
💡 تعريف كوشي: التقارب دون هدف
متتالية كوشي
متتالية (un) تُسمى متتالية كوشي إذا:
> 0, N , p, q N, |up − uq| <
بوضوح: مهما كان الهامش الذي تختاره، توجد رتبة N ابتداءً منها يكون حدّان كيفما كانا (مهما كانا) متباعدين بأقل من .
لاحظ الفرق الجوهري مع التقارب الكلاسيكي: هنا نقارن الحدود فيما بينها، لا مع نهاية. لا يظهر أي هدف في التعريف.
⚡ مبرهنة كوشي الأساسية (في )
في : متتالية كوشي متتالية متقاربة.
هذا التكافؤ هو واحد من أعمق خصائص التحليل الحقيقي. يقول إن هو مجموعة تامة: كل متتالية «تتقارب فيما بينها» لها فعلاً نهاية في . لا ثقوب، ولا هروب نحو ما لا نهاية.
عمليًا، لكي نبرهن أن متتالية متقاربة، يكفي أن نبيّن أنها متتالية كوشي. لم تعد بحاجة إلى معرفة النهاية. هذه هي الثورة.
🌀 لماذا ينجح هذا: الحدس الهندسي
تخيّل الحدود un مصطفّة على المستقيم الحقيقي. شرط كوشي يقول إنه ابتداءً من رتبة معينة، تكون كل الحدود محشورة في أنبوب عرضه . بتصغير ، يضيق الأنبوب، وتبقى الحدود محصورة فيه دائمًا.
يضيق الأنبوب إلى نقطة عندما 0. هذه النقطة هي النهاية ℓ. وهذه النهاية توجد لأن لا «يهرب» — إنه تام.
📐 كوشي في البكالوريا علوم رياضية: 3 حالات يساعد فيها
1. متتاليات معرّفة بعلاقة تراجعية مع نقطة صامدة
إذا كان un+1 = f(un) و |f'(x)| k < 1 على جوار النقطة الصامدة، فإنه بواسطة التزايدات المنتهية:
|un+1 − un| k |un − un−1| kn |u1 − u0|
المجموع الهندسي للفوارق متقارب (متسلسلة هندسية أساسها k < 1)، إذن المتتالية متتالية كوشي، إذن متقاربة. برهان دون معرفة النهاية، كلاسيكي في البكالوريا علوم رياضية.
2. معيار كوشي للمتسلسلات
متسلسلة an تتقارب إذا وفقط إذا كان لكل > 0، توجد N بحيث لكل p, q N: |ap+1 + ap+2 + … + aq| < . إنه كوشي مطبّقًا على متتالية المجاميع الجزئية. أداة أساسية لإثبات تقارب متسلسلة لا نعرف مجموعها.
3. مبرهنات المقارنة
إذا كان |up − uq| M min(p,q) مع < 1، فإن المتتالية متتالية كوشي (إذن متقاربة). مخطط معياري للمتتاليات المتجاورة، التفريع الثنائي، طريقة نيوتن، إلخ.
⚠️ الفخ: كوشي لا ينجح إلا في (أو )
القاعدة كوشي متقاربة ليست صالحة إلا في فضاءات تُسمى تامة. و كذلك، أما فليس كذلك، وبعض الفضاءات الدالّية ليست كذلك أيضًا.
في الثانوي والأقسام التحضيرية، تشتغل دائمًا في أو : لا مشكلة، التكافؤ ينطبق. لكن احفظ أن هذه خاصية خاصة بالأعداد الحقيقية، وليست حقيقة كونية.
🎓 الدرس الكبير لكوشي
قام كوشي بأمرين ثوريين:
- 1. جعل التحليل صارمًا. قبله، كانت البراهين في التحليل غامضة («كميات صغيرة إلى ما لا نهاية»، «نهايات تؤول نحو…»). أدخل كوشي الرموز , , N التي تعطي معنى دقيقًا لكل هذه المفاهيم. إنها لغة التحليل الحديثة.
- 2. توفير أداة إنشائية. مع كوشي، تستطيع أن تبرهن التقارب دون معرفة النهاية. هذا يسمح بـ تعريف أشياء جديدة (مثل ) كنهايات لـ متتاليات كوشي.
سيستعمل كانتور لاحقًا هذه الفكرة لـ بناء انطلاقًا من : عدد حقيقي هو، بالتعريف، صنف تكافؤ لمتتاليات كوشي جذرية. وهكذا وضع كوشي، دون أن يدري، أسس البناء الصارم للأعداد الحقيقية.
Vérifie ta compréhension
3 questions courtes pour valider tes acquis. Tu peux réessayer.