Verdadeiro ou falso: Se soubermos
para
diferentes vetores não nulos de
, então saberemos
para qualquer
em
.
Passo 1
Vou escrever claramente o que o enunciado diz e o que ele pergunta. O enunciado afirma: “Se soubermos
para
diferentes vetores não nulos de
, então saberemos
para qualquer
em
.”
Informações dadas:
Informações dadas:
- O espaço considerado é
. - Há
vetores diferentes e não nulos em para os quais sabemos os valores . - O enunciado não explicita se
é linear ou não (isso é informação que falta).
O que é pedido: - Determinar se a afirmação acima é verdadeira ou falsa, e justificar.
Passo 2
Primeira observação conceitual (sem assumir a linearidade de
ainda): saber o valor de uma função num conjunto pequeno de pontos não garante saber os valores fora desse conjunto, salvo se houver estrutura que permita estender esses valores de forma única. Por exemplo, para uma função arbitrária
pode-se definir valores diferentes em pontos fora do conjunto conhecido sem violar os valores já dados. Logo, sem hipóteses adicionais sobre
ou sobre os vetores, a afirmação parece suspeita.
Passo 3
Agora vamos ao caso relevante em Álgebra Linear (é o caso que costuma ser o contexto quando aparece
sobre vetores): suponha que
seja uma transformação linear
. Vou mostrar um contraexemplo concreto que prova que a afirmação, tal como está escrita, é falsa mesmo neste contexto. Considere
. Tome dois vetores distintos e não nulos em
:
Eles são diferentes e não nulos, mas estão colineares:
. Agora construo duas transformações lineares
e
que coincidem em
e
mas são diferentes em outros vetores. Para isso, basta decidir as imagens dos vetores da base canônica
e
.
Defina
por
e defina
por
Ambas são transformações lineares (pois são definidas por imagens da base e estendidas linearmente). Calculemos as imagens dos vetores dados:
Portanto
e
dão os mesmos valores em
e
. Mas
e
são diferentes porque, por exemplo,
Logo, mesmo sabendo
para dois vetores diferentes e não nulos em
, não se consegue determinar
em todo
. Isso mostra que a afirmação é falsa no caso
, e portanto é falsa em geral.
Passo 4
Explicação didática do porquê: o que falta na hipótese original é garantir que os
vetores formem uma base de
. Vamos rever os conceitos essenciais, com linguagem simples.
- Linearmente independentes: um conjunto de vetores
é linearmente independente se a única solução da combinação linear é . Em palavras: nenhum vetor do conjunto é combinação linear dos outros. - Geram (span): dizemos que os vetores geram
se qualquer vetor pode ser escrito como combinação linear desses vetores. - Base: é um conjunto de vetores que é linearmente independente e gera
. Em uma base tem exatamente vetores.
Fato-chave (muito usado em provas): para uma transformação linear
, basta conhecer
em uma base
para conhecer
em qualquer vetor. De fato, se
então pela linearidade
Essa expressão é única porque as coordenadas
são únicas quando
é base. Por isso, conhecer
em todos os vetores de uma base determina
de forma única em todo
.
Por outro lado, se os
vetores não formam uma base (ou seja, se forem linearmente dependentes ou não gerarem todo
), então conhecê-los não é suficiente — como o contraexemplo mostrou, pode haver liberdade para definir
em vetores fora do subespaço gerado por eles.
Passo 5
Resumo e dica prática para prova (tom amigável): a afirmação dada é falsa no enunciado tal como está. Para que ela fique verdadeira é preciso acrescentar a hipótese "os
vetores formam uma base de
" ou, equivalentemente, “os
vetores são linearmente independentes”. Se vir uma questão parecida na prova, sempre cheque se os vetores formam uma base — é essa condição que permite estender únicos valores de
para todos os vetores.
Resposta
Falso.