Points fixes communs d'applications commutatives

Exercice

Soit f et g deux applications continues de I=[0,1] dans I.On suppose que fog=gof.
i)Montrer qu'il existe un x appartenant à I tel que f(x)=g(x ).
ii)On suppose que f est croissante sur I ;montrer que f et g ont un point fixe commun.
iii)On suppose que f est affine,c-à-d,f(x)=ax+b,(a et b deux constantes dans IR) ;montrer que f et g ont point fixe commun
iv)On suppose que f est contractante;montrer que l'ensemble des points fixes de f est convexe;en deduire que f et g admettent un point fixe commun

Remarques.
Les resultats classiques concernant le point fixe commun d'une famille
quelconque d' applications sont les theoremes de [Markoff-Kakutani] et [Kakutani].Le premier theoreme concerne le point fixe commun d'une famille d'applications affines et commutatives stabilisant un compact convexe dans les espaces e.v.t.l.c.s.(= espaces vectoriels topologique localement convexes separes );le deuxieme,concerne le point fixe commun d'une famille d'un groupe de bijections affines et equicontinues(non commutatives) stabilisant un compact convexe dans les espaces e.v.t.l.c.s..Rappelons que le theoreme de Markoff-Kakutani est utilisé pour redemontrer le theoreme de Hahn-Banch.Reciproquement,[Dirk Wener] a cherche de demontrer la reciproque;dans son papier,il a presente une demonstration elegante de l'existence du point fixe de toute application affine continue stabilisant un convexe compact dans les les espaces e.v.t.l.c.s.,et ce ,à l'aide de la version forte du theoreme de separartion de Hahn-Banach.
Signalons que [De marr] a démontré un résultat (similaire)au théorème de Markoff-Kakutani pour les applications contractantes dans un espace de Banach quelconque;ce résultat est amélioré par [Belluce -Kirk].
Rappleons aussi, qu'une famille d'applications contractantes commutatives,stabilisant tout convexe borne et ferme dans un espace de Banach uniformement convexe,admet un point fixe commun;la demonstration de ce resultat est presque immédiate.Voir ,par exemple, [Deimling];le meme resultat est valable dans le cadre des espaces de Banach reflexifs strictement convexes à structure normale.
La litterature est relativement importante sur le sujet.Pour un essai de synthese des théorèmes du point fixe de [Darbo ]et le theoreme de[Markoff-Kakutani], voir [Hajji-Hanebaly]
Les references figurent dans le message de 2/02/2007