Sur le théorème du point fixe de Brouwer
I.Le résultat fondamental dans la direction des théorèmes du point fixe du type compact est le célébre théorème de L.E.J Brouwer (1912).Ce theoreme est usuel dans les applications de l’analyse , comme il a influencé le developpement de plusieurs branches de mathématiques, en particulier la topologie algébrique.Ce théorème a connu plusieurs généralisations,dans les espaces de Banach de dimension infinie, notemment par Schauder (1930) et Darbo(1955)( par les techniques de la notion de la mesure de non-compacité).
Les deux versions du théorème de Brouwer sont formulées comme suit :
Theoreme1.
Soient E un espace de Banach de dimension finie et K un sous-ensemble de E,non vide, convexe et compact .Alors toute application continue f de K dans K admet ,au moins, un point fixe.
Theoreme2.
Soient ℝ(n) l’espace euclidien et B la boule unité férmé. Alors toute application continue f de B dans B admet, au moins ,un point fixe.
On démontre facilement que ces deux versions sont équivalentes.
La démonstration du théorème du point fixe de Brouwer dans la droite réelle est aisée par le théorème des valeurs intérmédiares :
Soit f une application continue de [a, b] dans [a,b],où [a,b] est un intervalle fermé borné de ℝ .Alors f admet ,au moins, un point fixe.
Mais la démonstration dans ℝ(n) n'est pas immédiate.C'est le résultat important de la théorie du point fixe le plus ancien et le plus délicat à démontrer.On rappelle qu’il existe plusieurs méthodes de démonstrations de ce théorème ;on note que sa démonstration est une conséquence immédiate de la théorie de la topologie algébrique et de la théorie du degré topologique.Aussi,on peut lire les démonstration directes par la méthode des simplexes et le lemme de non-retraction.
II.Remarques.Exemples.
i) Dans le théorème1,il est évident que
Fix(f)={x dans K :f(x)=x} est compact,
mais il n’est pas nécéssairement réduit à un point,comme le montre les exemples suivants :
a)E= ℝ , K=[0,1] et f(x)=x^(2) .Fix(f)={0,1}
b) E= ℝ, K=[-1,1] et f(x)=x|x| .Fix(f)={-1,0,1}
c)E= ℝ(n) , K=B et f(x)=x ||x||.Fix(f)={0}US.
( oû S désigne la sphère dans ℝ(n))
ii) le théorème1 n’est pas valable si :
a) K est seulement compact ;comme exemple, on considere l’application T de S
dans S définie par Tx= -x ;le point fixe possible est le vecteur 0 qui n'appartient pas à S.
b)K est seulement borné et convexe ;comme exemple,on prend E= ℝ(2) ,muni de la
norme euclidienne et K=Int(B)(=le disque unité ouvert);et on considere
l’application T défine sur Int(B) par
T(x,y)=((x+[(1-y^2)]^(1/2) ),y) ;le seul point fixe possible est le vecteur (x,y)qui appartient à S.
c) K est seulement convexe et fermé.
Comme exemple, on prend E= ℝ ,K= ℝ^(+) et on considere les applications continues
qui stabilisent ℝ^(+) et n’admettant aucun point fixe,comme l'application exp(x).
iii) L’exemple suivant, dû à Kakutani (1943) ,montre que si E est de dimension infinie le théorème de Brouwer n’est pas valable .
Soit l’espace des suites l(2) muni de la norme habituelle :
Pour x={x(n) }, | x | =( Sigma(n>0) | x(n) |^(2) )^(1/2)
On sait que ( l(2) , | . | ) est un espace de Hilbert de dimension infinie.Soit T l’application définie sur B (la boule unitè fermée de l(2) ) par :
T : x --->y =( (1-|x |^(2) )^(1/2) ,x(1) ,x(2) ,…)
Il est évident que B est stable par T, T est continue et Fix(T) est vide(à vérifier).
Nota.Pour les références des articles des auteurs cités dans ce texte,voir le message dans ce blog(Références 2/2/2007).
