Bibm@th

Forum de mathématiques - Bibm@th.net

Bienvenue dans les forums du site BibM@th, des forums où on dit Bonjour (Bonsoir), Merci, S'il vous plaît...

Vous n'êtes pas identifié(e).

#26 12-03-2015 11:26:15

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

J'ai corrigé.

Une fois qu'on a que [tex](x_0,y_0)[/tex] est une valeur d'adhérence pour la suite [tex](x_n,y_n)[/tex] , pour montrer l'isométrie on fait par l'absurde , ou on peut voir ça directement?

Merci

Hors ligne

#27 12-03-2015 13:09:00

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Moi, j'ai raisonné par l'absurde. Après si tu trouves une méthode directe, tant mieux!

Hors ligne

#28 12-03-2015 13:22:42

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

mais le problème c'est que je ne vois pas comment utiliser exactement le fait que [tex](x_0,y_0)[/tex] est une valeur d'adhérence de [tex](x_n,y_n)=(f^n(x_0),f^n(y_0))[/tex] a partir de on choisit k ... je ne comprend pas!

Hors ligne

#29 12-03-2015 14:01:17

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Je ne comprends pas trop ce que tu ne comprends pas, mais bon...
Si c'est une valeur d'adhérence, tu as une sous-suite [tex](x_{\phi(n)},y_{\phi(n)})[/tex] qui converge vers [tex](x_0,y_0)[/tex].
Donc il existe n tel que
[tex]d\big( (x_{\phi(n)},y_{\phi(n)}),(x_0,y_0)\big)<\delta/2[/tex]
Il suffit de choisir [tex]k=\phi(n)[/tex].

Hors ligne

#30 12-03-2015 18:54:21

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

Yes j'ai compris merci,  mais on peut mettre [tex]\displaystyle d\big( (x_{\phi(n)},y_{\phi(n)}),(x_0,y_0)\big)<\delta[/tex] et dire [tex]d(f^k(x_0),f^k(y_0))<\delta+d(x_0,y_0)\leq d(f(x_0),f(y_0))[/tex].

Pour la continuité de [tex]f[/tex] on prend une  suite [tex]x_n\rightarrow x[/tex] et on doit montrer que [tex]f(x_n)\rightarrow f(x)[/tex]
mais par l'isométrie on a [tex] d(f(x_n), f(x_0))= d(x_n,x_0)<\varepsilon[/tex] donc f est continue !

Il me reste la dernière question sur le point fixe, je dois montrer qu' il existe [tex]x\in E[/tex] tel que [tex]f(x)=x[/tex],

a premiére vue si la suite x_n est constante alors f a un point fixe, mais je n'arrive pas a faire un raisonnement convenable

Merci d'avance pour votre aide .

Hors ligne

#31 12-03-2015 21:57:19

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Tu es sûr de l'énoncé???
Parce que si je prends pour E le cercle unité et pour f une rotation sur ce cercle,
toutes les hypothèses sont vérifiées et f n'admet aucun point fixe.

F.

Hors ligne

#32 12-03-2015 22:01:15

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

Oui je viens de vérifié $E$ un espace métrique et compact et [tex]f:E\rightarrow E[/tex] vérifie pour tout  [tex](x,y)\in E; d(f(x),f(y))\geq d(x,y)[/tex]

Hors ligne

#33 12-03-2015 22:04:08

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Es-tu bien d'accord avec mon contre-exemple???

Hors ligne

#34 12-03-2015 22:06:47

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

Je ne sais pas comment on définie l'application rotation mais le centre n'est un point fixe ?

Hors ligne

#35 12-03-2015 22:21:19

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Prends [tex]E=\{z\in\mathbb C;\ |z|=1\}, f(z)=e^{i\pi/2}z[/tex].
f est une isométrie de E, sans point fixe dans E.

Hors ligne

#36 12-03-2015 22:36:09

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

si z est un point fixe alors f(z)=z ce qui implique que [tex]\exp(i\pi/2)=1[/tex] donc i\pi/2 =0 ce qui est impossible c'est ça ?

Hors ligne

#37 12-03-2015 22:39:37

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

[tex]\exp(i\pi/2)=i[/tex] qui est manifestement différent de 1.

Attention, [tex]\exp(w)=1[/tex] n'entraine pas forcément [tex]w=0[/tex] si [tex]w[/tex] est complexe.
C'est équivalent à [tex]w=2k\pi,\ k\in\mathbb Z[/tex].

Hors ligne

#38 12-03-2015 22:48:07

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

pourquoi [tex]\exp{(\frac{i\pi}{2})}=i[/tex] ?

Hors ligne

#39 12-03-2015 22:56:46

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Je pense que tu es très fatigué!!!! Après une bonne nuit, cela te sera plus clair!!!

Hors ligne

#40 12-03-2015 23:13:42

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

je pense que f possède un point fixe il suffit de prendre la limite de la sous-suite convergente.

Hors ligne

#41 12-03-2015 23:16:51

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Et mon contre-exemple, tu en fais quoi????

Hors ligne

#42 12-03-2015 23:21:50

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

je sais pas j'ai pas bien compris le contre exemple je suis mieux dans R que dans C, et au sujet de la suite on peut définir la suite récurrente sur E que vous avez donné merci

Hors ligne

#43 13-03-2015 16:01:55

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

Bonjour,

je ne maitrise pas assez le contre exemple, mais je pense que si [tex](x_n)[/tex] possède une sous suite qui converge vers x_0 d'un coté on a que [tex]x_{\varphi(n)+1}\rightarrow x_0[/tex] et de l'autre [tex]x_{\varphi(n)+1}=f(x_{\varphi(n)})\rightarrow f(x_0)[/tex]

Qu'en pensez vous ?

Merci

Dernière modification par topologie (13-03-2015 16:46:03)

Hors ligne

#44 13-03-2015 20:10:26

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

Pour la rotation le centre est un point fixe .

Hors ligne

#45 13-03-2015 21:43:43

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Mais non, puisque je considère le cercle comme compact E de départ!!!
Le centre de la rotation n'est pas dans E, mais la rotation laisse bien invariant E (le cercle unité).

Hors ligne

#46 13-03-2015 22:07:21

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

vous voulez dire la sphére unité

Hors ligne

#47 13-03-2015 23:00:45

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

ya juste un truc c'est que il y a théorème du point fixe qui dit que toute fonction continue sur un ensemble convexe compact possède un point fixe

Hors ligne

#48 14-03-2015 07:46:54

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Oui, mais un cercle (j'ai bien dit un cercle, pas un disque), cela n'est pas convexe!

Hors ligne

#49 14-03-2015 08:13:01

topologie
Membre
Inscription : 22-12-2014
Messages : 86

Re : Application dilatante sur un espace métrique compact

Bonjour, peut etre que le problème est la suite , peut on définir une suite récurrente sur la sphère?  (je ne trouve pas de faille dans la démonstration en utilisant la limite )

Hors ligne

#50 14-03-2015 13:35:36

Fred
Administrateur
Inscription : 26-09-2005
Messages : 7 349

Re : Application dilatante sur un espace métrique compact

Tu veux dire dans ce que tu as écrit au post 43.
C'est simple : ce n'est pas parce que [tex]x_{\varphi(n)}[/tex] tend vers [tex]x_0[/tex] que
[tex]x_{\varphi(n)+1}[/tex] tend aussi vers [tex]x_0[/tex]. Le terme suivant de la suite extraite, c'est [tex]x_{\varphi(n+1)}[/tex].

Hors ligne

Réponse rapide

Veuillez composer votre message et l'envoyer
Nom (obligatoire)

E-mail (obligatoire)

Message (obligatoire)

Programme anti-spam : Afin de lutter contre le spam, nous vous demandons de bien vouloir répondre à la question suivante. Après inscription sur le site, vous n'aurez plus à répondre à ces questions.

Quel est le résultat de l'opération suivante (donner le résultat en chiffres)?
quatre-vingt sept plus soixante deux
Système anti-bot

Faites glisser le curseur de gauche à droite pour activer le bouton de confirmation.

Attention : Vous devez activer Javascript dans votre navigateur pour utiliser le système anti-bot.

Pied de page des forums