Enunciado
Álgebra Linear e Geometria Analítica - Callioli - Álgebra Linear e Aplicações - Parte 1- Ed: 6º - Capítulo 5.5 - Ex. 6
Seja um espaço vetorial de dimensão finita. Sejam e dois vetores desse espaço com a seguinte propriedade: . Mostrar que é LD.
Sugestão: Se fossem LI, existiria uma base de contendo e . Considerar a base dual.
Passo 1
Bom, vejam só, toda questão que tem uma sugestão/dica, muito provavelmente será resolvida com esta sugestão/dica. Qual é a nossa conclusão disto para esta questão? Vamos ter que trabalhar com o conceito de base dual.
A teoria de base dual nos diz o seguinte. Seja uma base de e as aplicações que associam a cada os elementos , respectivamente,
Continuando, podemos pegar as aplicações e formar uma base (a famosa base dual).
Resumindo a teoria e aplicando a nossa questão, se for uma base (basta que seja de um subespaço de ), então também é.
Passo 2
Então vamos lá. Vamos assumir que é LI (e assim pode ser base de um subespaço de ). Se isto ocorrer, também é LI (também é base).
Só que, . Como temos vetores nulos, a nossa lista de vetores não é LI, e consequentemente, não é base.
Desta forma, se não forma uma base dual, como pode ser LI? Isto quebraria o teorema!
Portanto, a única opção é que seja LD. Assim, concluímos a nossa questão!
Resposta
Ei, a resposta está no passo a passo :)