The zero matrix has the required pattern, and matrix addition and scalar multiplication preserve every prescribed zero entry. This proves the vector subspace condition. A basis consists of the matrix units
They independently select every permitted entry of a tridiagonal matrix, so the dimension is for .