ok so i refreshed my memory a little, by looking at my notes. I've tried part (a), and got the following:
condition (0) => A = [0 0;0 0] and A(Transpose) = [0 0;0 0], so satisfied
condition(1) => A = [ a1 b1; c1 d1] and B = [ a2 b2; c2 d2]. A(Tran) + B(tran) must be equal to (A+B)(tran). since they are square, A(tran)= A, therefore satisfying condition (1)
condition (2) => (c)*A must be equal to (c)*A(tran), and since A is square, they are equal, so condition 2 is satisfied.
since all conditions are satisfied that means that W is a subspace of the Vectore Space Vis that right?