a) Calcule [T] (matriz canônica de T );
b) Encontre \operatorname{dim} \operatorname{Nuc}(T) e \operatorname{dim} \operatorname{Im}(T);
c) Determine se T é injetiva e se T é sobrejetiva;
d) Sendo W=\operatorname{Nuc}(T), calcule uma base para o complemento ortogonal de W.
Passo 1
O enunciado dá uma transformação linear T:\mathbb{R}^{4}\to\mathbb{R}^{2} definida por
As perguntas são:
a) calcular a matriz canônica [T] de T (na base canônica de \mathbb{R}^4 e \mathbb{R}^2);
b) encontrar \dim\operatorname{Nuc}(T) e \dim\operatorname{Im}(T);
c) determinar se T é injetiva e se é sobrejetiva;
d) tomando W=\operatorname{Nuc}(T), calcular uma base para o complemento ortogonal W^{\perp}.]
Passo 2
Matriz canônica: aplicar T aos vetores da base canônica de \mathbb{R}^4,
Definição útil: \operatorname{Nuc}(T)=\{x\in\mathbb{R}^{4}:T(x)=0\}\). Para encontrar o núcleo, resolvemos \(T(x)=0\), isto é o sistema
\[\begin{cases} x_{1}+x_{2}+x_{3}=0,\\[4pt] x_{2}+x_{3}+x_{4}=0. \end{cases}
Da primeira equação obtemos x_{1}=-x_{2}-x_{3}\]. Da segunda obtemos \(x_{4}=-x_{2}-x_{3}. Tome s=x_{2} e t=x_{3} como parâmetros livres. Então
Verificação de independência: os vetores v_{1} e v_{2} são linearmente independentes (se a v_{1}+b v_{2}=0 então comparando coordenadas obtém-se a=b=0), portanto \dim\operatorname{Nuc}(T)=2.
Passo 5
Teorema posto-nulidade: para transformação linear de \mathbb{R}^{4} vale
Como \dim\operatorname{Nuc}(T)=2, segue \dim\operatorname{Im}(T)=2.
Complemento direto: podemos também ver pelas colunas de [T] que existem duas colunas independentes (por exemplo \begin{bmatrix}1\\\ 0\end{bmatrix} e \begin{bmatrix}0\\\ 1\end{bmatrix} aparecem entre as colunas), então o posto é 2.
Passo 6
Injetividade: definição — T é injetiva iff \operatorname{Nuc}(T)=\{0\}. Aqui \dim\operatorname{Nuc}(T)=2>0, logo T NÃO é injetiva.
Sobrejetividade: T é sobrejetiva se \operatorname{Im}(T)=\mathbb{R}^{2}. Como \dim\operatorname{Im}(T)=2 e o contradomínio tem dimensão 2, temos \operatorname{Im}(T)=\mathbb{R}^{2}. Portanto T É sobrejetiva.
Passo 7
Queremos W^{\perp} com W=\operatorname{Nuc}(T). Por definição
W^{\perp}=\{y\in\mathbb{R}^{4}:\langle y,w\rangle=0\\ \text{para todo }w\in W\}.
Uma estratégia prática: tomar os vetores que geram W (aqui v_{1},v_{2}) e impor y\cdot v_{1}=0 e y\cdot v_{2}=0. Outra observação útil (teoria dos subespaços fundamentais): W^{\perp} coincide com o espaço gerado pelas linhas de [T] (row space). As linhas de [T] são
Verificação rápida: r_{1}\cdot v_{1}=0, r_{1}\cdot v_{2}=0, r_{2}\cdot v_{1}=0, r_{2}\cdot v_{2}=0, logo r_{1},r_{2}\in W^{\perp}. Como são independentes e \dim W^{\perp}=4-\dim W=2, eles formam uma base de W^{\perp}.
(Observação: qualquer outra base do mesmo subespaço, por exemplo \{[1,1,1,0]^{T},[-1,0,0,1]^{T}\}, também está correta — são combinações lineares entre si.)