Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 2.7 - Ex. 10
Sejam e subespaços vetoriais do espaço W. Provar que:
Passo 1
Tendo como hipótese , precisamos mostrar que Beleza?
Como e são conjuntos, provaremos a igualdade mostrando a dupla inclusão.
Ou seja, mostraremos que
e .
Vamos relembrar como são os elementos do subespaço vetorial . Se é um elemento de , então é a soma de dois vetores e , com sendo um vetor de e vetor sendo um vetor de .
Ou seja,
.
Comecemos mostrando que , show?
Seja , então com e . Como, por hipótese, então . Tranquilo até aqui?!
Como V é um subespaço vetorial então a soma de dois vetores de é, também, um vetor de . Logo, .
Ou seja, temos que .
Vamos agora provar a outra inclusão, .
Como e são subespaços vetoriais, sabemos que ambos contêm o elemento neutro da soma. Além disso, como por hipótese temos que então, pela unicidade do elemento neutro da soma temos que .
Dessa forma, para todo temos que
.
Ou seja, temos que .
Logo,
Passo 2
Assim como na letra (a), provaremos que mostrando que vale a dupla inclusão. Antes, vale lembrar que
.
Comecemos mostrando que .
Seja um elemento de , então temos também que já que, por hipótese, .
Para finalizar, mostraremos que . Sabemos, de teoria de conjuntos, que isso é valido para quaisquer dois conjuntos. Mas, também podemos fazer da seguinte forma: vamos supor que isso não seja verdade. Isto é, vamos supor que não está contida em .
Logo, existe um tal que . Mas isso contradiz o fato de , pois por definição, temos que se então .
Isso nos mostra que .
Show de bola?
Passo 2
Por hipótese temos que Como podemos melhorar essa informação para podermos utilizá-la a nosso favor??
é a mesma coisa que Showzin?
Então, como e são subespaços vetoriais, sabemos que ambos contém o elemento neutro da soma.
Dessa Forma,
Assim, tomando o elemento neutro , temos
Ou seja,
Beleza?
Passo 3
Por hipótese temos que Como podemos melhorar essa informação para podermos utilizá-la a nosso favor??
é a mesma coisa que Showzin?
Além disso, significa que
.
Ou seja, todo elemento que está em também está na interseção, ou seja, esse mesmo elemento estará em
Logo,
Beleza?
Resposta
Ei, a resposta está no passo a passo :)