Trovare le coordinate dei tre polinomi rispetto alla base considerata

Prima di postare leggi le regole del Forum. Puoi anche leggere le ultime discussioni.

Trovare le coordinate dei tre polinomi rispetto alla base considerata #3961

avt
xavier310
Sfera
Chiedo il vostro aiuto per risolvere un problema sulle componenti di un polinomio che mi sta dando tanti grattacapi. Ci ho provato in tutti i modi ma non so davvero cosa fare per calcolare le coordinate di un polinomio rispetto a una base.

Dopo aver stabilito che

p_1(x) = 4 ; p_2(x) = -2+5x ; p_3(x) = 1+2x-x^2

formano una base di R_2[x], calcolare le componenti del polinomio

p(x) = 3-x+3x^2

rispetto a essa.
 
 

Re: Trovare le coordinate dei tre polinomi rispetto alla base considerata #4010

avt
Galois
Amministratore
R_2[x] è lo spazio vettoriale dei polinomi a coefficienti reali, nell'indeterminata x e di grado al più 2.

L'insieme

mathcalB = p_1(x), p_2(x), p_3(x) = 4, -2+5x, 1+2x-x^2

è una base di R_2[x] se valgono le seguenti proprietà:

1) p_1(x), p_2(x), p_3(x) è un sistema di generatori di R_2[x];

2) p_1(x), p_2(x), p_3(x) è linearmente indipendente.

Verifichiamole!


Verifica della proprietà 1) - Sistema di generatori

p_1(x), p_2(x), p_3(x) genera R_2[x] se ogni polinomio di R_2[x] si può scrivere come combinazione lineare di p_1(x), p_2(x), p_3(x), ossia se per ogni

q(x) = a+bx+cx^2 ∈ R_2[x]

esistono λ_1, λ_2, λ_3 ∈ R tali che

λ_1 p_1(x)+λ_2 p_2(x)+λ_3 p_3(x) = q(x)

Sostituiamo i vari polinomi

λ_1 (4)+λ_2(-2+5x)+λ_3(1+2x-x^2) = a+bx+cx^2

Svolgiamo le varie operazioni e scriviamo il polinomio a primo membro in forma normale

 4λ_1-2λ_2+5λ_2 x+λ_3+2λ_3 x-λ_3 x^2 = a+bx+cx^2 ; 4λ_1-2λ_2+λ_3+(5λ_2+2λ_3)x-λ_3 x^2 = a+bx+cx^2

Facciamo ora intervenire il principio di identità dei polinomi, secondo cui due polinomi dello stesso grado sono uguali se sono tali i coefficienti dei termini dello stesso grado. Passiamo allora al sistema

4λ_1-2λ_2+λ_3 = a ; 5λ_2+2λ_3 = b ;-λ_3 = c

Le matrici incompleta e completa associate al sistema sono

A = [4 -2 1 ; 0 5 2 ; 0 0 -1] ; (A|b) = (beginarrayccc|c4 -2 1 a ; 0 5 2 b ; 0 0 -1 c endarray)

A è una matrice a gradini con 3 righe non identicamente nulle, per cui ha rango uguale a 3.

Per quanto concerne la matrice completa osserviamo che (A|b) è una matrice 3×4, per cui il suo rango è al più 3; essendo A una sua sottomatrice 3×3 di rango massimo possiamo affermare che anche il rango di (A|b) è 3.

Per il teorema di Rouché Capelli il sistema ammette un'unica soluzione per ogni a,b,c ∈ R, il che vuol dire che p_1(x), p_2(x), p_3(x) costituiscono un sistema di generatori di R_2[x].


Verifica della proprietà 2) - lineare indipendenza

p_1(x), p_2(x), p_3(x) sono linearmente indipendenti se e solo se, imponendo che sia

λ_1 p_1(x)+λ_2 p_2(x)+λ_3 p_3(x) = 0

l'uguaglianza è soddisfatta solo per λ_1 = λ_2 = λ_3 = 0.

Abbiamo già calcolato la forma normale del polinomio a primo membro, per cui possiamo passare direttamente a

4λ_1-2λ_2+λ_3+(5λ_2+2λ_3)x-λ_3 x^2 = 0

che equivale al sistema lineare omogeneo

4λ_1-2λ_2+λ_3 = 0 ; 5λ_2+2λ_3 = 0 ;-λ_3 = 0

La matrice incompleta a esso associata è la stessa matrice A, ed avendo già osservato che ha rango 3 possiamo asserire che il sistema ammette come unica soluzione quella banale, cosicché p_1(x), p_2(x), p_3(x) sono indipendenti.

In definitiva mathcalB è una base di R_2[x] e possiamo risolvere la seconda parte dell'esercizio, che chiede di calcolare le componenti di p(x) = 3-x+3x^2 rispetto a essa.

Prima di procedere ci teniamo a fare una piccola osservazione. In generale, un insieme formato da n vettori è una base di uno spazio vettoriale di dimensione n se e solo se gli n vettori sono linearmente indipendenti tra loro.

Ora, dovrebbe essere noto che la dimensione dello spazio vettoriale R_2[x] è 3, per cui per stabilire se mathcalB è una sua base sarebbe stato sufficiente verificare l'indipendenza lineare di p_1(x), p_2(x), p_3(x), con un notevole risparmio di tempo.


Calcolo delle componenti di p(x) rispetto a mathcalB

Le componenti riferite alla base mathcalB del polinomio p(x) = 3-x+3x^2 sono gli scalari λ_1, λ_2, λ_3 tali per cui

λ_1 p_1(x)+λ_2 p_2(x)+λ_3 p_3(x) = p(x)

ossia

4λ_1-2λ_2+λ_3+(5λ_2+2λ_3)x-λ_3 x^2 = 3-x+3x^2

Ancora una volta, il principio di identità dei polinomi ci permette di passare al sistema

4λ_1-2λ_2+λ_3 = 3 ; 5λ_2+2λ_3 = -1 ;-λ_3 = 3

Risolviamolo col metodo di sostituzione

Ricaviamo λ_3 dall'ultima equazione e sostituiamo nelle altre

4λ_1-2λ_2-3 = 3 ; 5λ_2+2·(-3) = -1 ; λ_3 = -3 → 4λ_1-2λ_2 = 6 ; λ_2 = 1 ; λ_3 = -3

Sostituiamo λ_2 = 1 nella prima equazione e abbiamo finito

4λ_1-2·1 = 6 ; λ_2 = 1 ; λ_3 = -3 → λ_1 = 2 ; λ_2 = 1 ; λ_3 = -3

La soluzione del sistema è

(λ_1,λ_2,λ_3) = (2,1,-3)

e quindi le componenti rispetto alla base mathcalB di p(x) sono

(p(x))_(mathcalB) = (2,1,-3)

Fine!
Ringraziano: Omega, Ifrit, xavier310
  • Pagina:
  • 1
Os