مدخل عام

من بين النتائج المهمة لمبرهنة القيم الوسطية في التحليل الرياضي بشكل خاص وفي الطوبولوجيا بشكل عام نجد مبرهنة النقطة الصامدة (Fixed Point Theorem) التي تصرح وفق شروط معينة أن دالة ff تقبل نقطة صامدة أي يوجد عدد cc بحيث f(c)=cf(c)=c وهده المبرهنة لها عدة تطبيقات في العلوم الأخرى مثل علم الأحياء، والكيمياء، والفيزياء، والهندسة، ونظرية الألعاب، والاقتصاد. فماهي مبرهة النقطة الصامدة؟ وما تطبيقاتها؟ وكيف تلعب دورا فعالا في حل المشكلات الرياضية؟

في الحقيقة هده المبرهنة لها عدة صيغ ، في هده الرحلة سنقتصر على صيغتها في فضاء مجموعة الأعداد الحقيقية R\mathbb{R} المزود بالمسافة المترية المسماة القيمة المطلقة.

توضيح بحالة خاصة

لتكن ff دالة (أو تطبيق ) معرف من [0,1][0,1] نحو [0,1][0,1] بحيث ff متصلة (مستمرة) على [0,1][0,1] إدن الدالة ff تقبل نقطة صامدة

بتعبير أخر يوجد عدد cc من [0,1][0,1] يحقق f(c)=cf(c)=c

مبيانيا : خد أي دالة متصلة ومعرفة على [0,1] نحو [0,1] ستجد أن تمثيلها المبياني يتقاطع مع المستقيم الدي معادلته y=xy=x اي توجد نقطة إحداتيتها (c,c)(c,c) تنتمي إلى التمثيل المبياني للدالة ff

0 , 25 0 , 5 0 , 75 1 0 , 25 0 , 5 0 , 75 1

برهان

نعتبر الدالة المساعدة gg المعرفة على [0,1][0,1] بحيث : g(x)=f(x)−xg(x)=f(x)-x

  • الدالة gg متصلة على [0,1][0,1] لأن الدالتين ff و x↦xx\mapsto x متصلتين على [0,1][0,1]

  • g(0)=f(0)−0=f(0)g(0)=f(0)-0=f(0) وبما أن f(0)∈[0,1]f(0)\in[0,1] فإن g(0)≥0g(0)\ge0

  • g(1)=f(1)−1g(1)=f(1)-1 وبما أن f(1)∈[0,1]f(1)\in[0,1] فإن f(1)≤1f(1)\le1 ومنه g(1)≤0g(1)\le0

إدن حسب مبرهنة القيم الوسطية يوجد عدد cc من [0,1][0,1] بحيث : g(c)=0g(c)=0 بمعنى f(c)=cf(c)=c

تعميم على الدوال العددية

لتكن ff دالة عددية معرفة مجال II تحقق الشروط التالية

  • المجال II مغلق وغير فارغ.
  • لكل x,y∈Ix,y\in I يوجد عدد حقيقي k∈]0,1[k\in]0,1[ بحيث : ∣f(x)−f(y)∣≤k∣x−y∣|f(x)-f(y)|\le k|x-y|
  • f(I)⊂If(I)\subset I

إدن

  1. ff تقبل نقطة صامدة وحيدة ℓ\ell في II

  2. لكل u0∈Iu_0\in I, المتتالية u:N→Ru:\mathbb{N} \to \mathbb{R} المعرفة بما يلي : {u0∈I∀n∈N, un+1=f(un)\left\{\begin{matrix}u_0\in I \\ \forall n\in \mathbb{N},~u_{n+1}=f(u_n)\end{matrix}\right. متقارلة وتؤول إلى ℓ\ell

  • لنبين أن المتتالية uu معرفة جيدا :

لدينا u0∈Iu_0\in I و II مستقر بالدالة ff (f(I)⊂If(I)\subset I) إدن المتتالية uu معرفة ولدينا : ∀n∈N : un∈I\forall n\in \mathbb{N}~:~u_n\in I

  • البرهان على وجود نقطة صامدة للدالة ff

لدينا :

∣f(un)−f(un−1)∣≤k∣un−un−1∣|f(u_{n})-f(u_{n-1})|\le k |u_{n}-u_{n-1}|

∣un+1−un∣≤k∣un−un−1∣|u_{n+1}-u_{n}|\le k |u_{n}-u_{n-1}|

—

n=1  ⟹  ∣u2−u1∣≤k∣u1−u0∣n=1 \implies |u_{2}-u_{1}|\le k |u_{1}-u_{0}|

n=2  ⟹  ∣u3−u2∣≤k∣u2−u1∣n=2 \implies |u_{3}-u_{2}|\le k |u_{2}-u_{1}|

n=3  ⟹  ∣u4−u3∣≤k∣u3−u2∣n=3 \implies |u_{4}-u_{3}|\le k |u_{3}-u_{2}|

⋮           ⋮           ⋮\vdots~~~~~~~~~~~\vdots~~~~~~~~~~~\vdots

n→n−1  ⟹  ∣un−un−1∣≤k∣un−1−un−2∣n\to n-1 \implies |u_{n}-u_{n-1}|\le k |u_{n-1}-u_{n-2}|

n→n  ⟹  ∣un+1−un∣≤k∣un−un−1∣n\to n \implies |u_{n+1}-u_{n}|\le k |u_{n}-u_{n-1}|

نضرب هده المتفاوتات طرف بطرف ونختزل فنحصل على :

∣un+1−un∣≤kn∣u1−u0∣|u_{n+1}-u_n|\le k^n |u_{1}-u_{0}|

—

  • لنبين أن المتتالية uu هي متتالية كوشي

تذكير نقول أن المتتالية (un)n(u_n)_n هي متتالية كوشي ادا وفقط ادا كان :

∀ϵ>0,∃N∈N∗,∀n,m≥N   :  ∣un−um∣<ϵ\forall \epsilon>0, \exists N\in\mathbb{N}^*, \forall n,m\ge N ~~~: ~~ |u_n-u_m|< \epsilon

بعبارة أخرى، لأي قيمة صغيرة موجبة ϵ\epsilon، يمكن إيجاد نقطة في المتتالية بعديها تكون كل العناصر اللاحقة قريبة من بعضها البعض بمسافة أقل من ϵ\epsilon.

ليكن : ϵ∈R+∗\epsilon\in\mathbb{R}^*_+

ليكن (p,q)∈N2(p,q)\in\mathbb{N}^2 بحيث : q>p≥0q>p\ge0

لنضع : r=q−pr=q-p

لدينا : ∣uq−up∣=∣up+r−up∣=∣∑i=pp+r−1ui+1−ui∣|u_q-u_p|=|u_{p+r}-u_p|=\left|\displaystyle\sum_{i=p}^{p+r-1}u_{i+1}-u_i\right|

∣uq−up∣≤∑i=pp+r−1∣ui+1−ui∣|u_q-u_p|\le \displaystyle\sum_{i=p}^{p+r-1}\left|u_{i+1}-u_i\right|

∣uq−up∣≤∑i=pp+r−1ki∣u1−u0∣|u_q-u_p|\le \displaystyle\sum_{i=p}^{p+r-1}k^i\left|u_{1}-u_0\right|

∑i=pp+r−1ki∣u1−u0∣=kp∣u1−u0∣∑i=0r−1ki\displaystyle\sum_{i=p}^{p+r-1}k^i\left|u_{1}-u_0\right|=k^p|u_1-u_0|\displaystyle\sum_{i=0}^{r-1}k^i

لدينا : k∈]0,1[k\in]0,1[ , إدن المتتالية الهندسية التي حدها العام kik^i متقاربة و مكبورة ب 11−k\dfrac1{1-k}

إدن : ∣uq−up∣≤kp1−k∣u1−u0∣|u_q-u_p|\le \dfrac{k^p}{1-k}|u_1-u_0|

لدينا : kp1−k→0\dfrac{k^p}{1-k} \to 0 عندما p→+∞p\to+\infty لأن k∈]0,1[k\in]0,1[

وبالتالي :

∃N∈N,∀p∈N  (p≥N  ⟹  kp1−k∣u1−u0∣≤ϵ  ⟹  ∣uq−up∣≤ϵ\exists N\in\mathbb{N},\forall p\in\mathbb{N}~~(p\ge N \implies \dfrac{k^p}{1-k}|u_1-u_0|\le \epsilon \implies |u_q-u_p|\le \epsilon

وبما أن N\mathbb{N} كامل فإن المتتالية uu متقاربة

لتكن ℓ\ell هي نهاية المتتالبة uu

بما أن المجال II مغلق فإن ℓ∈I\ell\in I

لينا ff متصلة لأنها تحقق الشرط 2 إدن :

lim⁡n→+∞f(un)=f(lim⁡n→+∞un)\lim\limits_{n\to+\infty} f(u_n)=f\left(\lim\limits_{n\to+\infty} u_n\right)

lim⁡n→+∞un+1=f(ℓ)\lim\limits_{n\to+\infty} u_{n+1}=f\left(\ell\right)

ℓ=f(ℓ)\ell=f\left(\ell\right)

وبالتالي ff تقبل نقطة صامدة ℓ∈I\ell\in I وهي نهاية المتتالية uu

  • لنتبت وحانية ℓ\ell

نفترض أنه لدينا نقطتين صامدتين ℓ,ℓ′∈I\ell,\ell'\in I

إدن : f(ℓ)=ℓf(\ell)=\ell و f(ℓ′)=ℓ′f(\ell')=\ell'

لدينا : ∣f(ℓ)−f(ℓ′)∣≤k∣ℓ−ℓ′∣|f(\ell)-f(\ell')|\le k|\ell-\ell'|

∣ℓ−ℓ′∣≤k∣ℓ−ℓ′∣|\ell-\ell'|\le k|\ell-\ell'|

∣ℓ−ℓ′∣(1−k)≤0|\ell-\ell'|(1-k)\le 0

∣ℓ−ℓ′∣≤0|\ell-\ell'|\le 0

∣ℓ−ℓ′∣=0|\ell-\ell'|= 0

ℓ=ℓ′\ell=\ell'

ملاحظات :

  1. الشرط المجال II مغلق غير ملزم إدا كنا نعلم بطريقة أخرى أن ℓ∈I\ell\in I (في التطبيق نقوم بحساب ℓ\ell بحل المعادلة f(x)=xf(x)=x)

  2. المبرهنة تطبق فقط إدا كان k∈]0,1[k\in]0,1[

مثال مضاد : نعتبر الدالة العددية المعرفة على المجال I=[1,+∞[I=[1,+\infty[ بما يلي : f(x)=x+1xf(x)=x+\dfrac1x

ليكن x,y∈Ix,y\in I بحيث : x<yx<y

الدالة ff تزايدية على II إدن :

∣f(y)−f(x)∣=f(y)−f(x)=y−x−y−xxy|f(y)-f(x)|= f(y)-f(x)=y-x-\dfrac{y-x}{xy}

∣f(y)−f(x)∣=(y−x)(1−1xy)|f(y)-f(x)|= (y-x)(1-\dfrac{1}{xy})

∣f(y)−f(x)∣≤∣y−x∣|f(y)-f(x)|\le |y-x|

إدن k=1∉]0,1[k=1\notin]0,1[

و ff ليست لديها نقطة صامدة لأن المعادلة f(x)=xf(x)=x لاتقبل حل في II

  1. إدا كانت ff دالة قابلة للإشتقاق فإن الشرط ∣f(x)−f(y)∣≤k∣x−y∣|f(x)-f(y)|\le k|x-y| يمكن استبداله بالشرط supx∈I∣f′(x)∣≤1sup_{x\in I} |f'(x)|\le 1

مثال تطبيقي

لندرس تقارب المتتالية المعرفة بمايلي :

{u0∈[−1,+∞[ un+1=un+1\left\{\begin{matrix}u_0\in[-1,+\infty[ \\~\\ u_{n+1}=\sqrt{u_n+1}\end{matrix}\right.

نعتبر الطبيق ff المعرف على [−1;+∞[[-1;+\infty[ ب : f(x)=x+1f(x)=\sqrt{x+1}

f(x)=x  ⟺  x+1=x  ⟺  x≥0 و x2−x−1=0  ⟺  x=1+52\begin{align*} f(x)=x &\iff \sqrt{x+1}=x \\ & \iff x\ge0~و~x^2-x-1=0 \\ & \iff x=\frac{1+\sqrt5}{2} \end{align*}
  • لدينا الدالة ff قابلة للإشتقاق على ]−1;+∞[]-1;+\infty[ وتزايدية على [−1;+∞[[-1;+\infty[

إدن :

f([−1,+∞[)=[0;+∞[⊂[−1,+∞[f([-1,+\infty[)=[0;+\infty[\subset[-1,+\infty[

المجال II مستقر بالدالة ff إدن المتتالية معرفة

∀x∈R+ ; f′(x)=12x+1≤12\forall x\in \mathbb{R}^+~;~f'(x)=\frac{1}{2\sqrt{x+1}}\le \dfrac12

إدن حسب مبرهنة التزايدات المنتهية :

(∀x,y∈R+)  :  ∣f(x)−f(y)∣≤sup⁡t∈I∣f′(t)∣∣x−y∣(\forall x,y\in \mathbb{R}^+)~~:~~|f(x)-f(y)|\le \displaystyle\sup_{t\in I} |f'(t)||x-y|
(∀x,y∈R+)  :  ∣f(x)−f(y)∣≤12∣x−y∣(\forall x,y\in \mathbb{R}^+)~~:~~|f(x)-f(y)|\le \frac12|x-y|
f(R+)=[1;+∞[⊂R+f(\mathbb{R}^+)=[1;+\infty[\subset\mathbb{R}^+

إدن المجال R+\mathbb{R}^+ مستقر بالدالة ff

حسب مبرهنة النقطة الصامدة لمتتالية (un)(u_n) المعرفة ب : {u0∈[0,+∞[ un+1=un+1\left\{\begin{matrix}u_0\in[0,+\infty[ \\~\\ u_{n+1}=\sqrt{u_n+1}\end{matrix}\right. متقاربة وتؤول إلى 1+52\dfrac{1+\sqrt5}{2}

وختاما في حالة u0∈[−1,0]u_0\in[-1,0] فإن u1∈R+u_1\in\mathbb{R}^+ وحسب ما سبق فإن المتتالية {u0∈[−1,+∞[ un+1=un+1\left\{\begin{matrix}u_0\in[-1,+\infty[ \\~\\ u_{n+1}=\sqrt{u_n+1}\end{matrix}\right. متقاربة وتؤول إلى 1+52\dfrac{1+\sqrt5}{2}

x y ( C f ) (∆) u 0 1+ √ 5 2 1 1 2

إن معرفة وجود النقاط الصامدة لها تطبيقات ذات صلة في العديد من فروع التحليل والطوبولوجيا. مبرهنة النقطة الصامدة لبروير (Brouwer’s Fixed Point Theorem) التي تطرقنا إليها، لها عدة تطبيقات عملية، من بينها علم الاقتصاد. يمكن تطبيقها في مجال الاقتصاد لإثبات وجود توزيعات أسعار التوازن في اقتصاد التبادل الخالص. في النظام الاقتصادي النموذجي، يوجد مستهلكون وسلع ومجموعة من المتغيرات المرتبطة بهم، بما في ذلك تزويد السلع وسعرها، والطلب عليها. بشكل عام، تتغير قيم المتغيرات في المستقبل القريب، اعتمادًا على قيمها في الوقت الحالي. على سبيل المثال، قد يؤدي النقص الحالي في كمية منتوج معين إلى ارتفاع سعره في المستقبل القريب. يهتم الاقتصاديون بمعرفة إذا كان النظام الاقتصادي يمكن أن يكون في حالة توازن، وهي حالة يكون فيها المستهلكون راضين بشكل مناسب مع عرض وسعر وطلب لا يتغير، أي المرتبطة بكل من السلع. نطبق مبرهنة النقطة الصامدة لبروير في مثل هذا النموذج الاقتصادي لكي نثبت أن حالات التوازن ممكنة.

هناك تعميم لمبرهنة النقطة الصامدة لبروير، والمعروفة باسم مبرهنة النقطة الصامدة لكاكوتاني (Kakutani’s Fixed Point Theorem)، وهي مبرهنة النقطة الصامدة للدوال ذات القيمة المحددة، حيث تلعب دورًا مركزيًا في إثبات وجود التوازن العام في اقتصادات السوق، وتستعمل لإثبات وجود توازن ناش (Nash equilibrium) في نظرية الألعاب. وهذه الأخيرة هي واحدة من أهم النتائج في مجال نظرية الألعاب، لأنها توضح أن هناك مجموعة من الاستراتيجيات التي تعمل على تحسين النتيجة المتوقعة لجميع اللاعبين.

نظريات النقاط الصامدة هي مجال هام وحيوي في الطوبولوجيا ولها العديد من التطبيقات في الفروع العلمية الأخرى.