Soma da Dimensão de Subespaços
Teoria
Soma Direta
Lembram daquele exemplo da soma de uma reta com um plano no ? Esse aqui oh:
Perceba que a interseção da reta com o plano acontece apenas na origem. Quando isso acontece temos uma nomenclatura especial:
Notação:
No exemplo anterior, . Mas cuidado!! A definição acima fala quando uma SOMA é direta. Se por exemplo quisermos definir que um espaço , no caso o , é soma direta de dois subespaços escreveríamos:
Então, podemos dizer que a soma é direta, e que o é soma direta de e .
Dimensão de Subespaços
Ainda referente ao exemplo acima, vimos que a dimensão de era a dimensão de mais a dimensão de que no caso dava . Sendo assim, a soma deles gerava o . Mas e se pegássemos dois planos no ?
Podemos ver que os geradores de são:
E que os de são:
Se pegarmos a soma temos que seus geradores são:
Com um olhar descuidado pode-se dizer que a dimensão da soma desses planos é . Mas como somos muito safos sabemos que não é bem assim. Faltou verificarmos se todos os geradores são !
De fato não são, pois é impossível ter vetores no . Logo, basta verificar qual é do outro. Ao verificar, vemos que a dimensão do conjunto é .
Po, mas fazer isso toda vez é muito trabalhoso! É verdade, por isso vou te ensinar um outro jeito mais prático de calcular a dimensão de soma de subespaços!
Diferente do nosso primeiro exemplo lá em cima, desta vez os conjuntos em questão possuem uma reta como interseção! (Logo, a soma deles não é direta pois !)
Vamos verificar a interseção deste:
Disso tiramos que:
Logo a interseção dos dois é formada pelo vetor:
Assim sendo, podemos ver que a interseção é uma reta, gerada pelo vetor acima, e, portanto, sua dimensão é . Isso já era esperado, pois a interseção de dois planos no (não-coincidentes) é sempre uma reta!
Agora saca o seguinte: sabemos que a dimensão de cada um dos planos é e que a interseção deles gera uma reta de dimensão . Então,
que é exatamente a dimensão da soma dos planos. Se fossem planos iguais, a interseção seria ele próprio e teria dimensão , logo:
E de fato a soma de dois planos iguais tem que ser o próprio plano, então deve ter dimensão !
Voltando no exemplo lá de cima, vimos que a dimensão da soma era exatamente a soma das dimensões da reta e do plano. Como a interseção era apenas a origem, sua dimensão é nula.
Equacionando, temos:
Percebeu o padrão? Isto não é por acaso! Podemos achar a dimensão da soma facilmente, somando as dimensões de cada um dos conjuntos e diminuindo a dimensão da interseção deles!
Com isso chegamos ao teorema:
Dimensão de Subespaços
Exercícios Resolvidos
Exercício Resolvido #1
Elaboração Própria
Sabendo que
Sem fazer muitas contas, qual ?
Passo 1
Bom, vamos usar aquela fórmula linda pra ajudar a gente:
Vamos achar os geradores de , que é muito mais fácil!
Este conjunto novo formado por esses três vetores é , pois é a soma dos outros dois.
Passo 2
Assim, basta eliminá-lo e o conjunto torna-se e, portanto, .
Sabendo que e , basta usar o teorema e aplicar a fórmula!
Resposta
Exercício Resolvido #2
Elaboração Própria
Sendo:
Calcule uma base para , e .
Passo 1
Neste caso, é mais prático achar a interseção. Para definirmos quais serão seus elementos, e depois uma base, precisamos que estes elementos satisfaçam as duas condições de e ao mesmo tempo. Portanto, seria uma matriz do tipo:
Assim, uma possível base para é e .
Passo 2
Agora, vamos achar uma base para e e daí calcular suas dimensões.
Para temos que
e .
Para temos
e .
Passo 3
Assim, usando a fórmula da dimensão da soma temos:
Resposta
Exercício Resolvido #3
Elaboração Própria
Sendo
Verifique que .
Passo 1
O problema pede para verificar que a soma direta entre e gera o inteiro. Isso quer dizer que e .
Vamos verificar primeiro se a interseção deles é zero de fato.
Passo 2
Para ver se a interseção é realmente zero, podemos verificar se , pois acontece se, e somente se, .
Para isso, precisamos saber quais são os geradores de e de .
Passo 3
Para achar os geradores de , basta entender a condição dada. Assim, podemos vê-la de outro modo:
Portanto, é formado pelos vetores do que possui a última coordenada igual a .
Assim é facinho de ver que e, olhando para os zeros nas coordenadas, vemos que eles são . Portanto, .
Passo 4
Para achar os geradores de , basta juntar os geradores dos dois:
De novo, olhando para os zeros, vemos rapidamente que os vetores são e, portanto, .
Passo 5
O conjunto possui apenas um gerador, que não é o vetor nulo, portanto .
Aplicando na fórmula da dimensão:
Como a dimensão da interseção entre os dois conjuntos é zero, temos que a interseção também é nula. E como a soma é formada por vetores , sabemos que o deles gera o . Logo, .
Resposta
Ei, a resposta está no passo a passo :)