A Gerschgorin theorem for linear difference equations and eigenvalues of matrix products

The Gerschgorin circle theorem is used here to give sufficient conditions for the solution space of the difference equation x(m+1) = A (m+1)x(m) to admit a type of exponential dichotomy. The result obtained is then used to establish a result on regions of eigenvalue inclusion for the product of finitely many square matrices. An application to differential equations is also given.