<abstract xml:lang="en" xmlns="http://www.w3.org/1999/xhtml"><p>Here, the concept of matrix of real elements is introduced. This is defined as a special case of the general concept of matrix of a field. For such a real matrix, the notions of addition, subtraction, scalar product are defined. For any real finite sequences, two transformations to matrices are introduced. One of the matrices is of width 1, and the other is of length 1. By such transformations, two products of a matrix and a finite sequence are defined. Also the linearity of such product is shown.</p></abstract>

Here, the concept of matrix of real elements is introduced. This is defined as a special case of the general concept of matrix of a field. For such a real matrix, the notions of addition, subtraction, scalar product are defined. For any real finite sequences, two transformations to matrices are introduced. One of the matrices is of width 1, and the other is of length 1. By such transformations, two products of a matrix and a finite sequence are defined. Also the linearity of such product is shown.

A Theory of Matrices of Real Elements

Formalized Mathematics

{"article-title":"A Theory of Matrices of Real Elements"}

Here, the concept of matrix of real elements is introduced. This is defined as a special case of the general concept of matrix of a field. For such a real...

A Theory of Matrices of Real Elements

Publié en ligne: 13 juin 2008

Pages: 21 - 28

DOI: https://doi.org/10.2478/v10037-006-0004-1

This content is open access.