Olhando a entrada (1,1) dessa soma, vem \alpha=0. Da entrada (2,2), vem \beta=0. Da entrada (1,2), vem \gamma=0. Assim \alpha=\beta=\gamma=0, o que prova independência linear.
Passo 4
Como \dim W=3 (já que uma matriz simétrica 2\times2 tem três parâmetros livres) e temos três vetores que geram W e são independentes, concluímos que \{A_1,A_2,A_3\} é uma base de W.