Por definición, si necesitamos demostrar que β:={p1,p2,p3}={1+2x+x2,2+9x,3+3x+4x2}⊆P2(R) es una base para el espacio vectorial P2(R) por lo que tenemos que demostrar que
- β es linealmente independiente.
- span(β)=P(R) .
Reclamación 1: β es un conjunto linealmente independiente. Sea α1,α2 y α3∈R y 0+0x+0x2=α1p1+α2p2+α3p3 entonces tenemos que 0+0x+0x2=α1(1+2x+x2)+α2(2+9x)+α3(3+3x+4x2) 0+0x+0x2=(α1+2α2+3α3)+(2α1+9α2+3α3)x+(α1+0α2+4α3)x2 El sistema lineal viene dado por {α1+2α2+3α3=02α1+9α2+3α3=0α1+0α2+4α3=0 y la solución para el sistema lineal utilizando la eliminación de Gauss es α1=0,α2=0andα3=0. Por lo tanto β es un conjunto linealmente independiente en P2(R) .
Reclamación 2: span(β)=P2(R) .
Sea a+bx+cx2∈P2(R) y a+bx+cx2=α1p1+α2p2+α3p3 entonces tenemos el sistema lineal {α1+2α2+3α3=a2α1+9α2+3α3=bα1+0α2+4α3=c y utilizando la eliminación de Gauss tenemos que ⋯∼(123|a05−3|−2a+b00−15|−9a+2b+5c5) Por lo tanto, el sistema lineal es coherente para todos a,b y c∈R y podemos concluir que span(β)=P2(R) .
Por reivindicación 1 y reivindicación 2 tenemos que β es una base para el espacio vectorial P2(R) .
Por último, podemos escribir 2+17x−3x2=α1p1+α2p2+α3p3 para algunos α1,α2 y α3 en R . De hecho, tenemos α1=1,α2=2andα3=−1. porque 2+17−3x2=1(1+2x+x2)+2(2+9x)+(−1)(3+3x+4x2).