05.06.2013 Views

Introduction - index

Introduction - index

Introduction - index

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4. Dimension du groupe orthogonal<br />

Exercices 101<br />

On note O(n, k} 1'ensemble des matrices n x n a coefficients dans k<br />

qui verifient 1 AA = /„.<br />

a) Montrer que O(n,k] est un sous-groupe de GL(n,k] et que c'est<br />

une variete affine. Montrer que Ton a dimO(n, k} > n(n — l)/2.<br />

b) Soient S = [x = (zi,..., xn) € fc" E? ^ 2 = 1} et e = (1,0,..., 0),<br />

e 6 5. Montrer que 1'application (f> : O(n, k} —» 5, definie par (p(A) = At<br />

est un morphisme surjectif. Determiner les fibres de (p et en deduire, par<br />

recurrence sur n, la dimension de O(n, A;). 4<br />

5. Dimension du commutorium<br />

On se propose de calculer la dimension de la variete affine :<br />

C = {(A, B) € Mn(jfc) x Mn(fc) | AB = BA}.<br />

On rappelle les resultats suivants sur les matrices (on suppose connue<br />

la reduction de Jordan).<br />

1) Si A € Mn(fc), le commutant C(A) = {B e Mn(k) AB = BA}<br />

est un A;-espace vectoriel de dimension > n.<br />

2) On a dimC(A) = n si et seulement si la reduite de Jordan est<br />

complete, i.e. si pour chaque valeur propre A le bloc correspondant est<br />

HP la fnrmp<br />

On dit alors que A est une matrice generique.<br />

a) Montrer que les matrices generiques forment un ouvert U de Mn(fc).<br />

b) Soit A une matrice quelconque. Montrer que C(A) contient une<br />

matrice generique (on se ramenera au cas oil A est sous forme de Jordan).<br />

c) Soient p\ et p2 les projections de C sur Mn(A;). Montrer que Q =<br />

Pi l (U} \Jp2 l (U) est un ouvert de C de dimension n 2 -f n.<br />

4 On peut montrer, en utilisant le probleme V, 6, que toutes les composantes irreductibles<br />

de O(n, k) ont meme dimension. On peut montrer aussi que ces composantes<br />

sont O + (n,k) - {A e O(n,k) \ det(A) = 1 } et O~(n,k) (qui correspond a<br />

det(A) = -1).

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!