Enunciado
Álgebra Linear e Geometria Analítica - Anton - Álgebra Linear- Ed: 10º - Capítulo 4.1 - Ex. 11
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 todos os pares de números reais da forma com as operações
e
Passo 1
Oi pessoal, tudo bem? Vamos analisar essa questão.
Para que um conjunto seja considerado um espaço vetorial, ele deve satisfazer os axiomas abaixo:
- Se e são objetos em , então é um objeto em .
- .
- Existe um objeto em , denominado vetor nulo de , ou vetor zero, tal que .
- Dado qualquer em , existe algum objeto , denominado negativo de , tal que .
- Se for qualquer escalar e um objeto em , então é um objeto em .
- .
- .
- .
- .
Lembrando que chamaremos de o conjunto do enunciado com suas devidas operações. Portanto:
Considere que seja o conjunto de todos os pares de número reais do formulário com as operações:
e
Chamaremos:
Passo 2
Para o axioma , temos que:
De acordo com a regra de operação do enunciado, temos que:
Que é da forma de satisfazendo assim o axioma .
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:
Ou seja:
Logo:
Então é o elemento zero em .
Portanto:
Ficando assim satisfeito o axioma .
Passo 5
Seja o negativo de :
Portanto:
Logo:
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:
Sabemos também que:
Analogamente, temos que:
Portanto:
Ficando assim provado que:
Respeitando assim o axioma .
Passo 7
Vamos encontrar :
Temos também que:
Ou seja:
Satisfazendo assim o axioma .
Vamos encontrar agora
Temos também que:
Ou seja:
Satisfazendo assim o axioma .
Passo 8
Para o axioma , temos que:
Portanto o axioma é satisfeito.
Resposta
É espaço vetorial.