. . . . . . . . "190102494"^^ . . . . . . "En math\u00E9matiques, et plus pr\u00E9cis\u00E9ment en alg\u00E8bre lin\u00E9aire, un automorphisme orthogonal d'un espace pr\u00E9hilbertien E est un automorphisme f qui conserve le produit scalaire, c.-\u00E0-d. qui v\u00E9rifie : . De fa\u00E7on \u00E9quivalente, un endomorphisme f de E est un automorphisme orthogonal si et seulement si f est bijectif et admet pour adjoint, autrement dit si . Sur le corps des complexes, on l'appelle aussi automorphisme unitaire. Les automorphismes orthogonaux de E sont les isom\u00E9tries vectorielles surjectives de E dans E. En dimension finie, cette surjectivit\u00E9 est automatique."@fr . . . . . . . . "1320081"^^ . . . . "En math\u00E9matiques, et plus pr\u00E9cis\u00E9ment en alg\u00E8bre lin\u00E9aire, un automorphisme orthogonal d'un espace pr\u00E9hilbertien E est un automorphisme f qui conserve le produit scalaire, c.-\u00E0-d. qui v\u00E9rifie : . De fa\u00E7on \u00E9quivalente, un endomorphisme f de E est un automorphisme orthogonal si et seulement si f est bijectif et admet pour adjoint, autrement dit si . Sur le corps des complexes, on l'appelle aussi automorphisme unitaire. Les automorphismes orthogonaux de E sont les isom\u00E9tries vectorielles surjectives de E dans E. En dimension finie, cette surjectivit\u00E9 est automatique."@fr . "Automorphisme orthogonal"@fr . "5600"^^ . . . . . . . . . . . . . . . . . . .