Vous êtes sur la page 1sur 3

CCP 2002. Fili` ere MP. MATHEMATIQUES 2. Corrig e de JL. Lamard (jean-louis.lamard@prepas.

org)

Etude dun exemple.


1. V erication imm ediate par un calcul direct ou invocation du th eor` eme de Cayley-Hamilton car X 2 tr(A)X + det(A) = A (X ). 2. A est par d enition le sous-espace engendr e par les matrices I2 et A. Il est de dimension 2 puisque comme A nest pas scalaire, la famille (I2 , A) est libre. En outre A est stable par multiplication dapr` es la question pr ec edente et contient I2 . Ainsi A est une sous-alg` ebre de dimension 2 de M2 (R). 3. Si B = aI2 + bA A v erie B 2 = I2 alors B annule le polyn ome X 2 + 1 donc ses valeurs propres sont i. Or si est valeur propre de A alors a + b est valeur prppre de B ce qui prouve que les valeurs propres de A sont non r eelles et donc tr(A)2 4 det(A) < 0. R eciproquement si cette condition est satisfaite alors les valeurs propres de A sont complexes conjugu ees = + i et avec R et R . Donc A est C-diagonalisable en la matrice A = Diag(, ) et ainsi B = aI2 + bA est semblable a ` la matrice B = diag(, ) avec = (a + b) + ib . 1 Or B 2 = I2 si et seulement si B 2 = I2 donc si et seulement si = i soit si et seulement si b = et a = b. Ainsi il existe 2 matrices (oppos ees) de A de carr e I2 . En conclusion il existe une matrice B de A de carr e I2 si et seulement si tr(A)2 4 det(A) < 0 et il existe alors exactement deux solutions (bien s ur oppos ees). 4. Une matrice r eelle scalaire ne pouvant etre de carr e I2 , la famille (I2 , B ) est libre et donc une base de A (qui est on le sait de dimension 2). Ainsi toute matrice M de A s ecrit de mani` ere unique sous la forme M = I2 + B et on peut d enir lapplication de A dans C qui a ` M associe + i . Cette application est clairement un isomorphisme despaces vectoriels. En outre (I2 ) = 1 et : M1 M2 = (1 I2 + 1 B )((2 I2 + 2 B ) = 1 2 1 2 )I + (1 2 + 2 1 )B = (1 2 1 2 ) + i(1 2 + 2 1 ) = (1 + i1 )(2 + i2 ) = (M1 )(M2 ). Ce qui prouve bien que est un isomorphisme dalg` ebre. 5. Si tr(A)2 4 det(A) = 0 alors la matrice A admet une valeur propre r eelle de multiplicit e 2. Comme A nest pas scalaire, A nest pas diagonalisable car sinon elle serait alors semblable donc egale a I 2 . Ainsi A est trigonalisable en une matrice A = avec = 0. 0 a + b b . Or B 2 = 0 si et seulement si B 2 = 0 soit si et Donc B = aI2 + bA est semblable a ` B = 0 a + b seulement si a + b = 0 (en eet cette condition est evidemment n ecessaire et elle est susante puisque toute 0 c matrice est de carr e nul). 0 0 Lorsque tr(A)2 4 det(A) = 0 et que A est non scalaire, les matrices de A de carr e nul sont les matrices aI 2 + bA avec a + b = 0 o` u est lunique valeur propre de A. Les solutions forment donc une droite vectorielle. Ainsi dans ce cas A nest pas int` egre donc nest pas un corps. 6. Si A et B sont deux matrices non scalaires quelconques, alors (I2 , A) est une base de A et (I2 , B ) une base de B de sorte que lapplication de A dans B d enie par (AI2 + bA) = aI2 + bB est un isomorphisme despace vectoriel tel que (I2 ) = I2 . Si en outre B est semblable a ` A i.e. si B = P 1 AP avec P GLn (R) alors on peut aussi ecrire (M ) = P 1 M P do` u il d ecoule imm ediatement que (M N ) = (M )(N ) pour tout couple (M, N ) A2 . Ce qui prouve que est alors un isomorphisme dalg` ebres. 7. Si tr(A)2 4 det(A) > 0 alors A admet 2 valeurs propres r eelles distinctes donc est R-diagonalisable en la matrice D = Diag(1 , 2 ). Dapr` es la question pr ec edente les alg` ebres A et D sont isomorphes. Or D est lensemble des matrices Diag(a + 1 b, a + 2 b) donc nest autre que lensemble des marices diagonales. En eet pour tout (, ) R2 a + 1 b = il existe deux r eels a et b tels que puisque ce syst` eme de d eterminant 1 2 = 0 est de Cramer. a + 2 b = On peut aussi dire que D est inclus dans lalg` ebre des matrices diagonales donc egal puisque les deux alg` ebres ont m eme dimension 2. Ainsi si tr(A)2 4 det(A) > 0 alors A est isomorphe a ` lalg` ebre des matrices diagonales. Ce nest pas un corps puisque par exemple la matrice Diag(0, 1) nest pas inversible.
CCP-2002-maths2.TEX

Quelques r esultats g en eraux.


1. Comme D est une alg` ebre, lapplication de D D dans D d enie par (x, y ) = xy est bilin eaire do` u le r esultat. 2. De m eme comme est bilin eaire, il vient que lapplication de D dans L(D) d enie par (a) = a est lin eaire. En outre est injectif car si a Ker alors a est lapplication nulle et a = 0 puisque en particulier a (1) = a.1 = a = 0. En outre est un morphisme dalg` ebre car (1) = x 1.x = x i.e. (1) = IdD et, pour tout x de D : (ab)(x) = (ab)x = a(bx) = (a)(bx) = (a) (b)(x) = (a)o (b) (x) et ainsi (ab) = (a)o (b). Donc est un morphisme injectif dalg` ebres. Il en d ecoule naturellement que est un morphisme injectif dalg` ebre donc un isomorphisme dalg` ebres de D sur Im( ) = (D) qui est donc une sous-alg` ebre de Mn (R) isomorphe a ` D. 3. Ici z (1) = a + ib et z (i) = b + ia donc MB (z ) =
REMARQUE

a b . b a : Cest une matrice de similitude directe comme pr evisible.

4. a. Supposons que A contienne une matrice A non scalaire avec une valeur propre r eelle. Comme A est une sous-alg` ebre de Mn (R), la matrice In A. Donc B = A I2 A. Comme A nest pas scalaire, B est non nulle et par ailleurs B admet 0 comme valeur propre donc nest pas inversible. Ce qui prouve que A nest pas un corps. 4. b. Dans ce cas A contient une matrice non scalaire admettant une valeur propre r eelle donc A nest pas un corps. 4. c.Supposons que A soit int` egre. Alors lapplication A qui est (on le sait dapr` es la question 1) un endomorphisme de lespace vectoriel A est en outre injective lorsque A = 0 par d enition de la r egularit e. Elle est donc bijective puisque A est de dimension nie. En particulier il existe A A telle que A (A ) = In i.e. AA = In ce qui prouve que A est inversible dans A. Ainsi si lalg` ebre A de dimension nie est int` egre alors cest un corps.

Lalg` ebre des quaternions.


1. Sil existe une matrice A de Mn (R) telle que A2 = In alors A annule le polyn ome X 2 + 1 donc les valeurs propres de A sont toutes egales a ` i. En particulier A nadmet aucune valeur propre r eelle et donc n est pair (sinon le polyn ome caract eristique de degr e impair admettrait au moins une racine r eelle dapr` es le th eor` eme des valeurs interm ediaires). On peut aussi remarquer que det(A2 ) = det(A)2 = (1)n ce qui prouve que n est pair. 2. Pour montrer que H est une sous-alg` ebre, comme H contient In , il sut de prouver que H est stable par produit. Pour cela il sut de prouver que A2 , A2 B , BA, B 2 , BAB ; ABA, AB 2 et AB 2 A appartiennent a ` H. Ce qui r esulte facilement des conditions (). Par exemple ABA = (AB )A = (BA)A = BA 2 = B . H est une sous-alg` ebre de Mn (R). 3. Un calcul facile prouve que (tIn + xA + yB + zAB )(tIn xA yB zAB ) = (t2 + x2 + y 2 + z 2 )In . 4. a. Soit (t, x, y, z ) R4 tel que tIn + xA + yB + zAB = 0. En eectuant le produit par tIn xA yB zAB la question pr ec edente prouve que t = x = y = z = 0. Ainsi H est une alg` ebre de dimension 4 de base (I n , A, B, AB ). 4. b. Soit M = tIn + xA + yB + zAB non nulle. La question 3 prouve que M est inevresible dans H dinverse 1 tIn xA yB zAB ). Donc H est un corps. t2 + x 2 + y 2 + z 2 5. a. V erication imm ediate par calcul par blocs en remarquant que J 2 = I2 . 5. b. Comme les matrices A, B et donc C = AB sont antisym etriques on a lorsque M = tI n + xA + yB + zAB = 0 que t M = tIn xA yB zAB H. Donc M t M = (t2 + x2 + y 2 + z 2 )I4 ce qui prouve que det(M )2 = (t2 + x2 + y 2 + z 2 )4 1 1 t t et M 1 = 2 M= M H. (t + x2 + y 2 + z 2 ) | det(M )|

Les automorphismes de lalg` ebre des quaternions.


1. Dapr` es le d ebut de la question 5 ci-dessus, il est imm ediat que L = vect(A, B, C ). Ce nest pas une sous-alg` ebre puisque par exemple A L et A2 = I4 L. 2. En ecrivant M = xA + yB + zC et N = x A + y B + z C il vient par un calcul facile (comme celui de la question 1 3 de la partie pr ec edente) que M N + N M = 2(xx + yy + zz )I4 donc (M N + N M ) = (M |N )I4 . 2
CCP-2002-maths2.TEX page 2

3. Dapr` es la question pr ec edente (avec N = M ) si M L alors M 2 = ||M ||2 I4 = I4 avec 0. R eciproquement soit M = tI4 + xA + yB + zC tel que M 2 = I4 avec 0. Le calcul fournit, car on v erie facilement que AC + CA = BC + CB = 0 comme AB + BA : M 2 = (t2 x2 y 2 z 2 )I4 + 2txA + 2tyB + 2tzC . On en d eduit que tx = ty = tz = 0 puisque M 2 est une matrice scalaire et que (I, A, B, C ) est libre. Donc t = 0 car sinon x = y = z = 0 et M 2 = t2 I4 = I4 avec > 0. En conclusion un quaternion M est pur si et seulement si M 2 = I4 avec 0. 4. Soit un automorphisme dalg` ebre de H et soit M L. Alors (M )(M ) = M M ce qui prouve que (M ) L dapr` es la question pr ec edente donc que induit un endomorphisme despace vectoriel de L. En outre dapr` es la question 2 on a (puisque (M ) L) : (M ) 2 = (M )(M ) = M M = M 2 . Ainsi si est un automorphisme dalg` ebre de H alors L est stable par et la restriction de a ` L est un automorphisme orthogonal de lespace vectoriel euclidien L. 5. a. Soient M et N deux quaternions purs de m eme norme et colin eaires. On a alors evidemment M = N ou M = N . Dans le premier cas on a M = P 1 N P avec P = I4 H. Dans le second cas trouver P non nulle de H (donc inversible puisque H est un corps) telle que M = P 1 M P revient a ` trouver P non nulle de H telle que P M + M P = 0. Il sut dapr` es la question 2 de choisir un el ement non nul de lorthogonal dans L de vect(M ) qui existe bien puisque cet orthogonal est de dimension 2. 5. b. Soient d esormais M et N deux quaternions purs de m eme norme mais non colin eaires. Dapr` es la question 2, on a M (M N ) (M N )N = M 2 N M N 2 = M 2N + N 2 M = M 2(M N ). Ainsi M M N M 2 I4 = M N M 2I4 N . Pour montrer que P = M N M 2 I4 , qui est bien un el ement de H, convient, il sut de montrer que P est inversible cest a ` dire non nulle puisque H est un corps. Or P = M N M 2 dapr` es la question 2 et ainsi P = M (N M ). Or comme la famille (M, N ) est libre par hypoth` ese les el ements M et M N sont non nuls donc P egalement puisque H est un corps donc est int` egre. En conclusion dans la matrice P = M (N M ) convient. 6. R esultat faux en g en eral : si M et N sont deux quaternions purs de m eme norme non oppos es alors P = M + N est un el ement non nul de H qui v erie P M = N P car (M + N )M = M 2 I4 + N M = N 2 I4 + N M = N (M + N ) et ici Q = M + N (puisque M + N L) et m + N nest pas en g en eral orthogonale a ` M. Par contre il est vrai (v erication imm ediate) avec chacune des matrices des 3 cas particuliers etudi es pr ec edemment. 7. Commen cons par remarquer que pour tout el ement P non nul (donc inversible) de H, lapplication P de H dans H d enie par P (M ) = P 1 M P est un isomorphisme dalg` ebre : elle est evidemment lin eaire, respecte la multiplication, xe lidentit e et est bijective. Notons aussi quun morphisme dalg` ebre de H est enti` erement d etermin e par les images de A et B car (M ) = (tI4 + xA + yB + zC ) = tI4 + x(A) + y(B ) + z(A)(B ). Notons enn que les el ements A, B et C sont deux a ` deux orthogonaux dans L en vertu de la question 2 et dune remarque de la question 3 : AB + BA = AC + CA = BC + CB = 0. P 1 AP = A (1) Soit d esormais un isomorphisme dalg` ebre de H qui xe A.Alors P = si et seulement si P 1 BP = B (2) en notant B = (B ). Or dapr` es la question 4, B est un quaternion pur de norme 1 et orthogonal a ` A puisque (A|B ) = 0. Donc B = cos B + sin C . Pour trouver P v eriant (2) la question 6 nous incite a ` chercher P de la forme I 4 + Q avec Q orthogonale a ` B et a ` B donc a ` B et a ` C donc de la forme A cest a ` dire a ` chercher P de la forme I 4 + A. Or toute matrice I4 + A commute avec A donc v erie (1) si elle est non nulle i.e. si 2 + 2 = 0. Ainsi la question revient a ` prouver quil existe (, ) = (0, 0) tel que (I4 + A)(cos B + sin C ) = B (I4 + A) soit ( cos sin )B + ( sin + cos )C = B C soit : (1 cos ) + sin = 0 . sin + (1 + cos ) = 0 Or ce syst` eme est de d eterminant nul donc nest pas de Cramer donc admet une (en fait une innit e) solution non nulle. Pla cons nous d esormais dans le cas g en eral o` u A nest pas invariante par . Dapr` es la question 5 il existe Q H telle que Q1 A Q = A puisque A et A sont deux quaternions purs de m eme norme (question 4). Alors Q o est un isomorphise dalg` ebre xant A donc de la forme R dapr` es l etude du cas pr ec edent. Alors = P avec P = RQ1 .

FIN
CCP-2002-maths2.TEX page 3

Vous aimerez peut-être aussi