Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/10979
Tytuł: | Functional Sequence in Norm Space |
Autorzy: | Yamazaki, Hiroshi |
Słowa kluczowe: | pointwise convergence functional sequence formalized mathematics |
Data wydania: | 2020 |
Data dodania: | 24-maj-2021 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 28, Issue 4, Pages 263-268 |
Abstrakt: | In this article, we formalize in Mizar [1], [2] functional sequences and basic operations on functional sequences in norm space based on [5]. In the first section, we define functional sequence in norm space. In the second section, we define pointwise convergence and prove some related theorems. In the last section we define uniform convergence and limit of functional sequence. |
Afiliacja: | Nagano Prefectural Institute of Technology, Nagano, Japan |
URI: | http://hdl.handle.net/11320/10979 |
DOI: | 10.2478/forma-2020-0023 |
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: | © 2020 University of Białymstoku; CC-BY-SA License ver. 3.0 or later; |
Występuje w kolekcji(ach): | Formalized Mathematics, 2020, Volume 28, Issue 4 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
10.2478_forma-2020-0023.pdf | 230,04 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL