Questão 5(2,5). Considere o espaço vetorial V=\mathbb{R}^{3}. E considere o conjunto \alpha=\{(1,1,1),(0,1,1),(0,0,1)\}.
a. \alpha é uma base para V ?
b. Se \alpha for uma base, determine [v]_{\alpha}, onde v=(3,1,-4).
c. Considere a base, \beta, canônica do \mathbb{R}^{3} e determine [I]_{\alpha}^{\beta}.
Passo 1
O enunciado dá o espaço vetorial V=\mathbb{R}^3 e o conjunto \alpha=\{(1,1,1),(0,1,1),(0,0,1)\}. As perguntas são:
(a) \alpha é uma base de V?
(b) Se for base, determinar [v]_{\alpha} para v=(3,1,-4).
(c) Tomando \beta a base canônica de \mathbb{R}^3, determinar [I]_{\alpha}^{\beta} (a matriz da aplicação identidade, com domínio coordenado em \alpha e contradomínio coordenado em \beta).
Informações relevantes dadas:
Vetores de \alpha: v_1=(1,1,1), v_2=(0,1,1), v_3=(0,0,1).
Vetor a escrever em coordenadas de \alpha: v=(3,1,-4).
A base \beta é a canônica (vetores padrão (1,0,0),(0,1,0),(0,0,1)).
Passo 2
O que significa ser base? Um conjunto de três vetores em \mathbb{R}^3 é base se e somente se for linearmente independente (ou equivalentemente, se gerar todo \mathbb{R}^3). Uma maneira prática: formar a matriz cujas colunas são os vetores do conjunto e calcular o determinante; se o determinante for diferente de zero, as colunas são linearmente independentes.
Formo a matriz A cujas colunas são os vetores de \alpha:
Observação (fácil de ver): A é triangular inferior com os elementos da diagonal todos iguais a 1. Para uma matriz triangular, o determinante é o produto dos elementos da diagonal. Portanto
\det(A)=1\cdot 1\cdot 1=1\neq 0.
Como o determinante é diferente de zero, as colunas de A (isto é, os vetores de \alpha) são linearmente independentes e, por terem 3 vetores em \mathbb{R}^3, também geram \mathbb{R}^3. Assim \alpha é de facto uma base de V.]
Passo 3
Agora vamos encontrar [v]_{\alpha}\). Por definição, procuramos escalares \(c_1,c_2,c_3\) tais que
\[c_1 v_1 + c_2 v_2 + c_3 v_3 = v.
Agora a parte (c): a matriz [I]_{\alpha}^{\beta} representa a aplicação identidade I: \mathbb{R}^3\to\mathbb{R}^3 vista como transformação que toma coordenadas em \alpha e devolve coordenadas em \beta. Em termos práticos, as colunas de [I]_{\alpha}^{\beta} são as coordenadas (na base \beta, isto é, as coordenadas canônicas) dos vetores da base \alpha. Mas as coordenadas canônicas de cada vetor de \alpha são justamente os próprios vetores listados. Portanto