O enunciado dá o subespaço W\subset M(3,2) gerado por três matrizes e pergunta se uma matriz dada pertence a W. As informações fornecidas são (copiadas do enunciado):
Agora igualo cada entrada correspondente das matrizes para obter um sistema de equações lineares. Das seis entradas obtemos:
\begin{array}{ll} \text{(1) } & 0\cdot x+0\cdot y+0\cdot z = 0,\\[4pt] \text{(2) } & 0\cdot x+1\cdot y+1\cdot z = 2,\\[4pt] \text{(3) } & 1\cdot x+0\cdot y+0\cdot z = 3,\\[4pt] \text{(4) } & 1\cdot x+(-1)\cdot y+0\cdot z = 4,\\[4pt] \text{(5) } & 0\cdot x+1\cdot y+0\cdot z = 5,\\[4pt] \text{(6) } & 0\cdot x+0\cdot y+0\cdot z = 0. \end{array}
As equações (1) e (6) são triviais ( 0=0 ). As equações relevantes são (2), (3), (4) e (5).]
Passo 4
Resolvo as equações não triviais passo a passo.
Da equação (3) segue imediatamente
x=3.
Substituindo x=3 na equação (4) obtemos
3 - y = 4 \quad\Rightarrow\quad y = -1.
A equação (5) dá outra condição para y:
y = 5.
Portanto temos duas condições incompatíveis para y: y=-1 (da equação (4)) e y=5 (da equação (5)). Isso é uma contradição.
Passo 5
Como o sistema de equações é inconsistente (duas equações exigem valores diferentes para y), não existem escalares x,y,z que satisfaçam xA_1+yA_2+zA_3=T. Logo T não pode ser escrito como combinação linear de A_1,A_2,A_3.