Seja V o conjunto dos pares ordenados de números reais. V não é um espaço vetorial em relação a nenhum dos seguintes pares de operações sobre V :
a)
e a
, ay
b)
e a(x, y) = (ax, ay)
Diga em cada caso quais dos 8 axiomas não se verificam.
a)
b)
Passo 1
Resumo do enunciado: queremos verificar por que o conjunto
não é espaço vetorial em cada um dos dois pares de operações dados. Para isso, precisamos checar os oito axiomas de espaço vetorial (fechamento, comutatividade, associatividade da adição, elemento neutro, inverso aditivo, fechamento na multiplicação escalar, distributividades e identidade escalar).
Passo 2
Os oito axiomas que devemos testar são:
1. Comutatividade da adição
.
2. Associatividade da adição
.
3. Existência de elemento neutro aditivo
tal que
.
4. Existência de inverso aditivo para todo
, isto é, existe
com
.
5. Fechamento na multiplicação escalar: para todo escalar
e
,
.
6. Distributividade da multiplicação escalar em relação à adição vetorial
7. Distributividade da multiplicação escalar em relação à soma de escalares
8. Identidade escalar:
Passo 3
Caso (a):
Definimos
Definimos
– Os axiomas 1 a 6 e 8 são satisfeitos pois a adição é a usual em cada componente e a multiplicação escalar afeta só a segunda componente, preservando associatividade, comutatividade, neutro
, inversos
, fechamento e identidade
.
– O axioma 7 falha, pois
– O axioma 7 falha, pois
enquanto
Passo 4
Caso (b):
Definimos
Definimos
– A comutatividade da adição (axioma 1) falha, pois
em geral.
– O inverso aditivo (axioma 4) falha: para não existe
tal que
, pois
.
– A distributividade em relação à soma de escalares (axioma 7) também falha, pelo mesmo cálculo do caso (a):
– O inverso aditivo (axioma 4) falha: para
– A distributividade em relação à soma de escalares (axioma 7) também falha, pelo mesmo cálculo do caso (a):
pois a soma retorna sempre o primeiro operando.
Resposta
(a) Falha o axioma 7
(b) Falham os axiomas 1 (comutatividade da adição), 4 (inverso aditivo) e 7 (distributividade ).
(b) Falham os axiomas 1 (comutatividade da adição), 4 (inverso aditivo) e 7 (distributividade