Bonjour ;
On se place dans , le groupe des homéomorphismes de
( groupe des bijections bicontinues de
dans lui même ) ,
et on cherche à caractériser ses éléments d'ordre fini , c'est à dire les bijections continues pour lesquelles il existe
un entier naturel non nul tel que
.
Prouver qu'un élément de
est d'ordre fini si et seulement si
se conjugue à
, c'est à dire que :
(sauf erreur de ma part bien entendu)
Bonjour elhor
Voici un début:
f est strictement monotone.
1er cas: f est strictement croissante. Si f(x)>x, la suite fk(x) est strictement croissante et si f(x)
2ème cas: f est strictement décroissante. Alors, pour des raisons de continuité et valeurs intermédiaires, f a un point fixe a. Soit a
J'en suis là...
Bonjour Camélia ;
C'est bien ! Tu viens de prouver que les éléments d'ordre fini de autres que
,
sont les involutions strictement décroissantes.
Pour involution strictement décroissante de
, il s'agit maintenant de trouver un homéomorphisme
de
tel que ,
(je ne te prive pas du plaisir de la découverte)
Ca avance... Déjà on peut à l'aide de la conjugaison par la translation t(x)=x+a se ramener à f(0)=0. je vois à peu près comment faire à partir d'un dessin en tenant compte du fait que le graphe de f est symétrique par rapport à la première bissectrice (f=f-1), mais je ne l'ai pas encore écrit... Donc, attends encore un peu! A bientôt...
Tiens, moi j'en ai une autre:
dans le cas f(0)=0. Je vérifierai le tien aussi!
Merci elhor; ce n'est pas tous les jours que je rencontre un exo intéressant, que je ne connaissais pas et... que je réussis!
Bravo Camélia
autrement dit , si est le point fixe de
, prendre
.
ou encore , pour ne pas croire que est toujours décroissant ,
.
(sauf erreur)
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :