Mostre que os seguintes conjuntos formam Z7-espaços vetoriais sob as operaçães usuais.
© W=x in Z7^2 mid 3 x1-5 x2=0

Passo 1

Beleza, vamos lá! O exercício pede para mostrar que o conjunto é um espaço vetorial sobre . Isso significa que precisamos verificar se satisfaz as propriedades de um espaço vetorial, como fechar sob adição e multiplicação por escalar, além de conter o vetor zero. Para isso, vamos precisar das definições básicas de espaços vetoriais e das operações em .

Passo 2

Primeiro, vamos identificar se o vetor zero está em 3 cdot 0 - 5 cdot 0 = 0 . O vetor zero em é . Vamos verificar se ele satisfaz a condição dada:
Como a igualdade é verdadeira, está em .

Passo 3

Agora, precisamos verificar se 3u1 - 5u2 equiv 0 pmod7 é fechado sob adição. Ou seja, se pegarmos dois vetores quaisquer 3v1 - 5v2 equiv 0 pmod7 e 3(u1 + v1) - 5(u2 + v2) = (3u1 - 5u2) + (3v1 - 5v2) equiv 0 + 0 equiv 0 pmod7 em , a soma também deve estar em .
Sabemos que:
Vamos somar essas duas equações:
Portanto, também satisfaz a condição e está em .

Passo 4

Em seguida, vamos verificar se 3u1 - 5u2 equiv 0 pmod7 é fechado sob multiplicação por escalar. Ou seja, se pegarmos um vetor c(3u1 - 5u2) = 3(c u1) - 5(c u2) equiv c cdot 0 equiv 0 pmod7 em e um escalar , o produto também deve estar em .
Sabemos que:
Multiplicando ambos os lados por :
Assim, também satisfaz a condição e está em .

Passo 5

Finalmente, já verificamos que contém o vetor zero, é fechado sob adição e sob multiplicação por escalar. Essas são exatamente as propriedades necessárias para ser um subespaço vetorial de .

Resposta

Portanto, é de fato um espaço vetorial sobre sob as operações usuais.

Exercícios relacionados

Usando transformada de Laplace, resolva os seguintes problemas de valor inicial (P.V.I.)
d) y^prime prime+2 y^prime+5 y & =e^-x sin (x) y(0)=0, y^prime(0) & =1 (Resp. y=13 e^-x(sin (x)+ sin (2 x)))
Mostre que os seguintes conjuntos formam Z7-espaços vetoriais sob as operaçães usuais.
(a) V=x in Z7^2 mid x1=x2
[Problemas com valor inicial deslocado] Estes correspondem aos problemas de valor inicial cujas condições iniciais são dadas para algum x=x0>0, em vez de x=0. Considere o seguinte (P.V.I.)
y^prime prime+y & =2 x y(pi / 4)=pi2, y^prime(pi / 4) & =2-raiz2
a) Faça x=tildex+pi4, e defina tildey(tildex)=y(x). Mostre que tildey é solução do novo (P.V.I.)
( PVI ) tildey^prime prime+tildey & =2(tildex+pi4) tildey(0)=pi2, tildey^prime(0) & =2-raiz2
Determine quais dos seguintes pares são vetores em U=x in R^2 mid x1+x2=0.
© z=(-raiz35, raiz35)