Considere o conjunto V=(x1, x2) ; x1, x2 in R. Mostre que (V,+, cdot) N tildeA O é um espaço vetorial sobre R, quando munido de cada uma das seguintes operações oplus e odot :
© (x1, x2) oplus(y1, y2)=(x1-y1, x2+y2) e lambda odot(x1, x2)=(lambda^2 x1, lambda^2 x2).

Passo 1

Beleza, vamos lá! O enunciado nos pede para mostrar que o conjunto (x1, x2) oplus (y1, y2) = (x1 - y1, x2 + y2) com as operações definidas lambda odot (x1, x2) = (lambda^2 x1, lambda^2 x2) e forma um espaço vetorial sobre os números reais .
Para isso, precisamos lembrar que um espaço vetorial deve satisfazer uma série de propriedades (ou axiomas) envolvendo a adição de vetores e a multiplicação por escalar. As operações dadas são:
  • Adição ( ):
  • Multiplicação por escalar ( ):
Nosso objetivo é verificar se todas as propriedades de espaço vetorial são satisfeitas com essas operações.

Passo 2

Primeiro, vamos revisar quais são as propriedades que um espaço vetorial deve satisfazer. Existem 8 axiomas fundamentais:
  1. Fechamento da adição: A soma de dois vetores no espaço também deve estar no espaço.
  2. Comutatividade da adição: A ordem dos vetores na soma não altera o resultado.
  3. Associatividade da adição: A forma como agrupamos os vetores na soma não altera o resultado.
  4. Existência do vetor zero: Deve existir um vetor que, adicionado a qualquer vetor, não altera o vetor.
  5. Existência de inversos aditivos: Para cada vetor, deve existir outro que, somado a ele, resulta no vetor zero.
  6. Fechamento da multiplicação por escalar: A multiplicação de um vetor por um escalar deve resultar em outro vetor no espaço.
  7. Distributividade da multiplicação por escalar em relação à adição de vetores.
  8. Distributividade da multiplicação por escalar em relação à adição de escalares.
  9. Compatibilidade da multiplicação por escalares.
  10. Multiplicação por escalar unitário: Multiplicar por 1 deve resultar no próprio vetor.
Vamos verificar cada um desses axiomas com as operações dadas.

Passo 3

1. Fechamento da adição
Precisamos verificar se, ao somar dois vetores e usando , o resultado ainda pertence a .
Como são números reais, e também são reais. Logo, . Portanto, a adição está fechada em .

Passo 4

2. Comutatividade da adição
Precisamos verificar se (x1, x2) oplus (y1, y2) = (x1 - y1, x2 + y2) .
Calculando os dois lados:
(y1, y2) oplus (x1, x2) = (y1 - x1, y2 + x2)
Para que seja comutativo, precisaríamos que e .
Enquanto a segunda parte é verdadeira devido à comutatividade da adição real, a primeira parte só é verdadeira se .
Como isso nem sempre é o caso, a adição não é comutativa.

Passo 5

3. Associatividade da adição
Mesmo já sabendo que a adição não é comutativa, vamos continuar verificando os outros axiomas para ter uma visão completa.
Precisamos verificar se [(x1, x2) oplus (y1, y2)] oplus (z1, z2) = (x1, x2) oplus [(y1, y2) oplus (z1, z2)]
Calculando ambos os lados:
Esquerda:
[(x1, x2) oplus (y1, y2)] oplus (z1, z2) = (x1 - y1, x2 + y2) oplus (z1, z2) = (x1 - y1 - z1, x2 + y2 + z2)
Direita:
(x1, x2) oplus [(y1, y2) oplus (z1, z2)] = (x1, x2) oplus (y1 - z1, y2 + z2) = (x1 - (y1 - z1), x2 + y2 + z2) = (x1 - y1 + z1, x2 + y2 + z2)
Comparando os resultados:
(x1 - y1 - z1, x2 + y2 + z2) neq (x1 - y1 + z1, x2 + y2 + z2)
a menos que .
Portanto, a adição não é associativa.

Passo 6

4. Existência do vetor zero
Precisamos encontrar um vetor (x1, x2) oplus (01, 02) = (x1, x2) em (x1 - 01, x2 + 02) = (x1, x2) tal que:
Usando a definição de :
Isso implica que e . Portanto, o vetor zero é e existe em .

Passo 7

5. Existência de inversos aditivos
Para cada vetor (x1, x2) oplus (-x1, -x2) = (0, 0) , deve existir um vetor (x1 - (-x1), x2 + (-x2)) = (x1 + x1, x2 - x2) = (2x1, 0) em tal que:
Usando a definição de :
Para que isso seja igual a , precisamos que , ou seja, .
Portanto, só existe o inverso aditivo para vetores onde . Não existe inverso para vetores onde .

Passo 8

6. Fechamento da multiplicação por escalar
Precisamos verificar se, ao multiplicar um vetor por um escalar usando , o resultado ainda pertence a .
Como e , e também são reais. Logo, . Portanto, a multiplicação por escalar está fechada em .

Passo 9

7. Distributividade da multiplicação por escalar em relação à adição de vetores
Devemos verificar se:
lambda odot [(x1, x2) oplus (y1, y2)] = lambda odot (x1, x2) oplus lambda odot (y1, y2)
Calculando cada lado:
Esquerda:
(x1, x2) oplus (y1, y2) = (x1 - y1, x2 + y2)
lambda odot (x1 - y1, x2 + y2) = (lambda^2(x1 - y1), lambda^2(x2 + y2))
Direita:
lambda odot (x1, x2) = (lambda^2x1, lambda^2x2)
lambda odot (y1, y2) = (lambda^2y1, lambda^2y2)
(lambda^2x1, lambda^2x2) oplus (lambda^2y1, lambda^2y2) = (lambda^2x1 - lambda^2y1, lambda^2x2 + lambda^2y2)
Comparando:
(lambda^2(x1 - y1), lambda^2(x2 + y2)) vs (lambda^2x1 - lambda^2y1, lambda^2x2 + lambda^2y2)
Os dois são iguais, então a distributividade aqui é satisfeita.

Passo 10

8. Distributividade da multiplicação por escalar em relação à adição de escalares
Devemos verificar se:
(lambda + mu) odot (x1, x2) = lambda odot (x1, x2) oplus mu odot (x1, x2)
Calculando cada lado:
Esquerda:
(lambda + mu) odot (x1, x2) = ((lambda + mu)^2x1, (lambda + mu)^2x2)
Direita:
lambda odot (x1, x2) = (lambda^2x1, lambda^2x2)
mu odot (x1, x2) = (mu^2x1, mu^2x2)
(lambda^2x1, lambda^2x2) oplus (mu^2x1, mu^2x2) = (lambda^2x1 - mu^2x1, lambda^2x2 + mu^2x2) = ((lambda^2 - mu^2)x1, (lambda^2 + mu^2)x2)
Comparando com o lado esquerdo:
((lambda + mu)^2x1, (lambda + mu)^2x2) vs ((lambda^2 - mu^2)x1, (lambda^2 + mu^2)x2)
A menos que ou , o que não é geral, as duas expressões não são iguais. Portanto, a distributividade não é satisfeita.

Passo 11

9. Compatibilidade da multiplicação por escalares
Precisamos verificar se:
lambda odot (mu odot (x1, x2)) = (lambda mu) odot (x1, x2)
Calculando cada lado:
Esquerda:
mu odot (x1, x2) = (mu^2x1, mu^2x2)
lambda odot (mu^2x1, mu^2x2) = (lambda^2 cdot mu^2x1, lambda^2 cdot mu^2x2) = (lambda^2mu^2x1, lambda^2mu^2x2)
Direita:
(lambda mu) odot (x1, x2) = ((lambda mu)^2x1, (lambda mu)^2x2) = (lambda^2mu^2x1, lambda^2mu^2x2)
Ambos os lados são iguais, então a compatibilidade está satisfeita.

Passo 12

10. Multiplicação por escalar unitário
Devemos verificar se:
1 odot (x1, x2) = (x1, x2)
Calculando:
1 odot (x1, x2) = (1^2x1, 1^2x2) = (x1, x2)
Portanto, a propriedade está satisfeita.

Passo 13

Conclusão
Analisando todos os axiomas:
  • Fechamento da adição: Satisfeito.
  • Comutatividade da adição: Não satisfeito.
  • Associatividade da adição: Não satisfeito.
  • Existência do vetor zero: Satisfeito.
  • Existência de inversos aditivos: Não satisfeito para todos os vetores.
  • Fechamento da multiplicação por escalar: Satisfeito.
  • Distributividade da multiplicação por escalar em relação à adição de vetores: Satisfeito.
  • Distributividade da multiplicação por escalar em relação à adição de escalares: Não satisfeito.
  • Compatibilidade da multiplicação por escalares: Satisfeito.
  • Multiplicação por escalar unitário: Satisfeito.
Como nem todas as propriedades são satisfeitas (especialmente a comutatividade e a associatividade da adição, além da existência de inversos aditivos para todos os vetores), podemos concluir que com as operações e não forma um espaço vetorial sobre .

Resposta

Portanto, o conjunto com as operações definidas e não constitui um espaço vetorial sobre .

Exercícios relacionados