W BIAŁYMSTOKU
Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/17774| Tytuł: | Formalization of Orthogonal Complements of Normed Spaces |
| Autorzy: | Okazaki, Hiroyuki |
| Słowa kluczowe: | dual space orthonormal complement minimum norm problem |
| Data wydania: | 2024 |
| Data dodania: | 3-sty-2025 |
| Wydawca: | DeGruyter Open |
| Źródło: | Formalized Mathematics, Volume 32, Issue 1, Pages 133–139 |
| Abstrakt: | In this study we are formalizing the optimization theory in Mizar. It is well known that geometric principles of linear vector space theory play fundamental roles in optimization. This article focuses on formalization of definitions and some theorems about dual spaces: we formalize orthogonal complements of real normed spaces, then we deal with minimum norm problems. |
| Afiliacja: | Shinshu University, Nagano, Japan |
| URI: | http://hdl.handle.net/11320/17774 |
| DOI: | 10.2478/forma-2024-0010 |
| ISSN: | 1426-2630 |
| e-ISSN: | 1898-9934 |
| 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 | |
|---|---|---|---|---|
| Formalization-of-Orthogonal-Complements-of-Normed-Spaces.pdf | 247,52 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL
