W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17781| Tytuł: | Differentiability Properties of Lipschitzian Bilinear Operators in Real Normed Spaces |
| Autorzy: | Nakasho, Kazuhisa Shidama, Yasunari |
| Słowa kluczowe: | bilinear operator Lipschitz continuity normed space |
| Data wydania: | 2024 |
| Data dodania: | 9-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 165–172 |
| Abstrakt: | This article is devoted to the Mizar formalization of various properties of differentiability of Lipschitzian bilinear operators in real normed spaces. Main results include the Lipschitz continuity of partial derivatives, the representation of the total derivative in terms of partial derivatives, and the continuous differentiability of Lipschitzian bilinear operators on open subsets of the product space. |
| Afiliacja: | Kazuhisa Nakasho - Yamaguchi University, Yamaguchi, Japan Yasunari Shidama - Karuizawa Hotch 244-1, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/17781 |
| DOI: | 10.2478/forma-2024-0013 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| metadata.dc.identifier.orcid: | 0000-0003-1110-4342 |
| Typ Dokumentu: | Article |
| metadata.dc.rights.uri: | https://creativecommons.org/licenses/by-sa/3.0/ |
| Właściciel praw: | © 2024 The Author(s) CC BY-SA 3.0 license |
| Występuje w kolekcji(ach): | Formalized Mathematics, 2024, Volume 32, Issue 1 |
Pliki w tej pozycji:
| Plik | Opis | Rozmiar | Format | |
|---|---|---|---|---|
| Differentiability-Properties-of-Lipschitzian-Bilinear-Operators-in-Real-Normed-Spaces.pdf | 263,11 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
