l (x1, y1) oplus(x2, y2)=(x1+x2+2, y1 y2) alpha odot(x, y)=(alpha x+2(alpha-1), y^alpha)
Mostre que V é um espaço vetorial com as operações oplus e odot.

Passo 1

Beleza, vamos lá! O enunciado pede para mostrarmos que o conjunto l (x1, y1) oplus(x2, y2)=(x1+x2+2, y1 y2) alpha odot(x, y)=(alpha x+2(alpha-1), y^alpha) é um espaço vetorial usando as operações de adição e multiplicação por escalar definidas da seguinte forma:
Para provar que é um espaço vetorial, precisamos verificar se essas operações satisfazem todas as propriedades dos espaços vetoriais. Vamos passo a passo!

Passo 2

Primeiro, vamos verificar a fechamento da adição. Isso significa que, se pegarmos dois vetores em (x1, y1) oplus (x2, y2) = (x1 + x2 + 2, y1 y2) e somarmos usando , o resultado também deve estar em .
Sejam e em . Então:
Como é um número real e também é um número real, o resultado está em . Então, a adição está fechada.

Passo 3

Agora, vamos ver se a adição é comutativa, ou seja, se mudar a ordem dos vetores não altera o resultado.
Calculando (x1 + x2 + 2, y1 y2) :
(x2 + x1 + 2, y2 y1) = (x1 + x2 + 2, y1 y2)
E :
Como os resultados são iguais, a adição é comutativa.

Passo 4

Vamos verificar a associatividade da adição, ou seja, se somar três vetores de qualquer ordem dá o mesmo resultado.
Calculando ((x1 + x2 + 2) + x3 + 2, y1 y2 y3) = (x1 + x2 + x3 + 4, y1 y2 y3) :
(x1 + (x2 + x3 + 2) + 2, y1 y2 y3) = (x1 + x2 + x3 + 4, y1 y2 y3)
Agora, calculando :
Como os resultados são iguais, a adição é associativa.

Passo 5

Vamos encontrar o elemento neutro da adição, ou seja, um vetor que, quando somado a qualquer vetor de (x, y) oplus (ex, ey) = (x + ex + 2, y ey) = (x, y) , retorna o próprio vetor.
Queremos encontrar x + ex + 2 = x Rightarrow ex + 2 = 0 Rightarrow ex = -2 tal que:
y ey = y Rightarrow ey = 1
Isso implica:
E:
Então, o elemento neutro é .

Passo 6

Agora, vamos verificar a existência de inversos aditivos. Ou seja, para cada vetor (x, y) oplus (-x - 4, 1y) = (x + (-x - 4) + 2, y cdot 1y) = (-2, 1) em , deve existir um vetor tal que:
Note que o resultado não é o elemento neutro , a menos que , o que não é verdade. Portanto, não existe um inverso aditivo que satisfaça a condição padrão .

Passo 7

Como já encontramos um problema na existência de inversos aditivos, isso significa que nem todos os axiomas dos espaços vetoriais são satisfeitos. Mesmo assim, para completar, podemos verificar outras propriedades.
Vamos verificar a fechamento da multiplicação por escalar. Ou seja, para qualquer escalar alpha odot (x, y) = (alpha x + 2(alpha - 1), y^alpha) e vetor em :
Como e são números reais, o resultado está em . Portanto, a multiplicação por escalar está fechada.

Passo 8

Embora já tenhamos identificado que nem todos os axiomas são satisfeitos, vamos verificar uma propriedade da multiplicação por escalar. Por exemplo, vamos ver se alpha odot [(x1 + x2 + 2, y1 y2)] = (alpha (x1 + x2 + 2) + 2(alpha - 1), (y1 y2)^alpha) .
Calculando o lado esquerdo:
alpha odot (x1, y1) oplus alpha odot (x2, y2) = (alpha x1 + 2(alpha - 1) + alpha x2 + 2(alpha - 1) + 2, (y1^alpha)(y2^alpha))
E o lado direito:
(alpha (x1 + x2) + 4(alpha - 1) + 2, (y1 y2)^alpha)
Simplificando:
(alpha x1 + alpha x2 + 2alpha + 2 - 2, (y1 y2)^alpha) = (alpha x1 + alpha x2 + 2alpha, (y1 y2)^alpha)
Comparando com o lado esquerdo:
Claramente, não é igual a a menos que , o que não é geral. Portanto, essa propriedade também não é satisfeita.

Resposta

Como nem todos os axiomas dos espaços vetoriais são atendidos, especialmente a existência de inversos aditivos e a propriedade distributiva da multiplicação por escalar, concluímos que não é um espaço vetorial com as operações e definidas.

Exercícios relacionados