Discuter:Automorphisme orthogonal
Un article de Wikipédia, l'encyclopédie libre.
Il était dit dans une version précédente (en fait depuis la création de l'article)
- "la formule (1) permet de démontrer la linéarité de f."
c'est incorrect, même si on peut prouver ceci (en dim finie) : si une application vérifie f(0)=0 et ||f(x)-f(y)||=||x-y|| pour tous x, y alors f est en effet linéaire, et est un autom orthogonal. Ceci dit ce résultat me semble plus technique qu'intéressant Peps 14 avril 2007 à 14:45 (CEST)