Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/8131
Tytuł: | Implicit Function Theorem. Part II |
Autorzy: | Nakasho, Kazuhisa Shidama, Yasunari |
Słowa kluczowe: | implicit function theorem Lipschitz continuity differentiability implicit function 26B10 47A05 47J07 53A07 03B35 |
Data wydania: | 2019 |
Data dodania: | 29-lip-2019 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 27, Issue 2, Pages 117 - 131 |
Abstrakt: | In this article, we formalize differentiability of implicit function theorem in the Mizar system [3], [1]. In the first half section, properties of Lipschitz continuous linear operators are discussed. Some norm properties of a direct sum decomposition of Lipschitz continuous linear operator are mentioned here.In the last half section, differentiability of implicit function in implicit function theorem is formalized. The existence and uniqueness of implicit function in [6] is cited. We referred to [10], [11], and [2] in the formalization. |
Afiliacja: | Kazuhisa Nakasho - Yamaguchi University, Yamaguchi, Japan Yasunari Shidama - Shinshu University, Nagano, Japan |
URI: | http://hdl.handle.net/11320/8131 |
DOI: | 10.2478/forma-2019-0013 |
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_004.pdf | 272,89 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL