Determine o(s) valor(es) de a tal(is) que
o conjunto \left\{\mathbf{u}_{1}, \mathbf{u}_{2}, \mathbf{u}_{3}, \mathbf{y}\right\} gere o espaço \mathbb{R}^{3}.
Em cada item, justifique sucintamente a sua resposta.
Dica: Quando for pertinente, aplique algum dos critérios relacionados na questão 1.
A pergunta é: determinar os valores de a tais que o conjunto \{\mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3},\mathbf{y}\} gere o espaço \mathbb{R}^{3}.
Informações relevantes dadas:
Temos quatro vetores em \mathbb{R}^{3} dependentes do parâmetro a.
Para que esses vetores gerem \mathbb{R}^{3} é necessário e suficiente que a dimensão do espaço gerado por eles seja 3 (ou seja, que exista um subconjunto de três vetores linearmente independentes).
Passo 2
Estratégia (explicada de forma didática): em \mathbb{R}^{3} um conjunto de vetores gera todo o espaço se e somente se a matriz formada por três desses vetores como colunas tiver determinante não nulo (esses três seriam linearmente independentes e, portanto, uma base). Como temos quatro vetores, basta verificar se existe alguma combinação de três colunas cujo determinante seja diferente de zero. Primeiro verifico o determinante das três primeiras colunas \mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3}; se esse determinante for não nulo, já garanto que o conjunto gera \mathbb{R}^{3} (independente de \mathbf{y}). Se for zero para alguns a, preciso então verificar determinantes de trios que envolvam \mathbf{y}, por exemplo (\mathbf{u}_{1},\mathbf{u}_{2},\mathbf{y}), (\mathbf{u}_{1},\mathbf{u}_{3},\mathbf{y}) e (\mathbf{u}_{2},\mathbf{u}_{3},\mathbf{y}).
Vou calcular esses determinantes explicitamente (passo a passo, sem pular etapas).
Passo 3
Calcular \det(\mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3}). A matriz cujas colunas são \mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3} é
Interpretação do passo anterior: se \det(\mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3})\neq 0, então \mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3} são linearmente independentes e já geram \mathbb{R}^{3}. Da expressão obtida, isso ocorre quando
Logo, para todo a com a\neq \pm 5 o conjunto dado gera \mathbb{R}^{3}. Ainda restam os casos a=5 e a=-5, que fazem o determinante acima igual a zero; nesses casos tenho que verificar se \mathbf{y} com alguma das \mathbf{u}_i forma um trio independente.
Passo 5
Calcular \det(\mathbf{u}_{1},\mathbf{u}_{2},\mathbf{y}). A matriz é
(As contas para chegar a essas factorações seguem o mesmo processo detalhado mostrado nos passos anteriores e podem ser repetidas se quiser; aqui apresento as expressões já simplificadas.)
Portanto, para a=-5 todos os determinantes de trios possíveis são 0. Isso implica que a matriz de quatro colunas tem posto no máximo 2, ou seja, os vetores não conseguem gerar \mathbb{R}^{3} quando a=-5.
Passo 8
Conclusão final com justificativa sucinta:
Se a\neq \pm 5, então \det(\mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3})=2(a^{2}-25)\neq 0, logo \mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3} são três vetores linearmente independentes em \mathbb{R}^{3} e já geram todo o espaço; portanto o conjunto dado gera \mathbb{R}^{3}.
Se a=5, embora \det(\mathbf{u}_{1},\mathbf{u}_{2},\mathbf{u}_{3})=0, encontramos \det(\mathbf{u}_{1},\mathbf{u}_{2},\mathbf{y})=20\neq 0, então existe um trio independente e o conjunto também gera \mathbb{R}^{3}.
Se a=-5, todos os determinantes de trios são zero, o posto é \le 2 e o conjunto não gera \mathbb{R}^{3}.