A Theory of Matrices of Real Elements

Yatsuka Nakamura; Nobuyuki Tamura; Wenpai Chang

doi:10.2478/v10037-006-0004-1

.blurhash-client-img { display: none !important; }

A Theory of Matrices of Real Elements

Formalized Mathematics

Volume 14 (2006): Issue 1 (March 2006)

By: Yatsuka Nakamura, Nobuyuki Tamura and Wenpai Chang

Open Access

|Jun 2008

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.

References

[1] Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.
Search in Google Scholar
[2] Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.
Search in Google Scholar
[3] Czesław Byliński. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.
Search in Google Scholar
[4] Czesław Byliński. Binary operations applied to finite sequences. Formalized Mathematics, 1(4):643-649, 1990.
Search in Google Scholar
[5] Czesław Byliński. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.
Search in Google Scholar
[6] Czesław Byliński. Functions and their basic properties. Formalized Mathematics, 1(1):55-65, 1990.
Search in Google Scholar
[7] Czesław Byliński. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.
Search in Google Scholar
[8] Czesław Byliński. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.
Search in Google Scholar
[9] Agata Darmochwał. The Euclidean space. Formalized Mathematics, 2(4):599-603, 1991.
Search in Google Scholar
[10] Katarzyna Jankowska. Matrices. Abelian group of matrices. Formalized Mathematics, 2(4):475-480, 1991.
Search in Google Scholar
[11] Jarosław Kotowicz and Yatsuka Nakamura. Introduction to Go-board - part I. Formalized Mathematics, 3(1):107-115, 1992.
Search in Google Scholar
[12] Eugeniusz Kusak, Wojciech Leończuk, and Michał Muzalewski. Abelian groups, fields and vector spaces. Formalized Mathematics, 1(2):335-342, 1990.
Search in Google Scholar
[13] Yatsuka Nakamura and Hiroshi Yamazaki. Calculation of matrices of field elements. Part I. Formalized Mathematics, 11(4):385-391, 2003.
Search in Google Scholar
[14] Library Committee of the Association of Mizar Users. Binary operations on numbers. To appear in Formalized Mathematics.
Search in Google Scholar
[15] Andrzej Trybulec. Subsets of complex numbers. To appear in Formalized Mathematics.
Search in Google Scholar
[16] Andrzej Trybulec. Tarski Grothendieck set theory. Formalized Mathematics, 1(1):9-11, 1990.
Search in Google Scholar
[17] Wojciech A. Trybulec. Groups. Formalized Mathematics, 1(5):821-827, 1990.
Search in Google Scholar
[18] Wojciech A. Trybulec. Vectors in real linear space. Formalized Mathematics, 1(2):291-296, 1990.
Search in Google Scholar
[19] Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.
Search in Google Scholar
[20] Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.
Search in Google Scholar
[21] Katarzyna Zawadzka. The sum and product of finite sequences of elements of a field. Formalized Mathematics, 3(2):205-211, 1992.
Search in Google Scholar
[22] Katarzyna Zawadzka. The product and the determinant of matrices with entries in a field. Formalized Mathematics, 4(1):1-8, 1993.
Search in Google Scholar

Articles in this issue

DOI: https://doi.org/10.2478/v10037-006-0004-1 | Journal eISSN: 1898-9934 | Journal ISSN: 1426-2630

Journal RSS Feed

Language: English

Page range: 21 - 28

Published on: Jun 13, 2008

Published by: University of Białystok

In partnership with: Paradigm Publishing Services

Publication frequency: 1 issue per year

Related subjects:

Mathematics,

Logic and set theory,

Computer sciences,

Artificial intelligence

© 2008 Yatsuka Nakamura, Nobuyuki Tamura, Wenpai Chang, published by University of Białystok
This work is licensed under the Creative Commons License.

Volume 14 (2006): Issue 1 (March 2006)