<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>In this paper the classic theory of matrices of real elements (see e.g. [12], [13]) is developed. We prove selected equations that have been proved previously for matrices of field elements. Similarly, we introduce in this special context the determinant of a matrix, the identity and zero matrices, and the inverse matrix. The new concept discussed in the case of matrices of real numbers is the property of matrices as operators acting on finite sequences of real numbers from both sides. The relations of invertibility of matrices and the "onto" property of matrices as operators are discussed.</p></abstract>

In this paper the classic theory of matrices of real elements (see e.g. [12], [13]) is developed. We prove selected equations that have been proved previously for matrices of field elements. Similarly, we introduce in this special context the determinant of a matrix, the identity and zero matrices, and the inverse matrix. The new concept discussed in the case of matrices of real numbers is the property of matrices as operators acting on finite sequences of real numbers from both sides. The relations of invertibility of matrices and the "onto" property of matrices as operators are discussed.

Determinant and Inverse of Matrices of Real Elements

Formalized Mathematics

{"article-title":"Determinant and Inverse of Matrices of Real Elements"}

In this paper the classic theory of matrices of real elements (see e.g. [12], [13]) is developed. We prove selected equations that have been proved previously...

Determinant and Inverse of Matrices of Real Elements

Pubblicato online: 09 giu 2008

Pagine: 127 - 136

DOI: https://doi.org/10.2478/v10037-007-0014-7

This content is open access.