Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/8129
Tytuł: | Isomorphisms from the Space of Multilinear Operators |
Autorzy: | Nakasho, Kazuhisa |
Słowa kluczowe: | linear operators bilinear operators multilinear operators isomorphism of linear operator spaces 46-00 47A07 47A30 68T99 03B35 |
Data wydania: | 2019 |
Data dodania: | 29-lip-2019 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 27, Issue 2, Pages 101 - 106 |
Abstrakt: | In this article, using the Mizar system [5], [2], the isomorphisms from the space of multilinear operators are discussed. In the first chapter, two isomorphisms are formalized. The former isomorphism shows the correspondence between the space of multilinear operators and the space of bilinear operators.The latter shows the correspondence between the space of multilinear operators and the space of the composition of linear operators. In the last chapter, the above isomorphisms are extended to isometric mappings between the normed spaces. We referred to [6], [11], [9], [3], [10] in this formalization. |
Afiliacja: | Yamaguchi University, Yamaguchi, Japan |
URI: | http://hdl.handle.net/11320/8129 |
DOI: | 10.2478/forma-2019-0011 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
metadata.dc.identifier.orcid: | 0000-0003-1110-4342 |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2019, Volume 27, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma_2019_27_2_002.pdf | 213,38 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL