Matrice associata un'applicazione lineare

sgabryx
ragazzi ho questa applicazione lineare:
\( Fh : ax3 + bx2 + cx + d ∈R[x]3 → (2d,ch,3b,ah + 4b) ∈R^4 \)
la matrice associata è:
$ ( ( 0 , 0 , 0 , 2 ),( 0 , 0 , h , 0 ),( 0 , 3 , 0 , 0 ),( h , 4 , 0 , 0 ) ) $ ?

Risposte
Magma1
Data l'applicazione lineare

$F_h : qquad RR[x]_(<=3)-> RR^4$ definita ponendo

$d+cx +bx^2+ax^3|-> ((2d),(ch),(3b),(ah+4b))$


Prendi come base di dominio e codominio quelle canoniche

$mathcalP={1,x,x^2,x^3}, qquad mathcalE={e_1,e_2,e_3,e_4}$


La matrice associata ha per colonna i vettori

$[F_h(p_i)]_(mathcalE) qquad, p_i in mathcalP qquad i=1,2,3,4$


ovvero le componenti delle immagini dei vettori $p_i in mathcalP$ rispetto alla base $mathcalE$.

sgabryx
andiamo per gradi, comincio con lo scrivere i vari pi:
$ p1= (0,0,0,d)$
$p2=(0,0,c,0)$
$ p3=(0,b,0,0)$
$ p4=(a,0,0,0)$
è corretto?

Magma1
Allora considerando l'applicazione
$F_h : qquad RR[x]_(<=3)->RR^4$

$ d+cx +bx^2+ax^3|-> ((2d),(ch),(3b),(ah+4b)) $

e la base
$ mathcalP={1,x,x^2,x^3}$


La legge del polinomio è espressa da $P[X]_(<=3)=d+cx +bx^2+ax^3$, quindi

$[P[X]_(<=3)=1 hArr { ( d=1 ),( c=b=a=0 ):} ] rArr F_h(1)=((2),(0),(0),(0))$

$[P[X]_(<=3)=x hArr { (c=1 ),( d=b=a=0 ):} ] rArr F_h(x)=((0),(h),(0),(0))$


continua tu :roll:

sgabryx
il resto verrebbe:

$ P(x^2)={ ( b=1 ),( d=c=a=0 ):}rArr [Fh(P(x^2))]( ( 0 ),( 0 ),( 3 ),( 0 ) ) $

$P(x^3)={ ( a=1 ),( d=c=b=0 ):}rArr [Fh(P(x^3))]( ( 0 ),( 0 ),( 0 ),( h ) ) $

e la matrice che cerco ha i vari Fh come colonne corretto? del tipo:
$ ( ( 2 , 0 , 0 , 0 ),( 0 , h , 0 , 0 ),( 0 , 0 , 3 , 0 ),( 0 , 0 , 0 , h ) ) $

(ho dubbio solo per quanto riguarda $P(x^3)$)...

Magma1
"sgabryx":
il resto verrebbe:
$ P(x^2)={ ( b=1 ),( d=c=a=0 ):}rArr [Fh(P(x^2))]( ( 0 ),( 0 ),( 3 ),( 0 ) ) $



$F_h(x^2)=((0),(0),(3),(4))$

sgabryx
ok! molto più chiaro ora.
finalmente inizio a fare chiarezza, ho un po' di difficoltà con questo argomento non mi entra in testa. invece nel caso in cui avessi:

$ f : (a,b,c) ∈R^3 → ax^4+(a+b)x^3+(a+b+c)x^2 ∈R[x]4 $
il discorso è analogo?

Magma1
Data

$f: RR^3 -> RR[X]_(<=4]$

$((a),(b),(c)) |-> (a+b+c)x^2+(a+b)x^3+ax^4$


beh... prova a scrivere una bozza di soluzione :-D

sgabryx
di primo impatto farei così. Definendo rispetto la base canonica di $ R[x4] $ avrei:

$ P(x4)={ ( a=1 ),( a+b=0 ),( a+b+c=0 ):} rarr{(a=1),(b=-1), (c=0):} rarr ( ( 1 ),( -1 ),( 0 ) ) $

però mi sorge un dubbio, ovvero che forse dovrei partire da una base di $ R3$, con analoghi procedimenti.

gugo82
@sgabryx: Ma la teoria l’hai studiata? Non mi spiego come tu possa brancolare così nel buio...

sgabryx
Si l'ho studiata. Ho fatto anche molti esercizi su questo argomento ma non riesco a comprenderlo, forse prima di ora non ho mai trovato spiegazione adeguata.

Magma1
"sgabryx":
di primo impatto farei così. Definendo rispetto la base canonica di $ R[x4] $ avrei:

$ P(x4)={ ( a=1 ),( a+b=0 ),( a+b+c=0 ):} rarr{(a=1),(b=-1), (c=0):} rarr ( ( 1 ),( -1 ),( 0 ) ) $

però mi sorge un dubbio, ovvero che forse dovrei partire da una base di $ R3$, con analoghi procedimenti.


:-k gugo82 non ha proprio torto

La scrittura
$f : qquad RR^3 -> RR[X]_(<=4)$


ti dice che l'applicazione $f$ prende un elemento $v in RR^3$ e lo mando nello spazio dei polinomio di grado al più $4$. Perché parti dal codominio? :|

sgabryx
sono partita da lì perché sono andata per similitudine del discorso fatto in precedenza cercando di comprendere il concetto, infatti ho espresso subito il dubbio che stessi sbagliando a considerare, se non avessi studiato avrei dato per certo quello che stavo facendo.
quindi dovrei fare:

$ P(1,0,0) rarr x^2+x^3+x^4 rarr(1,1,1,0,0)$

$P(0,1,0) rarr x^2+x^3 rarr (0,1,1,0,0)$

$P(0,0,1) rarr x^2 rarr (0,0,1,0,0) $

sono queste le colonne della matrice che cerco?

Magma1
"sgabryx":
sono partita da lì perché sono andata per similitudine del discorso fatto in precedenza cercando di comprendere il concetto

Ma la similitudine non è possibile perché gli dominio e codominio sono invertiti: è ciò che ci ha lasciato perplessi e fatto pensare che lo studio sia stato poco proficuo.

"sgabryx":

quindi dovrei fare:

$ P(1,0,0) rarr x^2+x^3+x^4 rarr(1,1,1,0,0)$

$P(0,1,0) rarr x^2+x^3 rarr (0,1,1,0,0)$

$P(0,0,1) rarr x^a rarr (0,0,1,0,0) $

sono queste le colonne della matrice che cerco?


Nope! [-X

$ f: RR^3 -> RR[X]_(<=4] $
$ ((a),(b),(c)) |-> (a+b+c)x^2+(a+b)x^3+ax^4 $

con le basi
$mathcalE={e_1,e_2,e_3}, qquad mathcalP={1,x,x^2,x^3,x^4}$

Per il primo vettore
$[((a),(b),(c))=((1),(0),(0)) hArr { ( a=1 ),( b=c=0 ):}] rArr f(e_1)=x^2+x^3+x^4$

le cui componenti rispetto a $mathcalP$ sono
$[x^2+x^3+x^4]_(mathcalP)=((0),(0),(1),(1),(1))$

Ora puoi proseguire per analogia :roll:

P.S.: le basi sono insiemi ordinati: cioè ${a,b} ne {b,a}$ :!:

sgabryx
ah ok perché la canonica del polinomio parte da 1 e termina con $x^qualcosa$, ho confuso l'ordine.

quindi alla fine la matrice dovrebbe essere:
$ ( ( 0 , 0 , 0 ),( 0 , 0 , 0 ),( 1 , 1 , 1 ),( 1 , 1 , 0 ),( 1 , 0 , 0 ) ) $ ?

Magma1
:smt023

sgabryx
prima di esultare, ne posto un'ultima che ho fatto da sola per vedere se è corretta.
l'applicazione questa volta è: $ f : ax3 + bx2 + cx + d ∈R[x]3 → (b−3c + d;2a−3b + d;2a + b−c;0;0) ∈R5 $
ho svolto così:

$ P(1) rarr{ ( d=1 ),( a=b=c=0 ):} rarr ( ( 1 ),( 1 ),( 0 ),( 0 ),( 0 ) ) $

$P(x) rarr { ( c=1 ),( a=b=d=0 ):} rarr ( ( -3 ),( 0 ),( -1 ),( 0 ),( 0 ) ) $

$P(x^2) rarr{ ( b=1 ),( a=d=c=0 ):} rarr ( ( 1 ),( -3 ),( 1 ),( 0 ),( 0 ) ) $

$P(x^3) rarr { ( a=1 ),( d=b=c=0 ):} rarr ( ( 0),( 2 ),(2 ),( 0 ),( 0 ) ) $

quindi la matrice cercata è:
$ ( ( 1 , -3 , 1 , 0 ),( 1 , 0 , -3 , 2 ),( 0 , -1 , 1 , 2 ),( 0 , 0 , 0 , 0 ),( 0 , 0 , 0 , 0 ) ) $

corretta? :oops: :?:

Magma1
Allora l'applicazione lineare è
$f: qquad RR[X]_(<=3)-> RR^5$

$d+cx+bx^2+ax^3 |-> ((b-3c+d),(2a-3b+d),(2a+b-c),(0),(0))$

e i vettori da te trovati
$ ( ( 1 ),( 1 ),( 0 ),( 0 ),( 0 ) ) , ( ( -3 ),( 0 ),( -1 ),( 0 ),( 0 ) ) , ( ( 1 ),( -3 ),( 1 ),( 0 ),( 0 ) ) , ( ( 0),( 2 ),(2 ),( 0 ),( 0 ) ) in Im(f) $


B.N.: non ti ho segnalato che ho corretto uno dei primi post, in cui scrissi "$P(1) hArr …$", con "$P[X]_(<=\text {grado massimo})=\text{ qualcosa} hArr$"; nella fretta avevo fatto un pastrocchio con la notazione. :?

sgabryx
allora vado a rivedere la notazione per scrivere bene :)
per quanto riguarda la matrice quindi posso dire che è corretta? :?:

Rispondi
Per rispondere a questa discussione devi prima effettuare il login.