Considere como o conjunto de pares ordenados de números reais. Para e elementos de e , defina as operações:
Verifique se é um espaço vetorial sobre com essas operações de soma de vetores e multiplicação por escalar. Caso não seja, identifique quais axiomas de espaço vetorial não são satisfeitos e justifique sua resposta.

Passo 1

Beleza, vamos lá! O enunciado nos pede para verificar se o conjunto com certas operações de soma e multiplicação por escalar forma um espaço vetorial sobre os números reais . Para isso, vamos precisar conhecer os axiomas de espaço vetorial e ver se eles são satisfeitos com as operações dadas.

Passo 2

Primeiro, vamos entender o que é um espaço vetorial. É um conjunto de vetores que, além de ter uma operação de soma, também permite a multiplicação por escalar, seguindo certos axiomas como associatividade, existência de elemento neutro, etc.

Passo 3

As operações dadas são:
Vamos verificar se essas operações respeitam os axiomas de um espaço vetorial.

Passo 4

Axioma 1: Fechamento da soma
Ao somar dois elementos de , o resultado deve estar em . Aqui, é real e também é real, então a soma está em . Ok até aqui.

Passo 5

Axioma 2: Comutatividade da soma
A soma deve ser comutativa, ou seja:
Vamos verificar:
Perfeito, pois a adição e a multiplicação de números reais são comutativas.

Passo 6

Axioma 3: Existência do elemento neutro da soma
Devemos ter um vetor zero tal que:
Pelo jeito das operações:
Então, o elemento neutro seria . Isso funciona.

Passo 7

Axioma 4: Existência de um inverso aditivo
Para todo vetor , deve existir tal que:
Isso implica:
Logo, , então . Porém, isso só funciona se . Se , não tem inverso. Portanto, nem todo vetor tem inverso aditivo. Aqui já encontramos um problema!

Passo 8

Axioma 5: Associatividade da soma
Mesmo que já tenhamos um problema, vamos checar mais um. A soma deve ser associativa:
Calculando ambos os lados:
Esquerda:
Direita:
Como a multiplicação é associativa, essas duas expressões são iguais. Ok aqui.

Passo 9

Axioma 6: Multiplicação por escalar
Devemos verificar se:
Calculando os dois lados:
Esquerda:
Direita:
Iguais, então está ok.

Passo 10

Axioma 7: Distribuição da soma de vetores
Devemos ter:
Calculando:
Esquerda:
Direita:
Igualdade válida, pois . Ok.

Passo 11

Axioma 8: Distribuição da soma de escalares
Verificar:
Calculando:
Esquerda:
Direita:
Para que sejam iguais, precisaríamos que , o que só é verdade se ou . Não vale para todo , então esse axioma não é satisfeito.

Passo 12

Conclusão: As operações definidas não satisfazem todos os axiomas de espaço vetorial. Especificamente, os axiomas Existência de inverso aditivo e Distribuição da soma de escalares não são atendidos em geral.

Resposta

Não, não é um espaço vetorial sobre . Os axiomas de existência de inverso aditivo e distribuição da soma de escalares não são satisfeitos.

Exercícios relacionados

Mostre que se e são bases ortonormais, então a matriz de mudança de base de E para F satisfaz , onde é a matriz identidade(matrizes com tal propriedade chamam-se matrizes ortogonais).
Sejam e espaços vetoriais sobre um corpo . Defina
Prove que é um espaço vetorial sobre com as operações
onde .
Suponha que seja uma série convergente. Assuma que , para todo . Mostre que: Mostre que as séries e são absolutamente convergentes, para todo .
Encontre o valor de para o qual