Bonjour, je n'arrive pas à résoudre le problème suivant :
Soit (X,d) un espace métrique complet non vide et une application. On suppose qu'il existe un entier k2 tel que
(k fois) soit contractante. Montrer que f possède un unique point fixe.
Indication.
J'ai essayé de montrer que f est contractante de fk(X) dans lui même pour lui trouver un point fixe dans cet ensemble mais je n'ai pas réussi à montrer que ce dernier ensemble est complet, je montre ce que j'ai fait :
On suppose que
K[0;1[ tel que (x,y)X,
(car on montre par récurrence que
donc
vérifie
(x',y')(fk-1(X))²
d(f(x'),f(y'))Kd(x',y'))
du coup j'ai la bonne égalité ... mais il me reste à montrer que :
xfk-1(X), f(x) reste bien dans fk-1(X) et que fk-1(X) est bien complet (mon objectif étant d'utiliser le théorème du point fixe).
Mais je ne vois pas comment montrer tout ça, c'est pourquoi je fais appel à votre aide pour savoir dans un premier temps si ma piste est bonne.
Merci d'avance pour votre aide
Salut
Pas besoin de faire tout ça (en fait, je ne sais même pas si f est forcément contractante)
tu peux utiliser directement les propriétés de d'après le théorème du point fixe
En fait ce que je veux dire, c'est qu'on n'a pas besoin de repasser par le théorème du point fixe
On montre directement les propriétés voulues (existence et unicité d'un point fixe) à partir du fait que admet un unique point fixe
Je crois que j'ai trouvé grâce à l'indice :
On applique le théorème du point fixe à fk :
-X est complet
- (les ensembles de définition de f font partie de l'hypothèse dans notre cours)
-K[0;1[, (x,y)X²
d(fk(x),fk(y))Kd(x,y)
Donc !cX :
fk(c)=c
or c est déjà point fixe de fk et il y a unicité du point fixe et on vient de montrer que f(c) l'est aussi donc :
!c: f(c)=c
Je crois que j'ai compris pourquoi (c est l'unique point fixe de fk il est aussi point fixe de f mais ça veut pas dire que f n'en a pas d'autre):
On suppose qu'il existe c' tel que f(c')=c'
(par récurrence immédiate)
donc c'est un point fixe de fk, ce point fixe est unique par théorème du point fixe donc c'=c
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :