SLA a écrit:Tu rigoles? J'ai écris plusieurs fois dans ce fil ce que veux dire métrisable.
N'importe qu'elle métrique de R^2, induite sur le cercle te donne une métrique sur le cercle.
Et même plus malin, dans le cas de la sphère centrée en l'origine (pour simplifier les calculs)
=|\arccos\left( \frac{ u.v } {\|u\|.\|v\| } \right)|)
avec u.v le produit scalaire et |u| la norme euclidienne.

et

à vrai dire, sont deux vecteurs tangents du cercle en deux points distincts du cercle, non ?, et tu prends ensuite, les vecteurs unitaires correspondants

, et

, ensuite, tu prends la projection de l'une de ces vecteurs sur l'autre qui est le cosinus de l'angle
)
, ensuite, tu passes à l'angle lui même délimité par ces deux vecteurs unitaires en lui appliquant le arccos, et en ignorant l'orientation à l'aide de la valeur absolue.
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 à lintérieur de l'espace vectoriel définie par un vecteur tangent ( i.e : une droite ). Et, je ne comprends pas non plus pourquoi tu calcules la distance entre deux vecteurs, il me semble qu'on calcule normalement la distance entre deux points de l'espace affine associée à un espace vectoriel. On calcule d'ailleurs la distance entre deux droites, deux points, deux plan, deux surfaces, mais pas entre deux vecteurs, non ?
Merci d'avance pour vos éclaircissements.