Bonjour à tous.
Un exercice sur le cercle unité dans muni de la distance euclidienne.
1)J'ai montré que toute fonction continue de admet au moins un point fixe, a fortiori de
2) J'ai exhibé un exemple de fonction continue g : qui n'admet pas de point fixe. g peut être toute rotation différente de l'identité. J'ai pris g(X) = - X la rotation de centre l'origine et d'angle
3) On demande maintenant de déduire que n'est pas homéomorphe à un segment de non réduit à un point. Il faut pour cela raisonner par l'absurde, en prenant l'application où est un homéomorphisme de dans [0,1]
On a : continue comme composée de fonctions continues. Avec [0,1] compact, elle y atteint ses bornes.
Donc on peut poser tel que et tel que et car injective.
Il vient et puis
= et = .
Or, g n'admet pas de point fixe, ie, il n'existe pas de a (resp b) dans tels que g(a)=a et g(b)=b , donc pas de a (resp b) tels que et . Contradiction
Est-ce correct?
4) On demande si est homéomorphe à un singleton ?
je vois que pour . mais f n'est pas injective. Auriez-vous une piste?
Je vous remercie par avance pour votre aide.
Bonjour Theo92.
Ta rédaction de la question 3/ n'est pas claire car tu n'utilises pas explicitement le résultat de la question 1.
Soient une transformation continue du cercle et un homéomorphisme
L'application est alors continue de [0,1] dans [0,1] et admet (au moins) un point fixe dans [0,1]. Soit ce point fixe. On a donc .
Il vient alors . Donc car est bijective.
Ce résultat devant être vrai pour toute transformation continue du cercle, on aboutit à une contradiction en prenant une transformation g injective. (comme une rotation d'angle non nul modulo )
4) Est triviale car un singleton ne contient qu'un point et une infinité. Pour trouver une serait-ce qu'une bijectin entre les deux, ça va être compliqué, alors à fortiori un homéomorphisme.
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :