Banachs fixpunktssats

Banachs fixpunktssats, är en matematisk sats inom analysen, som säger att en kontraktionsavbildning alltid har en unik fixpunkt. Satsen är uppkallad efter Stefan Banach, som formulerade den 1922.

Banachs fixpunktssats

Antag att $X$ är ett icke-tomt metriskt rum som är fullständigt, och att $T:X\to X$ är en kontraktionsavbildning. $T$ har i så fall en unik fixpunkt. Det existerar således exakt ett element $x\in X$ som uppfyller $T(x)=x$.

Bevis

Välj ett godtyckligt $x_{0}\in X$ och konstruera sedan följden $(x_{n})$ genom:

$x_{1}=T(x_{0})$

$x_{2}=T(x_{1})=T^{2}(x_{0})$

$x_{n}=T(x_{n-1})=T^{n}(x_{0})$

Då $T$ är en kontraktionsavbildning fås att:

$d(x_{n+1},x_{n})=d(T(x_{n}),T(x_{n-1}))\leq ad(x_{n},x_{n-1})=ad(T(x_{n-1}),T(x_{n-2}))\leq ...\leq a^{m}d(x_{0},x_{1})$

För godtyckliga naturliga tal $m$ och $n$ med $m<n$ får vi nu, genom triangelolikheten och att $a<1$, att:

$d(x_{m},x_{n})\leq d(x_{m},x_{m+1})+d(x_{m+1},x_{m+2})+...+d(x_{n-1},x_{n})\leq (a^{m}+a^{m+1}+...+a^{n-1})d(x_{0},x_{1})=a^{m}{\frac {1-a^{n-m}}{1-a}}d(x_{0},x_{1})$

$d(x_{m},x_{n})\leq a^{m}{\frac {1-a^{n-m}}{1-a}}d(x_{0},x_{1})\leq {\frac {a^{m}}{1-a}}d(x_{0},x_{1})$

Här kan högerledet göras godtyckligt litet, eftersom $d(x_{0},x_{1})$ är fixt och $a^{m}\to 0$ när $m\to \infty$. Detta ger att följden $(x_{n})$ är en Cauchyföljd och då $X$ är fullständigt finns det ett gränsvärde $x$ så att $x_{n}\to x$.

$x$ är i själva verket fixpunkten för $T$, då

$d(x,T(x))\leq d(x,x_{m})+d(x_{m},T(x))=d(x,x_{m})+d(T(x_{m-1}),T(x))\leq d(x,x_{m})+ad(x_{m-1},x)$

eftersom $d(x,x_{m})$ och $d(x_{m-1},x)$ kan göras godtyckligt litet för stora $m$ ($x_{m}$ går mot $x$ ger att avståndet går mot noll).

Antag att det finns en annan fixpunkt för $T$ kallad $y$, då vi får:

$0\leq d(x,y)=d(T(x),T(y))\leq ad(x,y).$

Men $a<1$ ger oss att $d(x,y)=0$, det vill säga $x=y$.

Tillämpningar

Banachs fixpunktssats kan användas till att bevisa många andra satser, däribland inversa funktionssatsen och Picard-Lindelöfs sats om existensen av och uniciteten hos lösningar till vissa ordinära differentialekvationer.

Referenser

• Kreyszig, Erwin (1978). Introductory Functional Analysis with Applications. John Wiley & Sons. ISBN 0-471-50731-8 
• Hille, Einar (1976). Ordinary Differential Equations in the Complex Domain. Dover Publications. ISBN 0-486-69620-0