Bonjour,
J'ai un exercice de topologie,
on defini f une fct° de ]-1,1[ ds M_n(R) comme une application de classe C1
Dans une question, on nous ecrit :
"supposons que f est tracée sur le groupe orthogonal O_n(R) et verifie f(O)=Id"
Je voudrai savoir ce qu'est une fct° tracée sur le gpe orthogonal O_n(R) et ce qu'est le gpe O_n(R)
Merci d'avance
Bonsoir mauricette
Je pense que cette phrase signifie que f est à valeurs dans On() (en tous cas, ça me paraîtrait logique).
D'ailleurs, ce groupe est l'ensemble des matrices A carrées d'ordre n telles que tAA=In.
Kaiser
Merci
et peut on savoir qqch sur tA + A sachant que A € O_n(M) ?
Je n'arrive pas à trouver de rapport ...
Dans mon exo j'ai réussi à montrer que tA - A = 0
Mais je n'arrive pas a en tirer qqch
euh
ben c'est d'après les données de l'exo, ya d'autre fct° et on utilise la valeur des fct° en 0
je dis pas que c'est dans le cas general, ms ds cet exo je trouve ca (je me suis pt plantée)
Je peut mettre tout l'exo :
soit f : ]-&,1[ --> M_n(R) une app de classe C1
Observons que c'est en fait une coure tracée sur M_n(R)
(i) quelle est la diff en P€M_n(R) de l'app
phi:M_n(R) --> M_n(R)
M --> tM M
ou tM designe la tansposée de M ?
En déduire la derivée de l'app phi o f sur ]-1,1[
(ca a priori sauf erreur g reussi)
(ii) supposons que f est tracée sur le gp orthogonal O_n(R) et verifie f(O) = Id
que peut-ono dire de f'(0) € M_n(R) ?
c'est la que je bloque
(c'est la dernère question)
je trouve pr (i)
D_phi(P) = tMP + tPM + o(P)
et pr D_phi o f (h) = (tphi(x)phi(h) + tphi(h)phi(x) + o(phi(h)) ) D_phi(h)
avec x€]-1,1[
Bonsoir;
Généralement on munit du produit scalaire et on a alors et donc qu'en particulier ce qui veut dire que est contenu dans la sphére de centre la matrice nulle et de rayon ce qui justifie ,à mon avis,l'emploi du terme "tracée sur "
Sauf erreurs bien entendu
Pour tout t, f(t) est un élément de On()
On en déduit que pour tout t, tf(t)f(t)=In
Donc finalement, on a pour tout t (of)(t)=In
Ensuite, il faut dériver par rapport à t et prendre la valeur en 0.
ça nous donne (D)(f(0))(f'(0))=0
(lire "la différentielle de en f(0) appliquée en f'(o)")
J'ai moi-même fait les caculs et je trouve que la différentielle de en une matrice M est l'application HtMH+tHM.
En revenant à l'égalité du dessus, on a tf(0)f'(0)H+tf'(0)f(0)=0. Or f(0)=In, donc tf'(0)=-f'(0), c'est-à-dire que f'(0) est une matrice antisymétrique.
Kaiser
je te remercie
je regarderai plus en detaildemain, pke je suis un peu naze,
on trouve dc pareil non pr D_phi non ?
Merci encore
pt a demain si ya un truc que je comprend pas
Re !
Alors en fait ya un truc que je comprend pas bien,
tout ca je suis ok :
"Pour tout t, f(t) est un élément de On(R)
On en déduit que pour tout t, tf(t)f(t)=In
Donc finalement, on a pour tout t (of)(t)=In
Ensuite, il faut dériver par rapport à t et prendre la valeur en 0.
ça nous donne (D)(f(0))(f'(0))=0
(lire "la différentielle de en f(0) appliquée en f'(o)")
J'ai moi-même fait les caculs et je trouve que la différentielle de en une matrice M est l'application H |--> tMH+tHM."
Mais par contre après je comprend pas trop pk tu pose cette egalité ...
comment peut-on dire que la differencielle de phi en h est egale a la differentielle de phiof en h ?
En revenant à l'égalité du dessus, on a tf(0)f'(0)H+tf'(0)f(0)=0. Or f(0)=In, donc tf'(0)=-f'(0), c'est-à-dire que f'(0) est une matrice antisymétrique.
Sinon la phrase en gras, en fait ca vient du fait que on derive l'id ?
et dc est ce que ds ce cas, pr tt t, on aurai que la diff de phiof en h appliquer à t serai 0 ?
Bonsoir Liloue
Désolé, je me suis un peu emmêlé les crayons. Je recommence. En fait on écrit que (D(of))(t)(h)=(((D)(f(t)))o(Df)(t))(h).
(Je sais, c'est super moche !!!).
Remarque : h est un réel
On sait que comme f est une fonction de la variable réelle, on a ((Df)(t))(h)=hf'(t).
D'où on a (D(of))(t)(h)=(((D)(f(t)))(hf'(t))
(En fait, à gauche, il faut lire, "la différentielle de of en t appliqué à h" et à droite, il faut lire "la différentielle de en f(t) appliqué au vecteur hf'(t))
Et oui, dans l'égalité que j'avais écrite dans mon denier message, ça fait 0 car on dérive une constante)
Kaiser
liloue ?
sinon oki j'ai compris, j'essaie de refaire ca tt a l'heure (en esperant ke ce coup ci j'y arrive seule !)
Merci
Bon j'arrive pas a refaire le raisonnement ...
Tu pourrais me dire ce que j'ai de faux ou que j'oublie ?
Jai calculer D_phi(H)(M) = tM H + tH M
Ensuite je calcule D_phi o f (h) (x) = [ D_phi( f(h) ) * D_f(h) ](x)
= [D_phi( f(h) )][f'(h)(x)]
= t[f'(h)(x)] * f(h) + t[f(h)] * [f'(h)(x)]
en x = 0, on toruve donc que
phi o f (0) = Id
donc D_phi o f (0) = O
D'où t[f'(h)(0)] * f(h) + t[f(h)] * [f'(h)(0)]
et la je comprend pas, pke je devrai avoir 0=h ...
Où est mon erreur ? :(
En fait, je crois que tu fais une confusion. Tu confonds les rôles de h et x. Dans ta démonstration, il faudrait non pas que tu remplaces x par 0 mais h par 0.Je n'ai pas regardé tous les détails mais avec ça, je pense que ça devrait mieux marcher.
En fait le truc ce ke le x c la dessus qu'on applique la differentielle, et donc qd on fait la diff en 0, c'est h qui vaut 0 ... et x reste x ...
ds ce casje trouve
t[f'(0)(x)] * f(0) + t[f(0)] * [f'(0)(x)]
= [tf'(0) + f(0) ](x) = o
mais j'en fais quoi du x ?
Soit F : Up avec U ouvert de n.
On suppose que F est différentiable en x, un élément de U, alors la différentielle de F en x, notéé DF(x), est une application linéaire qui va de n et qui est à valeur dans p. h est le vecteur sur lequel s'applique cette application linéaire (avec les notations de mon dernier message).
Dans le cas qui nous intéresse, c'est x que l'on remplace par 0.
Voilà, si ça peut t'aider.
Kaiser
beuh bof
partiels particulièrement foirés, vive la licence Math fonda en venant de deug lol
(Je vais au dodo, a demain)
"vive la licence Math fonda en venant de deug"----->Ah bah, je me sens moins seule mauricette....
(Excusez-moi de m'incruster dans la conversation,mais j'étais heureuse de voir qqun qui partageait le même point de vue que moi sur la licence maths fondamentale...)
Euh, ben, ça---> Application continue dans espace vectoriel normé
où tu m'avais vachement bien aidé
Salut mauricette
Tu as pris maths fondamentales pour être prof de maths mauricette?
(Je sais, je suis curieuse, mais c'était pour savoir, paske nous on nous a presque dit que c'était obligé de prendre maths fonda si on voulait faire ce métier...)
lol
euh en fait oui je veux être prof de math,
après non c'est pas obligé de prendre math fonda pour être prof, mais c'est quasi obliger pour l'agreg.
Après pour être prof, si tu veuxx preparer le capes, licence AAG ca suffit
OK! ben, c'est bien ce que je me doutais un peu,mais c'est vrai que je n'avais pas pensé à l'agreg dans tout ça...
Bonne continuation et bon courage pour les partiels (qui arrivent bientôt je suppose,de quoi passer de bonnes vacances de Noël( euh, de révisions )
Lol
non non, les partiels c'était en novembre pour moi
Maintenant prochaine echeance, les exam mi-janvier !
Merci bon couage a toi aussi
Vous devez être membre accéder à ce service...
Pas encore inscrit ?
1 compte par personne, multi-compte interdit !
Ou identifiez-vous :