Groupe orthogonal : Mathématique

D	L	M	M	J	V	S
1	2	3	4	5	6	7
8	9	10	11	12	13	14
15	16	17	18	19	20	21
22	23	24	25	26	27	28
29	30	31

« Groupe symplectique | Page d'accueil | Le découpage de Dudeney »

03/12/2010

Groupe orthogonal

En mathématiques, plus précisément en algèbre linéaire, le groupe orthogonal d'une forme quadratique q est le groupe de ses automorphismes orthogonaux, muni de la loi decomposition. Si E est l'espace vectoriel sous-jacent, un automorphisme orthogonal pour q est un automorphisme f de l'espace vectoriel E (i.e. une application linéaire bijective de E dansE) laissant q invariante, c'est-à-dire vérifiant :

$forall xin E,; q(f(x))=q(x).$

Le cas le plus étudié est ( $mathbb K$ étant le corps des scalaires et n un entier naturel) :

$E=mathbb K^n,qquad q(x_1,ldots,x_n)=sum_{k=1}^nx_k^2.$

Le groupe orthogonal correspondant, noté $O(n,mathbb K)$ ou $O_n(mathbb K)$ , s'identifie au groupe des matrices orthogonales et possède un sous-groupe particulier, le groupe spécial orthogonal.

Sommaire

[masquer]

Généralités [modifier]

Le groupe orthogonal est compact, en effet on est en dimension finie et il est borné car tous les endomorphismes orthogonaux sont unitaires et fermé car c'est l'image réciproque du singleton identité par l'application continue $M mapsto M^t.M$ .

L'identité est un automorphisme orthogonal. L'ensemble des automorphismes orthogonaux est stable par composition et inversion. C'est donc un sous-groupe du groupe des automorphismes de $E$ ; on l'appelle le groupe orthogonal associé à la forme quadratique q. Il est noté $O (E, q)$ .

Pour $E={mathbb K}^n$ , lorsque la forme quadratique q s'écrit : q(x) = $sum_{k=1}^n$ x_k², on appelle matrices orthogonales les matrices des automorphismes orthogonaux. Une matrice M est donc orthogonale si et seulement si ^tMM = I_n, où ^tM est la matrice transposée de M. Par définition, le groupe orthogonal de degré n du corps $mathbb K$ est le groupe des matrices orthogonales n ×n à coefficients dans $mathbb K$ , muni de la multiplication matricielle. Il est habituellement noté $O(n,mathbb K)$ ou $O_n(mathbb K)$ . C'est un sous-groupe du groupe général linéaire $GL(n,mathbb K)$ .

Toute matrice orthogonale a un déterminant égal à 1 ou -1. Les matrices orthogonales n × n de déterminant 1 forment un sous-groupe invariant de $O(n,mathbb K)$ appelé le groupe spécial orthogonal et noté $SO(n,mathbb K)$ ou $SO_n(mathbb K)$ . Si la caractéristique de $mathbb K$ est 2, alors les groupes orthogonal et spécial orthogonal coïncident. Dans le cas contraire, l’indice de $SO(n,mathbb K)$ dans $O(n,mathbb K)$ est 2.

$O(n,mathbb K)$ et $SO(n,mathbb K)$ sont des groupes algébriques, car la condition que leurs matrices soient orthogonales, c’est-à-dire que leur transposée soit leur inverse, peut s’exprimer comme un ensemble d’équations polynomiales dans les éléments de ces matrices.

Nombres réels [modifier]

Sur le corps $R$ des nombres réels, $O(n,R)$ et $SO(n,R)$ sont généralement simplement notés $O(n),!$ et $SO(n),!$ quand aucune confusion n’est possible. Ils forment deuxgroupes de Lie compacts de dimension ${1over 2}n(n-1)$ . $O(n),!$ possède deux composantes connexes, $SO(n),!$ étant celle contenant la matrice identité.

Géométriquement, $O(n),!$ est isomorphe au groupe des isométries de $R^n$ laissant invariant l’origine. $SO(n),!$ est isomorphe au groupe des isométries directes, ou rotations de $R^n$ laissant l’origine invariante.

$SO(2),!$ est isomorphe (en tant que groupe de Lie) au cercle $S 1$ , formé des nombres complexes de module 1, muni de la multiplication. Cet isomorphisme lie le nombre complexe $e^{icdot phi} = cos(phi) + icdot sin(phi)$ à la matrice orthogonale

$begin{bmatrix}cos(phi)&-sin(phi) sin(phi)&cos(phi)end{bmatrix}$

Le groupe $SO(3),!$ est souvent appelé groupe des rotations (vectorielles) dans l'espace (tridimensionnel).

En termes de topologie algébrique, pour n > 2, le groupe fondamental de $SO(n),!$ est le groupe cyclique d’ordre 2 et le groupe Spin Spin(n) est son revêtement universel. Pour n=2, le groupe fondamental est le groupe cyclique infini et son revêtement universel correspond à la droite des réels.

L’algèbre de Lie associée aux groupes de Lie $O(n),!$ et $SO(n),!$ est formée des matrices n×n antisymétriques. Elle est généralement notée $mathfrak o(n),!$ ou $mathfrak{so}(n),!$ .

Nombres complexes [modifier]

Sur le corps $mathbb C$ des nombres complexes, $O(n,mathbb C)$ et $SO(n,mathbb C)$ (là aussi notés $O(n),!$ et $SO(n),!$ quand aucune confusion n’est possible) sont des groupes de Lie complexes de dimension ${1over 2}n(n-1)$ sur $mathbb C$ (le double sur $R$ ). $O(n),!$ possède deux composantes connexes, $SO(n),!$ étant celle contenant la matrice identité. Pour $nge 2$ , ces groupes ne sont pas compacts.

Pour $n > 2$ , le groupe fondamental de $SO(n),!$ est le groupe cyclique d’ordre 2, tandis que le groupe fondamental de $SO(2),!$ est le groupe cyclique infini.

L’algèbre de Lie associée aux groupes de Lie $O(n),!$ et $SO(n),!$ est formée des matrices complexes n×n antisymétriques.