Topological properties of matrices #
This file is a place to collect topological results about matrices.
Main definitions: #
Matrix.topologicalRing: square matrices form a topological ring
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.