W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/21380| Tytuł: | Determinant and Inverse of Matrices of Real Elements |
| Autorzy: | Tamura, Nobuyuki Nakamura, Yatsuka |
| Data wydania: | 2007 |
| Data dodania: | 30-paź-2026 |
| Wydawca: | University of Białystok |
| Źródło: | Formalized Mathematics, Volume 15, Issue 3, Pages 127-136 |
| Abstrakt: | 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. |
| Afiliacja: | Nobuyuki Tamura - Shinshu University, Nagano, Japan Yatsuka Nakamura - Shinshu University, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/21380 |
| DOI: | 10.2478/v10037-007-0014-7 |
| ISSN: | 1426-2630 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/4.0/ |
| Właściciel praw: | © 2008 Nobuyuki Tamura, Yatsuka Nakamura, published by University of Białystok This work is licensed under the Creative Commons License. |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2007, Volume 15, Issue 3 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Determinant_and_Inverse_of_Matrices_of_Real_Elements.pdf | 164,49 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
