Lema dels nuclis
En àlgebra lineal, el lema dels nuclis, també anomenat teorema de descomposició dels nuclis, és un resultat sobre reduccions d'endomorfismes. En un espai vectorial E sobre un cos K, si un operador u de E s'anul·la per un polinomi P(X) a coeficients dins K, aleshores aquest lema afirma que existeix una descomposició de E com a suma directa de subespais invariants per u. Aquests subespais invariants es defineixen com a nuclis de polinomis en u, i les projeccions corresponents també són polinomis en u.[1]
La demostració trasllada la identitat de Bézout per polinomis a subespais vectorials. Com a resultat fonamental, el lema dels nuclis porta a la descomposició de Jordan–Chevalley i a la forma canònica de Jordan. De forma més simple, el lema dels nuclis apunta que un operador u és diagonalitzable si s'anul·la per un polinomi amb arrels simples.
Enunciat
[modifica]
|
Demostració
[modifica]Reducció al cas n = 2
[modifica]Primerament, mostrarem per recurrència sobre que, si el lema és cert per , llavors també és cert per tot . Pel cas no hi ha res a demostrar (la projecció mencionada és la identitat, que és amb Q el polinomi constant 1). Si , escrivim i llavors , d'on és primer amb (ja que, per la identitat de Bézout per polinomis, cadascun dels factors de és invertible mòdul i, per tant, també ho és el seu producte ). El cas ens diu que , amb les projeccions corresponents donades per polinomis en l'endomorfisme f; la hipòtesi d'inducció ens permet descompondre com a suma directa dels per , i les projeccions de sobre aquests factors es componen amb la projecció sobre per donar finalment les projeccions desitjades .
Cas n = 2
[modifica]Es pot veure de forma senzilla que l'espai conté els espais per i, per tant, també conté la seva suma; ara es tracta de demostrar que la suma és directa, i que és igual a tot V (amb les projeccions polinòmiques en ). Per la identitat de Bézout, existeixen tals que i, per tant, (la funció identitat de ). Notem que
- ,
i llavors i .
Per veure que la suma és directa, considerem . Tenim que , i la suma és, doncs, directa.
Per veure que , considerem . Tenim que amb , ja que
- ,
i similarment . D'aquí concloem que i, per tant, .
Finalment, les projeccions de sobre els factors són i : ja hem vist que la imatge de està continguda a , i que s'anul·la per l'altre factor; només resta veure que és la identitat sobre . Per tenim que , cosa que volíem demostrar.
Aplicacions
[modifica]El lema dels nuclis és útil per reduir endomorfismes. Per exemple:
|
Demostració |
---|
Per hipòtesi, . Llavors, pel lema dels nuclis:
Cada subespai és invariant per i, per tant, la matriu de (en qualsevol base de adaptada a la descomposició anterior en subespais invariants) és diagonal per blocs, com volíem demostrar. |