Enunciado
Álgebra Linear e Geometria Analítica - Álgebra Linear - 3ª Edição - J. L. Boldrini- Ed: 3º - Capítulo 4.8 - Ex. 14
Considere um intervalo simétrico e o conjunto das funções reais definidas no intervalo que possuem derivadas contínuas no intervalo. Sejam ainda os subconjuntos e .
- Mostre que é um espaço vetorial real.
- Mostre que e são subespaços de .
- Mostre que .
Passo 1
- Para resolver esse item não há mistério: devemos verificar se as propriedades do espaço vetoriais pertencem a esse conjunto.
- Para mostrar que e são subespaços vetoriais, devemos mostrar que eles são fechados para a soma e para a multiplicação por escalar.
- O que o problema nos pede é: é possível representar todas as funções com derivadas contínuas como a soma de duas funções, uma par e uma ímpar?
Passo 2
Na página estão descritas as propriedades que um espaço vetorial deve satisfazer. As funções com derivadas contínuas resultam em números reais, do que temos que as propriedades de a devem ser satisfeitas pelas funções, sendo a função nula o elemento neutro desse espaço.
Passo 3
Passo 4
Para , devemos mostrar que a soma de funções pares com derivadas contínuas é uma função par com derivadas contínuas e o mesmo para o produto por escalar.
Sejam pertencentes a . Então:
Além disso, sejam as derivadas dessas funções, que são contínuas. Então:
Como é a soma de funções contínuas, segue que ela é contínua.
Logo, é uma função par com derivada contínua, do que a gente tem que .
Passo 5
Seja agora , então:
Além disso:
Como é o produto de um escalar por uma função contínua, segue que também é contínua.
Dessa forma, .
Considerando esse passo e o anterior, a gente pode concluir que é fechado para soma e multiplicação por escalar, do que segue que ele é um subspaço de .
Passo 6
Procedendo de maneira completamente análoga, chega-se a mesma conclusão para .
Passo 7
Para responder essa pergunta, vamos investigar se dada , existem duas funções e tais que:
Veja que:
Somando as duas equações a gente tem:
E substituindo na primeira equação, a gente obtém:
Ou seja, dada uma função de , basta escolher como encontrado acima.
Resposta
Demonstração.