REPOZYTORIUM UNIWERSYTETU
W BIAŁYMSTOKU
UwB

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 RozmiarFormat 
forma_2019_27_2_002.pdf213,38 kBAdobe PDFOtwórz
Pokaż pełny widok rekordu Zobacz statystyki


Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL Creative Commons