Topological properties of matrices #
This file is a place to collect topological results about matrices.
Main definitions: #
Main results #
- Infinite sums
Lemmas about continuity of operations #
To show a function into matrices is continuous it suffices to show the coefficients of the
resulting matrix are continuous
For square matrices the usual
continuous_mul can be used.
Lemmas about infinite sums #