- Mostre que o conjunto dos polinômios de grau menor ou igual a 2 é um espaço vetorial.
Passo 1
O enunciado pede: mostrar que o conjunto dos polinômios de grau menor ou igual a 2 é um espaço vetorial.
Informações dadas (explicitadas):
Informações dadas (explicitadas):
- Definir o conjunto considerado:
. - Campo (os escalares) será
(ou seja, estamos verificando que é espaço vetorial sobre ).
Pergunta clara: provar quesatisfaz as propriedades necessárias para ser um espaço vetorial (ou, de forma prática, provar que é um subespaço do espaço dos polinômios/funções).
Passo 2
Estratégia que vou usar (sem resolver ainda): é mais simples e direto mostrar que
é um subespaço de um espaço vetorial já conhecido (por exemplo, o espaço de todas as funções reais ou o espaço de todos os polinômios) verificando três coisas práticas:
-
não é vazio (existe o vetor zero). -
é fechado sob soma: soma de dois polinômios em pertence a . -
é fechado sob multiplicação por escalar: escalar vezes polinômio em pertence a .
Se essas três condições forem verdadeiras, entãoé um subespaço do espaço vetorial maior e, portanto, é um espaço vetorial com as operações usuais. Vou seguir essa abordagem porque evita verificar todas as 8–10 axiomas individualmente (essas propriedades básicas garantem que os demais axiomas são herdados do espaço maior).
Passo 3
Definição explícita do conjunto e das operações:
Operação de soma (a usual entre polinômios): se
então
Operação de multiplicação por escalar
:
Vou usar essas representações em seguida para mostrar fechamento e existência de zero/inverso.
Passo 4
Mostrar que
não é vazio (existe o vetor zero):
O polinômio zero é
O polinômio zero é
com
. Como
, temos
. Logo
é não-vazio e contém o elemento neutro da soma.
Passo 5
Fechamento sob soma (passo a passo, com contas detalhadas):
Tome com
Tome
onde
. Então a soma é
Cada coeficiente
é soma de números reais, portanto é real. Assim
tem a forma de um polinômio de grau no máximo 2 (pode ser de grau menor, se alguns coeficientes somarem zero, mas continua com grau
). Portanto
. Concluímos fechamento por soma.
Comentário didático: aqui usamos a ideia simples de que somar polinômios é somar coeficientes correspondentes — é uma operação “coeficiente a coeficiente”, que preserva o formato
.
Passo 6
Fechamento sob multiplicação por escalar (detalhado):
Tome com
e
. Então
Tome
Cada coeficiente
é produto de números reais, logo é real. Assim
tem forma
com
, ou seja, pertence a
. Isso prova fechamento por escalares.
Observação: se
obtém-se o polinômio zero mostrado no passo 4, confirmando também que o zero pode ser obtido via multiplicação por escalar.
Passo 7
Existência de inverso aditivo (explicado e exibido):
Para , considere
. Claramente
, então
. Além disso
, portanto todo elemento tem inverso aditivo dentro do conjunto.
Para
Passo 8
Herança das demais propriedades (associatividade, comutatividade, distributividade, existência de elemento neutro escalar 1, etc.):
As propriedades como associatividade da soma, comutatividade da soma, distributividade de escalares sobre soma de vetores, e são válidas para polinômios porque são verdadeiras coeficiente a coeficiente nos reais (são propriedades das operações em
). Como
usa exatamente as mesmas operações (restritas), essas propriedades são herdadas do espaço maior (por exemplo, do espaço de todas as funções
ou do espaço de todos os polinômios). Portanto não é necessário re-provar cada uma: o fechamento já garante que todas essas operações acontecem dentro de
e as leis algébricas permanecem válidas.
As propriedades como associatividade da soma, comutatividade da soma, distributividade de escalares sobre soma de vetores, e
Passo 9
Resumo e conclusão didática:
- Mostrei que
contém o polinômio zero. - Mostrei que soma de dois polinômios de grau
é outro polinômio de grau . - Mostrei que escalares multiplicando um polinômio de grau
produzem outro polinômio de grau . - Mostrei que todo polinômio tem inverso aditivo em
. - As demais propriedades axiomáticas são satisfeit as porque as operações são as usuais e são herdadas do corpo
.
Por essas razõesé um subespaço do espaço dos polinômios (ou das funções reais), e assim é um espaço vetorial sobre .
Resposta
O conjunto
é um espaço vetorial sobre
.