• Aucun résultat trouvé

1 C=EJ @A 5OLAIJAH .H=?EK/E=A=E?=I

N/A
N/A
Protected

Academic year: 2022

Partager "1 C=EJ @A 5OLAIJAH .H=?EK/E=A=E?=I"

Copied!
2
0
0

Texte intégral

(1)

Inégalité de Sylvester

Francinou-Gianella-Nicolas, Oraux X-ENS Algèbre 1, page 250

Exercice : Soit E un espace vectoriel de dimension nie n, a et b deux endomor- phismes de E.

1. Comparer rg(a + b) à rg(a) + rg(b) et rg(a) rg(b).

2. Prouver l'équivalence :

rg(a + n) = rg(a) + rg(b) ⇐⇒ Im (a) Im (b) = {0} et Ker a + Ker b = E 3. Montrer que

rg(a) + rg(b) n rg(ab) min(rg(a), rg(b) C'est l'inégalité de Sylvester

1. De l'inclusion Im(a + b) Ima + Imb, on tire les inégalités ;

rg(a + b) dim(Ima + Imb) dim(Ima) + dim(Imb) = rg(a) + rg(b)(∗)

En appliquant ce résultat à a + b et à −b, on obtient, compte tenu de l'égalité rg(b) = rg(−b), rg(a) rg(a + b) + rg(−b) rg(a + b) + rg(b)

c'est-à-dire

rg(a) rg(b) rg(a + b) Par symétrie on a rg(b) rg(a) rg(a + b) . On conclut que

|rg(a) rg(b)| ≤ rg(a + b) rg(a) + rg(b)

2. Supposons que rg(a + b) = rg(a) + rg(b). Toutes les inégalités de (∗) sont alors des égalités. On a en particulier dim(Ima + Imb) = dim Ima + dim Imb. Sachant que dim(Ima Imb) = dim Ima + dim Imb dim(Ima + Imb), on en déduit que Ima Imb = {0}.

Ceci étant réalisé, notons qu'on a ensuite Ker(a + b) = Kera Kerb. En efet, on a toujours Kera Kerb Ker(a + b) et si x Ker(a + b), on peut écrire

a(x) = −b(x) Ima Imb = {0}

et x Ker a Ker b . On obtient alors

dim( Ker a + Ker b) = dim( Ker a) + dim( Ker b) dim( Ker a Ker b)

= dim(Kera) + dim(Kerb) dim(Ker(a + b))

= n rg(a) + n rg(b) n + rg(a + b) = n puisque rg(a + b) = rg(a) + rg(b).

On a donc Kera + Kerb = E.

Supposons, réciproquement que Ima Imb = {0} et Kera + Kerb = E. Comme il a été démontré précédemment, on a alors Ker(a + b) = Kera Kerb. On en déduit

rg(a + b) = n dim Ker (a + b) = n dim( Ker a Ker b)

= n (dim Ker a + dim Ker b dim( Ker a + Ker b))

= n dim Ker a + n dim Ker b (car Ker a+ Ker b = E )

= rg(a) + rg(b)

1

(2)

3. De l'inclusion Im (ab) Im (a) résulte que rg(ab) rg(a) . Mais on a aussi Im (ab) = a(textImb) , d'où l'on déduit rg(ab) rg(b) , car une application linéaire n'augmente pas la dimension des espaces vectoriels (cela résulte du théorème du rang). Finalement, on obtient

rg(ab) min (rg(a), rg(b))

Pour obtenir l'autre inégalité, considérons la restriction a

0

de a à Im b . Elle vérie Im (a

0

) = Im (ab) et Kera

0

= Kera Imb. Le théorème du rang donne

dim Im(ab) = dim(Imb) dim(Kera Imb)

dim(Imb) dim(Kera) rg(b) (n rg(a)) On obtient l'inégalité voulue :

rg(ab) rg(a) + rg(b) n

2

Références

Documents relatifs

[r]

Einen andereren Satz, der als w 5 in die Abhandlung ~Definition analytischer Funktionen usw." h~tte aufgenommen werden ki~nnen, pflegte W~:E~STRASS unge- f~hr

Nun brauche ich Ihnen nicht zu sagen, dug ein Kandidat sehr gut vorbereitet sein kann und doch auf manche, Einzelheiten betreffende Frage die Antwort schuldig

steht: elementltren~ lies:

In the last step, we have just rewritten a proof that the union of two peak interpolation sets is a (peak) interpolation set.. Proof of

Define a Banach space X to be somewhat quasireflexive (resp. quowhat quasi- reflexive, somewhat reflexive, quowhat reflexive) if each nonreflexive subspace Y

Weiter gibt es ja in jedem alge- braisehen KSrper unendlieh viele Primideale ersten Grades... die Kongruenzen (10)haben keine LSsungen. ])as Ergebnis l~sst sich

unit time. I t is easy to give an interpretation of Fishers likelihood- function in terms of information theory. As an example we are going to treat the case