We show, using a hybrid analysis/linear algebra argument, that the diagonal vector of an infinite symmetric matrix over is contained in the range of the matrix. We apply this result to an extension, to the countably infinite case, of the Lights Out problem.
Keywords: Infinite matrices, lights out, symmetric matrices, diagonal, range