The set of S, 2x2 symmetric matrices must satisfy the following conditions in order to be a subspace the vector space M of all 2x2 matrices
A) S ⊂ M
B) S is a vector space
In practical terms, this can be shown by demonstrating that S satisfies the following four conditions. Keep in mind that S is the set of matrices of the form
⌈a...b⌉
⌊b...c⌋
1) S ⊂ M : Trivially true
2) 0 ∈ S
⌈0...0⌉
⌊0...0⌋ is symmetric, so 2 holds
3) If u ∈ S and v ∈ S, then u + v ∈ S
Let u =
⌈a...b⌉
⌊b...c⌋
and v =
⌈d...e⌉
⌊e...f⌋
u + v =
⌈a+d...b+e⌉
⌊b+e...c+f⌋ is symmetric, so 3 holds
4) If u ∈ S and g is a scalar, then gu ∈ S
gu=
⌈ga...gb⌉
⌊gb...gc⌋ which is symmetric, so 4 holds
Therefore S is a subspace of M
u =
a⌈1...0⌉ +
..⌊0...0⌋
b⌈0...1⌉+
..⌊1...0⌋
c⌈0...0⌉
..⌊0...1⌋.
So these three matrices form a basis for S
Similar reasoning holds for the skew symmetric case