Enunciado
Álgebra Linear e Geometria Analítica - Anton - Álgebra Linear- Ed: 10º - Capítulo 4.1 - Ex. 6
Nos Exercícios , determine se o conjunto equipado com as operações dadas é um espaço vetorial. Para os que não são espaços vetoriais, identifique os axiomas que falham.
O conjunto de todas as ênuplas de números reais da forma com as operações padrão de .
Passo 1
Oi pessoal, tudo bem? Vamos analisar essa questão.
Para testar os axiomas, precisaremos fazer algumas considerações:
Seja:
Seja o conjunto de números reais da forma:
Então:
Assim, podemos dizer que está em , portanto o axioma é satisfeito.
Passo 2
Vamos encontrar :
Portanto, podemos dizer que:
Estando assim satisfeito o axioma .
Passo 3
O axioma diz que tem que ser igual a . Temos que:
Portanto:
Agora vamos avaliar . Temos que:
Portanto:
Ou seja:
Ficando assim satisfeito o terceiro axioma.
Passo 4
Seja o vetor zero em , temos que:
Logo:
Temos também que:
Logo:
Portanto:
Ficando assim satisfeito o axioma .
Passo 5
Seja o negativo de :
Portanto:
Logo:
Além disso, podemos dizer que:
Portanto, está em e . Sendo assim o axioma está provado.
Seja um escalar, temos que:
Portanto o axioma está satisfeito.
Passo 6
Já sabemos que , portanto:
Como:
E:
Podemos concluir que:
Respeitando assim o axioma .
Passo 7
Vamos encontrar :
Temos também que:
Ou seja:
Satisfazendo assim o axioma .
Vamos encontrar agora
Ou seja:
Satisfazendo assim o axioma .
Passo 8
Para o axioma , temos que:
Portanto o axioma é satisfeito.
Podemos então concluir que o conjunto de todos os números reais da forma é um espeço vetorial.
Resposta
É um espaço vetorial.