A constructive version of Warfield's Theorem
Résumé
Within the algebraic analysis approach to linear system theory, a multidimensional linear system can be studied by means of its associated finitely presented left module. Deep connections exist between module isomorphisms and equivalent matrices. In the present paper, we introduce a constructive proof of a result due to Warfield which controls the size of equivalent matrices involved in the study of isomorphic modules. We illustrate our constructive proof with an example coming from differential equations with constant coefficients.
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...