Esercizio spazio polinomi

lackyluk
Buongiorno.

Ho questo esercizio, che ad una prima analisi mi pareva banale, ma poi mi sono perso, quasi subito.

Esercizio:
a) Si stabilisca se $ W = {(r+s)x^3 + (r+t)x^2+(s-t)x+ (r+t)| r,s,t in R}sube R3[x] $ è un sottospazio vettoriale di R3[x] e in caso affermativo se ne determini una base B.

b) Si completi la base B trovata al punto precedente ad una base di W.


Stabilire se sia un sottospazio segue le regole di chiusura per somma e prodotto e non mi sembrano esserci problemi. E' centrato per la terna (-t, t, t).
W sembrerebbe un sottospazio.

A questo punto inizia la confusione. Ho effettuato un tentativo di svolgimento solo però per rendermi conto che era totalmente sbagliato anche se, come detto, di primo acchito l'esercizio mi sembrava addirittura banale.

Qualcuno potrebbe aiutarmi.
Grazie

Risposte
j18eos
Se permetti, ti consiglio la notazione \(\displaystyle\mathbb{R}[x]_{\leq3}\) oppure \(\displaystyle\mathbb{R}[x]_3\)... altrimenti alcune persone (tra cui non io) si arrabbiano. :wink:

Scritto ciò: hai dimostrato che \(\displaystyle W\) è un sottospazio vettoriale di \(\displaystyle\mathbb{R}[x]_{\leq3}\), oppure no?

Cosa c'entra la terna \(\displaystyle(-t,t,t)\) con l'esercizio proposto?

lackyluk
Chiedo scusa per la nomenclatura, non sono riuscito a reperire ne il carattere speciale per indicare l'insieme ne il modo di mettere pedici. Userò i tuoi suggerimenti in eventuali nuove discussioni.

Tornando all'esercizio, sì la dimostrazione sembrerebbe portare alla conclusione che W sia un sottospazio. Mi risulta chiuso per somma e prodotto, e con quella terna intendo dire che con quei valori ottengo lo zero nel codominio, ''prerequisito'' nella verifica di un sottospazio vettoriale.

Per il resto, o anche per questa prima parte preliminare qualora avessi proceduto in maniera errata già dal principio, attendo consigli.

Grazie

j18eos
Praticamente per \(\displaystyle r=-t\) ed \(\displaystyle s=t\) ottieni il vettore nullo... basta semplicemente porre \(\displaystyle r=s=t=0\) e concludi che \(\displaystyle\underline{0}\in W\).

Vabbè, se non ci sono altri dubbi su \(\displaystyle W\): quali sono i rimanenti?

lackyluk
I dubbi sono su tutto il resto dell'esercizio. In particolare sul fatto che nel punto 2 viene chiesto di completare la base ricavata B a W, dando così ad intendere che quella che dovrei ricavare avrà dimensione inferiore.

Ma la condizione non mi dice in sostanza che W sarà formato da qualsiasi polinomio di grado massimo 3?
E quindi a quel punto una base B non potrà essere semplicemente la base canonica $(1, x, x^2, x^3)$ ?

Come giustifico quindi la richiesta del secondo punto?

Insomma, tanta confusione in effetti...

lackyluk
Posso forse esprimere W come $(r+s)(0,0,0,1)+(r+t)(1,0,1,0)+(s-t)(0,1,0,0)$?

La mia base dunque essere $B = {(0,0,0,1), (1,0,1,0),(0,1,0,0)}$ ovvero costituita dai tre polinomi

$p1= x^3$
$p2= 1+x^2$
$p3= x$

Dunque dimensione 3, alla quale aggiungere $(0,0,1,0)$ per completarla a W?

Ho peggiorato le cose?

j18eos
Utilizzando la base canonica \(\displaystyle\{1,x,x^2,x^3\}\) allora \(\displaystyle W\) è l'insieme dei vettori aventi coordinate canoniche
\[
(r+s,r+t,s-t,r+t)=r(1,1,0,1)+s(1,0,1,0)+t(0,1,-1,1);
\]
quindi chi è una base di \(\displaystyle W\)?

P.S.: non hai combinato nessun casìno! :wink:

lackyluk
Grazie per la risposta e scusa il ritardo nella mia.

Ho colto meccanicamente cosa hai fatto e cosa implica ma non ho saputo arrivarci e questo è un problema.

Comunque da li la base risulta $B = {(1, 1, 0, 1), (0, 1,-1, 1)}$ che posso completare a W (che avendo tre parametri liberi di variare ha dimensione 3 evidentemente (?))con $(0, 0, 1, 0)$.
Questo giustificherebbe anche la richiesta nel punto 2.

Un ''giusto?'' è d'obbligo visto che non padroneggio affatto la materia...

j18eos
"lackyluk":
[...] ma non ho saputo arrivarci e questo è un problema.

Comunque da li la base risulta $B = {(1, 1, 0, 1), (0, 1,-1, 1)}$ che posso completare a W (che avendo tre parametri liberi di variare ha dimensione 3 [...]

[list=1]
[*:img91m41]Cosa non hai capìto?[/*:m:img91m41]
[*:img91m41]Come arrivi a dire che \(\displaystyle B\) è una base di \(\displaystyle W\)?[/*:m:img91m41]
[*:img91m41]Fermo restando che \(\displaystyle B\) è una base, che dimensione ha \(\displaystyle W\)?[/*:m:img91m41][/list:o:img91m41]
Nota: \(\displaystyle W\) è generato da \(\displaystyle3\) vettori, quindi usi \(\displaystyle3\) parametri per descrivere i suoi elementi; ma ciò non implica che la dimensione sia \(\displaystyle3\)!

Esempio:\(\displaystyle\langle(1,0),(0,1),(1,1)\rangle\) chi genera in \(\displaystyle\mathbb{R}^2\)?

lackyluk
Cancellare per favore!!!

j18eos
Il punto (2) non mi aiuta ad aiutarti...

lackyluk
Ho fatto di nuovo casino :)

Vediamo di ricapitolare, in quanto ho anche fatto dei refusi nel post precedente.

"j18eos":
Utilizzando la base canonica \( \displaystyle\{1,x,x^2,x^3\} \) allora \( \displaystyle W \) è l'insieme dei vettori aventi coordinate canoniche
\[ (r+s,r+t,s-t,r+t)=r(1,1,0,1)+s(1,0,1,0)+t(0,1,-1,1); \]
quindi chi è una base di \( \displaystyle W \)?


Un base di W è un insieme di vettori che generano W, indipendenti fra di loro.
I tre vettori $(1,1,0,1), (1,0,1,0), (0,1,-1,1)$ generano W ma non sono indipendenti, il terzo è superfluo.

Dunque una base di W, che deve avere dimensione 4 è $(1,1,0,1), (1,0,1,0), (0,0,1,0), (0,0,0,1)$

Come va adesso?
Comunque ti ringrazio per la pazienza...

lackyluk
PS. Il post precedente a cui hai risposto era un inizio di risposta che avevo cancellato ma che per qualche motivo è rimasto visible...

j18eos
Scusa, ma se \(\displaystyle W\) è generato da \(\displaystyle3\) vettori, perché ha dimensione \(\displaystyle4\)?

...e pensa al mio esempio!

lackyluk
Ok giusto.

Lui mi chiede di completare a W (che ha dimensione 3) non a \( \displaystyle\mathbb{R}^3(x) \) che ha dimensione 4.

E quindi...ho tre vettori, di cui 2 indipendenti. Scelgo uno dei due aggiunti da me invece che entrambi?

Per il tuo esempio \( \displaystyle\mathbb{R}^2 \) è generato dai primi due vettori che sono indipendenti, cosa che fa di loro una base per \( \displaystyle\mathbb{R}^2 \). Il terzo è una loro combinazione lineare superflua.
Ma questo comunque non mi aiuta a capire il problema principale...

j18eos
Ricordati che una base di \(\displaystyle W\) è composta da due vettori, quindi che dimensione ha?

lackyluk
Ora credo di essermi perso.

Perchè una base di W dovrebbe essere composta da due vettori se ci sono tre paramenti liberi di variare (r, s, t)?

Per la cronaca, la teoria ''spicciola'' su cosa siano basi, sulla loro dimensione, di cosa siano spazi e sottospazi vettoriali mi è tutto sommato relativamente chiara. In questo esercizio c'è qualcosa che mi confonde e imboccarmi sembra inutile.

Dunque ti ringrazio per tutta la pazienza avuto finora ma se ti va dammi la soluzione, magari allegata con una piccola spiegazione di quali sono i punti che ritieni mi stiano creando tutta questa confusione, così che io possa analizzarla per capire dove sbaglio o cosa non mi è chiaro.
Altrimenti ti ringrazio lo stesso...

j18eos
No, non ti è chiara la dimensione di uno spazio vettoriale: poiché la base ha lunghezza \(\displaystyle2\), la dimensione è \(\displaystyle2\)!

Ti posso dare anche un esempio di spazio vettoriale generato da \(\displaystyle 10\) vettori, \(\displaystyle4\) parametri ed avere dimensione \(\displaystyle1\)...

lackyluk
Ok dai ti ringrazio lo stesso.
Per la cronaca non mi hai aiutato troppo di più che se mi avessi detto ''studia che è meglio''.

Comunque ok spero qualcun' altro possa chiarirmi le idee... o pazienza, me le chiarirò da solo in qualche modo.

j18eos
Sei tu ad aver affermato più volte di avere difficoltà solo cogli spazi vettoriali "di polinomi";

ma se poi mostri di non sapere né giustificare perché un certo insieme sia una base, e né perché la dimensione è quella e non quell'altra: non è di certo colpa mia!

"Se l'imperatore va in giro nudo, non è colpa del bambino che dice la verità!"

lackyluk
Ok. Fortunatamente ho trovato un'altro esercizio molto simile che mi ha permesso di rivedere questo (che poi era quello che chiedevo, avere la soluzione per poterci ragionare sopra).

Punto a)
\((1,1,0,1),(1,0,1,0),(0,1,-1,1)\) Un'insieme di vettori generatore di \( W \).
\( (1,1,0,1),(1,0,1,0) = (x^3+x^2+1, x^3 + x)\) Base di \( \displaystyle W \). \(Dim( W \)) = 2

Punto b)
Dimensione spazio vettoriale \( \displaystyle\mathbb{R}^3(x) \) = 4
Completamento \( \displaystyle W \) a \( \displaystyle\mathbb{R}^3(x) \) (credo sia quello che viene chiesto nel punto b), anche se resta ambiguo):
Completo la Base di \( \displaystyle W \) con {(0,0,1,0), (0,0,0,1)}.

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