Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/8130
Tytuł: | Invertible Operators on Banach Spaces |
Autorzy: | Nakasho, Kazuhisa |
Słowa kluczowe: | Banach space invertible operator Neumann series isomorphism of linear operator spaces 47A05 47J07 68T99 03B35 |
Data wydania: | 2019 |
Data dodania: | 29-lip-2019 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 27, Issue 2, Pages 107 - 115 |
Abstrakt: | In this article, using the Mizar system [2], [1], we discuss invertible operators on Banach spaces. In the first chapter, we formalized the theorem that denotes any operators that are close enough to an invertible operator are also invertible by using the property of Neumann series.In the second chapter, we formalized the continuity of an isomorphism that maps an invertible operator on Banach spaces to its inverse. These results are used in the proof of the implicit function theorem. We referred to [3], [10], [6], [7] in this formalization. |
Afiliacja: | Yamaguchi University, Yamaguchi, Japan |
URI: | http://hdl.handle.net/11320/8130 |
DOI: | 10.2478/forma-2019-0012 |
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_003.pdf | 235,34 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL