da gugo82 » 30/08/2009, 17:31
Se posso intromettermi...
In realtà sui polinomi si possono fare due diversi tipi di considerazioni, a seconda che li si consideri come fanno gli algebristi o come fanno gli analisti.
La differenza consiste in questo: per un algebrista, un polinomio non è né più né meno di una successione definitivamente nulla a valori in un anello (ad esempio $RR$); per un analista di norma un polinomio è un'applicazione che contiene unicamente una combinazione lineare di alcune potenze intere della variabile.
Dal punto di vista "algebrico", l'anello dei polinomi reali $RR[X]$ è praticamente indentificato con la classe delle successioni definitivamente nulle:
$c_(00):=\{ p=(p_n) \subseteq RR: exists nu \in NN_0: AA n >=nu, p_n=0\}$,
quindi si può mettere su $RR[X]$ il prodotto scalare canonico di $c_(00)$, ossia:
(a) $<< p,q >> :=\sum_(n=0)^(+oo) p_nq_n$
(ciò equivale a fare le somme dei prodotti dei coefficienti delle potenze omologhe); noto che la serie a secondo membro è, in realtà, una somma finita.
Dal punto di vista "analitico", viene naturale considerare le restrizioni dei polinomi ad intervalli limitati, tipo $[a,b]$, e quindi di solito si mette su $RR[X]$ il prodotto scalare integrale:
(b) $<< p,q>> :=\int_a^b p(x)*q(x)" d"x$.
Ovviamente i due approcci portano a diverse concezioni di ortogonalità e tutto il resto... E tra le due diverse opzioni non c'è alcun legame: basti pensare che $x,x^2$ sono ortogonali rispetto al prodotto scalare (a), ma non ortogonali rispetto al prodotto scalare (b) con $[a,b]=[0,1]$; analogamente i polinomi di Legendre d'ordine $0$ e $2$, ossia:
$p_0(x)=1, p_2(x)=1/2(3x^2-1)$
sono ortogonali rispetto al prodotto (b) con $[a,b]=[-1,1]$ ma non ortogonali rispetto al prodotto (a).
Ultima modifica di
gugo82 il 30/08/2009, 17:38, modificato 1 volta in totale.
Sono sempre stato, e mi ritengo ancora un dilettante. Cioè una persona che si diletta, che cerca sempre di provare piacere e di regalare il piacere agli altri, che scopre ogni volta quello che fa come se fosse la prima volta. (Freak Antoni)