Fórum de Matemática
DÚVIDAS? Nós respondemos!

Um Fórum em Português dedicado à Matemática
Data/Hora: 12 mai 2024, 13:09

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 2 mensagens ] 
Autor Mensagem
MensagemEnviado: 29 jan 2017, 13:26 
Offline

Registado: 08 jan 2017, 13:50
Mensagens: 45
Localização: São Cristóvão - SE
Agradeceu: 26 vezes
Foi agradecido: 1 vez(es)
Sejam F1 = [(0, 1, -2), (1, 1, 1)] e F2 = [(-1, 0, 3), (2, -1, 0)] subespaços de \(\mathbb{R}^3\). Mostre que \(\mathbb{R}^3\) = F1 + F2. A soma é direta?

Fiz da seguinte forma:

F1 + F1 = [(0, 1, -2), (1, 1, 1), (-1, 0, 3), (2, -1, 0)], logo, F1 + F2 = a(0, 1, -2) + b(1, 1, 1) + c(-1, 0, 3) + d(2, -1, 0). Chegamos em: F1 + F2 = (b + 2d -c, a + b - d, b - 2a + 3c). Tal vetor pertence ao \(\mathbb{R}^3\).

Para mostrar que é soma direta, preciso mostrar a intersecção: \(\left\{\begin{matrix} b = 2d - c & & \\ a+b=-d & & \\ b-2a=3c & & \end{matrix}\right.\) \(\sim \left\{\begin{matrix} 2d-c-b=0 & & \\ a+b+d=0 & & \\ b-2a-3c=0 & & \end{matrix}\right.\)

Fazendo escalonamento, chego a um sistema possível e indeterminado. Posso concluir que não é possível concluir se é ou não uma soma direta? Ou concluo que não é soma direta? Ou meu raciocínio está errado?


Topo
 Perfil  
 
MensagemEnviado: 31 jan 2017, 11:37 
Offline

Registado: 17 jan 2013, 13:36
Mensagens: 2487
Localização: Lisboa
Agradeceu: 31 vezes
Foi agradecido: 1049 vezes
Quando determina um elemento de \(F_1+F_2\) e diz que é um vector de \(\mathbb{R}^3\), isso não mostra que a soma directa é \(\mathbb{R}^3\)... Repare que iria sempre obter um vector dessa dimensão. Tem que ver que essa soma gera \(\mathbb{R}^3\). Para isso pode por exemplo formar uma matriz com todos os vectores em linha e reduzir a uma matriz em escada. Se no final deste processo obtiver uma matriz com 3 linhas não nulas pode concluir o que pretende.

Já a intersecção não pode ser apenas o vector nulo uma vez que a soma não pode ser directa (o espaço teria dimensção 4, o que é impossível para um subespaço de \(\mathbb{R}^3\).


Topo
 Perfil  
 
Mostrar mensagens anteriores:  Ordenar por  
Fazer Nova Pergunta Responder a este Tópico  [ 2 mensagens ] 

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 24 visitantes


Criar perguntas: Proibído
Responder a perguntas: Proibído
Editar Mensagens: Proibído
Apagar Mensagens: Proibído
Enviar anexos: Proibído

Pesquisar por:
Ir para: