Determine a dimensão e uma base para cada um dos seguintes subespaços vetoriais de M_{2 \times 2}(\mathbb{R}) :
(a) \left\{\left[\begin{array}{ll}a & b \\\ c & d\end{array}\right]: b=a+c, d=c\right\}
(b) \left\{\left[\begin{array}{ll}a & b \\\ c & d\end{array}\right]: a+d=b+c\right\}
Passo 1
O enunciado dá dois conjuntos de matrizes 2\times2 em \mathbb{R} e pede, para cada conjunto, a dimensão e uma base do subespaço resultante. As informações que temos são:
(a) O conjunto
\left\{\begin{pmatrix}a & b \\\ c & d\end{pmatrix} : b=a+c,\; d=c\right\}.
Pergunta: determinar a dimensão e uma base desse subespaço.
(b) O conjunto
\left\{\begin{pmatrix}a & b \\\ c & d\end{pmatrix} : a+d=b+c\right\}.
Pergunta: determinar a dimensão e uma base desse subespaço.
Estas são as condições dadas pelo enunciado e as perguntas que devemos responder. Não vou resolver nada ainda neste passo; apenas identifiquei o que é pedido e quais restrições as matrizes satisfazem.
Passo 2
Vamos começar por (a). A condição em (a) é b=a+c e d=c. Isso significa que os elementos das matrizes não são todos independentes: os parâmetros livres podem ser escolhidos e os outros são expressos em função deles.
Escrevo uma matriz genérica do conjunto usando apenas os parâmetros independentes. Tomo a e c como parâmetros livres (pois b e d são dados por a e c). Assim
\begin{pmatrix}a & b \\\ c & d\end{pmatrix} = \begin{pmatrix}a & a+c \\\ c & c\end{pmatrix}.
Aqui explico por que escolhi a e c: a condição b=a+c faz com que b seja determinado por a e c; a condição d=c faz com que d seja igual a c. Logo apenas a e c são livres.
Passo 3
Agora escrevo a matriz em (a) como combinação linear de matrizes que não dependem mais de relacionamentos entre entradas. Agrupo os termos com a e com c:
Explicação didática: escrevemos a matriz como a vezes uma matriz fixa mais c vezes outra matriz fixa. Isso mostra que todo vetor (matriz) do subespaço pode ser gerado por essas duas matrizes fixas — dizemos que o subespaço está contido no span (espaço gerado) dessas duas matrizes.
Entrada (2,1): 0\cdot\alpha + 1\cdot\beta = \beta = 0.
Da segunda equação segue \beta=0. Substituindo em \alpha+\beta=0 obtemos \alpha=0. Assim só existe a solução trivial \alpha=\beta=0, logo M_1 e M_2 são linearmente independentes.
Passo 5
Conclusão para (a): o subespaço é gerado por duas matrizes linearmente independentes, portanto a dimensão é 2 e uma base é formada por
Isso é uma única equação linear entre as quatro entradas a,b,c,d, portanto esperamos que haja três graus de liberdade (quatro incógnitas menos uma relação), sugerindo dimensão 3. Vou fazer isso explicitando um parâmetro livre.
Escolho b,c,d como parâmetros livres e escrevo a em função deles a partir de a+d=b+c. Assim
a = b + c - d.
Portanto uma matriz geral do subespaço pode ser escrita como
\begin{pmatrix}a & b \\\ c & d\end{pmatrix} = \begin{pmatrix}b+c-d & b \\\ c & d\end{pmatrix}.
Explicação: escolhi b,c,d livres apenas por conveniência; qualquer outra escolha equivalente (por exemplo escolher a,b,c livres) daria também uma descrição com três parâmetros.
Passo 7
Escrevo agora a matriz em (b) como combinação linear das matrizes correspondentes aos parâmetros b,c,d. Separe os coeficientes:
Esse cálculo é feito reunindo os termos multiplicados por b, c e d em matrizes fixas. Assim todo elemento do subespaço pode ser escrito como combinação linear dessas três matrizes; elas geram o subespaço.
Passo 8
Agora verifico que essas três matrizes são linearmente independentes. Chamo-as
Das últimas três equações vem \alpha=\beta=\gamma=0. Portanto só existe a solução trivial, logo N_1,N_2,N_3 são linearmente independentes.
Passo 9
Conclusão para (b): como encontramos três matrizes que geram o subespaço e são linearmente independentes, a dimensão do subespaço é 3. Uma base conveniente é