Integrale d'une fonction

Réponses à toutes vos questions après le Bac (Fac, Prépa, etc.)
barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 18 Déc 2014, 23:10

BiancoAngelo a écrit:Comme toute fonction réciproque, pour qu'elle existe, elle doit être définie en partant de f...bijective sur son ensemble de définition vers l'image.

Seulement si f définie sur [a;b] , bijective de [a;b] vers f([a;b]), on peut définir . Sans quoi voilà, ça donnerait ton histoire de fonction qui aurait plusieurs images.

Donc en gros, pour Arccos, c'est parce qu'on a restreint la fonction cos à un intervalle où elle réalise une bijection. Je te laisse deviner sur lequel ! En tout cas, pas R !

"cos" est donc défini sur : par exemple ?



barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 18 Déc 2014, 23:23

Donc, , non ?
Mais, à quoi cela sert-t-il ?
Merci d'avance. :happy3:

SLA
Membre Relatif
Messages: 335
Enregistré le: 29 Déc 2012, 21:55

par SLA » 18 Déc 2014, 23:25

barbu23 a écrit:Donc, , non ?
Mais, à quoi cela sert-t-il ?
Merci d'avance. :happy3:


L'axiome de séparation d'une distance, ça te parle?

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 18 Déc 2014, 23:28

SLA a écrit:L'axiome de séparation d'une distance, ça te parle?

donc . Mais, je ne comprends pas à quoi cela sert-il.

SLA
Membre Relatif
Messages: 335
Enregistré le: 29 Déc 2012, 21:55

par SLA » 18 Déc 2014, 23:38

barbu23 a écrit: donc . Mais, je ne comprends pas à quoi cela sert-il.


...
Les 0/0, ça t'embête pas plus que ça, on dirait...

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 18 Déc 2014, 23:39

Je ne comprends pas ce que tu dis.
ça veut dire que il faut prendre des vecteurs non colinéaires si on cherche à calculer les distances entre eux ?

SLA
Membre Relatif
Messages: 335
Enregistré le: 29 Déc 2012, 21:55

par SLA » 18 Déc 2014, 23:44

barbu23 a écrit:Je ne comprends pas ce que tu dis.
ça veut dire que il faut prendre des vecteurs distincts si on cherche à calculer les distances entre eux ? A quoi bon cela ?


C'est toi qui prétends que je t'ai donné une distance sur R^2. Moi je dis que c'est une distance sur n'importe quel cercle non trivial, centré en l'origine.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 18 Déc 2014, 23:47

SLA a écrit:C'est toi qui prétends que je t'ai donné une distance sur R^2. Moi je dis que c'est une distance sur n'importe quel cercle non trivial, centré en l'origine.

Tu peux être plus explicite un peu plus. Avec ce langage séquentiel que tu utilises, je n'arriverai pas à comprendre.

SLA
Membre Relatif
Messages: 335
Enregistré le: 29 Déc 2012, 21:55

par SLA » 18 Déc 2014, 23:55

barbu23 a écrit:[...]
Donc : est tout simplement l'angle géométrique délimité par et , mais cette distance n'est pas une distance sur le cercle, mais une distance du plan . autrement dit, si tu veux que la distance soit appropriée au cercle, il faut utiliser cette distance uniquement à l’intérieur de l'espace vectoriel définie par un vecteur tangent ( i.e : une droite ).


Même pas besoin de paraphraser. Après ton histoire sur les vecteur tangents, faudra nous fournir une explication...

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 19 Déc 2014, 00:05

SLA a écrit:Même pas besoin de paraphraser. Après ton histoire sur les vecteur tangents, faudra nous fournir une explication...

Si tu as envie que je comprennes il faut que tu me clarifies les choses de la même manière que les clarification de BiancoAngelo. Regarde comment son texte est limpide et parfait. Toi, tu n'as pas cette tendance et cette intention d'aider les gens. Tu cherches juste à mettre du chaos et des contradictions dans mon cerveau.
Moi, je cherches à calculer les distances entre points de la variété, et non la distance entre vecteurs.
Regarde comment on définit une distance sur une variété ici : http://fr.wikipedia.org/wiki/Vari%C3%A9t%C3%A9_riemannienne
Quel lien avec la tienne ?

SLA
Membre Relatif
Messages: 335
Enregistré le: 29 Déc 2012, 21:55

par SLA » 19 Déc 2014, 00:23

barbu23 a écrit:Si tu as envie que je comprennes il faut que tu me clarifies les choses de la même manière que les clarification de BiancoAngelo. Regarde comment son texte est limpide et parfait. Toi, tu n'as pas cette tendance et cette intention d'aider les gens. Tu cherches juste à mettre du chaos et des contradictions dans mon cerveau.
Moi, je cherches à calculer les distances entre points de la variété, et non la distance entre vecteurs.
Regarde comment on définit une distance sur une variété ici : http://fr.wikipedia.org/wiki/Vari%C3%A9t%C3%A9_riemannienne
Quel lien avec la tienne ?


Ha oui. En fait, tu ne sais pas de quoi tu parles. Une métrique Riemannienne sur une variété n'est pas une métrique sur ladite variété. C'est très bien expliqué dans la page Wikipedia que tu viens de donner.

Si ta variété est une sous variété d'un espace vectoriel (ce qui est le cas du cercle) alors ses points sont bien des vecteurs.

Donc le lien, c'est que tu as demandé une métrique sur le cercle (ce que je t'ai fourni), mais comme tu crois qu'une métrique est une métrique riemannienne, tu confonds tout.

Ppurquoi ne pas juste ouvrir un cours de topologie de licence avant de faire des variétés riemannienne?

SLA
Membre Relatif
Messages: 335
Enregistré le: 29 Déc 2012, 21:55

par SLA » 19 Déc 2014, 00:29

Je rajoute même que dans ta page Wikipedia, ils font bien la distinction entre métrique riemannienne et distance riemannienne. Moi je t'ai bien fourni une métrique sur ta variété, c'est a dire une distance. En temps qu'espace topologique.
Par ailleurs la distance que je t'ai donnée est la distance géodésique, ainsi que la distance riemannienne sur le cercle.

Edit: une petite précision s'impose. Je devrais dire probablement UNE distribution riemannienne. Ensuite la confusion que tu fais entre métrique riemannienne et distance riemannienne provient probablement du fait que pour un espace topologique, les mots "métrique" et "distance" désignent la même chose.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 19 Déc 2014, 00:43

Explique moi alors en détail le lien qui existe entre ta métrique et la métrique qu'on définit canoniquement sur une variété ( i.e : Métrique Riemannienne )

SLA
Membre Relatif
Messages: 335
Enregistré le: 29 Déc 2012, 21:55

par SLA » 19 Déc 2014, 00:55

barbu23 a écrit:Explique moi alors en détail le lien qui existe entre ta métrique et la métrique qu'on définit canoniquement sur une variété ( i.e : Métrique Riemannienne )


Sans déconner. Tu prends la variété riemannienne la plus simple: le cercle unité. Tu prends la métrique riemannienne qui te semble la plus naturelle (encore une fois tout est dans la page que tu as donnée). A partir de là, tu peux calculer des longueurs de chemin et en retroussant tes manches, tu auras ta distance riemannienne.

Cette fameuse distance sera la distance que je t'ai donnée.
Au boulot, et bon courage.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 19 Déc 2014, 01:04

Comment tu le sais ? Comment tu sais que ta distance et la distance Riemannienne du cercle unité coïncident ?. Attention, je n'ai pas encore fait le calcul pour que tu saches.

SLA
Membre Relatif
Messages: 335
Enregistré le: 29 Déc 2012, 21:55

par SLA » 19 Déc 2014, 01:07

barbu23 a écrit:Comment tu le sais ? Comment tu sais que ta métrique et la métrique Riemannienne du cercle unité coïncident ?. Attention, je n'ai pas encore fait le calcul pour que tu saches.


Ben justement parce que j'ai fais les calculs et qu'ils sont super simples.

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 19 Déc 2014, 01:08

SLA a écrit:Ben justement parce que j'ai fais les calculs et qu'ils sont super simples.

avec des arcs sinus et valeurs absolues, le calcul ne me semble pas être si simple.

BiancoAngelo
Membre Rationnel
Messages: 585
Enregistré le: 12 Déc 2011, 23:06

par BiancoAngelo » 19 Déc 2014, 09:44

barbu23 a écrit:"cos" est donc défini sur : par exemple ?


Bonjour barbu, tu as bien regardé sur ? La fonction cos change de variations.

Il faut que sur son intervalle de définition, elle soit monotone, sinon elle ne réalise pas de bijection...

Du coup, tu restreins la fonction cos à (intervalle où c'est décroissant).

Ca permet de définir la fonction Arccos, la fameuse ...
Cette fonction s'écrit avec une majuscule, car c'est un choix "élémentaire" en se ramenant à l'intervalle .
On aurait très bien pu prendre n'importe quel autre intervalle de longueur Pi, tant que cos y est monotone...

Je te rappelle qu'on a le graphe de la réciproque en faisant la symétrie par rapport à y = x (logique, c'est la fonction Id, et on se rappelle que (sur les intervalles de définition exacts...)

Image

Donc, pour, on doit prendre x de tel que cos(x) = 1, c'est x = 0... D'où le résultat.

BiancoAngelo
Membre Rationnel
Messages: 585
Enregistré le: 12 Déc 2011, 23:06

par BiancoAngelo » 19 Déc 2014, 09:47

barbu23 a écrit: donc . Mais, je ne comprends pas à quoi cela sert-il.


Si tu montres que effectivement , comme tu as fait ce calcul indépendamment du choix de , c'est que tous les vecteurs sont nuls.

Ce qui est faux.

Donc le hic venait d'avant, à savoir que tu ne manipulais pas une distance...

C'est la séparation qui ne va pas, à savoir :

barbu23
Membre Transcendant
Messages: 5466
Enregistré le: 18 Fév 2007, 17:04

par barbu23 » 19 Déc 2014, 12:17

Merci BiancoAngelo. :happy3:

Est ce que quelqu'un peut m'indiquer un lien vers un support sur le net portant sur le calcul des distances sur des variétés ?

Merci d'avance. :happy3:

 

Retourner vers ✯✎ Supérieur

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 32 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite