🎛️ كرّر f(x) — لاحظ النقط الصامدة
اختر دالة متصلة f من [0,1] إلى [0,1]. كرّر f^n(x₀) انطلاقًا من x₀ كيفما كان. تتقارب المتتالية نحو نقطة صامدة (أحيانًا على شكل تعرّج). يضمن براور وجود نقطة صامدة واحدة على الأقل.
التكرار
0
x_n
—
النقطة الصامدة التقريبية
—
المنحنى y = f(x) يقطع القطر y = x في نقطة واحدة على الأقل — وهي النقطة الصامدة.
🎯 النص في البعد 1
لنبدأ بأبسط الحالات. لتكن f : [0, 1] → [0, 1] دالة متصلة. عندئذٍ توجد x ∈ [0, 1] بحيث f(x) = x.
برهان أنيق: لنعتبر g(x) = f(x) − x. لدينا g(0) = f(0) ≥ 0 و g(1) = f(1) − 1 ≤ 0. وبما أن g متصلة، فإنه حسب مبرهنة القيم الوسيطية (برنامج الثانية بكالوريا علوم رياضية)، توجد x بحيث g(x) = 0، أي f(x) = x. ✓
في البعد 1، هذا هو مباشرة مبرهنة القيم الوسيطية في درسك. وجمال براور: أن النص يبقى صحيحًا في أي بعد منتهٍ، لكن البرهان يصبح طوبولوجيًا بعمق.
🌐 مبرهنة براور العامة (1910)
مبرهنة براور (1910)
كل دالة متصلة f : B → B
من كرة مغلقة B ⊂ ℝⁿ إلى نفسها
تقبل نقطة صامدة واحدة على الأقل.
في البعد 2: خذ خريطة للمغرب. اطوها، كرمشها، اطوها مرة أخرى، لكن أبقِها داخل مستطيلها الأصلي. نقطة واحدة على الأقل من الخريطة توجد بالضبط فوق المكان الذي تمثله في المغرب. هذا هو براور.
🌍 نتيجة طريفة: الطقس على الأرض
في كل لحظة، اعتبر الدالة التي تربط كل نقطة من الأرض بـ ضغطها الجوي. وبـ درجة حرارتها. مبرهنة بورسوك-أولام (ابنة عم براور، 1933) تضمن:
توجد في كل لحظة نقطتان متقابلتان قطريًا على الأرض
لهما بالضبط نفس درجة الحرارة و نفس الضغط.
لا فائدة من البحث: فهما موجودتان حتمًا. لكن المبرهنة لا تقول أين.
💼 1950: ناش يجد التوازن — بفضل براور
جون ناش (1928-2015)، طالب دكتوراه في برينستون، برهن في أطروحته لسنة 1950 (28 صفحة، شهر واحد من العمل) على أن كل لعبة منتهية بـ n لاعبين تقبل توازن ناش واحدًا على الأقل في الاستراتيجيات المختلطة.
يرتكز البرهان مباشرة على براور: نبني دالة متصلة على مبسّط الاستراتيجيات المختلطة، ونقطها الصامدة هي بالضبط توازنات ناش. بدون براور، لا ناش. ولا جائزة نوبل في الاقتصاد 1994. ولا نصف النظرية الاقتصادية الحديثة.
💰 1954: آرو ودوبرو يبرهنان على وجود التوازن العام
كينيث آرو وجيرار دوبرو برهنا سنة 1954 على أنه في الاقتصاد، تحت فرضيات معينة (تفضيلات متصلة، سلع قابلة للقسمة)، توجد دائمًا منظومة أثمان توازن بشكل تام بين العرض والطلب.
البرهان: مرة أخرى براور. آرو نوبل 1972، دوبرو نوبل 1983. الأسس الرياضية للاقتصاد النيوكلاسيكي ترتكز على مبرهنة النقطة الصامدة.
🔁 مبرهنة النقطة الصامدة للتقابض (باناخ 1922)
نسخة أقوى لكن بفرضية إضافية: إذا كانت f ليست متصلة فقط بل تقابضية (∃ k < 1 بحيث d(f(x), f(y)) ≤ k·d(x, y))، فإن:
- النقطة الصامدة وحيدة.
- نحصل عليها بـ التكرار: xₙ₊₁ = f(xₙ).
- التقارب هندسي: |xₙ − x*| ≤ kⁿ · |x₀ − x*|.
تطبيقات واسعة:
- طريقة نيوتن: تجد أصفار دالة. تقارب تربيعي تحت شروط جيدة.
- طريقة النقطة الصامدة في التحليل العددي: حل المنظومات غير الخطية، المعادلات التفاضلية الجزئية، إلخ.
- متتاليات ماركوف: التوزيع المستقر هو النقطة الصامدة لـ مؤثر الانتقال.
- PageRank: إنه بالضبط نقطة صامدة! طريقة القوة هي تكرار النقطة الصامدة (انظر مفهوم PageRank).
- مبرهنة كوشي-ليبشيتز: وجود ووحدانية حلول المعادلات التفاضلية. برهان بالنقطة الصامدة على فضاء دالّي.
- ضغط الصور IFS (Iterated Function Systems): الفراكتل بوصفه نقطة صامدة لاتحاد تقابضات.
🧮 مبرهنات أخرى للنقطة الصامدة
- شاودر (1930): براور في البعد اللانهائي (فضاءات باناخ). أداة أساسية للمعادلات التفاضلية الجزئية.
- كاكوتاني (1941): نسخة للتقابلات متعددة القيم. استخدمها ناش لتعميم مبرهنته على عدة لاعبين.
- تارسكي (1955): نقطة صامدة على شبكية تامة لدالة رتيبة. تؤسس نظرية النقط الصامدة في المنطق والمعلوميات (العودية).
- ليفشيتز (1926): إذا كانت «المميزة» لدالة على متعددة الشُّعب غير منعدمة، فهناك نقطة صامدة. تعميم طوبولوجي.
📐 الرابط مع برنامجك
- مبرهنة القيم الوسيطية: إنها بالضبط براور في البعد 1! برنامج الثانية بكالوريا علوم رياضية.
- الاتصال: الفرضية المركزية. كل دالة تقبل عدم اتصال قد لا تملك أي نقطة صامدة.
- المتتاليات العودية: xₙ₊₁ = f(xₙ). دراسة التقارب نحو نقطة صامدة. برنامج المتتاليات الثانية بكالوريا علوم رياضية.
- طريقة نيوتن: تطبيق مباشر للنقطة الصامدة لإيجاد الجذور. برنامج الثانية بكالوريا علوم رياضية.
- الفضاءات المترية والمتراصة: تعميم ما بعد البكالوريا لـ [0,1] و الكرات.
- الطوبولوجيا: برهان براور يستعمل زمر الهومولوجيا أو لامتغيرية التوجيه. رياضيات الإجازة 3 - الماستر 1.