Stephen a écrit :
Oui et non. La distance euclidienne n'est pas la seule à provenir d'un produit scalaire, et tous les espaces ne sont pas munis d'un produit scalaire. C'est juste une distance naturelle qui vient du monde de la physique, ce n'est certes pas la seule, par exemple en dimension finie dès qu'on a l'homogénéité (d(lx,0) = ld(x,0) pour tout réel l et tout point x) on a équivalence des distances, i.e. les topologies induites sont les mêmes, on peut encadrer une distance par des multiples scalaires de l'autre.
Pour répondre à la question posée plus haut par VinceExtence, les matrices n*m (à coefficients réels on va dire), dans le fond, ce n'est rien d'autres que IR^m pris n fois, donc IR^(nm). Tu prends naturellement la métrique sur IR^(nm) pour avoir une métrique sur les matrices nm donc. En fait c'est la démarche que l'on fait quand on cherche à regarder les sous-groupes usuels de matrices (GLn, SLn et O(n) par exemple) comme espaces topologiques - et même souvent comme groupes de Lie mais c'est une autre histoire
|