Bonjour ;
Condition nécessaire :
L'ensemble Z des points fixes de f est un sous groupe de IR+* en effet f est injective car si f(x)=f(y) alors f(f(x))=f(f(y))=xf(1)=yf(1) donc x=y
et comme f(xf(1))=f(x) on voit que f(1)=1 et
1£Zsi x,y£Z on a f(xy)=f(yf(x))=xf(y)=xy donc
xy£Zet
si x£Z on a f(xf(1/x))= (1/x).f(x)=1=f(1) donc f(1/x)=1/x et
(1/x)£Z Z est majorécar sinon il contiendrait une suite (x
n) tendant vers +oo et on aurait f(x
n)=x
n ---> +oo ce qui est contraire à l'hypothèse
Et comme les sous groupes majorés de IR+* il n'y en a pas beaucoup !
Z={1} Et comme
pour tout x>0 on a
xf(x)£Z on voit que
f(x)=1/x pour tout x>0La condition est largement suffisante sauf erreur bien entendu