Seja V=(a, b) R^2 ; a, b>0. Definamos:
(a, b) oplus(c, d)=(a c, b d) e alpha(a, b)=(a^alpha, b^alpha) ; forall alpha in R
Mostre que V munido dessas operações é um espaço vetorial sobre R.

Passo 1

Beleza, vamos lá! A questão que temos envolve verificar se um conjunto com as operações definidas e forma um espaço vetorial sobre . O conteúdo aqui é Álgebra Linear, especificamente sobre espaços vetoriais e suas propriedades. Para resolver isso, vamos checar se todas as axiomas de um espaço vetorial são satisfeitas por com essas operações.

Passo 2

Primeiro, vamos relembrar o que é um espaço vetorial. Um espaço vetorial sobre um campo precisa satisfazer alguns axiomas, como existência de um elemento neutro, existência de inversos, associatividade, comutatividade da soma, distribuição da multiplicação escalar, entre outros. Nosso objetivo é verificar cada um desses axiomas para o conjunto com as operações dadas.

Passo 3

Vamos começar verificando a associatividade da soma. Precisamos mostrar que para quaisquer ((a, b) oplus (c, d)) oplus (e, f) = (a, b) oplus ((c, d) oplus (e, f)) ,
((a c, b d)) oplus (e, f) = (a c e, b d f)
Calculando o lado esquerdo:
(a, b) oplus (c e, d f) = (a c e, b d f)
E o lado direito:
Como os dois lados são iguais, a associatividade está satisfeita.

Passo 4

Agora, vamos verificar a comutatividade da soma. Precisamos mostrar que para quaisquer (a, b) oplus (c, d) = (c, d) oplus (a, b) ,
(a c, b d) = (c a, d b)
Calculando ambos os lados:
Como a multiplicação é comutativa nos reais ( e ), a soma também é comutativa.

Passo 5

Vamos verificar a existência do elemento neutro. Precisamos encontrar um elemento (a, b) oplus (1, 1) = (a cdot 1, b cdot 1) = (a, b) em tal que para qualquer ,
Assim, funciona como o elemento neutro.

Passo 6

Verificamos a existência de inversos aditivos. Para cada (a, b) oplus (a^-1, b^-1) = (a a^-1, b b^-1) = (1, 1) , precisamos de um tal que
Como , seus inversos multiplicativos existem e são positivos, então .

Passo 7

Agora, vamos verificar a distribuição da multiplicação escalar sobre a soma vetorial. Precisamos mostrar que para qualquer alpha cdot ((a, b) oplus (c, d)) = alpha cdot (a c, b d) = ((a c)^alpha, (b d)^alpha) e alpha cdot (a, b) oplus alpha cdot (c, d) = (a^alpha, b^alpha) oplus (c^alpha, d^alpha) = (a^alpha c^alpha, b^alpha d^alpha) = ((a c)^alpha, (b d)^alpha) ,
E
Os dois lados são iguais, então a distribuição está satisfeita.

Passo 8

Por fim, vamos verificar a distribuição da multiplicação escalar sobre a soma de escalares. Precisamos mostrar que para (alpha + beta) cdot (a, b) = (a^alpha + beta, b^alpha + beta) e alpha cdot (a, b) oplus beta cdot (a, b) = (a^alpha, b^alpha) oplus (a^beta, b^beta) = (a^alpha a^beta, b^alpha b^beta) = (a^alpha + beta, b^alpha + beta) ,
E
Novamente, os dois lados são iguais, satisfazendo esse axioma.

Resposta

Após verificar todos os axiomas necessários, concluímos que o conjunto com as operações definidas e forma, de fato, um espaço vetorial sobre .

Exercícios relacionados

Dada a matriz A=(cccc2 & 3 & 1 & -2 5 & 3 & 1 & 4 0 & 1 & 2 & 2 3 & -1 & -2 & 4) calcule
b) tildea14 e tildea31
Seja pi o plano que passa pela origem e é perpendicular à reta que passa pelos pontos A=(1,0,0) e B=(0,1,0). Encontre a distância do ponto C=(0,0,1) ao plano pi.
Mostre que o conjunto de todas as matrizes 2 X 2, triangulares superiores, com as operações usuais de adição de matrizes e de multiplicação escalar é um espaço vetorial sobre R.
Em cada parte, determine se as equações formam um sistema linear.
© 7 x1-x2+2 x3 =0
2 x1+x2-x3 x4 =3