Back to Search
Start Over
Linear Map of Matrices
- Source :
- Formalized Mathematics, Vol 16, Iss 3, Pp 269-275 (2008)
- Publication Year :
- 2008
- Publisher :
- Sciendo, 2008.
-
Abstract
- Linear Map of MatricesThe paper is concerned with a generalization of concepts introduced in [13], i.e. introduced are matrices of linear transformations over a finitedimensional vector space. Introduced are linear transformations over a finitedimensional vector space depending on a given matrix of the transformation. Finally, I prove that the rank of linear transformations over a finite-dimensional vector space is the same as the rank of the matrix of that transformation.
Details
- Language :
- English
- ISSN :
- 18989934 and 14262630
- Volume :
- 16
- Issue :
- 3
- Database :
- OpenAIRE
- Journal :
- Formalized Mathematics
- Accession number :
- edsair.doi.dedup.....95c981b4de1a2e62ee500a9c1ca28c3d