Verifique que os polinômios 1,1+t, 1-t^{2} e 1-t^{2}-t^{3} formam uma base de \mathcal{P}_{3}(\mathbb{R}).
Passo 1
O enunciado pede para verificar que os polinômios 1,\;1+t,\;1-t^{2} e 1-t^{2}-t^{3} formam uma base de \mathcal{P}_{3}(\mathbb{R}).
Informações relevantes fornecidas:
Os quatro vetores (polinômios) são p_{1}(t)=1, p_{2}(t)=1+t, p_{3}(t)=1-t^{2} e p_{4}(t)=1-t^{2}-t^{3}.
O espaço considerado é \mathcal{P}_{3}(\mathbb{R}), o conjunto de todos os polinômios com coeficientes reais de grau menor ou igual a 3.
O objetivo é mostrar que o conjunto \{p_{1},p_{2},p_{3},p_{4}\} é uma base de \mathcal{P}_{3}(\mathbb{R}).
Passo 2
Relembrando (em linguagem simples) o que significa ser base:
Um conjunto de vetores é uma base de um espaço vetorial se for linearmente independente e gerar (ou seja, span) todo o espaço.
Uma forma prática, quando o espaço tem dimensão finita n, é: se temos exatamente n vetores e eles são linearmente independentes, então automaticamente formam uma base (porque em espaço de dimensão n um conjunto de n vetores linearmente independentes gera o espaço).
Aqui convém lembrar que \mathcal{P}_{3}(\mathbb{R}) tem dimensão 4, porque um conjunto padrão que gera esse espaço é \{1,t,t^{2},t^{3}\}, que tem 4 elementos. Portanto, basta provar que os quatro polinômios dados são linearmente independentes.
Passo 3
Definição prática de linear independência que vamos usar: os vetores p_{1},p_{2},p_{3},p_{4} são linearmente independentes se a única solução do sistema
Da quarta equação temos -\alpha_{4}=0, logo \alpha_{4}=0.
Substituindo em -\alpha_{3}-\alpha_{4}=0 dá -\alpha_{3}-0=0, logo \alpha_{3}=0.
Da segunda equação \alpha_{2}=0.
Finalmente, da primeira equação \alpha_{1}+\alpha_{2}+\alpha_{3}+\alpha_{4}=0 obtemos \alpha_{1}+0+0+0=0, logo \alpha_{1}=0.
Portanto a única solução é \alpha_{1}=\alpha_{2}=\alpha_{3}=\alpha_{4}=0.
Passo 6
Concluímos que os polinômios p_{1},p_{2},p_{3},p_{4} são linearmente independentes. Como \mathcal{P}_{3}(\mathbb{R}) tem dimensão 4 e temos 4 vetores linearmente independentes, pelo resultado padrão de espaços vetoriais finitos esse conjunto gera \mathcal{P}_{3}(\mathbb{R}). Logo o conjunto é uma base.
Um jeito alternativo (equivalente) seria escrever a matriz das coordenadas desses polinômios na base padrão \{1,t,t^{2},t^{3}\} e verificar que o determinante é não nulo; o cálculo que fizemos acima é exatamente essa verificação de independência, mas feita diretamente com os coeficientes.
Resposta
Os polinômios 1,\;1+t,\;1-t^{2} e 1-t^{2}-t^{3} formam uma base de \mathcal{P}_{3}(\mathbb{R}).