Mostre que o conjunto abaixo é subespaço vetorial de , com as operações usuais de :
Passo 1
Vamos testar o teorema!
- ?
Passo 2
Será que o polinômio nulo, satisfaz as condições de ?
Portanto, sim, satisfaz.
Passo 3
Sendo , será que satisfaz as condições de ? Vamos ver:
Reagrupando:
Repare que são exatamente os coeficientes de . Assim como são os de .
POR HIPÓTESE, ambos pertencem ao conjunto. Sendo assim, seus coeficientes satisfazem à relação do conjunto, que é e . Logo, voltando para a última equação e aplicando as hipóteses temos:
Passo 4
Agora só falta a multiplicação por escalar! Sabendo que , vamos aplicar a condição do conjunto:
Já que são exatamente os coeficientes de , e , seus coeficientes satisfazem o conjunto e, portanto, . Logo:
Concluímos que, de fato, é subespaço vetorial de .
Resposta
Ei, a resposta está no passo a passo :)